https://howtonotcode.com/story/2106-agent-loops-are-landing-in-prod-verification-and-auditable-ai-code-proofs-need-to-move-into-ci