Skip to content

fix(memory): keep Bloom membership correct after insertion - #91

Merged
ma2za merged 5 commits into
ma2za:mainfrom
mazzasaverio:fix/bloom-cache-invalidation
Oct 11, 2026
Merged

ma2za merged 5 commits into
ma2za:mainfrom
mazzasaverio:fix/bloom-cache-invalidation

Conversation

@mazzasaverio

@mazzasaverio mazzasaverio commented Oct 2, 2026 •

Copy link
Copy Markdown
Contributor

A negative Bloom filter lookup remained cached after insertion, hiding newly added entries. Clear membership caches after add(), validate parameters and allocate at least one bit. Regression tests cover cached misses, Unicode, repeated additions, existing members and invalid sizing.

Validation: 11 focused tests passed. Full CI passed 528 tests per test-matrix job with 95.15% coverage, plus quality, docs, performance, property, packaging and installed-wheel checks. Local full-suite execution ended with exit 137 during ONNX, so CI supplies that evidence: https://github.com/ma2za/pseudonymize/actions/runs/36972349695 . No detector thresholds or dependencies change.

Current review status

Review priority: 4 of 9; PR #100 is the packaging prerequisite. Updated against main 17e8fcc while preserving development version 1.37.0 and the hosted-service changes. Includes the shared service-extra audit correction from #100. No PR has been merged.

Current branch validation: 20 focused tests passed; Ruff formatting/lint, mypy, wheel/sdist builds and release verification passed. Fresh CI on the current head completed with 18 successful checks, one skipped check, and no failures.

@ma2za
ma2za merged commit 82bb39a into ma2za:main Oct 11, 2026
4 checks passed
ma2za added a commit that referenced this pull request Oct 11, 2026
The roadmap mixes historical release inventory with current priorities
and names extras that are not declared by the package. Add a
source-backed product review, link it from VISION/ROADMAP and
documentation navigation, and align the current extra list with
pyproject.toml.

The review connects five implemented PRs (#91 through #95) to their
product value, then prioritizes remaining contract, resource,
integration and measurement work with explicit acceptance conditions. It
retains the local-first dependency-free vision and distinguishes
source-grounded privacy proposals from dynamically validated findings.
It makes no new model-quality, certification or release-publication
claim.

Validation: pre-commit, strict mypy, strict docs build, package build,
release verifier and git diff --check passed. Full CI, including the
Linux/Windows test matrix, property tests and installed-wheel checks,
passed: https://github.com/ma2za/pseudonymize/actions/runs/36974122837 .
Documentation and performance workflows also passed. The additional
isolated privacy harness could not start because namespace setup was
denied, which is recorded as a validation limit. No production service
was probed or changed.


### Current review status

Review priority: 7 of 9; PR #100 is the packaging prerequisite. Updated
against main `17e8fcc` while preserving development version 1.37.0 and
the hosted-service changes. Includes the shared service-extra audit
correction from #100. No PR has been merged.

Current branch validation: 11 focused tests passed; Ruff
formatting/lint, mypy, wheel/sdist builds and release verification
passed. Strict documentation build passed. Fresh CI on the current head
completed with 18 successful checks, one skipped check, and no failures.

---------

Co-authored-by: Paolo Mazza <mazzapaolo2019@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants