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 transformar especificações em código 2) mais e mais "compilação" será autônoma, menos assistindo 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á vasculhar os planos de pesquisa e implementação no markdown para encontrar a única linha de contexto incorreto que faz com que o agente de codificação não tenha sucesso ao implementar. Os conjuntos de testes, entre outras coisas, verificarão a verdade e a consistência lógica. 4) Há um novo sabor de ordem superior de "anexar um depurador de etapas" que está observando 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 esteja funcionando. Quando você encontra um erro em uma *especificação* ao percorrer uma implementação, você faz o upstream, corrige a especificação e reinicia a *implementação*