AIKernel.Contracts 0.0.5

.NET 10.0 This package targets .NET 10.0. The package is compatible with this framework or higher. 
dotnet add package AIKernel.Contracts --version 0.0.5
                    


                    

                
NuGet\Install-Package AIKernel.Contracts -Version 0.0.5
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package. 
<PackageReference Include="AIKernel.Contracts" Version="0.0.5" />
For projects that support PackageReference, copy this XML node into the project file to reference the package. 
<PackageVersion Include="AIKernel.Contracts" Version="0.0.5" />
                    


                            Directory.Packages.props
                        

                    

                
<PackageReference Include="AIKernel.Contracts" />
                    


                            Project file
For projects that support Central Package Management (CPM), copy this XML node into the solution Directory.Packages.props file to version the package. 
paket add AIKernel.Contracts --version 0.0.5
                    


                    

                
#r "nuget: AIKernel.Contracts, 0.0.5"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package. 
#:package AIKernel.Contracts@0.0.5
#:package directive can be used in C# file-based apps starting in .NET 10 preview 4. Copy this into a .cs file before any lines of code to reference the package. 
#addin nuget:?package=AIKernel.Contracts&version=0.0.5
                    


                            Install as a Cake Addin
                        

                    

                
#tool nuget:?package=AIKernel.Contracts&version=0.0.5
                    


                            Install as a Cake Tool

AIKernel.NET

AIKernel.NET is a specification-first repository for Semantic Context OS contracts. The src tree contains the canonical specification projects that define interfaces, DTOs, enums, and external boundary contracts.

Current Package Baseline

As of v0.0.5:

  • AIKernel.Abstractions and AIKernel.Contracts export interfaces only.
  • DTOs are owned by AIKernel.Dtos.
  • Shared enum primitives are owned by AIKernel.Enums.
  • AIKernel.Vfs remains a public namespace inside AIKernel.Abstractions; there is no separate AIKernel.Vfs package/project.
  • Legacy ambiguous ChatChain names such as IResult and ISemanticHasher are not exported from the ChatChain namespace. Use IChatTurnVerificationResult and IChatTurnSemanticHasher.

Keep all AIKernel.NET packages on the same version line. Do not mix AIKernel.Abstractions v0.0.5 with older AIKernel.Dtos or AIKernel.Enums packages.

Projects

AIKernel.Abstractions

  • Purpose: Interface layer (no concrete business logic).
  • Main namespaces:
    • AIKernel.Abstractions.Capabilities
    • AIKernel.Abstractions.Context
    • AIKernel.Abstractions.Conversation
    • AIKernel.Abstractions.DynamicSlm
    • AIKernel.Abstractions.Dsl
    • AIKernel.Abstractions.Events
    • AIKernel.Abstractions.Execution
    • AIKernel.Abstractions.Governance
    • AIKernel.Abstractions.History
    • AIKernel.Abstractions.Hosting
    • AIKernel.Abstractions.Kernel
    • AIKernel.Abstractions.Material
    • AIKernel.Abstractions.Models
    • AIKernel.Abstractions.Prompt
    • AIKernel.Abstractions.Providers
    • AIKernel.Abstractions.Rom
    • AIKernel.Abstractions.Routing
    • AIKernel.Abstractions.Scheduling
    • AIKernel.Abstractions.Security
    • AIKernel.Abstractions.Tasks
    • AIKernel.Abstractions.Time
    • AIKernel.Abstractions.Tooling
    • AIKernel.Vfs (Vfs contracts, owned by the Abstractions assembly)
  • Project references: AIKernel.Dtos, AIKernel.Enums

AIKernel.Contracts

  • Purpose: Cross-boundary contract interfaces for orchestration/context projections. This package exports interfaces only.
  • Main namespace: AIKernel.Contracts
  • Project references: AIKernel.Dtos, AIKernel.Enums

AIKernel.Dtos

  • Purpose: POCO/record data carriers and wire metadata key constants only (no business logic).
  • Main namespaces:
    • AIKernel.Dtos.Capabilities
    • AIKernel.Dtos.Context
    • AIKernel.Dtos.Core
    • AIKernel.Dtos.DynamicSlm
    • AIKernel.Dtos.Dsl
    • AIKernel.Dtos.Events
    • AIKernel.Dtos.Execution
    • AIKernel.Dtos.Governance
    • AIKernel.Dtos.Kernel
    • AIKernel.Dtos.KernelContext
    • AIKernel.Dtos.History
    • AIKernel.Dtos.Material
    • AIKernel.Dtos.Prompt
    • AIKernel.Dtos.Rom
    • AIKernel.Dtos.Routing
    • AIKernel.Dtos.Rules
    • AIKernel.Dtos.Sandbox
    • AIKernel.Dtos.Security
    • AIKernel.Dtos.SemanticCompilation
    • AIKernel.Dtos.Tokenization
    • AIKernel.Dtos.Time
    • AIKernel.Dtos.Vfs
  • Project references: AIKernel.Enums

DTO packages may expose stable metadata key constants for wire formats such as DSL ROM and History ROM. Those constants are part of the serialized contract surface; parsing, validation, and runtime behavior still belong to Core/Common or host implementations. Shared enums such as execution status and prompt option primitives belong to AIKernel.Enums, not AIKernel.Dtos. Capability DTOs describe external module manifests and invocation envelopes for CLI executable, managed assembly, native ABI, DSL ROM, and remote endpoint boundaries. Runtime loading, sandboxing, assembly resolution, and native invocation remain Core/Tools/provider responsibilities. DynamicSLM DTOs describe Model ABI records only. Registry, lineage verification, payload materialization, scheduling, differential distillation planning, SeedSLM discipline enforcement, delegation, thought-artifact dumping, and memory placement belong to Core/Provider implementations behind AIKernel.Abstractions.DynamicSlm. Distillation execution itself is represented as a background offload job so loaders do not block on training work. HATL DTOs describe ledger entries, public anchors, Digital Deeds, verification results, and external cryptographic operator request/result records. Cryptographic runtime belongs to AIKernel.RH-backed operators or other audited Core/HATL modules. Governance DTOs may carry admission replay evidence, critical-operation and computational-complexity gate evidence, and trajectory governance ellipsoid/score/action evaluation records, while AIKernel.Enums owns Semantic IR slot, admission decision/gate, task cost class, and critical-operation requirement vocabulary for Core-side ResultStep/ReplayLog adapters. Semantic Compilation DTOs describe observable semantic state, structural Semantic IR, governed circuit descriptors, finite prototype spaces, semantic distance reports, deterministic synthesis descriptors, and replay-addressable transition descriptors; compiler execution and graph search remain Core/runtime responsibilities.

AIKernel.Enums

  • Purpose: Shared enum primitives used across the specification layer.
  • Main namespace: AIKernel.Enums
  • Project references: none

Dependency Rules (Normative)

  • AIKernel.Abstractions → AIKernel.Dtos, AIKernel.Enums
  • AIKernel.Contracts → AIKernel.Dtos, AIKernel.Enums
  • AIKernel.Dtos → AIKernel.Enums
  • AIKernel.Enums → (none)

Prohibited examples:

  • Abstractions → Contracts
  • Contracts → Abstractions
  • Abstractions → separate Vfs package/project

AIKernel.Vfs is a public namespace inside AIKernel.Abstractions; the separate AIKernel.Vfs compatibility project was removed in v0.0.4.

Notes on Decomposition

  • AIKernel.KernelContext project has been decomposed and moved into AIKernel.Dtos.KernelContext (models) and AIKernel.Abstractions (contracts).
  • AIKernel.Events project has been decomposed and moved into AIKernel.Dtos.Events (models) and AIKernel.Abstractions.Events (contracts).
  • Concrete runtime implementations are out of this repository scope and belong to AIKernel.Core.

Testing

  • src/tests/AIKernel.Abstractions.Tests: spec-alignment and interface-composition tests.

License

MIT License
Copyright © 2026 Takuya Sogawa

Product Compatible and additional computed target framework versions.
.NET net10.0 is compatible.  net10.0-android was computed.  net10.0-browser was computed.  net10.0-ios was computed.  net10.0-maccatalyst was computed.  net10.0-macos was computed.  net10.0-tvos was computed.  net10.0-windows was computed. 
Compatible target framework(s)
Included target framework(s) (in package)
Learn more about Target Frameworks and .NET Standard.

NuGet packages (1)

Showing the top 1 NuGet packages that depend on AIKernel.Contracts:

Package Downloads
AIKernel.Events

AIKernel is an operating-system-style framework for AI applications, designed around strict category separation, context isolation, and contract-driven orchestration. This package is part of the AIKernel Core and provides foundational components required by Kernel, Providers, and VFS layers. Provides audit and system event definitions for the AIKernel OS. Events represent observable state transitions and are designed for logging, monitoring, and governance without depending on syscall abstractions. AIKernel は AI アプリケーション向けの OS 的フレームワークであり、カテゴリ分離、コンテキスト隔離、契約駆動の設計思想に基づいています。本パッケージは AIKernel Core の一部であり、Kernel、Provider、VFS 層が利用する基盤コンポーネントを提供します。 AIKernel OS の監査およびシステムイベント定義を提供します。イベントは観測可能な状態遷移を表し、syscall 抽象に依存せずログ、監視、ガバナンス用途に設計されています。

GitHub repositories

This package is not used by any popular GitHub repositories.

AIKernel.NET v0.0.5 — Contract Surface Purity Cleanup, DynamicSLM, and HATL

• Completed the interface-only guarantee for AIKernel.Abstractions and AIKernel.Contracts.
• Removed leftover DTO and exception implementations from AIKernel.Abstractions.
• Unified Context Assembly, prompt generation, and Kernel request DTO usage on AIKernel.Dtos.
• Removed duplicate execution and prompt option enums from AIKernel.Dtos.
• Kept execution status and prompt option enums owned by AIKernel.Enums.
• Removed legacy ambiguous ChatChain interfaces IResult and ISemanticHasher.
• Kept chat-turn hashing on IChatTurnSemanticHasher and ROM hashing on AIKernel.Abstractions.Rom.ISemanticHasher.
• Preserved the package DAG: Enums -> none, Dtos -> Enums, Contracts -> Dtos/Enums, Abstractions -> Dtos/Enums.
• Added contract-only DynamicSLM Model ABI and distillation offload interfaces, DTOs, and enum primitives.
• Added SeedSLM discipline, delegation, thought artifact, and resident memory placement contract vocabulary.
• Added contract-only HATL ledger, anchor, Digital Deed, verification, and external cryptographic operator interfaces, DTOs, and enum primitives.
• Added external Capability module contracts for CLI executable, managed assembly, native ABI, DSL ROM, and remote endpoint boundaries.
• Added governance admissibility gate and trajectory evidence vocabulary for Core-side ReplayLog projection.
• Added Semantic Compilation DTO vocabulary for states, Semantic IR, governed circuits, prototype spaces, semantic distances, deterministic synthesis, and transitions.
• Kept Result/ResultStep/LINQ composition and HATL cryptographic runtime ownership in AIKernel.Common, Core, host, or external operator packages.
• Breaking change: consumers must use DTO and enum types from AIKernel.Dtos and AIKernel.Enums rather than leftover Abstractions-local duplicates.

AIKernel.NET v0.0.5 — Contract Surface Purity Cleanup、DynamicSLM、HATL

• AIKernel.Abstractions / AIKernel.Contracts の interface-only 保証を完了。
• AIKernel.Abstractions に残っていた DTO / 例外実装を削除。
• Context Assembly、prompt generation、Kernel request DTO の利用元を AIKernel.Dtos に統一。
• AIKernel.Dtos に残っていた execution / prompt option enum 重複を削除。
• execution status / prompt option enum の所有元を AIKernel.Enums に一本化。
• 旧 ChatChain interface の IResult / ISemanticHasher を削除。
• chat-turn hash は IChatTurnSemanticHasher、ROM hash は AIKernel.Abstractions.Rom.ISemanticHasher に整理。
• package DAG は Enums -> none、Dtos -> Enums、Contracts -> Dtos/Enums、Abstractions -> Dtos/Enums を維持。
• contract-only の DynamicSLM Model ABI / distillation offload interface、DTO、enum primitive を追加。
• SeedSLM discipline、delegation、thought artifact、resident memory placement contract vocabulary を追加。
• contract-only の HATL ledger、anchor、Digital Deed、verification、external cryptographic operator interface、DTO、enum primitive を追加。
• CLI executable、managed assembly、native ABI、DSL ROM、remote endpoint 境界向け external Capability module contract を追加。
• Core 側 ReplayLog 投影向け governance admissibility gate / trajectory evidence vocabulary を追加。
• state、Semantic IR、governed circuit、prototype space、semantic distance、deterministic synthesis、transition 向け Semantic Compilation DTO vocabulary を追加。
• Result / ResultStep / LINQ composition と HATL cryptographic runtime の所有は AIKernel.Common、Core、host、外部 operator package に残す。
• 破壊的変更: consumer は Abstractions に残っていた重複型ではなく、AIKernel.Dtos / AIKernel.Enums の DTO / enum を使用してください。