I am a long time fan of Steve Yegge but he's too much part of the groupthink at this point. You can't win with Claude Code. I understand that his API key isn't

I am a long time fan of Steve Yegge but he's too much part of the groupthink at this point. You can't win with Claude Code. I understand that his API key isn't on the PID controller, so he gets a less bad deal, but he's still breaking even with some gee whizz factor. Agents are like people on a long enough timeline: they will eventually do the lazy thing. But this happens in minutes not years. If you don't have them on tracks made of iron, you are on a sugar high that will crash. Formal methods, zero sorry, or it's another bounty for the vibecode cleanup guys.