AI-агентам нужны примитивы отката, а не только автономия

Пост в r/ClaudeAI утверждает, что текущие фреймворки для AI-агентов упускают фундаментальный примитив: откат. Автор указывает на десятилетия знаний из области баз данных и распределенных систем — ACID-транзакции, саги, компенсационные действия, ключи идемпотентности, двухфазный коммит, журналы упреждающей записи — которые в основном отсутствуют в инструментарии агентов.

Основная проблема: агент, выполняющий последовательность из пяти вызовов инструментов, где третий вызов завершается сбоем, оставляет систему в несогласованном состоянии. Не сохраняется ни желаемый результат пользователя, ни исходное состояние до выполнения. Текущие фреймворки по умолчанию «просят LLM разобраться» и записывают «задача выполнена», когда цикл завершается. Это работает только для обратимых действий в изолированных средах, но терпит неудачу при работе с файловыми системами, развертываниями, внешними API с побочными эффектами, платежными потоками или базами данных.

Автор предлагает, чтобы следующее поколение решений было сосредоточено на:

• Установление явных границ транзакций
• Регистрация компенсационных действий для каждого инструмента
• Включение ключей идемпотентности в вызовы инструментов
• Журналы воспроизведения, выходящие за рамки простой истории чата
• Шлюзы утверждения как первоклассные примитивы
• Механизмы восстановления после частичных сбоев, не требующие рассуждений LLM

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