Invariants / DC-VAL-01
DC-VAL-01
DC derived enforcedA block's validity verdict is a pure function of (LedgerState, PraosChainDepState, EraSchedule, LedgerView, block_cbor). No wall-clock, arrival order, HashMap/HashSet iteration, float, or ambient state may influence it.
- Source
Cardano ledger spec; Ouroboros Praos spec; IDD determinism doctrine
Enforcement trace
Code
Tests 8
- corpus_loads_and_is_self_consistent
- extract_nonces_field_order
- extract_nonces_requires_exactly_five
- extract_nonces_is_deterministic
- view_returns_corpus_pool_stake_and_vrf_keyhash
- view_unknown_pool_returns_none
- view_unknown_epoch_returns_none
- view_is_pure