LangGraph 状态转移不一致问题

在使用 LangGraph 构建一个多 Agent 协作流时，我被一个极其诡异的状态更新问题卡了整整一天。简单来说，就是某个 Node 节点明明返回了更新后的 State，但下一个节点接收到的状态却是旧的，导致循环逻辑死掉，一直卡在同一个步骤跳不出来。

我的状态定义是一个简单的 TypedDict，其中包含一个 messages 列表，我给它配置了 annotated 的 add_messages 累加器。

from typing import Annotated
from typing import TypedDict
from langgraph.graph import StateGraph
from langgraph.graph.message import add_messages

class AgentState(TypedDict):
    # 使用 add_messages 确保消息是追加而不是覆盖
    messages: Annotated[list, add_messages]
    next_step: str

报错信息其实没有明显的 Exception，但我在每个 Node 里打印 state 发现，明明 node_a 返回了 {"next_step": "node_b"}，但 node_b 启动时拿到的 state["next_step"] 依然是初始值。

我开始怀疑是不是异步并发导致的状态竞争，于是把所有 async 改成了同步运行，问题依旧。接着我排查了 StateGraph 的边定义，确认没有写错路由逻辑。

最后发现坑在 add_messages 的机制和我的状态更新方式冲突了。我在 node_a 中为了清理之前的冗余信息，尝试通过传递一个带有特定 ID 的消息来“覆盖”旧消息，结果在某些特定版本下，如果返回的字典中包含了不被 annotated 函数处理的字段（比如我的 next_step），且此时状态更新触发了某种内部的快照回滚，导致非累加字段的更新失效了。

解决办法是把 next_step 这种控制流变量单独抽离，不要和 Annotated 的列表放在同一个状态对象里，或者显式地检查 Checkpoint 的保存情况。我尝试将状态结构调整为：

class AgentState(TypedDict):
    # 消息流走累加
    messages: Annotated[list, add_messages]
    # 关键状态位明确定义，不使用任何 reducer
    current_node: str 
    is_finished: bool

调整后，状态转移恢复正常。这个问题的核心在于 LangGraph 的 Reducer 机制在处理混合状态（一部分累加，一部分覆盖）时，如果节点返回的 payload 结构不纯净，很容易在状态机跳转时产生不可预知的覆盖行为。建议大家在定义 State 时，尽量把“消息历史”和“控制参数”在逻辑上完全分开。