A mental model for working with coding agents is that they're blind squirrels running into a maze and bumping into walls. You must place the walls （verifiable constraints） strategically so that they end up in the general region you want them in.