{"id":"wal-corruption-returns-valid-prefix","text":"When the WAL encounters a corrupted record during replay, it stops and returns all structurally valid records preceding the corruption point rather than raising an exception to the caller.","truth_value":"IN","source":"entries/2026/05/28/write-ahead-log-tester_test_wal.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"while True:\n    try:\n        rec = _read_record(f)\n        if rec is None: break\n        records.append(rec)\n    except ValueError:\n        break  # stop at first CRC error"},"explanation":{"steps":[{"node":"wal-corruption-returns-valid-prefix","truth_value":"IN","reason":"premise"}]}}