{"id":"wal-seq-nums-strictly-monotonic","text":"Sequence numbers increment under a threading.Lock and are never reused; on recovery, all WAL files are scanned to find the high-water mark so new records continue the sequence.","truth_value":"IN","source":"entries/2026/05/28/write-ahead-log-wal.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"with self._lock:\n    self._seq_num += 1\n    seq = self._seq_num"},"explanation":{"steps":[{"node":"wal-seq-nums-strictly-monotonic","truth_value":"IN","reason":"premise"}]}}