01
Rust · v0.1.0Implemented Candidate
aidens-kernel-kit
Thin facade over canonical constraint compiler, kernel execution, oracles, and core contracts.
compiler facadeexecution facadeoracle facade
RESOLVING ROUTEFollowing the evidence boundary…
The catalog assigns 6 packages to this responsibility boundary. This page derives its vocabulary, topology, publication state, and maturity profile directly from those audited records.
Counts expose what the catalog actually contains. They do not convert package metadata into production-readiness or quality claims.
2 package-specific limitation entries remain visible across this domain.
24 unique capability statements are attached to packages in this domain. The language below is catalog evidence, preserved without expanding the claim.
compiler facade
execution facade
oracle facade
shared kernel contracts
projection import compilation
inference nodes and hyperedges
constraints and invalidation cones
degradation and oracle-candidate emission
cross-crate deterministic fixtures
authority-boundary gates
degradation and replay verification
refutation and living-memory roundtrip tests
acyclic execution baseline
message passing
delta propagation
bounded stop rules and execution reports
bounded exact and conservative oracle paths
delta parity checks
temporal replay
refutation and minimal-perturbation analysis
shared kernel schemas
operator metadata
constraint and stop-rule contracts
non-authoritative identity surface
Edges are derived from sibling dependency declarations. Cross-domain traffic describes manifest topology, not runtime call direction, frequency, or activation.
Each record has a stable URL with its complete catalog scope, capabilities, targets, features, relationships, registry evidence, update trail, and known limits.
Thin facade over canonical constraint compiler, kernel execution, oracles, and core contracts.
Deterministic projection-to-inference graph compiler for the recursive inference kernel
Conformance harness for recursive inference kernel authority, compiler, and oracle gates
Deterministic K2 execution baseline for recursive inference graphs
Bounded exact/conservative oracle paths for the recursive inference kernel
Non-authoritative recursive inference kernel schemas and operator contracts
This route reorganizes audited package metadata. It does not add implementation claims or expose access-controlled source.
p32-schema-compat / 011027f77fc7a53c6ecb05300d5c34144370fa3b