REODE

يأتي التحويل القائم على القواعد والإصلاحات الحتمية للأنماط المعروفة أولًا، وإذا نجحت إعادة البناء فلا يُستدعى أي نموذج. وإذا فشلت، يُصلح نموذج بالأدلة المجمّعة وتعليمات الإصلاح، ثم يتحقق build وtest مرة أخرى.

تُظهر قراءة الشيفرة أن نص الخطأ المُمرَّر إلى إصلاح النموذج هو خطأ build الأصلي، لا الخطأ الجديد من إعادة البناء · فصل «حلقة الإصلاح»