代理 AI 系统通常会将结论从一个生物、临床或金融背景转移到另一个背景中，局部验证是当前的安全保障措施：它检查每一步是否可以在所选工具中表示该实体、参数是否兼容以及输出是否与计划一致。然而，我们证明了这种保障措施是结构性不完整的。通过使用 nerve 和实值 1-链来模拟上下文空间的覆盖和证据，我们发现代理在链式证据时执行路径积分：其结论是路径无关的当且仅当链是精确的，不同有效推理路径之间的冲突正是第一切奇上同调类的全纯度。Hodge 分解将证据冲突分为梯度部分（校准）、旋度部分（局部不一致性，在三重重叠处可见）和谐波部分。我们的中心结果是：没有任何一组简单形支持的一致性检查可以区分 ω 和 ω+h，其中 h 是谐波函数；检测需要在循环基上进行统计。 因此，我们提出了 Ksetra 程序，通过余界投影来估计并在谐波部分上控制放弃。我们还为其提供了一个机制：它源于效应修饰与重叠特定人群组成的结合，并在效应修饰不存在时消失到机器精度。一个证据网络的自由度分为校准、一致性和传输性，得到一个关于全局声明存在性的精确 F 检验；我们量化了其在不等精度下的失真，并提供了恢复精确性的精度白化形式。外汇市场，其中无套利空假设使得链是余界，作为校准基准：该测试是正确尺寸的，点燃循环套利，并忽略三角套利。 博主点评： 本文提出的同调论为代理推理中的上下文保护提供了一个重要的理论框架，揭示了局部验证的局限性和谐波冲突的机制，对于更好地理解和处理代理系统中的传输性问题具有重要意义。