TR
Özgün REODE karakterinin rötuşlanmış hâli: lacivert kulaklık ve camgöbeği lensler takmış, gülümseyen krem-pembe bir aksolotl yüzü
Salona dön

REODE

Code migration

Düzeltmeden önce ortak nedeni bul.

Bir Java/Spring kod geçişi ajanı.

2026.03 — 2026.04

İş projesi · geçiş ve doğrulama sistemi

  • CLIUygulandı · iş projesi

Onarım kanıtını kabulden ayrı tutan bir geçiş döngüsü.

Özgün build durumu kaydedilir ve kurala dayalı dönüşüm uygulanır; ardından onarımdan önce kaynak ve POM kanıtı toplanır. Bir modelin düzenlemesinden sonra build, test ve test bütünlüğü yeniden kontrol edilir; bir sınırda biten ya da takılan çalıştırmalar başarıdan ayrı raporlanır.

Kurala dayalı dönüşümü model destekli onarımla birleştirir ve değişen kodu build ve test ile kontrol eder. Bir iş projesi.

Depodaki REODE çalışması; pinxlab katılımı March 16, 2026 to May 26, 2026

İşte kullanılan bir CLI aracı.

Onarım döngüsü haritası · gizli uygulama kayıtlarından
REODE geçiş onarım döngüsüÖzgün build durumu temel çizgi olarak saklanır, kurala dayalı dönüşüm uygulanır ve build ile test sonucu doğrular. Başarısızlıkta herhangi bir düzeltmeden önce kaynak, annotation ve POM kanıtı toplanır; bilinen kalıplar deterministik olarak düzeltilip yeniden derlenir. Yeniden derleme geçerse hiçbir model çağrılmaz; başarısız olursa bir model toplanan kanıt ve düzeltme talimatlarıyla onarır ve sonuç yeniden doğrulanır. Yineleme sınırında biten ya da takılan çalıştırmalar ölçüme gider ama başarı sayılmaz; puan kartı yalnızca beş kabul kapısının hepsi geçtiğinde not verir.Kaynak · POMGizli geçiş girdisiPuan kartı · notBir dağıtım değilHata · takılma raporuBaşarı sayılmazÖzgün kontrolÖzgün durum · compileÇalıştırma durumuTemel çizgi · bilinmeyenler ölçülmezKurtarma kayıtlarıDüzeltmeden önce checkpointAynı hata için önceki düzeltmeDönüşümPlan → kurala dayalı dönüşümDüzeltmeden önce keşifNeden kanıtı · 3 kaynak · POMDeterministik düzeltmeBilinen kalıpları düzeltYeniden derleme kontrolüModel onarımıKanıt · talimatlarla düzeltDoğrulamabuild · test · yineleme +1Sonraki adımDevam · ölç · en fazla 3ÖlçümKural payı · testler · kapsam5 kabul kapısıGirdi · temel çizgiKurtarma kayıtlarıDönüşüm · onarımDoğrulama · çıkış1kaynak · POM2özgün compile3 kural dönüşümü · Özgün durum · compile → Plan → kurala dayalı dönüşüm34build · test5sonuç · yinelemeler6geçti · sınır · takılma7temel çizgi karşılaştırması8not verme1sonuç · yinelemeler2 başarısız · yeniden dene · Devam · ölç · en fazla 3 → Neden kanıtı · 3 kaynak · POM23düzeltmeden önce kaydet4kanıt · gruplanmış hatalar5geçti · LLM atlandı6yeniden derleme başarısız7 önceki düzeltme · Aynı hata için önceki düzeltme → Kanıt · talimatlarla düzelt78yeniden doğrula1geçti · sınır · takılma2temel çizgi karşılaştırması3not verme4silindi · dışlandı · başarısız5sınır · takılma çıkışı

Kural dönüşümü

Özgün durum temel çizgi olarak saklanır; kural dönüşümünden sonra build ve test doğrular ve çalıştırma ölçüme geçer.

  1. Kaynak · POMkaynak · POMÖzgün durum · compileÖzgün kontrol

    Geçirilecek Java/Spring kaynağını ve POM'u alır. Müşteri kodu ve ekranları gösterilmez.

  2. Özgün durum · compileÖzgün kontrolözgün compileTemel çizgi · bilinmeyenler ölçülmezÇalıştırma durumu

    Dönüşümden önce çalışma zamanı seçilir ve özgün kod compile edilir; böylece zaten bozuk olan bir build temel çizgide tutulur. Temel çizgideki varsayılan test ve kapsam değerleri ölçüm değildir.

  3. Özgün durum · compileÖzgün kontrolkural dönüşümüPlan → kurala dayalı dönüşümDönüşüm

    Çalıştırma grafiği şöyle ilerler: özgün kontrol → dönüşüm planı → kurala dayalı dönüşüm → doğrulama. Kuralların taşıyabildiği dönüşümler önce uygulanır.

  4. Plan → kurala dayalı dönüşümDönüşümbuild · testbuild · test · yineleme +1Doğrulama

    Build ve test dönüştürülen kodu doğrular ve yineleme sayısı bir artar. Sonuçlar çalıştırma durumuna döner.

  5. build · test · yineleme +1Doğrulamasonuç · yinelemelerDevam · ölç · en fazla 3Sonraki adım

    Build başarısı, test geçme oranı ve yineleme sayısı sonraki adımı belirler.

  6. Devam · ölç · en fazla 3Sonraki adımgeçti · sınır · takılmaKural payı · testler · kapsamÖlçüm

    Build ve test ikisi de geçtiğinde, yineleme sınırına ulaşıldığında ya da bir takılma algılandığında (henüz denenmediyse bir kurtarma denemesinden sonra) çalıştırma ölçüme gider. Ölçüme gitmek başarı anlamına gelmez.

  7. Temel çizgi · bilinmeyenler ölçülmezÇalıştırma durumutemel çizgi karşılaştırmasıKural payı · testler · kapsamÖlçüm

    Ölçüm, çalıştırma durumunda tutulan temel çizgiyi okur. Yeni bir temel çizgi çalıştırması değildir.

  8. 5 kabul kapısıÖlçümnot vermePuan kartı · not

    Build başarısı, %100 test geçme oranı, −5 ya da daha iyi bir kapsam değişimi (yalnızca temel çizgi biliniyorsa), sıfır silinmiş test, sıfır surefire dışlaması. Not ancak beşi de geçerse verilir.

Nedene dayalı onarım

Düzeltmeden önce kanıt toplanır ve önce deterministik düzeltmeler gelir. Yeniden derleme geçerse model atlanır; geçmezse model kanıt ve talimatlarla onarır ve sonuç yeniden doğrulanır.

  1. build · test · yineleme +1Doğrulamasonuç · yinelemelerDevam · ölç · en fazla 3Sonraki adım

    Build başarısı, test geçme oranı ve yineleme sayısı sonraki adımı belirler.

  2. Devam · ölç · en fazla 3Sonraki adımbaşarısız · yeniden deneNeden kanıtı · 3 kaynak · POMDüzeltmeden önce keşif

    Build başarısızsa ya da test geçme oranı %100'ün altındaysa ve yineleme sınırına (varsayılan 3) ulaşılmadıysa çalıştırma onarıma gider.

  3. Neden kanıtı · 3 kaynak · POMDüzeltmeden önce keşifdüzeltmeden önce kaydetDüzeltmeden önce checkpointKurtarma kayıtları

    Düzeltmeden önce bir checkpoint kaydedilir. Bu best-effort'tur: başarısız bir kayıt onarımı durdurmaz ve kayıt başarının kanıtı değildir.

  4. Neden kanıtı · 3 kaynak · POMDüzeltmeden önce keşifkanıt · gruplanmış hatalarBilinen kalıpları düzeltDeterministik düzeltme

    Başarısız Java dosyalarını, en fazla üç kaynağın ilk satırlarını, annotation, POM ve annotation processor ayarlarını ve 2 derinliğe kadar import'ları toplar. Sınırlı bir örnektir; tüm kod tabanının anlaşılması değildir.

  5. Yeniden derleme kontrolüDeterministik düzeltmegeçti · LLM atlandıbuild · test · yineleme +1Doğrulama

    Bilinen bir kalıbın (örneğin Lombok kurulumu) deterministik düzeltmesi yeniden derlemeyi geçirirse hiçbir model çağrılmaz. Çalıştırma yine de doğrulamaya döner; dolayısıyla bu nihai kabul değildir.

  6. Yeniden derleme kontrolüDeterministik düzeltmeyeniden derleme başarısızKanıt · talimatlarla düzeltModel onarımı

    Yeniden derleme başarısız olursa toplanan kanıt ve düzeltme talimatları model onarımına gider. Kod okunduğunda iletilen hata metninin yeniden derlemenin yeni hatası değil, özgün build hatası olduğu görülür; bu yüzden bu, “yalnızca kalan hatalar iletilir” diye okunmamalıdır. Bir çalıştırmada yeniden üretilmiş bir kusur değildir.

  7. Aynı hata için önceki düzeltmeKurtarma kayıtlarıönceki düzeltmeKanıt · talimatlarla düzeltModel onarımı

    Aynı hata imzası altında kaydedilmiş önceki düzeltmeler aranır ve eklenir. Girdiye eklenen bir kayıttır; model eğitimi değildir.

  8. Kanıt · talimatlarla düzeltModel onarımıyeniden doğrulabuild · test · yineleme +1Doğrulama

    Model yapılandırılmış bir architect/editor yoluyla, bu yol kullanılamıyorsa ya da kurtarma sırasında bir araç kullanımı istemiyle düzeltir; build ve test yeniden doğrular. Bir modelin düzenlemesi kendi başına geçen bir build değildir.

Geçiş ve takılma

Not için beş kapının hepsi gerekir; silinmiş ya da dışlanmış testler ve sınır ya da takılma çıkışları başarı sayılmaz.

  1. Devam · ölç · en fazla 3Sonraki adımgeçti · sınır · takılmaKural payı · testler · kapsamÖlçüm

    Build ve test ikisi de geçtiğinde, yineleme sınırına ulaşıldığında ya da bir takılma algılandığında (henüz denenmediyse bir kurtarma denemesinden sonra) çalıştırma ölçüme gider. Ölçüme gitmek başarı anlamına gelmez.

  2. Temel çizgi · bilinmeyenler ölçülmezÇalıştırma durumutemel çizgi karşılaştırmasıKural payı · testler · kapsamÖlçüm

    Ölçüm, çalıştırma durumunda tutulan temel çizgiyi okur. Yeni bir temel çizgi çalıştırması değildir.

  3. 5 kabul kapısıÖlçümnot vermePuan kartı · not

    Build başarısı, %100 test geçme oranı, −5 ya da daha iyi bir kapsam değişimi (yalnızca temel çizgi biliniyorsa), sıfır silinmiş test, sıfır surefire dışlaması. Not ancak beşi de geçerse verilir.

  4. 5 kabul kapısıÖlçümsilindi · dışlandı · başarısızHata · takılma raporu

    Test silerek ya da surefire dışlamalarıyla elde edilen geçişler ile başarısız build ya da testler başarısızlık olarak kalır. Silme ve dışlama kontrolleri Git ya da POM okunamadığında sıfır sayar; dolayısıyla her ihlalin yakalandığının kanıtı değildir.

  5. Devam · ölç · en fazla 3Sonraki adımsınır · takılma çıkışıHata · takılma raporu

    Sınırda biten ya da takılan bir çalıştırma yine de ölçümden geçer, ama başarı olarak raporlanmaz. Bu, nasıl raporlandığını belirler; ölçümü atlayan bir kestirme değildir.

Her bağlantı aynı kalınlıkta. Yalnızca yolunu numaralı adımlarla vurgulamak için bir akış seçin.

  • Düz çizgi · girdi, sonuç ve kayıtların yönü
  • Kesikli · çalıştırma, yargı, istek
  • Uzun noktalar · gözlem ve raporlama, yargıdan ayrı
  • Kısa kesikler · hata, durma, sınır
  • Kalın siyah çizgi · seçilen akış; numaralar sırayı verir
  • Kutu · bir kod ya da durum sınırı, adı başlığında
  • İç çip · o sınırın bir bileşeni
  • Noktalı kutu · o sınırın dışı
  • Turuncu çerçeve · bir modelin karar verdiği yer
  • Hat adımları · onarım
  • Doğrulama · yönlendirme · kabul
  • Durum · kayıtlar
  • Düzeltmeden önce keşif

Gizli uygulama ve geliştirme kayıtlarından çizildi. Adlar genel, kamuya açık adlardır; kod yolları ya da müşteri bilgileri gösterilmez.

Başarısız yeniden derlemeden sonraki girdi
Model onarımı toplanan kanıtı ve düzeltme talimatlarını alır, ama iletilen hata metni yeniden derlemenin yeni hatası değil, özgün build hatasıdır. Kod okunarak tespit edildi; bir çalıştırmada yeniden üretilmedi ve kaynak değiştirilmedi.
Kapıların sınırları
Kapsam temel çizgisi bilinmiyorsa o kapı atlanır. Surefire kontrolü temel çizgiden farkı değil, güncel POM'daki dışlamaları sayar. Silme ve dışlama kontrolleri Git ya da POM okunamadığında sıfır sayar.
Vaka ve rakamları
Yaklaşık 40 setter hatasının tek bir nedene, Lombok ve POM kurulumuna bağlanması o sırada kaydedilmiş bir teşhistir. Bir iş hacmi, doğruluk ya da nihai teslimat rakamı değildir.