{"id":"wal-seq-nums-are-vestigial","text":"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.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-seq-num-global-monotonic","wal-seq-nums-strictly-monotonic","wal-seq-unused-in-recovery","wal-no-gap-detection"],"outlist":[],"label":"Four beliefs establish that sequence numbers are maintained with full rigor but serve no functional purpose"}],"dependents":["ordering-infrastructure-broken-at-every-layer","wal-recovery-infrastructure-is-vestigial"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"unnecessary"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-seq-nums-are-vestigial","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["wal-seq-unused-in-recovery"],"label":"Four beliefs establish that sequence numbers are maintained with full rigor but serve no functional purpose"}]}}