Invariants / DC-VAL-02
DC-VAL-02
DC derived enforcedA block is Valid iff both the consensus header authority (validate_and_apply_header) and the ledger body authority (apply_block_with_verdicts) accept it. No path may produce a Valid verdict while skipping either authority.
- Source
Cardano ledger spec; Ouroboros Praos spec
Enforcement trace
Code
Tests 2
- valid_block_evolves_both_states
- header_before_body_fail_fast