{"id":"unbundled-catchup-produces-consistent-derived-state","text":"Catch-up via snapshot and streaming produces consistent derived-system state equivalent to full event replay, because WAL entries are ordered by LSN and the rebuild protocol is verified to match full replay output.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"unbundled-catchup-produces-consistent-derived-state","truth_value":"OUT","reason":"retracted premise"}]}}