Invariants / DC-MEM-02

DC-MEM-02

DC derived enforced

Overload shedding follows deterministic policy, not timing-dependent collapse

Source: Project constitution §3, T-DET-01, T-CORE-02

Enforcement trace

Code

crates/ade_ledger/src/mempool/policy.rs

Tests 2

policy_does_not_change_validity
determinism

CI 1

ci_check_consensus_closed_enums.sh

Strengthened in