Skip to content

Agent workflow (graph + policy gates)

High-level loop for repo-owned work that touches rounds, Buck macros, or planners. Parent epic: GitHub issue #102.

1. Understand impact

bash
nix develop
buck2 bxl //buck/bxl/searchbench.bxl:affected_plan -- \
  --changed-file <paths-you-touched>

If the plan includes proof targets, schedule them before handoff.

2. Repo shape (required for round/Buck/graph edits)

bash
buck2 test //buck:policy_check

3. Release intent (optional, before live runs)

bash
buck2 bxl //buck/bxl/searchbench.bxl:cost_plan -- \
  --round //configs/rounds/live-ic-vs-jcodemunch:round \
  --matches 50 --attempts 1

buck2 bxl //buck/bxl/searchbench.bxl:repo_policy

buck2 bxl //buck/bxl/searchbench.bxl:release_gate -- \
  --round //configs/rounds/live-ic-vs-jcodemunch:round \
  --matches 50 --attempts 3

Structured kinds: searchbench.cost_plan.v1, searchbench.repo_policy.v1, searchbench.release_gate.v1 (see schemas under buck/bxl/schemas/).

4. Handoff gates

GateCommand
Fastbuck2 test //buck:check
Fullbuck2 test //buck:check_full

After SearchBenchRound.pkl edits: buck2 run //src/searchbench-go:pkl_go_types then buck2 test //src/searchbench-go:pkl_go_types_check.

After SearchBenchRelease.pkl edits: buck2 run //src/searchbench-go:pkl_go_types_release then buck2 test //src/searchbench-go:pkl_go_types_release_check.

Secrets for live evaluates stay in repo-root .env only.