Summary-Mediated Repair: исправление багов через пересказ кода

LLM слепа к мелким багам в коде — < вместо <=, пропущенный +1, неправильная граница. Причина: токенизатор режет код на куски, однобуквенная разница не меняет токен. Модель буквально не видит проблему. Но та же модель отлично описывает что код ДОЛЖЕН делать — намерение без деталей реализации. Summary-Mediated Repair позволяет находить мелкие баги, которые модель пропускает при прямом исправлении кода. Метод работает в два шага: сначала просишь описать словами что код делает (резюме намерения), потом — написать код заново по этому описанию. Резюме работает как очистка — фиксирует намерение без багов реализации. При генерации с нуля модель пишет правильный код, потому что следует намерению, а не копирует ошибку.