AIKernel-NET · egumaru · Jun 5, 2026 · Jun 5, 2026 · Jun 5, 2026 · Jun 5, 2026
diff --git a/Directory.Build.props b/Directory.Build.props
@@ -1,49 +1,55 @@
 <Project>
   <PropertyGroup>
-    <Version>0.0.4</Version>
-    <AssemblyVersion>0.0.4.0</AssemblyVersion>
-    <FileVersion>0.0.4.0</FileVersion>
-    <InformationalVersion>0.0.4.0</InformationalVersion>
+    <Version>0.0.5</Version>
+    <AssemblyVersion>0.0.5.0</AssemblyVersion>
+    <FileVersion>0.0.5.0</FileVersion>
+    <InformationalVersion>0.0.5.0</InformationalVersion>
 	<Authors>Takuya Sogawa</Authors>
 	<Company>AIKernel-NET</Company>
 	<PackageLicenseExpression>MIT</PackageLicenseExpression>
 	<PackageProjectUrl>https://aikernel.net/</PackageProjectUrl>
 	<RepositoryUrl>https://github.com/AIKernel-NET/AIKernel.NET</RepositoryUrl>
 	<Copyright>Copyright © 2026 Takuya Sogawa of AIKernel-NET</Copyright>
-    <PackageTags>aikernel;aikernel-core;ai-os;architecture;category-separation;context-isolation;contract-driven;governance;preprocessing;semantic-context-os;deterministic-replay;fail-closed;rom;canonicalization;pdp;signed-prompt;interface-contracts;dto;enum</PackageTags>
+    <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.4 — DSL / History ROM Contract Extraction
+AIKernel.NET v0.0.5 — Contract Surface Purity Cleanup, DynamicSLM, and HATL
 
-• Promoted deterministic DSL pipeline contracts into AIKernel.Abstractions.
-• Added DTOs for DSL IR, DSL pipeline execution, DSL ROM metadata, and DSL ROM snapshots.
-• Added History ROM DTOs and registry/exporter contracts for reusable chat-history ROMs.
-• Added DSL ROM and History ROM store contracts for VFS-backed ROM publication.
-• Removed the separate AIKernel.Vfs compatibility package/project; Vfs contracts remain in AIKernel.Abstractions with the AIKernel.Vfs public namespace.
-• Made AIKernel.Abstractions and AIKernel.Contracts interface-only packages.
-• Moved Context Assembly, prompt generation, KernelRequest, and VfsCredentials DTOs into AIKernel.Dtos.
-• Moved execution status and prompt option enums into AIKernel.Enums.
-• Removed contract-package exception implementations; runtime/Core adapters should own failure mapping.
-• Removed ambiguous ChatChain interface names by replacing IResult and ISemanticHasher with chat-turn-specific names.
-• Added Kernel timestamp and clock contracts without binding Abstractions to Core/Common.
-• Preserved the package DAG: Abstractions depends only on DTOs/Enums.
-• Breaking change for Core adapters: Core Result-based DSL/ROM interfaces should adapt to the v0.0.4 DTO contract surface and remove any dependency on the old AIKernel.Vfs compatibility package.
+• 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.
 
-AIKernel.NET v0.0.4 — DSL / History ROM 契約抽出
+AIKernel.NET v0.0.5 — Contract Surface Purity Cleanup、DynamicSLM、HATL
 
-• 決定論的 DSL pipeline 契約を AIKernel.Abstractions に昇格。
-• DSL IR、DSL pipeline execution、DSL ROM metadata/snapshot DTO を追加。
-• 再利用可能な chat-history ROM のための History ROM DTO と registry/exporter contract を追加。
-• VFS-backed ROM 公開のため、DSL ROM / History ROM store contract を追加。
-• 個別の AIKernel.Vfs 互換 package/project を削除。Vfs contract は AIKernel.Vfs 公開 namespace を維持したまま AIKernel.Abstractions に残存。
-• AIKernel.Abstractions / AIKernel.Contracts を interface-only package 化。
-• Context Assembly、prompt generation、KernelRequest、VfsCredentials DTO を AIKernel.Dtos へ移動。
-• execution status / prompt option enum を AIKernel.Enums へ移動。
-• contract package 内の例外実装を削除。failure mapping は runtime/Core adapter 側の責務。
-• ChatChain の曖昧な IResult / ISemanticHasher を chat-turn 専用名へ置換。
-• Abstractions を Core/Common に結合せず Kernel timestamp / clock contract を追加。
-• package DAG は Abstractions -> DTOs/Enums のまま維持。
-• Core adapter 向け破壊的変更: Core の Result ベース DSL/ROM interface は v0.0.4 DTO contract surface へ適応し、旧 AIKernel.Vfs 互換 package への依存を削除してください。
+• 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 に整理。
+• 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 を使用してください。
 
 ]]>
 	  </PackageReleaseNotes>

diff --git a/README-jp.md b/README-jp.md
@@ -1,7 +1,7 @@
 ---
 updated: 2026-06-05
 published: 2026-05-16
-version: "0.0.4"
+version: "0.0.5"
 edition: "Draft"
 status: "Refactor"
 issuer: ai-kernel@aikernel.net
@@ -40,6 +40,28 @@ 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 のみを公開します。
+DTO は `AIKernel.Dtos`、共有 Enum は `AIKernel.Enums` が所有します。
+
+`v0.0.5` 以降、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 は
+`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 も
+`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` も含まれます。
+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 を含みます。
+
 ---
 
 設計思想は `docs/design/DESIGN_INTENT.md` を参照してください。  
@@ -173,19 +195,27 @@ Enterprise   = 運用拡張
 
 ドキュメントとソースの同期を維持するため、この README ではファイル単位の詳細列挙を行いません。
 
-ドキュメントは次の 4 つの基盤カテゴリで構成されます。
+ドキュメントは次のカテゴリで構成されます。
 
 | ディレクトリ | 役割 |
 | --- | --- |
 | `docs/architecture` | Why: 思想・不変条件・統治 |
 | `docs/design` | How: 設計判断・実装方針 |
 | `docs/specs` | What: 規範契約・受け入れ基準 |
 | `docs/guidelines` | Rules: リポジトリ運用・寄稿規約 |
-
-最新の構成と相互参照は以下を参照してください。
-
-- `docs/index.md`
-- `docs/index-jp.md`
+| `docs/operations` | Release、migration、package 公開運用 |
+| `docs/papers` | DOI 付き AIKernel / AIOS 論文シリーズ |
+| `docs/theory` | Paper / Spec 昇格前の研究ノート |
+
+最新の構成と相互参照は、カテゴリ別 index を参照してください。
+
+- `docs/architecture/index.md` / `docs/architecture/index-jp.md`
+- `docs/design/index.md` / `docs/design/index-jp.md`
+- `docs/specs/index.md` / `docs/specs/index-jp.md`
+- `docs/guidelines/index.md` / `docs/guidelines/index-jp.md`
+- `docs/operations/index.md` / `docs/operations/index-jp.md`
+- `docs/papers/README.md`
+- `docs/theory/README.md` / `docs/theory/README-jp.md`
 
 ---
 

diff --git a/README.md b/README.md
@@ -1,7 +1,7 @@
 ---
-updated: 2026-06-04
+updated: 2026-06-05
 published: 2026-05-16
-version: "0.0.4"
+version: "0.0.5"
 edition: "Draft"
 status: "Refactor"
 issuer: ai-kernel@aikernel.net
@@ -40,8 +40,26 @@ 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.3`, Vfs interface contracts are owned by `AIKernel.Abstractions`.
-The public namespace remains `AIKernel.Vfs`, and the `AIKernel.Vfs` package remains as a compatibility facade through type forwarding.
+As of `v0.0.5`, `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
+`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
+`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
+`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.
+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.
 
 ---
 
@@ -174,14 +192,17 @@ Enterprise   = operations extensions
 
 To keep documentation and source synchronized, this README intentionally avoids deep file-by-file listings.
 
-The documentation is organized into four foundational categories:
+The documentation is organized into the following categories:
 
 | Directory | Role |
 | --- | --- |
 | `docs/architecture` | Why: principles, invariants, governance |
 | `docs/design` | How: design decisions and implementation strategy |
 | `docs/specs` | What: normative contracts and acceptance criteria |
 | `docs/guidelines` | Rules: repository and contribution policies |
+| `docs/operations` | Release, migration, and package-public operation guides |
+| `docs/papers` | DOI-backed AIKernel / AIOS paper series |
+| `docs/theory` | Work-in-progress research notes before paper/spec promotion |
 
 For the latest structure and cross-links, use the category indexes:
 
@@ -190,6 +211,8 @@ For the latest structure and cross-links, use the category indexes:
 - `docs/specs/index.md` / `docs/specs/index-jp.md`
 - `docs/guidelines/index.md` / `docs/guidelines/index-jp.md`
 - `docs/operations/index.md` / `docs/operations/index-jp.md`
+- `docs/papers/README.md`
+- `docs/theory/README.md` / `docs/theory/README-jp.md`
 
 ---
 

diff --git a/docs/architecture/18.DSL_PIPELINE_AND_ROM_SPEC-jp.md b/docs/architecture/18.DSL_PIPELINE_AND_ROM_SPEC-jp.md
@@ -32,6 +32,10 @@ AI が生成した計画は、検証され、決定論的な `ResultStep` pipeli
 
 ## 2. JSON Node Schema
 
+package-public DTO vocabulary は `DslNodeTypes` の canonical node type name を使用する。
+論文や例との互換性のため、parser は `CapabilityCall` を `CallCapability` の alias、
+`SuspendForApproval` を `Suspend` の alias として受け付けてよい。ただし正規化済み DSL document は canonical name を出力する。
+
 ### 2.1 Pipeline
 
 ```json

diff --git a/docs/architecture/18.DSL_PIPELINE_AND_ROM_SPEC.md b/docs/architecture/18.DSL_PIPELINE_AND_ROM_SPEC.md
@@ -35,6 +35,12 @@ reusable capabilities.
 
 ## 2. JSON Node Schema
 
+The package-public DTO vocabulary uses canonical node type names from
+`DslNodeTypes`. For paper/example compatibility, parsers may accept
+`CapabilityCall` as an alias for `CallCapability` and `SuspendForApproval` as
+an alias for `Suspend`, but normalized DSL documents should emit the canonical
+names.
+
 ### 2.1 Pipeline
 
 ```json