Invariants / DC-LEDGER-12
DC-LEDGER-12
DC derived enforcedEvery tx in a forged block is admissible via ade_ledger::mempool::admit against the base ledger state, in the snapshot's canonical accumulating order. No tx in a forged block bypasses mempool validation. Forge MUST NOT permute, fabricate, or skip the snapshot's canonical accumulating order.
- Source
docs/planning/phase4-n-c-invariants.md §1 (NC-FORGE-4); PHASE4-N-E mempool admit closure
- Introduced in
- PHASE4-N-C
Enforcement trace
Tests 4
- forge_block_rejects_tx_not_in_mempool_accepted_prefix
- forge_block_rejects_tx_permuted_from_accumulating_order
- forge_block_empty_mempool_produces_empty_body
- admit_prefix_property_documented