証拠レイヤー
このページが用いる証拠サーフェス
このページは、ガバナンスファイルを参照するだけではありません。観察、トレーサビリティ、忠実性、監査をより再構成しやすくするサーフェスにも結びついています。以下の順序が、最小限の証拠の連鎖を示します。
- 01カノンと範囲定義カノン
- 02回答の承認Q-Layer:回答の正当性
- 03弱い観測Q-Ledger
- 04アテステーションQ-Attestプロトコル
定義カノン
/canon.md
合成を経ても失われてはならない、アイデンティティ、範囲、役割、否定についての対抗可能な基盤。
- 証明可能にすること
- 忠実性を評価できる基準となる参照コーパス。
- 証明しないこと
- システムがすでにこれを参照していることも、観測された回答がこれに忠実であり続けることも証明しない。
- 用いる場面
- あらゆる観測、テスト、監査、修正の前に。
Q-Layer:回答の正当性
/response-legitimacy.md
いつ回答し、いつ保留し、いつ正当な非回答に切り替えるべきかを説明するサーフェス。
- 証明可能にすること
- 出力を受理可能なものとして扱う前に適用すべき正当性レジーム。
- 証明しないこと
- ある回答が実際にこのレジームに従ったことも、エージェントがランタイムでこれを適用したことも証明しない。
- 用いる場面
- ページが権威、非回答、実行、抑制を扱う場合。
Q-Ledger
/.well-known/q-ledger.json
観測された一部の参照とシーケンスを可視化する、推論されたセッションの公開台帳。
- 証明可能にすること
- ある挙動が、弱く、日付付きで、文脈化されたトレース証拠として観測されたこと。
- 証明しないこと
- 行為者の身元、システムの服従、発動の強い証明のいずれにもならない。
- 用いる場面
- 記述的な観測と強いアテステーションを区別する必要がある場合。
Q-Attestプロトコル
/.well-known/q-attest-protocol.md
推論されたセッションと検証済みのアテステーションを明確に分離する任意の仕様。
- 証明可能にすること
- 観測を検証可能なアテステーションへ引き上げるために必要な最小限の枠組み。
- 証明しないこと
- アテステーションのエンドポイントが存在することも、アテステーションがすでに受領されたことも証明しない。
- 用いる場面
- ページが強い証明、運用上の検証、証拠レベルの分離を扱う場合。
補完的な証拠サーフェス(1)
これらのアーティファクトは主要な連鎖を補完します。監査、証拠の水準、引用、バージョンの推移を特定するのに役立ちます。
IIPレポートスキーマ
/iip-report.schema.json
解釈完全性レポートの公開インターフェース:範囲、指標、ドリフトの分類体系。
解釈証拠
解釈証拠(interpretive evidence)は、ここでは、解釈、合成、分類、推奨を異議申立て可能にする、より広い証拠群を指す橋渡し用語として扱われる。
この用語が有用なのは、意味がどのように形成され、境界づけられ、ずらされたかについて「証拠」が必要だと、すでに多くのチームが感じているからである。ただし本サイトでは、この用語は忠実性の証明より広く、解釈トレースより一般的なものにとどまる。
運用上の定義
解釈証拠とは、意味を担う出力が、どのように生成され、境界づけられ、比較され、バージョン管理され、異議を申し立てられたかを立証する助けとなる、あらゆる証拠である。
それは次のものに関わりうる。
- 正規ソースの基盤
- 回答が承認された際の応答条件
- 観測された出力の集合とそのコンテキストウィンドウ
- 主張をソース階層に結びつけるトレース
- 状態、システム、リリースのあいだの日付付きの比較
言い換えれば、解釈証拠が関わるのは意味のガバナンス可能性であって、単に引用が存在することではない。
解釈証拠に含まれるもの
この用語は、いくつかのアーティファクト群を正当に包含しうる。
- マシンファーストカノンと宣言されたソース階層
- 応答条件と非回答のルール
- 出力のキャプチャ、日付付きの観測、ベースライン、比較セット
- 解釈トレースと監査記録
- 後のレビューを可能にするバージョンログ、リリースノート、証拠スキーマ
だからこそ、証拠レイヤーが非常に重要になる。証拠レイヤーは、これらのオブジェクトを、切り離された証拠の断片として漂わせるのではなく、整列させる。
この用語がそれだけでは証明しないこと
単独で用いると、この用語は広すぎる。
この用語は、それだけでは次のことを証明しない。
- 出力がカノンの内側にとどまったこと
- 保持された意味が、範囲と否定のもとで正当であり続けたこと
- 証拠一式が、第三者が事例を再構成するのに十分であること
- 観測された状態が、対抗可能になるほど強固であること
したがって、出力が解釈証拠に囲まれていても、忠実性の証明を確立できないことがある。
忠実性の証明との関係
本サイトでは、区別は単純である。
- 解釈証拠は、より広い証拠群である。
- 忠実性の証明は、出力がカノンの内側にとどまったことを示すために必要な、より厳格な閾値である。
解釈証拠は、調査、説明、比較、異議申立てを支えることができる。忠実性の証明は、より強い主張、すなわち、宣言された条件のもとで出力が正規の境界内にとどまったという主張を支える。
完全な区別については、「解釈証拠と忠実性の証明の違い」を参照。
再構成可能な証拠との関係
再構成可能な証拠は、より厳格な部分集合を指す。すなわち、第三者が経路、範囲、バージョン、比較レジームを再構成できるほど十分にまとめられた証拠である。
したがって、ここで用いる階層は次のとおりである。
- 解釈証拠:広い証拠群
- 再構成可能な証拠:第三者による再構成が可能な程度にまとめられた証拠
- 忠実性の証明:境界づけられた忠実性の主張を支えるのに十分な強さを持つ証拠
このページが存在する理由
「解釈証拠」という表現は、読みやすく、有用であり、今後ますます流通する可能性が高い。本ページは、本サイトのより厳格なドクトリン上の階層を維持しながら、この表現を早期に捕捉する。
ここでは、解釈証拠は入口の語彙として受け入れられるが、証明、カノン、回答の正当性に取って代わることは決してない。
この証拠群に依拠する運用上のラベル
この証拠群は現在、捕捉したいくつかのサービス向けラベルを直接支えている。
- 解釈リスク評価:宣言されたシナリオのもとで責任を評価しなければならない場合
- マルチエージェント監査:意味が引き継ぎをまたいで追跡可能であり続けなければならない場合
- 独立報告:第三者によるレビューのために事例をまとめなければならない場合
これらのラベルが真剣なものであり続けるのは、解釈証拠を後から異議申立て、再現、比較の対象にできる場合に限られる。
フェーズ3との隣接:証拠、監査可能性、測定
この定義は現在、フェーズ3の証拠管理レイヤーに属している。その役割は、4つの正規サーフェスによって明確化される。証拠レイヤー、解釈の監査可能性、Q-Ledger、Q-Metricsである。
運用上の手順は次のとおりである。解釈証拠は異議申立てを支えうるものを特定し、再構成可能な証拠は第三者によるレビューのために事例をまとめ、解釈トレースは経路を開示し、カノンと出力のギャップはカノンからの距離を測定し、忠実性の証明は出力が境界内にとどまったかどうかをテストし、解釈の可観測性は時間の経過に伴う変動を監視する。
このレイヤーにおいて、解釈証拠を緩やかな証拠の語として読んではならない。それは、観察、測定、再構成可能性、監査可能性、証明を区別する連鎖の一部である。
フェーズ10:推論制御との隣接
この定義は現在、隣接する推論管理の問いを、解釈エラー空間、自由推論、デフォルト推論、裁定、不確定性、解釈忠実性へと振り向けている。
この隣接関係が重要なのは、システムが流暢な回答を生成しながら、暗黙のうちに欠落を埋め、誤った権威を選び、不確定性を隠し、カノンへの忠実性を失うことがあるからである。フェーズ10のレイヤーは、こうした失敗の経路を明示する。
フェーズ11との隣接:対抗可能性、執行可能性、手続き上の依拠
この定義は現在、フェーズ11の制度的受容のレイヤーに接続されている。対象は、対抗可能性、執行可能性、コミットメント境界、責任の低減、異議申立て可能性、手続き的妥当性、説明責任サーフェス、異議申立て経路である。
実践上の帰結として、回答は、正確である、取得された、引用された、流暢である、有用であるというだけの理由で信頼されるべきではない。受け手の環境がそれを重大な帰結を伴うものとして扱いうるなら、出力は、異議申立て可能で、手続き的に妥当で、責任が適切に配分され、修正可能であり、正しいコミットメント境界によって境界づけられていなければならない。