{"id":"lsm-compaction-safely-reduces-read-amplification","text":"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.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["lsm-compaction-is-full-merge","lsm-compaction-last-writer-wins"],"outlist":["lsm-no-concurrency-control"],"label":"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"}],"dependents":[],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"lsm-compaction-safely-reduces-read-amplification","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":[],"label":"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","violated_outlist":["lsm-no-concurrency-control"]}]}}