{"id":"both-storage-paradigms-hit-scalability-walls","text":"Both storage paradigms in the reference implementations exhibit fundamental scalability constraints: the hash index requires all keys in RAM (making dataset size directly bound by available memory with no spill-to-disk fallback), while the LSM tree scans every SSTable on negative lookups because the correctly-implemented Bloom filter module is never wired into the read path.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["hash-index-is-memory-bound-by-design","lsm-miss-probes-all-due-to-no-bloom-integration"],"outlist":[],"label":"hash-index memory bound + LSM missing-key linear scan = neither paradigm scales gracefully"}],"dependents":["no-storage-paradigm-is-both-scalable-and-self-healing"],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"invalid"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"both-storage-paradigms-hit-scalability-walls","truth_value":"IN","reason":"SL justification valid","antecedents":["hash-index-is-memory-bound-by-design","lsm-miss-probes-all-due-to-no-bloom-integration"],"label":"hash-index memory bound + LSM missing-key linear scan = neither paradigm scales gracefully"},{"node":"hash-index-is-memory-bound-by-design","truth_value":"IN","reason":"SL justification valid","antecedents":["hash-index-all-keys-in-memory","hash-index-keys-must-fit-in-ram","hash-index-read-is-single-seek"],"label":"The O(1) read guarantee is inseparable from the all-keys-in-memory constraint — one cannot exist without the other"},{"node":"hash-index-all-keys-in-memory","truth_value":"IN","reason":"premise"},{"node":"hash-index-keys-must-fit-in-ram","truth_value":"IN","reason":"premise"},{"node":"hash-index-read-is-single-seek","truth_value":"IN","reason":"premise"},{"node":"lsm-miss-probes-all-due-to-no-bloom-integration","truth_value":"IN","reason":"SL justification valid","antecedents":["bloom-filter-not-integrated","lsm-get-probes-all-sstables-on-miss"],"label":"A correct but unused module creates a concrete performance gap: O(N) SSTable probes on miss instead of the O(1) expected false-positive rate"},{"node":"bloom-filter-not-integrated","truth_value":"IN","reason":"premise"},{"node":"lsm-get-probes-all-sstables-on-miss","truth_value":"IN","reason":"premise"}]}}