REODE

Primero van la conversión basada en reglas y las correcciones deterministas de patrones conocidos, y si la reconstrucción pasa, no se llama a ningún modelo. Si falla, un modelo repara con la evidencia reunida y las instrucciones de corrección, y build y test vuelven a verificar.

Leer el código muestra que el texto de error que se pasa a la reparación con modelo es el error de build original, no el nuevo de la reconstrucción · capítulo “Bucle de reparación”