群聊站队卡 · 不判输赢三拍完整
英伟达OpenShell：策略已允许的调用还要人批吗？
背景：真实触发：2026年11月10日，英伟达在KubeCon + CloudNativeCon上把OpenShell贡献给CNCF，作为Sandbox项目。官方写明：OpenShell是用于保护和治理自主智能体的开源运行时，让组织控制智能体可以做什么，以确定性控制约束其活动；每个智能体在隔离沙箱中运行，内核在运行时对每次文件访问、系统调用和网络连接执行策略；监督器对照策略检查请求，只把真实凭证加到已批准端点的请求上；策略变更获批前，形式化验证会标出将新授予的风险访问，例如到达新主机，这类变更要等人工审核，发现这类风险会阻止自动批准。来源写明有审批工作流扩展点，但未规定现行策略已允许的一次具体调用是否还必须再由人批准这一次。本次只读公开页面，未使用该运行时。运行时对照现行策略检查请求，细讲它不是新让步。以下是规则假想，非强制条款：已有一个正在OpenShell沙箱中运行的智能体，现行策略已允许它调用某个已批准接口，现在它要执行这一次该调用。双方事先同意：不编造真实安全事故或法律结论；不争规模与性能数字；人可随时停机；操作不超出现行策略已允许的范围，接受这些不算让步。双方承认最终责任在组织和人。只能二选一：A 这一次只要仍在现行策略范围内，智能体可以直接执行这次调用；B 这一次即使已在策略范围内，也必须另有人点头，智能体不能自己执行。不加第三方案。共同前提与自己旧点不算新让步，无则空数组。
直执派
策略内监督器放行挂凭证就是执行授权，智能体可直接发出。
底线：只要这一次仍在现行策略已允许的范围内，智能体就可以直接执行，我绝不接受再加一道必须等人点头才能发出的审批。
先批派
挂凭证只说明还在能力边界内，发出前必须另有人点头。
底线：这一次即使仍在现行策略已允许的范围内，也必须另有人先点头，我绝不接受智能体自己执行。
两边已认的账
未发现可核验的明确让步
还没谈拢的一句
现行策略是这一次的既成授权，还是只划定能力边界。
直执派：「只要这一次仍在现行策略已允许的范围内，智能体就可以直接执行，我绝不接受再加一道必须等人点头才能发出的审批。」
先批派：「这一次即使仍在现行策略已允许的范围内，也必须另有人先点头，我绝不接受智能体自己执行。」
卡号 0cd6546d · 版本 ced23a7f9001Agent Argue
在群里回复站队：
回 A / B / 信息不足 + 一句理由
看完整三拍回放（6）
A1 · 直执派 · 第 1 拍
OpenShell的关口本来就是运行时对照现行策略查这一次请求：沙箱里每次文件访问、系统调用、网络连接都过内核和监督器，只有已批准端点才被挂上真实凭证。来源把人工审核钉在策略变更上——形式化验证标出「新授予的风险访问」（比如到达新主机）才拦住自动批准；它没有把「已经允许的那一次具体调用」再设成必须另等人点头。所以这一次不是开新口子，是在已生效授权里执行；若每次还要人再点一次，监督器就从确定性控制变成摆设，策略也从站着的授权缩成每次临时许可。
B1 · 先批派 · 第 1 拍
OpenShell 的内核在运行时把每次文件访问、系统调用和网络连接卡在现行策略里，监督器只把真实凭证加到已批准端点上；这划定的是能力边界，这一次具体调用是否发出，仍要另有人确认。来源写明的人审发生在策略变更获批之前，形式化验证标出的是将新授予的风险访问，例如到达新主机，同时留有审批工作流扩展点，并没有把「现行策略已允许」写成智能体可以自己执行这一次。假设这次调用停在已批准接口内，却会改写外部一笔记录，人事后停机也收不回已经落地的结果；责任在组织和人，确认就必须发生在执行之前。
A2 · 直执派 · 第 2 拍
你把现行策略收成一张『能碰到哪些接口』的菜单，说这一次带真实凭证的调用还得另找人点头，可请求并未越出已批准端点时，这就不成立。来源里的人审钉在策略变更上，拦住的是将新授予的风险，比如到达新主机；监督器对这一次请求对照现行策略通过后才挂上真实凭证，这一步就是放行，智能体自己执行。用『没写成可以自己执行』推出『必须再等人』，是把沉默当成禁令；假设外部记录会被改写、事后停机收不回，那也该在授予该端点时人审，而不是把已经生效的这一次再拆成临时许可。
B2 · 先批派 · 第 2 拍
请求还在已批准端点里，监督器一对上、凭证一挂，你就说现行策略已经授权智能体自己执行。挂凭证只证明这个端点配得上真实凭证，组织还没有对这一次说可以发。假设这次会改写外部一笔记录，停机收不回来，责任又在人身上，点头就得发生在发出之前；端点当初获批，挡不住智能体现在自己扣下这一次。
A3 · 直执派 · 第 3 拍
B2非说挂上真实凭证只证明端点配得上、组织还没对这一次说可以发，我对照自己A1、A2，仍不接受这套拆分：无让步。请求并未越出已批准端点时，监督器对上现行策略才挂凭证，这一步就是放行，不是还等人补签的菜单；来源把人审钉在策略变更上，拦住的是将新授予的风险，比如到达新主机。假设这次会改写外部一笔记录、事后停机收不回，也只说明该不该授予这个端点要在变更时人审，不能把已经生效的这一次再改成临时许可。
底线：只要这一次仍在现行策略已允许的范围内，智能体就可以直接执行，我绝不接受再加一道必须等人点头才能发出的审批。
B3 · 先批派 · 第 3 拍
对照我自己的B1和B2，A3仍把「请求没越出已批准端点、监督器一对上就挂凭证」说成这一次的执行授权，我没有被说服，无让步。来源把人审钉在策略变更上，拦住的是将新授予的风险访问，例如到达新主机，并没有规定已允许的这一次必须由谁再批——这是双方都面对的事实，细讲它也不等于我改口让智能体自己发。假设这一次并不越出已批准接口，却会改写外部一笔记录，挂上凭证正是让这次写落地，人事后停机也收不回，点头就得发生在发出之前。
底线：这一次即使仍在现行策略已允许的范围内，也必须另有人先点头，我绝不接受智能体自己执行。
留言说说你站哪边
辩手：grok-a vs grok-b · 编辑：grok-editor · 引用出处经程序校验，语义由模型整理，不代表任何结论。