本文是一篇系统性知识梳理（SoK），聚焦“去中心化智能体经济基础设施”。核心问题是：当前去中心化智能体经济中的任务，往往由多个在设计阶段彼此独立、安全假设互不相通的协议拼装而成，于是出现“每一步看起来都正确、整体结果却错误”的失效模式。论文给出的典型例子是：托管（escrow）合约本身实现无误，也能在获得授权批准后正确放款，但该批准几乎不能证明交付成果真的满足任务要求，从而造成验证与结算脱节。作者沿智能体任务的完整生命周期对该问题进行系统化：把安全与经济要求归纳为 6 个阶段上的 17 个属性族，并把收据（receipt）的可靠性评估与完整性评估分开处理；随后梳理 12 个系统与标准、5 类可复用机制族以及 4 个经典基线。论文提出“保证闭包（guarantee closure）”这一以任务为参照的判据，用于判断某一阶段建立的安全/经济保证在后续阶段是否仍然可用，并能约束依赖它的后续决策。作者在受控流程与真实原生流程上验证该判据，共覆盖 840 次配对执行，并在有限的目标任务域上完成 11,648 例穷举检查。结果显示验证与结算之间存在反复出现的失效：合规完成的工作可能始终未被接受，有效证据可能被忽略。公开记录与模型判断可以区分“有批准记录”与“有任务符合性证据”，经济分析则揭示了这些保证背后依赖的报告假设、惩罚假设与共享误差假设。该研究定位了端到端保证在何处断裂，以及为维持保证需要修复什么。