Status: OUT
LSM compaction correctly reduces read amplification by merging all SSTables into a single output with last-writer-wins dedup: the full-merge strategy eliminates all redundant entries and the newest value always wins during conflict resolution, producing a minimal SSTable set.
Full merge with last-writer-wins dedup produces correct compacted output, gated on the absence of concurrency control allowing readers to see inconsistent state mid-compaction
Depends on (SL): lsm-compaction-is-full-merge, lsm-compaction-last-writer-wins
Unless: lsm-no-concurrency-control