zara-coding: bound direct repository snapshot paths #447

Open
nsaspy wants to merge 4 commits from rage/1-zara-coding-inspect-bound into main
Owner

Advances #1 by making the direct coding.repo.status / coding.repo.inspect snapshot surface obey the same bounded-evidence discipline as SPEC verification.

RAGE transaction

  • RED-first 55ebd43: prove inspection fails closed above 100 unique changed paths and deduplicates tracked/untracked overlap before enforcing the bound.
  • implementation feb5563: cap the canonical repository snapshot at 100 unique changed paths and raise an explicit incompatibility/error instead of returning an unbounded result.

This closes a plugin-owned bounded-interface gap without truncating evidence or pretending a partial snapshot is complete. No new authority, shell mode, or execution path.

Exact-head CI must pass compatibility, full generated registry/plugin Nix checks, and package builds before merge.

Advances #1 by making the direct `coding.repo.status` / `coding.repo.inspect` snapshot surface obey the same bounded-evidence discipline as SPEC verification. ## RAGE transaction - RED-first `55ebd43`: prove inspection fails closed above 100 unique changed paths and deduplicates tracked/untracked overlap before enforcing the bound. - implementation `feb5563`: cap the canonical repository snapshot at 100 unique changed paths and raise an explicit incompatibility/error instead of returning an unbounded result. This closes a plugin-owned bounded-interface gap without truncating evidence or pretending a partial snapshot is complete. No new authority, shell mode, or execution path. Exact-head CI must pass compatibility, full generated registry/plugin Nix checks, and package builds before merge.
Some checks failed
CI / test (pull_request) Failing after 17s
This pull request has changes conflicting with the target branch.
  • plugins/zara-coding/lib/zara_coding/domain.py
  • plugins/zara-coding/test/test_inspect_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-inspect-bound:rage/1-zara-coding-inspect-bound
git switch rage/1-zara-coding-inspect-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-inspect-bound
git switch rage/1-zara-coding-inspect-bound
git rebase main
git switch main
git merge --ff-only rage/1-zara-coding-inspect-bound
git switch rage/1-zara-coding-inspect-bound
git rebase main
git switch main
git merge --no-ff rage/1-zara-coding-inspect-bound
git switch main
git merge --squash rage/1-zara-coding-inspect-bound
git switch main
git merge --ff-only rage/1-zara-coding-inspect-bound
git switch main
git merge rage/1-zara-coding-inspect-bound
git push origin main
Sign in to join this conversation.
No description provided.