Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
32 commits
Select commit Hold shift + click to select a range
8053d55
退避したソースコードを復元
egumaru May 1, 2026
5a07ed4
DI関連Interface実装
egumaru May 1, 2026
1224c26
モデル選択Interfaceを定義
egumaru May 2, 2026
4d42855
ガードレールを定義
egumaru May 2, 2026
4bd57c1
NPUによる動的基数対応
egumaru May 2, 2026
298455d
docs: align architecture docs, fix links, and sync JP/EN updates
egumaru May 3, 2026
0355035
Interfaceの見直し反映
egumaru May 3, 2026
d30a894
docs: add specs suite and align README/design docs with ROM + fail-cl…
egumaru May 3, 2026
a526b00
docs(readme): add target boot log example and align JP/EN overview wi…
egumaru May 3, 2026
42b2ba8
spec(abstractions,tests): align EPS/SGS/RCS contracts and add fail-cl…
egumaru May 4, 2026
3d8557c
refactor(abstractions): enforce architectural purity and remove cross…
egumaru May 4, 2026
9b29f07
docs: Semantic Context OS ビジョンの策定と推論純度規定の追加
egumaru May 4, 2026
e68072f
docs(architecture,specs): sync index references and align governance/…
egumaru May 4, 2026
61b8666
refactor(architecture): Abstractionsをinterface専用化しDTO/Enumを専用層へ分離
egumaru May 4, 2026
bd49839
refactor: 1型1ファイル原則に沿って契約型を全面分割・再配置
egumaru May 4, 2026
86dbf45
`refactor: VFS具象型をDTO/Enumへ統一し依存規約・nullable整合を修正
egumaru May 4, 2026
d7bc5af
package公開にむけて、プロジェクト設定を更新とREADMEの修正
egumaru May 4, 2026
6a4c780
refactor: enforce 'One Class Per File' and restructure namespaces
egumaru May 6, 2026
f5343ea
#IKernelReplayer: リプレイ範囲の説明をドキュメントに追加
egumaru May 6, 2026
de6980c
README刷新: 設計思想・ホスティング例・API例を追加
egumaru May 6, 2026
322853a
リリースノート刷新とバージョン管理の一元化
egumaru May 6, 2026
0534757
マージ
egumaru May 6, 2026
9c73358
README大幅リライト: 構成整理・内容強化・利用例追加
egumaru May 8, 2026
565c197
csprojメタデータをDirectory.Build.propsに集約し共通化
egumaru May 8, 2026
308a309
VFS: 能力別インターフェース分離と契約ドキュメント刷新
egumaru May 8, 2026
33ef078
VFS命名規約とcapability contract移行手順を追加
egumaru May 8, 2026
4fc02a9
VFS表記をVfsへ統一しドキュメントの用語を整理
egumaru May 8, 2026
44936a0
VFS命名をVfsへ統一・関連記述を全面リネーム
egumaru May 8, 2026
ae7673d
インターフェース命名統一とCapability分割の大規模整理
egumaru May 9, 2026
21bcff2
capability-based contractを主要インターフェースに拡張
egumaru May 9, 2026
cb283d5
契約分割・純粋化・ケイパビリティ指向リファクタ
egumaru May 9, 2026
928aa72
Phase 1 Query Processing抽象・Provider拡張を追加
egumaru May 9, 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
94 changes: 38 additions & 56 deletions Directory.Build.props
Original file line number Diff line number Diff line change
@@ -1,61 +1,43 @@
<Project>
<PropertyGroup>
<Version>0.0.1</Version>
<AssemblyVersion>0.0.1.0</AssemblyVersion>
<FileVersion>0.0.1.0</FileVersion>
<InformationalVersion>0.0.1.0</InformationalVersion>
<Version>0.0.2</Version>
<AssemblyVersion>0.0.2.0</AssemblyVersion>
<FileVersion>0.0.2.0</FileVersion>
<InformationalVersion>0.0.2.0</InformationalVersion>
<Authors>Takuya Sogawa</Authors>
<Company>AIKernel-NET</Company>
<PackageLicenseExpression>MIT</PackageLicenseExpression>
<PackageProjectUrl>https://www.nuget.org/profiles/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>
<PackageReleaseNotes>
AIKernel.NET v0.0.1 — Release Notes (2026/05/06)
May the 6th ──
The day the Kernel was fixed.
5月6日 — カーネルが構造的に修復された日
AIKernel.NET v0.0.1 は、AIKernel アーキテクチャにおける
最初の構造的安定点(Structural Stability Point / Canonical Source)確立するリリースです。

This release defines the **minimal and deterministic contract**
upon which all future implementations will be built.

このバージョンでは、抽象レイヤに混入していたアプリケーション層の概念を排除し、
AIKernel を「AI アプリケーションの OS」として成立させるための
最小かつ決定論的な構成へと再整理しました。

AIKernel.NET Release Notes - Ver.0.0.1
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)」の支配に執着します。

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

論理的整合性の固定: LockedProviderInfo による、リプレイ時の決定論的再現性の保証。

ガバナンスの非推論化: LLM 自体に承認を委ねない、非推論的コードによる PDP(Policy Decision Point)の確立。

意味的正準化(Canonicalization): 記述順序に依存しない ROM の正規化と、Git 差分レベルでの意味的同一性の担保。

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

AI に Force を持たせるだけの時代は終わりました。
これからは、Kernel がその Force が顕現する「文脈」を支配し、結果を必然へと変える時代です。</PackageReleaseNotes>
<PackageReleaseNotes>
AIKernel.NET v0.0.x — Interface Rectification Release

May 9th —
The day the Kernel received its proper names and boundaries.
5月9日 — Kernel に正しい名前と境界を与える日。

This release is a structural refinement of the AIKernel.NET abstract contract layer.

Key changes:
- Normalized .NET naming conventions for acronym-based identifiers.
- Renamed AIKernel.VFS to AIKernel.Vfs.
- Updated namespaces, project references, documentation, and package metadata.
- Renamed IROMCanonicalizer to IRomCanonicalizer.
- Refined interface boundaries.
- Added migration guidance.

Verification:
- Build succeeded with 0 warnings and 0 errors.
- Abstractions tests succeeded: 29 tests passed.

This release changes no runtime behavior.
It corrects the language and boundaries of the architecture before implementation proceeds further.

名前は境界を定義する。
境界は契約を定義する。
契約は実行を定義する。
</PackageReleaseNotes>
</PropertyGroup>
</Project>
37 changes: 28 additions & 9 deletions README-jp.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ AIKernel.NET は複数の独立した抽象レイヤーで構成されていま
| データモデル | `AIKernel.Dtos` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Dtos.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Dtos/) |
| 契約 | `AIKernel.Contracts` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Contracts.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Contracts/) |
| 抽象レイヤー | `AIKernel.Abstractions` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Abstractions.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Abstractions/) |
| 仮想ファイルシステム | `AIKernel.VFS` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.VFS.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.VFS/) |
| 仮想ファイルシステム | `AIKernel.Vfs` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Vfs.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Vfs/) |

---

Expand Down Expand Up @@ -77,7 +77,7 @@ app.Run();
```txt
[KERNEL] Initializing AIKernel.NET v0.1.0...
[KERNEL] Loading ISignatureTrustStore... [OK]
[KERNEL] Mounting VFS (Git: ./context)... [OK]
[KERNEL] Mounting Vfs (Git: ./context)... [OK]
[KERNEL] Verifying System Prompt Signature... [VALID]
[KERNEL] Routing to Provider: [[provider.reasoning.high]]... [OK]

Expand Down Expand Up @@ -221,7 +221,23 @@ AIKernel は複数のリポジトリで構成されます。

---

### 4.3 Attention 汚染防止
### 4.3 Phase 1 Context Build としての Query Processing

Query の補間・分解・意味空間化・Query routing は、Phase 1 の前処理責務です。

AIKernel はこれらを Core の「知識検索」として扱いません。RAG は素材を供給しうる Provider または Pipeline 戦略であり、Core は ROM、CacheDB、Governance が関与する前に query intent を整えるための抽象契約を保持します。

Core 抽象:

- `IQueryAugmentor`
- `IQueryDecomposer`
- `IEmbeddingProvider`
- `IQueryRouter`
- `QueryPart`

---

### 4.4 Attention 汚染防止

例・RAG 素材・履歴を混ぜると、推論が壊れる可能性があります。

Expand All @@ -230,14 +246,14 @@ AIKernel は複数のリポジトリで構成されます。

---

### 4.4 LLM は提案者、PDP が決定者
### 4.5 LLM は提案者、PDP が決定者

LLM は suggestor です。
最終判断は Policy Decision Point(PDP)が行います。

---

### 4.5 署名統治と Fail-Closed
### 4.6 署名統治と Fail-Closed

プロンプトはコード実行と同等の権限を持ちます。

Expand All @@ -259,7 +275,7 @@ IPromptRepository

---

### 4.6 関係指向データ構造(ROM)
### 4.7 関係指向データ構造(ROM)

AIKernel は、知識を線形テキストではなく「関係性」の集合として扱います。

Expand All @@ -275,7 +291,7 @@ ROM により、人間が書いたメモはそのまま LLM が推論可能な

---

### 4.7 思考の Git 管理(ConversationStore)
### 4.8 思考の Git 管理(ConversationStore)

AI との対話は、線形ログではなく、木構造の Git コミットとして管理されます。

Expand Down Expand Up @@ -312,6 +328,9 @@ Provider はモデル名ではなく **Capability** を宣言します。

- chat
- embedding
- query-augmentation
- query-decomposition
- query-routing
- multimodal
- reasoning
- vector-search
Expand All @@ -321,11 +340,11 @@ Provider は SDK により拡張可能です。

---

## 7. VFS Provider
## 7. Vfs Provider

Git などのストレージシステムは、外部データソースとして扱います。

これらは Model Provider ではなく、VFS Provider として分類されます。
これらは Model Provider ではなく、Vfs Provider として分類されます。

---

Expand Down
37 changes: 28 additions & 9 deletions README.md
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@ Each layer is published as a separate NuGet package.
| Data Models | `AIKernel.Dtos` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Dtos.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Dtos/) |
| Contracts | `AIKernel.Contracts` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Contracts.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Contracts/) |
| Abstractions | `AIKernel.Abstractions` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Abstractions.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Abstractions/) |
| Virtual File System | `AIKernel.VFS` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.VFS.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.VFS/) |
| Virtual File System | `AIKernel.Vfs` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Vfs.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Vfs/) |

---

Expand Down Expand Up @@ -75,7 +75,7 @@ app.Run();
```txt
[KERNEL] Initializing AIKernel.NET v0.1.0...
[KERNEL] Loading ISignatureTrustStore... [OK]
[KERNEL] Mounting VFS (Git: ./context)... [OK]
[KERNEL] Mounting Vfs (Git: ./context)... [OK]
[KERNEL] Verifying System Prompt Signature... [VALID]
[KERNEL] Routing to Provider: [[provider.reasoning.high]]... [OK]

Expand Down Expand Up @@ -219,7 +219,23 @@ Prompts are the final formatting step.

---

### 4.3 Attention Pollution Prevention
### 4.3 Query Processing as Phase 1 Context Build

Query augmentation, decomposition, semantic conversion, and query routing are Phase 1 preprocessing responsibilities.

AIKernel treats these as context-build operations, not as Core knowledge retrieval. RAG remains a provider or pipeline strategy that can supply material, while Core keeps the abstract contracts for shaping query intent before ROM, CacheDB, and Governance participate.

Core abstractions:

- `IQueryAugmentor`
- `IQueryDecomposer`
- `IEmbeddingProvider`
- `IQueryRouter`
- `QueryPart`

---

### 4.4 Attention Pollution Prevention

Mixing examples, RAG material, and history can break inference.

Expand All @@ -228,14 +244,14 @@ Mixing examples, RAG material, and history can break inference.

---

### 4.4 LLM as Suggestor, PDP as Decision-Maker
### 4.5 LLM as Suggestor, PDP as Decision-Maker

The LLM is a suggestor.
The Policy Decision Point (PDP) makes final decisions.

---

### 4.5 Signed Prompt Governance and Fail-Closed
### 4.6 Signed Prompt Governance and Fail-Closed

Prompts carry authority equivalent to code execution.

Expand All @@ -257,7 +273,7 @@ Detailed spec:

---

### 4.6 Relation-Oriented Data Structure (ROM)
### 4.7 Relation-Oriented Data Structure (ROM)

AIKernel treats knowledge not as linear text, but as a set of relations.

Expand All @@ -273,7 +289,7 @@ With ROM, human-authored notes can be transformed directly into an LLM-reasonabl

---

### 4.7 Git-Managed Reasoning (ConversationStore)
### 4.8 Git-Managed Reasoning (ConversationStore)

AI conversations are managed not as linear logs, but as tree-structured Git commits.

Expand Down Expand Up @@ -310,6 +326,9 @@ Examples:

- chat
- embedding
- query-augmentation
- query-decomposition
- query-routing
- multimodal
- reasoning
- vector-search
Expand All @@ -319,11 +338,11 @@ Providers are extensible through SDKs.

---

## 7. VFS Providers
## 7. Vfs Providers

Git and other storage systems are treated as external data sources.

They are classified as VFS Providers, not Model Providers.
They are classified as Vfs Providers, not Model Providers.

---

Expand Down
8 changes: 7 additions & 1 deletion docs/architecture/13.CAPABILITY_DEFINITION_SCHEMA-jp.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ version: 0.0.1
issuer: ai-kernel@tkysoftware.xsrv.jp
title: "AIKernel Architecture — Capability Definition Schema"
created: 2026-05-04
updated: 2026-05-06
updated: 2026-05-09
tags:
- aikernel
- architecture
Expand Down Expand Up @@ -54,6 +54,10 @@ Provider 実装は `IKernelHost` 登録時に次を公開する。
- Static Capability Profile: モデル固有の準不変能力値
- `IDynamicCapacityProvider`: 実行時負荷・予算でベクトル補正する動的成分
- `IExecutionConstraints`: 最大トークン、対応 MIME などの技術制約
- Query Processing Capabilities: `SupportsQueryAugmentation`、`SupportsQueryDecomposition`、`SupportsQueryRouting`、`MaxQueryParts`、対応 query operation。
- Embedding Metadata: `SupportsEmbedding`、`EmbeddingDimensions`、対応 embedding model identifier。

Query-processing 宣言は routing metadata である。RAG を Core に移動するものではなく、retrieval、indexing、knowledge-store mutation の所有を意味してはならない。

## 5. Validation Rules (検証規則)
AIKernel は宣言値を検証し、次の条件で拒否または劣化扱いにする。
Expand All @@ -68,8 +72,10 @@ AIKernel は宣言値を検証し、次の条件で拒否または劣化扱い
- Schema Mismatch: 能力宣言スキーマが要求バージョン未満。
- Constraint Violation: Mandatory 軸閾値を満たす候補が存在しない。
- Low Trust Level: 能力証拠が非公式/無署名等で `TrustPolicy` 閾値未満。
- Query Capability Mismatch: Phase 1 に必要な query augmentation、decomposition、routing、embedding support を宣言した Provider が存在しない。
---

# 変更履歴
- v0.0.0 / v0.0.0.0: 初期ドラフト
- v0.0.1 (2026-05-06): ドキュメント規約に基づくバージョン更新
- v0.0.1 (2026-05-09): query-processing と embedding capability declaration metadata を追加
8 changes: 7 additions & 1 deletion docs/architecture/13.CAPABILITY_DEFINITION_SCHEMA.md
Original file line number Diff line number Diff line change
Expand Up @@ -3,7 +3,7 @@ version: 0.0.1
issuer: ai-kernel@tkysoftware.xsrv.jp
title: "AIKernel Architecture — Capability Definition Schema"
created: 2026-05-04
updated: 2026-05-06
updated: 2026-05-09
tags:
- aikernel
- architecture
Expand Down Expand Up @@ -54,6 +54,10 @@ When a provider is registered via `IKernelHost`, it must publish:
- Static Capability Profile: semi-stable model-intrinsic capability values
- `IDynamicCapacityProvider`: runtime correction component for load/budget conditions
- `IExecutionConstraints`: hard limits (max tokens, supported MIME types, etc.)
- Query Processing Capabilities: `SupportsQueryAugmentation`, `SupportsQueryDecomposition`, `SupportsQueryRouting`, `MaxQueryParts`, and supported query operations.
- Embedding Metadata: `SupportsEmbedding`, `EmbeddingDimensions`, and supported embedding model identifiers.

Query-processing declarations are routing metadata. They do not move RAG into Core and must not imply ownership of retrieval, indexing, or knowledge-store mutation.

## 5. Validation Rules
AIKernel validates declarations and rejects/degrades when:
Expand All @@ -68,8 +72,10 @@ AIKernel validates declarations and rejects/degrades when:
- Schema Mismatch: declared capability schema is older than required version.
- Constraint Violation: no candidate satisfies mandatory-axis thresholds.
- Low Trust Level: evidence sources are unofficial/unsigned and below `TrustPolicy` threshold.
- Query Capability Mismatch: no provider declares the required query augmentation, decomposition, routing, or embedding support for Phase 1.
---

# Changelog
- v0.0.0 / v0.0.0.0: Initial draft
- v0.0.1 (2026-05-06): Version upgrade aligned with documentation guidelines
- v0.0.1 (2026-05-09): Added query-processing and embedding capability declaration metadata
2 changes: 1 addition & 1 deletion docs/architecture/16.SEMANTIC_CONTEXT_OS_VISION-jp.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ AIKernel.NET の最終アーキテクチャ目標は **Semantic Context OS** で
OS としての信頼性と決定論を担保するため、以下の物理的・論理的制約を課す。

### 3.1 Required Interfaces(必須インターフェース)
- **SIR-001**: `ISemanticHasher` および `IROMCanonicalizer` を ROM Core の必須インターフェースとして採用する(MUST)。
- **SIR-001**: `ISemanticHasher` および `IRomCanonicalizer` を ROM Core の必須インターフェースとして採用する(MUST)。
- **SIR-002 Immutable Execution Constraints**: 実行制約 `IExecutionConstraints` は、実行中の動的改ざんを防止するため、`record` による不変型として仕様化する(MUST)。

```csharp
Expand Down
2 changes: 1 addition & 1 deletion docs/architecture/16.SEMANTIC_CONTEXT_OS_VISION.md
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ This OS governs AI reasoning, material evidence, and generated expression as ind
To guarantee OS-level reliability and determinism, the following physical and logical constraints are mandatory.

### 3.1 Required Interfaces
- **SIR-001**: `ISemanticHasher` and `IROMCanonicalizer` MUST be adopted as required interfaces in ROM Core.
- **SIR-001**: `ISemanticHasher` and `IRomCanonicalizer` MUST be adopted as required interfaces in ROM Core.
- **SIR-002 Immutable Execution Constraints**: `IExecutionConstraints` MUST be specified as an immutable `record` to prevent runtime tampering.

```csharp
Expand Down
Loading