Планирование становится конечным автоматом с бюджетом
Agentic system чередует model decision, action и observation, сохраняя trace. ReAct исследует совместное рассуждение и действия, но production executor не обязан раскрывать или хранить скрытые chain-of-thought. Достаточно проверяемого state: goal, выбранный tool, arguments, observation и stop reason. F13.
Цикл обязан иметь allowlist и пределы steps/time/cost. finish завершает успешно; invalid action, exhausted budget и tool error — разные terminal states. Один и тот же observation не должен запускать бесконечный retry без изменения policy.
Что показывает модель. Stepper не показывает будущие actions заранее: каждый следующий transition появляется после observation. Budget ledger считает model calls, tool calls и elapsed time. Human approval является отдельным state, а не текстовой просьбой, которую модель может сама считать подтверждённой.
Граница применимости. Bounded loop ограничивает ущерб, но не делает действия правильными. Автономность нельзя выводить из длины trace. Multi-agent labels не создают независимую проверку, если все roles используют один источник ошибок. Для необратимых действий нужны transactional design, confirmation и recovery вне языковой модели.