{"id":"checkpoint-empty-payload","text":"Checkpoint records are encoded with zero-length key and value fields; the record's semantic role is carried entirely by its `OP_CHECKPOINT` type and sequence number","truth_value":"IN","source":"entries/2026/05/29/write-ahead-log-wal-checkpoint.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"checkpoint-empty-payload","truth_value":"IN","reason":"premise"}]}}