¿Qué hace backprop?
Protocolo de Bug → especificación. Cuando se encuentra un error o falla una prueba, rastrea la causa, decide si un nuevo invariante §V evitaría la recurrencia y lo añade a §B. Esta es la única funcionalidad no obvia que SDD realiza y que planificar-y-ejecutar no. Se activa en fallos de pruebas, informes de errores, autopsias o peticiones explícitas del usuario.