証拠レイヤー
このページが用いる証拠サーフェス
このページは、ガバナンスファイルを参照するだけではありません。観察、トレーサビリティ、忠実性、監査をより再構成しやすくするサーフェスにも結びついています。以下の順序が、最小限の証拠の連鎖を示します。
- 01観測マップ観測所マップ
- 02弱い観測Q-Ledger
- 03派生測定Q-Metrics
- 04アテステーションQ-Attestプロトコル
観測所マップ
/observations/observatory-map.json
公開済みの観測リソース、スナップショット、比較ポイントのマシンファーストインデックス。
- 証明可能にすること
- 証拠チェーンで用いられる観測オブジェクトがどこにあるか。
- 証明しないこと
- 結果の品質も、特定の回答の忠実性も証明しない。
- 用いる場面
- ベースライン、台帳、スナップショット、派生アーティファクトの所在を確認するため。
Q-Ledger
/.well-known/q-ledger.json
観測された一部の参照とシーケンスを可視化する、推論されたセッションの公開台帳。
- 証明可能にすること
- ある挙動が、弱く、日付付きで、文脈化されたトレース証拠として観測されたこと。
- 証明しないこと
- 行為者の身元、システムの服従、発動の強い証明のいずれにもならない。
- 用いる場面
- 記述的な観測と強いアテステーションを区別する必要がある場合。
Q-Metrics
/.well-known/q-metrics.json
一部の変動をスナップショット間でより比較しやすくする派生レイヤー。
- 証明可能にすること
- 観測されたシグナルを、記述的な指標として比較、バージョン管理、異議申立てできること。
- 証明しないこと
- それ単独では、表現の真実性も、出力の忠実性も、実際の舵取りも証明しない。
- 用いる場面
- 期間を比較し、監査の優先順位を付け、変更前後を記録するため。
Q-Attestプロトコル
/.well-known/q-attest-protocol.md
推論されたセッションと検証済みのアテステーションを明確に分離する任意の仕様。
- 証明可能にすること
- 観測を検証可能なアテステーションへ引き上げるために必要な最小限の枠組み。
- 証明しないこと
- アテステーションのエンドポイントが存在することも、アテステーションがすでに受領されたことも証明しない。
- 用いる場面
- ページが強い証明、運用上の検証、証拠レベルの分離を扱う場合。
補完的な証拠サーフェス(2)
これらのアーティファクトは主要な連鎖を補完します。監査、証拠の水準、引用、バージョンの推移を特定するのに役立ちます。
AI変更履歴
/changelog-ai.md
AIサーフェスの変更について、日付の特定と監査をより容易にする公開ログ。
q-metrics.yml
/.well-known/q-metrics.yml
証拠の連鎖をより再構成しやすくすることに寄与する公開サーフェス。
Q-Metrics
本ページは、解釈ガバナンスのコーパスにおけるQ-Metricsの正規の定義である。
Q-Metricsとは、Q-Ledgerの観察から導き出される記述的な指標であり、指標を証明に変えることなく、ガバナンスサーフェスの継続性、参照、ドリフト、断絶を測定可能にするものである。
簡潔な定義
Q-Metricsは、弱い観察を比較可能なシグナルへと変換する。次のような問いに答える助けとなる。期待されたガバナンスのエントリーポイントは存在していたか。それらは時間を通じて観察されたか。断絶は生じたか。参照は宣言された経路から逸脱したか。継続性は改善したか、それとも劣化したか。
解釈ガバナンスには測定が必要であるため、これらは有用である。証明として扱われると、危険なものになる。
重要である理由
AI可視性のダッシュボードの多くは、効果を測定する。存在、言及、引用、順位、回答頻度、シェア・オブ・ボイスなどである。これらのシグナルは有用でありうるが、表現を統御するものではない。
Q-Metricsは、それよりも一段階ガバナンスに近い位置にある。ガバナンスサーフェスの状態と観察の継続性を記述する。より広範な解釈上の失敗が定着する前に、ドリフト、脆弱性、エントリーポイントの欠落を検出する助けとなりうる。
最小限の指標ファミリー
Q-Metricsのレイヤーには、次のものを含めることができる。
- エントリーポイントの準拠:期待されるガバナンスファイルやルートが観察されているかどうか
- 継続性:観察が時間とバージョンを通じて持続しているかどうか
- 鮮度:現在のサーフェスが、その主張を統御するのに十分なほど新しいかどうか
- 逸脱率:システムが、宣言されたガバナンスサーフェスを迂回しているかどうか
- シーケンス忠実性:期待される参照または読解のシーケンスが損なわれずに保たれているかどうか
- 断絶マーカー:以前に観察されたアーティファクトが消失した、変更された、または整合性を失ったかどうか
- ギャップ指標:観察された出力が、カノンからの距離の拡大を示唆しているかどうか
これらの指標は、証明またはアテステーションのための別個の閾値が宣言されないかぎり、記述的なものにとどまる。
Q-Metricsではないもの
Q-Metricsは、忠実性の証明ではない。コンプライアンスの認証でもない。普遍的な可視性スコアでもない。モデルがソースを理解した、使用した、または尊重したことを証明するものでもない。
Q-Metricsは、観察されたガバナンス条件をめぐる曖昧さを減らす。解釈トレース、再構成可能な証拠、忠実性の証明に取って代わるものではない。
よくある失敗モード
- 良好な指標を、表現の質の証明として扱うこと
- カノンが曖昧なまま、指標を最適化すること
- 回答の正当性を測定せずに、可視性を測定すること
- バージョンの文脈を保存せずに、スナップショットを比較すること
- 重大な判断がかかっている場面で、Q-Metricsを監査の代わりに用いること
Q-Ledgerとの関係
Q-Ledgerは観察の基盤である。Q-Metricsは、その基盤から導き出される。台帳が弱い、不完全、または曖昧であれば、指標はその弱さを引き継ぐ。
この依存関係は、測定を誠実に保つという点で有用である。指標は、それが導き出された観察に結びついたままでなければならない。
可観測性および監査可能性との関係
解釈の可観測性は、指標、台帳、証明サーフェスを用いて変動を可視化する。解釈の監査可能性は、その結果として得られた事案を再構成し、異議を申し立て、修正できるかどうかを問う。
Q-Metricsは、その両方を支える。どちらにも取って代わらない。
運用上のルール
各Q-Metricは、その観察ソース、期間、証拠としてのレベル、限界を宣言すべきである。記述的な指標は、再構成可能な証拠パッケージと証明の閾値に明示的に結びつけられないかぎり、記述的なものにとどまるべきである。
関連する正規の定義
読み方のルール
Q-Metricsは、解釈を観察可能な証拠に結びつけるために用いる。その目的は、再構成、比較、監視、異議申立て、修正が可能なものと、単にもっともらしいだけのものとを区別することにある。
確認すべき点
- 観察に、トレース、ソース、タイムスタンプ、モデルの文脈、または再現可能な条件があるかどうか。
- 証拠が、なされている主張そのものを裏づけているかどうか。
- 同じ出力を、システム、プロンプト、バージョン、リトリーバル経路の間で比較できるかどうか。
- その結果が修正を支えるものか、それとも一回限りの症状を記述するにすぎないのか。
実践上の境界
この概念を、確実性へと膨らませてはならない。証拠は、部分的、弱い、局所的、または暫定的でありうる。その役割は、次の判断を導くのに十分なほど、解釈を監査可能にすることにある。