kernel-conformance
Cross-crate conformance harness for the canonical export -> bridge -> import -> runtime -> compile -> oracle lane.
Usage
use ;
Scope
This crate proves the supported kernel lane through deterministic fixtures spanning authority boundaries, degradation behavior, replay, refutation, and living-memory roundtrips.
Non-goals
- no production authority
- no replacement for crate-local unit tests
- no benchmark or satellite policy decisions
Ecosystem
Depends on:
stack-ids-- identity primitivesconstraint-compiler,forge-memory-bridge,kernel-execution,kernel-oraclesrecursive-kernel-core,semantic-memory,semantic-memory-forgeconstitutional-memory,discovery-portfolio,federated-settlementknowledge-runtime,mechanism-runtime,spec-executionverification-adjudication,verification-calibration,verification-control,verification-policy
Depended on by: (leaf crate -- no downstream consumers)
stack-ids integration
Uses ScopeKey, TraceCtx, EnvelopeId, ClaimId, and other identity
primitives from stack-ids in conformance test fixtures.