{"id":"bloom-filter-no-false-negatives","text":"After `BloomFilter.add(x)`, `x in filter` always returns `True`; the data structure guarantees zero false negatives by design (all k bit positions are set on add and all must be set for membership).","truth_value":"IN","source":"entries/2026/05/29/bloom-filter-bloom_filter-BloomFilter.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"bloom-filter-no-false-negatives","truth_value":"IN","reason":"premise"}]}}