LangGraph

观察时点：2026-10-15。以显式图状态和checkpoint运行可中断、可恢复的Agent工作流。

已公开的技术路线与控制边界

Pregel式并行task执行、writes提交、state channels、interrupt与checkpointer。框架维护图执行状态；业务授权、外部副作用和长期记忆合同由应用负责。

LangGraph最核心的价值是显式状态与可恢复执行，而不只是把模型框起来画成图。固定源码的runner并行执行task，提交writes，并区分成功、错误、取消和GraphInterrupt；checkpoint记录channel值、版本及节点已见版本，为下一步调度提供依据。

图适合表达稳定业务阶段：证据收集、计算、复核、待批准和发布。节点内可以让Agent自主选工具，但阶段转换、批准和发布由确定性规则控制。金融研究、合同辅助和教师审核等场景可能受益；普通只读问答未必需要复杂图，节点数量不是工程成熟度指标。

官方明确区分checkpointer和Store。前者保存thread内图状态，支持继续、等待和时间旅行；后者保存跨thread应用数据。内存实现不跨重启持久，数据库后端又需要连接、迁移和保留治理。两者都不能自动替代业务事务、来源权限或有TTL与冲突处理的企业记忆。

Interrupt的恢复语义必须理解：包含interrupt的node从头重跑，因此之前的代码也会再次执行。高风险副作用放在审批之后并使用稳定业务ID，或拆成独立边界。检查点存在不保证外部exactly-once；工具成功后持久化失败的间隙仍需read-back。

若与Temporal等外层引擎组合，写清谁管理等待、业务重试和模型结果持久化。两个系统都试图“恢复到正确位置”而不了解对方，可能让关键决定重新生成或动作重复。初期优先选一个主权威，在明确边界内调用其他组件。

采用成本包括graph/reducer设计、并行冲突、状态膨胀、checkpoint清理和schema升级。MIT许可利于集成，但托管服务和开源库的运行合同不同。验证要杀进程、重复回调、等待人工并升级代码，检查图状态、外部结果和最终验收一起成立。公开源码审阅不能被写成这些测试已经通过。

一个合同辅助图可将研究、引证核验、律师review和发布分开。研究节点动态搜索，核验节点检查原文、版本和有效性，review使用持久等待；发布节点只接收与批准hash一致的产物。若等待期间合同或权限变化，恢复时重新核对，而非继续旧状态。可用同一任务的直接循环作对照，检查图是否减少非法转换和人工追踪成本。若图只增加形式而未改善恢复或验收，应缩小阶段粒度，不因已经画图就保留全部节点。

数据、记忆与模型替换

Checkpointer保存thread内图状态，Store保存跨thread应用数据；两者不同。

图可调用不同provider；切换时仍需工具、schema和context契约测试。

执行、部署与采用取舍

图运行在应用或选定托管平台，实际工具由应用配置。Pregel式task执行、state channels、checkpoint与interrupt。开源库自运维或相应托管运行平台，合同分别核验。

适合明确审批与阶段的长任务；显式状态便于故障和分支分析。

观察于2026-10-15：当前包与子包release标签应分别识别；源码core包1.2.15；SHA 889a5ff16f8325113093d517dffd5471a943c760

许可边界：MIT。采用前按实际使用方式核验组件、云服务与模型条款。

证据范围与未知

固定源码已读runner和checkpoint；官方说明interrupt恢复会从node开头重跑。

未公开或仍需目标环境验证的部分：外部效果exactly-once；业务schema迁移；目标负载延迟与存储增长。本页不以产品表面行为推断其隐藏实现。

LangGraph：Checkpointer与Store；LangGraph：Interrupt与恢复语义；LangGraph：Runner提交源码；LangGraph：Checkpoint模型源码；LangGraph：MIT许可。