fix: require verifier-owned passing task evidence #342

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

Implements #278 and advances #1.

RED commit 3cafca566bd4810d9a095b4f5225dc65c70e3e49 proves the current public task evidence tool allows caller-authored status="passed" to reach Prolog-owned completion state. Implementation commit 6dce9600658c635e543acc9c73d984d38deecbf0 fails closed on public passing evidence while retaining bounded failed observations. d5768959ebe1007583546f3a42784b2a0e0b3813 documents the verification trust boundary: authorization is not evidence, and passing status is verifier-owned.

Implements #278 and advances #1. RED commit `3cafca566bd4810d9a095b4f5225dc65c70e3e49` proves the current public task evidence tool allows caller-authored `status="passed"` to reach Prolog-owned completion state. Implementation commit `6dce9600658c635e543acc9c73d984d38deecbf0` fails closed on public passing evidence while retaining bounded failed observations. `d5768959ebe1007583546f3a42784b2a0e0b3813` documents the verification trust boundary: authorization is not evidence, and passing status is verifier-owned.
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-verifier-owned-evidence:rage/1-verifier-owned-evidence
git switch rage/1-verifier-owned-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/1-verifier-owned-evidence
git switch rage/1-verifier-owned-evidence
git rebase main
git switch main
git merge --ff-only rage/1-verifier-owned-evidence
git switch rage/1-verifier-owned-evidence
git rebase main
git switch main
git merge --no-ff rage/1-verifier-owned-evidence
git switch main
git merge --squash rage/1-verifier-owned-evidence
git switch main
git merge --ff-only rage/1-verifier-owned-evidence
git switch main
git merge rage/1-verifier-owned-evidence
git push origin main
Sign in to join this conversation.
No description provided.