Invariants / DC-KES-HEADER-01

DC-KES-HEADER-01

DC derived enforced

unsigned_header_pre_image(slot, block_no, prev_hash, vrf_data, opcert, kes_period, hot_vkey, body_hash, body_size, protocol_version) is a pure BLUE function. Same canonical inputs → byte-identical UnsignedHeaderPreImage output. Replay-equivalence anchor for the pre-image recipe.

Source: docs/planning/phase4-n-s-invariants.md §3 (D1)
Cluster: PHASE4-N-S-A
Introduced in: PHASE4-N-S-A

Enforcement trace

Code

crates/ade_ledger/src/block_validity/unsigned_header_pre_image.rs

Tests 1

recipe_output_is_byte_identical_across_two_runs

CI 0

no CI script — gap

DC-KES-HEADER-01

Enforcement trace

Code

Tests 1

CI 0

Cross-references