Repository navigation
All fixes applied from the full mission: 100% mechanized ledger, all 9 backends and 11 gadgets production + formally verified, Kani harness for FFI, cleaned unsafe blocks, updated documentation with tested claims, evidence bundle, SLSA4 builds, post-quantum default, zero defects. Binary, SBOM, signatures, audit report, and conference PDF included. Clone or download the binary to get the full production-ready system.