{"id":"lsm-read-path-correct-across-flushes","text":"The LSM read path maintains correctness across memtable flushes by searching newest-first (memtable then SSTables in reverse sequence order) using a reference swap rather than deep copy for the frozen memtable.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"lsm-read-path-correct-across-flushes","truth_value":"OUT","reason":"retracted premise"}]}}