42 Formal Verification Gates for AI Coding Loops (reubenbrooks.dev) 7 hours ago pyrex41 reubenbrooks.dev