
REODE
Code migration
Преди поправката: първо общата причина.
Агент за миграция на Java/Spring код.
Агентът за поправки първо чете конфигурацията
Агентът, който опитваше редакции setter по setter, е агентът за поправки в продукта REODE; разработката промени неговия вход. Кодът и информацията за клиентите не са публични.
March 21, 2026
Групите грешки, оригиналното изграждане и настройката на Lombok станаха вход за поправката
Обект на разработкаАгент за поправки на REODE
Наблюдение · констатацияОпитани отделни редакции за около 40 грешки със setter · @Data / POM непроверени
- върнатоПропусната обща причина→ Четене на изходния код и конфигурацията на изграждането преди поправката (Разработчик)
ЧовекРазработчик
ДействиеЧетене на изходния код и конфигурацията на изграждането преди поправката
- предаванеВходът за поправката е променен→ Изграждане на оригиналната базова линия · групиране на грешки с еднакъв шаблон (Промени в разработката)
Работна сесияПромени в разработката
ДействиеИзграждане на оригиналната базова линия · групиране на грешки с еднакъв шаблон
- предаване→ Събиране на доказателства: пътища · 3 извадки от изходния код · анотации · POM (Промени в разработката)
Писано правилоПолитика за сътрудници
Правило · непотвърденоПлан на задачата · собствен worktree
- не е записано изпълнениеИзисква се от политиката→ Изграждане на оригиналната базова линия · групиране на грешки с еднакъв шаблон (Промени в разработката)
Работна сесияПромени в разработката
ДействиеСъбиране на доказателства: пътища · 3 извадки от изходния код · анотации · POM
- предаване→ Първо детерминистична поправка на Lombok · LLM се пропуска, ако повторното изграждане мине (Промени в разработката)
Писано правилоПолитика за сътрудници
Правило · непотвърденоПреглед без контекст: план ↔ diff
- не е записано изпълнениеИзисква се от политиката→ Събиране на доказателства: пътища · 3 извадки от изходния код · анотации · POM (Промени в разработката)
Работна сесияПромени в разработката
ДействиеПърво детерминистична поправка на Lombok · LLM се пропуска, ако повторното изграждане мине
- предаванеПовторното изграждане се провали→ Ако повторното изграждане се провали, поправка с модел с доказателства и инструкции (Агент за поправки на REODE)
Обект на разработкаАгент за поправки на REODE
Наблюдение · констатацияАко повторното изграждане се провали, поправка с модел с доказателства и инструкции
- предаванеСигнали от проверката→ Scorecard: изграждане · тестове · изтрити тестове · изключения в surefire (Артефакти)
АртефактиАртефакти
АртефактScorecard: изграждане · тестове · изтрити тестове · изключения в surefire
- върнатоОстанали грешки→ Останалите грешки се връщат към събирането на доказателства (Промени в разработката)
Работна сесияПромени в разработката
ДействиеОстаналите грешки се връщат към събирането на доказателства
- Контекст
- Агентът за поправки се опита да поправи около 40 грешки setMsg() not found една по една, без да погледне @Data или версията на Lombok в pom.xml. Вече повреденият вход не беше разграничен от грешките, внесени от миграцията.
- Резултат
- Scorecard чете резултатите от изграждането и тестовете заедно с броя изтрити тестове и изключения в surefire и пропуска елемента за покритие, когато базовата линия е неизвестна. Успех, постигнат чрез изтриване на тестове, остава неуспех.
- Ограничение
- Събирането на доказателства взема извадка от най-много три източника, така че не е разбиране на цялата кодова база. Няма запис, че worktree, независимият преглед или опашката за сливане в develop от политиката реално са приложени в този случай, а агентът за програмиране и моделът в този случай не са потвърдени. Няма крайни клиентски резултати от тестове или покритие.
Източници и оставащи ограничения
- Задачата за базовата линия и задачата за проучване преди поправка преминаха от „в работа“ в „готово“ и има къмити с реализацията. Не са извлечени нови резултати от проверки в GitHub.
- Политиката на това хранилище задава опашка за сливане feature → develop → main, но същата процедура не се прилага към други проекти.
- Включваните по избор агенти за валидиране са механизъм в реализацията, а не доказателство, че са използвани при всяка доставка. Стойности като размер или съотношения на доставките не са включени, защото оригиналните им доказателства не можаха да бъдат потвърдени.
- Когато повторното изграждане се провали, поправката с модел все пак получава оригиналната грешка при изграждане, а не новата грешка от повторното изграждане.