Invariants / DC-TXV-03
DC-TXV-03
DC derived enforcedAde's Valid/Invalid verdict for a transaction equals the reference cardano-node verdict, including the reason class where the reference exposes it. Established over a positive corpus (real on-chain txs) and a mandatory adversarial corpus (txs the reference rejects). A false-accept is release-blocking.
- Source
cardano-node reference behavior; Cardano ledger spec
Enforcement trace
Code
Tests 17
- all_corpus_txs_valid
- corpus_tx_count_nonzero
- no_mutation_is_ever_valid
- each_mutation_maps_to_expected_class
- adversarial_replays_identically
- adversarial_imbalanced_via_deposit
- adversarial_imbalanced_via_withdrawal
- adversarial_unknown_cert_tag_rejects_as_decode
- adversarial_removed_tag_rejects_as_era_invalid
- adversarial_truncated_withdrawals_rejects_as_decode
- adversarial_state_dependent_unaccountable_rejects
- adversarial_no_false_accept
- adversarial_verdicts_replay_byte_identical
- real_cert_withdrawal_txs_are_valid_at_track_utxo_true
- real_positive_verdict_stream_replays_byte_identical
- synthetic_balanced_cert_withdrawal_txs_are_valid
- synthetic_positive_verdict_stream_replays_byte_identical