Wenn, wie @sgrove vorschlägt, Spezifikationen der Code der Zukunft sind, was ist dann Debugging? 1) Die Spezifikationskompilierung ist der Prozess, bei dem ein Codierungsagent Spezifikationen in Code umwandelt. 2) Immer mehr "Kompilierung" wird unbeaufsichtigt sein, weniger das Beobachten des Agenten, der diff für diff arbeitet, mehr Spezifikation rein, Code raus. 3) Typfehler -> Wahrheitsfehler: Das meiste Debugging wird darin bestehen, durch Forschungs- und Implementierungspläne in Markdown zu graben, um die eine Zeile falschen Kontexts zu finden, die dazu führt, dass der Codierungsagent bei der Implementierung scheitert. Test-Suiten werden unter anderem auf Wahrheit und logische Konsistenz prüfen. 4) Es gibt eine neue höhere Ordnung von "einen Schritt-Debugger anhängen", bei der man den Agenten Schritt für Schritt einen Plan umsetzen sieht, um den logischen Fehler in der Spezifikation zu lokalisieren. Wenn man einen Fehler findet, während man ein Programm Zeile für Zeile durchgeht, ändert man den Code, startet den Prozess neu und wiederholt das, bis es funktioniert. Wenn man einen Fehler in einer *Spezifikation* findet, während man eine Implementierung durchgeht, geht man flussaufwärts, behebt die Spezifikation und startet die *Implementierung* neu.