Pause
Reset
COMMAND
DELEGATE
PROOF
ERROR
SPAWN
User Command
Orchestrator
Agent
Lean Compiler
Failure
Swarm Agent 1
Swarm Agent 2
Swarm Agent 3