{"id":"wal-crc-does-not-cover-seqnum","text":"The CRC32 checksum covers only `op_type + key + value`; a corrupted sequence number would not be detected by integrity checking.","truth_value":"IN","source":"entries/2026/05/28/write-ahead-log-wal.md","source_url":"","source_hash":"","justifications":[],"dependents":["payload-only-crc-leaves-metadata-unprotected"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"wal-crc-does-not-cover-seqnum","truth_value":"IN","reason":"premise"}]}}