{"id":"lsm-compaction-output-is-correct","text":"LSM compaction produces correct merged output: tombstones are properly purged from the output SSTable, and the k-way merge is forward-only preserving sort order.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"lsm-compaction-output-is-correct","truth_value":"OUT","reason":"retracted premise"}]}}