Agent coordination protocol — declare intents, lock symbols, detect conflicts before code is written

Compile, verify, and run multi-agent DAGs across Pi, Codex, Claude Code, OpenCode, and Grok—with resume, replay, and incremental recomputation.