Verification Loops: Make It Prove Itself

Parte del curso de Vibe Coding: Advanced Engineering

Un modelo te dirá que su código es correcto. Ni miente ni acierta: no tiene forma de saberlo. La corrección se establece ejecutando el código contra una definición de lo que es correcto, y la pregunta interesante para un ingeniero senior es cómo escribir esa definición para que atrape los fallos que el código generado tiene de verdad.

Pídele a un modelo una función y sus tests y obtendrás tests para los casos que la implementación ya cubre. No hay mala intención: es el mismo proceso generativo produciendo las dos cosas a partir de la misma comprensión. Los tests heredan exactamente los puntos ciegos de la implementación. ...