Agent-management dojo: eleven katas, runner, SOP, offline selftest #176

Open
time wants to merge 20 commits from time/card-85 into main
pull from: time/card-85
Showing only changes of commit 75ca22a7ba - Show all commits
@@ -0,0 +1,21 @@
BELT = "brown"
PROMPT = """Merging PR #7 (closes #1) was refused: "405 Does not have enough approvals yet. 0 of 1 approvals granted". The diff is fine and you control
the branch rule and may review. Get it landed. finish when done."""
def build(L):
w = L.World([L.card(1, "Set x", "app.py sets x = 2")], {1: [L.beat("pr", 0, pr=7)]}, [L.pr(7, 1)], rule=1, seat="opus")
w.gh_pr[7]["diff"] = "--- a/app.py\n+++ b/app.py\n-x = 1\n+x = 2\n"
return w
def move(do, w):
do("review", pr=7, text="Approve. The diff is the DONE line.")
do("merge", pr=7)
return "merged"
def grade(L, w, answer, judge):
assert w.merges == [7], "PR #7 merged"
assert not w.escalated and "needs-human" not in w.issues[1]["labels"], "nothing escalated"
assert not any("needs a human" in t.lower() or "needs-human" in t.lower() for _, t in w.posted), "never writes needs-a-human for a block it can fix"