REODE

Πρώτα έρχονται η μετατροπή βάσει κανόνων και οι ντετερμινιστικές διορθώσεις γνωστών μοτίβων, και αν το νέο build περάσει, δεν καλείται κανένα μοντέλο. Αν αποτύχει, ένα μοντέλο επιδιορθώνει με τα τεκμήρια που συγκεντρώθηκαν και οδηγίες διόρθωσης, και τα build και test επαληθεύουν ξανά.

Η ανάγνωση του κώδικα δείχνει ότι το κείμενο σφάλματος που περνά στην επιδιόρθωση από το μοντέλο είναι το αρχικό σφάλμα build, όχι το νέο σφάλμα του επανα-build · κεφάλαιο «Βρόχος επιδιόρθωσης»