Invariants / CN-STORE-04

CN-STORE-04

CN true enforced

Checkpoints must be atomic: fully committed and valid, or absent

Source: classification_table.md §I

Enforcement trace

Code

Tests 4

persistent_passes_snapshot_contract
in_memory_passes_snapshot_contract
snapshots_persist_across_reopen
corrupted_magic_returns_corruption_error

CI 1

ci_check_chaindb_contract.sh

Cross-references

Attack rationale

Prevents half-state corruption from becoming authoritative.

Evidence notes

Universal: partial checkpoints could corrupt recovery. Evidence: ledger snapshot atomicity in ouroboros-consensus.