AdeAtlas
Invariants / CN-MEM-03

CN-MEM-03

CN derived declared

Under overload, work shedding must follow deterministic policy, not timing-dependent collapse

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 overload from becoming a consensus bug.

Evidence notes

Shedding policy has semantic implications; the specific mechanism is Cardano-specific.