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 mediante el cual un agente de codificación convierte especificaciones en código 2) cada vez más "compilación" será desatendida, menos observando al agente trabajar diferencia por diferencia, más especificación dentro, código fuera 3) errores de tipo -> errores de verdad: la mayor parte de la depuración consistirá en hurgar en investigaciones y planes de implementación en markdown para encontrar la línea incorrecta de contexto que hace que el agente de codificación no tenga éxito al implementar. Las suites de pruebas comprobarán, entre otras cosas, la verdad y la consistencia lógica. 4) hay un nuevo sabor de orden superior de "adjuntar un depurador de pasos" que consiste en observar al agente implementar un plan paso a paso para localizar el error lógico en la especificación. Cuando encuentras un error al avanzar línea por línea en un programa, cambias el código, reinicias el proceso y repites hasta que funcione. Cuando encuentras un error en una *especificación* mientras avanzas en una implementación, vas río arriba, corriges la especificación y reinicias la *implementación*.