论文
从准入到不变量:度量委托式智能体系统中的偏离
From Admission to Invariants: Measuring Deviation in Delegated Agent Systems
摘要
自主代理系统由在运行时标记硬约束违规的执行机制控制。代理控制协议确定了此类系统的结构限制:正常运行的执行引擎可以进入行为漂移对其不可见的状态,因为执行信号在偏差可测量的层下方运行。我们表明,基于执行的治理在结构上无法确定代理人的行为是否仍在准入时建立的可准许行为空间 A0 内。我们的中心结果,不可识别性定理,证明 A0 不在局部可观测性假设下由执行信号 g 生成的 sigma 代数中,每个实际执行系统都满足该假设。这种不可能性源于根本性的不匹配:g 根据逐点规则集评估本地动作,而 A0 编码在准入时设置的全局轨迹级行为属性。我们定义了不变测量层 (IML),它通过保留对 A0 生成模型的直接访问来绕过此限制。我们证明基于执法的监控在信息理论上是不可能的;单独地,我们展示了 IML 以可证明的有限检测延迟检测准入时间漂移,在执行结构上盲目的区域中运行。在四种设置中进行了验证:三种漂移场景(300 和 1000 步)、实时 n8n webhook 管道和 LangGraph StateGraph 代理 - 强制执行触发零违规,而 IML 在 9-258 步内检测每种漂移类型。代理治理系列 4 篇论文中的论文 2:原子边界 (P0, 10.5281/zenodo.19642166)、ACP 执行 (P1, arXiv:2603.18829)、公平分配 (P3, 10.5281/zenodo.19643928)、不可约性 (P4, 10.5281/zenodo.19643950)。
