通信先の許可 / 拒否
- 変える条件
- allowedDomains / deniedDomains と要求先
- 外から見る結果
- N4でHTTP 403 / blocked-by-allowlistを観測し、CONTROL_HOLDSとしてMATCH
R7 N4: MATCH / CONTROL_HOLDS
DEMONSTRATION REGISTRY
制御条件ギャップチェック 実証台帳
成功した例だけでなく、非公開証拠の実runtime、未完了、HOLDで閉じた研究も残しています。 「実施したこと」と「公開できる証拠」と「営業で言えること」を分けて表示します。
登録
10系統
公開記録・方法論
4系統
概要公開・証拠非公開
4系統
研究
2系統
公開範囲について
「証拠非公開」「詳細非公開」の項目も、ここでは存在・結果の要旨・断定境界だけを公開します。 生ログ、ローカル環境情報、Protectedな内部手順は掲載しません。研究HOLDは合格へ読み替えません。
BLACK-BOX CONTROL CASE
Anthropic Sandbox Runtimeを、外から見ると何が「制御」なのか
対象コードは公開されています。ここでいうブラックボックス観測は「ソースが見えない」という意味ではありません。 内部実装の正しさを信頼の前提にせず、設定条件を変えた時に、どの境界で何が通り・何が止まるかを外部挙動で確かめる見方です。
01設定条件
02制御境界
03外部挙動
04比較・判定
名前解決後アドレスの防御
- 変える条件
- 許可済みhostnameがどのアドレスへ解決されるか
- 外から見る結果
- N3でHTTP 403 / blocked-by-sandbox-runtimeを観測し、CONTROL_HOLDSとしてMATCH
R7 N3: MATCH / CONTROL_HOLDS
ローカルbind
- 変える条件
- allowLocalBinding = true / false
- 外から見る結果
- N1はlocal IPC成功、N5はPermissionErrorによるbind拒否として、それぞれ期待どおりMATCH
R7 N1/N5: MATCH
ファイル書込み
- 変える条件
- allowWrite と denyWrite の重なり
- 外から見る結果
- F1は許可書込み成功、F2はPermissionErrorかつ元内容不変として、それぞれ期待どおりMATCH
R7 F1/F2: MATCH
R7実測結果
事前固定したsafe runtime 6ケースは6/6 MATCHでした。 N2の真正な非local外部作用witnessは未実行のため、NET001はUNDEFINED / PARTIALのままです。 NET002とFS001はNO_GAP_OBSERVED_FOR_DECLARED_WITNESS_SETです。
10系統の記録
C3-DEMO-BROWSER-USE-0132-LIVE
実製品runtime
Browser Use 0.13.2 — 公開ライブ実証
転送先を許可リストに入れるかどうかだけを変え、同じ比較基準で実挙動を確認した公開例です。
現在の結果
反例4 / 維持1
公開証拠あり
C3-DEMO-ANTHROPIC-ASRT-R7
実製品runtime / ブラックボックス制御観測
Anthropic Sandbox Runtime 0.0.77 — ブラックボックス制御観測
Anthropicが公開するSandbox Runtimeを、内部実装の正しさを信頼の前提にせずR7 controlled runtimeで外形観測しました。事前固定したsafe 6 witnessは6/6 MATCH、N2は未実行のまま分離しています。
現在の結果
safe 6/6 MATCH / NET001 UNDEFINED（N2 UNOBSERVED）
実runtime証拠・formal resultは非公開保管 / SHAと結果要旨を公開
C3-DEMO-CAV-0002
公開検証記録
C3-CAV-2026-0002 — 公開検証記録
対象版・確認条件・証拠束を公開記録へ結び、公開時点の配備記録までPublication Receiptで固定した参照例です。
現在の結果
Publication Receipt bound
公開証拠あり
C3-DEMO-CAV-0001
Legacy公開サンプル
C3-CAV-2026-0001 — Legacy公開サンプル
承認がない確認ケースで実行許可を出さない状態を示す公開サンプルです。旧発行形式はそのまま保持しています。
現在の結果
承認なしケースを再確認
公開証拠あり / Legacy
C3-DEMO-SYNTHETIC-6CASE-13AXIS
方法論
公開6ケース + 非公開13軸体系
六つの代表ケースを公開し、実案件では非公開13軸体系から対象に合う変化条件を選ぶ検査設計を示しています。
現在の結果
METHOD_DIFFERENCE_ONLY
公開方法論あり
C3-DEMO-N8N-PILOT000
実製品runtime
n8n Pilot #000 — Human Review DENY / APPROVE
標準Human Reviewを通る実runtimeで、DENY時とAPPROVE時のTool実行差を観測した内部パイロットです。
現在の結果
FROZEN_CORRECTED
証拠は非公開 / 要旨のみ公開
C3-DEMO-N8N-PILOT001
実製品runtime
n8n Pilot #001 — Re-Gate診断
複数Tool要求時の再承認とHuman Reviewで見える情報を調べた内部診断です。未完了の確認をPASS/FAILへ寄せずに残しています。
現在の結果
C-03A UNOBSERVED
証拠は非公開 / 未完了を保持
C3-DEMO-BROWSER-USE-0132-INTERNAL-RESEARCH
支援研究
Browser Use 0.13.2 — 内部研究レーン
Source-only、Replay、Boundary候補、伝播条件などを段階的に検討し、公開ライブ実証の確認条件を絞り込んだ内部研究レーンです。
現在の結果
公開ライブ実証を支える内部研究
支援証拠 / 技術詳細は非公開
C3-DEMO-SPA-COMPARE-004
研究ベンチマーク
SPA Comparison 004 — 24 synthetic tasks
24の合成課題でSPA候補と事前選択した比較方法を比べました。平均改善は観測しましたが、事前基準には届かなかった研究記録です。
現在の結果
NOT_ESTABLISHED_FOR_DECLARED_BENCHMARK
研究closeout / PASS昇格なし
C3-DEMO-SPA-EXTERNAL-VALIDATION-P2
外部妥当性研究
SPA External Validation Phase 2
固定した表現と条件でシミュレータReplayを行い、再現性は確認できましたが、境界例不足と性能条件未達のためHOLDで閉じた研究です。
現在の結果
SPA_UNRESOLVED / HOLD
研究closeout / HOLD
この台帳が意味しないこと
登録数は顧客案件数ではありません。公開サンプル、内部runtime、方法論、研究を同じ「実証系統」の単位で整理した台帳です。 また、HOLD・UNOBSERVED・NOT_ESTABLISHEDを安全性や性能のPASSへ読み替えません。