provability · honesty · governance

証明可能な AI に必要なのはメカニズムであり、形容詞ではない

定理 3：ある性質は、そのメカニズムが構築され計測しているときにのみ保証される。主張はその証明とともに届けられるべきであり、まだ作れていないものを正直に言える成熟度とともに。

著者 Everythink Studio team2026年8月23日2 分で読了

証明可能な AI に必要なのは機構であって、形容詞ではない

ある AI ベンダーは自社製品を「責任ある」「信頼できる」「監査可能」と呼ぶ。それらは形容詞だ。ある属性は、その背後にある機構が構築され測定しているときにのみ保証される。それが我々の概観論文における定理 3 であり、我々が自サイトのあらゆる主張に適用しているルールである。この記事は、形容詞がなぜ失敗するか、本物の機構がどう見えるか、そして買い手が出荷済みのものと約束されたものを区別できるように我々が自らの主張にどうラベルを付けているかを説明する。

The Honest Architect

定理 3：ある属性は、その機構が実装され測定しているときにのみ保証される。機構のない主張はマーケティングである（Everythink、21編の学術論文シリーズ、2026）。

2028年までに、Gartnerはエンタープライズ・セキュリティ侵害の25%がAIエージェントの悪用に起因すると予測している。エージェントは2024年のエンタープライズソフトウェアの1%未満から33%へと移行する（Holistic AI、「AI Agents are Changing Business」、2025）。

我々は製品のあらゆる主張に Production ✅、Partial ⚠️、Roadmap 🔵 のタグを付け、状態を完成して見せるために昇格させることは決してない。

形容詞が失敗し、機構が成功するのはなぜか？

KPMG とクイーンズランド大学の2023年の報告書は、AIの利益がリスクを上回ると信じるのは2人に1人だけであると見出した（Holistic AI、「Three Key Reasons Your Organisation Needs Responsible AI」、2023）。「責任ある」「信頼できる」といった形容詞はその数字を動かさない。機構は動かす。機構は検査でき、言葉はできないからだ。

[UNIQUE INSIGHT] 定理 3 はルールを率直に述べる：ある属性は、その機構が実装され測定しているときにのみ保証される。これを買い手のテストとして読みなさい。ベンダーが「監査可能」と言うとき、3つの問いを立てよ。監査機構は構築されているか？それは能動的に測定しているか？エージェントはそれを切れるか？どれか一つでも答えが「いいえ」なら、保証は存在せず、形容詞は装飾にすぎない。

形容詞は試験のない約束だ。「監査可能」は、監査ログが存在するか、誰が書くか、改ざん耐性があるか、誰かが読むかを何も伝えない。機構は指し示せるものだ：リクエスト分類器、承認ゲート、追加専用のトレースストア。KPMGのデータが重要なのは、信頼が導入への入力であり、導入が価値への入力だからだ。買い手の半数しか利益がリスクを上回ると信じないなら、形容詞はその唯一の仕事で既に失敗している。

だから我々は定理 3 を文章作成ではなく工学として扱う。その代償は、ロードマップ項目を「出荷済み」と呼べなくなることであり、その節約は、後になって広告した機能が存在しなかった理由を説明するコストを免れることだ。同じルールがこの記事の数字を支配する：すべての外部数値はその発行元、タイトル、URLを伴い、自社製品に関するすべての主張はその現実の状態を伴う。

構築され測定している機構はどう見えるか？

2026年3月、Marktechpost は OpenClaw エージェントゲートウェイをガバナンス層で包むコードチュートリアルを公開した——リクエスト分類、人間の承認、そして JSON-lines のトレースストア——により、ガバナンス層が明示的に許可しない限りアクションが実行されたとは主張されないようにする（Marktechpost、「A Coding Implementation to Design an Enterprise AI Governance System Using OpenClaw Gateway…」、2026）。それは機構であり、スローガンではない。

チュートリアルのパターンは示唆に富む。各ピースが動詞だからだ。classify_request はリスク語彙により入力リクエストを緑、琥珀、赤にラベル付けする——「wire money」「run shell」「exfiltrate」は赤、「email」「invoice」「modify」は琥珀に着く。simulated_human_approval は琥珀と赤をレビュアーの背後に留め、デモでは赤は即座に拒否される。TraceStore.append は分類、承認、実行、ブロックの各ステージにつき1イベントを JSON-lines ファイルに書き、後で再再生できる。システムプロンプト自身がルールを担う：「Never claim an action has been executed unless the governance layer explicitly allows it.」

エージェントは自己規律を信頼されない；ガバナンス層がそれを規律する。その分離が全ての要点だ。分類器を外せば、あらゆるリクエストに対して行動するエージェントが残る。トレースストアを外せば、行動が記録を残さないエージェントが残る。分離を外せば、エージェントは自らのガードレールを無効化できる。各ピースは荷重を担っている。

これを定理 3 と対比せよ。OpenClaw チュートリアルの機構は定理が要求する3つの属性を持つ：構築されている（実行可能な現実の Python）、測定している（各ステージでトレースイベントが書かれる）、分離可能である（エージェントはガバナンス層を切れない）。追加専用で改ざん耐性のあるストアを伴わない「我々は行動を記録する」という主張は、同じ機構ではない——それは運用者が編集できるログであり、つまり監査機構ではまったくない。

監査は主張をどのように証拠に変えるか？

AI 監査は、Holistic AI が2022年12月に定義したところでは、「アルゴリズムの安全性、合法性、倫理を評価し、緩和し、保証する実践」であり、Triage、Assessment、Mitigation、Assurance の4段階と、バイアスと説明可能性を含む5つの評価縦軸を伴う（Holistic AI、「What is AI Auditing?」、2022）。監査はベンダーの形容詞を、買い手が秤量できる証拠へと変える。

4つの段階が機構である。Triage は文脈により固有のリスクを割り当てる——融資スコアリング・モデルとチャットボットは同じリスククラスではない。Assessment は5つの縦軸でシステムを採点する：有効性（仕事を成すか）、堅牢性と安全性（安全に失敗するか）、バイアス（サブグループを公正に扱うか）、説明可能性（人間が決定を追えるか）、アルゴリズムのプライバシー（個人データを管理するか）。Mitigation は変更を提案する。Assurance は標準に対する適合を宣言し、時に未解決の修正を条件付きで行う。

縦軸が重要なのは、それが各リスクに名前を強要するからだ。「公正である」ではなく「ここにバイアス測定とそれがカバーするサブグループがある」。「説明可能である」ではなく「ここに文書と人間が読める理由がある」。Holistic AI は100以上のプロジェクトを監査し、この領域で50以上の論文を発表したと報告している——その量は、方法が1社のデックに特注ではなく再利用可能であることを示唆する。

[PERSONAL EXPERIENCE] 我々は類似の規律を自サイトに適用する。各機能はその現実の成熟度状態と背後の機構を伴う。HAI 会話エンジンは Production ✅ である。なぜならエンジンは2016年から本番で稼働しているからであり、ランディングページに「production-grade」と書いたからではない。Matchmaking は Partial ⚠️ である。トポロジーを考慮した接続層は機能するが完成していないからだ。ウォレットと community credit は Roadmap 🔵 である。設計されているが構築されていないからだ。監査の縦軸が語彙を与え、状態タグが正直さを与える。

なぜ「assurance」は動詞であり、バッジではないのか？

AI Assurance は、Holistic AI が2024年6月に定義したところでは、「システムが所定の標準、慣行、規制に適合していることを宣言するプロセス」であり、透明性、責任、信頼性の上に構築される（Holistic AI、「What is AI Assurance?」、2024）。「プロセス」という言葉が仕事をしている：assurance は繰り返し行うものであり、一度得る印章ではない。

3つの構成要素は動詞に展開される。透明性：データソース、モデル・アーキテクチャ、訓練プロセスを文書化し、その文書をアクセス可能にする。責任：結果に対して誰が責任を負うかを明示し、インシデント対応計画を公表する。信頼性：時間とともに性能を監視し、ドリフト時に誤りを修正する。Holistic AI は、MIT Sloan Management Review に記録された Unilever の assurance の旅を、ガバナンス、テスト、継続的モニタリングが一回限りの認証としてではなく一緒に適用された事例として引用する。教訓は移転可能だ：バッジは発行の翌日に期限切れになる；プロセスは稼働しているか、いないかである。

だから我々は定理 3 をキャッチフレーズではなく定理として公表する。定理は証明の付いた主張であり、証明は他人が検査できる機構である。キャッチフレーズは期限の付いた主張だ——買い手がその隔たりに気づく日が。

[ORIGINAL DATA] 我々自身の assurance 主張の裏付けは、検証済み DOI を伴う21編の学術論文シリーズ（P-A1 から P-E1）であり、マルチテナント分離から防御的脅威モデルまでをカバーする。それが「Everythink is honest by design」という文章の背後にある機構である。論文を外せば文章は形容詞になり、論文を残せば文章はポインタになる。Holistic AI が指摘するように、EU AI Act は不適合に対して最大4000万ユーロまたは全世界売上の7%の罰金を課すことができる——assurance を気遣いから貸借対照表の項目へと再枠付けする数字だ。稼働中で書証の伴うプロセスこそが、ベンダーとその罰金の間に立つものだ。

主張の現実の状態にラベルを付けることは何をコストし、何を節約するか？

Gartner は2028年までに、エンタープライズ侵害の25%が AI エージェントの悪用に追溯到ると予測し、エンタープライズソフトウェアの33%がアジェンティック AI を統合すると予測する。2024年は1%未満だった（Holistic AI、「AI Agents are Changing Business」、2025）。エージェントが助言ではなく行動するにつれ、「出荷済み」と「計画済み」の隔たりは単なるマーケティングの隔たりではなく、セキュリティの隔たりとなる。現実の状態にラベルを付けることがその隔たりを閉じる。

ラベル付けのコストは、販売の会話で「いいえ、それはまだ構築されていません」と言うことだ。節約は：ロードマップ項目を完成したかのように出荷せず、存在しない機能を信じた買い手に由来する侵害を引き継がないことだ。Holistic AI に引用された McKinsey は、役員の92%が今後3年間に AI 投資を増やす計画で、55%が少なくとも10%の増加を見込むと見出した。その資本は能力を追っており、それを勝ち取るベンダーは、主張が買い手の定理 3 のテストに耐える者となる。

今日我々が自らの主張をどうマッピングするかを示す。Production ✅——HAI 会話エンジン（2016年から本番稼働）、Social、Campaigns、Whitelabel Network。Partial ⚠️——Matchmaking、Marketplace、Calendar、それぞれ有用だが不完全。Roadmap 🔵——Wallet & Token、Super App、Community Credit、すべて収益前、未実装、かつローンチ前に Howey 分析の対象。ウォレット、トークン、community credit の層には何も稼働しておらず、ここには何も金融、投資、法的助言ではない。

システムを一緒に保持するルールは単純だ：Roadmap 項目が静かに Production へ昇格されることは決してない。これは工学としての過激な正直さである——機構（状態タグと changelog）と測定（各状態が変化した日付）を伴う書面方針だ。Holistic AI のガバナンス枠組みはこれを責任と呼ぶ；我々は書証を伴って真実を語ると呼ぶだけだ。

よくある質問

平易な言葉で定理 3 とは何か？

ある属性——安全性、監査可能性、プライバシー——は、その背後の機構が構築されかつ能動的に測定しているときにのみ保証される。機構のない主張はマーケティングであり、測定していない機構は草稿である。我々はそれを、未完成のものを含めて列挙するすべての機能に適用する。

なぜ Everythink は主張を Production、Partial、Roadmap でラベル付けるのか？

買い手は形容詞を検証できないが、状態は検証できるからだ。Production ✅ は機構が構築され測定していることを意味する。Partial ⚠️ は機能するが不完全であることを意味する。Roadmap 🔵 は設計されており、出荷されていないことを意味する。我々は状態を完成して見せるために昇格させることは決してなく、各遷移を記録する changelog を公表する。

ウォレットや community credit は稼働しているか？

いいえ。ネットワークごとのトークン、ウォレット、community credit は Roadmap 🔵 である——収益前、未実装、かつローンチ前に Howey 分析の対象。その層には今日何も稼働しておらず、このサイトの何も金融、投資、法的助言ではない。

これは通常の AI ベンダーの「responsible AI」ページとどう違うのか？

ベンダーのページは形容詞を主張する。我々のページは機構を指し示す——発表論文の中の定理、各機能の状態タグ、検証済み DOI を伴う21編の論文シリーズ——そして未構築のものにラベルを付ける。違いは検証可能である：証明を求めることができ、証明は存在するかしないかである。

これは Everythink が構築するものを制限するか？

はい。市民および防御部門は、はい。攻撃的または標的化応用は、いいえ。それは書面方針であり、定理 3 が適用される：境界は機構（拒否された契約と公表された範囲の制限）であり、感情ではない。

定理 3 は我々が選んだスローガンではない；我々が受け入れる制約である。その代償はロードマップ項目を「出荷済み」と呼べなくなることであり、その節約は後になって広告した機能が存在しなかった理由を説明するコストを免れることだ。同じルールがこの記事を支配する：すべての外部数値はその発行元、タイトル、URLを伴い、自社製品に関するすべての主張はその現実の状態を伴う。形容詞ではなく機構を見たいなら、論文を読むか、デモを予約する。