Invariants / DC-STORE-05

DC-STORE-05

DC derived enforced

Recovery is snapshot + forward replay (not full genesis replay): load most recent valid snapshot, replay forward from ImmutableDB tip

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

Enforcement trace

Code

Tests 4

recover_from_snapshot_and_replay_forward
recover_from_genesis_when_no_snapshot
no_starting_point_error
snapshot_with_no_post_blocks_is_ok

CI 1

ci_check_recovery_contract.sh

Strengthened in