Authorization Revocation for Long-Running AI Agents: Root-Scoped Quiescence under Delegation and Asynchronous Execution

论文把长期代理的撤销建模为根 epoch 的一次 cut：每个 sink 必须证明旧根在 fence 前所有相关接受都被覆盖，fence 后不得再扩张，同时可重新绑定到独立授权。协议以最小充分根集合反链表示合取/析取支持，并组合 provider-frontier 证书；形式化结果覆盖不扩张、合并顺序无关和崩溃重放稳定，独立 checker 在 17/17 注册轨迹上通过、对 44/44 语义回归拒绝。它的边界也写得很清楚：证书只保证清单与配置范围内的授权静默，不承诺全局空闲、回滚或业务完成。