Invariants / DC-MEM-04

DC-MEM-04

DC derived enforced

Replaying the same ordered ingress trace against the same base ledger state produces a byte-identical sequence of (MempoolState, AdmitOutcome) pairs.

Source: Project constitution §3, T-DET-01, DC-MEM-01
Introduced in: PHASE4-N-E

Enforcement trace

Code

Tests 8

ingress_admit_equals_direct_admit_on_b_track_corpus
b_track_adversarial_rejections_preserved_through_ingress
ingress_trace_replay_byte_identical
dependent_pair_through_ingress_admits_b_after_a
ingress_trace_source_invariant_n2n_vs_n2c
multi_peer_round_robin_by_sorted_peer_id
unsorted_input_canonicalizes_identically_to_sorted_input
two_interleavings_replay_byte_identical

CI 1

ci_check_mempool_ingress_replay.sh

Cross-references