Deterministic Rust microkernel with bit-identical replay and post-quantum
sealed audit chains. Single fixed pre-public version per user directive
2026-05-03 — no version churn before subsequent corrections (which land
on the same v0.13 line). Version 1.0 is intentionally never reached.

Key guarantees: A1 D1-Total bit-identical replay + Hybrid Ed25519 + ML-DSA 65
(NIST FIPS 204 / CNSA 2.0) signing baseline + 25 invariants across 5
verification tiers (TLA+ cr1-4 refinement + Apalache typecheck CI gate +
machine-readable axiom-cite gate).