Loop Engineering: Your Loop Is a Goodhart Amplifier
A loop runs your model against a verifier hundreds of times and keeps whatever passes, which makes it a Goodhart amplifier: it finds and exploits every gap between passing the check and being correct. A practitioner's take on loop engineering, and why the verifier, not the loop, is the whole game, from someone who has run loops over real production systems, not just a terminal.