どのサンドボックスがテストされていますか？

sandbox-runtime 0.0.79、nono 0.80.0、Codex CLI 0.162.1、landrunがLinux（kernel 6.8）で測定されている。landrunは純粋なLandlock（MIT）だ。

テスト結果はどこで見られますか？

results/2026-10-15/に最初の結果があり、sandboxes/にサンドボックスごとのページがある。生の証拠と比較表もresults/に公開されている。

誰でも契約を追加できますか？

はい、CONTRIBUTING.mdに従って契約やアダプターを追加できる。サンドボックスの追加はrunner/adapters/に1つのアダプターモジュールを置くだけで、エンジンと契約は変更不要だ。

AIコーディングAI安全性・アラインメントオープンソースAIHacker News16時間前2026年10月28日 13:00

TartarOS作者がサンドボックス検証ラボ公開

LINEで送る

3つのポイント

何が起きたか
TartarOSの作者が、AIコーディングエージェント向けサンドボックスの「キーを読めない」「ネットワークに届かない」といった主張を実行可能な契約に変換し、結果を公開するリポジトリを公開した。
なぜ重要か
サンドボックスのセキュリティ主張を同一テストで比較できるようになり、利用企業が証拠に基づいて選定できるようになる。

わからないところ、AIに聞けます

質問と回答はこのページに公開されます。

こういう要約が、毎朝あなたのメールに届きます。

こうしたAIニュースを毎朝無料で受け取る LINEで友だち追加して受け取る

背景と解説

この実験室は、サンドボックスが「エージェントはキーを読めない」と主張しても、その主張を検証する共通の方法がなかったという問題に対処する。契約は攻撃（エージェントがやってはいけないこと）、制御（正当な作業が継続できること）、効果（ディスクや通信で事後確認する内容）の3部構成で、結果が単なるエラーではないことを保証する。コーパスはバージョン管理され、v1.1は196契約をsandbox-runtime、nono、Codex、Deno、bubblewrap、OpenHandsの公開テストスイートから収集した。作者はTartarOSの作者であり、TartarOS自体も測定対象に含まれているため、その列は利益相反を踏まえて読む必要がある。2026-10-15の初回結果ではsandbox-runtime 0.0.79、nono 0.80.0、Codex CLI 0.162.1がLinux（kernel 6.8）で測定され、その後landrunも追加された。2026-10-21にはsandbox-runtime 0.0.81とCodex CLI 0.163.0を測定し、2026-10-22にはTartarOS 0.1.0-alpha.10を追加、さらにalpha.11では[broker]契約を初めて測定した。2026-10-26にはTartarOS 0.1.0-alpha.16とsandbox-runtime 0.0.81を6つのマスク済み資格情報契約で測定し、両者ともLinux上で6つすべてを封じ込めた。次の課題はmacOSでの実行と、他のサンドボックスのテストスイートからのコーパス収集だ。

よくある質問

どのサンドボックスがテストされていますか？: sandbox-runtime 0.0.79、nono 0.80.0、Codex CLI 0.162.1、landrunがLinux（kernel 6.8）で測定されている。landrunは純粋なLandlock（MIT）だ。
テスト結果はどこで見られますか？: results/2026-10-15/に最初の結果があり、sandboxes/にサンドボックスごとのページがある。生の証拠と比較表もresults/に公開されている。
誰でも契約を追加できますか？: はい、CONTRIBUTING.mdに従って契約やアダプターを追加できる。サンドボックスの追加はrunner/adapters/に1つのアダプターモジュールを置くだけで、エンジンと契約は変更不要だ。

Hacker News元記事を読む

LINEで送る