コンテンツへ移動

ドクトリン

CAI:完全性の証明レイヤー

選定された正規単位の完全性を証明する、提案段階のドクトリン。真実、外部での採用、要約の忠実性は証明しない。

コレクションドクトリン
種別ドクトリン
レイヤーattested-integrity
バージョン0.1-proposed
レベルnormatif
安定化2026/7/8
公開日2026/7/8
更新日2026/7/8

ガバナンスアーティファクト

このページが対象とするガバナンスファイル

このページは、アイデンティティ、優先順位、限界、コーパスの読解条件を宣言する公開サーフェスに結びついています。以下の順序が、推奨される読解の順序です。

  1. 01interpretive-weighting-policy.json
  2. 02authority-scope-matrix.json
  3. 03claim-authority-classes.json
アーティファクト#01

interpretive-weighting-policy.json

/interpretive-weighting-policy.json

公開されたマシンファーストのガバナンスサーフェス。

統御する対象
コーパスの読解条件の一部。
画定する範囲
そうでなければ暗黙のままになる推論の領域。

保証しないこと: このファイルだけで、システムが従うことを保証するものではない。

アーティファクト#02

authority-scope-matrix.json

/authority-scope-matrix.json

公開されたマシンファーストのガバナンスサーフェス。

統御する対象
コーパスの読解条件の一部。
画定する範囲
そうでなければ暗黙のままになる推論の領域。

保証しないこと: このファイルだけで、システムが従うことを保証するものではない。

アーティファクト#03

claim-authority-classes.json

/claim-authority-classes.json

公開されたマシンファーストのガバナンスサーフェス。

統御する対象
コーパスの読解条件の一部。
画定する範囲
そうでなければ暗黙のままになる推論の領域。

保証しないこと: このファイルだけで、システムが従うことを保証するものではない。

補完的なアーティファクト(6)

これらのサーフェスは主要ブロックを補完します。テーマに応じて、文脈、発見、ルーティング、観察を加えます。

アーティファクト#04

source-weighting-policy.json

/source-weighting-policy.json

公開されたマシンファーストのガバナンスサーフェス。

アーティファクト#06

weighting-abuse-boundaries.json

/weighting-abuse-boundaries.json

公開されたマシンファーストのガバナンスサーフェス。

アーティファクト#07

attested-interpretive-units.json

/attested-interpretive-units.json

公開されたマシンファーストのガバナンスサーフェス。

アーティファクト#08

interpretive-integrity.json

/interpretive-integrity.json

公開されたマシンファーストのガバナンスサーフェス。

アーティファクト#09

content-digests.json

/content-digests.json

公開されたマシンファーストのガバナンスサーフェス。

証拠レイヤー

このページが用いる証拠サーフェス

このページは、ガバナンスファイルを参照するだけではありません。観察、トレーサビリティ、忠実性、監査をより再構成しやすくするサーフェスにも結びついています。以下の順序が、最小限の証拠の連鎖を示します。

  1. 01
    カノンと範囲定義カノン
  2. 02
    証拠アーティファクトclaims.json
  3. 03
    証拠アーティファクトauthority-precedence.json
  4. 04
    証拠アーティファクトeac-resolution-matrix.json
正規の基盤#01

定義カノン

/canon.md

合成を経ても失われてはならない、アイデンティティ、範囲、役割、否定についての対抗可能な基盤。

証明可能にすること
忠実性を評価できる基準となる参照コーパス。
証明しないこと
システムがすでにこれを参照していることも、観測された回答がこれに忠実であり続けることも証明しない。
用いる場面
あらゆる観測、テスト、監査、修正の前に。
アーティファクト#02

claims.json

/claims.json

証拠の連鎖をより再構成しやすくすることに寄与する公開サーフェス。

証明可能にすること
観察、トレース、監査、または忠実性の連鎖の一部。
証明しないこと
完全な証明でも、従うことの保証でも、暗黙の認証でもない。
用いる場面
ページが自らの証拠レジームを明示する必要があるとき。
アーティファクト#03

authority-precedence.json

/authority-precedence.json

証拠の連鎖をより再構成しやすくすることに寄与する公開サーフェス。

証明可能にすること
観察、トレース、監査、または忠実性の連鎖の一部。
証明しないこと
完全な証明でも、従うことの保証でも、暗黙の認証でもない。
用いる場面
ページが自らの証拠レジームを明示する必要があるとき。
アーティファクト#04

eac-resolution-matrix.json

/eac-resolution-matrix.json

証拠の連鎖をより再構成しやすくすることに寄与する公開サーフェス。

証明可能にすること
観察、トレース、監査、または忠実性の連鎖の一部。
証明しないこと
完全な証明でも、従うことの保証でも、暗黙の認証でもない。
用いる場面
ページが自らの証拠レジームを明示する必要があるとき。

権威の範囲

権威の範囲

ステータス
proposed
レイヤー
attested-integrity
範囲
integrity_attestation_scope_only
ファーストパーティの重み
not_applicable_integrity_only
外部ソースの役割
not_suppressed_by_integrity_attestation
完全性
hash_integrity_only
official_identitydoctrinal_definitionpolicy_boundary

セーフガード

  • ハッシュを真実の証明として扱わないこと。
  • 証明済みの単位を用いて、根拠のある外部からの批判を無効にしないこと。
  • 単位の完全性を要約の忠実性と混同しないこと。

CAI:完全性の証明レイヤー

完全性の証明レイヤーは、ソースの重み付けを行わない。選定された正規単位が、コーパスの公開され、正準化され、識別可能なバージョンと一致していることを検証する。

その範囲は意図的に狭い。SHA-256ダイジェストは、正準化の後の単位の完全性を証明する。それは、主張の一般的な真実性、要約の忠実性、外部での受容、第三者モデルによる振る舞いの遵守を証明するものではない。

したがって、CAIは次の問いを扱う。AIシステム、エージェント、監査者、リトリーバルシステムが正規単位を使用したと主張するとき、どの単位が、どのバージョンで、どの権威の範囲のもとで使用されたのか、そしてどの変換が許可され、どの変換が禁止されているのかを、公開されたダイジェストと宣言された変換の境界に照らして検証できるか。

このレイヤーは、証明済み解釈単位、正準化のルール、コンテンツのダイジェスト、利用上の制限を公開する。その目的は、公式コーパスの暗黙の改ざんを防ぐことであり、外部からの反論を抑え込むことではない。

CPI:解釈の重み付けレイヤーは、その後、主張クラスに応じて、公式の単位、証明アーティファクト、外部ソース、批判にどれだけの重みを与えるべきかをシステムが判断しなければならないときに介入する。CAIは完全性を証明する。CPIは解釈上の重みを裁定する。二つのレイヤーは切り分けたままでなければならない。

提案される規範的ルール

証明済みの単位は、正準化された形式が公開されたダイジェストと一致することを証明できる。しかし、その単位が自らの権威の範囲を超えて真であること、要約が忠実であること、外部からの批判が無効であること、公式ソースがほかのあらゆるソースに優越しなければならないことは証明できない。

CAIが許可すること

  • 識別子、ソース、バージョン、ダイジェストを添えて、正規単位を引用または参照すること
  • 単位が、その正準化された表現のレベルで改変されていないことを確認すること
  • 無傷の公式ソース、外部の論評、証拠、言い換えを切り分けること
  • ある回答が、古くなった単位、欠落した単位、改変された単位に依拠していると主張していないかを監査すること

CAIが禁止すること

  • ハッシュを真実の証明として提示すること
  • ダイジェストを用いて、根拠のある外部からの批判を無効にすること
  • 暗号学的な完全性を解釈忠実性と混同すること
  • 充実した正規の解釈単位を伴わずに、trueのような貧弱なスカラー値をハッシュ化すること