{"id":"sstable-point-lookup-correct-under-sort-invariant","text":"SSTable point lookups return correct results through two-phase search (binary search on sparse index to identify block, then linear scan within block), with clean None returns for keys not present in the table.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{"_retracted":true},"explanation":{"steps":[{"node":"sstable-point-lookup-correct-under-sort-invariant","truth_value":"OUT","reason":"retracted premise"}]}}