pydantic-graph

新的RESUME CONTRACT论文发现AI代理工作流持久化存在重大缺陷

一项新的研究论文介绍了RESUME CONTRACT，这是一个机器检查的一致性合同，旨在标准化工作流持久化层中的检查点、中断和恢复语义。研究发现，包括LangGraph和CrewAI在内的五个广泛使用的代理工作流框架，在这些语义方面表现出不一致且经常违反的行为。RESUME CONTRACT规定了六个属性以确保可预测的执行，其中TLA+模型对这些属性进行了详尽的验证，故障矩阵识别了关键的故障点，尤其是在并发交付场景中。