Status: IN
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.
Both corruption and torn write handling converge on the same stop-and-return-valid behavior, defining an implicit valid-prefix contract
Depends on (SL): wal-corruption-returns-valid-prefix, wal-partial-read-is-eof