version: 0.0.5 / status: Refactor / edition: Draft / published: 2026-05-16 / updated: 2026-06-05

Japanese version: Index

DynamicSLM Interface Contracts

DynamicSLM contracts define the interface-led boundary for capability-modular SLM artifacts. They are based on the Model ABI described by the DynamicSLM paper: Semantic Profile, Capability Graph, Execution Profile, Lineage, and Payload.

Contract Surface

Contract	Responsibility
`IDynamicSlmModelAbiProvider`	Read a Model ABI descriptor by model id.
`IDynamicSlmModuleRegistry`	Register, resolve, and enumerate admitted DynamicSLM model artifacts.
`IDynamicSlmPipelineContextFactory`	Create the initial immutable pipeline context for monadic load flows.
`IDynamicSlmPipelineStep<TInput,TOutput>`	Describe a synchronous typed pipeline step boundary.
`IDynamicSlmAsyncPipelineStep<TInput,TOutput>`	Describe an asynchronous typed pipeline step boundary for GPU/NPU work.
`IDynamicSlmAsyncPipeline`	Execute a composed DynamicSLM pipeline over a `DynamicSlmPipelineContext`.
`IDynamicSlmPipelineBuilder`	Compose async pipeline steps without exposing Common/Core implementation types.
`IDynamicSlmFailure`	Project implementation-specific failures into the shared fail-closed vocabulary.
`IDynamicSlmCapabilityGraphResolver`	Resolve the minimum capability subgraph required for a task.
`IDynamicSlmCompatibilityVerifier`	Verify semantic profile and governance compatibility before payload loading.
`IDynamicSlmLineageVerifier`	Verify lineage, artifact hashes, and admission metadata before payload use.
`IDynamicSlmPayloadLoader`	Materialize and unload payload descriptors without exposing runtime implementation types.
`IDynamicSlmScheduler`	Produce accelerator placement and prefetch plans from execution profiles.
`IDynamicSlmCapabilityGapDetector`	Detect capability gaps from verified ReplayLog traces.
`IDynamicSlmCapabilityGraphEvolutionPlanner`	Propose governed Capability Graph updates from recurring verified gaps.
`IDynamicSlmDistillationPlanner`	Create differential distillation plans only; it must not execute heavy distillation inline.
`IDynamicSlmDistillationJobScheduler`	Schedule offloaded distillation jobs and read job status through a host/Core boundary.
`IDynamicSlmBackgroundDistillationService`	Represent the background service boundary that accepts distillation offload requests.
`IDynamicSlmArtifactPublisher`	Publish validated distilled artifacts through the registry boundary.
`ISeedSlmDisciplineVerifier`	Verify SeedSLM structural adherence, contract fidelity, fail-closed behavior, and zero-slop output policy.
`IDynamicSlmDelegationPlanner`	Convert capability gaps into fail-closed delegation requests for Teacher, Solver, or Remote targets.
`IDynamicSlmThoughtArtifactSink`	Persist SeedSLM thought artifacts as ReplayLog-compatible entries before final output.
`IDynamicSlmMemoryPlacementPlanner`	Plan resident SeedSLM placement and paged CapabilitySLM swaps without exposing runtime handles.

DTO Ownership

DynamicSLM data records are owned by AIKernel.Dtos.DynamicSlm. Shared enum primitives are owned by AIKernel.Enums. Runtime implementations, verification logic, payload handles, and result pipelines belong to Core or Provider packages, not to AIKernel.Abstractions.

Pipeline / LINQ Composition Boundary

AIKernel.NET does not expose AIKernel.Common.Result<T>, Option<T>, or Either<L,R>. The DynamicSLM pipeline DTOs provide a package-boundary shape that Core can adapt into its Result monad. DynamicSlmPipelineResult<T> carries success/failure, trace, and metadata without implementing monadic behavior in the contract package. Differential distillation is offloaded: the load pipeline records a plan and job descriptor, falls back to a Teacher/remote/cached strategy when needed, and continues without waiting for training work. DynamicSlmDistillationRequest and DynamicSlmDistillationPlan carry metadata for job descriptors, teacher fallback, ReplayLog references, and validation policy hints; they do not represent inline training execution. DynamicSlmPipelineStage includes dedicated DistillationOffload and FallbackSelection stages so Core implementations can record deterministic trace entries for offload and fallback decisions.

SeedSLM Contract Additions

SeedSLM is modeled as a neutral, resident base model that learns discipline rather than domain knowledge. The contract additions express four requirements:

Structural adherence and contract fidelity through SeedSlmStructuralConstraints.
Zero-slop strict output through SeedSlmOutputDisciplinePolicy and DynamicSlmStrictOutputMode.
Immediate fail-closed delegation through DynamicSlmDelegationRequest, DynamicSlmDelegationKind, and DynamicSlmDelegationReason.
ReplayLog-compatible thought artifacts through DynamicSlmThoughtArtifact, DynamicSlmReplayLogEntry, and DynamicSlmTrajectoryMetadata.

SeedSLM memory assumptions are represented separately from runtime handles. DynamicSlmResidentModelDescriptor describes the VRAM-resident seed base. DynamicSlmCapabilitySwapDescriptor describes CapabilitySLM page-in/page-out material. DynamicSlmMemoryPlacementMetadata ties resident and swap descriptors to placement decisions. DynamicSlmHotSwapPolicy records whether a Core implementation intends prefetch, page-in, page-out, or hot-swap behavior.

DynamicSlmModelAbi carries an optional SeedSlmProfile, and DynamicSlmPipelineContext carries optional delegation, thought-artifact, and memory-placement state. DynamicSlmPipelineMetadata mirrors their stable identifiers so Core can project them into ResultStep metadata without putting runtime behavior into the contract packages.

Text flow:

SeedSLM strict output\n  -> DynamicSlmThoughtArtifact\n  -> DynamicSlmReplayLogEntry\n  -> DynamicSlmTrajectoryMetadata\n  -> DynamicSlmDistillationRequest\n  -> DynamicSlmDistillationPlan\n  -> DynamicSlmDistillationOffloadRequest

Pseudo-code for a Core implementation:

var result =\n    from compatibility in VerifyCompatibility(context)\n    from lineage in VerifyLineage(compatibility)\n    from graph in ResolveCapabilityGraph(lineage)\n    from gaps in DetectCapabilityGaps(graph)\n    from evolution in PlanGraphEvolution(gaps)\n    from distillPlan in PlanDistillation(evolution)\n    from offload in OffloadDistillation(distillPlan)\n    from fallback in SelectFallbackStrategy(offload)\n    from discipline in VerifySeedDiscipline(fallback)\n    from delegation in PlanDelegationIfNeeded(discipline)\n    from thought in DumpThoughtArtifact(delegation)\n    from placement in PlanPlacement(evolution)\n    from memory in PlanResidentSeedAndCapabilitySwaps(placement)\n    from admission in Admit(placement)\n    from payloads in LoadPayloads(admission)\n    select payloads;

Changelog

v0.0.5 (2026-06-05): Added DynamicSLM distillation offload contracts and metadata shape.
v0.0.5 (2026-06-05): Added DynamicSLM Model ABI contract index with distillation offload metadata.
v0.0.5 (2026-06-05): Added SeedSLM discipline, delegation, thought artifact, and resident memory contract vocabulary.

Source: architecture/interfaces/dynamicslm/index.md