形式化验证

NVIDIA 把「Agent 安全运行时」做成了官方基础设施：OpenShell 内核级拦截 + 策略形式化验证，17.8k star 背后是对隔离层的收编