zara-coding: add bounded structured git diff summary #470

Open
nsaspy wants to merge 6 commits from rage/1-git-diff-summary into main
Owner

Advances #1.

Slice

  • RED-first structured diff contract
  • fixed git diff --numstat --no-renames HEAD -- evidence only
  • coding.git.diff read-only Zara tool behind the existing allowed-root boundary
  • explicit 1..100 changed-file bound; over-limit results fail closed
  • binary changes are represented explicitly without arbitrary patch payloads

No caller-controlled Git options/revisions, arbitrary shell/eval, Git mutation, alternate runtime, or approval bypass is introduced.

Gate

Merge only after exact-head CI passes compatibility contract tests, full registry/plugin tests, package builds, and Nix checks.

Advances #1. ## Slice - RED-first structured diff contract - fixed `git diff --numstat --no-renames HEAD --` evidence only - `coding.git.diff` read-only Zara tool behind the existing allowed-root boundary - explicit 1..100 changed-file bound; over-limit results fail closed - binary changes are represented explicitly without arbitrary patch payloads No caller-controlled Git options/revisions, arbitrary shell/eval, Git mutation, alternate runtime, or approval bypass is introduced. ## Gate Merge only after exact-head CI passes compatibility contract tests, full registry/plugin tests, package builds, and Nix checks.
Some checks failed
CI / test (pull_request) Failing after 22s
This pull request has changes conflicting with the target branch.
  • plugins/zara-coding/README.md
  • plugins/zara-coding/lib/zara_coding/domain.py
  • plugins/zara-coding/test/test_domain.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-git-diff-summary:rage/1-git-diff-summary
git switch rage/1-git-diff-summary

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