跳到正文
GitHub·· 6 天前AI 评分36

GitReins v0.16.0 发布:面向 AI 辅助代码的 Git 原生智能体质量护栏

totalwindupflightsystems/gitreins

AI 导读

GitReins v0.16.0 发布,为 AI 辅助代码提供 Git 原生质量护栏,新增 gitreins resolve 与 preflight 命令、按验收标准逐条裁决的 agentic evaluator,以及可调优的 resolution gate 配置。

正文

Git-Native Agent Co-Harness — static guards + agentic evaluator for AI-assisted code

CI Python 3.10+ License: MIT PyPI

GitReins Banner

GitReins lives inside your git repository as a quality harness. It provides MCP tools for task lifecycle management, an agentic evaluator that judges code completeness against task definitions, and git hooks that ensure nothing bypasses the quality gates.

✅ v0.16.0 — the release that closes the loop between what is merged and what actually runs. gitreins resolve "<question>" (and the context.resolve MCP tool) traces a question to its seed files through Hilo, assembles a measured evidence bundle and returns a calibrated verdict band; gitreins preflight checks the premises of a task before a worker is dispatched, and annotates instead of dispatching when they do not hold; the judge pre-screens candidates and attributes a verdict per acceptance criterion; per-surface config knobs make the resolution gate tunable without touching code. Repo-owned quality metrics can also be surfaced by the guard, judge, doctor, and MCP guard.run from one JSON artifact; GitReins consumes the numbers but does not compute them. See docs/quality-metrics.md for the config and worked example. On the guard side, the hook_timeout early-return now carries allow_skips (a slow repo's docs/board commits were being blocked with exit 2 by a run whose own warning said the commit was allowed), the test lane pins its interpreter so a host whose PATH carries another virtualenv can no longer fail the lane with unrecognized arguments: -n, Go guard commands run through bounded execution, and the evaluator reaps the last run's process group on exit. scripts/check_deployed_surface.py is new: it compares the deployed CLI surface with this checkout and fails loudly when a merged subcommand exists only in the repo — the drift that used to be invisible because both copies reported the same version. 2971 tests pass / 88 test files, verified by collection (optional-tool skips vary).

Every resolution-gate surface ships disabled, because resolving a question sends the assembled bundle off the host: enabling one is an explicit act, resolution.enabled.<surface>: true (cli, mcp, predispatch, judge_prescreen) in .gitreins/config.yaml — gitreins init writes the block with all four false, and only a literal true opens a surface. A disabled surface fails closed with abstain_reason: surface-disabled and prints the enabling fix. The complete block, the defaults it may omit and the calibration caveat on the judge-adjacent surfaces are in docs/jev-resolution-gate.md §9.


Quick Start

pip install gitreins
cd /path/to/your-project
gitreins install        # baseline config + pre-commit hook
gitreins init           # smart init — detects language, size, optimal config

install is the conservative baseline: its config leaves static analysis off. init is the smart opt-in path and enables static analysis for detected projects such as Python, recording the configured analyzers in the config. An explicit static_analysis setting is preserved on reruns, as is a custom guards.test_command; only the untouched install baseline may be upgraded to the detected test runner.

Running from a source checkout (no pip install): the gitreins console script is not on your PATH — it lives in the repo's virtualenv. Activate it first in each shell, then the commands above work as written:

source .venv/bin/activate        # or call .venv/bin/gitreins directly
gitreins --help

New to GitReins? Read the Onboarding Guide — full install → init → first guard run → task workflow, plus troubleshooting for the most common first-run failures (gitleaks regex config, Python import setup).

uv is optional. gitreins init prefers uv run pytest as the test command when uv is installed, but a machine without uv still passes the tests guard: when the configured test_command starts with a runner (uv run / pipenv run / poetry run) whose binary is missing from PATH, the guard automatically falls back to python -m pytest ... and prints a warning line. pip-only users never see uv: command not found.

A missing pytest runner is a skip, not a blocked commit. If the configured guards.test_command names a pytest runner this machine does not have — no pytest on PATH and nothing importable, a pinned .venv/bin/python that was never created, an interpreter that exists without pytest installed in it, a .venv/bin/pytest that does not exist — the tests lane is graded skipped, with the fix named in the reason (pip install pytest, uv sync, pip install -e .[dev]), exactly like a linter that is not on PATH. Nothing is graded, so it is never a green ✓ and never the ✗ tests (full) that used to block a fresh repo's first commit while the standalone guard printed green. Because gitreins init writes guards.allow_skips: true, that first commit lands as a DEGRADED pass naming the lane it did not grade; with allow_skips: false the run exits 2 instead. A pytest run that actually executes and fails still blocks the commit.

System tools the guard lanes want

Two static-analysis lanes look for tools outside the Python package and skip cleanly when they are absent — nothing about them is required to install or run GitReins, but an operator who wants those lanes active needs to provision the tools themselves:

  • pylsp (python-lsp-server) — the LSP lane's default server (guards.lsp_tools: ["pylsp"] in .gitreins/config.yaml). pip install gitreins does NOT install it.
  • mypy — used when the static-analysis lane is enabled (Python repos with static_analysis on; gitreins setup-tools checks for it).

Both are system-level commands the guard finds on PATH, so install them outside any PEP-668-managed system Python — into a virtualenv or via pipx:

pipx install pylsp-mypy         # or: python3 -m venv ... && pip install python-lsp-server mypy

When a tool is missing the lane is graded skipped, not failed: the guard prints no LSP tool on PATH (... not installed) / no linter on PATH with the install hint, the run is a DEGRADED pass (exit 0 with guards.allow_skips: true, exit 2 without), and the commit is never blocked by an absent optional tool. gitreins setup-tools reports which of these it can see on the current machine.

How It Works

  1. Create tasks — Define criteria via CLI or MCP tools
  2. Work with your AI agent — Claude, Hermes, Codex, or Pi does code generation
  3. Complete tasks — gitreins task complete <id> triggers automatic evaluation. Tier 2 needs an LLM credential; configure GITREINS_LLM_API_KEY (plus optional GITREINS_LLM_BASE_URL and GITREINS_LLM_MODEL) first. For an explicit Tier-1-only run, use gitreins task complete --skip-tier2 <id>.
  4. Tier 1: Static guards — secrets, build, lint, tests (configurable)
  5. Tier 2: Agentic evaluator — LLM loop reads files, runs tests, delivers per-criterion PASS/FAIL
  6. Verdicts persisted — stored in .gitreins/history/, browsable via gitreins report or the live judgment browser gitreins serve. Each verdict keeps the run's own evidence next to it (worker-brief.md, driver-log.tail.txt, commit.patch and, when the tree was dirty, worktree.patch — see GITREINS_WORKER_BRIEF / GITREINS_DRIVER_LOG), so the browser's detail pane shows the brief, the log tail and the patch the judge graded. QA runs (worktree fresh|repro|dogfood) record their own verdict in the QA ledger — gitreins qa list, and gitreins qa record for a run produced outside the harness (a fleet lane, a bunker battery)
  7. Commit through harness — pre-commit hook runs guards, blocks if checks fail

MCP commit rule: the MCP commit tool refuses while any task is in_progress — completed work must be judged against the task's criteria first. Finish tasks with task.complete (which runs the quality judge) or remove them with task.delete, then retry the commit.

Commands

gitreins install                      # Install hooks + config
gitreins init                         # Smart init (language, size, optimal config)
gitreins doctor [--fix]               # Validate .gitleaks.toml (--fix migrates pre-DF-001 glob allowlist entries)
gitreins guard [--dead-code]          # Run Tier 1 static checks (--dead-code: opt-in Python dead-code detection)
gitreins security-scan [-d DIR] [--output text|json] [--force-ml]
                                       # Run the Antares CVE localization scanner
gitreins report [-n N] [--interactive]  # Browse verdict history
gitreins task create <id> <title> [criteria...] [--depends-on ...]
gitreins task start <id>
gitreins task complete <id> [--force] [--skip-tier2]
# Tier 2 requires GITREINS_LLM_API_KEY; optionally set GITREINS_LLM_BASE_URL and GITREINS_LLM_MODEL.
# Use --skip-tier2 for an explicit Tier 1-only evaluation without an LLM key.
gitreins task list [--status pending|in_progress|complete]
gitreins task delete <id>
gitreins judge <id>                   # Evaluate a task
gitreins commit <message>             # Commit with guard checks
gitreins commit-audit [message]       # Validate commit message against staged diff (commit-msg hook)
gitreins setup-tools                  # Show available static analysis tools and install instructions
gitreins mcp-server                   # Run MCP stdio server (for AI agents)
gitreins serve [--repo <path>] [--port <port>] [--project <name>]
                                      # Live judgment browser (local web server)
gitreins qa list [--json]             # QA run ledger (fresh/repro/dogfood verdicts)
gitreins qa record --project <name> [--verdict PASS|FAIL --cell <name>=<status>]
                                      # Record a QA run produced outside the harness

Parallel worktree fleet

A foreman or scheduler can run an explicit JSON/YAML manifest without coupling to a scheduler implementation. Each lane gets one ../<repo>-wt/<task-id> tree; commands run with argv arrays in that tree, bounded by the configured cap. Optional guard and judge argv arrays record those phases in the shared canonical registry.

gitreins worktree fleet lanes.json
gitreins worktree fleet lanes.json --max-concurrent-worktrees 3
gitreins worktree fleet lanes.json --merge --force-merge --actor release-bot
# Inspect cap, phase, exit status, and retained evidence:
gitreins worktree list

A judge-gated merge needs a verdict for the lane's exact branch commit, so the lane that reviews is the lane that runs the judge. A mergeable fleet run is a CONTRACT between three checkouts, and every step below is required — skipping one produces a fleet that runs but can never merge. The full walkthrough (with real transcripts, the verdict gate, and retry recovery) lives in docs/worktree-fleet-quickstart.md:

  1. gitreins init in the canonical checkout, then COMMIT its output — .gitreins/config.yaml above all: it is the one init artifact that is not gitignored, and a lane tree is a fresh checkout of committed files, so an uncommitted config never reaches a lane and every lane's guard/judge phase dies with no .gitreins/config.yaml. (The lane-side message says run 'gitreins init' first — re-initialising the lane cannot fix the next lane; only committing the config in canonical main can.)
  2. Create the task in the canonical checkout (gitreins task create), never inside a lane. The task store is per-checkout, so the fleet seeds the lane's copy before the judge phase runs — but only if the task exists in canonical main.
  3. Write the manifest OUTSIDE the checkout (or commit it) — an untracked file in canonical main is dirt, and the merge gate refuses a dirty canonical main.
  4. The lane's command must commit its work in the lane tree (the merge gate rejects a dirty lane) and must be idempotent across retries — the same manifest gets re-run after refused merges and scheduler retries, and a plain git commit fails the second time with nothing to commit. See the git diff --cached --quiet || idiom in the example below.
  5. The judge phase runs in the lane (judge argv, task seeded by the fleet) and --merge enforces the verdict gate: a PASS for the lane's exact branch commit, with no skipped Tier 1 steps. No verdict, no merge.
# 0. A repository that already passes its own gate. `init` writes the guard
#    config, the pre-commit hook and the .gitignore entries — commit them, so
#    every lane inherits them with the branch (step 1 above).
gitreins init
git add -A && git commit -m "gitreins: init"

# 1. The task and its criteria belong to the repository, not to one lane
#    (step 2 above).
gitreins task create API-1 "Serve GET /status" \
  "GET /status returns 200" \
  "A test covers the endpoint"

# 2. lanes.json — `command` is the lane's work, `judge` names the task above.
#    The fleet copies that task into the lane's own tree before the judge phase
#    runs: `.gitreins/tasks.yaml` is per-checkout and never committed, so a
#    fresh worktree starts with an empty store.  Keep the manifest OUTSIDE the
#    checkout (or commit it): an untracked file in canonical main is dirt, and
#    the merge gate refuses a dirty canonical main (step 3 above).  The commit
#    guard `(git diff --cached --quiet || git commit ...)` makes the lane
#    idempotent: a re-run after a refused merge does not die on the lane's own
#    already-committed work (step 4 above).
cat > ../lanes.json <<'JSON'
{
  "lanes": [
    {
      "task_id": "API-1",
      "priority": 10,
      "command": ["bash", "-c", "echo ok > status.txt && git add status.txt && (git diff --cached --quiet || git commit -qm 'API-1 status endpoint')"],
      "guard": ["gitreins", "guard"],
      "judge": ["gitreins", "judge", "API-1", "--skip-tier2"]
    }
  ]
}
JSON

# 3. Run the lanes, then merge the ones that earned a PASS verdict (step 5).
gitreins worktree fleet ../lanes.json --merge
# Inspect cap, phase, exit status, and retained evidence:
gitreins worktree list

guard and judge are both optional (guard runs gitreins guard in the lane before the judge; a lane with no judge phase merges only with --force-merge). The judge phase needs an LLM credential for Tier 2 (GITREINS_LLM_API_KEY, or a supported provider key) in the environment the fleet runs in; without one, append --skip-tier2 to the judge argv for an explicit Tier 1-only evaluation — its PASS merges exactly like a full one. A lane that must not write task or verdict state can judge with judge --ephemeral --persist-verdict: still no history and no task store, but the single document the merge gate reads (.gitreins/verdicts/verdict.json) makes its PASS usable by --merge. Either way the gate compares the verdict's own worktree/branch/commit stamps with the lane's branch tip, so a verdict that graded a different commit is not a verdict; a lane whose judge phase failed (or whose PASS carries skipped Tier 1 checks) is reported, never merged.

The default cap is 2 and can be overridden in .gitreins/config.yaml:

worktree_fleet:
  max_concurrent_worktrees: 2
  venv:
    source: .venv
    name: .venv

When the configured source exists, every new task tree symlinks it rather than installing dependencies. A missing source is allowed for non-Python projects; existing destination files are never replaced. The shared environment is intentionally not mutated by GitReins, and concurrent dependency installs are not lane-safe. Successful --merge lanes are applied in priority/task-id order under an advisory lock; normal judge verdict gates remain in force.


Security Scan (optional)

GitReins ships an opt-in Tier 1 security guard that localizes known CVEs against your staged Python code. It is built on the Antares CVE localization framework (FDTN-AI's 1B-parameter model fine-tuned for code-level vulnerability localization). Until the optional ML stack is installed, the guard falls back to a keyword-based heuristic that produces CVE-SIMULATED findings so the wiring can be exercised end-to-end.

CLI

# Scan staged Python files (default; used by `gitreins guard`).
gitreins security-scan

# Recursively scan a directory instead of staged files.
gitreins security-scan --directory engine/

# Machine-readable output for piping into other tools.
gitreins security-scan --output json

# Require real ML inference — fail if huggingface_hub/transformers
# are not installed (exit code 2). Without this flag the heuristic
# fallback is used.
gitreins security-scan --force-ml

Exit codes:

Code Meaning
0 Clean — no findings
1 One or more findings produced
2 --force-ml requested but ML dependencies are missing

Install requirements

The heuristic scanner has no extra dependencies. Real ML inference requires the optional ML stack:

pip install huggingface_hub transformers
# Optional, for GPU inference:
pip install torch        # or onnxruntime

The model is downloaded on first use into ~/.cache/gitreins/antares-1b/ and reused on subsequent runs.

Configuration

Enable the guard in .gitreins/config.yaml:

defaults:
  security_scan:
    enabled: true              # opt-in: default false
    model: antares-1b          # "antares-1b" | "antares-350m"
    min_confidence: 0.7        # filter by CVSS severity score
    cve_source: nvd            # "nvd" | "github" | "both"
Key Default Notes
enabled false When true, the security_scan guard runs alongside other Tier 1 checks
model antares-1b HuggingFace model id; antares-350m is a smaller variant
min_confidence 0.7 Drop entries whose CVSS score is below this. Severity→score: CRITICAL=1.0, HIGH=0.85, MEDIUM=0.6, LOW=0.3
cve_source nvd nvd uses the NVD REST API, github uses the GitHub Advisory Database, both merges the two

The CVE feed is cached at ~/.cache/gitreins/cve_feed/ with a 24-hour TTL. When the network is unreachable the feed serves stale cache; when both cache and network are unavailable the feed returns an empty list and the guard exits clean (it is opt-in and must never block a commit on missing infrastructure).


Test Modes: full vs diff

GitReins supports two strategies for when tests run on commit, controlled by test_mode in .gitreins/config.yaml.

test_mode: "full" (default for new projects)

The entire test suite runs on every commit. Safe and thorough.

Best for:

  • New projects with a small, fast test suite
  • Projects where all tests pass reliably
  • When you want maximum safety on every commit

Tradeoff: Slow on large projects. Pre-existing failures in untouched code block unrelated commits.

guards:
  test_mode: "full"

test_mode: "diff" (recommended for mature projects)

Only tests for packages you actually changed. Uses basename mapping:

Changed file Test run
engine/guard_manager.py tests/test_guard_manager.py
gitreins/cli.py tests/test_cli.py
gitreins_mcp/server.py tests/test_mcp_server.py

Best for:

  • Projects with 5+ packages where full suite is slow
  • Projects with pre-existing test failures in untouched code
  • When you want fast feedback on the code you actually changed

Safety nets — diff mode falls back to full suite when:

  • pyproject.toml, .gitreins/config.yaml, Makefile, or setup.cfg changed
  • A test file itself changed (always included, plus its source-mapped siblings)
  • Changed files don't map to any known test files (unknown file = safety)
  • No staged files at all
  • Test command isn't pytest (custom runners can't be narrowed)

Tradeoff: Less safety on cross-cutting changes. Config changes always trigger full suite.

guards:
  test_mode: "diff"

Which mode should I use?

Project state Recommended mode
Brand new, <5 packages full
Mature, 5+ packages, tests pass diff
Mature, pre-existing test failures diff
Refactoring across packages full (temporarily)
CI / PR checks full (safety over speed)

Output examples

Full mode:

Tier 1 Guards: PASS  (test mode: full)
  ✓ secrets — clean (gitleaks + builtin cross-check)
  ✓ lint — ok
  ✓ tests — passed

Diff mode (targeted):

Tier 1 Guards: PASS  (test mode: diff, 3 test file(s))
  ✓ secrets — clean (gitleaks + builtin cross-check)
  ✓ tests — passed

Diff mode (safety trigger — full suite):

Tier 1 Guards: PASS  (test mode: diff, full suite — safety trigger)
  ✓ secrets — clean (gitleaks + builtin cross-check)
  ✓ tests — passed

Diff mode (no test files matched — the tests lane skips):

Tier 1 Guards: PASS  (test mode: diff, no test files matched — diff mode skipped)
  ✓ secrets — clean (gitleaks + builtin cross-check)
  ~ tests — skipped (no test files match the changed sources (diff mode))

Degraded pass (a gate did no work — guards.allow_skips decides the exit code):

Tier 1: DEGRADED PASS (skips: lint=no staged files, tests=no staged files)  (test mode: diff)
  ✓ secrets — clean (gitleaks + builtin cross-check)
  ~ lint — skipped (no staged files)
  ~ tests — skipped (no staged files)

Failure diagnostics (named, not just counted):

Tier 1 Guards: FAIL  (test mode: full)
  ✗ secrets — FAIL (builtin cross-check: 2 findings; gitleaks: clean)
      findings: 2 finding(s): .env:1, src/db.py:7
  ✗ tests (full) — FAIL (tests/test_probe.py::test_boom [first failing id]; 3 failure(s))
  guard log: .gitreins/logs/guard-20260916T200106.123456Z.log

First guard failure? The onboarding guide's Troubleshooting section walks the common first-run failures step by step.

~ marks a step that was skipped, and a degraded run never prints the green Tier 1 Guards: PASS header — so grepping that string is proof the gates actually ran. With guards.allow_skips: false (code default) it exits 2; gitreins init writes allow_skips: true for ergonomic first commits. A missing pytest runner is one such skip — the summary line names the lane that graded nothing and the fix:

~ tests (full) — skipped (pytest is not installed in '.venv/bin/python' —
  run `.venv/bin/python -m pip install pytest` (or `uv sync`), or set
  guards.test_command)

Full mode on a clean tree (gitreins guard --full):

Tier 1 Guards: PASS  (test mode: full, whole tree)
  ✓ secrets — clean (gitleaks + builtin cross-check)
  ✓ lint — ok (42 tracked files)
  ✓ tests (full)

--full grades the whole tree even with an empty index: the tests lane runs the configured guards.test_command, and lint covers tracked + untracked-but-not-ignored Python files (ruff: clean (N tracked files) names the graded scope) instead of returning the no staged files skip. The plain PASS header is the tell — a whole-tree run prints no skips: clause. --staged-only and a bare gitreins guard keep the degraded-pass skip semantics above; staged files always take precedence over the tree when the index is non-empty.

Go projects follow the same rule. On a repo with a go.mod the three Go lanes (go_build, go_lint, go_tests) replace the Python ones, and their scope follows --scope/--full too: under --full they grade the whole tree (tracked + untracked-but-not-ignored .go files), so an uncompilable file that was never staged fails the run with the compiler text in the lane output; a non-empty index of .go files still grades the staged set (what the pre-commit hook grades). If the files you care about are neither staged nor committed, gitreins guard --scope working-tree grades what is on disk. A Go run in which no .go file was in scope is a DEGRADED pass — ~ go_build — skipped (No Go files in scope), never a silent ✓ go_build — ok — and exits 2 unless the repo sets guards.allow_skips: true.

A failure line names what broke instead of only counting it: the tests line carries the first failing test id parsed from the pytest output (with the failure count), and the secrets line names every scanner that ran plus each one's outcome — gitleaks, the built-in low-entropy cross-check, or both — because a finding raised only by the cross-check is a different problem from one gitleaks reported. Both facts are also recorded in the persisted run log (.gitreins/logs/guard-*.log) under diagnostics:, so a post-mortem does not need to re-run pytest or the scanners.


Verdict History

Every gitreins task complete and gitreins judge saves a verdict to .gitreins/history/. Configure in .gitreins/config.yaml:

history:
  enabled: true              # false = don't save verdicts
  storage: "git"             # "git" = auto-commit to gitreins branch
                             # "filesystem" = write files only, no git commits
  max_verdicts: 1000         # auto-prune old entries

Browse history:

gitreins report              # last 10 evaluations
gitreins report -n 20        # last 20
gitreins report --interactive  # TUI with arrow-key navigation (requires textual)

Branch mechanics (git storage)

With storage: "git" (the default), every verdict is auto-committed to a dedicated git ref — refs/gitreins/history, an orphan ref outside the branch namespace (older repos kept their history on the gitreins branch, which reads still union). The ref is never checked out, so your working tree is never disturbed. .gitreins/history/ is intentionally gitignored: the verdict files are runtime artifacts whose canonical home is the refs/gitreins/history ref, and a fresh clone therefore has no local .gitreins/history/ directory.

gitreins report reads verdicts in this order:

  1. Local filesystem — .gitreins/history/ in the working tree (used when present, e.g. right after a judge run in the same checkout).

  2. Verdict refs fallback — when the local directory is missing or empty and storage is "git", verdicts are read from the git refs, most authoritative first: refs/gitreins/history, then the legacy gitreins branch, then their remote-tracking copies (refs/remotes/origin/gitreins/history, refs/remotes/origin/gitreins). A fresh clone has no local history ref (git clone fetches only refs/heads/*) but still browses the full verdict history from its origin instead of printing "No verdict history found."

    Note on the legacy gitreins branch: it is a host-local orphan branch — it has no upstream and exists on no remote (git ls-remote origin refs/heads/gitreins returns empty). On this host it carries only older verdicts predating refs/gitreins/history; everywhere else the legacy-branch leg of the fallback simply finds nothing, and gitreins report on a fresh clone prints "No verdict history found." The host-local .gitreins/history/ directory is the authoritative surface for past verdicts on a given host.

To inspect the ref directly:

git log --oneline gitreins/history                               # verdict commits
git ls-tree -r --name-only gitreins/history -- .gitreins/history  # stored files
git show gitreins/history:.gitreins/history/<date>/<hash>/verdict.json  # one verdict

Fresh clones: fetching the canonical history ref

git clone maps only refs/heads/* to refs/remotes/origin/*, so a fresh clone sees neither verdict-history ref locally: the legacy branch exists only as its remote-tracking copy, and the canonical refs/gitreins/history is not fetched at all. Report degrades gracefully (remote-tracking fallback), but the copy it serves can be stale. To make a clone fetch — and keep updating — the canonical history ref:

git config --add remote.origin.fetch '+refs/gitreins/history:refs/gitreins/history'
git fetch origin

This is a self-named refspec: it writes refs/gitreins/history directly in the clone, where it outranks the remote-tracking fallbacks. (The remote-tracking spelling refs/remotes/origin/gitreins/history is not reachable from a default clone: git cannot track refs/gitreins/history under refs/remotes/origin/gitreins/ as a directory while the legacy gitreins branch is also tracked there as a file.)

With storage: "filesystem", verdicts are written locally only — no ref is created and the fallback is skipped.

Judge token usage (.gitreins/usage.jsonl)

Every Tier 2 evaluation appends one telemetry line to <workdir>/.gitreins/usage.jsonl as its evidence step completes, so judge token spend can be summed by external tooling (fleet dashboards, cost reports). GitReins uses its own LLM client, so this usage never appears in the telemetry of the agent that invoked it — this file is the only record.

{"ts": 1757973600.42, "tokens_in": 41250, "tokens_out": 1863, "cache_read": 0, "cache_write": 0, "step": "ai_eval"}
Field Meaning
ts Unix epoch seconds of the write
tokens_in Cumulative input tokens for the evaluation so far (cache reads included)
tokens_out Cumulative output tokens for the evaluation so far
cache_read / cache_write Cumulative cached-prompt tokens (0 for providers without prompt caching)
step Pipeline step id that wrote the line (ai_eval for the judge step)

Three details matter when you consume it:

  • Cumulative, not per-call. Each line reports the evaluation's running totals. Sum line-to-line deltas; the final line alone is the run total only when nothing reset the window.
  • Counters reset on compaction. When the evaluator compacts its context, the token counters restart, so a later line can be numerically smaller than an earlier one. A consumer that assumes monotonic growth undercounts.
  • Best-effort, never fatal. A write failure (permissions, full disk) is swallowed and the evaluation continues; absence of a line is not evidence that the judge did not run — read the verdict for that.

The file is runtime state: gitreins install / gitreins init add .gitreins/usage.jsonl to .gitignore, and it is never auto-committed. It carries no task id, model name, or credentials — correlate it with .gitreins/history/<date>/<hash>/verdict.json by timestamp when you need per-task attribution. gitreins serve does exactly that join for you: each verdict's detail pane shows the tokens it spent (and a cost when the checkout configures usage.price_per_1m_input/_output), and the stats header shows the aggregate — see Judgment Viewer.

Task Dependencies

Tasks can depend on other tasks. Evaluation is blocked until dependencies pass:

gitreins task create build "Project builds" \
  "CGO_ENABLED=0 go build ./cmd/server exits 0"

gitreins task create api-crud "CRUD endpoints" \
  "POST /api/users creates a user" \
  "GET /api/users lists users" \
  --depends-on build

gitreins task complete api-crud
# → "Cannot complete 'api-crud' — depends on incomplete tasks: build"

gitreins task complete build      # complete the dependency first
gitreins task complete api-crud   # now this works

# Or force-skip dependency checks:
gitreins task complete api-crud --force

Flag placement matters. A task's criteria are one repeated positional argument, so argparse cannot interleave them with an option: put --depends-on (or --depends-on <id> repeated) after the criteria. Writing criteria after the flag fails with unrecognized arguments:

# REJECTED — the criteria after the option are not parsed as criteria:
#   gitreins task create api-crud "CRUD endpoints" --depends-on build \
#     "POST /api/users creates a user"
#   gitreins: error: unrecognized arguments: POST /api/users creates a user

scripts/check_cli_examples.py replays every documented example through the real CLI parser in CI, so this class of broken example cannot ship again.

Configuration

Full .gitreins/config.yaml reference. Every uncommented value below is the code default from engine/config.py (GitReinsDefaults); commented lines are examples. Any key you omit — including keys not shown here — falls back to that same dataclass, the single source of truth for defaults:

# ── Global defaults ──────────────────────────────────
defaults:
  model: deepseek-v4-flash
  max_iterations: 100
  check_for_updates: true

# ── Tier 1 guards ────────────────────────────────────
guards:
  secrets: true
  lint: true
  tests: true
  test_mode: "full"          # "full" or "diff"
  # test_command: "uv run pytest -x --tb=short"
  #   uv/pipenv/poetry are OPTIONAL — if the runner prefix's binary is not on
  #   PATH, the guard falls back to `python -m pytest ...` with a warning.
  #   Code default: "pytest -x --tb=short".
  # Run test_command even with an empty index (nothing staged). Default false
  # means the tests lane is a SKIP with a named reason ("no staged files") —
  # under allow_skips:false that makes the whole run a DEGRADED pass (exit 2).
  # Set true when the suite must run on clean-tree guard runs too (chained
  # suites, audits, or commits that land through another tool).
  test_on_clean: false
  # Overall pre-commit hook timeout in seconds.
  hook_timeout: 300
  # A run where a substantive gate (lint/tests/lsp) did NO work — nothing
  # staged, no linter on PATH, zero tests collected — is a DEGRADED PASS.
  # true  = degraded runs still exit 0 (gitreins init writes this default)
  # false = degraded runs exit 2, so CI can never read a gate that never ran
  #         as a gate that passed
  # allow_skips: true   # code default: false; `gitreins init` writes true

  # Priority (nice(1)) for every external scanner the guard and the judge
  # spawn: gitleaks, golangci-lint / go build / go test, ruff, the configured
  # test_command (pytest) and the LSP servers. Scans are background work, so
  # they run as the least urgent CPU consumer by default. 0 disables the
  # prefix entirely (the command is byte-identical to the unprefixed one).
  # Overridden by GITREINS_SCANNER_NICE in the environment (env > config >
  # default); a missing or non-runnable `nice` never fails a scan — the scan
  # runs unprefixed and says so once. Accepted: 0..19.
  # scanner_nice: 10

  # Go projects (auto-detected via go.mod):
  go:
    build: true
    lint: true
    tests: true

# ── Tier-1 data protection (optional, OFF by default) ─
# A second, opt-in filter over PII and network identifiers, alongside the
# fail-closed `secrets` lane (which it can never weaken). Absent or
# `enabled: false` is a no-op. The same policy drives the guard and the
# Tier-1 judge. See docs/data-protection.md for the full reference.
data_protection:
  enabled: false              # <-- opt in
  categories:
    pii:
      detection: block        # off | warn | block
      handling: redact        # preserve | redact | replace
      confidence: 0.7         # class floor; lower to enable phone/medical/names
      # classes:
      #   names: { enabled: false }
    ip_addresses:
      detection: warn
      handling: replace       # [IP:IPV4] / [IP:IPV6] / [IP:CIDR]
      default_action: redact  # for ranges not in preserve_list
      preserve_list:          # explicit shared/documented ranges
        - 10.0.0.0/8
        - 2001:db8::/32
  # Narrow false positives; `reason` required, `match` and/or `rule` required.
  # exceptions:
  #   - category: ip_addresses
  #     rule: ipv4
  #     match: 198.51.100.7
  #     scope: "docs/*"
  #     reason: "RFC 5737 documentation address"

# ── Tier 2 evaluator caps ────────────────────────────
evaluator:
  max_iterations: 100        # LLM reasoning turns; -1 = unlimited
  # Wall clock: UNLIMITED by default (max_seconds = -1 in engine/config.py) —
  # no cap unless you set one. Example:
  # max_time: "5m"
  max_input_tokens: "10M"
  max_output_tokens: 131072
  max_tokens_per_call: 16384  # per-LLM-call cap (session budget is separate)
  tool_call_weight: 0.1      # tool calls cost 0.1 iterations
  compaction_threshold: 0.90  # compact past 90% of max_input_tokens
  code_context_budget: 0.70  # cap pre-loaded code context at 70% of the input budget
  max_file_bytes: 131072     # cap read_file results (bytes)

# ── Verdict history ──────────────────────────────────
history:
  enabled: true
  storage: "git"
  max_verdicts: 1000

Data protection (optional)

data_protection is a second, opt-in Tier-1 filter for PII and network identifiers, complementing the fail-closed secrets lane. Every category ships off, so it is a no-op until you set enabled: true. Detection runs at one of off/warn/block; handling is preserve (report-only), redact ([REDACTED:<category>]) or replace (class placeholder). IPs support a preserve_list of explicitly shared CIDRs plus a default_action for unmatched ranges, and narrow exceptions (required reason, scoped to a category/rule/value) suppress individual false positives without weakening credential scanning. A malformed policy is rejected loudly. See docs/data-protection.md.


Troubleshooting

Fleet-related failures first; the onboarding guide's Troubleshooting covers first-run guard failures.

F1. Every lane dies with no .gitreins/config.yaml — run 'gitreins init' first

Symptom: the fleet creates the lane trees, then the guard/judge phase of every lane fails with no .gitreins/config.yaml — run 'gitreins init' first — while gitreins guard passes fine in canonical main.

Cause: .gitreins/config.yaml was never COMMITTED to the consumer repo. gitreins init writes it but only the runtime artifacts (tasks.yaml, logs, worktree registry) are gitignored — the config itself must be committed by hand. A lane tree is a fresh checkout of the repo's committed files, so an untracked config never reaches a lane.

The misleading advice: the error says run 'gitreins init' first, and running gitreins init inside the lane tree does make THAT lane's phase succeed — but the fix cannot stick. It writes an untracked config into the lane (dirt the merge gate rejects) and the next lane, the next re-run, and the next worktree all hit the same error, because they check out the repo's committed files again. Ignore the advice where you find it; fix the repo.

Fix: in the canonical checkout:

git add .gitreins/config.yaml .gitignore .gitleaks.toml
git commit -m "gitreins: commit guard config"

Then delete any branch the failed run left behind (a lane that died before committing work leaves an empty one, which worktree clean does not reap):

gitreins worktree clean
git branch -D gitreins/task/<id>   # only if the next run names it as unregistered
gitreins worktree fleet ../lanes.json --merge

F2. canonical main has uncommitted changes; refusing merge

Symptom: every lane passes its judge phase, but the merge reports canonical main has uncommitted changes; refusing merge (in the per-lane merge_errors) or the standalone gitreins worktree merge <id> refuses the same way.

Cause: the merge gate requires a clean tree on BOTH sides and refuses to touch canonical main while any file there is uncommitted or untracked. The usual suspects:

  • an untracked lanes.json (or any scratch file) inside the canonical checkout — keep the manifest outside the repo or commit it;
  • local edits you have not committed;
  • GitReins' own runtime artifacts (worktrees.json, tasks.yaml, logs, verdicts) in repos whose .gitignore predates them — gitreins init adds the current ignore list, and the gate exempts those artifacts while they are untracked, so an up-to-date .gitignore makes this class vanish.

Note the command still exits 0 after a refused merge: the refusal is reported per lane in the JSON report, so read merge_errors, not the exit code.

Fix: commit or move the dirt, then merge the already-judged lanes without re-running their work:

git status --short                # see exactly what the gate counted
# commit or remove it, then:
gitreins worktree merge <task-id> # fast-forwards the judged lane, reaps the tree

A lane whose own TREE is dirty fails the mirror-image check (task worktree has uncommitted changes; refusing merge): the lane's command must commit its work — see the fleet contract in Parallel worktree fleet.

Tech Stack

  • Language: Python 3.10+
  • Dependencies: mcp, pyyaml, requests, packaging (4 packages)
  • MCP Transport: stdio (15 tools)
  • Config: YAML in .gitreins/ directory
  • Evaluator Default Model: DeepSeek V4 Flash (~$0.01/eval)
  • Test suite: 2971 tests collected across 88 test files (collection total; optional-tool skips vary)

Architecture & Docs

  • Disposable verification — run QA batteries, dogfood, and repro farms in throwaway worktrees without a bunker. Every QA run records its outcome in the QA ledger (gitreins qa list), including runs produced outside the harness (gitreins qa record).
  • Bunker full CI — run the full suite on a clean JIT bunker agent and grade which build it tested: tested commit, deployed CLI version + surface probe, fresh-vs-reused toolchain, and the suite's counts. A mismatched deploy exits 3 and says why.
  • CONTRIBUTING.md — development setup, how to run the repo test suite, and the commit convention.
Document What it covers
Full Architecture System design and data flow
Worktree Fleet Quickstart Full mergeable fleet walkthrough: committed config, in-tree tasks, idempotent lane commands, judge phases, retry recovery
Component Map Module inventory with paths and line counts
Agentic Evaluator Design How the evaluator loop works
Judgment Viewer Verdict browser: API contract, data sources, security model, --repo
Tier-1 Data Protection Opt-in PII/network filter: policy reference, category inventory, measured false positives and limits

License

MIT

来源:GitHub · github.com