REODE
Code migration
Pred opravou nájsť spoločnú príčinu.
Agent na migráciu kódu Java/Spring.
Opravný agent najprv číta konfiguráciu
Agent, ktorý skúšal opravovať setter po setteri, je opravný agent vnútri produktu REODE; vývoj zmenil jeho vstup. Kód a informácie o zákazníkovi sú neverejné.
March 21, 2026
Skupiny chýb, pôvodný build a nastavenie Lombok sa stali vstupom opravy
Vo vývojiOpravný agent REODE
Pozorovanie · zisteniePokusy o jednotlivé opravy približne 40 chýb setterov · @Data / POM neskontrolované
- vrátenéPrehliadnutá spoločná príčina→ Pred opravou čítať zdroje a konfiguráciu buildu (Vývojár)
ČlovekVývojár
AkciaPred opravou čítať zdroje a konfiguráciu buildu
- odovzdanieZmenený vstup opravy→ Build pôvodného baseline · zoskupenie chýb s rovnakým vzorom (Vývojové zmeny)
Pracovná reláciaVývojové zmeny
AkciaBuild pôvodného baseline · zoskupenie chýb s rovnakým vzorom
- odovzdanie→ Zber dokladov: cesty · 3 vzorky zdrojov · anotácie · POM (Vývojové zmeny)
Spísané pravidloZásady pre prispievateľov
Pravidlo · neoverenéPlán úlohy · vlastný worktree
- nejde o zaznamenané vykonanieVyžadované zásadami→ Build pôvodného baseline · zoskupenie chýb s rovnakým vzorom (Vývojové zmeny)
Pracovná reláciaVývojové zmeny
AkciaZber dokladov: cesty · 3 vzorky zdrojov · anotácie · POM
- odovzdanie→ Najprv deterministická oprava Lombok · LLM sa preskočí, ak nový build prejde (Vývojové zmeny)
Spísané pravidloZásady pre prispievateľov
Pravidlo · neoverenéRevízia bez kontextu: plán ↔ diff
- nejde o zaznamenané vykonanieVyžadované zásadami→ Zber dokladov: cesty · 3 vzorky zdrojov · anotácie · POM (Vývojové zmeny)
Pracovná reláciaVývojové zmeny
AkciaNajprv deterministická oprava Lombok · LLM sa preskočí, ak nový build prejde
- odovzdanieNový build zlyhal→ Ak nový build zlyhá, oprava modelom s dokladmi a pokynmi na opravu (Opravný agent REODE)
Vo vývojiOpravný agent REODE
Pozorovanie · zistenieAk nový build zlyhá, oprava modelom s dokladmi a pokynmi na opravu
- odovzdanieSignály overenia→ Hodnotiaca karta: build · testy · zmazané testy · vylúčenia surefire (Artefakty)
ArtefaktyArtefakty
ArtefaktHodnotiaca karta: build · testy · zmazané testy · vylúčenia surefire
- vrátenéZostávajúce zlyhania→ Zostávajúce zlyhania sa vracajú k zberu dokladov (Vývojové zmeny)
Pracovná reláciaVývojové zmeny
AkciaZostávajúce zlyhania sa vracajú k zberu dokladov
- Kontext
- Opravný agent skúšal opraviť približne 40 chýb setMsg() not found jednu po druhej bez toho, aby sa pozrel na @Data alebo verziu Lombok v pom.xml. Vstup, ktorý bol pokazený už predtým, sa nerozlišoval od chýb, ktoré zaniesla migrácia.
- Výsledok
- Hodnotiaca karta číta výsledky buildu a testov spolu s počtom zmazaných testov a vylúčení v surefire a položku pokrytia vynechá, keď je baseline neznámy. Úspech dosiahnutý zmazaním testov zostáva zlyhaním.
- Obmedzenie
- Zber dokladov vzorkuje najviac tri zdroje, takže nejde o porozumenie celej kódovej základni. Neexistuje záznam, že by sa worktree, nezávislá revízia alebo front zlúčení develop zo zásad na tento prípad skutočne vzťahovali, a kódovací agent ani model v tomto prípade nie sú potvrdené. Konečné výsledky testov ani pokrytia u zákazníka nie sú k dispozícii.
Zdroje a zostávajúce obmedzenia
- Úloha baseline a úloha prieskumu pred opravou prešli zo stavu rozpracované do hotové a implementačné commity existujú. Čerstvé výsledky kontrol GitHub sa nesťahovali.
- Zásady tohto repozitára stanovujú front zlúčení feature → develop → main, ale rovnaký postup sa v iných projektoch nepoužíva.
- Voliteľne zapínaní validační agenti sú mechanizmom v implementácii, nie dokladom, že sa použili pri každej dodávke. Hodnoty ako veľkosť dodávky alebo pomery nie sú uvedené, pretože ich pôvodné doklady sa nepodarilo potvrdiť.
- Keď nový build zlyhá, oprava modelom stále dostáva pôvodnú chybu buildu, nie novú chybu z nového buildu.