Что такое ИИ-агент, который ломает код на стыках: Crossweft ловит 468 точек рассогласования

Разработчица из России, создающая программу для ретуши фотографий с локальной нейросетью, выпустила в открытый доступ инструмент Crossweft, который решает проблему, знакомую всем, кто пишет код с помощью ИИ-агентов (программ, которые сами выполняют задачи по инструкции): агент правит файл на одном языке, рапортует «готово», а парный файл на другом языке остаётся старым, и всё ломается.

Что такое «шов» и почему агенты его не видят?

• Шов (автор использует метафору ткацкого утка, поперечной нити) означает место, где два компонента, написанные на разных языках (Go, C++, TypeScript), должны точно совпадать: одно и то же имя службы, одна версия протокола, одинаковые поля данных. Компилятор не проверяет такие стыки, потому что каждая сторона собирается отдельно.
• В проекте автора 54 связи на таких границах держат 188 сравнений значений (468 мест в коде) и 105 сравнений множеств. Всё это до Crossweft держалось на памяти людей.
• ИИ-агенты (в данном случае Claude Code и Codex) справляются с межкомпонентными связями хуже людей. Типичная картина: агент меняет Go-структуру, тесты зелёные, агент пишет «Готово» и даже не открывает TypeScript-интерфейс на другой стороне. Причина в том, что для агента «готово» означает «все проверки, которые я вижу, прошли», а если ни одна проверка не смотрит на шов, расхождение незаметно до поломки.

Три случая, после которых появился Crossweft

Автор описывает три конкретных сбоя, которые привели к идее инструмента.

Один идентификатор, три копии. Имя службы определялось в трёх похожих функциях. На чистой машине служба ещё не установлена, поиск заканчивался ошибкой, и установщик останавливался с кодом 76, принимая пустую машину за несовместимую старую версию. Исправление одной копии оставляло две другие сломанными.

Две половины одной зависимости. Сборка брала библиотеку из одного каталога, а связанные инструменты из другого. Конфигурация только предупреждала, и проблема всплывала позже, далеко от причины.

Сторож, который ничего не сторожил. Валидатор безопасности из-за ошибки в пути несколько недель проверял ноль файлов и каждый раз сообщал «ОК». Проверка проходила именно потому, что не выполнялась.

Все три случая объединяет одно: у договорённости две или три стороны, а их совпадение держится на внимании людей, не на коде.

Как Crossweft решает проблему?

Принцип: каждая связь между компонентами сама объявляет, как её проверять. Связи описываются в JSON-файлах рядом с кодом. Каждое утверждение привязано «якорем» к конкретному литералу (фиксированному значению) в коде, и если код переехал, проверка падает, а не продолжает молча описывать прошлое.

Три типа сторожей:

• join: значение должно совпадать везде. Например, версия API (набор правил взаимодействия программ) в TypeScript-клиенте и в Go-сервере. Сравниваются все вхождения, а не только первое.
• set: состав должен совпадать. Поля интерфейса на TypeScript и теги структуры на Go, статусы, переменные окружения в коде и в файле настроек. Намеренное различие вносится в список allow с указанием причины, а ставшая ненужной запись allow сама роняет проверку.
• pair: дублированная логика без единого значения. Например, округление цены, реализованное на Go и TypeScript. Участки кода помечаются специальными тегами, Crossweft хэширует (создаёт цифровой отпечаток) оба участка. Изменился любой из них и проверка падает, пока кто-то не перечитает парный участок и не подтвердит вручную командой crossweft attest.

Проверка занимает миллисекунды, не требует сборки и работает с любым языком программирования.

Каждой связи присваивается уровень contract.enforcement, и уже сама классификация полезна: вопрос «где я полагаюсь на чью-то память?» превращается в список, который можно посчитать.

Как попробовать?

1. Изучите описание Crossweft в публикации автора и определите, есть ли в вашем проекте «швы» между компонентами на разных языках или в разных процессах.
2. Опишите одну связь в JSON-файле рядом с кодом, указав пути к файлам обеих сторон и регулярные выражения для извлечения значений.
3. Запустите проверку; при расхождении сторож сообщит об ошибке до того, как она попадёт в коммит (сохранённое изменение в системе контроля версий).
4. Добавьте инструкцию для ИИ-агента: после каждой правки файла, затрагивающего шов, агент должен открыть файл на другой стороне и убедиться, что значения совпадают.

Есть ли подобное в российских инструментах?

Если вы работаете с отечественными моделями и ведёте проект на нескольких языках, Crossweft не зависит от конкретной модели: он проверяет код, а не генерирует его.

Что делать с этим прямо сейчас, по ролям?

Автору на Дзене. Если вы пишете о разработке или ведёте технический блог, тема швов между файлами даёт конкретный, малоизвестный ракурс для контента: «почему ИИ-агент сломал мой проект» понятнее, чем абстрактное «ИИ допускает ошибки».

Разработчику или техническому предпринимателю. Посчитайте, сколько в вашем продукте мест, где совпадение значений между компонентами держится на памяти команды. Уже этот подсчёт покажет масштаб риска до внедрения какого-либо инструмента.

Маркетологу. Понимание того, что такое ИИ-агент и где он ошибается, помогает не обещать клиентам «полную автоматизацию», а честно объяснять границы: агент силён в точных локальных инструкциях, но слеп к связям между частями системы.

Частые вопросы

Что такое ИИ-агент и почему он ошибается на стыках?

ИИ-агент (agent) это программа, которая сама выполняет цепочку действий по вашей инструкции: читает код, вносит правки, запускает тесты. Но агент работает в ограниченном контексте и не видит весь проект целиком. Если парный файл лежит в другой папке, на другом языке, в другом процессе, агент о нём просто не знает, пока вы ему не скажете.

Нужно ли быть программистом, чтобы понять проблему швов?

Нет. Представьте договор, подписанный двумя сторонами: если одна сторона меняет условия, а вторую не предупреждает, договор не работает. «Шов» в коде это именно такой двусторонний договор, только вместо людей его стороны написаны на разных языках программирования, и никто автоматически не проверяет, что обе стороны по-прежнему согласны.

Crossweft работает только с конкретными ИИ-моделями?

Нет. Инструмент проверяет код, а не генерирует его. Он совместим с любым агентом (Claude Code, Codex или другим) и с любым языком программирования, потому что использует регулярные выражения и сравнение значений, а не компиляцию.