{"id":"per-record-crc-cannot-detect-reordering","text":"Independent per-record CRCs in `wal.py`, `btree.py`, and `bitcask.py` validate each record in isolation, so record deletion, reordering, or splicing produces a file where every CRC passes but the log is semantically corrupt","truth_value":"IN","source":"entries/2026/05/29/topic-cumulative-checksums.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"per-record-crc-cannot-detect-reordering","truth_value":"IN","reason":"premise"}]}}