se, come propone @sgrove, le specifiche sono il codice del futuro, allora cos'è il debugging? 1) la compilazione delle specifiche è il processo attraverso il quale un agente di codifica trasforma le specifiche in codice 2) sempre più "compilazione" sarà non supervisionata, meno osservare l'agente lavorare differenza per differenza, più specifiche in, codice fuori 3) errori di tipo -> errori di verità: la maggior parte del debugging consisterà nel setacciare ricerche e piani di implementazione in markdown per trovare la riga di contesto errato che fa sì che l'agente di codifica non riesca a avere successo nell'implementazione. I test suite controlleranno, tra le altre cose, la verità e la coerenza logica. 4) c'è un nuovo sapore di ordine superiore di "attaccare un debugger a passi" che consiste nel guardare l'agente implementare un piano passo dopo passo per individuare l'errore logico nella specifica. Quando trovi un errore mentre passi attraverso un programma riga per riga, cambi il codice, riavvii il processo e ripeti fino a quando non funziona. Quando trovi un errore in una *specifica* mentre passi attraverso un'implementazione, vai a monte, correggi la specifica e riavvia l'*implementazione*.