Loop Engineering: Convergence Is Not Correctness

A loop always converges. That it reached a stable 'done' state tells you nothing about whether that state is correct, because the loop selects for whatever passes your check, not for what you meant. A practitioner's take on loop engineering: why convergence is not correctness, why the verifier is the part that actually decides, and what changes when loops run unattended over real production…