{"id":"counting-bloom-trades-correctness-for-unneeded-capability","text":"The counting Bloom filter pays 8x memory overhead and introduces false negatives through its removal operation for a capability (element deletion) that the primary use case — immutable SSTables — never needs, since SSTables are write-once and discarded whole during compaction.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["cbf-8x-memory-vs-standard","cbf-remove-can-introduce-false-negatives","standard-bloom-suffices-for-immutable-sstables"],"outlist":[],"label":"Counting bloom filter trades memory and correctness for deletion support SSTables don't require"}],"dependents":[],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"counting-bloom-trades-correctness-for-unneeded-capability","truth_value":"IN","reason":"SL justification valid","antecedents":["cbf-8x-memory-vs-standard","cbf-remove-can-introduce-false-negatives","standard-bloom-suffices-for-immutable-sstables"],"label":"Counting bloom filter trades memory and correctness for deletion support SSTables don't require"},{"node":"cbf-8x-memory-vs-standard","truth_value":"IN","reason":"premise"},{"node":"cbf-remove-can-introduce-false-negatives","truth_value":"IN","reason":"premise"},{"node":"standard-bloom-suffices-for-immutable-sstables","truth_value":"IN","reason":"premise"}]}}