{"id":"bitcask-compaction-preserves-state","text":"Bitcask compaction maintains identical observable behavior: every key returns the same value before and after compaction.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["bitcask-compaction-preserves-observable-state","bitcask-compact-preserves-timestamps"],"outlist":["delete-before-rename-ordering"],"label":"State preservation holds only for crash-free execution; the delete-before-rename ordering creates a window where neither old nor new file exists"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"bitcask-compaction-preserves-state","truth_value":"IN","reason":"SL justification valid","antecedents":["bitcask-compaction-preserves-observable-state","bitcask-compact-preserves-timestamps"],"label":"State preservation holds only for crash-free execution; the delete-before-rename ordering creates a window where neither old nor new file exists","outlist":["delete-before-rename-ordering"]},{"node":"bitcask-compaction-preserves-observable-state","truth_value":"IN","reason":"premise"},{"node":"bitcask-compact-preserves-timestamps","truth_value":"IN","reason":"premise"}]}}