跨界面授权协议：将Computer Use动作绑定具体执行路线与回执

Computer Use Agent可通过图形界面、命令行、API、脚本和模型上下文协议（MCP）服务器执行动作。策略判断可以在不同界面上保持不变，但可执行授权未必如此：其他路线可能绕过检查、改变安全相关默认值，或在已授权状态变化后才提交。我们为固定、版本化的Computer Use部署提出一种受部署配置范围约束的协议。协议枚举会产生效应的执行路线及持久化落点，检查路线到落点之间的强制执行割集，将具体请求规范化为标准效应，签发绑定路线的准备票据，并在提交时重新核验路线、效应、授权、轨迹、配置、清单及权威状态。认定结果已提交，必须有一致的落点回执。在明确假设下，我们证明了配置范围内的细化、相同效应下决策的不变性、抵抗替代路线洗白与已声明跨界面重组的能力、提交时状态安全，以及基于回执的结果判定。参考配置登记12类效应、五种界面和60条路线。两种结构不同的运行时映射各覆盖1732个场景，共生成3464条轨迹：960次提交、2312次拒绝及192次重新准备后的提交。独立检查器接受全部保留轨迹及配对，拒绝26/26项语义回归；覆盖与规范化测试分别拒绝24/24和720/720个变异体，168/168项提交探针符合声明结果。冻结源码审计在两个独立混合运行时和一个公开授权基础层的12个文件上通过52项检查。依源码结构构造的适配器细化成功提交48/48次插桩调用，并拒绝15/15个未绑定案例。所得保证仅绑定已声明配置及其效应语义。