chore: sync embedded formulas with source
This commit is contained in:
gastown/crew/gus
committed by
Steve Yegge
Steve Yegge
parent
65334320c7
commit
e6bdc639ab
@@ -148,52 +148,10 @@ bd gate list --json
|
|||||||
After closing a gate, the Waiters field contains mail addresses to notify.
|
After closing a gate, the Waiters field contains mail addresses to notify.
|
||||||
Send a brief notification to each waiter that the gate has cleared."""
|
Send a brief notification to each waiter that the gate has cleared."""
|
||||||
|
|
||||||
[[steps]]
|
|
||||||
id = "github-gate-check"
|
|
||||||
title = "Check GitHub CI gates"
|
|
||||||
needs = ["inbox-check"]
|
|
||||||
description = """
|
|
||||||
Discover and evaluate GitHub CI gates.
|
|
||||||
|
|
||||||
GitHub gates (await_type: gh:run, gh:pr) require checking external CI status.
|
|
||||||
This step discovers new gates from GitHub activity and evaluates pending ones.
|
|
||||||
|
|
||||||
**Step 1: Discover new GitHub gates**
|
|
||||||
```bash
|
|
||||||
bd gate discover
|
|
||||||
```
|
|
||||||
|
|
||||||
This scans for GitHub CI gates that should be created based on:
|
|
||||||
- Active PRs with required CI checks
|
|
||||||
- Workflow runs that molecules are waiting on
|
|
||||||
|
|
||||||
**Step 2: Evaluate pending GitHub gates**
|
|
||||||
```bash
|
|
||||||
bd gate check --type=gh
|
|
||||||
```
|
|
||||||
|
|
||||||
For each GitHub gate, this checks:
|
|
||||||
- gh:run gates: Has the workflow run completed? Did it succeed?
|
|
||||||
- gh:pr gates: Has the PR been merged/closed?
|
|
||||||
|
|
||||||
Gates that pass their condition are automatically closed.
|
|
||||||
|
|
||||||
**Step 3: Report closures**
|
|
||||||
For any gates that were just closed, log the result:
|
|
||||||
```bash
|
|
||||||
# Gate <id> closed: GitHub CI passed
|
|
||||||
# Gate <id> closed: PR merged
|
|
||||||
```
|
|
||||||
|
|
||||||
**If no GitHub gates exist:**
|
|
||||||
Skip - nothing to check.
|
|
||||||
|
|
||||||
**Exit criteria:** All GitHub gates evaluated, passing gates closed."""
|
|
||||||
|
|
||||||
[[steps]]
|
[[steps]]
|
||||||
id = "dispatch-gated-molecules"
|
id = "dispatch-gated-molecules"
|
||||||
title = "Dispatch molecules with resolved gates"
|
title = "Dispatch molecules with resolved gates"
|
||||||
needs = ["gate-evaluation", "github-gate-check"]
|
needs = ["gate-evaluation"]
|
||||||
description = """
|
description = """
|
||||||
Find molecules blocked on gates that have now closed and dispatch them.
|
Find molecules blocked on gates that have now closed and dispatch them.
|
||||||
|
|
||||||
|
|||||||
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,812 @@
|
|||||||
|
description = """
|
||||||
|
AGENT EXECUTION PROTOCOL - Towers of Hanoi (7 disks, 127 moves)
|
||||||
|
|
||||||
|
PURPOSE: This is a durability proof, not computation. Steps are pre-computed.
|
||||||
|
Your job is to execute them mechanically, proving crash-recovery at scale.
|
||||||
|
|
||||||
|
EXECUTION LOOP:
|
||||||
|
1. Find current state: bd mol current <mol-id>
|
||||||
|
2. Find the next ready (unblocked) step
|
||||||
|
3. Close it: bd close <step-id>
|
||||||
|
4. Repeat until no ready steps remain
|
||||||
|
|
||||||
|
ON RESUME (after crash/restart/handoff):
|
||||||
|
- Same as fresh start. The molecule IS the state.
|
||||||
|
- Query `bd mol current <mol-id>`, continue from there.
|
||||||
|
- No memory of previous session needed.
|
||||||
|
|
||||||
|
DO:
|
||||||
|
- Close steps as fast as possible (they're trivial mechanical moves)
|
||||||
|
- Use `gt handoff` when context fills (proactive cycling)
|
||||||
|
- Trust the pre-computed solution - every move is already correct
|
||||||
|
|
||||||
|
DO NOT:
|
||||||
|
- Try to solve Hanoi yourself - moves are already computed
|
||||||
|
- Mark steps in_progress - just close them directly
|
||||||
|
- Ask for permission - this is GUPP territory, just execute
|
||||||
|
- Stop for human input - run autonomously until complete
|
||||||
|
|
||||||
|
MONITORING:
|
||||||
|
- Progress: Count closed children of the molecule
|
||||||
|
- For mega-molecules: Use convoy dashboard when available
|
||||||
|
- Completion: All steps closed = molecule complete
|
||||||
|
|
||||||
|
This proves Gas Town can execute arbitrarily long workflows with
|
||||||
|
nondeterministic idempotence - different sessions, same outcome.
|
||||||
|
"""
|
||||||
|
formula = "towers-of-hanoi-7"
|
||||||
|
version = 1
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "setup"
|
||||||
|
title = "Verify initial state"
|
||||||
|
description = "All 7 disks stacked on peg A. Largest on bottom."
|
||||||
|
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-1"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 1/127)"
|
||||||
|
needs = ["setup"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-2"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 2/127)"
|
||||||
|
needs = ["move-1"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-3"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 3/127)"
|
||||||
|
needs = ["move-2"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-4"
|
||||||
|
title = "Move disk 3: A → C"
|
||||||
|
description = "Move disk 3 from peg A to peg C. (Move 4/127)"
|
||||||
|
needs = ["move-3"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-5"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 5/127)"
|
||||||
|
needs = ["move-4"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-6"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 6/127)"
|
||||||
|
needs = ["move-5"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-7"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 7/127)"
|
||||||
|
needs = ["move-6"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-8"
|
||||||
|
title = "Move disk 4: A → B"
|
||||||
|
description = "Move disk 4 from peg A to peg B. (Move 8/127)"
|
||||||
|
needs = ["move-7"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-9"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 9/127)"
|
||||||
|
needs = ["move-8"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-10"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 10/127)"
|
||||||
|
needs = ["move-9"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-11"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 11/127)"
|
||||||
|
needs = ["move-10"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-12"
|
||||||
|
title = "Move disk 3: C → B"
|
||||||
|
description = "Move disk 3 from peg C to peg B. (Move 12/127)"
|
||||||
|
needs = ["move-11"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-13"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 13/127)"
|
||||||
|
needs = ["move-12"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-14"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 14/127)"
|
||||||
|
needs = ["move-13"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-15"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 15/127)"
|
||||||
|
needs = ["move-14"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-16"
|
||||||
|
title = "Move disk 5: A → C"
|
||||||
|
description = "Move disk 5 from peg A to peg C. (Move 16/127)"
|
||||||
|
needs = ["move-15"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-17"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 17/127)"
|
||||||
|
needs = ["move-16"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-18"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 18/127)"
|
||||||
|
needs = ["move-17"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-19"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 19/127)"
|
||||||
|
needs = ["move-18"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-20"
|
||||||
|
title = "Move disk 3: B → A"
|
||||||
|
description = "Move disk 3 from peg B to peg A. (Move 20/127)"
|
||||||
|
needs = ["move-19"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-21"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 21/127)"
|
||||||
|
needs = ["move-20"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-22"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 22/127)"
|
||||||
|
needs = ["move-21"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-23"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 23/127)"
|
||||||
|
needs = ["move-22"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-24"
|
||||||
|
title = "Move disk 4: B → C"
|
||||||
|
description = "Move disk 4 from peg B to peg C. (Move 24/127)"
|
||||||
|
needs = ["move-23"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-25"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 25/127)"
|
||||||
|
needs = ["move-24"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-26"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 26/127)"
|
||||||
|
needs = ["move-25"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-27"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 27/127)"
|
||||||
|
needs = ["move-26"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-28"
|
||||||
|
title = "Move disk 3: A → C"
|
||||||
|
description = "Move disk 3 from peg A to peg C. (Move 28/127)"
|
||||||
|
needs = ["move-27"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-29"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 29/127)"
|
||||||
|
needs = ["move-28"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-30"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 30/127)"
|
||||||
|
needs = ["move-29"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-31"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 31/127)"
|
||||||
|
needs = ["move-30"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-32"
|
||||||
|
title = "Move disk 6: A → B"
|
||||||
|
description = "Move disk 6 from peg A to peg B. (Move 32/127)"
|
||||||
|
needs = ["move-31"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-33"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 33/127)"
|
||||||
|
needs = ["move-32"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-34"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 34/127)"
|
||||||
|
needs = ["move-33"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-35"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 35/127)"
|
||||||
|
needs = ["move-34"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-36"
|
||||||
|
title = "Move disk 3: C → B"
|
||||||
|
description = "Move disk 3 from peg C to peg B. (Move 36/127)"
|
||||||
|
needs = ["move-35"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-37"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 37/127)"
|
||||||
|
needs = ["move-36"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-38"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 38/127)"
|
||||||
|
needs = ["move-37"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-39"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 39/127)"
|
||||||
|
needs = ["move-38"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-40"
|
||||||
|
title = "Move disk 4: C → A"
|
||||||
|
description = "Move disk 4 from peg C to peg A. (Move 40/127)"
|
||||||
|
needs = ["move-39"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-41"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 41/127)"
|
||||||
|
needs = ["move-40"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-42"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 42/127)"
|
||||||
|
needs = ["move-41"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-43"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 43/127)"
|
||||||
|
needs = ["move-42"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-44"
|
||||||
|
title = "Move disk 3: B → A"
|
||||||
|
description = "Move disk 3 from peg B to peg A. (Move 44/127)"
|
||||||
|
needs = ["move-43"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-45"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 45/127)"
|
||||||
|
needs = ["move-44"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-46"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 46/127)"
|
||||||
|
needs = ["move-45"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-47"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 47/127)"
|
||||||
|
needs = ["move-46"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-48"
|
||||||
|
title = "Move disk 5: C → B"
|
||||||
|
description = "Move disk 5 from peg C to peg B. (Move 48/127)"
|
||||||
|
needs = ["move-47"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-49"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 49/127)"
|
||||||
|
needs = ["move-48"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-50"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 50/127)"
|
||||||
|
needs = ["move-49"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-51"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 51/127)"
|
||||||
|
needs = ["move-50"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-52"
|
||||||
|
title = "Move disk 3: A → C"
|
||||||
|
description = "Move disk 3 from peg A to peg C. (Move 52/127)"
|
||||||
|
needs = ["move-51"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-53"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 53/127)"
|
||||||
|
needs = ["move-52"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-54"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 54/127)"
|
||||||
|
needs = ["move-53"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-55"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 55/127)"
|
||||||
|
needs = ["move-54"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-56"
|
||||||
|
title = "Move disk 4: A → B"
|
||||||
|
description = "Move disk 4 from peg A to peg B. (Move 56/127)"
|
||||||
|
needs = ["move-55"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-57"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 57/127)"
|
||||||
|
needs = ["move-56"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-58"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 58/127)"
|
||||||
|
needs = ["move-57"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-59"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 59/127)"
|
||||||
|
needs = ["move-58"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-60"
|
||||||
|
title = "Move disk 3: C → B"
|
||||||
|
description = "Move disk 3 from peg C to peg B. (Move 60/127)"
|
||||||
|
needs = ["move-59"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-61"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 61/127)"
|
||||||
|
needs = ["move-60"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-62"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 62/127)"
|
||||||
|
needs = ["move-61"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-63"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 63/127)"
|
||||||
|
needs = ["move-62"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-64"
|
||||||
|
title = "Move disk 7: A → C"
|
||||||
|
description = "Move disk 7 from peg A to peg C. (Move 64/127)"
|
||||||
|
needs = ["move-63"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-65"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 65/127)"
|
||||||
|
needs = ["move-64"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-66"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 66/127)"
|
||||||
|
needs = ["move-65"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-67"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 67/127)"
|
||||||
|
needs = ["move-66"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-68"
|
||||||
|
title = "Move disk 3: B → A"
|
||||||
|
description = "Move disk 3 from peg B to peg A. (Move 68/127)"
|
||||||
|
needs = ["move-67"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-69"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 69/127)"
|
||||||
|
needs = ["move-68"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-70"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 70/127)"
|
||||||
|
needs = ["move-69"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-71"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 71/127)"
|
||||||
|
needs = ["move-70"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-72"
|
||||||
|
title = "Move disk 4: B → C"
|
||||||
|
description = "Move disk 4 from peg B to peg C. (Move 72/127)"
|
||||||
|
needs = ["move-71"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-73"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 73/127)"
|
||||||
|
needs = ["move-72"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-74"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 74/127)"
|
||||||
|
needs = ["move-73"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-75"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 75/127)"
|
||||||
|
needs = ["move-74"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-76"
|
||||||
|
title = "Move disk 3: A → C"
|
||||||
|
description = "Move disk 3 from peg A to peg C. (Move 76/127)"
|
||||||
|
needs = ["move-75"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-77"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 77/127)"
|
||||||
|
needs = ["move-76"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-78"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 78/127)"
|
||||||
|
needs = ["move-77"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-79"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 79/127)"
|
||||||
|
needs = ["move-78"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-80"
|
||||||
|
title = "Move disk 5: B → A"
|
||||||
|
description = "Move disk 5 from peg B to peg A. (Move 80/127)"
|
||||||
|
needs = ["move-79"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-81"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 81/127)"
|
||||||
|
needs = ["move-80"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-82"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 82/127)"
|
||||||
|
needs = ["move-81"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-83"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 83/127)"
|
||||||
|
needs = ["move-82"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-84"
|
||||||
|
title = "Move disk 3: C → B"
|
||||||
|
description = "Move disk 3 from peg C to peg B. (Move 84/127)"
|
||||||
|
needs = ["move-83"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-85"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 85/127)"
|
||||||
|
needs = ["move-84"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-86"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 86/127)"
|
||||||
|
needs = ["move-85"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-87"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 87/127)"
|
||||||
|
needs = ["move-86"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-88"
|
||||||
|
title = "Move disk 4: C → A"
|
||||||
|
description = "Move disk 4 from peg C to peg A. (Move 88/127)"
|
||||||
|
needs = ["move-87"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-89"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 89/127)"
|
||||||
|
needs = ["move-88"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-90"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 90/127)"
|
||||||
|
needs = ["move-89"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-91"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 91/127)"
|
||||||
|
needs = ["move-90"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-92"
|
||||||
|
title = "Move disk 3: B → A"
|
||||||
|
description = "Move disk 3 from peg B to peg A. (Move 92/127)"
|
||||||
|
needs = ["move-91"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-93"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 93/127)"
|
||||||
|
needs = ["move-92"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-94"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 94/127)"
|
||||||
|
needs = ["move-93"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-95"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 95/127)"
|
||||||
|
needs = ["move-94"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-96"
|
||||||
|
title = "Move disk 6: B → C"
|
||||||
|
description = "Move disk 6 from peg B to peg C. (Move 96/127)"
|
||||||
|
needs = ["move-95"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-97"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 97/127)"
|
||||||
|
needs = ["move-96"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-98"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 98/127)"
|
||||||
|
needs = ["move-97"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-99"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 99/127)"
|
||||||
|
needs = ["move-98"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-100"
|
||||||
|
title = "Move disk 3: A → C"
|
||||||
|
description = "Move disk 3 from peg A to peg C. (Move 100/127)"
|
||||||
|
needs = ["move-99"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-101"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 101/127)"
|
||||||
|
needs = ["move-100"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-102"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 102/127)"
|
||||||
|
needs = ["move-101"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-103"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 103/127)"
|
||||||
|
needs = ["move-102"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-104"
|
||||||
|
title = "Move disk 4: A → B"
|
||||||
|
description = "Move disk 4 from peg A to peg B. (Move 104/127)"
|
||||||
|
needs = ["move-103"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-105"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 105/127)"
|
||||||
|
needs = ["move-104"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-106"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 106/127)"
|
||||||
|
needs = ["move-105"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-107"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 107/127)"
|
||||||
|
needs = ["move-106"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-108"
|
||||||
|
title = "Move disk 3: C → B"
|
||||||
|
description = "Move disk 3 from peg C to peg B. (Move 108/127)"
|
||||||
|
needs = ["move-107"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-109"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 109/127)"
|
||||||
|
needs = ["move-108"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-110"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 110/127)"
|
||||||
|
needs = ["move-109"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-111"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 111/127)"
|
||||||
|
needs = ["move-110"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-112"
|
||||||
|
title = "Move disk 5: A → C"
|
||||||
|
description = "Move disk 5 from peg A to peg C. (Move 112/127)"
|
||||||
|
needs = ["move-111"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-113"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 113/127)"
|
||||||
|
needs = ["move-112"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-114"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 114/127)"
|
||||||
|
needs = ["move-113"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-115"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 115/127)"
|
||||||
|
needs = ["move-114"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-116"
|
||||||
|
title = "Move disk 3: B → A"
|
||||||
|
description = "Move disk 3 from peg B to peg A. (Move 116/127)"
|
||||||
|
needs = ["move-115"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-117"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 117/127)"
|
||||||
|
needs = ["move-116"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-118"
|
||||||
|
title = "Move disk 2: C → A"
|
||||||
|
description = "Move disk 2 from peg C to peg A. (Move 118/127)"
|
||||||
|
needs = ["move-117"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-119"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 119/127)"
|
||||||
|
needs = ["move-118"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-120"
|
||||||
|
title = "Move disk 4: B → C"
|
||||||
|
description = "Move disk 4 from peg B to peg C. (Move 120/127)"
|
||||||
|
needs = ["move-119"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-121"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 121/127)"
|
||||||
|
needs = ["move-120"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-122"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B. (Move 122/127)"
|
||||||
|
needs = ["move-121"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-123"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B. (Move 123/127)"
|
||||||
|
needs = ["move-122"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-124"
|
||||||
|
title = "Move disk 3: A → C"
|
||||||
|
description = "Move disk 3 from peg A to peg C. (Move 124/127)"
|
||||||
|
needs = ["move-123"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-125"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A. (Move 125/127)"
|
||||||
|
needs = ["move-124"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-126"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C. (Move 126/127)"
|
||||||
|
needs = ["move-125"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-127"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C. (Move 127/127)"
|
||||||
|
needs = ["move-126"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "verify"
|
||||||
|
title = "Verify final state"
|
||||||
|
description = "All 7 disks now on peg C. Tower intact, all moves were legal."
|
||||||
|
needs = ["move-127"]
|
||||||
File diff suppressed because it is too large
Load Diff
@@ -0,0 +1,105 @@
|
|||||||
|
description = """
|
||||||
|
AGENT EXECUTION PROTOCOL - Towers of Hanoi
|
||||||
|
|
||||||
|
PURPOSE: This is a durability proof, not computation. Steps are pre-computed.
|
||||||
|
Your job is to execute them mechanically, proving crash-recovery at scale.
|
||||||
|
|
||||||
|
EXECUTION LOOP:
|
||||||
|
1. Find current state: bd mol current <mol-id>
|
||||||
|
2. Find the next ready (unblocked) step
|
||||||
|
3. Close it: bd close <step-id>
|
||||||
|
4. Repeat until no ready steps remain
|
||||||
|
|
||||||
|
ON RESUME (after crash/restart/handoff):
|
||||||
|
- Same as fresh start. The molecule IS the state.
|
||||||
|
- Query `bd mol current <mol-id>`, continue from there.
|
||||||
|
- No memory of previous session needed.
|
||||||
|
|
||||||
|
DO:
|
||||||
|
- Close steps as fast as possible (they're trivial mechanical moves)
|
||||||
|
- Use `gt handoff` when context fills (proactive cycling)
|
||||||
|
- Trust the pre-computed solution - every move is already correct
|
||||||
|
|
||||||
|
DO NOT:
|
||||||
|
- Try to solve Hanoi yourself - moves are already computed
|
||||||
|
- Mark steps in_progress - just close them directly
|
||||||
|
- Ask for permission - this is GUPP territory, just execute
|
||||||
|
- Stop for human input - run autonomously until complete
|
||||||
|
|
||||||
|
MONITORING:
|
||||||
|
- Progress: Count closed children of the molecule
|
||||||
|
- For mega-molecules: Use convoy dashboard when available
|
||||||
|
- Completion: All steps closed = molecule complete
|
||||||
|
|
||||||
|
This proves Gas Town can execute arbitrarily long workflows with
|
||||||
|
nondeterministic idempotence - different sessions, same outcome.
|
||||||
|
"""
|
||||||
|
formula = "towers-of-hanoi"
|
||||||
|
version = 2
|
||||||
|
|
||||||
|
[vars]
|
||||||
|
[vars.source_peg]
|
||||||
|
default = "A"
|
||||||
|
description = "Starting peg"
|
||||||
|
[vars.target_peg]
|
||||||
|
default = "C"
|
||||||
|
description = "Target peg"
|
||||||
|
[vars.auxiliary_peg]
|
||||||
|
default = "B"
|
||||||
|
description = "Helper peg"
|
||||||
|
|
||||||
|
# 3-disk solution: 7 moves (2^3 - 1)
|
||||||
|
# Each step is a simple acknowledgment - the agent just closes it.
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "setup"
|
||||||
|
title = "Verify initial state"
|
||||||
|
description = "All 3 disks stacked on peg A. Largest on bottom."
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-1"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move the smallest disk from peg A to peg C."
|
||||||
|
needs = ["setup"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-2"
|
||||||
|
title = "Move disk 2: A → B"
|
||||||
|
description = "Move disk 2 from peg A to peg B."
|
||||||
|
needs = ["move-1"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-3"
|
||||||
|
title = "Move disk 1: C → B"
|
||||||
|
description = "Move disk 1 from peg C to peg B."
|
||||||
|
needs = ["move-2"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-4"
|
||||||
|
title = "Move disk 3: A → C"
|
||||||
|
description = "Move the largest disk from peg A to peg C."
|
||||||
|
needs = ["move-3"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-5"
|
||||||
|
title = "Move disk 1: B → A"
|
||||||
|
description = "Move disk 1 from peg B to peg A."
|
||||||
|
needs = ["move-4"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-6"
|
||||||
|
title = "Move disk 2: B → C"
|
||||||
|
description = "Move disk 2 from peg B to peg C."
|
||||||
|
needs = ["move-5"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "move-7"
|
||||||
|
title = "Move disk 1: A → C"
|
||||||
|
description = "Move disk 1 from peg A to peg C."
|
||||||
|
needs = ["move-6"]
|
||||||
|
|
||||||
|
[[steps]]
|
||||||
|
id = "verify"
|
||||||
|
title = "Verify final state"
|
||||||
|
description = "All 3 disks now on peg C. Tower intact, all moves were legal."
|
||||||
|
needs = ["move-7"]
|
||||||
Reference in New Issue
Block a user