AdeAtlas
Invariants / CN-EPOCH-03

CN-EPOCH-03

CN derived declared

Stake snapshots and reward computations must be derivable solely from canonical chain state

Source

classification_table.md §C

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Attack rationale

Prevents cache- or time-dependent reward divergence.

Evidence notes

Cardano-specific: stake snapshots and reward computation are Ouroboros Praos mechanisms.