Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
52 commits
Select commit Hold shift + click to select a range
890a19e
DynamicSLM技術ノート一式(英日原稿・メタデータ等)追加
egumaru Jun 5, 2026
c1c05ae
AIKernel Phase-2理論パッケージ一式を新規追加
egumaru Jun 5, 2026
1739362
chore: prepare contract packages for v0.0.5
egumaru Jun 5, 2026
d280309
feat: add DynamicSLM contract surface
egumaru Jun 5, 2026
919b69d
feat: add DynamicSLM compatibility contract
egumaru Jun 5, 2026
c80c241
feat: add DynamicSLM graph evolution contract
egumaru Jun 5, 2026
8635a75
docs: sync Japanese README package guidance
egumaru Jun 5, 2026
66e7288
feat: add DynamicSLM pipeline contracts
egumaru Jun 5, 2026
1961503
feat: add DynamicSLM failure projection contract
egumaru Jun 5, 2026
5644fe6
feat: add DynamicSLM distillation offload contracts
egumaru Jun 5, 2026
8e3fa65
docs: align Japanese package README with offload contracts
egumaru Jun 5, 2026
96ffad7
docs: clarify DynamicSLM offload migration coverage
egumaru Jun 5, 2026
07c80ae
feat: enrich DynamicSLM offload trace contracts
egumaru Jun 5, 2026
f62285b
docs: align DynamicSLM interface changelogs
egumaru Jun 5, 2026
9a28931
docs: add paper implementation status matrix
egumaru Jun 5, 2026
71eb1ae
feat: add HATL external crypto contracts
egumaru Jun 5, 2026
86751b0
docs: clarify HATL LINQ adapter boundary
egumaru Jun 5, 2026
1aaff4c
docs: include HATL in operations migration coverage
egumaru Jun 5, 2026
6472a9e
docs: align migration guide HATL coverage
egumaru Jun 5, 2026
136adae
chore: align package metadata for v0.0.5 contracts
egumaru Jun 5, 2026
b02bea6
docs: clarify Common and contract-only dependency rules
egumaru Jun 5, 2026
bf458a2
feat: add SeedSLM DynamicSLM contracts
egumaru Jun 5, 2026
dea9987
feat: connect SeedSLM contracts to DynamicSLM pipeline DTOs
egumaru Jun 5, 2026
ec687fc
fix: preserve DynamicSLM DTO constructor compatibility
egumaru Jun 5, 2026
085fe9b
fix: remove runtime timestamp defaults from DTO contracts
egumaru Jun 5, 2026
1e3b8a9
fix: align DSL node vocabulary with paper aliases
egumaru Jun 5, 2026
694c2a2
docs: update paper trajectory contract status
egumaru Jun 5, 2026
5ad2545
feat: add governance admission vocabulary
egumaru Jun 5, 2026
ae5c3cd
docs: align governance admission package metadata
egumaru Jun 5, 2026
37025c5
feat: add semantic compilation DTO contracts
egumaru Jun 5, 2026
fba2ded
fix: complete admissibility decision vocabulary
egumaru Jun 5, 2026
694f2b4
feat: extend semantic compilation DTO coverage
egumaru Jun 5, 2026
b1a1c60
feat: add trajectory governance DTO evidence
egumaru Jun 5, 2026
6cf3c5b
feat: add admissibility gate contracts
egumaru Jun 5, 2026
4a363a4
feat: add external capability module contracts
egumaru Jun 5, 2026
f176c14
docs: document capability module interfaces
egumaru Jun 5, 2026
78ec011
docs: align Japanese v0.0.5 package notes
egumaru Jun 5, 2026
1e1c66f
build: expand v0.0.5 package metadata
egumaru Jun 5, 2026
5781e8d
docs: surface capability module operations coverage
egumaru Jun 5, 2026
8d064ea
Align AIKernel.NET release docs with Apache 2.0
egumaru Jun 6, 2026
1b70f49
Keep AIKernel.NET contract packages MIT licensed
egumaru Jun 6, 2026
545c877
Clarify AIKernel.NET license intent
egumaru Jun 6, 2026
46a67ee
Prepare 0.1.0 contract validation baseline
egumaru Jun 7, 2026
e0c43c7
Extract control and routing contracts for 0.1.0
egumaru Jun 7, 2026
136fd79
Document 0.1.0 contract ABI baseline
egumaru Jun 7, 2026
2c84b08
docs: prepare v0.1.0 release notes
egumaru Jun 7, 2026
84aa50f
docs: add bilingual reference comments
egumaru Jun 7, 2026
a4b4940
Prepare AIKernel.NET v0.1.0 release
egumaru Jun 8, 2026
1620b42
Merge main into dev for v0.1.0 release
egumaru Jun 8, 2026
76bda90
Merge remote-tracking branch 'origin/main' into dev
egumaru Jun 8, 2026
0ebccdb
Prepare AIKernel.NET 0.1.1 contracts
egumaru Jun 10, 2026
4ab39a3
docs: align 0.1.1 release documentation
egumaru Jun 10, 2026
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
16 changes: 8 additions & 8 deletions Directory.Build.props
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
<Project>
<PropertyGroup>
<Version>0.1.0</Version>
<AssemblyVersion>0.1.0</AssemblyVersion>
<FileVersion>0.1.0</FileVersion>
<InformationalVersion>0.1.0</InformationalVersion>
<Version>0.1.1</Version>
<AssemblyVersion>0.1.1</AssemblyVersion>
<FileVersion>0.1.1</FileVersion>
<InformationalVersion>0.1.1</InformationalVersion>
<GenerateDocumentationFile>true</GenerateDocumentationFile>
<Authors>Takuya Sogawa</Authors>
<Company>AIKernel-NET</Company>
Expand All @@ -14,9 +14,9 @@
<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.1.0 — First Stable Contract Baseline
AIKernel.NET v0.1.1 — First Stable Contract Baseline

• Promotes the AIKernel.NET contract packages to the first 0.1.0 baseline.
• Promotes the AIKernel.NET contract packages to the first 0.1.1 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.
Expand All @@ -26,9 +26,9 @@ AIKernel.NET v0.1.0 — First Stable Contract Baseline
• 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.1.0 — First Stable Contract Baseline
AIKernel.NET v0.1.1 — First Stable Contract Baseline

• AIKernel.NET contract package を最初の 0.1.0 baseline に昇格。
• AIKernel.NET contract package を最初の 0.1.1 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 を追加。
Expand Down
59 changes: 57 additions & 2 deletions README-jp.md
Original file line number Diff line number Diff line change
@@ -1,7 +1,7 @@
---
updated: 2026-06-07
published: 2026-05-16
version: "0.1.0"
version: "0.1.1"
edition: "Release"
status: "Released"
issuer: ai-kernel@aikernel.net
Expand All @@ -21,6 +21,57 @@ AIKernel は、機能そのものを定義しません。

AIKernel.NET は、LLM を API ではなく、能力(Capability)を持つプロセスとして扱う Contract-First な基盤です。

AIOS SDK において、AIKernel.NET は契約語彙のレイヤーです。安定した
interface、DTO、enum、境界型を定義し、他の AIKernel layer がそれらを
組み合わせて AI Operating System distribution を構築できるようにします。

AIKernel には、公式 AIOS ディストリビューションである **AIKernel.Monolith** もあります。
Monolith は 0.1.x 系 SDK の安定化後に、SDK の各 layer を統合する標準 AIOS
として開発が開始されています。

---

## 最初に読む場所

AIKernel が初めての場合、この repository は contract と vocabulary の入口として使い、
実際に動かしたい内容に応じて runtime repository へ進んでください。

| やりたいこと | 入口 |
| --- | --- |
| 安定した interface、DTO、enum を参照する | `AIKernel.Abstractions`, `AIKernel.Contracts`, `AIKernel.Dtos`, `AIKernel.Enums` |
| .NET host / service を構築する | [AIKernel.Core](https://github.com/AIKernel-NET/AIKernel.Core) |
| 公式 Provider / OS driver を追加する | [AIKernel.Providers](https://github.com/AIKernel-NET/AIKernel.Providers) |
| 物理実行エンジンを使う | [AIKernel.Control](https://github.com/AIKernel-NET/AIKernel.Control) |
| `aik` CLI や replay / inspection tool を使う | [AIKernel.Tools](https://github.com/AIKernel-NET/AIKernel.Tools) |
| browser / WebAssembly workload を扱う | [AIKernel.Wasm](https://github.com/AIKernel-NET/AIKernel.Wasm) |
| runnable example から学ぶ | [AIKernel.Demo](https://github.com/AIKernel-NET/AIKernel.Demo) |

contract package は同じ version family でまとめて導入してください。

```bash
dotnet add package AIKernel.Abstractions --version 0.1.1
dotnet add package AIKernel.Contracts --version 0.1.1
dotnet add package AIKernel.Dtos --version 0.1.1
dotnet add package AIKernel.Enums --version 0.1.1
```

異なる version family の AIKernel contract package を混在させないでください。

---

## 0.1.1 公開パッケージライン

0.0.x の design / implementation phase と 0.1.0 prototype validation baseline は完了しました。
現在の public package line は 0.1.1 です。

0.1.1 では、契約 package に加えて、実行可能な Core、外部 Capability module、
WASM runtime package、Tools、Demo / Control repository を公開 package family として
扱います。

過去の architecture document には元の 0.0.x / 0.1.0 front matter や prototype note が
残る場合があります。利用者向けの package installation example は、現行の 0.1.1
package を使用してください。

---

## NuGet パッケージ一覧
Expand Down Expand Up @@ -116,7 +167,7 @@ app.Run();
起動時には以下のシーケンスが実行されます。

```txt
[KERNEL] Initializing AIKernel.NET v0.1.0...
[KERNEL] Initializing AIKernel.NET v0.1.1...
[KERNEL] Loading ISignatureTrustStore... [OK]
[KERNEL] Mounting Vfs (Git: ./context)... [OK]
[KERNEL] Verifying System Prompt Signature... [VALID]
Expand Down Expand Up @@ -432,6 +483,10 @@ Enterprise 拡張には以下が含まれます。
- コントリビューションは PR ベースです。
- Contracts と PromptRules の互換性を明示してください。
- 破壊的変更には移行ガイドを添付してください。
- コントリビュータは
[AIKernel 開発ガイドライン](docs/guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md)
および [AIKernel Development Guidelines](docs/guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md)
に従ってください。

---

Expand Down
66 changes: 55 additions & 11 deletions README.md
Original file line number Diff line number Diff line change
@@ -1,9 +1,9 @@
---
updated: 2026-06-07
published: 2026-06-09
version: "0.1.0"
published: 2026-06-10
version: "0.1.1"
edition: "Release"
status: "Release Candidate"
status: "Release"
issuer: ai-kernel@aikernel.net
maintainer: "Takuya (AIKernel Project Maintainer)"
---
Expand All @@ -21,16 +21,53 @@ This repository manages the canonical contract set of AIKernel.

AIKernel.NET is a contract-first foundation that treats LLMs not as simple APIs, but as capability-bearing processes.

In the AIOS SDK, AIKernel.NET is the contract vocabulary layer. It defines the
stable interfaces, DTOs, enums, and boundary types that other AIKernel layers
compose into an AI Operating System distribution.

AIKernel also provides an official AIOS distribution, codenamed
**AIKernel.Monolith**. Monolith has begun development as the standard AIOS that
integrates the SDK layers into a unified reference system after the 0.1.x line
stabilizes.

---

## Start Here

If you are new to AIKernel, use this repository for contracts and vocabulary,
then move to the runtime repository that matches what you want to run.

| You want to... | Start with |
| --- | --- |
| Reference stable interfaces, DTOs, and enums | `AIKernel.Abstractions`, `AIKernel.Contracts`, `AIKernel.Dtos`, `AIKernel.Enums` |
| Build a .NET host or service | [AIKernel.Core](https://github.com/AIKernel-NET/AIKernel.Core) |
| Add official Providers or OS drivers | [AIKernel.Providers](https://github.com/AIKernel-NET/AIKernel.Providers) |
| Run physical execution engines | [AIKernel.Control](https://github.com/AIKernel-NET/AIKernel.Control) |
| Use the `aik` CLI or replay/inspection tools | [AIKernel.Tools](https://github.com/AIKernel-NET/AIKernel.Tools) |
| Run browser/WebAssembly workloads | [AIKernel.Wasm](https://github.com/AIKernel-NET/AIKernel.Wasm) |
| Learn through runnable examples | [AIKernel.Demo](https://github.com/AIKernel-NET/AIKernel.Demo) |

Install the contract packages together:

```bash
dotnet add package AIKernel.Abstractions --version 0.1.1
dotnet add package AIKernel.Contracts --version 0.1.1
dotnet add package AIKernel.Dtos --version 0.1.1
dotnet add package AIKernel.Enums --version 0.1.1
```

Do not mix AIKernel contract packages from different version families.

---

## 0.1.0 Prototype Validation Phase
## 0.1.1 Public Package Line

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.
The 0.0.x design-implementation phase and the 0.1.0 prototype validation
baseline are complete. The current public package line is 0.1.1.

This phase validates the contract packages together with executable Core,
external Capability modules, and demo/control repositories:
The 0.1.1 line publishes the contract packages together with executable Core,
external Capability modules, WASM runtime packages, tools, and demo/control
repositories:

- `AIKernel.NET` - MIT contract packages: interfaces, DTOs, and enums.
- `AIKernel.Core` - Apache-2.0 runtime, monads, DSL, Kernel, Hosting, and
Expand All @@ -41,9 +78,13 @@ external Capability modules, and demo/control repositories:
- `AIKernel.Tools` - external Capability modules and developer tools.
- `AIKernel.Control` - control-plane execution engines for CPU, GPU, emulator,
Bonsai mapping, and diagnostics.
- `AIKernel.Providers` - official extension Provider and standard OS driver
packages.
- `AIKernel.Wasm` - browser/WebAssembly runtime and WebGPU provider packages.

Historical architecture documents may retain their original 0.0.x front matter
and changelog entries. The current public release line is 0.1.0.
and 0.1.0 prototype notes. User-facing package installation examples should use
the current 0.1.1 packages.

Release notes:

Expand Down Expand Up @@ -142,7 +183,7 @@ app.Run();
### Target Experience / Boot Log Example

```txt
[KERNEL] Initializing AIKernel.NET v0.1.0...
[KERNEL] Initializing AIKernel.NET v0.1.1...
[KERNEL] Loading ISignatureTrustStore... [OK]
[KERNEL] Mounting Vfs (Git: ./context)... [OK]
[KERNEL] Verifying System Prompt Signature... [VALID]
Expand Down Expand Up @@ -458,6 +499,9 @@ Enterprise extensions may include:
- Contributions are PR-based.
- Compatibility for Contracts and PromptRules must be explicit.
- Breaking changes must include migration guides.
- Contributors must follow the full development discipline in
[AIKernel Development Guidelines](docs/guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md)
and [AIKernel 開発ガイドライン](docs/guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md).

---

Expand Down
18 changes: 12 additions & 6 deletions RELEASE_NOTES-ja.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,18 +2,24 @@

[English](RELEASE_NOTES.md)

## 0.1.0
## 0.1.1

> [EN] Crossing the 0.1.0 event horizon: the semantic runtime becomes observable, deterministic, and contract-led.
>
> [JA] 0.1.0 の事象の地平を越える──意味的ランタイムは可観測・決定論・契約駆動へと収束する。
**June 10th, 2026 - Aligning the Semantic OS boundary.**
**2026年6月10日--Semantic OS の境界を整列する。**

AIKernel.NET 0.1.0 は、Semantic Runtime の Phase-1 contract baseline を完了します。
Aligning the Semantic OS boundary: abstractions, contracts, and identifiers
converge into the unified 0.1.1 surface. Semantic OS の境界整列--抽象・契約・
識別子が 0.1.1 の統一面へ収束する。

AIKernel.NET 0.1.1 は、Semantic OS package family の同期された契約境界を
確立します。

- 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 として名前を持ちます。
この release は 0.1.1 の semantic visibility boundary を同期します。決定論性、
契約境界、Semantic State、可観測性、Governed Circuit が ecosystem 全体で
stable public concept として名前を持ちます。
19 changes: 11 additions & 8 deletions RELEASE_NOTES.md
Original file line number Diff line number Diff line change
Expand Up @@ -2,14 +2,17 @@

[日本語](RELEASE_NOTES-ja.md)

## 0.1.0
## 0.1.1

> [EN] Crossing the 0.1.0 event horizon: the semantic runtime becomes observable, deterministic, and contract-led.
>
> [JA] 0.1.0 の事象の地平を越える──意味的ランタイムは可観測・決定論・契約駆動へと収束する。
**June 10th, 2026 - Aligning the Semantic OS boundary.**
**2026年6月10日--Semantic OS の境界を整列する。**

AIKernel.NET 0.1.0 completes the Phase-1 contract baseline for the semantic
runtime.
Aligning the Semantic OS boundary: abstractions, contracts, and identifiers
converge into the unified 0.1.1 surface. Semantic OS の境界整列--抽象・契約・
識別子が 0.1.1 の統一面へ収束する。

AIKernel.NET 0.1.1 completes the synchronized contract boundary for the
Semantic OS package family.

- Freeze the public contract boundary for Abstractions, DTOs, Enums, and
contract-only surfaces.
Expand All @@ -26,6 +29,6 @@ runtime.
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:
This release marks the synchronized 0.1.1 boundary for semantic visibility:
determinism, contract boundaries, semantic state, observability, and governed
circuits are now named as stable public concepts.
circuits are named as stable public concepts across the ecosystem.
11 changes: 11 additions & 0 deletions docs/CONTRIBUTING-jp.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,15 @@ signature: ""
## Introduction
AIKernel.NET は **Contract-Driven AI Runtime** であり、プロダクション品質の AI OS を目指します。このリポジトリは **.NET 10 / C# 14** を対象とします。本ガイドは、リポジトリ構造、PR ルール、CI 要件、コントリビューションのベストプラクティスを示します。

コントリビュータ向けの正式な開発規律は
[`guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md`](guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md)
および
[`guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md`](guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md)
に定義します。この詳細ガイドラインは、Interface Led Architecture、Provider-Observer-Operator
の責務境界、DAG 実行、fail-closed monad、バージョニング、テスト、ドキュメント、
ガバナンスをレビューする際の優先規約です。本 CONTRIBUTING は短い運用入口であり、
アーキテクチャや実装判断では詳細ガイドラインを優先してください。

---

## Environment
Expand Down Expand Up @@ -99,6 +108,8 @@ CI は build と test を実行し、ベースライン品質を確認します
- Contract/interface/DTO 変更に対して Issue がある
- 破壊的変更に `[Breaking]` が付いている
- Public API の XML ドキュメントがある
- `guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md` または
`guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md` への適合を確認している
- CI が成功している
- AI 利用時はその旨を明示し、人手検証が完了している

Expand Down
12 changes: 12 additions & 0 deletions docs/CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,16 @@ signature: ""
## Introduction
AIKernel.NET is a **Contract-Driven AI Runtime** and aims to be a production-grade AI OS. This repository targets **.NET 10 / C# 14**. This CONTRIBUTING guide explains repository structure, PR rules, CI expectations, and best practices for contributors.

The canonical contributor-facing development discipline is defined in
[`guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md`](guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md)
and
[`guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md`](guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md).
That guideline is normative for Interface Led Architecture, Provider-Observer-Operator
responsibility boundaries, DAG execution, fail-closed monads, versioning, testing,
documentation, and governance. This CONTRIBUTING guide is the short operational
entry point; the detailed guideline takes precedence when reviewing architecture
or implementation choices.

---

## Environment
Expand Down Expand Up @@ -99,6 +109,8 @@ CI runs build and tests to ensure baseline quality.
- Create Issues for contract/interface/DTO changes
- Mark breaking changes with `[Breaking]`
- Provide XML docs for public APIs
- Confirm compliance with `guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES.md`
or `guidelines/AIKERNEL_DEVELOPMENT_GUIDELINES-jp.md`
- Ensure CI passes
- If AI was used to generate content, note it and ensure human validation

Expand Down
Original file line number Diff line number Diff line change
Expand Up @@ -17,7 +17,6 @@ tags:
---

英語版: [IStructurePlanner](../pipeline/IStructurePlanner.md)
英語版: [IStructurePlanner](architecture/interfaces/pipeline/IStructurePlanner.md)

# IStructurePlanner

Expand Down
Loading