{"id":"lsm-wal-provides-crash-recovery","text":"The LSM WAL replays on construction to recover unflushed memtable state, providing crash recovery for in-flight writes.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["lsm-wal-replays-on-reopen"],"outlist":["lsm-wal-no-crc"],"label":"WAL replay recovers state only if the WAL content is intact; without any checksum, a single bit flip produces silently corrupted recovery data rather than a detectable error"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"lsm-wal-provides-crash-recovery","truth_value":"IN","reason":"SL justification valid","antecedents":["lsm-wal-replays-on-reopen"],"label":"WAL replay recovers state only if the WAL content is intact; without any checksum, a single bit flip produces silently corrupted recovery data rather than a detectable error","outlist":["lsm-wal-no-crc"]},{"node":"lsm-wal-replays-on-reopen","truth_value":"IN","reason":"premise"}]}}