SpecForge: поведенческие спецификации кода, которые агент сам улучшает по падающим тестам

Документация для людей почти не помогает кодовому агенту: описания в стиле RepoAgent и DocAgent дали лишь 14–35% решённых функций. Метод SpecForge позволяет получить для каждой функции текстовую спецификацию, по которой агент воссоздаёт код без просмотра исходников. Спецификация — это поведенческое описание: что функция принимает, что отдаёт и какие у неё скрытые правила (округление, проверка входа, порядок операций). Агент правит спецификацию только одной функции за раунд и идёт снизу вверх по цепочке вызовов. Поэтому правка одной функции перестаёт ломать соседние, а модель при этом не дообучается.