Release 0.1.1: Align Semantic OS boundary (#19)

## Summary
- Aligns the AIKernel.NET 0.1.1 abstraction, contract, DTO, and enum surface.
- Updates release documentation for Kernel Sync Day, June 10th, 2026.
- Finalizes the public Semantic OS boundary for downstream 0.1.1 packages.

## Validation
- Release build passed.
- Test suite passed.

Release AIKernel.NET v0.1.0 (#18)

## Summary

This PR prepares the official AIKernel.NET v0.1.0 release.

AIKernel.NET v0.1.0 completes the Phase-1 contract baseline for the semantic runtime, fixing the public contract boundary for the core contract packages:

- AIKernel.Enums
- AIKernel.Dtos
- AIKernel.Contracts
- AIKernel.Abstractions

## Changes

- Restore package version metadata to `0.1.0` for the official release.
- Generate release NuGet packages for AIKernel.NET contract packages.
- Keep AIKernel.NET as contract-only surface:
  - Abstractions and Contracts remain interface-only.
  - DTOs remain pure data carriers.
  - Enums remain dependency-free shared vocabulary.
- Preserve implementation/runtime behavior outside AIKernel.NET.

## Verification

- Release build completed successfully.
- AIKernel.Abstractions.Tests passed.
- Generated NuGet packages:
  - `AIKernel.Enums.0.1.0.nupkg`
  - `AIKernel.Dtos.0.1.0.nupkg`
  - `AIKernel.Contracts.0.1.0.nupkg`
  - `AIKernel.Abstractions.0.1.0.nupkg`

Release AIKernel.NET v0.0.5 contract baseline (#17)

## 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.Abstractions` and `AIKernel.Contracts`
- Keeps DTOs in `AIKernel.Dtos` and shared enum primitives in `AIKernel.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/papers` unchanged

## Validation

- `dotnet build src\AIKernel.NET.slnx -c Release --no-restore`
- `dotnet test src\AIKernel.NET.slnx -c Release --no-build`
- `dotnet 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:

1. Publishing AIKernel.NET v0.0.5 packages
2. Updating AIKernel.Core to consume v0.0.5
3. Publishing Core packages
4. Building the first Server / WASM demo
5. Promoting the package line to v0.1.0 if integration succeeds

## AIKernel.NET v0.0.4

This release stabilizes the AIKernel.NET shared contract surface for downstream Core, Provider, Server, WASM client, Tools, and external Capability module integration.

### Highlights
- Added public DSL pipeline contracts
- Added DSL ROM contracts and DTOs
- Added History ROM contracts and DTOs
- Added Kernel clock and timestamp contracts
- Removed the separate `AIKernel.Vfs` compatibility package/project
- Preserved `AIKernel.Vfs` as a public namespace owned by `AIKernel.Abstractions`
- Enforced interface-only boundaries for `AIKernel.Abstractions` and `AIKernel.Contracts`
- Moved DTO/value types into `AIKernel.Dtos`
- Moved shared enums into `AIKernel.Enums`
- Removed contract-package exception implementations
- Strengthened package DAG regression tests

### Breaking Changes
- Remove references to the old `AIKernel.Vfs` package/project
- Use `AIKernel.Abstractions` for Vfs contracts
- Keep `using AIKernel.Vfs;` in source code where Vfs interfaces are used
- Update moved DTO namespaces to `AIKernel.Dtos.*`
- Update moved enum namespaces to `AIKernel.Enums`
- Do not depend on exception types previously exposed from contract packages

### Package Graph
```text
AIKernel.Enums -> none
AIKernel.Dtos -> AIKernel.Enums
AIKernel.Contracts -> AIKernel.Dtos, AIKernel.Enums
AIKernel.Abstractions -> AIKernel.Dtos, AIKernel.Enums

Release v0.0.3: Correct Vfs dependency layering and migration docs (#15)

## Summary

This PR prepares the `v0.0.3` release by correcting the AIKernel.NET Phase-1 dependency structure around Vfs contracts.

The main change is that Vfs interface contracts are now owned by `AIKernel.Abstractions`, while `AIKernel.Vfs` remains as a compatibility facade through type forwarding. This removes the previous reverse dependency from `AIKernel.Abstractions` to `AIKernel.Vfs` and restores the intended DAG.

## Changes

- Move Vfs contract interfaces from `AIKernel.Vfs` to `AIKernel.Abstractions`
- Add `AIKernel.Vfs` type forwarding for package/source compatibility
- Update project references:
  - `AIKernel.Abstractions` no longer references `AIKernel.Vfs`
  - `AIKernel.Vfs` now references `AIKernel.Abstractions`
- Update v0.0.3 migration documentation in English and Japanese
- Update dependency rules, Vfs architecture docs, contract versioning guidance, and README files
- Preserve public namespace compatibility with `AIKernel.Vfs`

AIKernel.NET v0.0.2 — Interface Rectification & Contract Stabilizatio…

…n Release (#13)

# AIKernel.NET v0.0.2
— Interface Rectification & Contract Stabilization Release

**May 9th — The day the Kernel received its proper names, boundaries, and Phase 1 slots.**  
**5月9日 — Kernel に正しい名前・境界・Phase 1 の抽象スロットを与えた日。**

**Rectify the Interfaces. Stabilize the Contracts.**  
**名前を正し、境界を分け、契約を安定させる。**

---

## Overview / 概要

This release is not a feature release.

It is a structural refinement release for stabilizing the AIKernel.NET abstract contract layer before v0.1.0.

このリリースは、機能追加リリースではありません。

v0.1.0 に向けて、AIKernel.NET の抽象契約レイヤーを安定化させるための構造的リファクタリングリリースです。

This release includes the work from Issue #4 and Issue #7 through Issue #12, covering VFS capability-based interface segregation, naming normalization, contract purity, provider capability separation, security / policy boundary separation, and Phase 1 Query Processing abstractions.

本リリースでは、Issue #4 および Issue #7 から Issue #12 までの対応を含みます。  
VFS の capability-based interface segregation、命名規約の正規化、Contract Purity、Provider Capability 分離、Security / Policy 境界の整理、そして Phase 1 Query Processing 抽象の追加を行いました。

---

## Key Changes / 主な変更点

### 1. VFS Capability-Based Interface Segregation / VFS の Capability-Based Interface 分離

The VFS abstraction was refined to better express capability-based governance at the type-system level.

VFS 抽象を、型システム上で capability-based governance を表現できるように見直しました。

Instead of forcing every VFS implementation to support read, write, and navigation operations through a single broad contract, VFS responsibilities were separated into smaller capability-oriented interfaces.

すべての VFS 実装に read / write / navigation を単一の巨大な Contract として強制するのではなく、責務を capability 単位の小さな Interface へ分離しました。

This enables implementations such as read-only web providers, writable local providers, and in-memory providers to expose only the capabilities they actually support.

これにより、read-only な Web Provider、書き込み可能な Local Provider、揮発性の Memory Provider などが、実際に対応する capability のみを公開できるようになります。

---

### 2. Naming Normalization / 命名規約の正規化

Acronym-based identifiers were normalized according to .NET naming conventions.

.NET の命名規約に従い、頭字語を含む識別子を正規化しました。

Changes include:

- `AIKernel.VFS` → `AIKernel.Vfs`
    
- `AIKernel.VFS.csproj` → `AIKernel.Vfs.csproj`
    
- namespace updates from `AIKernel.VFS` to `AIKernel.Vfs`
    
- `IROMCanonicalizer` → `IRomCanonicalizer`
    

これにより、コードベース全体の命名が .NET の慣習に沿った自然な形へ整理されました。

---

### 3. Contract Purity / 契約純度の向上

Contract objects were reviewed to avoid mixing immutable contract definitions with mutation or transformation behavior.

不変であるべき Contract に mutation や transformation の責務が混入しないよう、契約の純度を見直しました。

Material-related contracts were moved toward immutable views, while normalization, structuring, and processing responsibilities are expected to live in dedicated service interfaces.

Material 系の Contract は immutable view に寄せ、正規化・構造化などの処理責務は専用 service interface 側へ分離する方針に整理しました。

---

### 4. Capability-Driven Provider Interfaces / Capability 単位の Provider 分離

Provider interfaces were refined to avoid forcing implementations to support capabilities they do not actually provide.

Provider が実際には対応していない capability の実装を強制されないよう、Interface を capability 単位へ分離しました。

This includes the embedding provider split:

- `ITextEmbeddingProvider`
    
- `IBatchEmbeddingProvider`
    
- `IEmbeddingDimensionProvider`
    

これにより、single embedding / batch embedding / dimension metadata を必要に応じて個別に実装できるようになりました。

---

### 5. Provider Capability Metadata / Provider Capability Metadata の拡張

Provider capability metadata was extended to support richer Phase 1 and Provider-routing scenarios.

Phase 1 および Provider Routing のために、Provider capability metadata を拡張しました。

Added or refined concepts include:

- query-processing capability metadata
    
- embedding capability metadata
    
- semantic projection capability
    
- provider routing metadata
    

これにより、Provider をモデル名ではなく capability に基づいて選択する設計がさらに明確になりました。

---

### 6. Security & Policy Boundary Refinement / Security と Policy 境界の整理

Security, policy decision, rule evaluation, and enforcement boundaries were reviewed to avoid overly broad contracts.

Security、Policy Decision、Rule Evaluation、Enforcement の責務が単一の巨大な Contract に混在しないよう、境界を見直しました。

This prepares the ABI for future Governance Plane implementation without forcing premature runtime behavior.

これにより、将来の Governance Plane 実装に向けて、実行時の実装を急がずに ABI 境界を整える準備ができました。

---

### 7. Phase 1 Query Processing Abstractions / Phase 1 Query Processing 抽象の追加

New abstractions were added for Phase 1 Context Build.

Phase 1 Context Build のために、Query Processing 系の抽象を追加しました。

Added interfaces and DTOs:

- `IQueryAugmentor`
    
- `IQueryDecomposer`
    
- `IQueryRouter`
    
- `QueryPart`
    
- `IQueryProcessingCapabilities`
    
- `IEmbeddingCapabilityMetadata`
    

These abstractions do not embed RAG directly into Core.

これらの抽象は、RAG を Core に直接組み込むものではありません。

Instead, they define extension slots where RAG and other query-processing strategies can be selected and composed through the pipeline.

RAG を含む Query Processing 技術を Pipeline 上で選択・合成するための抽象スロットを定義するものです。

---

## Documentation Updates / ドキュメント更新

The following documentation areas were updated:

以下のドキュメントを更新しました。

- README / README-jp
    
- Architecture docs
    
- Pipeline specs
    
- Provider docs
    
- Capability definition schema
    
- Query Processing interface docs
    
- Migration guides
    
- Use-case docs
    
- Dependency rule documents
    

Key documentation additions include:

- VFS capability-based interface segregation
    
- Phase 1 Query Processing architecture
    
- Provider capability examples
    
- Query Processing pipeline flow
    
- Embedding capability metadata
    
- clarification that RAG remains a provider / pipeline strategy, not Core retrieval
    

主な追加内容:

- VFS の capability-based interface segregation
    
- Phase 1 Query Processing アーキテクチャ
    
- Provider capability 例
    
- Query Processing pipeline flow
    
- Embedding capability metadata
    
- RAG は Core retrieval ではなく Provider / Pipeline strategy であることの明記
    

---

## Verification / 検証

The solution builds successfully.

ソリューションのビルドが成功することを確認しました。

```text
dotnet build src\AIKernel.NET.slnx

Succeeded.
```

The abstraction tests also pass successfully.

抽象レイヤーのテストも正常に通過しています。

```text
dotnet test src\tests\AIKernel.Abstractions.Tests\AIKernel.Abstractions.Tests.csproj --no-build

Succeeded: 73 tests passed.
```

---

## Notes / 補足

Some identifiers were intentionally left unchanged.

一部の識別子は、意図的に変更対象外としています。

- `IOException` was left unchanged because it is a .NET BCL type name.
    
- `DTO`, `API`, and `ROM` were left unchanged where used as descriptive prose.
    
- `ProviderId` was already using the correct spelling and was left unchanged.
    
- `IEmbeddingProvider` was not recreated because embedding contracts were already split into capability-specific interfaces.
    
- `IOException` は .NET BCL 型名のため変更対象外です。
    
- `DTO`, `API`, `ROM` は説明文中の一般語として使われている箇所では変更対象外です。
    
- `ProviderId` はすでに正しい表記だったため維持しました。
    
- `IEmbeddingProvider` は、すでに capability 単位の Interface へ分離済みだったため、重複作成していません。
    

---

## Why This Matters / このリリースの意味

This release is small in runtime behavior, but large in architectural meaning.

このリリースは、実行時の振る舞いとしては小さいものです。  
しかし、アーキテクチャ上の意味は大きいものです。

Before v0.1.0 turns the contracts into executable runtime components, the abstract layer must have correct names, clean boundaries, capability-driven providers, VFS capability separation, and Phase 1 extension slots.

v0.1.0 で Contract を実行可能なランタイムコンポーネントへ進化させる前に、抽象レイヤーには正しい名前、明確な境界、capability-driven な Provider、VFS の capability 分離、そして Phase 1 の拡張スロットが必要です。

This release prepares that foundation.

本リリースは、そのための基盤を整えるものです。

---

## Closing / 結び

Names define boundaries.  
Boundaries define contracts.  
Contracts define execution.

名前は境界を定義する。  
境界は契約を定義する。  
契約は実行を定義する。

**Rectify the Interfaces. Stabilize the Contracts.**  
**名前を正し、境界を分け、契約を安定させる。**

AIKernel.NET v0.0.1 Release — The day the Kernel was fixed. (#3)

# AIKernel.NET v0.0.1 Release Notes

**2026-05-06**

**May the 6th — The day the Kernel was fixed.**  
**5月6日 — カーネルが構造的に修復された日。**

## Overview / 概要

**AIKernel.NET v0.0.1** is the first **Structural Stability Point (Canonical Source)** of the AIKernel architecture.  
This release establishes the minimal, deterministic contract baseline for all future implementations.

**AIKernel.NET v0.0.1** は、AIKernelアーキテクチャにおける最初の**構造的安定点（Structural Stability Point / Canonical Source）**です。  
本バージョンでは、抽象レイヤに混入していたアプリケーション層の概念を排除し、AIKernelを「AIアプリケーションのOS」として成立させるための、最小かつ決定論的な契約基盤を確立しました。

## Key Changes / 主な変更点

### 1. Architectural Purification / アーキテクチャの純化

- **Removed UseCases namespace (Issue #2)** from abstraction boundaries to restore dependency consistency.
    
- **Strict Contract-First** alignment: removed implementation-layer coupling and reinforced a pure contract layer composed of Interfaces and DTOs.
    
- 抽象境界から **UseCases 名前空間を削除（Issue #2）**し、依存方向の一貫性を回復。
    
- **Strict Contract-First** を徹底し、実装層（Core）への結合を排除。Interface / DTO 中心の正典契約層を確立。
    

### 2. Deterministic Execution Foundations / 決定論的実行基盤

- **Introduced IContextSnapshot** to define point-in-time context state with integrity metadata for audit/restore workflows.
    
- **Introduced IKernelReplayer** to replay execution pipelines from trace artifacts (Replay Dumps), ensuring deterministic reproducibility of the execution path itself.
    
- **IContextSnapshot** を導入し、時点コンテキストと整合性情報を固定化。監査・復元・検証の基準点を確立。
    
- **IKernelReplayer** を導入し、Replay Dump から実行パイプラインを再現。推論出力の再生成ではなく、実行経路そのものの決定論的再現性を保証。
    

### 3. Package Structure Redefined / パッケージ構成の再定義

- **AIKernel.Abstractions** reorganized around clear boundaries (Execution / Context / VFS and related domains) with unidirectional dependency flow.
    
- **AIKernel.Dtos** streamlined for cross-cutting contracts such as signed prompts, replay metadata, and event/audit payload structures.
    
- **AIKernel.Abstractions** を Execution / Context / VFS などの責務単位で再編成し、単方向依存を明確化。
    
- **AIKernel.Dtos** は署名済みプロンプト、リプレイメタデータ、イベント/監査ペイロードなどの横断データ構造を整理。
    

## Why This Release Matters / このリリースの意味

**v0.0.1 is not merely an initial version; it is the transition from idea to standard.**  
**v0.0.1 は単なる初期版ではなく、「構想」から「規格」への転換点です。**

- **Architecture purified**: non-kernel noise removed from contract boundaries.
    
- **Contracts fixed**: stable base for implementation work.
    
- **Identity established**: AIKernel is defined as an **Execution OS**, not a feature bundle.
    
- **アーキテクチャの純化**: カーネル境界外のノイズを除去。
    
- **契約の固定**: 実装フェーズへ進むための安定基盤を確立。
    
- **アイデンティティの確立**: AIKernelを「機能群」ではなく**Execution OS**として定義。
    

## What’s Next / 今後の展開

With the contract baseline fixed in v0.0.1, development now shifts to implementation.

- **AIKernel.Core**: reference implementation based on v0.0.1 contracts
- **CLI (aik)**: primary operator interface for Kernel, VFS, and execution control
- **Provider Ecosystem**: expansion of capability-based drivers across LLM backends

v0.0.1で契約基盤が固定されたため、開発は実装フェーズへ移行します。

- **AIKernel.Core**: v0.0.1契約を基盤としたリファレンス実装
- **CLI（aik）**: Kernel / VFS / Executionを管理する主要インターフェース
- **Provider Ecosystem**: Capabilityベースのドライバを各種LLMバックエンドへ展開

## Closing

**AIKernel does not define features.  
It defines the deterministic context in which features become inevitable.**

**AIKernelは機能を定義しない。  
機能が必然となるための「決定論的な文脈」を定義する。**

**The architecture is now canonically defined.**  
**アーキテクチャは今、正典として定義された。**

Release AIKernel.NET v0.0.0.0 — The Sovereign of Context (#1)

# Release AIKernel.NET v0.0.0.0 — The Sovereign of Context

## 🌌 Overview
AIKernel.NET は、AI の**推論（Reasoning）**・**素材（Material）**・**生成表現（Expression）**を独立したシステムオブジェクトとして統治する **Semantic Context OS** です。
.NET の強力な型システムと依存性注入（DI）を基盤に、確率的に揺らぐ AI の推論プロセスに対して、決定論的な「実行の枠組み」と「ガバナンス」を提供します。

---

> ### **May the 4th ──**
> 
> **The Force drifts in probability.**  
> **The Kernel defines the context in which outcomes become inevitable.**
> 
> **Force（力）は確率の中で揺らぐ。**  
> **Kernel（核）は、必然を成立させる「文脈」を定義する。**
> 
> ---
> **v0.0.0.0 — The Sovereign of Context.**

---

この **v0.0.0.0** は、AIKernel.NET の「実装に先立つ設計の固定点（Fixed Point）」として位置づけられます。

## 📢 公開メッセージ（2026年5月4日）
5月1日の「メーデー」に掲げた AI Operating System (AIOS) のビジョンは、本日、具体的な「統治の規律」へと進化しました。 その進化を支えるのは、**AI の確率性を “文脈の決定論” で包摂する**という思想です。

AI という強大な Force（推論能力）は、本質的に不確実であり、確率の海を漂います。 既存のライブラリがその「出力」の便利さを追う一方で、AIKernel.NET はその「文脈（Context）」の支配に執着します。

本リリースでは、AIKernel.NET の核心を成すコア・スペックを公開・刷新しました。

*   **論理的整合性の固定**: `LockedProviderInfo` による、リプレイ時の決定論性・再現性の保証。
*   **ガバナンスの非推論化**: LLM 自体に承認を委ねない、非推論的コードによる PDP（Policy Decision Point）の確立。
*   **意味的正準化（Canonicalization）**: 記述順序に依存しない ROM の正規化と、Git 差分レベルでの意味的同一性の担保。

これは単なるドキュメントの追加ではありません。確率の産物である AI を、エンタープライズ・グレードの「信頼できるコンポーネント」へと変貌させるための、物理的なインターフェース群（Interface/DTO Contracts）の定義です。

AI に Force を持たせるだけの時代は終わりました。  
これからは、Kernel がその Force が顕現する「文脈」を支配し、結果を必然へと変える時代です。

## 🛠 Key Updates in v0.0.0.0

### 1. Specification Updates
*   **02. Signed Prompt Governance Spec**: 「幻覚承認」を構造的に排除する決定論的 PDP 要件の定義。
*   **03. ROM Core Spec**: 物理的な正準化（Canonicalization）を通じたセマンティック・ハッシュ不変性の確立。
*   **04. Model Routing Spec**: 通常時の動的最適化と、リプレイ時の物理固定（Force Provider Mode）の二相動作仕様。
*   **06. Replay Dump Spec**: 実行環境を含めて「知能を凍結」し、完全な監査を可能にするダンプ構造の策定。
*   **16. Semantic Context OS Vision**: 不変の実行制約（Immutable Execution Constraints）と、カーネル起動ステートマシンの厳格な定義。

### 2. Core Interfaces & DTOs (Initial Implementation)
リポジトリにおいて、OS の骨格を成す契約群を公開しました。
*   `IModelVectorRouter`: 能力ベースの動的ルーティング契約。
*   `IPromptVerifier`: 署名済みプロンプトの整合性・信頼性検証。
*   `IROMCanonicalizer`: Markdown 記述を物理的にソートし、ハッシュ不変性を担保する正規化エンジン。
*   `IKernelStateMachine`: 起動から実行に至るまでの Fail-Closed な状態管理。
*   `ExecutionConstraints`: 実行時のリソース・制限事項を定義する不変 record。

---

**May the Force (and the Kernel) be with you.**

ディレクトリ構成を実態に合わせ修正、およびソース向けロゴの配置をsrcに移動