Зачем агенту конечный автомат (LangGraph StateGraph, XState) и как заменить свободный цикл явным управлением потоком?

Конечный автомат (state machine) заменяет свободный цикл ReAct (модель сама решает, что делать дальше) на явное описание состояний и переходов. Модель работает внутри узлов, а не управляет потоком. Преимущества: предсказуемость (переходы — обычный код), возобновляемость (состояние можно сохранить и продолжить после сбоя или подтверждения человеком), наблюдаемость (каждый переход в логе), тестируемость (состояния проверяются юнит-тестами с моком модели), повтор записи для отладки. Инструменты: LangGraph (Python, де-факто стандарт), XState (TypeScript, с наглядной схемой).