Status: OUT
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.
merge logic is correct but concurrent access during compaction can corrupt shared mutable state
Depends on (SL): compact-purges-tombstones, sstable-merge-forward-only
Unless: compact-no-concurrency-safety