Invariants / T-REC-03
T-REC-03
T true enforcedLoop-as-replay: the same recovered/bootstrapped state + the same ordered canonical block feed (NodeBlockSource) + the same deterministic loop inputs + the same shutdown schedule produce byte-identical authoritative outputs (tips, WAL/checkpoints, and halt state). Extends T-REC-01/T-REC-02 from single-shot recovery to continuous relay operation; rides existing recovery laws (snapshot + forward-replay, NOT full-genesis replay) -- no new durability law.
- Source
docs/planning/phase4-n-f-d-live-node-run-loop-invariants.md
- Introduced in
- PHASE4-N-F-D
Enforcement trace
Tests 1
- relay_loop_two_clean_runs_byte_identical