Skip to content

Releases: AIKernel-NET/AIKernel.NET

AIKernel.NET v0.1.0 — Phase-1 Contract Baseline

08 Jun 16:21
dd23857

Choose a tag to compare

June 9th, 2026 — Crossing the 0.1.0 event horizon.
2026年6月9日──0.1.0 の事象の地平を越える。

Crossing the 0.1.0 event horizon: the semantic runtime becomes observable, deterministic, and contract-led. 0.1.0 の事象の地平を越える──意味的ランタイムは可観測・決定論・契約駆動へと収束する。

[KERNEL.NET] Semantic Runtime: observable
[KERNEL.NET] Determinism: enforced
[KERNEL.NET] Contract Surface: active

Today, the semantic runtime becomes governed and visible.
今日、意味的ランタイムは統治され、可視化された形を手に入れました。

⚙️ AIKernel.Core — Release 0.1.0

June 9th, 2026 — The canonical boundaries close into a circuit.
2026年6月9日──正準境界は回路として閉じた。

Core 0.1.0 stabilizes the canonical boundaries: Context, Execution, VFS, and Semantic State now form a governed circuit.
Core 0.1.0 は正準境界を確立──Context・Execution・VFS・Semantic State が統治回路として結線される。

[CORE] Context Boundary: stabilized
[CORE] Execution Circuit: closed
[CORE] VFS: mounted
[CORE] Semantic State: governed

AIKernel.NET v0.1.0

Crossing the 0.1.0 event horizon: the semantic runtime becomes observable, deterministic, and contract-led.

0.1.0 の事象の地平を越える──意味的ランタイムは可観測・決定論・契約駆動へと収束する。

AIKernel.NET 0.1.0 completes the Phase-1 contract baseline for the semantic runtime.

Highlights

  • Freezes the public contract boundary for Abstractions, DTOs, Enums, and contract-only surfaces.
  • Promotes 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.
  • Preserves the interface-only rule for AIKernel.Abstractions and AIKernel.Contracts.
  • Keeps DTO ownership in AIKernel.Dtos and enum ownership in AIKernel.Enums.
  • Keeps runtime implementation behavior outside AIKernel.NET.

Packages

  • AIKernel.Enums 0.1.0
  • AIKernel.Dtos 0.1.0
  • AIKernel.Contracts 0.1.0
  • AIKernel.Abstractions 0.1.0

Package Boundary

AIKernel.NET is the contract foundation of the AIKernel ecosystem.

Runtime, tooling, GPU, control-plane, and demo implementations are intentionally kept in separate repositories/packages, including:

  • AIKernel.Core
  • AIKernel.Control
  • AIKernel.Tools
  • AIKernel.Cuda13.0
  • AIKernel.Demo

License

AIKernel.NET remains MIT licensed because it contains no runtime implementation and carries no patent surface. Papers and research documents remain governed by the license attached to each paper.

Verification

  • Release build succeeded.
  • Contract test suite passed: 93 passed / 0 failed.

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.

AIKernel.NET v0.0.5 — Contract Baseline for Core and Demo Integration

05 Jun 13:48
9092051

Choose a tag to compare

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.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 — Contract Surface Stabilization Release

04 Jun 20:21

Choose a tag to compare

6/5 — A day when we step beyond the stable five and reach toward the sixth abstraction.

Contracts have been separated, the dependency DAG has been purified,
and Vfs has converged toward its rightful ownership under Abstractions.

AIKernel.NET v0.0.4 establishes a new baseline
for advancing the shared contract surface into the next phase.


6/5──5 の安定点を越えて、6 の抽象へ踏み出す日。

契約は分離され、依存の DAG は純化され、
Vfs は Abstractions の正しい所有へと収束した。

AIKernel.NET v0.0.4 は、共有契約面を
次のフェーズへ進めるための基準点となる。


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

AIKernel.Enums -> none
AIKernel.Dtos -> AIKernel.Enums
AIKernel.Contracts -> AIKernel.Dtos, AIKernel.Enums
AIKernel.Abstractions -> AIKernel.Dtos, AIKernel.Enums

AIKernel.NET v0.0.3

02 Jun 09:41
0a43492

Choose a tag to compare

AIKernel.NET v0.0.3

June 2 — the day memory and meaning finally met. From that boundary, causality settled into place, and the kernel became itself.

This release corrects the Phase‑1 dependency layering around VFS contracts and prepares the package graph for long‑term maintainability.

Highlights

  • VFS interface contracts are now owned by AIKernel.Abstractions

  • AIKernel.Vfs remains available as a compatibility facade via type forwarding

  • Removed the reverse dependency from AIKernel.Abstractions to AIKernel.Vfs

  • Updated migration and architecture documentation (English and Japanese)

Dependency Graph

The intended package dependency direction is now:

AIKernel.Enums -> (none)
AIKernel.Dtos -> AIKernel.Enums
AIKernel.Contracts -> AIKernel.Enums, AIKernel.Dtos
AIKernel.Abstractions -> AIKernel.Dtos, AIKernel.Enums
AIKernel.Vfs -> AIKernel.Abstractions

Migration

Update related packages together:

<PackageReference Include="AIKernel.Abstractions" Version="0.0.3" />
<PackageReference Include="AIKernel.Vfs" Version="0.0.3" />

Do not mix AIKernel.Abstractions 0.0.3 with AIKernel.Vfs 0.0.2.

Existing source code using:

using AIKernel.Vfs;

can remain unchanged. The public namespace is preserved; only the assembly‑level ownership has changed.

Verification

Validated with:

dotnet build src\AIKernel.NET.slnx
dotnet test src\tests\AIKernel.Abstractions.Tests\AIKernel.Abstractions.Tests.csproj --no-build

ProjectReference cycle check confirmed the graph is acyclic.

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

09 May 08:42
9ba2005

Choose a tag to compare

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.VFSAIKernel.Vfs

  • AIKernel.VFS.csprojAIKernel.Vfs.csproj

  • namespace updates from AIKernel.VFS to AIKernel.Vfs

  • IROMCanonicalizerIRomCanonicalizer

これにより、コードベース全体の命名が .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.

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

dotnet build src\AIKernel.NET.slnx

Succeeded.

The abstraction tests also pass successfully.

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

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

06 May 13:49
370a44e

Choose a tag to compare

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

04 May 14:39
74c8ff8

Choose a tag to compare

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.

AIKernel.NET v0.0.0 — Initial Documentation Release

01 May 13:29

Choose a tag to compare

AIKernel.NET v0.0.0 — Initial Documentation Release

Released on May 1st, 2026 (May Day)
License: MIT (or your chosen license)


概要 / Overview

AIKernel.NET は、AI を単なる「API 呼び出し」ではなく、OS レベルの「能力(Capability)を持つプロセス」として扱うための AI Operating System(AIOS) です。
Idiomatic .NET(.NET らしい設計)に基づき、DI と契約ベースの抽象化を軸に据えることで、モデルの具象に依存しない 「能力ベース実行(Capability-driven Execution)」 を実現します。

  • Capability-driven: モデルの具象ではなく、要求する能力(Capability)を宣言する Provider 設計
  • OS Architecture: Scheduler / Router / VFS / Events を備えた Kernel 構造
  • Reliability: Deterministic Replay による実行の再現性と監査性の確保
  • Layering: システムコールに準拠した依存方向(syscall → kernel → drivers)の徹底
  • Bilingual: 日本語・英語の完全ペア文書によるグローバル展開(xxx-jp.md / xxx.md)

Important

本リリース v0.0.0 は、実装に先立つ 設計思想・アーキテクチャ原則・ガバナンス規約の初版公開 です。


Japanese

2026年5月1日、メーデー。
この日に初版ドキュメントを公開することは、AI を単なる「自動化の道具」ではなく、明確な能力(Capability)を持つ「自律的なプロセス」として定義し、その実行環境を確立するという AIKernel.NET の立場を象徴する選択です。

AIKernel.NET が提唱するのは、.NET ネイティブなパターンを最大限に活かし、AI を OS レベルの抽象度で制御する「AI Operating System (AIOS)」という概念です。
既存のツールの多くが「便利なユーティリティ集(Library)」であるのに対し、AIKernel.NET は依存性注入(DI)と契約ベースの抽象化を徹底した AI 実行基盤(Runtime/Kernel) として設計されています。

アプリケーションはモデル固有の仕様や不安定な挙動(Volatility)に縛られず、安定した「Capability 契約(Interface)」を通じてのみ AI の能力を利用します。ビジネスロジックの純度を保ちながら、モデルの差し替えや運用を OS レベルの抽象度で完結できることこそ、AIKernel.NET の本質的な価値です。


English

May 1st, 2026 — May Day.
Releasing the initial documentation on this day is a deliberate statement: AIKernel.NET treats AI not as a tool for automation, but as an autonomous process with explicit capabilities.

AIKernel.NET is not a prompt-engineering helper or a library-based wrapper.
It establishes a new architectural layer: an AI Operating System (AIOS) built on idiomatic .NET patterns, dependency injection, and strict contract-based abstractions. Unlike utility-driven frameworks, AIKernel.NET is designed as a capability-driven execution kernel.

By decoupling business logic from the volatility of specific AI models, applications interact with AI through stable, predictable capability contracts. This preserves the purity of the core logic and elevates model lifecycle management and operations to a robust OS-level abstraction.


確立した骨格 / Established Foundations

Abstractions as System Calls

  • JP: LLM 呼び出しを単なる API 通信ではなく、「OS システムコール」 と同等のリソースアクセスとして定義。モデル非依存の契約(Contracts)による制御を実現。
  • EN: LLM invocation is defined as a resource access equivalent to an OS system call, managed via model-agnostic contracts.

Kernel-Level Services

  • JP: Scheduler / Router / VFS / Events など、OS コンポーネントに類する実行系コア機能を確立。
  • EN: Core execution components such as Scheduler, Router, VFS, and Events, mirroring OS architecture.

Capability-Driven Drivers

  • JP: モデルの具象名ではなく Capability(要求する能力) を宣言。DI によって実行時に最適なドライバを動的にバインド。
  • EN: Drivers are bound based on declared capabilities rather than specific model names, enabled by .NET's native DI.

Deterministic Governance

  • JP: エンタープライズ品質に不可欠な「監査性」と「再現性(Deterministic Replay)」を設計の第一原則として固定。
  • EN: Auditability and deterministic replay as first-class architectural concerns for enterprise reliability.

Bilingual Alignment

  • JP: 全てのドキュメントを日本語・英語の対で整備し、設計意図の透明性を確保。
  • EN: Comprehensive bilingual documentation maintained as synchronized pairs for global transparency.

今後の展開 / Roadmap Snapshot

  • v0.1.x (Definition Phase): 公開インターフェース(Interface / DTO / Enum)の完全公開
  • v0.2.x (Source Preview): 別リポジトリにてソースコードの実装プレビュー開始
  • v0.3.x (Runnable Alpha): Kernel および Provider の動作検証版(Alpha)を公開
  • v1.0.0 (General Availability): エンタープライズ運用に耐える完全版リリース

変更履歴 / Changelog

v0.0.0 — Initial Release

  • architecture 文書(日本語・英語)
  • design 文書(日本語・英語)
  • guidelines 文書(日本語・英語)
  • README / README-jp.md の整備
  • LICENSE (MIT License) の追加