coding: fail closed on changing branch inventory #387

Open
nsaspy wants to merge 0 commits from rage/187-branch-inventory-snapshot into main
Owner

Closes #187. Advances #1.

RAGE transaction.

RED dff9b93e: branch inventory must fail closed when refs change between the first bounded read and the existing overflow probe.

Sync 79b91519: merged canonical main including #186 without losing the RED.

Implementation d4691e16: parse the second bounded snapshot and reject when its canonical structured branch inventory differs from the first; existing overflow and malformed-output checks remain intact.

Final gate: compatibility contracts, full generated registry/plugin nix flake check, generated package builds, zero unresolved review threads, exact-head protected merge.

Closes #187. Advances #1. RAGE transaction. RED `dff9b93e`: branch inventory must fail closed when refs change between the first bounded read and the existing overflow probe. Sync `79b91519`: merged canonical `main` including #186 without losing the RED. Implementation `d4691e16`: parse the second bounded snapshot and reject when its canonical structured branch inventory differs from the first; existing overflow and malformed-output checks remain intact. Final gate: compatibility contracts, full generated registry/plugin `nix flake check`, generated package builds, zero unresolved review threads, exact-head protected merge.
Some checks failed
CI / test (pull_request) Failing after 17s
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/187-branch-inventory-snapshot:rage/187-branch-inventory-snapshot
git switch rage/187-branch-inventory-snapshot

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/187-branch-inventory-snapshot
git switch rage/187-branch-inventory-snapshot
git rebase main
git switch main
git merge --ff-only rage/187-branch-inventory-snapshot
git switch rage/187-branch-inventory-snapshot
git rebase main
git switch main
git merge --no-ff rage/187-branch-inventory-snapshot
git switch main
git merge --squash rage/187-branch-inventory-snapshot
git switch main
git merge --ff-only rage/187-branch-inventory-snapshot
git switch main
git merge rage/187-branch-inventory-snapshot
git push origin main
Sign in to join this conversation.
No description provided.