AdeAtlas
Invariants / CN-STORE-03

CN-STORE-03

CN true enforced

Crash recovery must produce the same authoritative state as clean replay over the accepted canonical inputs

Source

classification_table.md §I

Enforcement trace

Code

Tests 4

  • stress_kill_smoke
  • stress_kill_1000
  • snapshot_table_intact_after_kill_loop
  • persistent_passes_crash_safety_with_no_kill

CI 1

Cross-references

T-REC-01

Strengthened in

PHASE4-N-M-B

Attack rationale

Core replay-first safety property.

Evidence notes

Direct restatement of T-REC-01. Evidence: ChainDB recovery in ouroboros-consensus loads snapshot + replays forward.