{"id":"wal-batch-atomicity-via-commit-record","text":"A batch write is only considered complete if its trailing COMMIT record is present and passes CRC; incomplete batches (missing commit) are discarded during replay","truth_value":"IN","source":"entries/2026/05/28/topic-lsm-crash-recovery-wal-format.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"self._seq_num += 1\ndata = _encode_record(self._seq_num, OP_COMMIT, b\"\", b\"\")\nself._fd.write(data)\nself._do_sync(force=True)"},"explanation":{"steps":[{"node":"wal-batch-atomicity-via-commit-record","truth_value":"IN","reason":"premise"}]}}