Invariants / DC-TXV-02
DC-TXV-02
DC derived enforcedA transaction is Valid iff both phase-1 (structural + UTxO rules + witnesses) and phase-2 (Plutus, when scripts are present) accept it. No path may produce a Valid verdict while skipping either phase.
- Source
Cardano ledger spec (UTXOW/UTXO/PPUP, Plutus phase-2)
Enforcement trace
Tests 2
- valid_tx_is_valid_and_applies
- phase1_failure_short_circuits_phase2