Shipping with AI is easy. Shipping tested code with AI is the hard part

Getting an agent to write code is solved. Getting it to write the right code, prove it works, and...