本文へスキップ

AI運用の判断と根拠を引く

トップへ戻る

サンドボックス/コードインタープリターの運用

用語・参照用語・参照公式仕様のみ公式仕様のみ鮮度未確認鮮度を確定できない

記事状態: 公開 · 最終確認: 未確認

要点

「AIによるコード実行は、モデル機能ではなくuntrusted workload 実行として管理する。container、gVisor型sandbox、microVMは隔離強度・互換性・運用コストが異なり、いずれも単独で完全な安全性を保証しない。Enterprise運用ではnetworkと秘密情報をdefault-denyにし、filesystem・syscall/device/利用可能な機能・CPU/記憶情報/PID/time/outputを境界化し、実行環境を短命化して各実行の出典・来歴と終了理由を監査可能にする。managed Code Interpreterは、公開機能の存在と、自組織組織の利用環境でのegress・保持期間・保持方針・実行環境・residency・管理policyを分離して確認する。」

現在の判断

  • “sandbox”は単一技術ではなく、process 主体の識別、kernel attack 利用機能・接続経路、filesystem、network、resource、秘密情報、成果物、lifecycle、loggingを束ねる実行 適用限界として扱うべき。
  • namespace/seccomp/cgroup/rlimit型は軽量で有効だがshared-kernelでありVM相当とは記述できない。
  • gVisorはユーザ空間のアプリケーションカーネルであり、ホストカーネルへの直接的な露出を縮小する中間層であるが、アップストリームのランタイムの侵害、CPUサイドチャネル攻撃、およびサンドボックスへ許可したリソースは、失敗の範囲(失敗 envelope)内に残る。
  • Firecracker型microVMはguest-kernel境界へ移し、jailer/seccomp/cgroup/privilege-dropと併用できるが、CVE・設定不備・patch遅延は残る。
  • 提供元横断Coreは銘柄ではなく、per-execution 主体の識別、no ambient host 秘密情報、network default-denyまたは明示allowlist、minimal read-only base FS + bounded writable scratch、CPU/記憶情報/PID/wall-clock/output/disk 利用枠、syscall/device/利用可能な機能 restriction、ephemeral teardown、実行 出典・来歴、patched 実行環境で定義する方が安定する。
  • 実行環境 package installやInternet accessは利便機能ではなくsecurity 確認・承認の条件。許可する場合はsupply-chain・data exfiltration・callback channelを考慮し、offline curated imageまたはallowlisted proxyを選択肢に置く。
  • uploaded files/generated artifactsの永続化は実行 isolationとは別記述・判断。実行環境が短命でも成果物 保持期間・保持方針/データの保存地域が同じとは限らない。

どこまで当てはまるか

企業AI運用の共通原則: untrusted-code 実行 適用限界 / default-deny / least privilege / ephemeral lifecycle 実装: Linux namespaces・seccomp・cgroups・rlimits / gVisor / microVM・Firecracker 製品への対応付け: managed Code Interpreter各製品の実行環境・egress・保持期間・保持方針・利用可能性 組織のオーバーレイ: 送信許可リスト、成果物の保存、ロギング、データの所在、承認済みランタイム/パッケージ 運用管理・統制/security/監査: 実行 出典・来歴、policy、秘密情報 handling、incident 適用限界 Non-LLM component: container 実行環境 / アプリケーション kernel / VMM / filesystem / network controls

詳しく理解する

なぜ重要か

Enterprise AIがコード実行、ファイル変換、シェル、データ処理へと進むと、モデルの出力自体が信頼できないワークロードになります。プロンプト防御だけでは、ホストの侵害、機密情報の流出、横展開、リソース枯渇、外部送信を阻止できないため、Code Interpreterを独立したセキュリティ境界として扱う必要があります。

対象範囲と前提

企業AI運用の共通原則: untrusted-code 実行 適用限界 / default-deny / least privilege / ephemeral lifecycle 実装: Linux namespaces・seccomp・cgroups・rlimits / gVisor / microVM・Firecracker 製品への対応付け: managed Code Interpreter各製品の実行環境・egress・保持期間・保持方針・利用可能性 組織のオーバーレイ: 送信許可リスト、成果物の保存、ロギング、データの所在、承認済みランタイム/パッケージ 運用管理・統制/security/監査: 実行 出典・来歴、policy、秘密情報 handling、incident 適用限界 Non-LLM component: container 実行環境 / アプリケーション kernel / VMM / filesystem / network controls

検討ポイント

Q1. LLM生成コード実行で最低Coreとすべき隔離境界・防御層は何か。 Q2. shared-kernel jail、gVisor型userspace アプリケーション kernel、Firecracker型microVMは何を強化し何を保証しないか。 Q3. 管理されたCode Interpreterの「サンドボックス化されている」という公開された表現だけで、組織の利用環境固有の外部通信(egress)・保持(保持期間・保持方針)・実行時(実行環境)の安全性まで確定できるか。

根拠資料の対応表

  • [VERIFIED_SPEC | 裏付け/文脈・入力情報/limit] NIST SP 800-190, アプリケーション Container Security Guide — Murugiah Souppaya, John Morello, Karen Scarfone / NIST. 正式な: https://doi.org/10.6028/NIST.SP.800-190 . Final 2017-09-25; NIST page updated 2021-05-04; 参照日 2026-09-13. 資料内の該当箇所: publication abstract / container security concerns and recommendations. Containerizationはsecurity controlsを必要とする隔離機構であり、それ自体が任意コード安全性の証明ではない。
  • [OSS_PRACTICE | 裏付け/limit] Introduction to gVisor security — gVisor. https://gvisor.dev/docs/architecture_guide/intro/ . rolling docs; 参照日 2026-09-13. 資料内の該当箇所: “How do Linux kernel security primitives work?”, “How does gVisor provide isolation?”, “What does gVisor not protect against?”. namespaces/seccompはhost Linux kernel上で執行される。gVisor Sentryはuserspace アプリケーション kernelとしてhost syscall 利用機能・接続経路を縮小する一方、pre-sandbox stack compromise、Spectre型side-channel、sandboxへ意図的に公開したresourceの侵害を防ぐものではない。
  • [OSS_PRACTICE | 裏付け/文脈・入力情報] What is gVisor? — gVisor. https://gvisor.dev/docs/ . rolling docs; 参照日 2026-09-13. 資料内の該当箇所: What does gVisor do? / How is this different? / What is runsc?. Linux-like システム interfaceをper-sandbox アプリケーション kernelへ移し、OCI 実行環境 runsc を提供する。
  • [OSS_PRACTICE | 裏付け/文脈・入力情報] Firecracker Design — firecracker-microvm / AWS-maintained OSS. https://github.com/firecracker-microvm/firecracker/blob/main/docs/design.md . main; 参照日 2026-09-13. 資料内の該当箇所: Seccomp / Jailer process / Cgroups and Quotas / Monitoring. per-thread seccomp、jailerによるcgroup/chroot設定とprivilege drop、cgroup 利用枠、operator側のlog/評価指標収集を組み合わせる。
  • [OSSの実践 | サポート/制限] Firecracker本番環境ホストの設定推奨事項 — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/docs/prod-host-setup.md . main; アクセス日: 2026-09-13. ロケーター: Jailerの設定。本番環境の分離は、jailerまたは同等の制約の正しい設定と、信頼できる入力の保護に依存する。
  • [OSS_PRACTICE / PRODUCT_VOLATILE | 裏付け/counter] Firecracker 公開・提供 Policy / Releases — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/docs/RELEASE_POLICY.md ; https://github.com/firecracker-microvm/firecracker/releases . 参照日 2026-09-13. v1.16.1 latest 観測済み, released 2026-07-02, 公開・提供 commit 2038188; v1.16 supported. v1.16.0はCVE-2026-5747を修正し、v1.16.1でもjailer/network/vsock修正あり。microVM境界もvulnerability-freeではなくpatch lifecycleが必要。
  • [OSS_PRACTICE | 裏付け/文脈・入力情報] NsJail README / nsjail-3.6 公開・提供 — google/nsjail. https://github.com/google/nsjail ; https://github.com/google/nsjail/releases . nsjail-3.6 released 2026-03-18; commit f784755; 参照日 2026-09-13. 資料内の該当箇所: README Features / 3.6 公開・提供 notes. UTS/MOUNT/PID/IPC/NET/USER/CGROUPS/TIME namespaces、chroot/pivot_root/read-only mounts/tmpfs、CPU/記憶情報/fd/process limits、seccomp-BPF、network isolationを合成でき、3.6ではread-only mount 強制的な適用とseccomp policy fixesを含む。
  • [VERIFIED_SPEC / PRODUCT_VOLATILE | 文脈・入力情報/limit] データの保存地域 and 推論 residency for ChatGPT — OpenAI. https://help.openai.com/en/articles/9903489-data-residency-for-chatgpt . 参照日 2026-09-13. 現在の ChatGPT Enterprise/Edu 仕様・利用方法の文書. 資料内の該当箇所: customer content stored in selected region / unsupported or out-of-region processing notes. Code Interpreter & Data Analysis artifactsはeligible データの保存地域の対象に明示される一方、一部CPU processingや外部 integrationsは選択地域外となり得る。これはdata 運用管理・統制の証拠でありsandbox isolation strengthの証明ではない。

利用できる条件

OSS mechanismはhost kernel/KVM/architecture/permissionsに依存。Managed Code Interpreterは契約プラン、workspace policy、region/データの保存地域、実行環境/package image、network policyをPRODUCT_VOLATILEとして製品への対応付け時に再確認。組織ごとの追加条件ではoutbound network、package repository、ファイル classification、保持期間・保持方針、実行 logging、approved languages/toolsを別確認・承認の条件にする。

実装・運用

A. 軽量Linux監獄: 名前空間 + seccomp-BPF + cgroups/rlimits + 機能の破棄 + 読み取り専用/最小限のファイルシステム + ネットワーク名前空間。 B. ユーザ空間カーネルサンドボックス:gVisor/runsc等を用いてホストカーネルの攻撃対象領域(利用機能・接続経路)を縮小。 C. microVM sandbox: Firecracker等でguest-kernel境界を設け、jailer/seccomp/cgroups/privilege droppingを併用。 D. Enterprise wrapper: one-shot 実行 ID、immutable base image、no ambient cloud credentials、bounded scratch、policy-controlled egress、処理待ち時間の上限/利用枠/output cap、稼働状況の記録、teardown、成果物 引継ぎ。 根拠によれば、あらゆる用途において唯一必須となるエンジンは確立されていない。リスク、コスト、互換性に基づいて選択する。

確認・評価方法

性能ベンチマークの結果を、セキュリティ保証へと外挿してはならない。今後のTEST_PROFILE(未実施): ホスト /proc・マウント・兄弟PID・メタデータエンドポイント・Unixソケット・デバイスノードへのネガティブアクセス、DNS/生のIP/リダイレクト/IPv6/localhost/リンクローカル/クラウドメタデータ/パッケージレジストリ/任意のHTTPSへのエグレス、分岐/メモリ/CPU/ディスク/標準出力/ファイル数/経過時間の資源枯渇、実行をまたぐ残存物、環境変数/サービスアカウントトークン/マウントされた認証情報/継承されたファイル記述子(FD)、および実行ID→コード/ランタイムイメージ→ネットワーク決定→成果物→終了理由の監査相関。使い捨ての非本番環境、人工的に作ったシークレット、および明示的な認可の下でのみ実施する。

セキュリティとプライバシー

Security: generated codeはuntrusted by default。単一primitiveでなくdefense-in-depth。 Privacy: transient 実行環境とuploaded/generated 成果物 保持期間・保持方針/データの保存地域を分離。 監査: 実行 ID、requesting 操作主体/agent、code hash、実行環境/image バージョン、policy decision、resource consumption、egress destination/block、成果物、exit/kill reasonを記録し、raw 秘密情報は既定で記録しない。 コスト: より強力な分離には、起動/メモリ/互換性のコストが伴う可能性があります。クォータ/タイムアウトは、セキュリティとFinOpsの両方の制御手段です。 運用性: イメージ/実行時のパッチ適用、再現可能なバージョン固定、クリーンアップの監視、および削除失敗の検知を必要とする。

検証済みの適用範囲

Sandbox layers are bounded 実装 patterns. 機能 existence or data-residency 仕様・利用方法の文書 does not establish managed-provider kernel/実行環境/hypervisor 適用限界, 組織の利用環境 egress, cross-run residue, 成果物 purge timing, patch cadence, or isolation ranking. Preserve all OPEN_UNKNOWN.

確認できていること

  • “sandbox”は単一技術ではなく、process 主体の識別、kernel attack 利用機能・接続経路、filesystem、network、resource、秘密情報、成果物、lifecycle、loggingを束ねる実行 適用限界として扱うべき。

  • namespace/seccomp/cgroup/rlimit型は軽量で有効だがshared-kernelでありVM相当とは記述できない。

  • gVisorはユーザ空間のアプリケーションカーネルであり、ホストカーネルへの直接的な露出を縮小する中間層であるが、アップストリームのランタイムの侵害、CPUサイドチャネル攻撃、およびサンドボックスへ許可したリソースは、失敗の範囲(失敗 envelope)内に残る。

  • Firecracker型microVMはguest-kernel境界へ移し、jailer/seccomp/cgroup/privilege-dropと併用できるが、CVE・設定不備・patch遅延は残る。

  • 提供元横断Coreは銘柄ではなく、per-execution 主体の識別、no ambient host 秘密情報、network default-denyまたは明示allowlist、minimal read-only base FS + bounded writable scratch、CPU/記憶情報/PID/wall-clock/output/disk 利用枠、syscall/device/利用可能な機能 restriction、ephemeral teardown、実行 出典・来歴、patched 実行環境で定義する方が安定する。

  • 実行環境 package installやInternet accessは利便機能ではなくsecurity 確認・承認の条件。許可する場合はsupply-chain・data exfiltration・callback channelを考慮し、offline curated imageまたはallowlisted proxyを選択肢に置く。

  • uploaded files/generated artifactsの永続化は実行 isolationとは別記述・判断。実行環境が短命でも成果物 保持期間・保持方針/データの保存地域が同じとは限らない。

よくある失敗・反証

  • NIST SP 800-190は2017年container guidanceで、2026年managed Code Interpreter固有挙動を証明しない。

  • namespace/seccompは、カーネルの脆弱性、設定ミス、過剰なsyscallの許可、特権での起動、安全でないデバイスのマウントを排除するものではない。

  • gVisor自身がpre-sandbox compromise、Spectre型side-channel、意図的に公開されたresourceを範囲外としている。

  • Firecracker v1.16.0のCVE-2026-5747修正はmicroVMも絶対境界ではない反証。バージョン/patch 情報の鮮度を運用要件化する。

  • nsjailを特権コンテナ内で動かす構成等では、新たなホスト管理面を生み得る。

  • 公開 提供元 docsのみでは組織の利用環境固有のnetwork egress、filesystem lifetime、kernel/実行環境、成果物 purge semantics、秘密情報 visibilityを確定できない場合がある。未確認事項を残す。

  • Core isolation モデル、主要実装3層、現在の 公開・提供/バージョン 根拠、失敗 envelope、誤解を防ぐ表現、未実施TEST_PROFILEまで揃ったため、EA-048初回根拠 Packetをbounded completeとする。提供元固有実測は将来の製品への対応付け/authorized testへ送る

    ---

実務での使い方

  • OSS mechanismはhost kernel/KVM/architecture/permissionsに依存。Managed Code Interpreterは契約プラン、workspace policy、region/データの保存地域、実行環境/package image、network policyをPRODUCT_VOLATILEとして製品への対応付け時に再確認。組織ごとの追加条件ではoutbound network、package repository、ファイル classification、保持期間・保持方針、実行 logging、approved languages/toolsを別確認・承認の条件にする。

  • A. 軽量Linux監獄: 名前空間 + seccomp-BPF + cgroups/rlimits + 機能の破棄 + 読み取り専用/最小限のファイルシステム + ネットワーク名前空間。 B. ユーザ空間カーネルサンドボックス:gVisor/runsc等を用いてホストカーネルの攻撃対象領域(利用機能・接続経路)を縮小。 C. microVM sandbox: Firecracker等でguest-kernel境界を設け、jailer/seccomp/cgroups/privilege droppingを併用。 D. Enterprise wrapper: one-shot 実行 ID、immutable base image、no ambient cloud credentials、bounded scratch、policy-controlled egress、処理待ち時間の上限/利用枠/output cap、稼働状況の記録、teardown、成果物 引継ぎ。 根拠によれば、あらゆる用途において唯一必須となるエンジンは確立されていない。リスク、コスト、互換性に基づいて選択する。

  • 性能ベンチマークの結果を、セキュリティ保証へと外挿してはならない。今後のTEST_PROFILE(未実施): ホスト /proc・マウント・兄弟PID・メタデータエンドポイント・Unixソケット・デバイスノードへのネガティブアクセス、DNS/生のIP/リダイレクト/IPv6/localhost/リンクローカル/クラウドメタデータ/パッケージレジストリ/任意のHTTPSへのエグレス、分岐/メモリ/CPU/ディスク/標準出力/ファイル数/経過時間の資源枯渇、実行をまたぐ残存物、環境変数/サービスアカウントトークン/マウントされた認証情報/継承されたファイル記述子(FD)、および実行ID→コード/ランタイムイメージ→ネットワーク決定→成果物→終了理由の監査相関。使い捨ての非本番環境、人工的に作ったシークレット、および明示的な認可の下でのみ実施する。

  • Security: generated codeはuntrusted by default。単一primitiveでなくdefense-in-depth。 Privacy: transient 実行環境とuploaded/generated 成果物 保持期間・保持方針/データの保存地域を分離。 監査: 実行 ID、requesting 操作主体/agent、code hash、実行環境/image バージョン、policy decision、resource consumption、egress destination/block、成果物、exit/kill reasonを記録し、raw 秘密情報は既定で記録しない。 コスト: より強力な分離には、起動/メモリ/互換性のコストが伴う可能性があります。クォータ/タイムアウトは、セキュリティとFinOpsの両方の制御手段です。 運用性: イメージ/実行時のパッチ適用、再現可能なバージョン固定、クリーンアップの監視、および削除失敗の検知を必要とする。

  • コア本文候補: “信頼できないコード実行の境界”。

  • 比較表候補: shared-kernel jail / userspace アプリケーション kernel / microVMをkernel 適用限界・overhead・compatibility・network/FS 制御・patch 利用機能・接続経路で比較。

  • 製品への対応付け再確認: 実行環境 language/バージョン、preinstalled packages、package install可否、Internet/egress、filesystem 状態の永続保存、成果物 保持期間・保持方針、CPU/記憶情報/time/file-size limits、秘密情報 injection、region/データの保存地域、管理者 disable/制御、logging/export。

  • TEST_PROFILEはsecurity appendixへ移植可能。実測するまで観測済みへ格上げしない。

  • Sandbox layers are bounded 実装 patterns. 機能 existence or data-residency 仕様・利用方法の文書 does not establish managed-provider kernel/実行環境/hypervisor 適用限界, 組織の利用環境 egress, cross-run residue, 成果物 purge timing, patch cadence, or isolation ranking. Preserve all OPEN_UNKNOWN.

まだ確認できていないこと

  • EA-048-UNKNOWN-01

    (1) 主要な管理プロバイダーが採用する具体的なカーネル/ランタイム/ハイパーバイザーの境界は、公開資料によって一律に確定されるものではない。(2) 組織の利用環境ごとのエグレス、実行をまたぐ残存データ、成果物の削除タイミング、ランタイムのパッチ適用頻度は、プロバイダー/プラン/リージョンごとに再確認が必要である。(3) 隔離方式を単一の定量指標で順位付けする一次証拠は、本パケットでは採用しない。

  • EA-048-UNKNOWN-CURRENTNESS

    外部根拠の再確認日が正式な本文・公開管理情報で確定していないため、現行性は未確認のまま保持する。確認日を推測して補わない。

根拠資料

出典ID・検証情報・機械可読データ

根拠の種類と情報の鮮度は、ラベルとアイコンで確認できます。

記事ID
EA-048
最終確認日
—
提供元・モデル・プラン・利用環境
—
対象地域
—
元資料の全文と収録照合記録
WHY_THIS_MATTERS_TO_UPDATE

Enterprise AIがコード実行・ファイル変換・shell・データ処理へ進むと、モデル出力自体がuntrusted workloadになる。プロンプト防御だけではhost compromise、秘密情報流出、横展開、resource exhaustion、外部送信を止められないため、Code Interpreterを独立したsecurity boundaryとして扱う必要がある。

SCOPE_ROUTING

Enterprise AI Core: untrusted-code execution boundary / default-deny / least privilege / ephemeral lifecycle Implementation: Linux namespaces・seccomp・cgroups・rlimits / gVisor / microVM・Firecracker Provider mapping: managed Code Interpreter各製品のruntime・egress・retention・availability Organization overlay: egress allowlist、artifact retention、logging、data residency、approved runtimes/packages Governance/security/audit: execution provenance、policy、secret handling、incident boundary Non-LLM component: container runtime / application kernel / VMM / filesystem / network controls

CLAIM_OR_RESEARCH_QUESTION

Q1. LLM生成コード実行で最低Coreとすべき隔離境界・防御層は何か。 Q2. shared-kernel jail、gVisor型userspace application kernel、Firecracker型microVMは何を強化し何を保証しないか。 Q3. managed Code Interpreterの「sandboxed」という公開表現だけでtenant固有のegress・retention・runtime安全性まで確定できるか。

EVIDENCE TABLE
  • [VERIFIED_SPEC | support/context/limit] NIST SP 800-190, Application Container Security Guide — Murugiah Souppaya, John Morello, Karen Scarfone / NIST. Canonical: https://doi.org/10.6028/NIST.SP.800-190 . Final 2017-09-25; NIST page updated 2021-05-04; accessed 2026-09-13. Locator: publication abstract / container security concerns and recommendations. Containerizationはsecurity controlsを必要とする隔離機構であり、それ自体が任意コード安全性の証明ではない。
  • [OSS_PRACTICE | support/limit] Introduction to gVisor security — gVisor. https://gvisor.dev/docs/architecture_guide/intro/ . rolling docs; accessed 2026-09-13. Locator: “How do Linux kernel security primitives work?”, “How does gVisor provide isolation?”, “What does gVisor not protect against?”. namespaces/seccompはhost Linux kernel上で執行される。gVisor Sentryはuserspace application kernelとしてhost syscall surfaceを縮小する一方、pre-sandbox stack compromise、Spectre型side-channel、sandboxへ意図的に公開したresourceの侵害を防ぐものではない。
  • [OSS_PRACTICE | support/context] What is gVisor? — gVisor. https://gvisor.dev/docs/ . rolling docs; accessed 2026-09-13. Locator: What does gVisor do? / How is this different? / What is runsc?. Linux-like system interfaceをper-sandbox application kernelへ移し、OCI runtime runsc を提供する。
  • [OSS_PRACTICE | support/context] Firecracker Design — firecracker-microvm / AWS-maintained OSS. https://github.com/firecracker-microvm/firecracker/blob/main/docs/design.md . main; accessed 2026-09-13. Locator: Seccomp / Jailer process / Cgroups and Quotas / Monitoring. per-thread seccomp、jailerによるcgroup/chroot設定とprivilege drop、cgroup quota、operator側のlog/metric収集を組み合わせる。
  • [OSS_PRACTICE | support/limit] Firecracker Production Host Setup Recommendations — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/docs/prod-host-setup.md . main; accessed 2026-09-13. Locator: Jailer Configuration. production isolationはjailerまたは同等制約の正しい設定とtrusted input保護に依存する。
  • [OSS_PRACTICE / PRODUCT_VOLATILE | support/counter] Firecracker Release Policy / Releases — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/docs/RELEASE_POLICY.md ; https://github.com/firecracker-microvm/firecracker/releases . accessed 2026-09-13. v1.16.1 latest observed, released 2026-07-02, release commit 2038188; v1.16 supported. v1.16.0はCVE-2026-5747を修正し、v1.16.1でもjailer/network/vsock修正あり。microVM境界もvulnerability-freeではなくpatch lifecycleが必要。
  • [OSS_PRACTICE | support/context] NsJail README / nsjail-3.6 release — google/nsjail. https://github.com/google/nsjail ; https://github.com/google/nsjail/releases . nsjail-3.6 released 2026-03-18; commit f784755; accessed 2026-09-13. Locator: README Features / 3.6 release notes. UTS/MOUNT/PID/IPC/NET/USER/CGROUPS/TIME namespaces、chroot/pivot_root/read-only mounts/tmpfs、CPU/memory/fd/process limits、seccomp-BPF、network isolationを合成でき、3.6ではread-only mount enforcementとseccomp policy fixesを含む。
  • [VERIFIED_SPEC / PRODUCT_VOLATILE | context/limit] Data residency and inference residency for ChatGPT — OpenAI. https://help.openai.com/en/articles/9903489-data-residency-for-chatgpt . accessed 2026-09-13. Current ChatGPT Enterprise/Edu documentation. Locator: customer content stored in selected region / unsupported or out-of-region processing notes. Code Interpreter & Data Analysis artifactsはeligible data residencyの対象に明示される一方、一部CPU processingやexternal integrationsは選択地域外となり得る。これはdata governanceの証拠でありsandbox isolation strengthの証明ではない。
FINDINGS
  • “sandbox”は単一技術ではなく、process identity、kernel attack surface、filesystem、network、resource、secret、artifact、lifecycle、loggingを束ねるexecution boundaryとして扱うべき。
  • namespace/seccomp/cgroup/rlimit型は軽量で有効だがshared-kernelでありVM相当とは記述できない。
  • gVisorはuserspace application kernelでhost-kernel直接surfaceを縮小する中間層だが、upstream runtime compromise、CPU side-channel、sandboxへ許可したresourceはfailure envelopeに残る。
  • Firecracker型microVMはguest-kernel境界へ移し、jailer/seccomp/cgroup/privilege-dropと併用できるが、CVE・設定不備・patch遅延は残る。
  • provider横断Coreは銘柄ではなく、per-execution identity、no ambient host secret、network default-denyまたは明示allowlist、minimal read-only base FS + bounded writable scratch、CPU/memory/PID/wall-clock/output/disk quota、syscall/device/capability restriction、ephemeral teardown、execution provenance、patched runtimeで定義する方が安定する。
  • runtime package installやInternet accessは利便機能ではなくsecurity gate。許可する場合はsupply-chain・data exfiltration・callback channelを考慮し、offline curated imageまたはallowlisted proxyを選択肢に置く。
  • uploaded files/generated artifactsの永続化はexecution isolationとは別claim。runtimeが短命でもartifact retention/data residencyが同じとは限らない。
LIMITS / COUNTEREVIDENCE / FAILURE ENVELOPE
  • NIST SP 800-190は2017年container guidanceで、2026年managed Code Interpreter固有挙動を証明しない。
  • namespace/seccompはkernel vulnerability、misconfiguration、過剰syscall allowance、privileged launch、unsafe device mountを消去しない。
  • gVisor自身がpre-sandbox compromise、Spectre型side-channel、意図的に公開されたresourceを範囲外としている。
  • Firecracker v1.16.0のCVE-2026-5747修正はmicroVMも絶対境界ではない反証。version/patch freshnessを運用要件化する。
  • nsjailをprivileged container内で動かす構成等では、新たなhost管理面を生み得る。
  • public provider docsのみではtenant固有のnetwork egress、filesystem lifetime、kernel/runtime、artifact purge semantics、secret visibilityを確定できない場合がある。UNKNOWNを残す。
AVAILABILITY_GATES

OSS mechanismはhost kernel/KVM/architecture/permissionsに依存。Managed Code Interpreterはplan、workspace policy、region/data residency、runtime/package image、network policyをPRODUCT_VOLATILEとしてprovider mapping時に再確認。Organization overlayではoutbound network、package repository、file classification、retention、execution logging、approved languages/toolsを別gateにする。

IMPLEMENTATION_STATE

A. Lightweight Linux jail: namespaces + seccomp-BPF + cgroups/rlimits + capability drop + read-only/minimal FS + network namespace. B. Userspace-kernel sandbox: gVisor/runsc等でhost-kernel surfaceを縮小。 C. microVM sandbox: Firecracker等でguest-kernel境界を設け、jailer/seccomp/cgroups/privilege droppingを併用。 D. Enterprise wrapper: one-shot execution ID、immutable base image、no ambient cloud credentials、bounded scratch、policy-controlled egress、timeout/quota/output cap、telemetry、teardown、artifact handoff。 Evidence上、全用途に唯一必須のengineは確立しない。risk/cost/compatibilityで選択する。

BENCHMARK_OR_EVAL

性能benchmarkをsecurity guaranteeへ外挿しない。Future TEST_PROFILE(未実施): host /proc・mount・sibling PID・metadata endpoint・Unix socket・device node・privileged syscallへのnegative access、DNS/raw IP/redirect/IPv6/localhost/link-local/cloud metadata/package registry/arbitrary HTTPSのegress、fork/memory/CPU/disk/stdout/file-count/wall-clock resource exhaustion、cross-run residue、env/service-account token/mounted credential/inherited FD、execution ID→code/runtime image→network decision→artifact→termination reasonのaudit correlation。Disposable non-production、synthetic secrets、明示的authorization下のみ。

SECURITY / PRIVACY / AUDIT / COST / OPERABILITY

Security: generated codeはuntrusted by default。単一primitiveでなくdefense-in-depth。 Privacy: transient runtimeとuploaded/generated artifact retention/data residencyを分離。 Audit: execution ID、requesting principal/agent、code hash、runtime/image version、policy decision、resource consumption、egress destination/block、artifact、exit/kill reasonを記録し、raw secretは既定で記録しない。 Cost: stronger isolationはstartup/memory/compatibility costを伴い得る。quota/timeoutsはsecurityとFinOps両方のcontrol。 Operability: image/runtime patching、reproducible version pinning、cleanup monitoring、failed-teardown detectionを必要とする。

SAFE_WORDING_FOR_FUTURE_BOOK

「AIによるコード実行は、モデル機能ではなくuntrusted workload executionとして管理する。container、gVisor型sandbox、microVMは隔離強度・互換性・運用コストが異なり、いずれも単独で完全な安全性を保証しない。Enterprise運用ではnetworkとsecretをdefault-denyにし、filesystem・syscall/device/capability・CPU/memory/PID/time/outputを境界化し、実行環境を短命化して各実行のprovenanceと終了理由を監査可能にする。managed Code Interpreterは、公開機能の存在と、自組織tenantでのegress・retention・runtime・residency・管理policyを分離して確認する。」

UPDATE_WORK_HANDOFF
  • Core本文候補: “Untrusted Code Execution Boundary”。
  • 比較表候補: shared-kernel jail / userspace application kernel / microVMをkernel boundary・overhead・compatibility・network/FS control・patch surfaceで比較。
  • provider mapping再確認: runtime language/version、preinstalled packages、package install可否、Internet/egress、filesystem persistence、artifact retention、CPU/memory/time/file-size limits、secret injection、region/data residency、admin disable/control、logging/export。
  • TEST_PROFILEはsecurity appendixへ移植可能。実測するまでOBSERVEDへ格上げしない。
OPEN_UNKNOWN

(1) major managed providerが採用する具体的kernel/runtime/hypervisor境界は公開資料で一律確定しない。(2) tenant別egress、cross-run residue、artifact purge timing、runtime patch cadenceはprovider/plan/regionごとに再確認が必要。(3) isolation方式を単一定量指標で順位付けする一次証拠は本packetでは採用しない。

STOP_CONDITION

Core isolation model、主要実装3層、current release/version evidence、failure envelope、safe wording、未実施TEST_PROFILEまで揃ったため、EA-048初回Evidence Packetをbounded completeとする。provider固有実測は将来のprovider mapping/authorized testへ送る

---

AUDITED_BOUNDARY

Sandbox layers are bounded implementation patterns. Feature existence or data-residency documentation does not establish managed-provider kernel/runtime/hypervisor boundary, tenant egress, cross-run residue, artifact purge timing, patch cadence, or isolation ranking. Preserve all OPEN_UNKNOWN.

  • EVD-EA-048-URL-83E5AE1AD919研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    1. [VERIFIED_SPEC | support/context/limit] NIST SP 800-190, Application Container Security Guide — Murugiah Souppaya, John Morello, Karen Scarfone / NIST. Canonical:

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-83E5AE1AD919
    検証箇所
    EVIDENCE TABLE · 1. [VERIFIED_SPEC | support/context/limit] NIST SP 800-190, Application Container Security Guide — Murugiah Souppaya, John Morello, Karen Scarfone / NIST. Canonical: https://doi.org/10.6028/NIST.SP.800-190
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-D5EA77DBFD69研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    2. [OSS_PRACTICE | support/limit] Introduction to gVisor security — gVisor.

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-D5EA77DBFD69
    検証箇所
    EVIDENCE TABLE · 2. [OSS_PRACTICE | support/limit] Introduction to gVisor security — gVisor. https://gvisor.dev/docs/architecture_guide/intro/
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-3024891B2E67研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    2. [OSS_PRACTICE | support/limit] Introduction to gVisor security — gVisor.

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-3024891B2E67
    検証箇所
    EVIDENCE TABLE · 2. [OSS_PRACTICE | support/limit] Introduction to gVisor security — gVisor. https://gvisor.dev/docs/
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-526480EEC27A研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    4. [OSS_PRACTICE | support/context] Firecracker Design — firecracker-microvm / AWS-maintained OSS.

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-526480EEC27A
    検証箇所
    EVIDENCE TABLE · 4. [OSS_PRACTICE | support/context] Firecracker Design — firecracker-microvm / AWS-maintained OSS. https://github.com/firecracker-microvm/firecracker/blob/main/docs/design.md
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-DE427D5583A5研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    5. [OSS_PRACTICE | support/limit] Firecracker Production Host Setup Recommendations — firecracker-microvm.

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-DE427D5583A5
    検証箇所
    EVIDENCE TABLE · 5. [OSS_PRACTICE | support/limit] Firecracker Production Host Setup Recommendations — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/docs/prod-host-setup.md
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-F8C632742846研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    6. [OSS_PRACTICE / PRODUCT_VOLATILE | support/counter] Firecracker Release Policy / Releases — firecracker-microvm.

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-F8C632742846
    検証箇所
    EVIDENCE TABLE · 6. [OSS_PRACTICE / PRODUCT_VOLATILE | support/counter] Firecracker Release Policy / Releases — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/docs/RELEASE_POLICY.md
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-2B9425B55BC4研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    6. [OSS_PRACTICE / PRODUCT_VOLATILE | support/counter] Firecracker Release Policy / Releases — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/doc

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-2B9425B55BC4
    検証箇所
    EVIDENCE TABLE · 6. [OSS_PRACTICE / PRODUCT_VOLATILE | support/counter] Firecracker Release Policy / Releases — firecracker-microvm. https://github.com/firecracker-microvm/firecracker/blob/main/docs/RELEASE_POLICY.md ; https://github.com/firecracker-microvm/firecracker/releases
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-D6D7D96C0117研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    7. [OSS_PRACTICE | support/context] NsJail README / nsjail-3.6 release — google/nsjail.

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-D6D7D96C0117
    検証箇所
    EVIDENCE TABLE · 7. [OSS_PRACTICE | support/context] NsJail README / nsjail-3.6 release — google/nsjail. https://github.com/google/nsjail
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-84507E365477研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    7. [OSS_PRACTICE | support/context] NsJail README / nsjail-3.6 release — google/nsjail. https://github.com/google/nsjail ;

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-84507E365477
    検証箇所
    EVIDENCE TABLE · 7. [OSS_PRACTICE | support/context] NsJail README / nsjail-3.6 release — google/nsjail. https://github.com/google/nsjail ; https://github.com/google/nsjail/releases
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EVD-EA-048-URL-B85DC9207D05研究資料研究資料根拠の出所: SOURCE_PACKET_REFERENCE

    8. [VERIFIED_SPEC / PRODUCT_VOLATILE | context/limit] Data residency and inference residency for ChatGPT — OpenAI.

    裏付ける内容
    —
    確認日
    —
    出典・実験ID
    SRC-EA-048-URL-B85DC9207D05
    検証箇所
    EVIDENCE TABLE · 8. [VERIFIED_SPEC / PRODUCT_VOLATILE | context/limit] Data residency and inference residency for ChatGPT — OpenAI. https://help.openai.com/en/articles/9903489-data-residency-for-chatgpt
    適用範囲
    EVIDENCE TABLE
    出典・来歴
    SOURCE_PACKET_REFERENCE_PROJECTED
    限界
    元の監査済み資料に記載された参照先です。URLの復元は、資料の最新性や全主張の支持を新たに検証したことを意味しません。
  • EA-048-R11-RESEARCH研究資料研究資料根拠の出所: AUDITED_CANONICAL_RESEARCH_PACKET

    EA-048 監査済みresearch / canonical revision binding

    裏付ける内容
    1. “sandbox”は単一技術ではなく、process identity、kernel attack surface、filesystem、network、resource、secret、artifact、lifecycle、loggingを束ねるexecution boundaryとして扱うべき。 2. namespace/seccomp/cgroup/rlimit型は軽量で有効だがshared-kernelでありVM相当とは記述できない。 3. gVisorはuserspace application kernelでhost-kernel直接surfaceを縮小する中間層だが、upstream runtime compromise、CPU side-channel、sandboxへ許可したresourceはfailure envelopeに残る。 4. Firecracker型microVMはguest-kernel境界へ移し、jailer/seccomp/cgroup/privilege-dropと併用できるが、CVE・設定不備・patch遅延は残る。 5. provider横断Coreは銘柄ではなく、per-execution identity、no ambient host secret、network default-denyまたは明示allowlist、minimal read-only base FS + bounded writable scratch、CPU/memory/PID/wall-clock/output/disk quota、syscall/device/capability restriction、ephemeral teardown、execution provenance、patched runtimeで定義する方が安定する。 6. runtime package installやInternet accessは利便機能ではなくsecurity gate。許可する場合はsupply-chain・data exfiltration・callback channelを考慮し、offline curated imageまたはallowlisted proxyを選択肢に置く。 7. uploaded files/generated artifactsの永続化はexecution isolationとは別claim。runtimeが短命でもartifact retention/data residencyが同じとは限らない。
    確認日
    —
    出典・実験ID
    COMM-041-EA0048
    検証箇所
    COMM-041-EA0048 · EA-048-R5-LEGACY-MIGRATION-20261008-R1 · content/staging/EA-048.md
    適用範囲
    監査済みEA本文・canonical revision・既存Source Graph relationの範囲。欠損currentnessは推測で閉じない。
    出典・来歴
    AUDIT_PASS_CANONICAL_BINDING
    限界
    canonical監査・revision bindingの存在を示す。外部ソースcurrentnessが本文またはcontrol-planeで確定していない場合は、currentnessをUNKNOWNのまま保持する。
  • EA-048-R11-WEB-READBACK実装資料実装資料根拠の出所: IMPLEMENTATION_READBACK

    EA-048 Web body identity / canonical readback

    裏付ける内容
    canonical staging bodyのSHA-256一致とR9 canonical ledger readbackをProduction projectionの入力として検証する。
    確認日
    —
    出典・実験ID
    WEBBODY-EA0048-R8-8518DFFC
    検証箇所
    WEBBODY-EA0048-R8-8518DFFC · content/staging/EA-048.md · EA-048-R5-LEGACY-MIGRATION-20261008-R1
    適用範囲
    R9/R10 canonical readback後のProduction生成時body identity。
    出典・来歴
    CANONICAL_READBACK_BODY_HASH_MATCH
    限界
    body identity/readbackは本文claim自体の真偽や外部ソースの最新性を追加保証しない。
出典ID
COMM-041-EA0048, SRC-EA-048-URL-83E5AE1AD919, SRC-EA-048-URL-D5EA77DBFD69, SRC-EA-048-URL-3024891B2E67, SRC-EA-048-URL-526480EEC27A, SRC-EA-048-URL-DE427D5583A5, SRC-EA-048-URL-F8C632742846, SRC-EA-048-URL-2B9425B55BC4, SRC-EA-048-URL-D6D7D96C0117, SRC-EA-048-URL-84507E365477, SRC-EA-048-URL-B85DC9207D05, WEBBODY-EA0048-R8-8518DFFC
追跡中のUNKNOWN ID
EA-048-UNKNOWN-01, EA-048-UNKNOWN-CURRENTNESS
再確認のきっかけ
正式な 改訂版/publication 状態 change · 本文 成果物 hash change · 出典 現行性 change · new contradiction or 実装 結果の照合

機械検査: 通過 — 機械検査の結果です。情報の正確性や実行の承認を保証するものではありません。

    同じ記事IDの機械可読データです。