Invariants / DC-MEM-01
DC-MEM-01
DC derived enforcedMempool acceptance rules must not contradict block/ledger acceptance rules
- Source
Project constitution §3, T-DET-01, T-CORE-01
Enforcement trace
Code
Tests 7
- valid_tx_admitted_and_accumulates
- invalid_tx_rejected_no_false_accept
- admission_equals_tx_validity_verdict
- dependent_tx_admitted_against_accumulating_state
- ingress_admit_equals_direct_admit_on_b_track_corpus
- b_track_adversarial_rejections_preserved_through_ingress
- dependent_pair_through_ingress_admits_b_after_a