Status: IN
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).
Source: entries/2026/05/29/bloom-filter-bloom_filter-BloomFilter.md