O que backprop faz?
Protocolo de bug → especificação. Quando um bug é encontrado ou um teste falha, rastreie a causa, decida se uma nova invariante §V impediria a recorrência e anexe-a a §B. Esta é a única coisa não óbvia que o SDD faz e que o planejar-depois-executar não faz. Aciona em falha de teste, relatório de bug, post-mortem ou solicitação explícita do usuário.