自主软件代理能够通过工具执行任务、委派工作,并在先前授权仍在生效时更换模型或运行环境。为此我们提出 Assurance-Conditioned Continuous Authorization (ACCA),一种与具体实现无关的持续授权机制,依据当前可证明的保证来维持操作权限。ACCA 将证据的有效性与其在特定上下文中的适用性区分开来,从符合条件的证据中推导保证声明,并在主体声明的上限与适用策略之间求解多维有效授权范围。系统使用带类型的依赖图,仅在授权相关的变化出现时重新评估,从而实现高效的授权更新。每当有效授权发生变化时,系统进入新的 authority epoch;此外,还提供可选的授权基础版本,用于对特定动作的授权条件进行重新验证。受保护的生效时间检查能够在资源状态改变前拒绝已过期的操作,前提是存在相应的提交机制。域治理配置(Domain Governance Profile)以组合方式表达领域语义,但不直接授予权限。我们在交易场景下实现了回归测试套件,验证了默认拒绝规则、基于证据的收缩与恢复、策略分歧、选择性不响应以及在本地网关处对过期动作的拒绝(在模拟经纪人边界之前)。研究展示了在单一领域的实现证据,但并未提供跨领域防止有害行为的通用保证。
点评:ACCA 通过分离证据有效性与上下文适用性,实现了灵活且可审计的持续授权,为自主 AI 代理的安全运行提供了可验证的技术路径。