Q-Ledger：正規の定義

Q-Ledger

本ページは、解釈ガバナンスのコーパスにおけるQ-Ledgerの正規の定義である。

Q-Ledgerとは、観察とアテステーションを混同することなく、ガバナンスサーフェスに関する日付つきの観察を記録するための、弱い、マシンファーストの観測台帳である。

簡潔な定義

Q-Ledgerは、観察されたガバナンスシグナルの構造化された台帳である。マシンファーストアーティファクト、ルート、応答サーフェス、またはガバナンスのエントリーポイントが、宣言された期間内に利用可能であった、観察された、参照された、変更された、あるいは欠落していたことを記録できる。

その役割は、意図的に控えめなものである。Q-Ledgerは、システムがカノンを理解したことを証明しない。コンプライアンスを認証することもない。観察可能な継続性を保存し、その後の可観測性、指標、監査、修正の作業が逸話から出発しないようにする。

重要である理由

解釈されるウェブでは、失敗の多くが時間に関わるものである。あるファイルは存在していたが、のちに削除された。あるルートは利用可能だったが、参照されなかった。あるポリシーは変更されたが、古い出力が流通し続けた。ある修正は公開されたが、その効果を日付で特定できなくなった。

Q-Ledgerは、こうした出来事に記憶を与える。可観測性と監査可能性のための、弱い証拠基盤をつくり出す。

Q-Ledgerが記録できるもの

Q-Ledgerのエントリーは、次のものを記録できる。

• 観察されたサーフェスまたはルート
• 観察のタイムスタンプ
• 観察されたステータス
• そのサーフェスに期待されるガバナンス上の役割
• 利用可能な場合は、バージョン、ハッシュ、またはスナップショットの参照
• 観察が直接のものか、推論されたものか、外部から報告されたものか
• 観察の限界
• その後の修正、監査、または指標との関係

台帳は、観察があとから誇張されるのを防ぐのに十分な文脈を保存しなければならない。

Q-Ledgerではないもの

Q-Ledgerは、忠実性の証明ではない。法的なアテステーションでもない。AIシステムがあるファイルを使用したことの保証でもない。オーディエンス、順位、トラフィックを測定する分析ツールでもない。

それは、規律ある観察レイヤーである。その強みは、観察した以上のことを主張するのを拒む点から生まれる。

よくある失敗モード

• 観察を認証として扱うこと
• バージョンや日付を保存せずにサーフェスを記録すること
• 外部からの主張と直接の観察を区別せずに混ぜ合わせること
• 台帳を用いて、モデルがコンプライアンスを満たしていることを暗示すること
• 不完全または曖昧な観察からQ-Metricsを導き出すこと
• ファイルの欠落やルートの破損といった否定的な観察を記録しないこと

Q-Metricsとの関係

Q-Metricsは、Q-Ledgerから導き出される。指標は、エントリーポイントの継続性、逸脱率、鮮度、断絶、シーケンス忠実性を記述できるが、台帳の証拠としての限界をそのまま引き継ぐ。

台帳が弱ければ、指標も弱い。この依存関係が、測定を誠実に保つ。

証拠レイヤーとの関係

Q-Ledgerは証拠レイヤーの内部に位置する。観察の記憶を提供するが、再構成可能な証拠、解釈トレース、忠実性の証明に取って代わるものではない。

運用上のルール

Q-Ledgerの各エントリーは、何が観察されたか、いつ観察されたか、何が観察されなかったか、そしてそのエントリーからどのような結論を引き出してはならないかを明示すべきである。

関連する正規の定義

• 証拠レイヤー
• Q-Metrics
• 解釈の可観測性
• 解釈の監査可能性
• 再構成可能な証拠

読み方のルール

Q-Ledgerは、解釈を観察可能な証拠に結びつけるために用いる。その目的は、再構成、比較、監視、異議申立て、修正が可能なものと、単にもっともらしいだけのものとを区別することにある。

確認すべき点

• 観察に、トレース、ソース、タイムスタンプ、モデルの文脈、または再現可能な条件があるかどうか。
• 証拠が、なされている主張そのものを裏づけているかどうか。
• 同じ出力を、システム、プロンプト、バージョン、リトリーバル経路の間で比較できるかどうか。
• その結果が修正を支えるものか、それとも一回限りの症状を記述するにすぎないのか。

実践上の境界

この概念を、確実性へと膨らませてはならない。証拠は、部分的、弱い、局所的、または暫定的でありうる。その役割は、次の判断を導くのに十分なほど、解釈を監査可能にすることにある。