AdeAtlas
Invariants / CN-LEDGER-01

CN-LEDGER-01

CN true declared

apply_block must be a pure deterministic function of prior state and canonical block input

Source

classification_table.md §B

Enforcement trace

Code

no enforcing code — gap

Tests 0

no tests named — gap

CI 0

no CI script — gap

Cross-references

T-CORE-01T-CORE-03

Attack rationale

Core replay and consensus safety invariant.

Evidence notes

Universal: any replay-first system requires pure deterministic state transitions. Evidence: cardano-ledger STS framework confirms purely functional (Environment, State, Signal) -> State'.