UK
Оновлений оригінальний персонаж REODE: усміхнене кремово-рожеве обличчя аксолотля в темно-синій гарнітурі й блакитних лінзах
Назад до зали

REODE

Code migration

Перш ніж виправляти, знайти спільну причину.

Агент міграції коду Java/Spring.

2026.03 — 2026.04

Робочий проєкт · система міграції й верифікації

  • CLIРеалізовано · робочий проєкт

Цикл міграції, що тримає докази виправлення окремо від приймання.

Оригінальний стан збірки записується й застосовується перетворення на основі правил, а потім до виправлення збираються докази з джерел і POM. Після правки моделі знову перевіряються збірка, тести й цілісність тестів, а запуски, що завершуються на ліміті чи в застої, звітуються окремо від успіху.

Він поєднує перетворення на основі правил із виправленням за допомогою моделі й перевіряє змінений код збіркою й тестами. Робочий проєкт.

Робота над REODE в репозиторії; співпраця з pinxlab March 16, 2026 – May 26, 2026

Інструмент CLI, що використовується на роботі.

Карта циклу виправлення · за закритими записами реалізації
Цикл виправлення міграції REODEОригінальний стан збірки зберігається як базова лінія, застосовується перетворення на основі правил, а збірка й тести перевіряють результат. У разі збою до будь-якого виправлення збираються докази з джерел, анотацій і POM, а відомі шаблони виправляються детерміновано й перезбираються. Якщо повторна збірка проходить, модель не викликається; якщо ні, модель виправляє із зібраними доказами й інструкціями з виправлення, і результат перевіряється знову. Запуски, що завершуються на ліміті ітерацій чи в застої, переходять до вимірювання, але не зараховуються як успіх, а картка оцінок ставить оцінку лише тоді, коли пройдено всі п’ять порогів приймання.Джерело · POMЗакриті вхідні дані міграціїКартка оцінок · оцінкаНе розгортанняЗвіт про збій · застійНе зараховується як успіхОригінальна перевіркаОригінальний стан · компіляціяСтан запускуБазова лінія · невідоме не виміряноЗаписи відновленняКонтрольна точка до виправленняРаніше виправлення, та сама помилкаПеретворенняПлан → перетворення на основі правилДослідити перед виправленнямДокази причини · 3 джерела · POMДетерміноване виправленняВиправлення відомих шаблонівПеревірка повторної збіркиВиправлення моделлюВиправлення з доказами · інструкціямиВерифікаціязбірка · тести · ітерація +1Наступний крокПродовжити · виміряти · макс. 3ВимірюванняЧастка правил · тести · покриття5 порогів прийманняВхід · базова лініяЗаписи відновленняПеретворення · виправленняВерифікація · вихід1 джерело · POM · Джерело · POM → Оригінальний стан · компіляція12оригінальна компіляція3 перетворення за правилами · Оригінальний стан · компіляція → План → перетворення на основі правил34build · test5результат · ітерації6успіх · ліміт · застій7порівняння з базовою лінією8 оцінювання · 5 порогів приймання → Картка оцінок · оцінка81результат · ітерації2 збій · повтор · Продовжити · виміряти · макс. 3 → Докази причини · 3 джерела · POM23збереження перед виправленням4докази · згруповані помилки5пройдено · LLM пропущено6повторна збірка не пройшла7 раніше виправлення · Раніше виправлення, та сама помилка → Виправлення з доказами · інструкціями78перевірити знову1успіх · ліміт · застій2порівняння з базовою лінією3 оцінювання · 5 порогів приймання → Картка оцінок · оцінка34видалено · виключено · збій5вихід на ліміті · у застої

Перетворення за правилами

Оригінальний стан зберігається як базова лінія; після перетворення за правилами збірка й тести перевіряють, і запуск переходить до вимірювання.

  1. Джерело · POMджерело · POMОригінальний стан · компіляціяОригінальна перевірка

    Бере джерело Java/Spring і POM для міграції. Код і екрани клієнта не показано.

  2. Оригінальний стан · компіляціяОригінальна перевіркаоригінальна компіляціяБазова лінія · невідоме не виміряноСтан запуску

    Перед перетворенням обирається середовище виконання й компілюється оригінал, тож збірка, що вже була зламана, зберігається в базовій лінії. Типові значення тестів і покриття в базовій лінії — не вимірювання.

  3. Оригінальний стан · компіляціяОригінальна перевіркаперетворення за правиламиПлан → перетворення на основі правилПеретворення

    Граф запуску йде так: оригінальна перевірка → план перетворення → перетворення на основі правил → верифікація. Спершу застосовуються перетворення, які можуть виконати правила.

  4. План → перетворення на основі правилПеретворенняbuild · testзбірка · тести · ітерація +1Верифікація

    Збірка й тести перевіряють перетворений код, а лічильник ітерацій збільшується на один. Результати повертаються до стану запуску.

  5. збірка · тести · ітерація +1Верифікаціярезультат · ітераціїПродовжити · виміряти · макс. 3Наступний крок

    Успіх збірки, частка пройдених тестів і кількість ітерацій визначають наступний крок.

  6. Продовжити · виміряти · макс. 3Наступний крокуспіх · ліміт · застійЧастка правил · тести · покриттяВимірювання

    Коли проходять і збірка, і тести, досягнуто ліміту ітерацій або виявлено застій (після однієї спроби відновлення, якщо її ще не було), запуск переходить до вимірювання. Перехід до вимірювання не означає успіху.

  7. Базова лінія · невідоме не виміряноСтан запускупорівняння з базовою лінієюЧастка правил · тести · покриттяВимірювання

    Вимірювання читає базову лінію, збережену в стані запуску. Це не новий запуск базової лінії.

  8. 5 порогів прийманняВимірюванняоцінюванняКартка оцінок · оцінка

    Успішна збірка, 100% проходження тестів, зміна покриття −5 чи краще (лише коли відома базова лінія), нуль видалених тестів, нуль виключень surefire. Оцінку ставлять лише тоді, коли пройдено всі п’ять.

Виправлення за причиною

Докази збирають до виправлення, а детерміновані виправлення йдуть першими. Якщо повторна збірка проходить, модель пропускається; якщо ні, модель виправляє з доказами й інструкціями, і результат перевіряється знову.

  1. збірка · тести · ітерація +1Верифікаціярезультат · ітераціїПродовжити · виміряти · макс. 3Наступний крок

    Успіх збірки, частка пройдених тестів і кількість ітерацій визначають наступний крок.

  2. Продовжити · виміряти · макс. 3Наступний крокзбій · повторДокази причини · 3 джерела · POMДослідити перед виправленням

    Якщо збірка не пройшла або частка пройдених тестів нижча за 100% і ліміт ітерацій (типово 3) не досягнуто, запуск переходить до виправлення.

  3. Докази причини · 3 джерела · POMДослідити перед виправленнямзбереження перед виправленнямКонтрольна точка до виправленняЗаписи відновлення

    Перед виправленням зберігається контрольна точка. Це best-effort: невдале збереження не зупиняє виправлення, а збереження не є доказом успіху.

  4. Докази причини · 3 джерела · POMДослідити перед виправленнямдокази · згруповані помилкиВиправлення відомих шаблонівДетерміноване виправлення

    Збирає файли Java з помилками, початкові рядки щонайбільше трьох джерел, налаштування анотацій, POM і annotation processor, а також імпорти до глибини 2. Обмежена вибірка, а не розуміння всієї кодової бази.

  5. Перевірка повторної збіркиДетерміноване виправленняпройдено · LLM пропущенозбірка · тести · ітерація +1Верифікація

    Якщо детерміноване виправлення відомого шаблону (наприклад, налаштування Lombok) дає змогу повторній збірці пройти, модель не викликається. Запуск однаково повертається до верифікації, тож це не остаточне приймання.

  6. Перевірка повторної збіркиДетерміноване виправленняповторна збірка не пройшлаВиправлення з доказами · інструкціямиВиправлення моделлю

    Якщо повторна збірка не проходить, зібрані докази й інструкції з виправлення передаються на виправлення моделлю. З коду видно, що разом із ними передається текст початкової помилки збірки, а не нової помилки повторної збірки, тож це не слід читати як «передаються лише залишкові помилки». Це не дефект, відтворений у запуску.

  7. Раніше виправлення, та сама помилкаЗаписи відновленняраніше виправленняВиправлення з доказами · інструкціямиВиправлення моделлю

    Раніші виправлення, записані з тією самою сигнатурою помилки, знаходять і додають. Це запис, доданий до вхідних даних, а не навчання моделі.

  8. Виправлення з доказами · інструкціямиВиправлення моделлюперевірити зновузбірка · тести · ітерація +1Верифікація

    Модель виправляє через структурований шлях architect/editor або через промпт із використанням інструментів, коли цей шлях недоступний чи йде відновлення, а збірка й тести перевіряють знову. Правка моделі сама по собі не є успішною збіркою.

Успіх проти застою

Для оцінки потрібні всі п’ять порогів; видалені чи виключені тести та виходи на ліміті чи в застої не зараховуються як успіх.

  1. Продовжити · виміряти · макс. 3Наступний крокуспіх · ліміт · застійЧастка правил · тести · покриттяВимірювання

    Коли проходять і збірка, і тести, досягнуто ліміту ітерацій або виявлено застій (після однієї спроби відновлення, якщо її ще не було), запуск переходить до вимірювання. Перехід до вимірювання не означає успіху.

  2. Базова лінія · невідоме не виміряноСтан запускупорівняння з базовою лінієюЧастка правил · тести · покриттяВимірювання

    Вимірювання читає базову лінію, збережену в стані запуску. Це не новий запуск базової лінії.

  3. 5 порогів прийманняВимірюванняоцінюванняКартка оцінок · оцінка

    Успішна збірка, 100% проходження тестів, зміна покриття −5 чи краще (лише коли відома базова лінія), нуль видалених тестів, нуль виключень surefire. Оцінку ставлять лише тоді, коли пройдено всі п’ять.

  4. 5 порогів прийманняВимірюваннявидалено · виключено · збійЗвіт про збій · застій

    Проходження, отримані видаленням тестів чи виключеннями surefire, а також невдалі збірки чи тести лишаються збоями. Перевірки видалення й виключень рахують нуль, коли Git чи POM неможливо прочитати, тож вони не доводять, що кожне порушення виявлено.

  5. Продовжити · виміряти · макс. 3Наступний кроквихід на ліміті · у застоїЗвіт про збій · застій

    Запуск, що завершується на ліміті чи в застої, однаково проходить вимірювання, але не звітується як успіх. Це позначає спосіб звітування, а не обхід вимірювання.

Усі зв’язки однакової товщини. Оберіть потік, щоб підсвітити лише його шлях із пронумерованими кроками.

  • Суцільна · напрямок входів, результатів і записів
  • Штрихова · запуск, рішення, запит
  • Довга пунктирна · спостереження й звітування, окремо від рішення
  • Коротка штрихова · збій, зупинка, ліміт
  • Товста чорна лінія · обраний потік; номери показують порядок
  • Рамка · межа коду чи стану, названа в заголовку
  • Внутрішня плашка · компонент цієї межі
  • Пунктирна рамка · поза цією межею
  • Помаранчевий контур · де вирішує модель
  • Кроки конвеєра · виправлення
  • Верифікація · маршрутизація · приймання
  • Стан · записи
  • Дослідити перед виправленням

Накреслено за закритими записами реалізації й розробки. Назви — загальні публічні; шляхи коду й інформація про клієнтів не показані.

Вхідні дані після невдалої повторної збірки
Виправлення моделлю отримує зібрані докази й інструкції з виправлення, але передається текст початкової помилки збірки, а не нової помилки повторної збірки. Встановлено читанням коду; у запуску не відтворено, і джерело не змінювали.
Межі порогів
Якщо базова лінія покриття невідома, цей поріг пропускається. Перевірка surefire рахує виключення в поточному POM, а не різницю з базовою лінією. Перевірки видалення й виключень рахують нуль, коли Git чи POM неможливо прочитати.
Випадок і його числа
Близько 40 помилок setter, простежених до однієї причини — налаштування Lombok і POM, — це тодішній записаний діагноз. Це не показник пропускної здатності, точності чи остаточної поставки.