HR
Dorađeni izvorni lik REODE: nasmiješeno krem-ružičasto lice aksolotla s tamnoplavim slušalicama i cijan lećama
Natrag u dvoranu

REODE

Code migration

Prije popravka pronaći zajednički uzrok.

Agent za migraciju koda Java/Spring.

2026.03 — 2026.04

Radni projekt · sustav migracije i verifikacije

  • CLIImplementirano · radni projekt

Petlja migracije koja dokaze za popravak drži odvojeno od prihvaćanja.

Izvorno stanje builda bilježi se i primjenjuje se pretvorba temeljena na pravilima, a zatim se prije popravka prikupljaju dokazi iz izvora i POM-a. Nakon izmjene modela ponovno se provjeravaju build, testovi i cjelovitost testova, a izvođenja koja završe na ograničenju ili u zastoju izvješćuju se odvojeno od uspjeha.

Kombinira pretvorbu temeljenu na pravilima s popravkom uz pomoć modela i provjerava promijenjeni kod buildom i testovima. Radni projekt.

Rad na REODE-u u repozitoriju; suradnja s pinxlabom March 16, 2026 – May 26, 2026

CLI alat koji se koristi na poslu.

Karta petlje popravka · prema privatnim zapisima implementacije
Petlja popravka migracije REODEIzvorno stanje builda čuva se kao osnovica, primjenjuje se pretvorba temeljena na pravilima, a build i testovi provjeravaju rezultat. Pri neuspjehu se prije bilo kakvog popravka prikupljaju dokazi iz izvora, anotacija i POM-a, a poznati se obrasci popravljaju deterministički i ponovno grade. Ako ponovni build prođe, model se ne poziva; ako ne prođe, model popravlja uz prikupljene dokaze i upute za popravak, a rezultat se ponovno provjerava. Izvođenja koja završe na ograničenju iteracija ili u zastoju idu na mjerenje, ali se ne računaju kao uspjeh, a tablica bodova daje ocjenu samo kad prođu svih pet pragova prihvaćanja.Izvor · POMPrivatni ulaz migracijeTablica bodova · ocjenaNije postavljanjeIzvješće o neuspjehu · zastojuNe računa se kao uspjehIzvorna provjeraIzvorno stanje · kompilacijaStanje izvođenjaOsnovica · nepoznato nije izmjerenoZapisi oporavkaKontrolna točka prije popravkaRaniji popravak, ista pogreškaPretvorbaPlan → pretvorba temeljena na pravilimaIstraži prije popravkaDokazi uzroka · 3 izvora · POMDeterministički popravakPopravak poznatih obrazacaProvjera ponovnog buildaPopravak modelomPopravak uz dokaze · uputeVerifikacijabuild · testovi · iteracija +1Sljedeći korakNastavi · izmjeri · najviše 3MjerenjeUdio pravila · testovi · pokrivenost5 pragova prihvaćanjaUlaz · osnovicaZapisi oporavkaPretvorba · popravakVerifikacija · izlaz1izvor · POM2izvorna kompilacija3 pretvorba pravilima · Izvorno stanje · kompilacija → Plan → pretvorba temeljena na pravilima34build · test5rezultat · iteracije6prolaz · ograničenje · zastoj7usporedba s osnovicom8 ocjenjivanje · 5 pragova prihvaćanja → Tablica bodova · ocjena81rezultat · iteracije2 neuspjeh · ponovni pokušaj · Nastavi · izmjeri · najviše 3 → Dokazi uzroka · 3 izvora · POM23spremanje prije popravka4dokazi · grupirane pogreške5prošlo · LLM preskočen6ponovni build nije prošao7 raniji popravak · Raniji popravak, ista pogreška → Popravak uz dokaze · upute78ponovna provjera1prolaz · ograničenje · zastoj2usporedba s osnovicom3 ocjenjivanje · 5 pragova prihvaćanja → Tablica bodova · ocjena34obrisano · izuzeto · neuspjelo5izlaz na ograničenju · u zastoju

Pretvorba pravilima

Izvorno stanje čuva se kao osnovica; nakon pretvorbe pravilima build i testovi provjeravaju, a izvođenje ide na mjerenje.

  1. Izvor · POMizvor · POMIzvorno stanje · kompilacijaIzvorna provjera

    Preuzima izvor Java/Spring i POM za migraciju. Kod i zasloni klijenta nisu prikazani.

  2. Izvorno stanje · kompilacijaIzvorna provjeraizvorna kompilacijaOsnovica · nepoznato nije izmjerenoStanje izvođenja

    Prije pretvorbe odabire se izvršno okruženje i kompilira izvornik, pa se build koji je već bio pokvaren čuva u osnovici. Zadane vrijednosti testova i pokrivenosti u osnovici nisu mjerenja.

  3. Izvorno stanje · kompilacijaIzvorna provjerapretvorba pravilimaPlan → pretvorba temeljena na pravilimaPretvorba

    Graf izvođenja ide: izvorna provjera → plan pretvorbe → pretvorba temeljena na pravilima → verifikacija. Najprije se primjenjuju pretvorbe koje pravila mogu provesti.

  4. Plan → pretvorba temeljena na pravilimaPretvorbabuild · testbuild · testovi · iteracija +1Verifikacija

    Build i testovi provjeravaju pretvoreni kod, a broj iteracija raste za jedan. Rezultati se vraćaju u stanje izvođenja.

  5. build · testovi · iteracija +1Verifikacijarezultat · iteracijeNastavi · izmjeri · najviše 3Sljedeći korak

    Uspjeh builda, stopa prolaznosti testova i broj iteracija određuju sljedeći korak.

  6. Nastavi · izmjeri · najviše 3Sljedeći korakprolaz · ograničenje · zastojUdio pravila · testovi · pokrivenostMjerenje

    Kad i build i testovi prođu, dosegne se ograničenje iteracija ili se otkrije zastoj (nakon jednog pokušaja oporavka ako ga još nije bilo), izvođenje ide na mjerenje. Odlazak na mjerenje ne znači uspjeh.

  7. Osnovica · nepoznato nije izmjerenoStanje izvođenjausporedba s osnovicomUdio pravila · testovi · pokrivenostMjerenje

    Mjerenje čita osnovicu sačuvanu u stanju izvođenja. To nije novo izvođenje osnovice.

  8. 5 pragova prihvaćanjaMjerenjeocjenjivanjeTablica bodova · ocjena

    Uspješan build, 100 % prolaznosti testova, promjena pokrivenosti od −5 ili bolja (samo kad je osnovica poznata), nula obrisanih testova, nula surefire izuzimanja. Ocjena se daje samo kad prođe svih pet.

Popravak prema uzroku

Dokazi se prikupljaju prije popravka, a deterministički popravci dolaze prvi. Ako ponovni build prođe, model se preskače; ako ne, model popravlja uz dokaze i upute, a rezultat se ponovno provjerava.

  1. build · testovi · iteracija +1Verifikacijarezultat · iteracijeNastavi · izmjeri · najviše 3Sljedeći korak

    Uspjeh builda, stopa prolaznosti testova i broj iteracija određuju sljedeći korak.

  2. Nastavi · izmjeri · najviše 3Sljedeći korakneuspjeh · ponovni pokušajDokazi uzroka · 3 izvora · POMIstraži prije popravka

    Ako build nije prošao ili je stopa prolaznosti testova ispod 100 %, a ograničenje iteracija (zadano 3) nije dosegnuto, izvođenje ide na popravak.

  3. Dokazi uzroka · 3 izvora · POMIstraži prije popravkaspremanje prije popravkaKontrolna točka prije popravkaZapisi oporavka

    Prije popravka sprema se kontrolna točka. To je best-effort: neuspjelo spremanje ne zaustavlja popravak, a spremanje nije dokaz uspjeha.

  4. Dokazi uzroka · 3 izvora · POMIstraži prije popravkadokazi · grupirane pogreškePopravak poznatih obrazacaDeterministički popravak

    Prikuplja Java datoteke s pogreškama, početne retke najviše triju izvora, postavke anotacija, POM-a i annotation processora te importe do dubine 2. Ograničen uzorak, a ne razumijevanje cijelog koda.

  5. Provjera ponovnog buildaDeterministički popravakprošlo · LLM preskočenbuild · testovi · iteracija +1Verifikacija

    Ako deterministički popravak poznatog obrasca (na primjer postava Lomboka) omogući da ponovni build prođe, model se ne poziva. Izvođenje se i dalje vraća na verifikaciju, pa to nije konačno prihvaćanje.

  6. Provjera ponovnog buildaDeterministički popravakponovni build nije prošaoPopravak uz dokaze · uputePopravak modelom

    Ako ponovni build ne prođe, prikupljeni dokazi i upute za popravak idu na popravak modelom. Iz koda se vidi da se uz njih prosljeđuje tekst izvorne pogreške builda, a ne nove pogreške ponovnog builda, pa se to ne smije čitati kao „prosljeđuju se samo preostale pogreške”. To nije nedostatak reproduciran u izvođenju.

  7. Raniji popravak, ista pogreškaZapisi oporavkaraniji popravakPopravak uz dokaze · uputePopravak modelom

    Raniji popravci zabilježeni pod istim potpisom pogreške pronalaze se i prilažu. To je zapis dodan ulazu, a ne treniranje modela.

  8. Popravak uz dokaze · uputePopravak modelomponovna provjerabuild · testovi · iteracija +1Verifikacija

    Model popravlja kroz strukturirani put architect/editor ili, kad taj put nije dostupan ili je u tijeku oporavak, kroz prompt s korištenjem alata, a build i testovi ponovno provjeravaju. Izmjena modela sama po sebi nije build koji je prošao.

Prolaz nasuprot zastoju

Za ocjenu je potrebno svih pet pragova; obrisani ili izuzeti testovi te izlazi na ograničenju ili u zastoju ne računaju se kao uspjeh.

  1. Nastavi · izmjeri · najviše 3Sljedeći korakprolaz · ograničenje · zastojUdio pravila · testovi · pokrivenostMjerenje

    Kad i build i testovi prođu, dosegne se ograničenje iteracija ili se otkrije zastoj (nakon jednog pokušaja oporavka ako ga još nije bilo), izvođenje ide na mjerenje. Odlazak na mjerenje ne znači uspjeh.

  2. Osnovica · nepoznato nije izmjerenoStanje izvođenjausporedba s osnovicomUdio pravila · testovi · pokrivenostMjerenje

    Mjerenje čita osnovicu sačuvanu u stanju izvođenja. To nije novo izvođenje osnovice.

  3. 5 pragova prihvaćanjaMjerenjeocjenjivanjeTablica bodova · ocjena

    Uspješan build, 100 % prolaznosti testova, promjena pokrivenosti od −5 ili bolja (samo kad je osnovica poznata), nula obrisanih testova, nula surefire izuzimanja. Ocjena se daje samo kad prođe svih pet.

  4. 5 pragova prihvaćanjaMjerenjeobrisano · izuzeto · neuspjeloIzvješće o neuspjehu · zastoju

    Prolazi dobiveni brisanjem testova ili surefire izuzimanjima te neuspjeli buildovi ili testovi ostaju neuspjesi. Provjere brisanja i izuzimanja broje nulu kad se Git ili POM ne mogu pročitati, pa nisu dokaz da je svako kršenje uhvaćeno.

  5. Nastavi · izmjeri · najviše 3Sljedeći korakizlaz na ograničenju · u zastojuIzvješće o neuspjehu · zastoju

    Izvođenje koje završi na ograničenju ili u zastoju i dalje prolazi mjerenje, ali se ne izvješćuje kao uspjeh. To označava način izvješćivanja; nije prečac oko mjerenja.

Sve veze iste debljine. Odaberite tijek kako biste istaknuli samo njegov put s numeriranim koracima.

  • Puna crta · smjer ulaza, rezultata i zapisa
  • Isprekidana crta · pokretanje, prosudba, zahtjev
  • Duga točkasta crta · opažanje i izvješćivanje, odvojeno od prosudbe
  • Kratke crtice · neuspjeh, zaustavljanje, ograničenje
  • Debela crna crta · odabrani tijek; brojevi daju redoslijed
  • Okvir · granica koda ili stanja, imenovana u zaglavlju
  • Unutarnja pločica · komponenta te granice
  • Točkasti okvir · izvan te granice
  • Narančasti obrub · mjesto gdje model odlučuje
  • Koraci cjevovoda · popravak
  • Verifikacija · usmjeravanje · prihvaćanje
  • Stanje · zapisi
  • Istraži prije popravka

Nacrtano prema privatnim zapisima implementacije i razvoja. Nazivi su opći javni nazivi; putanje koda i podaci o klijentima nisu prikazani.

Ulaz nakon neuspjelog ponovnog builda
Popravak modelom dobiva prikupljene dokaze i upute za popravak, ali se prosljeđuje tekst izvorne pogreške builda, a ne nove pogreške ponovnog builda. Utvrđeno čitanjem koda; nije reproducirano u izvođenju, a izvor nije mijenjan.
Ograničenja pragova
Ako osnovica pokrivenosti nije poznata, taj se prag preskače. Provjera surefire broji izuzimanja u trenutačnom POM-u, a ne razliku u odnosu na osnovicu. Provjere brisanja i izuzimanja broje nulu kad se Git ili POM ne mogu pročitati.
Slučaj i njegove brojke
Četrdesetak setter pogrešaka praćenih do jednog uzroka, postava Lomboka i POM-a, dijagnoza je zabilježena u ono vrijeme. Nije brojka propusnosti, točnosti ni konačne isporuke.