Локальное изменение кода генеративными моделями

До генерации определите защищённые и редактируемые области, повторно используйте или ограничьте защищённое представление, генерируйте только варианты изменения и отклоняйте результаты, которые затрагивают защищённый код или не проходят проверки задачи. Локальность и успешность нужно измерять вместе. Локальное изменение кода — это задача редактирования, а не просто генерация с более коротким запросом. Во входе уже есть программный артефакт, который стоит сохранить, поэтому метод должен явно разделять область допустимых изменений и свойства, обязанные оставаться стабильными. Границей может быть фрагмент исходного текста, синтаксический узел, сигнатура API, поведение тестов, контракт зависимости или обученная латентная позиция. Эти варианты не равнозначны: каждый защищает своё наблюдаемое свойство и требует соответствующей проверки. Границы применимости: Зафиксированный латентный код не становится автоматически узлом AST, защищённым фрагментом или формальным инвариантом. Доля разбираемых результатов подтверждает синтаксическую корректность, но не функциональную правильность или успешность исправления. Доказательства получены на коротких предобработанных Python-функциях и не устанавливают поведение на уровне репозитория.