zara-coding: validate worktree evidence collection shape #442

Open
nsaspy wants to merge 2 commits from rage/1-zara-coding-worktree-evidence-shape into main
Owner

Advances #1 by making repository verification evidence reject malformed worktree collections at the structured boundary instead of leaking implementation exceptions.

RAGE transaction

  • RED-first b590846c: text collections and non-mapping entries must fail with useful validation errors.
  • implementation f20cb782: validates the collection type, 100-entry bound, and per-entry mapping shape before projecting lock evidence.

This is evidence validation only: no execution, authorization, or plugin-runtime expansion. Exact-head compatibility, full registry/plugin Nix checks, and generated package builds are required before merge.

Advances #1 by making repository verification evidence reject malformed worktree collections at the structured boundary instead of leaking implementation exceptions. ## RAGE transaction - RED-first `b590846c`: text collections and non-mapping entries must fail with useful validation errors. - implementation `f20cb782`: validates the collection type, 100-entry bound, and per-entry mapping shape before projecting lock evidence. This is evidence validation only: no execution, authorization, or plugin-runtime expansion. Exact-head compatibility, full registry/plugin Nix checks, and generated package builds are required before merge.
Some checks failed
CI / test (pull_request) Failing after 16s
This pull request has changes conflicting with the target branch.
  • plugins/zara-coding/lib/zara_coding/repository_evidence.py
  • plugins/zara-coding/test/test_repository_evidence_worktree_shape.py
View command line instructions

Manual merge helper

Use this merge commit message when completing the merge manually.

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u origin rage/1-zara-coding-worktree-evidence-shape:rage/1-zara-coding-worktree-evidence-shape
git switch rage/1-zara-coding-worktree-evidence-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-worktree-evidence-shape
git switch rage/1-zara-coding-worktree-evidence-shape
git rebase main
git switch main
git merge --ff-only rage/1-zara-coding-worktree-evidence-shape
git switch rage/1-zara-coding-worktree-evidence-shape
git rebase main
git switch main
git merge --no-ff rage/1-zara-coding-worktree-evidence-shape
git switch main
git merge --squash rage/1-zara-coding-worktree-evidence-shape
git switch main
git merge --ff-only rage/1-zara-coding-worktree-evidence-shape
git switch main
git merge rage/1-zara-coding-worktree-evidence-shape
git push origin main
Sign in to join this conversation.
No description provided.