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_check3. 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 3Structured kinds: searchbench.cost_plan.v1, searchbench.repo_policy.v1, searchbench.release_gate.v1 (see schemas under buck/bxl/schemas/).
4. Handoff gates
| Gate | Command |
|---|---|
| Fast | buck2 test //buck:check |
| Full | buck2 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.