에이전트에게 열쇠 대신 출입증을: NVIDIA OpenShell의 게이트웨이·슈퍼바이저·샌드박스 분리, 자격 증명 대리 주입, SMT 정책 증명기(openshell-prover) 심층 해부와 박스 실측
NVIDIA/OpenShell v0.1.5를 해부한다. 판정하는 슈퍼바이저와 실행되는 샌드박스를 분리하고, API 키는 플레이스홀더로만 주며, 정책 변경은 Z3 기반 prover로 검사한다. 박스에서 prover 13케이스와 규칙 수별 증명 시간을 직접 쟀다.