AIKernel.NET v0.0.5 — Contract Baseline for Core and Demo Integration
June 5th — The Kernel passed its own gate. 2026年6月5日──カーネルは自らのゲートを通過した。
v0.0.5 is the first version in which AIKernel fully verifies its own contract surface: no dependencies, no contamination, no unfinished surfaces.
v0.0.5 は、AIKernel が初めて “契約面を完全に自己検証した” バージョンです。 依存なし、汚染なし、未実装なし──純度100%の契約層が成立しました。
コード
[KERNEL] Contract surface: verified
[KERNEL] Semantic DSL: mounted
[KERNEL] DynamicSLM: primed
[KERNEL] Governance Gate: armed
[KERNEL] External Capabilities: accepted
[KERNEL] Status: boot sequence unlocked
Today, AIKernel obtains its first stable form as a Semantic OS.
今日、AIKernel は Semantic OS としての最初の安定した形 を手に入れました。
Summary
This PR prepares AIKernel.NET v0.0.5 as the contract baseline before Core integration and demo development.
v0.0.5 completes the contract-surface cleanup and expands the shared package vocabulary for upcoming Core, Provider, Tools, RH, Server, WASM, and Demo integration work.
Highlights
- Enforces interface-only ownership for
AIKernel.AbstractionsandAIKernel.Contracts - Keeps DTOs in
AIKernel.Dtosand shared enum primitives inAIKernel.Enums - Adds external Capability module contracts for:
- CLI executable modules
- Managed assembly modules
- Native ABI modules
- DSL ROM modules
- Remote endpoint modules
- Adds DynamicSLM / SeedSLM contract preparation:
- Model ABI
- Capability graph and lineage contracts
- Payload loading / scheduling boundaries
- Distillation planning and background offload
- SeedSLM discipline, delegation, thought artifacts, and memory placement metadata
- Adds HATL contract foundations:
- Ledger entries
- Anchors
- Digital Deeds
- Verification DTOs
- External cryptographic operator boundary
- Adds governance and semantic-compilation vocabulary:
- Admissibility replay evidence
- Critical-operation and complexity gates
- Trajectory governance DTOs
- Semantic IR slots
- Semantic Compilation DTOs
- Updates migration, architecture, interface, package, and README documentation
- Keeps
docs/papersunchanged
Validation
dotnet build src\AIKernel.NET.slnx -c Release --no-restoredotnet test src\AIKernel.NET.slnx -c Release --no-builddotnet pack src\AIKernel.NET.slnx -c Release --no-build
All validation passed with zero build warnings and 90/90 tests passing.
Release Intent
This release is intended as the final v0.0.x contract baseline before:
- Publishing AIKernel.NET v0.0.5 packages
- Updating AIKernel.Core to consume v0.0.5
- Publishing Core packages
- Building the first Server / WASM demo
- Promoting the package line to v0.1.0 if integration succeeds