StateGraph
LangGraph 中用于定义状态图的类，通过节点和边显式定义工作流，由代码控制执行顺序
核心事实
时间轴 (近 90 天)
LangGraph的StateGraph中，父图与子图各自维护自己的状态schema，跨越边界时只传递两边都声明过的键；父步骤产生但子schema未声明的键在子图一侧静默消失，不会抛出异常或产生警告日志。
工作流用LangGraph的StateGraph编排，状态定义为RAGState，三个节点形成主链路retrieve → generate → guardrail，护栏节点条件路由在未通过且重试次数小于2时回到generate节点。
有界重试在 StateGraph 状态对象中维护一个重试计数器，超过预设阈值（如3次）时条件边将流程导向返回「我不知道」的终止节点，以防止无限递归
LongGuard嵌入StateGraph，在Agent每一步以亚毫秒级速度评估四种失败模式：相同工具调用、语义震荡、死胡同漂移、Token速率
全部知识事实 (7)
LangGraph的StateGraph设计根植于有限状态机（FSM）理论，但将状态扩展为结构化数据对象而非离散枚举值
70%待验证LangGraph通过StateGraph维护不可变的状态对象，每次状态变更生成新的状态版本而非原地修改
85%待验证LangGraph的StateGraph机制通过持久化状态实现Agent协作，整个工作流共享一个可变的状态对象，每个节点读取并更新这个状态
60%待验证LangGraph的StateGraph中，父图与子图各自维护自己的状态schema，跨越边界时只传递两边都声明过的键；父步骤产生但子schema未声明的键在子图一侧静默消失，不会抛出异常或产生警告日志。
50%待验证工作流用LangGraph的StateGraph编排，状态定义为RAGState，三个节点形成主链路retrieve → generate → guardrail，护栏节点条件路由在未通过且重试次数小于2时回到generate节点。
50%待验证有界重试在 StateGraph 状态对象中维护一个重试计数器，超过预设阈值（如3次）时条件边将流程导向返回「我不知道」的终止节点，以防止无限递归
50%待验证LongGuard嵌入StateGraph，在Agent每一步以亚毫秒级速度评估四种失败模式：相同工具调用、语义震荡、死胡同漂移、Token速率
50%