証拠レイヤー
このページが用いる証拠サーフェス
このページは、ガバナンスファイルを参照するだけではありません。観察、トレーサビリティ、忠実性、監査をより再構成しやすくするサーフェスにも結びついています。以下の順序が、最小限の証拠の連鎖を示します。
- 01カノンと範囲定義カノン
- 02弱い観測Q-Ledger
- 03派生測定Q-Metrics
- 04アテステーションQ-Attestプロトコル
定義カノン
/canon.md
合成を経ても失われてはならない、アイデンティティ、範囲、役割、否定についての対抗可能な基盤。
- 証明可能にすること
- 忠実性を評価できる基準となる参照コーパス。
- 証明しないこと
- システムがすでにこれを参照していることも、観測された回答がこれに忠実であり続けることも証明しない。
- 用いる場面
- あらゆる観測、テスト、監査、修正の前に。
Q-Ledger
/.well-known/q-ledger.json
観測された一部の参照とシーケンスを可視化する、推論されたセッションの公開台帳。
- 証明可能にすること
- ある挙動が、弱く、日付付きで、文脈化されたトレース証拠として観測されたこと。
- 証明しないこと
- 行為者の身元、システムの服従、発動の強い証明のいずれにもならない。
- 用いる場面
- 記述的な観測と強いアテステーションを区別する必要がある場合。
Q-Metrics
/.well-known/q-metrics.json
一部の変動をスナップショット間でより比較しやすくする派生レイヤー。
- 証明可能にすること
- 観測されたシグナルを、記述的な指標として比較、バージョン管理、異議申立てできること。
- 証明しないこと
- それ単独では、表現の真実性も、出力の忠実性も、実際の舵取りも証明しない。
- 用いる場面
- 期間を比較し、監査の優先順位を付け、変更前後を記録するため。
Q-Attestプロトコル
/.well-known/q-attest-protocol.md
推論されたセッションと検証済みのアテステーションを明確に分離する任意の仕様。
- 証明可能にすること
- 観測を検証可能なアテステーションへ引き上げるために必要な最小限の枠組み。
- 証明しないこと
- アテステーションのエンドポイントが存在することも、アテステーションがすでに受領されたことも証明しない。
- 用いる場面
- ページが強い証明、運用上の検証、証拠レベルの分離を扱う場合。
補完的な証拠サーフェス(2)
これらのアーティファクトは主要な連鎖を補完します。監査、証拠の水準、引用、バージョンの推移を特定するのに役立ちます。
IIPレポートスキーマ
/iip-report.schema.json
解釈完全性レポートの公開インターフェース:範囲、指標、ドリフトの分類体系。
AI変更履歴
/changelog-ai.md
AIサーフェスの変更について、日付の特定と監査をより容易にする公開ログ。
再構成可能な証拠
再構成可能な証拠(reconstructable evidence)は、本サイトでは、どのコーパス、どのバージョン、どの範囲、どの比較レジームのもとで何が起きたのかを第三者が再構成できるほど十分に整理された証拠を指す、橋渡しの用語として扱われる。
この言葉が重要なのは、多くのチームが単に証拠を必要としているだけではないからである。チームが必要としているのは、引き継ぎ、異議申立て、監査、のちのレビューに耐えうる証拠である。
運用上の定義
証拠が再構成可能になるのは、外部の読み手が、報告された状態の背後にある本質的な連鎖を、十分な厳密さをもって復元できるときである。
- どのコーパスまたはソースの集合が範囲に含まれていたか
- どの権威の階層が適用されていたか
- どの問いのクラス、シナリオ、または期間がその観察を生み出したか
- その時点で、どのバージョンの状態が有効であったか
- 何が観察され、比較され、または評価されたか
したがって、再構成可能性が関わるのは、記録が存在することだけではなく、整理、継続性、レビュー可能性である。
最小限の構成要素
再構成可能な証拠のパッケージには、通常、次のものが必要である。
- 日付つきのソースのペリメーター
- 宣言された権威の階層、または正規の拠りどころ
- 解釈トレース、またはそれに相当する経路情報
- 観察または取得された出力の集合
- 現行の状態、過去の状態、置き換えられた状態を混同しないための十分なバージョンの文脈
このため、再構成可能な証拠は、バージョン支配力、公開ベンチマーク、観測台帳、スナップショット、解釈完全性監査プロトコルの近くに位置することが多い。
再構成可能性が重要である理由
再構成可能性がなければ、証拠は脆弱なままである。
その場合、いくつかの失敗パターンが現れる。
- のちの読み手が、どのバージョンが有効であったかを判断できない。
- 観察された出力が、問いやテストのレジームから切り離されている。
- 比較は説得力があるように見えるが、実際には再現できない。
- 矛盾が報告されているが、それを解釈するのに十分な階層がない。
この状態でも、証拠はレトリックとしてはなお有用でありうるが、手続きの面では脆弱になる。
再構成可能な証拠が保証しないもの
再構成可能性は、まだ真実でも、正当性でも、忠実性でもない。
ある事案は、完全に再構成可能でありながら、なお次のことを示しうる。
- 出力がドリフトした。
- カノンが脆弱だった。
- 応答条件が適切に統御されていなかった。
- 最終的な回答が、除外や否定を保持できなかった。
再構成可能な証拠は、異議申立てを可能にする。その異議申立ての結果をあらかじめ決めるものではない。
解釈トレースおよび忠実性の証明との違い
ここで用いる区別は、機能にもとづくものである。
- 解釈トレースは、ソースから出力までの経路を説明する。
- 再構成可能な証拠は、第三者がその経路をのちにレビューできるだけの材料をまとめる。
- 忠実性の証明は、出力がカノンの内側にとどまったという、より強い主張を裏づける。
したがって、再構成可能性は、生のトレーサビリティと忠実性の主張とのあいだに位置する。
このページが存在する理由
この表現は、商業的に読みやすく、制度的にも有用である。より厳格な正規の対象に取って代わることを許さないかぎりにおいて、この表現を捉えることには意味がある。
本サイトでは、再構成可能な証拠は、証拠の整理と異議申立て可能性のための橋渡しの語彙として受け入れられるのであって、忠実性の証明の代わりとしてではない。
本サイトで捉えたサービス向けのパッケージ
本サイトで捉えたラベルである独立報告は、この概念に直接依存している。のちに再構成できない報告書は、レトリックとしては有用であっても、手続きの面では脆弱なままだからである。
同じ要件は現在、事案がどのように評価されたかを第三者が再現できなければならない場合には、マルチエージェント監査と解釈リスク評価にも反映されている。
フェーズ3との隣接:証拠、監査可能性、測定
本定義は現在、フェーズ3の証拠制御レイヤーに属する。その役割は、四つの正規サーフェス、すなわち証拠レイヤー、解釈の監査可能性、Q-Ledger、Q-Metricsによって明確になる。
運用上の順序は次のとおりである。解釈証拠は異議申立てを裏づけうるものを特定し、再構成可能な証拠は第三者によるレビューのために事案をまとめ、解釈トレースは経路を明らかにし、カノンと出力のギャップはカノンからの距離を測定し、忠実性の証明は出力が境界の内側にとどまったかどうかを検証し、解釈の可観測性は時間の経過に伴う変動をモニタリングする。
このレイヤーにおいて、再構成可能な証拠を漠然とした証拠の言葉として読んではならない。再構成可能な証拠は、観察、測定、再構成可能性、監査可能性、証明を区別する連鎖の一部である。
フェーズ10:推論制御との隣接
この定義は現在、推論制御に関する隣接する問いを、解釈エラー空間、自由推論、デフォルト推論、裁定、不確定性、解釈忠実性へと振り向けている。
この隣接関係が重要なのは、システムが、欠落を暗黙的に埋めたり、誤った権威を選んだり、不確定性を隠したり、カノンへの忠実性を失ったりしながらも、流暢な回答を生成しうるからである。フェーズ10のレイヤーは、こうした失敗の経路を明示する。