{"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":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["unbundled-catchup-rebuild-equivalence","unbundled-wal-entries-ordered-by-lsn"],"outlist":["cdc-consumer-position-is-volatile"],"label":"Catch-up correctness depends on position tracking that exists only in volatile memory"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"unbundled-catchup-produces-consistent-derived-state","truth_value":"IN","reason":"SL justification valid","antecedents":["unbundled-catchup-rebuild-equivalence","unbundled-wal-entries-ordered-by-lsn"],"label":"Catch-up correctness depends on position tracking that exists only in volatile memory","outlist":["cdc-consumer-position-is-volatile"]},{"node":"unbundled-catchup-rebuild-equivalence","truth_value":"IN","reason":"premise"},{"node":"unbundled-wal-entries-ordered-by-lsn","truth_value":"IN","reason":"premise"}]}}