証拠レイヤー
このページが用いる証拠サーフェス
このページは、ガバナンスファイルを参照するだけではありません。観察、トレーサビリティ、忠実性、監査をより再構成しやすくするサーフェスにも結びついています。以下の順序が、最小限の証拠の連鎖を示します。
- 01証拠アーティファクトdoctrine-glossary.json
doctrine-glossary.json
/doctrine-glossary.json
証拠の連鎖をより再構成しやすくすることに寄与する公開サーフェス。
- 証明可能にすること
- 観察、トレース、監査、または忠実性の連鎖の一部。
- 証明しないこと
- 完全な証明でも、従うことの保証でも、暗黙の認証でもない。
- 用いる場面
- ページが自らの証拠レジームを明示する必要があるとき。
RuntimeとMCPの違い
Governed Context Runtimeは、宣言されたインテント、言語、バージョンに対応する事前コンパイル済みのパックを提供する。MCPは、ツールとリソースにアクセスするためのプロトコルである。MCPは読み取りもアクションも伝達できる。したがって、「アクションにはMCP、理解にはRuntime」という対比は絶対的にすぎる。
別個のMCPアダプターが、gautierdorval.comのインスタンス向けに読み取りツールをすでに公開している。インスタンスガイドは、提供されるプロファイルと日付付きの観測結果を示している。7月の概念提案は「提案」のステータスを維持しており、この実装の説明は2026年10月26日時点の内容に更新されている。
このRuntimeアダプターの境界は、このプロジェクトに固有のものである。書き込み、自由記述によるインテント解決、オンデマンドのパック合成、回答のスコアリングや推奨、コア内での回答生成は、いずれも行わない。Runtimeが自律的な解釈権威になることはない。これらは、MCPが課す一般的な禁止事項ではない。
公開、MCP Apps、WebMCP
正規の公開は、ソースを参照可能にする。MCPは、ツールとリソースのインターフェースを提供する。MCP Appsは、対応クライアントにおいて、それらのツールにインタラクティブなインターフェースを関連づける。WebMCPは、ブラウザ内のウェブページからツールを公開する。Runtimeは識別可能なコンテキストと完全性の検証を提供するが、これらのレイヤーのいずれにも取って代わるものではない。
パックを表示するインターフェースがあっても、モデルがそのパックを受け取った、または使用したことは立証されない。利用側は、コーパスルートを別途受け入れなければならない。ダイジェストが一致しても、真実、権威、使用権限、意味的忠実性のいずれも立証されない。受け入れは、あくまでローカルな判断である。
MCP Appsコンパニオンは、これらの別個の役割を実地に試す
ローカルのコンパニオンは、MCPを使って対応ホスト内にセレクターを表示し、続いてRuntimeの検証ツールを再利用して、架空のパック全体と、その言語、バージョン、条件、アーカイブされたソースを検査する。選択によって新しいパックが合成されることはなく、検証によってその内容がアクション権限に変わることもない。
ボタン「Have the assistant read this pack」（このパックをアシスタントに読ませる）は、検査済みの選択内容を含むメッセージを準備する。ユーザーがそれを送信すると、アシスタントはread_gcr_packを呼び出す。MCPは、ツールが返した完全なテキストを転送する。このフローはmessage.textを使用し、updateModelContext.textには依存しない。
2026年10月27日、T3は、Windows版Claude Desktop 3.6556.2.0（表示モデル：Opus 5.5 Max）において、架空のフランス語パックを対象に、ボタンから回答までのフローを完了した。読み取りでは、参照と一致する57,236バイト（UTF-8）が返された。プレビューとは切り離して確認した最終回答は、5つのリストとその11項目すべてを、追加も欠落もなく再現した。また、パックの同一性、証拠の欠落や矛盾に関する境界、アクション権限の不在も保持していた。
T3は、原因が不明のままであるT2のキャンセル後に、同じ非公開の会話を再利用した。T2では、テキストツールの実際の呼び出しは一度も発生していなかった。新たな検査、1回のクリック、1回の送信によって、T2/T3を通じて観測された唯一の読み取りが生じた。テキストによる直接読み取りの試行T1は、これとは別に成功していた。これらの試行は、信頼性の割合も、初回で成功することの保証も示すものではない。
インターフェースとパックにはフランス語版と英語版があるが、この実クライアントでの適格性確認はフランス語のみを対象とする。コンパニオンはローカルのプロトタイプにとどまり、ホスト型サービスとは別物であり、公開されたMCP Appsサービスは展開されていない。この観測は、一般的な忠実性も、ビジネス上の検証も、可視性への効果も立証しない。比較パイロットはNOT_RUNのままである。
ネイティブのupdateModelContextチャネルは、実験段階にあり、適格性確認も行われていない。2026年10月26日、旧クライアントでの2つのフローは送信後に受領確認を受け取ったが、モデルはカタログしか持っていないと報告し、パックの条件を再現しなかった。これらの観測では、失敗の箇所を特定することも、その原因を立証することもできない。新しいクライアントでの10月26日のA/B診断は、これとは別のものである。送信前にブロックされたためNOT_RUNのままであり、送信されたノンスはない。
10月27日、A/Bは、ツールの使用を禁じる指示のもとでNON_DISPONIBLEと回答した。ホストが内部リーダーを使用している場合、この指示は交絡要因となりうる。H1はそのリーダーを許可したが、同じ回答を受け取り、実際の呼び出しは観測されなかった。予測不能なノンスを隔離されたチャネルを通じて取得できれば、利用可能性を立証できる。しかし、否定的な回答は、それと対称的に内部での未配信を証明するものではない。原因は、Claude、SDK、アダプターのいずれにも帰属されていない。T3はこのチャネルを再試行しなかった。コンポーネント自体は会話を読み取らない。
保持された回答とオフライン比較を参照できる。それぞれ2、2、2、3、2項目からなる5つのリストを、ピン留めされた架空パックと厳密に比較した結果、これらのリスト内で項目の追加、欠落、重複はなかった。証拠、ソース、権限に関する境界は、別途、編集上の読解の対象となる。57,236バイトはツールの投影を表し、保持された回答は6,029バイトである。このファイル確認は、クライアントを再実行するものでも、セッションを独立に認証するものでもない。表示されたモデル名は、その内部的な同一性を保証するものではない。
ローカルフローを再現し、その限界を確認する、履歴記録にあるT3の結果。Runtimeのページは、検証とその限界を説明している。
コンテキストを選ぶ前に2つの状態を比較する
条件の削除、証拠要件の追加、ソースの変更は、コンテキストを再利用する前にレビューするに値する。コンパレーターは、同じインテントと言語について明示的に選択された2つの状態AとBについて、Aに対するBの差分を示す。
各入力は、別途受け入れられたルートのもとで、完全なスナップショットおよびアーカイブとともに検証され、その後、パックとマニフェストのスキーマに照らして妥当性が確認される。追加、削除、変更された値、順序の変更は、元のデータおよびエクスポート可能なレポートとあわせて検査できる状態に保たれる。リスト内の文を書き換えると、削除と追加が1件ずつ生じる。ルールの同一性が継続することも、意味が等価であることも想定されない。
フランス語／英語のウェブデモでは、訪問者が2つの架空の状態を選び、その差分を検査し、完全なレポートをエクスポートできる。互換性のある8つのペアは、ビルド時に完全な受け入れ処理を経て計算され、読み込み時に確認される。保持された実際の状態の診断は、オフラインで行われる。AとBは、公開の前後関係を立証しない。比較によってパックがモデルに送られることはない。T3は別個の適格性確認である。比較は、ビジネス上の利点も、回答への効果も立証しない。
これらの区別の出典：MCP Apps、Claudeが文書化しているローカルフロー、WebMCPドラフト。それらのドキュメントは仕組みを説明するものであり、このプロトタイプを保証するものではない。
MCPはモデルの回答を検証しない
MCP呼び出しは、ツールが特定のコンテキストを返したことを立証できる。しかし、モデルがその条件を保持したことや、裏付けのない主張を避けたことは立証しない。回答を評価するには、送信したメッセージ、受信した回答、エラー、適用した基準を保持する別個のプロトコルが必要である。
Runtimeの実験用ランナーは、異なる2つの自動評価者を用い、7つの架空事例に対する評価を準備する。注釈は別々に保持する。技術的な失敗を意味的に誤った回答として扱わず、評価者間の一致を真実の保証とみなさない。したがって、HTTPまたはMCPによる転送、モデルの回答、その評価は、それぞれ固有の証拠を保持する。
プロバイダー境界と評価ルールを確認する（英語） · 日付付きの実装記録を読む（英語）。上記のMCP Apps適格性確認にあるNOT_RUNは、それらの過去の試行を表し、プロバイダーを用いたキャンペーンの状態とは別のままである。
MCPによる転送は、プロバイダーの応答が受理されたことを証明しない。アダプターの修正後に保存済みのバイト列を再検証するには、別途固定した記録、費用の予約額の維持、修正した実行物の識別が必要になる。この操作はリクエストを変更せず、事前確認を科学的な結果に変えるものでもない。