Invariants / DC-STORE-03

DC-STORE-03

DC derived enforced

Atomic snapshots (fully written or absent)

Source: Project constitution §3, T-REC-01

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

Strengthened in