REODE
Code migration
Vispirms kopīgais cēlonis, tad labojums.
Java/Spring koda migrācijas aģents.
Labošanas aģents vispirms nolasa konfigurāciju
Aģents, kas mēģināja labot pa vienam setter, ir REODE produkta iekšējais labošanas aģents; izstrāde mainīja tā ievadi. Kods un klientu informācija ir privāti.
March 21, 2026
Kļūdu grupas, sākotnējā būvēšana un Lombok iestatījumi kļuva par labošanas ievadi
IzstrādēREODE labošanas aģents
Novērojums · atradumsAtsevišķi labojumi mēģināti apmēram 40 setter kļūdām · @Data / POM nav pārbaudīts
- nosūtīts atpakaļKopīgais cēlonis palaists garām→ Pirms labošanas nolasīt pirmkodu un būvēšanas konfigurāciju (Izstrādātājs)
CilvēksIzstrādātājs
DarbībaPirms labošanas nolasīt pirmkodu un būvēšanas konfigurāciju
- nodošanaLabošanas ievade mainīta→ Būvēt sākotnējo bāzlīniju · grupēt viena modeļa kļūdas (Izstrādes izmaiņas)
Darba sesijaIzstrādes izmaiņas
DarbībaBūvēt sākotnējo bāzlīniju · grupēt viena modeļa kļūdas
- nodošana→ Pierādījumu vākšana: ceļi · 3 pirmkoda paraugi · anotācijas · POM (Izstrādes izmaiņas)
Rakstīts noteikumsLīdzautoru politika
Noteikums · neverificētsUzdevumu plāns · savs worktree
- nav reģistrēta izpildePolitikas prasība→ Būvēt sākotnējo bāzlīniju · grupēt viena modeļa kļūdas (Izstrādes izmaiņas)
Darba sesijaIzstrādes izmaiņas
DarbībaPierādījumu vākšana: ceļi · 3 pirmkoda paraugi · anotācijas · POM
- nodošana→ Vispirms deterministisks Lombok labojums · LLM izlaists, ja atkārtotā būvēšana izdodas (Izstrādes izmaiņas)
Rakstīts noteikumsLīdzautoru politika
Noteikums · neverificētsBezkonteksta pārskatīšana: plāns ↔ diff
- nav reģistrēta izpildePolitikas prasība→ Pierādījumu vākšana: ceļi · 3 pirmkoda paraugi · anotācijas · POM (Izstrādes izmaiņas)
Darba sesijaIzstrādes izmaiņas
DarbībaVispirms deterministisks Lombok labojums · LLM izlaists, ja atkārtotā būvēšana izdodas
- nodošanaAtkārtotā būvēšana neizdevās→ Ja atkārtotā būvēšana neizdodas, modeļa labojums ar pierādījumiem un labošanas norādījumiem (REODE labošanas aģents)
IzstrādēREODE labošanas aģents
Novērojums · atradumsJa atkārtotā būvēšana neizdodas, modeļa labojums ar pierādījumiem un labošanas norādījumiem
- nodošanaVerifikācijas signāli→ Rezultātu karte: būvēšana · testi · dzēstie testi · surefire izslēgumi (Artefakti)
ArtefaktiArtefakti
ArtefaktsRezultātu karte: būvēšana · testi · dzēstie testi · surefire izslēgumi
- nosūtīts atpakaļAtlikušās kļūmes→ Atlikušās kļūmes atgriežas pierādījumu vākšanā (Izstrādes izmaiņas)
Darba sesijaIzstrādes izmaiņas
DarbībaAtlikušās kļūmes atgriežas pierādījumu vākšanā
- Konteksts
- Labošanas aģents mēģināja pa vienai labot apmēram 40 setMsg() not found kļūdas, neskatoties uz @Data vai Lombok versiju pom.xml. Jau iepriekš salauzta ievade netika nošķirta no migrācijas radītām kļūdām.
- Iznākums
- Rezultātu karte nolasa būvēšanas un testu rezultātus kopā ar dzēsto testu un surefire izslēgumu skaitu un izlaiž pārklājuma punktu, ja bāzlīnija nav zināma. Izturēšana, kas panākta, dzēšot testus, paliek kļūme.
- Ierobežojums
- Pierādījumu vākšana ņem izlasi no ne vairāk kā trim avotiem, tāpēc tā nav visas koda bāzes izpratne. Nav ieraksta, ka politikas worktree, neatkarīga pārskatīšana vai develop apvienošanas rinda faktiski attiecās uz šo gadījumu, un šī gadījuma kodēšanas aģents un modelis nav apstiprināti. Klienta galīgo testu vai pārklājuma rezultātu nav.
Avoti un atlikušie ierobežojumi
- Bāzlīnijas uzdevums un uzdevums „izpēte pirms labošanas“ tika pārvietoti no stāvokļa „procesā“ uz „pabeigts“, un implementācijas komiti ir. Jauni GitHub pārbaužu rezultāti netika iegūti.
- Šī repozitorija politika nosaka apvienošanas rindu feature → develop → main, bet tā pati procedūra netiek piemērota citiem projektiem.
- Izvēles validācijas aģenti ir implementācijas mehānisms, nevis pierādījums, ka tie tika izmantoti katrā piegādē. Tādi skaitļi kā piegādes apjoms vai attiecības nav iekļauti, jo to sākotnējos pierādījumus nevarēja apstiprināt.
- Ja atkārtotā būvēšana neizdodas, modeļa labošana joprojām saņem sākotnējo būvēšanas kļūdu, nevis atkārtotās būvēšanas jauno kļūdu.