{"id":"wal-checkpoint-consumes-sequence","text":"`checkpoint()` increments the WAL sequence counter by 1, occupying a position in the sequence number space alongside data records (e.g., after 6 data records at seq 1-6, `current_seq_num()` is 7 and `checkpoint()` returns 8).","truth_value":"IN","source":"entries/2026/05/28/write-ahead-log-tester_test_wal.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"wal-checkpoint-consumes-sequence","truth_value":"IN","reason":"premise"}]}}