coding: prove detached worktree creation #381

Open
nsaspy wants to merge 0 commits from rage/200-worktree-add-proof into main
Owner

Advances #1. Closes #200.

RAGE transaction:

  • RED 620139e8: zero-exit creation without registered target and changed post-add identity must fail.
  • implementation 048d3ec8: re-read canonical worktree inventory after git worktree add and prove target registration, detached state, no branch, and expected HEAD.
  • fixture update 3823c4da: existing positive test now models the mandatory post-add inventory and asserts the proof read occurs.

No shell/runtime expansion; allowed-root confinement, direct commit verification, and approval gating are preserved.

Required gate: focused tests, registry compatibility, full nix flake check, generated package builds, exact-head green before merge.

Advances #1. Closes #200. RAGE transaction: - RED `620139e8`: zero-exit creation without registered target and changed post-add identity must fail. - implementation `048d3ec8`: re-read canonical worktree inventory after `git worktree add` and prove target registration, detached state, no branch, and expected HEAD. - fixture update `3823c4da`: existing positive test now models the mandatory post-add inventory and asserts the proof read occurs. No shell/runtime expansion; allowed-root confinement, direct commit verification, and approval gating are preserved. Required gate: focused tests, registry compatibility, full `nix flake check`, generated package builds, exact-head green before merge.
Some checks failed
CI / test (pull_request) Failing after 16s
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/200-worktree-add-proof:rage/200-worktree-add-proof
git switch rage/200-worktree-add-proof

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/200-worktree-add-proof
git switch rage/200-worktree-add-proof
git rebase main
git switch main
git merge --ff-only rage/200-worktree-add-proof
git switch rage/200-worktree-add-proof
git rebase main
git switch main
git merge --no-ff rage/200-worktree-add-proof
git switch main
git merge --squash rage/200-worktree-add-proof
git switch main
git merge --ff-only rage/200-worktree-add-proof
git switch main
git merge rage/200-worktree-add-proof
git push origin main
Sign in to join this conversation.
No description provided.