{"id":"bitcask-compaction-renumbers-active","text":"After compaction, merged files get IDs above the old active file, and the active file is renamed to an even higher ID to maintain the monotonically increasing file ID invariant.","truth_value":"IN","source":"entries/2026/05/28/hash-index-storage-bitcask.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"example":"self._segment_counter += 1\nself._active_path = self._segment_path(self._segment_counter)\nself._active_file = open(self._active_path, \"ab\")"},"explanation":{"steps":[{"node":"bitcask-compaction-renumbers-active","truth_value":"IN","reason":"premise"}]}}