Invariants / DC-VAL-05
DC-VAL-05
DC derived enforcedA Valid block yields evolved (LedgerState', PraosChainDepState'); an Invalid block yields the unchanged input states plus a structured reason. No partial or in-place mutation occurs on the invalid path.
- Source
IDD explicit-total-transition doctrine; Cardano ledger spec
Enforcement trace
Tests 2
- invalid_block_leaves_state_unchanged
- valid_block_evolves_both_states