{"id":"lsm-wal-no-crc","text":"The LSM tree's WAL (`lsm.py:14-53`) uses only length-prefixed framing with no checksum, making it unable to distinguish corruption from valid data unless a length field causes an out-of-bounds read","truth_value":"IN","source":"entries/2026/05/29/topic-record-boundary-recovery.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"lsm-wal-no-crc","truth_value":"IN","reason":"premise"}]}}