AdeAtlas
Invariants / CN-MEM-04

CN-MEM-04

CN derived declared

Mempool acceptance rules must never contradict block and ledger acceptance rules for the same authoritative semantics

Source

classification_table.md §H

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Attack rationale

Prevents mempool/consensus disagreement.

Evidence notes

Cardano-specific: mempool/ledger consistency about Cardano's specific validation pipeline.