Status: IN
WAL sequence numbers provide infrastructure for ordered recovery: they are recovered from disk on init, checkpoints consume positions in the same monotonic space, and the total ordering could enable gap detection and ordered replay.
sequence number infrastructure exists and is maintained but replay ignores it entirely
Depends on (SL): wal-seq-num-recovered-on-init, wal-checkpoint-consumes-sequence, wal-checkpoint-seq-is-next-after-data
Unless: wal-seq-unused-in-recovery