Invariants / DC-TXV-04
DC-TXV-04
DC derived enforcedA Valid transaction yields an applied LedgerState' (the mempool's accumulating view); an Invalid transaction leaves the input state unchanged 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 3
- valid_tx_is_valid_and_applies
- invalid_tx_leaves_state_unchanged
- class_mapping_is_total