用語集：証明、監査、可観測性
この用語群は、AIシステムが生成した解釈を、ガバナンス可能な対象、すなわち追跡可能で、測定可能で、監査可能で、時間を通じて安定化しうる対象へと変える概念をまとめたものである。ここでの課題は、「もっともらしい」回答を生成することではなく、カノンへの忠実性を立証し、比較し、維持できる回答を生成することである。
各項目は、正規の定義、フレームワーク（該当する場合）、関連ページ（ドクトリン、明確化、方法論）を指し示す。
クイックアクセス
「証明、監査、可観測性」用語群の用語
解釈完全性監査
AIが生成した解釈が、カノン、推論のペリメーター、対抗可能な応答条件を尊重しているかどうかを評価するための枠組みである。
忠実性の証明
AIシステムの出力が、単なるサーフェス整合性にとどまらず、カノンに忠実であることを立証するための、立証的なアーティファクトまたはシグナルである。
- 定義：忠実性の証明
- フレームワーク：引用、推論、歪曲：証明が統御されなければならない理由
解釈トレース
回答がなぜ生成されたのかを理解し、回答の「スタイル」に依存することなくそれを検証できるようにする、最小限の痕跡（ソース、ルール、文脈）である。
カノンと出力のギャップ
モデルが示す確信度の水準とは無関係に、宣言された真実（カノン）と再現された真実（出力）のあいだの歪みを測定するものである。
- 定義：カノンと出力のギャップ
- ドクトリン上の枠組み：歪曲と推論の違い
解釈の可観測性
時間を通じた解釈の安定性を計測できるようにする能力である。個別の事例を論じるのではなく、ドリフト、退行、ギャップを測定する。
- 定義：解釈の可観測性
- ドクトリン：解釈の可観測性：安定性を測る
- フレームワーク：解釈の可観測性：指標、ログ、証拠
- Q-Layer：Q-MetricsとQ-Ledger
バージョン支配力
解釈の修正はソフトウェアのように保守され、バージョン管理されなければならないという原則である。バージョンの規律がなければ、修正は後退し、曖昧さが再び定着する。
- 定義：バージョン支配力
- ドクトリン：AIが解釈するウェブにおけるバージョン支配力
関連する枠組みとページ（推奨）
前のページ：用語集：カノン、権威、非回答
次のページ：用語集：捕捉、汚染、衝突
関連項目
フェーズ3の正規シーケンス
フェーズ3は、この用語群をより厳密な正規シーケンスへと変える。
- 解釈証拠は、証拠に関わる広い系列を特定する。
- 再構成可能な証拠は、第三者によるレビューのためにケースをまとめる。
- 解釈トレースは、ソースから出力までの経路を明らかにする。
- カノンと出力のギャップは、カノンに対する歪みを測定する。
- 忠実性の証明は、回答がカノンの内側にとどまったかどうかを検証する。
- 解釈の可観測性は、時間を通じた変動を追跡する。
- 解釈の監査可能性は、そのケースを検証し、異議を申し立てることができるかどうかを判断する。
- 証拠レイヤーは、アーティファクトと立証のレベルを組み立てる。
- Q-Ledgerは、弱い観察を記録する。
- Q-Metricsは、それらの観察から記述的な指標を導き出す。
この用語群は現在、指標のインフレを防ぐように組織されている。測定レイヤーは証明を支えることはできるが、トレース、再構成可能性、忠実性の証明に取って代わることはできない。
フェーズ10のルーティングレイヤー：推論、裁定、不確定性、忠実性
このページは現在、推論の制御に関する問いを、フェーズ10の正規レイヤー、すなわち解釈エラー空間、自由推論、デフォルト推論、裁定、不確定性、解釈忠実性へとルーティングする。
ルーティングのルールは明快である。もっともらしい補完を正当な解釈として扱ってはならない。回答は、主張、推奨、行動を統御する前に、不確定性を明示し、承認されていない推論を阻止し、衝突を裁定し、忠実性を保たなければならない。
フェーズ13のルーティングレイヤー：サービス監査と市場の入口
フェーズ13は、監査の需要に向けたサービス指向のルーティングレイヤーを追加する。対象は、LLM可視性監査、AI回答監査、AIブランド表現監査、表現ギャップ監査、AI引用分析、AIソースマッピング、比較監査、ドリフト検出、ローンチ前の意味分析、解釈リスク評価、独立報告である。
これらの用語は、市場の入口として扱わなければならない。これらは現実の需要を捉え、そのうえで作業を、カノン、ソース階層、証拠、回答の正当性、監査可能性、修正の解消へとルーティングする。
この用語群の読み方
この用語群は、証拠レイヤーを定義する。システムが断言することと、再構成し、異議を申し立て、監査できることとを切り分ける。引用だけでは足りない。正しく見える回答だけでも足りない。問われるのは、カノンと出力のあいだの経路を点検できるかどうか、そして異議が申し立てられた場合に出力を擁護できるかどうかである。
これらの用語は一つのチェーンを形成する。解釈証拠は、忠実性に関わる素材を特定する。再構成可能な証拠は、経路を点検可能にする。解釈トレースは、回答の形成を記録する。カノンと出力のギャップは、ソースとの立証された不整合を特徴づける。忠実性の証明は、回答がカノンの内側にとどまったかどうかを問う。
典型的な混同
主な誤りは、引用と証明を混同することである。システムはソースを引用しながら、それを歪めたり、不当に拡張したり、平滑化したり、他の素材と組み合わせたり、その権威を超えて用いたりすることがありうる。証明には、ソース、推論、境界、回答のあいだの関係が再構成可能であることが求められる。
もう一つの誤りは、可観測性を完全な監査可能性として扱うことである。可観測性はシグナル、すなわち出力、パターン、引用、ドリフト、省略、不整合を与える。監査可能性には、出力がどのように生成されたか、そしてなぜそれを受け入れるべきか、あるいは受け入れるべきでないかを再構成する、より規律ある能力が求められる。
監査とルーティングにおける用途
この用語群は、もっともらしさでは不十分なほど回答が重要な場合に役立つ。とりわけ、組織としての主張、サービスの説明、コンプライアンスに近接する回答、AIが生成した推奨、利害の大きい要約、エージェンティックなワークフローに有用である。
ルーティングにおいて、この用語群は、証拠レイヤーのページ、解釈監査、Q-Ledger、Q-Metrics、忠実性の証明のページ、観察レポートを支える。その機能は立証的なものであり、漠然とした懸念をテスト可能なギャップへと変える。