Dacă, așa cum propune @sgrove, specificațiile sunt codul viitorului, atunci ce este depanarea? 1) Compilarea specificațiilor este procesul unui agent de codificare care transformă specificațiile în cod 2) din ce în ce mai multe "compilații" vor fi nesupravegheate, mai puțină urmărire a agentului lucrând diferență cu diferență, mai multe specificații înăuntru, cod de ieșire 3) Erori de tip -> erori de adevăr: Cea mai mare parte a depanării va fi săparea prin planurile de cercetare și implementare în Markdown pentru a găsi o linie de context incorect care face ca agentul de codare să nu reușească la implementare. Suitele de testare vor verifica, printre altele, adevărul și consistența logică. 4) Există o nouă aromă de ordin superior de "atașare a unui depanator de pas" care urmărește agentul implementând un plan pas cu pas pentru a identifica eroarea logică din specificații. Când găsiți o eroare când parcurgeți un program linie cu linie, schimbați codul, reporniți procesul și repetați până când funcționează. Când găsiți o eroare într-o *specificație* în timp ce parcurgeți o implementare, mergeți în amonte, remediați specificația și reporniți *implementarea*