AIKernel-NET · egumaru · Jun 8, 2026 · Jun 5, 2026 · Jun 5, 2026 · Jun 5, 2026
diff --git a/Directory.Build.props b/Directory.Build.props
@@ -1,9 +1,10 @@
 <Project>
   <PropertyGroup>
-    <Version>0.0.5</Version>
-    <AssemblyVersion>0.0.5.0</AssemblyVersion>
-    <FileVersion>0.0.5.0</FileVersion>
-    <InformationalVersion>0.0.5.0</InformationalVersion>
+    <Version>0.1.0</Version>
+    <AssemblyVersion>0.1.0</AssemblyVersion>
+    <FileVersion>0.1.0</FileVersion>
+    <InformationalVersion>0.1.0</InformationalVersion>
+    <GenerateDocumentationFile>true</GenerateDocumentationFile>
 	<Authors>Takuya Sogawa</Authors>
 	<Company>AIKernel-NET</Company>
 	<PackageLicenseExpression>MIT</PackageLicenseExpression>
@@ -13,43 +14,29 @@
     <PackageTags>aikernel;aikernel-core;ai-os;architecture;category-separation;context-isolation;contract-driven;governance;admissibility;preprocessing;semantic-context-os;semantic-compilation;deterministic-replay;fail-closed;rom;canonicalization;pdp;signed-prompt;interface-contracts;dto;enum;capability-modules;dynamicslm;seedslm;hatl</PackageTags>
 	  <PackageReleaseNotes>
 		  <![CDATA[
-AIKernel.NET v0.0.5 — Contract Surface Purity Cleanup, DynamicSLM, and HATL
+AIKernel.NET v0.1.0 — First Stable Contract Baseline
 
-• Completed the interface-only guarantee for AIKernel.Abstractions and AIKernel.Contracts.
-• Removed leftover DTO and exception implementations from AIKernel.Abstractions.
-• Unified Context Assembly, prompt generation, and Kernel request DTO usage on AIKernel.Dtos.
-• Removed duplicate execution and prompt option enums from AIKernel.Dtos.
-• Kept execution status and prompt option enums owned by AIKernel.Enums.
-• Removed legacy ambiguous ChatChain interfaces IResult and ISemanticHasher.
-• Kept chat-turn hashing on IChatTurnSemanticHasher and ROM hashing on AIKernel.Abstractions.Rom.ISemanticHasher.
-• Preserved the package DAG: Enums -> none, Dtos -> Enums, Contracts -> Dtos/Enums, Abstractions -> Dtos/Enums.
-• Added contract-only DynamicSLM Model ABI and distillation offload interfaces, DTOs, and enum primitives.
-• Added SeedSLM discipline, delegation, thought artifact, and resident memory placement contract vocabulary.
-• Added contract-only HATL ledger, anchor, Digital Deed, verification, and external cryptographic operator interfaces, DTOs, and enum primitives.
-• Added external Capability module contracts for CLI executable, managed assembly, native ABI, DSL ROM, and remote endpoint boundaries.
-• Added governance admissibility gate and trajectory evidence vocabulary for Core-side ReplayLog projection.
-• Added Semantic Compilation DTO vocabulary for states, Semantic IR, governed circuits, prototype spaces, semantic distances, deterministic synthesis, and transitions.
-• Kept Result/ResultStep/LINQ composition and HATL cryptographic runtime ownership in AIKernel.Common, Core, host, or external operator packages.
-• Breaking change: consumers must use DTO and enum types from AIKernel.Dtos and AIKernel.Enums rather than leftover Abstractions-local duplicates.
+• Promotes the AIKernel.NET contract packages to the first 0.1.0 baseline.
+• Adds MemoryRegion / MemoryMapper contracts for Native Capability modules.
+• Adds Control Plane contracts under AIKernel.Abstractions.Control and AIKernel.Dtos.Control.
+• Adds pure routing decision DTOs under AIKernel.Dtos.Routing so Core can keep routing behavior as runtime extensions.
+• Keeps AIKernel.Abstractions and AIKernel.Contracts interface-only.
+• Keeps DTO ownership in AIKernel.Dtos and enum ownership in AIKernel.Enums.
+• Preserves the package DAG: Enums -> none, Dtos -> Enums, Contracts -> Dtos/Enums, Abstractions -> Dtos/Enums.
+• Keeps Result/ResultStep/LINQ composition and runtime adapters outside AIKernel.NET.
+• Documents migration from Core provisional Memory APIs to AIKernel.NET contract packages.
 
-AIKernel.NET v0.0.5 — Contract Surface Purity Cleanup、DynamicSLM、HATL
+AIKernel.NET v0.1.0 — First Stable Contract Baseline
 
-• AIKernel.Abstractions / AIKernel.Contracts の interface-only 保証を完了。
-• AIKernel.Abstractions に残っていた DTO / 例外実装を削除。
-• Context Assembly、prompt generation、Kernel request DTO の利用元を AIKernel.Dtos に統一。
-• AIKernel.Dtos に残っていた execution / prompt option enum 重複を削除。
-• execution status / prompt option enum の所有元を AIKernel.Enums に一本化。
-• 旧 ChatChain interface の IResult / ISemanticHasher を削除。
-• chat-turn hash は IChatTurnSemanticHasher、ROM hash は AIKernel.Abstractions.Rom.ISemanticHasher に整理。
+• AIKernel.NET contract package を最初の 0.1.0 baseline に昇格。
+• Native Capability module 向け MemoryRegion / MemoryMapper contract を追加。
+• Control Plane contract を AIKernel.Abstractions.Control / AIKernel.Dtos.Control に追加。
+• routing behavior を Core runtime extension に残すため、AIKernel.Dtos.Routing に純 DTO を追加。
+• AIKernel.Abstractions / AIKernel.Contracts は interface-only を維持。
+• DTO は AIKernel.Dtos、enum は AIKernel.Enums が所有。
 • package DAG は Enums -> none、Dtos -> Enums、Contracts -> Dtos/Enums、Abstractions -> Dtos/Enums を維持。
-• contract-only の DynamicSLM Model ABI / distillation offload interface、DTO、enum primitive を追加。
-• SeedSLM discipline、delegation、thought artifact、resident memory placement contract vocabulary を追加。
-• contract-only の HATL ledger、anchor、Digital Deed、verification、external cryptographic operator interface、DTO、enum primitive を追加。
-• CLI executable、managed assembly、native ABI、DSL ROM、remote endpoint 境界向け external Capability module contract を追加。
-• Core 側 ReplayLog 投影向け governance admissibility gate / trajectory evidence vocabulary を追加。
-• state、Semantic IR、governed circuit、prototype space、semantic distance、deterministic synthesis、transition 向け Semantic Compilation DTO vocabulary を追加。
-• Result / ResultStep / LINQ composition と HATL cryptographic runtime の所有は AIKernel.Common、Core、host、外部 operator package に残す。
-• 破壊的変更: consumer は Abstractions に残っていた重複型ではなく、AIKernel.Dtos / AIKernel.Enums の DTO / enum を使用してください。
+• Result / ResultStep / LINQ composition と runtime adapter は AIKernel.NET の外側に維持。
+• Core provisional Memory API から AIKernel.NET contract package への migration を文書化。
 
 ]]>
 	  </PackageReleaseNotes>

diff --git a/README-jp.md b/README-jp.md
@@ -1,9 +1,9 @@
 ---
-updated: 2026-06-05
+updated: 2026-06-07
 published: 2026-05-16
-version: "0.0.5"
-edition: "Draft"
-status: "Refactor"
+version: "0.1.0"
+edition: "Release"
+status: "Released"
 issuer: ai-kernel@aikernel.net
 maintainer: "拓也（AIKernel プロジェクト メンテナー）"
 ---
@@ -40,24 +40,29 @@ AIKernel.NET は複数の独立した抽象レイヤーで構成されていま
 
 `v0.0.4` 以降、決定論的 DSL、DSL ROM、History ROM、Kernel clock contract も `AIKernel.Abstractions` / `AIKernel.Dtos` から公開されます。
 
-`v0.0.5` 以降、`AIKernel.Abstractions` と `AIKernel.Contracts` は Interface のみを公開します。
+`v0.1.0` 以降、`AIKernel.Abstractions` と `AIKernel.Contracts` は Interface のみを公開します。
 DTO は `AIKernel.Dtos`、共有 Enum は `AIKernel.Enums` が所有します。
 
-`v0.0.5` 以降、external Capability module contract は
+`v0.1.0` 以降、OS 非依存の MemoryRegion / MemoryMapper
+contract は `AIKernel.Abstractions.Memory` が所有し、metadata は
+`AIKernel.Dtos.Memory`、access-mode primitive は `AIKernel.Enums` が所有します。
+Core / Kernel package は runtime 実装と adapter を提供します。
+
+`v0.1.0` 以降、external Capability module contract は
 `AIKernel.Abstractions.Capabilities`、`AIKernel.Dtos.Capabilities`、および `AIKernel.Enums` の capability module enum primitive として公開されます。
 これらの contract は、contract package に runtime loading behavior を持ち込まずに、CLI executable、managed assembly、native ABI、DSL ROM、remote endpoint の capability 境界を区別します。
 
-`v0.0.5` 以降、DynamicSLM Model ABI contract は
+`v0.1.0` 以降、DynamicSLM Model ABI contract は
 `AIKernel.Abstractions.DynamicSlm`、`AIKernel.Dtos.DynamicSlm`、および `AIKernel.Enums` の DynamicSLM enum primitive として公開されます。
 これにより、Core / Provider 実装は contract package に runtime behavior を持ち込まずに、capability-modular SLM artifact、lineage 検証、payload loading、scheduling、differential distillation を実装できます。
 重い differential distillation execution は background offload scheduler/service interface として表現し、load pipeline は teacher、remote、cached fallback path を通じて継続できます。
 SeedSLM contract vocabulary は、strict output discipline、fail-closed delegation、ReplayLog-compatible thought artifact、resident SeedSLM / paged CapabilitySLM memory placement metadata を追加します。
 
-`v0.0.5` 以降、HATL contract foundation も
+`v0.1.0` 以降、HATL contract foundation も
 `AIKernel.Abstractions.Hatl`、`AIKernel.Dtos.Hatl`、および `AIKernel.Enums` の HATL enum primitive として公開されます。
 cryptographic runtime は意図的に外部に残し、AIKernel.RH ベース operator または監査済み module が提供できるようにします。
 
-`v0.0.5` 以降、governance と semantic-compilation vocabulary には、Core 側 admission ReplayLog evidence のための `AdmissibilityReplayRecord`、`AdmissibilityGateKind`、`AdmissibilityDecisionKind`、`TaskCostClass`、`CriticalOperationRequirement`、`SemanticIrSlot` も含まれます。
+`v0.1.0` 以降、governance と semantic-compilation vocabulary には、Core 側 admission ReplayLog evidence のための `AdmissibilityReplayRecord`、`AdmissibilityGateKind`、`AdmissibilityDecisionKind`、`TaskCostClass`、`CriticalOperationRequirement`、`SemanticIrSlot` も含まれます。
 Semantic Compilation DTO は、semantic state、Semantic IR element、governed circuit、prototype space、semantic distance report、deterministic synthesis descriptor、semantic transition の contract-only carrier を提供します。
 Governance DTO には、semantic ellipsoid、convergence / anomaly score report、candidate action evaluation の trajectory governance carrier も含まれます。
 Pre-inference admissibility contract は、critical-operation / computational-complexity gate interface、side-effect profile、model execution budget、fail-closed gate result を含みます。
@@ -421,6 +426,9 @@ Enterprise 拡張には以下が含まれます。
 
 ## 11. ライセンス / 貢献
 
+- AIKernel.NET は契約・仕様リポジトリであり、MIT License で公開されます。
+- AIKernel.NET は実装を含まないため特許面のリスクがなく、MIT により標準化と相互運用性を最大化します。
+- 論文および研究文書は、各 paper に明示されたライセンスに従います。
 - コントリビューションは PR ベースです。
 - Contracts と PromptRules の互換性を明示してください。
 - 破壊的変更には移行ガイドを添付してください。

diff --git a/README.md b/README.md
@@ -1,9 +1,9 @@
 ---
-updated: 2026-06-05
-published: 2026-05-16
-version: "0.0.5"
-edition: "Draft"
-status: "Refactor"
+updated: 2026-06-07
+published: 2026-06-09
+version: "0.1.0"
+edition: "Release"
+status: "Release Candidate"
 issuer: ai-kernel@aikernel.net
 maintainer: "Takuya (AIKernel Project Maintainer)"
 ---
@@ -23,6 +23,35 @@ AIKernel.NET is a contract-first foundation that treats LLMs not as simple APIs,
 
 ---
 
+## 0.1.0 Prototype Validation Phase
+
+The 0.0.x design-implementation phase is complete. The 0.1.0 package family is
+the first prototype validation baseline, scheduled for publication on
+2026-06-09.
+
+This phase validates the contract packages together with executable Core,
+external Capability modules, and demo/control repositories:
+
+- `AIKernel.NET` - MIT contract packages: interfaces, DTOs, and enums.
+- `AIKernel.Core` - Apache-2.0 runtime, monads, DSL, Kernel, Hosting, and
+  provider integration.
+- `AIKernel.Cuda13.0` - Apache-2.0 external CUDA Capability package.
+- `AIKernel.Demo` - prototype applications for console, API host, WASM,
+  pipeline, PDP, VFS, and replay inspection.
+- `AIKernel.Tools` - external Capability modules and developer tools.
+- `AIKernel.Control` - control-plane execution engines for CPU, GPU, emulator,
+  Bonsai mapping, and diagnostics.
+
+Historical architecture documents may retain their original 0.0.x front matter
+and changelog entries. The current public release line is 0.1.0.
+
+Release notes:
+
+- [English](RELEASE_NOTES.md)
+- [日本語](RELEASE_NOTES-ja.md)
+
+---
+
 ## NuGet Packages
 
 AIKernel.NET is composed of multiple independent abstraction layers.  
@@ -40,24 +69,29 @@ The public namespace remains `AIKernel.Vfs`, but the separate `AIKernel.Vfs` com
 
 As of `v0.0.4`, deterministic DSL, DSL ROM, History ROM, and Kernel clock contracts are also published through `AIKernel.Abstractions` / `AIKernel.Dtos`.
 
-As of `v0.0.5`, `AIKernel.Abstractions` and `AIKernel.Contracts` export interfaces only.
+As of `v0.1.0`, `AIKernel.Abstractions` and `AIKernel.Contracts` export interfaces only.
 DTOs are owned by `AIKernel.Dtos`, and shared enums are owned by `AIKernel.Enums`.
 
-As of `v0.0.5`, external Capability module contracts are available through
+As of `v0.1.0`, OS-independent MemoryRegion / MemoryMapper
+contracts are owned by `AIKernel.Abstractions.Memory`, with metadata in
+`AIKernel.Dtos.Memory` and access-mode primitives in `AIKernel.Enums`.
+Core and Kernel packages provide runtime implementations and adapters.
+
+As of `v0.1.0`, external Capability module contracts are available through
 `AIKernel.Abstractions.Capabilities`, `AIKernel.Dtos.Capabilities`, and capability module enum primitives in `AIKernel.Enums`.
 These contracts distinguish CLI executable, managed assembly, native ABI, DSL ROM, and remote endpoint capability boundaries without introducing runtime loading behavior into the contract packages.
 
-As of `v0.0.5`, DynamicSLM Model ABI contracts are available through
+As of `v0.1.0`, DynamicSLM Model ABI contracts are available through
 `AIKernel.Abstractions.DynamicSlm`, `AIKernel.Dtos.DynamicSlm`, and DynamicSLM enum primitives in `AIKernel.Enums`.
 These contracts prepare Core/Provider implementations for capability-modular SLM artifacts, lineage verification, payload loading, scheduling, and differential distillation planning without introducing runtime behavior into the contract packages.
 Heavy differential distillation execution is modeled as a background offload through scheduler/service interfaces so the load pipeline can continue through teacher, remote, or cached fallback paths.
 SeedSLM contract vocabulary extends this surface with strict output discipline, fail-closed delegation, ReplayLog-compatible thought artifacts, and resident SeedSLM / paged CapabilitySLM memory placement metadata.
 
-As of `v0.0.5`, HATL contract foundations are also available through
+As of `v0.1.0`, HATL contract foundations are also available through
 `AIKernel.Abstractions.Hatl`, `AIKernel.Dtos.Hatl`, and HATL enum primitives in `AIKernel.Enums`.
 Cryptographic runtime is intentionally external and can be provided by AIKernel.RH-backed operators or other audited modules.
 
-As of `v0.0.5`, governance and semantic-compilation vocabulary also includes `AdmissibilityReplayRecord`, `AdmissibilityGateKind`, `AdmissibilityDecisionKind`, `TaskCostClass`, `CriticalOperationRequirement`, and `SemanticIrSlot` for Core-side admission ReplayLog evidence.
+As of `v0.1.0`, governance and semantic-compilation vocabulary also includes `AdmissibilityReplayRecord`, `AdmissibilityGateKind`, `AdmissibilityDecisionKind`, `TaskCostClass`, `CriticalOperationRequirement`, and `SemanticIrSlot` for Core-side admission ReplayLog evidence.
 Semantic Compilation DTOs provide contract-only carriers for semantic states, Semantic IR elements, governed circuits, prototype spaces, semantic distance reports, deterministic synthesis descriptors, and semantic transitions. Governance DTOs also include trajectory governance carriers for semantic ellipsoids, convergence/anomaly score reports, and candidate action evaluations.
 Pre-inference admissibility contracts include critical-operation and computational-complexity gate interfaces, side-effect profiles, model execution budgets, and fail-closed gate results.
 
@@ -418,6 +452,9 @@ Enterprise extensions may include:
 
 ## 11. License / Contribution
 
+- AIKernel.NET is a contract/specification repository and is released under the MIT License.
+- AIKernel.NET contains no implementation and therefore carries no patent surface; MIT maximizes interoperability and standardization.
+- Papers and research documents follow the license explicitly attached to each paper.
 - Contributions are PR-based.
 - Compatibility for Contracts and PromptRules must be explicit.
 - Breaking changes must include migration guides.

diff --git a/RELEASE_NOTES-ja.md b/RELEASE_NOTES-ja.md
@@ -0,0 +1,19 @@
+# AIKernel.NET リリースノート
+
+[English](RELEASE_NOTES.md)
+
+## 0.1.0
+
+> [EN] Crossing the 0.1.0 event horizon: the semantic runtime becomes observable, deterministic, and contract-led.
+>
+> [JA] 0.1.0 の事象の地平を越える──意味的ランタイムは可観測・決定論・契約駆動へと収束する。
+
+AIKernel.NET 0.1.0 は、Semantic Runtime の Phase-1 contract baseline を完了します。
+
+- Abstractions、DTO、Enum、contract-only surface の public contract boundary を固定します。
+- Control execution request、execution graph、snapshot、result、routing DTO、memory abstraction、DSL、History ROM、Capability ROM、DynamicSLM、SeedSLM、HATL、governance vocabulary を、必要な範囲で shared contract family へ昇格します。
+- `AIKernel.Abstractions` と `AIKernel.Contracts` の interface-only 原則を維持します。
+- 実装挙動は AIKernel.NET に置かず、AIKernel.Core、AIKernel.Control、AIKernel.Tools、AIKernel.Cuda13.0、AIKernel.Demo が runtime / tooling / demo 側を担います。
+- AIKernel.NET は実装を含まないため特許面のリスクがなく、MIT により標準化と相互運用性を最大化します。論文および研究文書は各 paper に明示された license に従います。
+
+このリリースは「意味論の可視化フェーズ」の完成点です。決定論性、契約境界、Semantic State、可観測性、Governed Circuit が stable public concept として名前を持ちます。
diff --git a/RELEASE_NOTES.md b/RELEASE_NOTES.md
@@ -0,0 +1,31 @@
+# AIKernel.NET Release Notes
+
+[日本語](RELEASE_NOTES-ja.md)
+
+## 0.1.0
+
+> [EN] Crossing the 0.1.0 event horizon: the semantic runtime becomes observable, deterministic, and contract-led.
+>
+> [JA] 0.1.0 の事象の地平を越える──意味的ランタイムは可観測・決定論・契約駆動へと収束する。
+
+AIKernel.NET 0.1.0 completes the Phase-1 contract baseline for the semantic
+runtime.
+
+- Freeze the public contract boundary for Abstractions, DTOs, Enums, and
+  contract-only surfaces.
+- Promote Control execution requests, execution graphs, snapshots, results,
+  routing DTOs, memory abstractions, DSL, History ROM, Capability ROM,
+  DynamicSLM, SeedSLM, HATL, and governance vocabulary into the shared contract
+  family where appropriate.
+- Preserve the interface-only rule for `AIKernel.Abstractions` and
+  `AIKernel.Contracts`.
+- Keep implementation behavior outside AIKernel.NET; runtime packages live in
+  AIKernel.Core, AIKernel.Control, AIKernel.Tools, AIKernel.Cuda13.0, and
+  AIKernel.Demo.
+- Keep AIKernel.NET under MIT because it contains no implementation and carries
+  no patent surface. Papers and research documents remain governed by the
+  license attached to each paper.
+
+This release marks the completion point of the semantic visibility phase:
+determinism, contract boundaries, semantic state, observability, and governed
+circuits are now named as stable public concepts.