{"id":"lcs-produces-single-output-sstable","text":"Leveled compaction merges all inputs into one SSTable rather than splitting output by size, which means levels above L0 will contain overlapping key ranges after compaction — violating the real LCS invariant that each level has non-overlapping SSTables.","truth_value":"IN","source":"entries/2026/05/29/sstable-and-compaction-sstable-CompactionManager.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"lcs-produces-single-output-sstable","truth_value":"IN","reason":"premise"}]}}