REODE

Primeiro vêm a conversão baseada em regras e as correções determinísticas de padrões conhecidos, e se o rebuild passar, nenhum modelo é chamado. Se falhar, um modelo repara com as evidências reunidas e as instruções de correção, e build e test verificam de novo.

A leitura do código mostra que o texto de erro passado ao reparo por modelo é o erro de build original, não o novo erro do rebuild · capítulo “Loop de reparo”