Invariants / DC-VAL-03

DC-VAL-03

DC derived enforced

The header is validated before the body; body validation never runs on a header-invalid block. The first failing authority determines the reason (fail-fast ordering).

Source: Ouroboros Praos spec; IDD fail-fast doctrine

Enforcement trace

Code

crates/ade_ledger/src/block_validity/transition.rs

Tests 1

header_before_body_fail_fast

CI 1

ci_check_consensus_closed_enums.sh

Cross-references

Strengthened in