{"id":"wal-recovery-contract-is-valid-prefix","text":"The WAL's recovery model guarantees a valid-prefix contract: both corruption (CRC mismatch halts replay returning prior valid records) and partial writes (treated as EOF, not error) cause replay to stop cleanly, always returning a consistent prefix of the written log.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-corruption-returns-valid-prefix","wal-partial-read-is-eof"],"outlist":[],"label":"Both corruption and torn write handling converge on the same stop-and-return-valid behavior, defining an implicit valid-prefix contract"}],"dependents":[],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-recovery-contract-is-valid-prefix","truth_value":"IN","reason":"SL justification valid","antecedents":["wal-corruption-returns-valid-prefix","wal-partial-read-is-eof"],"label":"Both corruption and torn write handling converge on the same stop-and-return-valid behavior, defining an implicit valid-prefix contract"},{"node":"wal-corruption-returns-valid-prefix","truth_value":"IN","reason":"premise"},{"node":"wal-partial-read-is-eof","truth_value":"IN","reason":"premise"}]}}