wal-seq-nums-are-vestigial

Status: OUT

WAL sequence numbers are monotonic and strictly increasing but entirely vestigial: they are computed under lock, stored in every record, and parsed during recovery, yet never consulted for ordering, deduplication, or gap detection — file position alone determines replay order.

Justifications

Four beliefs establish that sequence numbers are maintained with full rigor but serve no functional purpose

Depends on (SL): wal-seq-num-global-monotonic, wal-seq-nums-strictly-monotonic, wal-seq-unused-in-recovery, wal-no-gap-detection

Depended on by

JSON