Metis：使用工具的软件代理的类型化运行时中介

软件代理将概​​率模型输出连接到更改存储库、流程、网络和图形应用程序的操作。我们提出了 Metis，一个多提供者运行时，它在承认的调用到达外部效果之前将提供者流转换为类型化事件。其执行路径使权限决策、干扰类别、最终结果和生命周期转换变得明确且可检查。我们在冻结源工件上评估这些机制。在 30 个匹配的实际 I/O 对中，四类中介将中位运行时间从强制序列化下的 25.958 毫秒减少到 14.146 毫秒。平均配对差异为 -12.295 ms（95% bootstrap 间隔 [-12.968，-11.694]），所有配对的中介速度更快。十个案例的故障矩阵暴露了重复标识符和回滚限制。在子边界消融中，完整的门加注册表条件阻止了声明的未经授权的效果并隐藏了所有五个逃逸工具。取消这两项保护会推翻这两项观察结果。仅决策许可预言机匹配五个调用路径中的所有十个声明的案例。五个模型条件还分别在 3/3 试验中完成了固定的读取标记方案。这些结果支持有关调度、权限路由、子权限和提供者有效跟踪关闭的有限声明。它们不建立模型能力、语义安全性、回滚或相对于其他运行时的优越性。