Skip to content

Commit 9ba2005

Browse files
egumaruegumaru
authored
AIKernel.NET v0.0.2 — Interface Rectification & Contract Stabilization 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.** **名前を正し、境界を分け、契約を安定させる。**
1 parent 9cbc221 commit 9ba2005

121 files changed

Lines changed: 4810 additions & 690 deletions

File tree

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎Directory.Build.props‎

Lines changed: 38 additions & 56 deletions
Original file line numberDiff line numberDiff line change
@@ -1,61 +1,43 @@
11
<Project>
22
<PropertyGroup>
3-
<Version>0.0.1</Version>
4-
<AssemblyVersion>0.0.1.0</AssemblyVersion>
5-
<FileVersion>0.0.1.0</FileVersion>
6-
<InformationalVersion>0.0.1.0</InformationalVersion>
3+
<Version>0.0.2</Version>
4+
<AssemblyVersion>0.0.2.0</AssemblyVersion>
5+
<FileVersion>0.0.2.0</FileVersion>
6+
<InformationalVersion>0.0.2.0</InformationalVersion>
7+
<Authors>Takuya Sogawa</Authors>
8+
<Company>AIKernel-NET</Company>
9+
<PackageLicenseExpression>MIT</PackageLicenseExpression>
10+
<PackageProjectUrl>https://www.nuget.org/profiles/AIKernel-NET</PackageProjectUrl>
11+
<RepositoryUrl>https://github.com/AIKernel-NET/AIKernel.NET</RepositoryUrl>
12+
<Copyright>Copyright © 2026 Takuya Sogawa of AIKernel-NET</Copyright>
713
<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>
8-
<PackageReleaseNotes>
9-
AIKernel.NET v0.0.1 — Release Notes (2026/05/06)
10-
May the 6th ──
11-
The day the Kernel was fixed.
12-
5月6日 — カーネルが構造的に修復された日
13-
AIKernel.NET v0.0.1 は、AIKernel アーキテクチャにおける
14-
最初の構造的安定点（Structural Stability Point / Canonical Source）確立するリリースです。
15-
16-
This release defines the **minimal and deterministic contract**
17-
upon which all future implementations will be built.
18-
19-
このバージョンでは、抽象レイヤに混入していたアプリケーション層の概念を排除し、
20-
AIKernel を「AI アプリケーションの OS」として成立させるための
21-
最小かつ決定論的な構成へと再整理しました。
22-
23-
AIKernel.NET Release Notes - Ver.0.0.1
24-
Overview
25-
AIKernel.NET は、AI の推論（Reasoning）・素材（Material）・生成表現（Expression）を独立したシステムオブジェクトとして統治する Semantic Context OS です。
26-
.NET の強力な型システムと依存性注入（DI）を基盤に、確率的に揺らぐ AI の推論プロセスに対して、決定論的な「実行の枠組み」と「ガバナンス」を提供します。
27-
28-
May the 4th ──
29-
30-
The Force drifts in probability.
31-
The Kernel defines the context in which outcomes become inevitable.
32-
33-
Force（力）は確率の中で揺らぐ。
34-
Kernel（核）は、必然を成立させる「文脈」を定義する。
35-
36-
v0.0.0.0 — The Sovereign of Context.
37-
38-
この v0.0.0.0 は、AIKernel.NET の「実装に先立つ設計の固定点（Fixed Point）」として位置づけられます。
39-
40-
公開メッセージ
41-
2026年5月4日。
42-
5月1日の「メーデー」に掲げた AI Operating System (AIOS) のビジョンは、本日、具体的な「統治の規律」へと進化しました。
43-
44-
その進化を支えるのは、AI の確率性を“文脈の決定論”で包摂するという思想です。
45-
46-
AI という強大な Force（推論能力）は、本質的に不確実であり、確率の海を漂います。既存のライブラリがその「出力」の便利さを追う一方で、AIKernel.NET はその「文脈（Context）」の支配に執着します。
47-
48-
本リリース（v0.0.0.0）では、AIKernel.NET の核心を成す 6 つのコア・スペック を公開・刷新しました。
49-
50-
論理的整合性の固定: LockedProviderInfo による、リプレイ時の決定論的再現性の保証。
51-
52-
ガバナンスの非推論化: LLM 自体に承認を委ねない、非推論的コードによる PDP（Policy Decision Point）の確立。
53-
54-
意味的正準化（Canonicalization）: 記述順序に依存しない ROM の正規化と、Git 差分レベルでの意味的同一性の担保。
55-
56-
これは単なるドキュメントの追加ではありません。確率の産物である AI を、エンタープライズ・グレードの「信頼できるコンポーネント」へと変貌させるための、物理的なインターフェース群（Interface/DTO Contracts）の定義です。
57-
58-
AI に Force を持たせるだけの時代は終わりました。
59-
これからは、Kernel がその Force が顕現する「文脈」を支配し、結果を必然へと変える時代です。</PackageReleaseNotes>
14+
<PackageReleaseNotes>
15+
AIKernel.NET v0.0.x — Interface Rectification Release
16+
17+
May 9th —
18+
The day the Kernel received its proper names and boundaries.
19+
5月9日 — Kernel に正しい名前と境界を与える日。
20+
21+
This release is a structural refinement of the AIKernel.NET abstract contract layer.
22+
23+
Key changes:
24+
- Normalized .NET naming conventions for acronym-based identifiers.
25+
- Renamed AIKernel.VFS to AIKernel.Vfs.
26+
- Updated namespaces, project references, documentation, and package metadata.
27+
- Renamed IROMCanonicalizer to IRomCanonicalizer.
28+
- Refined interface boundaries.
29+
- Added migration guidance.
30+
31+
Verification:
32+
- Build succeeded with 0 warnings and 0 errors.
33+
- Abstractions tests succeeded: 29 tests passed.
34+
35+
This release changes no runtime behavior.
36+
It corrects the language and boundaries of the architecture before implementation proceeds further.
37+
38+
名前は境界を定義する。
39+
境界は契約を定義する。
40+
契約は実行を定義する。
41+
</PackageReleaseNotes>
6042
</PropertyGroup>
6143
</Project>

‎README-jp.md‎

Lines changed: 28 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ AIKernel.NET は複数の独立した抽象レイヤーで構成されていま
2424
| データモデル | `AIKernel.Dtos` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Dtos.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Dtos/) |
2525
| 契約 | `AIKernel.Contracts` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Contracts.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Contracts/) |
2626
| 抽象レイヤー | `AIKernel.Abstractions` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Abstractions.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Abstractions/) |
27-
| 仮想ファイルシステム | `AIKernel.VFS` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.VFS.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.VFS/) |
27+
| 仮想ファイルシステム | `AIKernel.Vfs` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Vfs.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Vfs/) |
2828

2929
---
3030

@@ -77,7 +77,7 @@ app.Run();
7777
```txt
7878
[KERNEL] Initializing AIKernel.NET v0.1.0...
7979
[KERNEL] Loading ISignatureTrustStore... [OK]
80-
[KERNEL] Mounting VFS (Git: ./context)... [OK]
80+
[KERNEL] Mounting Vfs (Git: ./context)... [OK]
8181
[KERNEL] Verifying System Prompt Signature... [VALID]
8282
[KERNEL] Routing to Provider: [[provider.reasoning.high]]... [OK]
8383
@@ -221,7 +221,23 @@ AIKernel は複数のリポジトリで構成されます。
221221
222222
---
223223

224-
### 4.3 Attention 汚染防止
224+
### 4.3 Phase 1 Context Build としての Query Processing
225+
226+
Query の補間・分解・意味空間化・Query routing は、Phase 1 の前処理責務です。
227+
228+
AIKernel はこれらを Core の「知識検索」として扱いません。RAG は素材を供給しうる Provider または Pipeline 戦略であり、Core は ROM、CacheDB、Governance が関与する前に query intent を整えるための抽象契約を保持します。
229+
230+
Core 抽象:
231+
232+
- `IQueryAugmentor`
233+
- `IQueryDecomposer`
234+
- `IEmbeddingProvider`
235+
- `IQueryRouter`
236+
- `QueryPart`
237+
238+
---
239+
240+
### 4.4 Attention 汚染防止
225241

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

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

233-
### 4.4 LLM は提案者、PDP が決定者
249+
### 4.5 LLM は提案者、PDP が決定者
234250

235251
LLM は suggestor です。
236252
最終判断は Policy Decision Point（PDP）が行います。
237253

238254
---
239255

240-
### 4.5 署名統治と Fail-Closed
256+
### 4.6 署名統治と Fail-Closed
241257

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

@@ -259,7 +275,7 @@ IPromptRepository
259275

260276
---
261277

262-
### 4.6 関係指向データ構造（ROM）
278+
### 4.7 関係指向データ構造（ROM）
263279

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

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

276292
---
277293

278-
### 4.7 思考の Git 管理（ConversationStore）
294+
### 4.8 思考の Git 管理（ConversationStore）
279295

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

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

313329
- chat
314330
- embedding
331+
- query-augmentation
332+
- query-decomposition
333+
- query-routing
315334
- multimodal
316335
- reasoning
317336
- vector-search
@@ -321,11 +340,11 @@ Provider は SDK により拡張可能です。
321340

322341
---
323342

324-
## 7. VFS Provider
343+
## 7. Vfs Provider
325344

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

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

330349
---
331350

‎README.md‎

Lines changed: 28 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ Each layer is published as a separate NuGet package.
2424
| Data Models | `AIKernel.Dtos` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Dtos.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Dtos/) |
2525
| Contracts | `AIKernel.Contracts` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Contracts.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Contracts/) |
2626
| Abstractions | `AIKernel.Abstractions` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Abstractions.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Abstractions/) |
27-
| Virtual File System | `AIKernel.VFS` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.VFS.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.VFS/) |
27+
| Virtual File System | `AIKernel.Vfs` | ![NuGet](https://img.shields.io/nuget/v/AIKernel.Vfs.svg) | [NuGet](https://www.nuget.org/packages/AIKernel.Vfs/) |
2828

2929
---
3030

@@ -75,7 +75,7 @@ app.Run();
7575
```txt
7676
[KERNEL] Initializing AIKernel.NET v0.1.0...
7777
[KERNEL] Loading ISignatureTrustStore... [OK]
78-
[KERNEL] Mounting VFS (Git: ./context)... [OK]
78+
[KERNEL] Mounting Vfs (Git: ./context)... [OK]
7979
[KERNEL] Verifying System Prompt Signature... [VALID]
8080
[KERNEL] Routing to Provider: [[provider.reasoning.high]]... [OK]
8181
@@ -219,7 +219,23 @@ Prompts are the final formatting step.
219219
220220
---
221221

222-
### 4.3 Attention Pollution Prevention
222+
### 4.3 Query Processing as Phase 1 Context Build
223+
224+
Query augmentation, decomposition, semantic conversion, and query routing are Phase 1 preprocessing responsibilities.
225+
226+
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.
227+
228+
Core abstractions:
229+
230+
- `IQueryAugmentor`
231+
- `IQueryDecomposer`
232+
- `IEmbeddingProvider`
233+
- `IQueryRouter`
234+
- `QueryPart`
235+
236+
---
237+
238+
### 4.4 Attention Pollution Prevention
223239

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

@@ -228,14 +244,14 @@ Mixing examples, RAG material, and history can break inference.
228244
229245
---
230246

231-
### 4.4 LLM as Suggestor, PDP as Decision-Maker
247+
### 4.5 LLM as Suggestor, PDP as Decision-Maker
232248

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

236252
---
237253

238-
### 4.5 Signed Prompt Governance and Fail-Closed
254+
### 4.6 Signed Prompt Governance and Fail-Closed
239255

240256
Prompts carry authority equivalent to code execution.
241257

@@ -257,7 +273,7 @@ Detailed spec:
257273

258274
---
259275

260-
### 4.6 Relation-Oriented Data Structure (ROM)
276+
### 4.7 Relation-Oriented Data Structure (ROM)
261277

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

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

274290
---
275291

276-
### 4.7 Git-Managed Reasoning (ConversationStore)
292+
### 4.8 Git-Managed Reasoning (ConversationStore)
277293

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

@@ -310,6 +326,9 @@ Examples:
310326

311327
- chat
312328
- embedding
329+
- query-augmentation
330+
- query-decomposition
331+
- query-routing
313332
- multimodal
314333
- reasoning
315334
- vector-search
@@ -319,11 +338,11 @@ Providers are extensible through SDKs.
319338

320339
---
321340

322-
## 7. VFS Providers
341+
## 7. Vfs Providers
323342

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

326-
They are classified as VFS Providers, not Model Providers.
345+
They are classified as Vfs Providers, not Model Providers.
327346

328347
---
329348

‎docs/architecture/13.CAPABILITY_DEFINITION_SCHEMA-jp.md‎

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ version: 0.0.1
33
issuer: ai-kernel@tkysoftware.xsrv.jp
44
title: "AIKernel Architecture — Capability Definition Schema"
55
created: 2026-05-04
6-
updated: 2026-05-06
6+
updated: 2026-05-09
77
tags:
88
- aikernel
99
- architecture
@@ -54,6 +54,10 @@ Provider 実装は `IKernelHost` 登録時に次を公開する。
5454
- Static Capability Profile: モデル固有の準不変能力値
5555
- `IDynamicCapacityProvider`: 実行時負荷・予算でベクトル補正する動的成分
5656
- `IExecutionConstraints`: 最大トークン、対応 MIME などの技術制約
57+
- Query Processing Capabilities: `SupportsQueryAugmentation`、`SupportsQueryDecomposition`、`SupportsQueryRouting`、`MaxQueryParts`、対応 query operation。
58+
- Embedding Metadata: `SupportsEmbedding`、`EmbeddingDimensions`、対応 embedding model identifier。
59+
60+
Query-processing 宣言は routing metadata である。RAG を Core に移動するものではなく、retrieval、indexing、knowledge-store mutation の所有を意味してはならない。
5761

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

7378
# 変更履歴
7479
- v0.0.0 / v0.0.0.0: 初期ドラフト
7580
- v0.0.1 (2026-05-06): ドキュメント規約に基づくバージョン更新
81+
- v0.0.1 (2026-05-09): query-processing と embedding capability declaration metadata を追加

‎docs/architecture/13.CAPABILITY_DEFINITION_SCHEMA.md‎

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ version: 0.0.1
33
issuer: ai-kernel@tkysoftware.xsrv.jp
44
title: "AIKernel Architecture — Capability Definition Schema"
55
created: 2026-05-04
6-
updated: 2026-05-06
6+
updated: 2026-05-09
77
tags:
88
- aikernel
99
- architecture
@@ -54,6 +54,10 @@ When a provider is registered via `IKernelHost`, it must publish:
5454
- Static Capability Profile: semi-stable model-intrinsic capability values
5555
- `IDynamicCapacityProvider`: runtime correction component for load/budget conditions
5656
- `IExecutionConstraints`: hard limits (max tokens, supported MIME types, etc.)
57+
- Query Processing Capabilities: `SupportsQueryAugmentation`, `SupportsQueryDecomposition`, `SupportsQueryRouting`, `MaxQueryParts`, and supported query operations.
58+
- Embedding Metadata: `SupportsEmbedding`, `EmbeddingDimensions`, and supported embedding model identifiers.
59+
60+
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.
5761

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

7378
# Changelog
7479
- v0.0.0 / v0.0.0.0: Initial draft
7580
- v0.0.1 (2026-05-06): Version upgrade aligned with documentation guidelines
81+
- v0.0.1 (2026-05-09): Added query-processing and embedding capability declaration metadata

‎docs/architecture/16.SEMANTIC_CONTEXT_OS_VISION-jp.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ AIKernel.NET の最終アーキテクチャ目標は **Semantic Context OS** で
3838
OS としての信頼性と決定論を担保するため、以下の物理的・論理的制約を課す。
3939

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

4444
```csharp

‎docs/architecture/16.SEMANTIC_CONTEXT_OS_VISION.md‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -38,7 +38,7 @@ This OS governs AI reasoning, material evidence, and generated expression as ind
3838
To guarantee OS-level reliability and determinism, the following physical and logical constraints are mandatory.
3939

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

4444
```csharp

0 commit comments

Comments
 (0)