zara-coding: validate worktree paths at VERIFY boundary #438

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

Advances #1 with another verifier-boundary integrity check. Tampered worktree evidence must not inject relative or NUL-containing path identities into the canonical Prolog-RLM verification payload.

RAGE transaction

  • RED-first ec4d7ab8: deterministic tests for relative and NUL-containing worktree paths.
  • implementation 8f3f6a51: requires absolute, NUL-free worktree paths before Prolog-RLM execution.

No execution or authorization expansion. Registry compatibility, full plugin checks, and generated Nix package builds remain mandatory before merge.

Advances #1 with another verifier-boundary integrity check. Tampered worktree evidence must not inject relative or NUL-containing path identities into the canonical Prolog-RLM verification payload. ## RAGE transaction - RED-first `ec4d7ab8`: deterministic tests for relative and NUL-containing worktree paths. - implementation `8f3f6a51`: requires absolute, NUL-free worktree paths before Prolog-RLM execution. No execution or authorization expansion. Registry compatibility, full plugin checks, and generated Nix package builds remain mandatory before 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/1-zara-coding-verify-worktree-path-shape:rage/1-zara-coding-verify-worktree-path-shape
git switch rage/1-zara-coding-verify-worktree-path-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-worktree-path-shape
git switch rage/1-zara-coding-verify-worktree-path-shape
git rebase main
git switch main
git merge --ff-only rage/1-zara-coding-verify-worktree-path-shape
git switch rage/1-zara-coding-verify-worktree-path-shape
git rebase main
git switch main
git merge --no-ff rage/1-zara-coding-verify-worktree-path-shape
git switch main
git merge --squash rage/1-zara-coding-verify-worktree-path-shape
git switch main
git merge --ff-only rage/1-zara-coding-verify-worktree-path-shape
git switch main
git merge rage/1-zara-coding-verify-worktree-path-shape
git push origin main
Sign in to join this conversation.
No description provided.