Shipping with the Allternit Factory build. The commands on this page are the approved design and are not live yet.
1. You set intent
SPEC.md. In Desktop, the same thing happens when you type into Bot Mode’s launch screen (“What should the team work on?“).
2. It’s split into nodes
SPEC.md, PROGRESS.md, PROOF.md and proof/.
3. The team boots
agents up reads team.yaml. It opens one space with a pane per Terminal bot, each on the harness its preset names, and registers each one. Hosted and Vendor bots on the team are bound, not spawned. Add --dry-run to see the plan first.
4. Work is picked up
drive runs in the foreground. It finds nodes that are READY (nothing blocking them) and picks each one up. A pickup is a WIH (work identity handle) through the Gate, and the assigned bot receives the task through a verified send. A bot can also claim a node itself with gizzi workspace node claim.
5. It’s checked
The checker bot runs the node’s proof contract. If the check fails, the Template’son_fail route sends the node back to the builder, up to max_rounds. When the limit is reached, the node stops and lands in Needs you. It never loops forever.
6. It’s proven
Evidence lands in the node’sproof/ folder. The judge records a verdict for each contract line (accomplished, not_accomplished or needs_human). Receipts are written when the pickup closes. Progress counts (proven k/n) come only from the judge, never from PROGRESS.md or a checklist.
7. You approve
Related
- Workspace: campaigns, nodes, proof and the Board
- Workflows: Templates, drive, Wake and gates
- Determinism contract