zara-coding: fail closed on truncated branch inventory #444

Open
nsaspy wants to merge 3 commits from rage/1-zara-coding-branch-inventory-bound into main
Owner

Advances #1 by making bounded local-branch evidence fail closed instead of silently accepting truncation from git for-each-ref --count.

RAGE transaction

  • RED-first e6a77726: proves a branch inventory with more refs than the caller bound must raise a useful incompatibility error.
  • implementation 2f67276c: keeps the bounded caller-visible query and adds a bounded limit + 1 probe; structured parsing rejects any over-limit result.

The probe remains bounded (maximum 101 refs), uses fixed argv/no shell, and does not add an execution or authorization surface. Exact-head CI must pass compatibility, the full registry/plugin nix flake check, and generated package builds before merge.

Advances #1 by making bounded local-branch evidence fail closed instead of silently accepting truncation from `git for-each-ref --count`. ## RAGE transaction - RED-first `e6a77726`: proves a branch inventory with more refs than the caller bound must raise a useful incompatibility error. - implementation `2f67276c`: keeps the bounded caller-visible query and adds a bounded `limit + 1` probe; structured parsing rejects any over-limit result. The probe remains bounded (maximum 101 refs), uses fixed argv/no shell, and does not add an execution or authorization surface. Exact-head CI must pass compatibility, the full registry/plugin `nix flake check`, and generated package builds before merge.
Some checks failed
CI / test (pull_request) Failing after 18s
This pull request has changes conflicting with the target branch.
  • plugins/zara-coding/lib/zara_coding/domain.py
  • plugins/zara-coding/test/test_branch_inventory_bound.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-branch-inventory-bound:rage/1-zara-coding-branch-inventory-bound
git switch rage/1-zara-coding-branch-inventory-bound

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