Skip to content

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

Merged
egumaru merged 22 commits intomainfrom
dev
May 6, 2026
Merged

AIKernel.NET v0.0.1 Release — The day the Kernel was fixed.#3
egumaru merged 22 commits intomainfrom
dev

Conversation

@egumaru
Copy link
Copy Markdown
Contributor

@egumaru egumaru commented May 6, 2026

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 [Cleanup] Remove AI-generated Application-level UseCases from Abstractions #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.
アーキテクチャは今、正典として定義された。

egumaru added 21 commits May 2, 2026 04:10
…osed use-case tests

Re-define IExecutionConstraints for SGS-007 (allowed_tools, scopes, max_token_budget)
Rework prompt governance contracts to result-based fail-closed decisions
Add spec-alignment tests for Execution Pipeline, Signed Prompt Governance, and ROM Core using interface composition stubs
Verify all abstraction tests pass (30 passed)
…-core leakage

Remove AIKernel.Abstractions project references to AIKernel.Dtos and AIKernel.Enums
Introduce core-local contract data types/enums under AIKernel.Abstractions.Core
Add global using for core-local types to keep interface signatures cohesive
Normalize namespace-to-folder alignment across UseCases and Governance
Eliminate abstraction-layer implementation logic from IExecutionOutput (PhaseHandoverResult factories removed)
Reduce leaky abstraction patterns by replacing object-based dictionaries/signatures with typed string-based contracts
Update tests to match new contract namespaces/signatures; verify all abstraction tests pass (30/30)
- docs/architecture に Semantic Context OS ビジョン(v0.0.0)を新規追加
- Thinkingモードによる「抽象汚染(Abstract Pollution)」のリスクを明文化
- 「高速モード = 純粋推論」の原則(Fast-as-Pure)を設計原則に統合
- 思考ステップ制約(Step Constraint)による中間プロセスのガバナンスを定義
- 三層隔離メモリモデル(MMU)によるコンテキスト統治の概念を確立
…replay/rom integrity updates

integrate updated drafts into 02/03/04/06 specs (JP/EN) with deterministic governance, canonicalization-first hashing, replay lock contracts, and force-provider replay flow
reorganize 16.SEMANTIC_CONTEXT_OS_VISION (JP/EN) with SIR requirements, kernel startup state machine, and logical audit constraints
fix architecture index reference mismatches and update 1.15 summaries to reflect new SIR/state-machine model
preserve fail-closed semantics across updated documents and align section numbering for cross-doc consistency
AIKernel.Abstractions から public class/record/enum/struct を排除し、interface-only 構成へ再編
AIKernel.Dtos / AIKernel.Enums に契約データ型を移設・新設(Routing/Context/Governance/Prompt など)
Abstractions の参照を Dtos / Enums に統一し、GlobalUsings と csproj 依存を整理
旧重複定義(CoreDataTypes, ModelCapacityVector, StandardCapacityAxis ほか)を削除
テスト参照を新しい DTO/Enum 名前空間に追従させ、ビルド成立を確認 (AIKernel.Abstractions.Tests)
AIKernel.Abstractions / AIKernel.Dtos / AIKernel.Enums の複数型同居ファイルを解消し、1 class|record|enum|struct = 1 file に統一
TransferTrace / Purpose、Prompt系DTO、ROM系DTO、Buffer系DTOを個別ファイルへ分離
LatencyClass から ModelType / Modality を分離、PdpDecision から RejectCode を分離
Abstractions内の具体型(KernelExecutionResult、AttentionAnalysis、AccessRequest など)を個別ファイル化し、可読性と保守性を向上
ROM検証関連型を分割し、型定義の責務境界を明確化
AIKernel.VFSをInterface専用に整理し、具象データ型をAIKernel.Dtos.Vfsへ移管
VfsEntryTypeをAIKernel.Enumsへ移管し、VFS境界の責務を明確化
VFSインターフェースのシグネチャをDTO参照へ更新(object辞書をstring辞書へ型安全化)
AIKernel.VFS.csprojの未使用参照(KernelContext/Enums)を削除し依存を最小化
Prompt系DTOのrequired/初期化子を統一しnullable警告を解消
関連テスト(SignedPrompt/MaterialQuarantine)を新DTO初期化方式へ追従
AuditEventの型不整合(AuditSeverity/Metadata)を契約に合わせて修正
REPO_DEPENDENCY_RULES(英日)およびVFSインターフェース文書/indexを最新構成へ同期
- Consolidate 'KernelContext' and 'Events' projects into Abstractions/Dtos/Core to eliminate project fragmentation and clarify architectural layers.
- Split files containing multiple definitions into individual files.
- Remove 'UseCases' namespace to purge application-level leakage (Ref: Issue #2).
- Restructure directory and namespace hierarchy to improve modularity.
- Ensure all types are organized by their architectural roles (VFS, Kernel, etc.).
- Align project with strict C# conventions for upcoming AIKernel.Core implementation.
- Remove DTO-layer exception classes and exception-oriented tests to keep DTOs as pure data contracts.
- Align DTO namespaces with physical paths (Context/Core/Messaging) for full Structure Integrity.
- Replace ambiguous router contracts:
  - Routing: IModelVectorRouter -> IRoutingDecisionEngine
  - Execution: IModelVectorRouter -> IExecutionVectorRouter
- Update related references/global usings and verify build integrity across Abstractions/DTOs/Tests.

This structural refinement establishes a clean, navigable 'Canonical Source'
at version 0.0.1, ensuring deterministic dependency management.

Fixes #2
リプレイ機能の保証範囲について、「LLM の内部推論アルゴリズム自体の再現は目的とせず、実行時のコンテキスト構成・パイプライン通過順序・各ステップのデータ変換が記録と同一の論理パスを辿ることのみを保証する」旨を明記しました。英語・日本語両方のドキュメントに追記しています。
AIKernel.NET の設計意図や契約レイヤの意義を明確化し、C#によるホスティング例・curlによるAPI実行例・レスポンス例を README-jp.md/README.md に追加。アーキテクチャやリポジトリ構成の説明も整理し、実装分離の方針を強調。英語READMEも同様に刷新。
Directory.Build.props のリリースノートを英日両言語で詳細化し、AIKernel.NET の設計思想やコアスペックを明記。各 csproj から <Version> 記述を削除し、バージョン管理を共通プロパティに集約。
@egumaru
Copy link
Copy Markdown
Contributor Author

egumaru commented May 6, 2026

Approved.

@egumaru egumaru merged commit 370a44e into main May 6, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant