{"id":"lsm-crash-recovery-impossible-without-manifest","text":"LSM crash recovery is structurally impossible: the set of live SSTable files exists only in memory with no persistent manifest, so a crash permanently loses the SSTable list, and the WAL that could help reconstruct state has no integrity checking to validate its own records during replay.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["lsm-no-manifest","lsm-wal-has-no-integrity-check"],"outlist":[],"label":"No manifest means the SSTable list is lost on crash and no WAL integrity check means reconstruction from WAL is unreliable"}],"dependents":[],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"lsm-crash-recovery-impossible-without-manifest","truth_value":"IN","reason":"SL justification valid","antecedents":["lsm-no-manifest","lsm-wal-has-no-integrity-check"],"label":"No manifest means the SSTable list is lost on crash and no WAL integrity check means reconstruction from WAL is unreliable"},{"node":"lsm-no-manifest","truth_value":"IN","reason":"premise"},{"node":"lsm-wal-has-no-integrity-check","truth_value":"IN","reason":"premise"}]}}