1详细剖析 LangGraph 中 `StateGraph` 的核心三要素:Typed State (状态模式与 Reducer)、Nodes (执行算子) 与 Edges (边流转)?
2状态 Reducer 机制(如 `Annotated[list, operator.add]`)在实现消息列表增量追加而非全量覆盖中的数学作用?
3Checkpointer 检查点持久化机制(MemorySaver / PostgresSaver)如何实现工作流在任意节点崩溃后的断点续跑 (Fault-tolerant Resume)?
4Human-in-the-Loop (人工介入审批) 中的 `interrupt_before` / `interrupt_after` 与状态手动编辑重放 (Time Travel) 实现原理?
5对比 LangGraph 与 AutoGen、CrewAI 在图控制粒度、确定性流程约束与生产可维护性上的架构差异?