Invariants / DC-VAL-04
DC-VAL-04
DC derived enforcedAde's Valid/Invalid verdict for a block equals the reference cardano-node verdict, including the reason class where the reference exposes it. Established over both a positive corpus (real valid blocks) and a mandatory adversarial corpus (blocks the reference rejects).
- Source
cardano-node reference behavior; Cardano ledger spec
Enforcement trace
Code
Tests 6
- corpus_block_count_is_14
- all_corpus_blocks_valid
- verdict_stream_replays_identically
- no_mutation_is_ever_valid
- each_mutation_maps_to_expected_class
- adversarial_replays_identically