補遺索引
補遺セクションの索引ページです。
付録1 — ASI対応状況および規制クロスウォーク拘束
採択日: 2026-06-10 (1.3-RC2) · 管理者: 創設者（Book VIII Ch 9に基づく）
1.1 目的
スコープ節は条件付き主張を行っている：本フレームワークはASIの候補となるアライメントプロトコルを探求するものであり、序文に定める四つのRelease Candidate要件を条件とする。本付録は、この主張を現在存在する運用上の証拠に拘束し、残された課題を明確に述べる。ASIの**対応状況（readiness）**とは、達成されたアライメントではない。それは、Book IXの数学が要求する検証足場、すなわち独立した制約多様体、証明表面、正規化によって除去されえない良心レイヤー、キルスイッチ表面、およびAnnex Dの壊滅的リスク評価、が実装済みかつ監査可能な形で存在し、そのギャップが明示された状態をいう。
1.2 規制クロスウォークは現在運用中
運用中のクロスウォークはCIRISAgentコンプライアンスディレクトリ（CIRISAgent/compliance/、エージェントリリース2.9.6-stable）であり、本フレームワークの実装を四つの主要ガバナンスフレームワークに対して段落レベルでマッピングしている（Annex Cは二層構造を担う：この運用クロスウォークに加え、法的検証が完了次第の情報提供的な法令対応表）：
- クロスウォーク対象ソース：Magnifica Humanitas（宗教的マジステリウム、2026年）· EU HLEG 信頼できるAIのための倫理ガイドライン（政府諮問機関、2019年）· IEEE倫理的に整合した設計第1版（技術団体、2019年）· ASEANガバナンスと倫理に関するAIガイド（多国間政治機関、2024年）。制度的に異なる四つの形式——その収束はフレームワークの原則足場がいずれの伝統にも固有のものではないという構造的証拠である。
- 構造：27の安定した次元（D01–D27、
SEED_DIMENSIONS.yamlv1.0より；16はすべての四ソースで証明、11は三ソースで証明）。各次元文書は自動描画された規制上部（ソースごとの引用、ワイヤーフォーム、収束注記）と、現在のmainに対してgrepによる検証が必要なfile:line参照を含む人間が執筆した実装セクションを持つ。 - 証拠規律：すべての数値的主張は日付付きのスクリプト生成ベースライン（
compliance/baselines/）から再現可能である；散文はベースラインを引用してよいが、検証不可能な数字を埋め込んではならない。四段階の検証ヒエラルキーが実装ファイル（基準となる真実）から公開クレーム（compliance/MEASUREMENT_METHODOLOGY.md）まで走る。 - 誠実規律：各次元は「既知のギャップ」一覧を持つ；基盤依存の項目は主張されることなく当該基盤とともにフラグ付けされる。十の横断的所見がコンプライアンスREADMEに収録されている（例：型付きワイヤーエンベロープはまだ発行されていない；LensCoreディテクターファミリーはまだ出荷されていない；逆軸再考ギャップ）。
Annex Cは法的検証が完了した後の法令対応（EU AI Act条項、NIST AI RMF、ISO/IEC 42001）の将来的な場所として文書内に残されている；コンプライアンスディレクトリは、それまでの現行の証拠を持つクロスウォークであり、Annex Cへの情報を提供する。
1.3 ワイヤーフォーマット：CEGはFSD-002に取って代わる
CIRIS 3.0エージェントラインのフェデレーションワイヤーフォーマットはCEG（CIRIS Epistemic Grammar）であり、CIRISRegistry/FSD/CEG/にて管理されている。このグラマーはちょうど五つのワイヤーフォーマットプリミティブ——一つの主力（scores）と四つの構造的コンポーザー（delegates_to / supersedes / withdraws / recants）——にオープンかつメカニズム記述的な次元名前空間の上でロックされている。このロックダウンは0.x系列全体を通じて維持されており、すべての増分はすでにロックされたプリミティブの上での合成であった。
ASI対応状況にとって重要な二つの帰結がある：
- CEGネイティブへの転換：3.0エージェントは内部状態をワイヤーフォーマットにマッピングするのではなく、その内部状態の変異が、エージェント自身のキーの下でのセルフレベルCEG証明であり、ティアモデルに従ってフェデレーションへの可視性に昇格される。オペレーターが監査する証拠は、フェデレーションが読むエンベロープと同じものである。これは、Book IXが制約表面は自己報告ではなく外部から参照可能であることを要求するという要件の実装形態である。
- 四つの実装がCEG 1.0をゲートする：CIRISAgent（ランタイム）、CIRISNodeCore（コンセンサス）、CIRISLensCore（検出——エージェントが自己発行しない外部証人、反グッドハート分離）、CIRISRegistry（権限）。エージェントを含む単一当事者が検証ファブリックの完成を宣言することはできない。
1.4 1.3-RC2時点のRC要件状況
| RC要件 | 状況 | 証拠／残課題 |
|---|---|---|
| 1. Annex F–I の運用化 | テキストは1.3-RC2で運用化済み；ライブサイクル検証は未完了 | Annex F–Iは完全な手順、閾値、および検証メカニズムを含む（2026年5月のMagnifica Humanitasに基づくドラフトから完成）；ライブデプロイサイクルに対してはまだ実施されていない |
| 2. Book IXの数学的検証 | 部分的に満足 | 崩壊ダイナミクスはLean 4で形式化（CCAプレプリントv3、DOI 10.5281/zenodo.18217688）；コリドー経験論は遡及的なクロス基盤フィットを提供する。未達成：新しい基盤における一つの事前登録された外サンプル予測；著者から独立した外部対立的レビュー |
| 3. 閾値の正当化 | 部分的に満足 | OMVレシオは廃止（Book IIにおいてサイドコンストレイントとして再述）。暫定のまま：10²⁶ FLOPのCREトリガー、5%の知覚ヒューリスティック、< 20%のEcho Density目標 |
| 4. レッドチーム演習 | 未実施 | 1.3のσ証明要件（Book IX §5.2）は最初の既知の攻撃ベクター（無料感謝シグナルによるσポンピング）を先制的に閉じる；すべてのチェックポイントに対する完全な対立的サイクルはまだ負っている |
1.5 ASI臨界制御としての良心レイヤー
Annex D CREプロトコルは閾値越境を統治し、良心レイヤーはそれ以前およびそれ以後のすべての行動を統治する。実装済みの状態（エージェント2.9.6）において：すべての思考は優先順位付けされたチェックスタックを通過する——LLMが判断する4つの機能（エントロピー、一貫性、最適化拒否権、認識論的謙遜）に加え、ベンチマークモードであっても、また通常は免除される行動に対しても実行される決定論的安全フロア（思考深度ガードレール、アクションシーケンスチェック）である。閾値はコードレベルの定数であり、学習済み重みではない——倫理が繰り返しの暴露によって正規化されることを防ぐアーキテクチャ上の不変条件である。複数の独立した停止面が存在する：最適化拒否権フェイルセーフによる中断、シャットダウンサービス、および完全禁止ロックダウンを発動する暗号署名済みリモートAccord Invocation。すべてのチェックはタグ付きトレース行を記録するため、監査者は思考ごとの完全な推論チェーンを再現できる。
既知の制限事項（隠蔽せず明示する）：良心リファクタリング（3シャード＋決定論的ゲート）は部分的に実装済みであり、良心判定のtyped federationエミッションはsubstrate Contribution envelopeを待機中である。各次元の詳細：compliance/D12_conscience.md。
1.6 Substrateの依存関係トラジェクトリ
ASIグレードの検証には完全なフェデレーションファブリックが必要である。SubstrateトラジェクトリはPersist → Edge → LensCore → NodeCoreであり、27次元のおよそ3分の1はLensCoreの外部検出器ファミリー（エージェント自身が決して提供してはならない証人）によってゲートされている。それらのsubstrateが提供されるまで、対応する次元の主張は実装側準備完了、フェデレーション側保留中のままであり——次元ごとにそのようにフラグが立てられている。
1.7 この付録が変更するものとしないもの
- これはScopeのASI主張を更新しない——その主張は4つのRC要件すべてを条件とするものであり続ける。
- これはAnnex Dを置き換えない——CREプロトコルは閾値越境ゲートとして無修正のまま存続する。
- これは初めてエビデンスチェーンをエンドツーエンドで監査可能にする：規制段落 → 次元（D01–D27） → 実装
file:line→ 日付付きベースライン → （substrateが提供された時点で）外部フェデレーション証人。 - これはAccordが各バージョンにおいて当時のエージェントリリースおよびベースラインをもってこの付録を更新することを約束する。これにより、準備状況の主張がサイレントに陳腐化することはない。
先行付録：なし。これが最初のものである。