Invariants / DC-TXV-01
DC-TXV-01
DC derived enforcedtx_validity is a pure function of (LedgerState, tx_cbor). No wall-clock, arrival order, HashMap/HashSet iteration, float, or ambient state may influence a transaction's Valid/Invalid verdict.
- Source
Cardano ledger spec; IDD determinism doctrine
Enforcement trace
Tests 1
- tx_validity_is_deterministic