{"id":"compaction-lacks-crash-safety-across-implementations","text":"No storage engine implementation uses the write-temp/fsync/rename pattern for file creation, and both Bitcask implementations delete old segments before renaming replacements, creating crash windows where data exists in neither old nor new files.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"compaction-lacks-crash-safety-across-implementations","truth_value":"IN","reason":"premise"}]}}