REODE
Code migration
Před opravou najít společnou příčinu.
Agent pro migraci kódu Java/Spring.
Opravný agent nejprve čte konfiguraci
Agent, který zkoušel opravovat setter po setteru, je opravný agent uvnitř produktu REODE; vývoj změnil jeho vstup. Kód a informace o zákazníkovi jsou neveřejné.
March 21, 2026
Skupiny chyb, původní build a nastavení Lombok se staly vstupem opravy
Ve vývojiOpravný agent REODE
Pozorování · zjištěníPokusy o jednotlivé opravy zhruba 40 chyb setterů · @Data / POM nezkontrolovány
- vrácenoPřehlédnutá společná příčina→ Před opravou číst zdroje a konfiguraci buildu (Vývojář)
ČlověkVývojář
AkcePřed opravou číst zdroje a konfiguraci buildu
- předáníZměněný vstup opravy→ Build původního baseline · seskupení chyb se stejným vzorem (Vývojové změny)
Pracovní relaceVývojové změny
AkceBuild původního baseline · seskupení chyb se stejným vzorem
- předání→ Sběr dokladů: cesty · 3 vzorky zdrojů · anotace · POM (Vývojové změny)
Sepsané pravidloZásady pro přispěvatele
Pravidlo · neověřenoPlán úlohy · vlastní worktree
- nejde o zaznamenané provedeníVyžadováno zásadami→ Build původního baseline · seskupení chyb se stejným vzorem (Vývojové změny)
Pracovní relaceVývojové změny
AkceSběr dokladů: cesty · 3 vzorky zdrojů · anotace · POM
- předání→ Nejprve deterministická oprava Lombok · LLM se přeskočí, pokud nový build projde (Vývojové změny)
Sepsané pravidloZásady pro přispěvatele
Pravidlo · neověřenoRevize bez kontextu: plán ↔ diff
- nejde o zaznamenané provedeníVyžadováno zásadami→ Sběr dokladů: cesty · 3 vzorky zdrojů · anotace · POM (Vývojové změny)
Pracovní relaceVývojové změny
AkceNejprve deterministická oprava Lombok · LLM se přeskočí, pokud nový build projde
- předáníNový build selhal→ Pokud nový build selže, oprava modelem s doklady a pokyny k opravě (Opravný agent REODE)
Ve vývojiOpravný agent REODE
Pozorování · zjištěníPokud nový build selže, oprava modelem s doklady a pokyny k opravě
- předáníSignály ověření→ Hodnoticí karta: build · testy · smazané testy · vyloučení surefire (Artefakty)
ArtefaktyArtefakty
ArtefaktHodnoticí karta: build · testy · smazané testy · vyloučení surefire
- vrácenoZbývající selhání→ Zbývající selhání se vracejí ke sběru dokladů (Vývojové změny)
Pracovní relaceVývojové změny
AkceZbývající selhání se vracejí ke sběru dokladů
- Kontext
- Opravný agent zkoušel opravit zhruba 40 chyb setMsg() not found jednu po druhé, aniž by se podíval na @Data nebo verzi Lombok v pom.xml. Vstup, který byl rozbitý už předtím, se nerozlišoval od chyb, které zanesla migrace.
- Výsledek
- Hodnoticí karta čte výsledky buildu a testů spolu s počtem smazaných testů a vyloučení v surefire a položku pokrytí vynechá, když je baseline neznámý. Úspěch dosažený smazáním testů zůstává selháním.
- Omezení
- Sběr dokladů vzorkuje nejvýše tři zdroje, takže nejde o porozumění celé kódové základně. Neexistuje záznam, že by se worktree, nezávislá revize nebo fronta sloučení develop ze zásad na tento případ skutečně vztahovaly, a kódovací agent ani model v tomto případu nejsou potvrzeny. Konečné výsledky testů ani pokrytí u zákazníka nejsou k dispozici.
Zdroje a zbývající omezení
- Úloha baseline a úloha průzkumu před opravou přešly ze stavu rozpracováno do hotovo a implementační commity existují. Čerstvé výsledky kontrol GitHub se nestahovaly.
- Zásady tohoto repozitáře stanoví frontu sloučení feature → develop → main, ale stejný postup se v jiných projektech nepoužívá.
- Volitelně zapínaní validační agenti jsou mechanismem v implementaci, nikoli dokladem, že byli použiti při každé dodávce. Hodnoty jako velikost dodávky nebo poměry nejsou uvedeny, protože jejich původní doklady se nepodařilo potvrdit.
- Když nový build selže, oprava modelem stále dostává původní chybu buildu, nikoli novou chybu z nového buildu.