{"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":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"wal-sequence-numbers-enable-ordered-recovery","truth_value":"OUT","reason":"retracted premise"}]}}