se, como @sgrove propõe, as especificações são o código do futuro, então o que é depuração? 1) a compilação de especificações é o processo de um agente de codificação transformando especificações em código 2) cada vez mais "compilação" será não supervisionada, menos observando o agente trabalhar diff por diff, mais especificação dentro, código fora 3) erros de tipo -> erros de verdade: a maior parte da depuração será escavar em pesquisas e planos de implementação em markdown para encontrar a única linha de contexto incorreto que faz o agente de codificação falhar ao implementar. As suítes de teste irão, entre outras coisas, verificar a verdade e a consistência lógica. 4) há um novo sabor de ordem superior de "anexar um depurador de etapas" que é observar o agente implementar um plano passo a passo para identificar o erro lógico na especificação. Quando você encontra um erro ao percorrer um programa linha por linha, você altera o código, reinicia o processo e repete até que funcione. Quando você encontra um erro em uma *especificação* enquanto percorre uma implementação, você vai para cima, corrige a especificação e reinicia a *implementação*.