FI
Alkuperäinen REODE-hahmo viimeisteltynä: hymyilevät kerman- ja vaaleanpunaiset aksolotlin kasvot, laivastonsininen kuulokemikrofoni ja syaanit linssit
Takaisin saliin

REODE

Code migration

Ensin yhteinen syy, sitten korjaus.

Java/Spring-koodin migraatioagentti.

2026.03 — 2026.04

Työprojekti · migraatio- ja todentamisjärjestelmä

  • CLIToteutettu · työprojekti

Migraatiosilmukka, joka pitää korjauksen näytön erillään hyväksynnästä.

Alkuperäinen koontitila kirjataan ja sääntöpohjainen muunnos sovelletaan, minkä jälkeen lähdekoodi- ja POM-näyttö kerätään ennen korjausta. Mallin muokkauksen jälkeen koonti, testit ja testien eheys tarkistetaan uudelleen, ja rajaan tai jumiutumiseen päättyneet ajot raportoidaan erillään onnistumisista.

Se yhdistää sääntöpohjaisen muunnoksen mallin avustamaan korjaukseen ja tarkistaa muutetun koodin koonnilla ja testeillä. Työprojekti.

REODE-työ repositoriossa; pinxlab-toimeksianto 16.3.2026–26.5.2026

Työssä käytetty CLI-työkalu.

Korjaussilmukan kartta · yksityisistä toteutuskirjauksista
REODEn migraation korjaussilmukkaAlkuperäinen koontitila säilytetään lähtötasona, sääntöpohjainen muunnos sovelletaan, ja koonti ja testit todentavat tuloksen. Epäonnistuessa lähdekoodi-, annotaatio- ja POM-näyttö kerätään ennen mitään korjausta, ja tunnetut kaavat korjataan deterministisesti ja kootaan uudelleen. Jos uudelleenkoonti menee läpi, mallia ei kutsuta; jos se epäonnistuu, malli korjaa kerätyn näytön ja korjausohjeiden avulla, ja tulos todennetaan uudelleen. Iteraatiorajaan tai jumiutumiseen päättyvät ajot etenevät mittaukseen, mutta niitä ei lasketa onnistumisiksi, ja tuloskortti antaa arvosanan vain, kun kaikki viisi hyväksymisporttia läpäistään.Lähdekoodi · POMYksityinen migraatiosyöteTuloskortti · arvosanaEi käyttöönottoEpäonnistumis- · jumiutumisraporttiEi lasketa onnistumiseksiAlkuperäisen tarkistusAlkuperäinen tila · käännösAjon tilaLähtötaso · tuntemattomat mittaamattaPalautuskirjauksetTarkistuspiste ennen korjaustaAiempi korjaus, sama virheMuunnosSuunnitelma → sääntöpohjainen muunnosTutki ennen korjaustaSyyn näyttö · 3 lähdettä · POMDeterministinen korjausTunnettujen kaavojen korjausUudelleenkoonnin tarkistusMallikorjausKorjaus näytön · ohjeiden avullaTodentaminenkoonti · testit · iteraatio +1Seuraava vaiheJatko · mittaus · enintään 3MittausSääntöjen osuus · testit · kattavuus5 hyväksymisporttiaSyöte · lähtötasoPalautuskirjauksetMuunnos · korjausTodentaminen · poistuminen1 lähdekoodi · POM · Lähdekoodi · POM → Alkuperäinen tila · käännös12alkuperäinen käännös3 sääntömuunnos · Alkuperäinen tila · käännös → Suunnitelma → sääntöpohjainen muunnos34build · test5tulos · iteraatiot6läpi · raja · jumiutuminen7lähtötasovertailu8arvostelu1tulos · iteraatiot2 epäonnistui · uusinta · Jatko · mittaus · enintään 3 → Syyn näyttö · 3 lähdettä · POM23tallennus ennen korjausta4näyttö · ryhmitellyt virheet5läpi · LLM ohitettu6uudelleenkoonti epäonnistui7 aiempi korjaus · Aiempi korjaus, sama virhe → Korjaus näytön · ohjeiden avulla78uusi todentaminen1läpi · raja · jumiutuminen2lähtötasovertailu3arvostelu4poistettu · poissuljettu · epäonnistunut5poistuminen rajaan · jumiutumiseen

Sääntömuunnos

Alkuperäinen tila säilytetään lähtötasona; sääntömuunnoksen jälkeen koonti ja testit todentavat, ja ajo etenee mittaukseen.

  1. Lähdekoodi · POMlähdekoodi · POMAlkuperäinen tila · käännösAlkuperäisen tarkistus

    Ottaa siirrettävän Java/Spring-lähdekoodin ja POMin. Asiakkaan koodia ja näkymiä ei näytetä.

  2. Alkuperäinen tila · käännösAlkuperäisen tarkistusalkuperäinen käännösLähtötaso · tuntemattomat mittaamattaAjon tila

    Ennen muunnosta valitaan ajoympäristö ja alkuperäinen käännetään, joten jo valmiiksi rikkinäinen koonti säilyy lähtötasossa. Lähtötason oletusarvoiset testi- ja kattavuusarvot eivät ole mittauksia.

  3. Alkuperäinen tila · käännösAlkuperäisen tarkistussääntömuunnosSuunnitelma → sääntöpohjainen muunnosMuunnos

    Ajograafi kulkee alkuperäisen tarkistus → muunnossuunnitelma → sääntöpohjainen muunnos → todentaminen. Sääntöjen hoidettavissa olevat muunnokset sovelletaan ensin.

  4. Suunnitelma → sääntöpohjainen muunnosMuunnosbuild · testkoonti · testit · iteraatio +1Todentaminen

    Koonti ja testit todentavat muunnetun koodin, ja iteraatiolaskuri kasvaa yhdellä. Tulokset palaavat ajon tilaan.

  5. koonti · testit · iteraatio +1Todentaminentulos · iteraatiotJatko · mittaus · enintään 3Seuraava vaihe

    Koonnin onnistuminen, testien läpäisyaste ja iteraatioiden määrä päättävät seuraavan vaiheen.

  6. Jatko · mittaus · enintään 3Seuraava vaiheläpi · raja · jumiutuminenSääntöjen osuus · testit · kattavuusMittaus

    Kun sekä koonti että testit menevät läpi, iteraatioraja saavutetaan tai jumiutuminen havaitaan (yhden palautusyrityksen jälkeen, jos sitä ei ole vielä tehty), ajo siirtyy mittaukseen. Mittaukseen siirtyminen ei tarkoita onnistumista.

  7. Lähtötaso · tuntemattomat mittaamattaAjon tilalähtötasovertailuSääntöjen osuus · testit · kattavuusMittaus

    Mittaus lukee ajon tilaan säilytetyn lähtötason. Se ei ole uusi lähtötasoajo.

  8. 5 hyväksymisporttiaMittausarvosteluTuloskortti · arvosana

    Onnistunut koonti, 100 %:n testien läpäisyaste, kattavuuden muutos −5 tai parempi (vain kun lähtötaso tunnetaan), nolla poistettua testiä, nolla surefire-poissulkua. Arvosana annetaan vain, kun kaikki viisi läpäistään.

Syypohjainen korjaus

Näyttö kerätään ennen korjausta ja deterministiset korjaukset tulevat ensin. Jos uudelleenkoonti menee läpi, malli ohitetaan; jos ei, malli korjaa näytön ja ohjeiden avulla ja tulos todennetaan uudelleen.

  1. koonti · testit · iteraatio +1Todentaminentulos · iteraatiotJatko · mittaus · enintään 3Seuraava vaihe

    Koonnin onnistuminen, testien läpäisyaste ja iteraatioiden määrä päättävät seuraavan vaiheen.

  2. Jatko · mittaus · enintään 3Seuraava vaiheepäonnistui · uusintaSyyn näyttö · 3 lähdettä · POMTutki ennen korjausta

    Jos koonti epäonnistui tai testien läpäisyaste on alle 100 % eikä iteraatioraja (oletuksena 3) ole täynnä, ajo siirtyy korjaukseen.

  3. Syyn näyttö · 3 lähdettä · POMTutki ennen korjaustatallennus ennen korjaustaTarkistuspiste ennen korjaustaPalautuskirjaukset

    Ennen korjausta tallennetaan tarkistuspiste. Se on best-effort: epäonnistunut tallennus ei pysäytä korjausta, eikä tallennus ole näyttöä onnistumisesta.

  4. Syyn näyttö · 3 lähdettä · POMTutki ennen korjaustanäyttö · ryhmitellyt virheetTunnettujen kaavojen korjausDeterministinen korjaus

    Kerää epäonnistuvat Java-tiedostot, enintään kolmen lähdetiedoston alkurivit, annotaatio-, POM- ja annotaatioprosessoriasetukset sekä importit syvyyteen 2 asti. Rajattu otos, ei koko koodikannan ymmärtämistä.

  5. Uudelleenkoonnin tarkistusDeterministinen korjausläpi · LLM ohitettukoonti · testit · iteraatio +1Todentaminen

    Jos tunnetun kaavan (esimerkiksi Lombok-asetusten) deterministinen korjaus saa uudelleenkoonnin läpi, mallia ei kutsuta. Ajo palaa silti todentamiseen, joten tämä ei ole lopullinen hyväksyntä.

  6. Uudelleenkoonnin tarkistusDeterministinen korjausuudelleenkoonti epäonnistuiKorjaus näytön · ohjeiden avullaMallikorjaus

    Jos uudelleenkoonti epäonnistuu, kerätty näyttö ja korjausohjeet menevät mallikorjaukselle. Koodia lukemalla näkyy, että mukana välitetty virheteksti on alkuperäinen koontivirhe, ei uudelleenkoonnin uusi virhe, joten tätä ei saa lukea muodossa ”vain jäljellä olevat virheet välitetään”. Kyse ei ole ajossa toistetusta viasta.

  7. Aiempi korjaus, sama virhePalautuskirjauksetaiempi korjausKorjaus näytön · ohjeiden avullaMallikorjaus

    Samalla virheallekirjoituksella kirjatut aiemmat korjaukset haetaan ja liitetään. Syötteeseen lisätty kirjaus, ei mallin koulutusta.

  8. Korjaus näytön · ohjeiden avullaMallikorjausuusi todentaminenkoonti · testit · iteraatio +1Todentaminen

    Malli korjaa jäsennellyn architect/editor-polun kautta tai työkalujen käytön kehotteella, kun tuo polku ei ole käytettävissä tai on palautumassa, ja koonti ja testit todentavat uudelleen. Mallin muokkaus ei itsessään ole läpäisevä koonti.

Läpäisy vai jumiutuminen

Arvosana vaatii kaikki viisi porttia; poistetut tai poissuljetut testit sekä raja- tai jumiutumispoistumiset eivät ole onnistumisia.

  1. Jatko · mittaus · enintään 3Seuraava vaiheläpi · raja · jumiutuminenSääntöjen osuus · testit · kattavuusMittaus

    Kun sekä koonti että testit menevät läpi, iteraatioraja saavutetaan tai jumiutuminen havaitaan (yhden palautusyrityksen jälkeen, jos sitä ei ole vielä tehty), ajo siirtyy mittaukseen. Mittaukseen siirtyminen ei tarkoita onnistumista.

  2. Lähtötaso · tuntemattomat mittaamattaAjon tilalähtötasovertailuSääntöjen osuus · testit · kattavuusMittaus

    Mittaus lukee ajon tilaan säilytetyn lähtötason. Se ei ole uusi lähtötasoajo.

  3. 5 hyväksymisporttiaMittausarvosteluTuloskortti · arvosana

    Onnistunut koonti, 100 %:n testien läpäisyaste, kattavuuden muutos −5 tai parempi (vain kun lähtötaso tunnetaan), nolla poistettua testiä, nolla surefire-poissulkua. Arvosana annetaan vain, kun kaikki viisi läpäistään.

  4. 5 hyväksymisporttiaMittauspoistettu · poissuljettu · epäonnistunutEpäonnistumis- · jumiutumisraportti

    Testejä poistamalla tai surefire-poissuluilla saadut läpäisyt sekä epäonnistuneet koonnit tai testit pysyvät epäonnistumisina. Poisto- ja poissulkutarkistukset laskevat nollan, kun Gitiä tai POMia ei voi lukea, joten ne eivät todista, että jokainen rikkomus havaitaan.

  5. Jatko · mittaus · enintään 3Seuraava vaihepoistuminen rajaan · jumiutumiseenEpäonnistumis- · jumiutumisraportti

    Rajaan päättyvä tai jumiutuva ajo käy silti läpi mittauksen, mutta sitä ei raportoida onnistumisena. Tämä merkitsee raportointitavan; se ei ole oikotie mittauksen ohi.

Kaikki yhteydet samalla painolla. Valitse virta, niin vain sen polku korostuu numeroiduin vaihein.

  • Yhtenäinen · syötteiden, tulosten ja kirjausten suunta
  • Katkoviiva · suoritus, arvio, pyyntö
  • Pitkät pisteet · havainnointi ja raportointi, erillään arviosta
  • Lyhyet katkot · epäonnistuminen, pysähdys, raja
  • Paksu musta viiva · valittu virta; numerot kertovat järjestyksen
  • Laatikko · koodin tai tilan raja, nimi otsakkeessa
  • Sisälaatta · rajan komponentti
  • Pisteviivalaatikko · rajan ulkopuolella
  • Oranssi ääriviiva · kohta, jossa malli päättää
  • Putken vaiheet · korjaus
  • Todentaminen · reititys · hyväksyntä
  • Tila · kirjaukset
  • Tutki ennen korjausta

Piirretty yksityisistä toteutus- ja kehityskirjauksista. Nimet ovat yleisiä julkisia nimiä; koodipolkuja tai asiakastietoja ei näytetä.

Syöte epäonnistuneen uudelleenkoonnin jälkeen
Mallikorjaus saa kerätyn näytön ja korjausohjeet, mutta mukana välitetty virheteksti on alkuperäinen koontivirhe, ei uudelleenkoonnin uusi virhe. Todettu koodia lukemalla; ei toistettu ajossa, eikä lähdekoodia muutettu.
Porttien rajat
Jos kattavuuden lähtötasoa ei tunneta, tuo portti ohitetaan. Surefire-tarkistus laskee nykyisen POMin poissulut, ei eroa lähtötasoon. Poisto- ja poissulkutarkistukset laskevat nollan, kun Gitiä tai POMia ei voi lukea.
Tapaus ja sen luvut
Noin 40 setter-virheen jäljittäminen yhteen syyhyn, Lombok- ja POM-asetuksiin, on silloin kirjattu diagnoosi. Se ei ole läpimeno-, tarkkuus- tai lopullinen toimitusluku.