用途:converge 用于驱动一个有界的“修复→重跑评审团”循环,直到评审达成一致或触发硬性 BLOCK。实现是 Go 命令 ao converge(cli/cmd/ao/converge.go),不应在 shell 中重新实现该循环,必须执行该二进制命令。
主要能力与判定:收敛条件为至少 2 个不同的非作者上下文 PASS 且零 FAIL,每个 PASS 必须引用该切片的验收测试(Given/When/Then 对应的通过测试),仅有模型对产物的共识不算收敛。连续 3 轮失败后 BLOCK;--max-rounds 用尽且未达终止条件为 NOT-CONVERGED;轮次边界出现 <dir>/.agents/rpi/KILL 则为 KILLED。独立性轴是全新上下文而非模型家族,产出模型可从新上下文评审自己的工作,仅排除作者上下文;--require-cross-family 为可选强化项。
使用方式:ao converge --max-rounds 5 --min-contexts 2;ao converge --require-cross-family;ao converge --help。FIX 步骤由编排代理完成,被派发的评审腿是非变更的,只输出裁决与证据,不编辑仓库。轮次之间需阅读评审理由、自行应用修复后重跑。
信任边界:命令在任何评审派发前运行双向金丝雀入口门,证明门会拒绝植入的自评裁决并接受已知良好裁决;金丝雀失败会中止运行。跨厂商派发中,Claude 上下文走 Go 无头 ao codex dispatch 到 Codex 评审,Codex 上下文委派到交互式窗格;LAW 0 禁止任一侧使用无头 claude print-mode 调用。
输出与限制:ao converge 输出 CLAIM 与证据,从不写具有约束力的裁决,MTO 是唯一写入者,不决定合并。BLOCK 或 NOT-CONVERGED 时,将失败理由作为下一循环发现写入 .agents/findings/registry.jsonl。命令失败、证据格式错误或未达法定人数应视为未收敛而非成功。下游需将 claim 与证据交给验证膜,只有其约束性裁决可授权落地。