{"id":"sstable-sorted-order-caller-responsibility","text":"`SSTableWriter.add()` does not enforce sorted key order; violation silently corrupts binary search in `SSTableReader.get()`.","truth_value":"OUT","source":"entries/2026/05/28/sstable-and-compaction-sstable.md","source_url":"","source_hash":"","justifications":[],"dependents":["sstable-point-lookup-correct-under-sort-invariant","sstable-write-path-has-dual-fragility"],"metadata":{"_retracted":true},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"sstable-sorted-order-caller-responsibility","truth_value":"OUT","reason":"retracted premise"}]}}