{"id":"wal-sequence-numbers-enable-ordered-recovery","text":"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.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["wal-seq-num-recovered-on-init","wal-checkpoint-consumes-sequence","wal-checkpoint-seq-is-next-after-data"],"outlist":["wal-seq-unused-in-recovery"],"label":"sequence number infrastructure exists and is maintained but replay ignores it entirely"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-sequence-numbers-enable-ordered-recovery","truth_value":"IN","reason":"SL justification valid","antecedents":["wal-seq-num-recovered-on-init","wal-checkpoint-consumes-sequence","wal-checkpoint-seq-is-next-after-data"],"label":"sequence number infrastructure exists and is maintained but replay ignores it entirely","outlist":["wal-seq-unused-in-recovery"]},{"node":"wal-seq-num-recovered-on-init","truth_value":"IN","reason":"premise"},{"node":"wal-checkpoint-consumes-sequence","truth_value":"IN","reason":"premise"},{"node":"wal-checkpoint-seq-is-next-after-data","truth_value":"IN","reason":"premise"}]}}