zara-coding: validate branch identity at VERIFY boundary #434

Open
nsaspy wants to merge 0 commits from rage/1-zara-coding-verify-branch-shape into main
Owner

Advances #1 with verifier-boundary branch identity hardening. Tampered repository evidence can no longer inject NUL or multiline branch identities into canonical Prolog-RLM verification; the explicit DETACHED identity remains valid.

RAGE transaction

  • RED-first 3da4986c: rejects NUL/multiline branch values and preserves DETACHED.
  • implementation dcb25cf6: enforces single-line branch identity before verifier execution.

No execution or authorization expansion. Exact-head compatibility, full registry/plugin checks, and generated Nix package builds remain mandatory before merge.

Advances #1 with verifier-boundary branch identity hardening. Tampered repository evidence can no longer inject NUL or multiline branch identities into canonical Prolog-RLM verification; the explicit `DETACHED` identity remains valid. ## RAGE transaction - RED-first `3da4986c`: rejects NUL/multiline branch values and preserves `DETACHED`. - implementation `dcb25cf6`: enforces single-line branch identity before verifier execution. No execution or authorization expansion. Exact-head compatibility, full registry/plugin checks, and generated Nix package builds remain mandatory before 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/1-zara-coding-verify-branch-shape:rage/1-zara-coding-verify-branch-shape
git switch rage/1-zara-coding-verify-branch-shape

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