{"id":"lsm-wal-strictly-weaker-than-standalone-wal","text":"The LSM tree's built-in WAL provides strictly weaker guarantees than the standalone WAL module along two independent axes: it has no CRC or checksum for integrity (vs per-record CRC32 in the standalone WAL), and its truncation zeroes the entire file instantly via wb mode (vs careful record-by-record rewriting), meaning corruption goes undetected and truncation is all-or-nothing rather than surgical.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["lsm-wal-has-no-integrity-check","lsm-wal-truncate-destroys-immediately"],"outlist":[],"label":"Point-by-point comparison reveals the LSM WAL is weaker in both integrity checking and truncation safety"},{"type":"SL","antecedents":["lsm-wal-has-no-integrity-check","lsm-wal-truncate-destroys-immediately","wal-uses-crc32-not-sha","wal-truncate-rewrites-files"],"outlist":[],"label":""}],"dependents":[],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"invalid"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"lsm-wal-strictly-weaker-than-standalone-wal","truth_value":"IN","reason":"SL justification valid","antecedents":["lsm-wal-has-no-integrity-check","lsm-wal-truncate-destroys-immediately"],"label":"Point-by-point comparison reveals the LSM WAL is weaker in both integrity checking and truncation safety"},{"node":"lsm-wal-has-no-integrity-check","truth_value":"IN","reason":"premise"},{"node":"lsm-wal-truncate-destroys-immediately","truth_value":"IN","reason":"premise"}]}}