{"id":"seq-num-crc-fix-is-zero-cost","text":"Adding `seq_num` to the CRC input requires changing two lines (`_encode_record` and `_read_record`) with no measurable runtime overhead, since CRC32 over 9 extra bytes is negligible","truth_value":"IN","source":"entries/2026/05/29/topic-seq-num-integrity-gap.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"seq-num-crc-fix-is-zero-cost","truth_value":"IN","reason":"premise"}]}}