zara-coding: reject duplicate verifier evidence #363

Open
nsaspy wants to merge 0 commits from rage/236-verifier-duplicate-evidence into main
Owner

Advances #1 and closes #236.

TDD transaction:

  1. RED: prove direct repository verification accepts duplicate changed-path and worktree-path assertion values even though the canonical evidence builder rejects them.
  2. GREEN: fail closed at _repository_payload() rather than silently deduplicating before Prolog-RLM verification.

No Core changes and no execution authority added.

Advances #1 and closes #236. TDD transaction: 1. RED: prove direct repository verification accepts duplicate changed-path and worktree-path assertion values even though the canonical evidence builder rejects them. 2. GREEN: fail closed at `_repository_payload()` rather than silently deduplicating before Prolog-RLM verification. No Core changes and no execution authority added.
Some checks failed
CI / test (pull_request) Failing after 20s
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/236-verifier-duplicate-evidence:rage/236-verifier-duplicate-evidence
git switch rage/236-verifier-duplicate-evidence

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/236-verifier-duplicate-evidence
git switch rage/236-verifier-duplicate-evidence
git rebase main
git switch main
git merge --ff-only rage/236-verifier-duplicate-evidence
git switch rage/236-verifier-duplicate-evidence
git rebase main
git switch main
git merge --no-ff rage/236-verifier-duplicate-evidence
git switch main
git merge --squash rage/236-verifier-duplicate-evidence
git switch main
git merge --ff-only rage/236-verifier-duplicate-evidence
git switch main
git merge rage/236-verifier-duplicate-evidence
git push origin main
Sign in to join this conversation.
No description provided.