{"id":"wal-corruption-stops-per-file","text":"`_recover_seq_num` stops at the first corrupted record within each file but continues to subsequent WAL files, so cross-file recovery is resilient but intra-file records after corruption are silently lost","truth_value":"IN","source":"entries/2026/05/29/topic-wal-recovery-semantics.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"wal-corruption-stops-per-file","truth_value":"IN","reason":"premise"}]}}