REODE

Najpierw idą konwersja oparta na regułach i deterministyczne poprawki znanych wzorców, a jeśli ponowny build przejdzie, model nie jest wywoływany. Jeśli nie przejdzie, model naprawia z zebranymi dowodami i instrukcjami poprawek, a build i testy weryfikują ponownie.

Z lektury kodu wynika, że tekst błędu przekazywany do naprawy przez model to oryginalny błąd builda, a nie nowy błąd z ponownego builda · rozdział „Pętla naprawy”