fix: reject duplicate memory projection identities #291

Open
nsaspy wants to merge 0 commits from rage/382-memory-duplicate-projections into main
Owner

Successor to #383 after the required replay onto post-#381 canonical main. Closes #382 and advances #7.

RED→GREEN correctness slice:

  • backend projection cleanup evidence remains capped at 64 IDs and 128 characters each;
  • duplicate projection IDs fail closed after shape/bound validation;
  • no parallel backend or unsupported forgetting semantics are introduced.

Merge only after fresh exact-head source/install compatibility, registry/plugin tests, and generated Nix package builds are green.

Successor to #383 after the required replay onto post-#381 canonical main. Closes #382 and advances #7. RED→GREEN correctness slice: - backend projection cleanup evidence remains capped at 64 IDs and 128 characters each; - duplicate projection IDs fail closed after shape/bound validation; - no parallel backend or unsupported forgetting semantics are introduced. Merge only after fresh exact-head source/install compatibility, registry/plugin tests, and generated Nix package builds are green.
Some checks failed
CI / test (pull_request) Failing after 42s
This branch is already included in the target branch. There is nothing to merge.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/382-memory-duplicate-projections:rage/382-memory-duplicate-projections
git switch rage/382-memory-duplicate-projections

Merge

Merge the changes and update on Forgejo.

Warning: The "Autodetect manual merge" setting is not enabled for this repository, you will have to mark this pull request as manually merged afterwards.

git switch main
git merge --no-ff rage/382-memory-duplicate-projections
git switch rage/382-memory-duplicate-projections
git rebase main
git switch main
git merge --ff-only rage/382-memory-duplicate-projections
git switch rage/382-memory-duplicate-projections
git rebase main
git switch main
git merge --no-ff rage/382-memory-duplicate-projections
git switch main
git merge --squash rage/382-memory-duplicate-projections
git switch main
git merge --ff-only rage/382-memory-duplicate-projections
git switch main
git merge rage/382-memory-duplicate-projections
git push origin main
Sign in to join this conversation.
No description provided.