Lingering Authority: Revocable Resource-and-Effect Capabilities for Coding Agents

论文把 coding agent 常见的“一个子目标用完资源后权限仍然留在界面里”定义为 lingering authority，并提出 PORTICO 作为 reference monitor。PORTICO 把显式 task contract 编译成 initial capabilities、grant rules、trusted closure predicates 和 global deny rules，扩展权限以 opaque、epoch-bound handles 形式出现，closure 后从下一次 planner interface 移除并拒绝 stale replay。评测中 PORTICO 在 closure slice 与非撤销 comparator 任务成功率一致，但能拒绝 10/10 次 post-closure reuse；stale-write audit 是 0/6 对 6/6 forbidden effects，说明撤销语义本身在真实文件写入、git mutation、network egress 轨迹里起作用。