Multi-provider coding-agent orchestration in a verified loop: a critic on a different model signs off before work ships. Claude Code, Codex, Gemini, aider, Copilot, opencode, local.
A small, nestable agent-loop job primitive: loop(body→until→review) composed with dag, pluggable engines, agent-judge gates, budget + run records. TypeScript.