Japanese version: Paper Implementation Status
AIKernel Paper Implementation Status
This document tracks how the DOI-backed paper series maps to the current package surface. It does not modify the Zenodo-managed papers under docs/papers.
Scope
AIKernel.NET is the contract package repository. The status below therefore distinguishes:
- Contracted: public interfaces, DTOs, or enums exist in
AIKernel.Abstractions,AIKernel.Contracts,AIKernel.Dtos, orAIKernel.Enums. - Runtime-owned elsewhere: behavior belongs to
AIKernel.Core, provider packages,AIKernel.RH,AIKernel.Tools, or host applications. - Partial: some contract surface exists, but the full paper model is not yet represented as public contracts.
Status Matrix
| Paper | Topic | AIKernel.NET status | Runtime / next implementation owner |
|---|---|---|---|
| 01 | ROM Format & Knowledge Snapshot | Contracted through ROM DTOs and AIKernel.Abstractions.Rom. |
Canonicalization, storage, signing, and validation behavior belongs to Core/runtime packages. |
| 02 | VFS Architecture & Semantic Storage | Contracted through the public AIKernel.Vfs namespace inside AIKernel.Abstractions; separate AIKernel.Vfs package/project is removed. |
Concrete VFS providers belong to Core/provider packages. |
| 03 | Pre-Inference Admissibility Governance | Partially contracted through PDP, Guard, prompt validation, policy evaluation, fail-closed DTOs/enums, critical-operation and computational-complexity gate interfaces, and admissibility replay/profile/budget/result vocabulary (AdmissibilityGateKind, AdmissibilityDecisionKind, TaskCostClass, CriticalOperationRequirement, AdmissibilityReplayRecord). |
Complete admission orchestration and deterministic gate implementation belong to Core/runtime packages. |
| 04 | Trajectory Governance Model | Partially contracted through attention observer/guard, lifecycle, governance stats, failure enums, DynamicSLM trajectory metadata, ReplayLog-compatible thought-artifact records, and trajectory governance DTOs for semantic ellipsoids, convergence/anomaly score reports, and candidate action evaluations. | Full semantic-trajectory runtime, scoring algorithms, and PDP orchestration are not implemented in AIKernel.NET; Core/runtime packages own those behaviors. |
| 05 | Async Result Pipeline | Intentionally not exposed as Result<T> in AIKernel.NET. Contract DTOs carry boundary results only. |
AIKernel.Common / Core owns Result, Option, Either, ResultStep, LINQ composition, and exception capture behavior. |
| 06 | Semantic Compilation Architecture | Partially contracted through context, routing, DSL, pipeline, replay-related DTOs/interfaces, SemanticIrSlot, and Semantic Compilation DTOs for semantic states, IR elements, governed circuits, prototype spaces, distance reports, deterministic synthesis, and transitions. |
Semantic compiler runtime, prototype-space search, semantic distance evaluation, and graph execution belong to Core/runtime packages. |
| 07 | Chat-Turn HashChain Governance | Contracted through specific ChatChain governance interfaces and replay/hash DTOs. | Canonicalization, hashing, signature verification, quarantine, and replay behavior belong to Core/runtime packages. |
| 08 | Operator Architecture | Partially contracted through external Capability module descriptors/invocation envelopes and registry/invoker interfaces for CLI, managed assembly, native ABI, DSL ROM, and remote endpoint boundaries. | Lean/C/C# operator export, sandbox execution, assembly loading, native invocation, and provider runtime belong to AIKernel.RH, Core/Tools, and host/native packages. |
| 09 | Hash-Anchored Trust Layer (HATL) | Contract foundation added through HATL ledger entries, anchor documents, Digital Deeds, verification results, and external cryptographic operator interfaces. | Cryptographic runtime, ratchets, Merkle proof construction, public-anchor publication, and secret handling belong to AIKernel.RH-backed operators or other audited Core/HATL modules. |
| 10 | Semantic DSL Compiler | Contracted through DSL IR, DSL ROM, capability registry, pipeline compiler, kernel pipeline, deterministic clock, and History ROM contracts. | JSON parsing, admissibility checking, ResultStep execution, ReplayLog hashing, suspend/resume runtime, and DSL ROM execution belong to Core/runtime packages. |
| 11 | DynamicSLM | Contracted for v0.0.5 through Model ABI, capability graph, compatibility, lineage, payload loading, scheduling, gap detection, graph evolution, distillation planning, offload job scheduling, fallback metadata, pipeline status DTOs/enums, and SeedSLM discipline/delegation/thought-artifact/memory-placement DTOs. | Model loading, accelerator placement, SeedSLM discipline enforcement, thought-artifact persistence, delegation execution, Teacher fallback execution, background distillation, artifact publication, and self-improvement runtime belong to Core/provider packages. |
| 12 | Canonical Trajectory Governance (CTG) | Contracted for v0.1.1.1 through CTG council/gate/trajectory/ROM governance interfaces, CouncilKind, CouncilVoteValue, CouncilDecisionKind, discrete gate decision enums, CanonReference, RejectReasonInfo, CouncilVote, CouncilDecision, DecisionGateResult, StepGovernanceTrace, GovernanceTrace, and ROM governance carriers. The implementation is more detailed than the paper sketches but preserves the paper invariants. |
Finite vote-table execution, Ethos-denial short-circuiting, CTG-ROM loading, persona profile resolution, PPM research integration, HATL-backed state/replay protection, and cross-runtime replay validation belong to runtime packages and research/runtime repositories. |
Current Completion Summary
- Phase-1 contract foundations are mostly present as interface/DTO boundaries.
- Runtime behavior is deliberately outside this repository.
- Papers 03, 06, 10, and 11 now expose shared contract vocabulary for admission evidence, Semantic IR/state/circuit/prototype/distance/synthesis/transition descriptors, DSL compilation, and DynamicSLM/SeedSLM discipline without moving runtime behavior into AIKernel.NET.
- Paper 09 (HATL) now has a contract foundation, but the cryptographic runtime remains external.
- Paper 12 (CTG) now has a contract foundation for three-council governance, deterministic gate carriers, CTG-ROM references, and replayable governance traces. C# enum numeric values are serialization discriminants, not the paper's mathematical vote weights.
- Paper 05 remains intentionally delegated to
AIKernel.Commonand Core rather than exposed through contract packages.
Release Notes
- v0.0.5 (2026-06-05): Added paper-to-contract implementation status for the current AIKernel.NET package surface.
- v0.1.1.1 (2026-06-14): Added Paper 12 CTG mapping and vote-weight alignment note.
Source:
architecture/PAPER_IMPLEMENTATION_STATUS.md