{"id":"checkpoint-record-not-used-in-recovery","text":"`OP_CHECKPOINT` records are written to the WAL but recovery (`_recover_seq_num`) does not search for them; the caller must supply the checkpoint sequence number externally via `replay(after_seq=)`","truth_value":"IN","source":"entries/2026/05/29/topic-log-compaction-vs-persistence.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"checkpoint-record-not-used-in-recovery","truth_value":"IN","reason":"premise"}]}}