Tags: #formally-verified

拆解 NVIDIA/OpenShell(46MB / 40 个 Rust crates / Apache-2.0 / 0.1.0):Gateway 控制面 + Supervisor 可信决策 + Sandbox 不可信转发的三层架构,Policy Prover 形式化验证策略变更,Agent 永远拿不到真实凭据。