zara-coding: add bounded structured git log evidence #471

Open
nsaspy wants to merge 10 commits from rage/1-git-log-adapter into main
Owner

Advances #1 with two bounded read-only Git evidence slices.

Slices

  • RED-first contract for structured commit history
  • coding.git.log: fixed-format argv-only history capped to 1..100 commits
  • RED-first contract for structured local branch inventory
  • coding.git.branches: fixed-format local refs capped to 1..100 branches
  • both tools stay behind the existing allowed-root repository boundary
  • shared bounded-limit validation rejects invalid requests before spawning Git
  • docs cover the read-only evidence surfaces and security boundaries

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

Gate

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

Advances #1 with two bounded read-only Git evidence slices. ## Slices - RED-first contract for structured commit history - `coding.git.log`: fixed-format argv-only history capped to 1..100 commits - RED-first contract for structured local branch inventory - `coding.git.branches`: fixed-format local refs capped to 1..100 branches - both tools stay behind the existing allowed-root repository boundary - shared bounded-limit validation rejects invalid requests before spawning Git - docs cover the read-only evidence surfaces and security boundaries No Git mutation, arbitrary shell/eval, caller-controlled Git options/formats, alternate assistant runtime, or approval bypass is introduced. ## Gate Merge only after exact-head CI passes compatibility gate contract tests, full registry/plugin tests, package builds, and Nix checks.
Some checks failed
CI / test (pull_request) Failing after 21s
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/lib/zara_coding/plugin.py
  • plugins/zara-coding/test/test_domain.py
  • plugins/zara-coding/test/test_plugin.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-log-adapter:rage/1-git-log-adapter
git switch rage/1-git-log-adapter

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