Invariants / DC-STORE-01

DC-STORE-01

DC derived enforced

Recovery from power-loss produces replay-equivalent state

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

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

ci_check_chaindb_crash_safety.sh

Strengthened in