Was macht backprop?
Bug → Spezifikations-Protokoll. Wenn ein Fehler gefunden wird oder ein Test fehlschlägt, wird die Ursache zurückverfolgt, entschieden, ob eine neue §V-Invariante das Wiederauftreten verhindern würde, und an §B angehängt. Dies ist die eine nicht offensichtliche Sache, die SDD tut und die Plan-then-Execute nicht tut. Auslöser: Testfehlschlag, Fehlerbericht, Post-Mortem oder explizite Benutzeranfrage.