Om, som @sgrove föreslår, specifikationer är framtidens kod, vad är då felsökning? 1) Specifikationskompilering är processen där en kodningsagent omvandlar specifikationer till kod 2) Mer och mer "kompilering" kommer att vara obevakad, mindre titta på agenten arbeta diff för diff, mer spec in, kod ut 3) Typfel - > sanningsfel : De flesta felsökningar kommer att gräva igenom forsknings- och implementeringsplaner i Markdown för att hitta den enda raden av felaktigt sammanhang som gör att kodningsagenten misslyckas med att lyckas vid implementering. Testsviter kommer bland annat att kontrollera sanning och logisk konsistens. 4) Det finns en ny högre ordningsvariant av "Bifoga en stegfelsökare" som ser agenten implementera en plan steg för steg för att lokalisera logikfelet i specifikationen. När du hittar ett fel när du går igenom ett program rad för rad ändrar du koden, startar om processen och upprepar tills den fungerar. När du hittar ett fel i en *spec* när du går igenom en implementering går du uppströms, åtgärdar specifikationen och startar om *implementeringen*