coding: fence branch creation to observed HEAD #388

Open
nsaspy wants to merge 0 commits from rage/185-fence-branch-create into main
Owner

Closes #185. Advances #1.

RAGE transaction.

RED 9e469f80: branch creation must require a caller-observed full expected_head, create exactly from that object ID, and refuse mutation if repository HEAD moved.

Implementation:

  • 33e0e4b7: domain layer validates a full object ID, rechecks repository HEAD, then creates the new ref at exactly expected_head with create-only update-ref semantics.
  • 03b07ff6: plugin/tool layer requires and forwards expected_head; public description matches the fenced behavior.
  • c9ac04e5: merged current canonical main (a50b6ffb, registry #184) without dropping either transaction.

Canonical approval metadata remains mandatory. Final gate: compatibility contracts, full nix flake check, generated package builds, zero unresolved review threads, exact-head protected merge.

Closes #185. Advances #1. RAGE transaction. RED `9e469f80`: branch creation must require a caller-observed full `expected_head`, create exactly from that object ID, and refuse mutation if repository HEAD moved. Implementation: - `33e0e4b7`: domain layer validates a full object ID, rechecks repository HEAD, then creates the new ref at exactly `expected_head` with create-only `update-ref` semantics. - `03b07ff6`: plugin/tool layer requires and forwards `expected_head`; public description matches the fenced behavior. - `c9ac04e5`: merged current canonical `main` (`a50b6ffb`, registry #184) without dropping either transaction. Canonical approval metadata remains mandatory. Final gate: compatibility contracts, full `nix flake check`, generated package builds, zero unresolved review threads, exact-head protected merge.
Some checks failed
CI / test (pull_request) Failing after 18s
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/185-fence-branch-create:rage/185-fence-branch-create
git switch rage/185-fence-branch-create

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