Status: IN
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.
Catch-up correctness depends on position tracking that exists only in volatile memory
Depends on (SL): unbundled-catchup-rebuild-equivalence, unbundled-wal-entries-ordered-by-lsn