/converge — bounded judge-panel convergence

Quick Ref: This is a thin memo. The implementation is the Go command ao converge (cli/cmd/ao/converge.go). Do not reimplement the loop in shell — invoke the binary.

YOU MUST EXECUTE THE Go COMMAND. Do not describe or re-author the loop.

Constraints

• Invoke the compiled ao converge command because its two-sided canary and quorum checks are the executable trust boundary.
• Keep every judge leg non-mutating because a verdict must not silently rewrite the artifact it is judging.
• Stop at the command's bounded terminal state because bypassing BLOCK, extending rounds implicitly, or substituting model agreement would defeat the acceptance boundary.

What it does

ao converge runs a bounded fix → re-run-judge-panel loop until the judges agree or it blocks: