{"id":"cbf-saturated-counters-never-decrement","text":"When a `CountingBloomFilter` counter reaches `_max_val` (default 15 for 4-bit counters), it is permanently frozen: neither `add` nor `remove` will change it","truth_value":"IN","source":"entries/2026/05/29/bloom-filter-bloom_filter-CountingBloomFilter.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"cbf-saturated-counters-never-decrement","truth_value":"IN","reason":"premise"}]}}