Invariants / CN-PREIMAGE-FIXTURE-01
CN-PREIMAGE-FIXTURE-01
CN derived enforcedFor every block in ade_testkit::validity::corpus::ConwayValidityCorpus, Ade's unsigned_header_pre_image(...) (with inputs derived from decode_block(block_bytes).header_input) produces output byte-identical to decode_block(block_bytes).header_input.kes.unwrap().header_body_bytes. This cross-impl byte-match test is the load-bearing proof that the producer's pre-image recipe matches the validator's authority — without it the 'single source of truth' claim is unverified.
- Source
docs/planning/phase4-n-s-invariants.md §7 OQ-S-A; N-S-A A1 fixture metadata
- Cluster
- PHASE4-N-S-A
- Introduced in
- PHASE4-N-S-A
Enforcement trace
Tests 1
- unsigned_header_preimage_matches_decode_block_extraction_for_corpus
CI 0
no CI script — gap