DC-MEM-03

DC derived enforced

Tx ingress reduces to a closed IngressEvent before BLUE mempool admission; the source variant is evidence/policy/replay metadata only and MUST NOT change the validity verdict.

Source: Project constitution §3, T-CORE-01 (closed semantic surfaces), DC-MEM-01
Introduced in: PHASE4-N-E

Enforcement trace

Code

crates/ade_ledger/src/mempool/ingress.rs

Tests 8

ingress_preserves_tx_bytes_verbatim
ingress_source_is_closed_two_variants
ingress_admits_valid_tx_via_n2n
ingress_admits_valid_tx_via_n2c
ingress_rejects_invalid_tx_no_false_accept
ingress_source_does_not_change_verdict_valid
ingress_source_does_not_change_verdict_adversarial
ingress_equals_direct_admit_on_synthetic_corpus

CI 1

ci_check_mempool_ingress_closure.sh

DC-MEM-03

Enforcement trace

Code

Tests 8

CI 1

Cross-references