cose-parse-nopanic local reproduce 2026-09-01
shasum -a 256 -c reports/PROOF.sha256 → 5 OK
cargo test → 53 passed
charon cargo --preset=aeneas → exit 0
aeneas -backend lean → Generated CoseParseNopanic.lean, 2.38s
lake build → 1698 jobs, exit 0
19 theorems, axioms: propext, Classical.choice, Quot.sound
extra axioms: (none) PASS