Si, como propone @sgrove, las especificaciones son el código del futuro, ¿qué es la depuración? 1) La compilación de especificaciones es el proceso de un agente de codificación que convierte las especificaciones en código 2) cada vez más "compilación" estará desatendida, menos viendo al agente trabajar diff por diff, más especificaciones de entrada, código de salida 3) errores de tipo -> errores de verdad: la mayor parte de la depuración consistirá en buscar en los planes de investigación e implementación en markdown para encontrar la única línea de contexto incorrecto que hace que el agente de codificación no tenga éxito al implementar. Los conjuntos de pruebas, entre otras cosas, verificarán la veracidad y la consistencia lógica. 4) hay un nuevo tipo de orden superior de "adjuntar un depurador de pasos" que está observando al agente implementar un plan paso a paso para identificar el error lógico en la especificación. Cuando encuentra un error al recorrer un programa línea por línea, cambia el código, reinicia el proceso y repite hasta que funcione. Cuando encuentra un error en una *spec* mientras recorre una implementación, va hacia arriba, corrige la especificación y reinicia la *implementación*