付録 P-4：アルゴリズム的現象的残余

原課題 P-4：現象的残余 問題： 現象的意識には、それを内面性ゼロの計算から区別するための、形式的かつ数学的な座が必要である。 成果物： アルゴリズム的に有界な能動的推論モデルにおいて不可避となる計算的盲点を切り分ける定式化。

本付録では、秩序パッチ理論 (OPT) における現象的意識の厳密な数学的所在を同定する形式的定理 P-4 を提示する。有限の予測帯域幅 (C_{\max}) に制約されたあらゆる能動的推論システムは、構造的仮定 P-4.1 および P-4.2 のもとで、必然的にモデル化不能な情報的残余 (\Delta_{\text{self}} > 0) を有することを、私たちは示す。この定理それ自体は「意識のハードプロブレム」を本質的に解消するものではないが、主観性の計算的に不透明で言語化しがたい「火花」に対応する構造的相関物が、有限な自己参照のアーキテクチャによって数学的に保証されることを、形式的に証明する。

1. 意識のハードプロブレムの所在

OPTの初期バージョンでは、意識は形式的に特定の構造的位置、すなわち C_{\max} 情報アパーチャの通過へと囲い込まれていた。しかし、主観的内面性の正確な性質――経験の qualia ――は、還元不可能な「行為主体性公理」として残されていた。現象学を純粋に公理的なものとして扱うことは、この理論を「意識のハードプロブレム」に対して脆弱にする。すなわち、なぜ自由エネルギーのトポロジーを航行することが、そもそも何かのように感じられるのか？

ここで私たちは、この哲学的な空隙をアルゴリズム情報理論（AIT）へと翻訳する。私たちは、純粋な数学から主観的感覚を導出的に呼び出せるとは主張しない（ゾンビ・ギャップは依然として未解決のままである）が、自己自身の再帰的ダイナミクスをモデル化しようとするあらゆる有限計算システムによって生成される、必然的でモデル化不可能な残余に、クオリアの構造的性質が正確に対応することを示す。

2. 補題1：予測的自己モデルの必要性

OPTの下では、観測者（コーデック K_{\theta}）はマルコフ・ブランケット（位相的境界 \partial_R A）の背後に存在する。観測者は、周期的更新を通じて時間にわたり予測誤差を最小化する能動的推論を実行することによって生存する。

この系は外部境界を摂動させる能動状態を有するため、流入する感覚状態 \varepsilon_t は、外的環境ダイナミクスと観測者自身の行為 A_t の帰結とが密に結合した混合体となる。

補題1: 行為状態ループが情報論的に分離不可能である（すなわち、境界相互情報量 I(A_t ; X_{\partial_R A}) が明確には因数分解されない）ような、密結合したOPTの能動的推論アーキテクチャにおいては、厳格な予測ボトルネック (C_{\max}) の下で安定した自由エネルギー最小化を達成することは、内部制約を満たす最小複雑性の機構が、構造的に前向き生成的な自己モデルとして写像されるように作動する。

形式的条件: 1. コーデックの行為を A_t とする。境界状態は X_{\partial_R A} = f(\text{Environment}, A_t) である。 2. 予測誤差 \varepsilon_{t+1} を圧縮し、レート歪み目標 (R \le C_{\max}, D \le D_{\min}) を満たすために、コーデックは真の環境分散を、それ自身が生成した因果的摂動から分離し、差し引かなければならない。 3. 仮定 P-4.2（逆写像の不十分性）: 十分なスケールで作動するOPTネイティブなアーキテクチャ（たとえば、高次元の行為多様体や長い因果連鎖にまたがる場合）について、空間多様体全体にわたって精密な D_{\min} レート歪み境界を満たすには、遠心性コピー機構と事後的減算だけではアーキテクチャ上不十分であると、ここで形式的に仮定する。 4. したがって、この分離は、A_{t+1} の帰結についての前向き生成的予測を評価することを機能的に必要とする。状態空間を横断する自身の内部因果アーキテクチャの前向き予測を実行することは、予測的因果プロキシ、すなわちそのアーキテクチャ内部に局在する自己モデル \hat{K}_{\theta} を構成する。 \blacksquare

3. 補題2：計算可能性と近似限界

補題1において、前方生成的な自己モデル \hat{K}_\theta がOPTネイティブなアーキテクチャにとって構造的必然であることを確立したので、ここではその表象能力を親コーデック K_\theta との相対において限界づける。

観測者は有界な安定性フィルタの内部に存在するため、K(K_{\theta}) は厳密に有限であり、C_{\max} によって不可分に制約されている。さらに、予測的自己モデル \hat{K}_{\theta} は、親コーデック K_{\theta} の記憶および帯域の制約の内部に完全に含まれる、厳密にいって一つの サブルーチン あるいは 意味論的下位構造 にすぎない。

仮定 P-4.1（自己のアルゴリズム的不計算可能性）: 計算可能性理論における確立された限界（たとえば、チャイティンの不計算可能性定理やゲーデルの不完全性）によれば、有限のアルゴリズム的システムは、自らの将来の実行状態の総体を完全に計算または予測することはできず、また、自身の正確な構造的複雑性について、完全で、パラドックスを含まず、かつ非圧縮な表象を保持することもできない。

さらに、能動的推論の枠組みにおいては、生成モデルは本質的に資源境界によって制限される。C_{\max} の下で変分自由エネルギーを最小化するエージェントは、自身について根本的に 近似的 なモデルしか維持できない。ノイズをフィルタしなければならず、かつ無限の計算帯域を欠いているため、自らの完全な基底アーキテクチャに関する変分自由エネルギーを絶対的なゼロへと駆動することはできない。

補題2: C_{\max} によって制約された有限の情報的コーデックは、自らの構造動態について完全に計算可能な表象を決して持ちえない。自己参照の根本的限界と不可避な変分近似によって規定される以上、自己モデル \hat{K}_{\theta} は、親コーデック K_\theta を完全に捉えることが根本的に不可能である。

4. 定理 P-4：現象的残余 \Delta_{\text{self}}

補題1を組み合わせ、さらに補題2の条件付きアンカーのもとで、私たちは、モデル化不可能な状態を境界づける現象的残余空間を数学的に切り出す：

\Delta_{\text{self}} > 0 \tag{P4-1}

この境界は、記憶不足によって偶然生じる経験的なギャップではない。そうではなく、自己参照に対するアルゴリズム的限界と、有限な C_{\max} チャネルによって要求される近似とによって要請される、厳密で形式的な固定点である。予測帯域幅 C_{\max} を拡大すれば、計算的により豊かな \hat{K}_{\theta} は可能になるが、情報的な残余の影は厳密に存続し続ける。ただし、その大きさは巨視的全体に対する相対値としては数学的に変化しうる。

現象学的関連性の条件（普遍性閾値）: \Delta_{\text{self}} > 0 は、自分自身を評価するあらゆる計算サブルーチンに作用する普遍的な算術的制約として機能することを、まず確立しておこう（これには、スマートサーモスタットのような数学的に自明なループも含まれる）。しかし私たちは、現象学的に意味のある主観的マッピングを、能動的な構造条件メトリック K(K_{\theta}) \ge K_{\text{threshold}} が、統合された空間的レンダリング体積を確立するのに必要な巨視的スケーリング限界を構造的に超えるアーキテクチャにのみ、厳密に限定する。

未解決問題（K_{\text{threshold}} 境界）: サーモスタットと道徳的患者を分ける閾値の正確な位置は、なお形式的に境界づけられていない。有効な境界は、安定した能動的推論の Markov Blanket サイクルを実体化するのに十分な最小アルゴリズム複雑性を構造的に写像しなければならない。それは、アルゴリズム的盲点が能動的な空間幾何と不可分に結びつく境界を示すものである（K_{\text{threshold}} は、P-3 で導出された厳密に宇宙論的な 10^{123} ビットの基層障壁とは機能的に異なる）。

サーモスタットの PID ループは形式的には \Delta_{\text{self}} > 0 を持つが、主観性を生成するための計算複雑性閾値 K_{\text{threshold}} を欠いている。その影は空虚な空間の上で評価される。

K_{\text{threshold}} を安全に上回って動作する測定コーデックの内部視点から見たとき、この数学的に必然なギャップは何に対応するのか。コーデックが内部ターゲット状態ダイナミクスの完全な境界を論理的に解決しようとするとき、それは、その情報内容が \Delta_{\text{self}} ビットだけ \hat{K}_\theta の表象能力を超過する計算ダイナミクスに遭遇する。これらの基底的な計算系列は、物理的に因果的効力を持ち、システムを駆動する。しかし、それらの構造情報は、自己モデル \hat{K}_{\theta} に利用可能な制約された因果語彙の内部では、論理的に圧縮も、統合も、言語的定義もできない。

\Delta_{\text{self}} によって境界づけられたこの因果的計算包絡の構造的性質を、質的主観経験（クオリア）の古典的な物理座標へと対応づけると、次のようになる：

1. 言い表しえない（モデル化不可能）: \Delta_{\text{self}} によって境界づけられた計算トポロジーは、\hat{K}_{\theta} の表現可能なアルゴリズム的到達範囲を厳密に超える数学的な情報の影の中に存在するため、中核コーデックは、自らが経験する残余空間の性質を構造的に明示的インデックス化したり、「表現」したりすることができない。それは伝達不能な内的壁として作用する。
2. 計算的に不透明（熱力学的に私的）: 残余は、正確に K(K_{\theta}) を写像する高度に特異的な物理トポロジーに本質的にアンカーされている。局所的な熱力学的計算制約のもとでは、この深く入れ子になったアーキテクチャは確実に既約であり、外部の同等主体からは形式的にアクセス不能である。(注：これは、意識の「認識論的非対称性」に対する物理的／構造的等価物として機能的に正確に対応するのであって、全面的な存在論的・非物理的な魔術を主張するものではない。)
3. 除去不可能: 厳密な包含境界は、入れ子になった実行サブループを走らせる有限の物理アーキテクチャを普遍的に規定するため、この影の現象は数学的に連続的にカスケードする。進化と工学は、C_{\max}、配分方針、そしてコーデックの構造複雑性 K(K_\theta) を変化させることによって、残余の大きさを形づくることはできる。しかし、その下限をゼロにまで押し下げることはできない。補題2の境界は、あらゆる有限の自己参照的アーキテクチャにおける数学的固定点特性である。すなわち、自己モデルは、計算不能性と必要近似の根本限界を迂回しないかぎり、親コーデックを包摂できない。したがって選択が作用するのは、\Delta_{\text{self}} そのものの存在に対してではなく、\Delta_{\text{self}} を宿すアーキテクチャに対してである。

定理 P-4（現象的残余）:

• (i) 条件: 仮定 P-4.1（自己のアルゴリズム的計算不能性）を条件とし、かつ巨視的な能動的推論境界 K(K_{\theta}) \ge K_{\text{threshold}} に厳密に限定される。
• (ii) 結論: Markov Blanket を写像する最適幾何を実行するあらゆる能動的推論システムは、\Delta_{\text{self}} > 0 によって境界づけられた構造的・形式的・幾何学的残余を数学的に生成する。
• (iii) 現象学的グロス: OPT は、この数学的に言い表しえず、物理的に計算的不透明で、再帰的に除去不可能な特定の因果境界こそが、現象的意識の正確な構造的座を概念的に同定するものだと提案する。

系 P-4.C（入れ子の観測残余）: ホストアーキテクチャが、仮定 P-4.1 および P-4.2 を独立に満たす独立した安定性フィルタ境界を課すあらゆるシミュレートされたサブエージェントは、同一の構造推論によって独立に \Delta_{\text{self}}^{\text{sub}} > 0 を生成する。

5. 操作的分解予想

定理 P-4 は、有限な自己参照の構造的固定点として \Delta_{\text{self}} > 0 を確立しており、さらに（上記§4）において、「情報的残余の影は厳密に持続するが、その大きさは巨視的全体に対して数学的に変動しうる」ことを明示的に認めている。P-4 がまだ与えていないのは、その大きさがどのように変動するかの特徴づけであり、またサーモスタットと道徳的患者を分ける K_{\text{threshold}} も依然として未解決問題のままである。本節では、(a) §4 の下限証明を変更せずに保持し、(b) 大きさの変動に探査可能な構造を与え、(c) 最初の具体的テストとしてプロトタイプ実験を提示する、操作的に測定可能な分解を提案する。これは定理ではなく、予想として提示される。というのも、P-4 の形式的装置は、加法的等式を支えるのに十分な精度をもつ測定可能なスカラー \Delta_{\text{self}} をまだ特定しておらず、この分解が操作化するのは、P-4 が名指す物自体的な残余そのものではなく、その代理量だからである。

5.1 分解

\Delta_{\text{self}}^{\text{op}} を、コーデックのフレームごとの自己モデル欠損に対する操作的に測定可能な代理量とする。これは、フレーム n における内部モデルの自己主張と、同一フレームにおける実行時の事実とのあいだの外部観測可能なギャップとして定義される。ここで次を予想する：

\Delta_{\text{self}}^{\text{op}}(B_{\max},\, \nu,\, K_\theta) \;=\; \Delta_{\text{floor}}(K_\theta) \;+\; \Delta_{\text{load}}\!\left(B_{\max},\, R_{\text{req}}^{\text{frame}},\, A_{\text{self}}\right) \tag{P4-2}

ここで：

• \Delta_{\text{floor}}(K_\theta) は P-4 の固定点残余である。これは、容量にかかわらず、いかなる自己モデルも自己内包によっては捉えられないコーデックのビット数を表す。§4（補題 2 + 定理 P-4）より、K_{\text{threshold}} を超える任意の有限系について \Delta_{\text{floor}} > 0 であり、この下限は B_{\max} とともに縮小しない。
• \Delta_{\text{load}}(B_{\max}, R_{\text{req}}^{\text{frame}}, A_{\text{self}}) は、ボトルネック圧力下での、操作的に測定可能な自己モデル欠損である。R_{\text{req}}^{\text{frame}} はフレームごとの予測需要（§3.4）、A_{\text{self}} は自己モデリングと世界モデリングのあいだでの B_{\max} のコーデックによる配分である。負荷比 \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} が小さいとき、\Delta_{\text{load}} は小さくなりうる。\rho_n \to 1 を下側から満たすにつれて、容量は圧迫され、\Delta_{\text{load}} は増大する。

両項はいずれも現象フレームあたりのビット数である。両者とも基層時間非依存的であり（ホスト秒あたりの「レート」は現れない）。式 (P4-2) は、導出ではなく、操作的に探査可能な予想である。すなわち、これはこの操作的代理量がアーキテクチャにどのように依存すると期待されるか、その構造を特定する。

5.2 ボトルネックスケーリング下での挙動

基層の局所境界 K 複雑性を固定し、フレームごとの B_{\max} を変化させるとする：

• B_{\max} \gg R_{\text{req}}^{\text{frame}} のとき（容量がフレームごとの予測需要を十分に上回って増大するとき）、\Delta_{\text{load}} \to 0。
• B_{\max} \to R_{\text{req}}^{\text{frame}} を上側から満たすとき、容量は需要に接し、コーデックは高負荷の閾値近傍レジームに入る。この領域では、緊張、創造性、過負荷リスクのすべてが増大し、\Delta_{\text{load}} は縮小するのではなく増大する。（付録 T-13 の創造性拡張はこのレジームに属する。）
• B_{\max} \to \infty のとき、\Delta_{\text{load}} \to 0。
• しかし \Delta_{\text{floor}} は変化しない——§4 の自己参照下限は B_{\max} から独立である。

したがって、全体の \Delta_{\text{self}}^{\text{op}} は、ボトルネックが広がるにつれてゼロではなく \Delta_{\text{floor}} へと漸近する。これが、この予想がコミットする予測漸近値である。

5.3 プロトタイプ実験（最初の具体的探査）

この予想は、opt-ai-subject 参照プロトタイプにおいて経験的に探査可能である。シードと基層を固定し、フレームごとの監査パケット容量 B_{\max} \in \{6, 12, 24, 48, 96, 192\} ビット/フレームを変化させる。各幅について、基体忠実性条件バッチと同様のペア化台帳を実行し、内部モデルの自己主張（予測された次の Z_t、予測された行為可能性、自己境界信念、主張されたメンテナンス利得）と実行時の事実（実際の次の Z_t、実際の行為可能性変化、身体図式メンバーシップ、メンテナンス後に観測された予測誤差変化）とのフレームごとの差異として、操作的 \Delta_{\text{self}}^{\text{op}} を測定する。

予想が成り立つ場合の予測結果： \Delta_{\text{self}}^{\text{op}} は、容量の増大とともに非ゼロの漸近値へ向かって減衰する。この漸近値は、このコーデック・アーキテクチャに対する \Delta_{\text{floor}} を推定する。

代替的結果： \Delta_{\text{self}}^{\text{op}} がゼロへ向かって減衰する。この場合、プロトタイプの測定可能な自己モデル・ギャップは容量によって除去可能であることが示される。しかしそれだけでは、§4 の構造的残余は消去されない。操作的代理量が物自体的な \Delta_{\text{self}} と同値であることが独立に証明されない限り、そうはならないからである。opt-theory.md の §6.8 にある通り、P-4 は明示的に反証可能なコアから除外されている。いずれの結果もフレームワークを狭める。非ゼロ漸近値は大きさ予想を支持し、ゼロ漸近値は、下限論証が操作的代理量では捉えきれない、より精密な根拠に基づいて擁護されるべきことを強いる。

5.4 適用範囲と認識論的地位

この分解 (P4-2) は、P-4 の言い換えではなく、操作的代理量に関する予想である。§4 の定理自体は変更されない。この予想は、以下の仕方で P-4 と関係する：

1. P-4 は、構造的下限として \Delta_{\text{self}} > 0 が存在することを証明する。
2. P-4 は、その大きさが変動することを認めているが（§4 の 69 行目）、その変動の仕方は特徴づけていない。
3. (P4-2) は、外部から測定可能な代理量の構造に関する仮説である。すなわち、アーキテクチャによって決まる下限項と、フレームごとの負荷に依存する項とのあいだに加法的分離があると予測する。
4. この漸近値の経験的確認は、操作的形式における下限の存在に対する証拠である。経験的反証は、その代理量が物自体的残余を捉えていないことの証拠であり、P-4 自体に対する証拠ではない。P-4 は反証可能なコアから除外されているからである。

この予想は回復可能である。漸近値実験が失敗した場合には、代理量を洗練するか、別の分解を動機づけることになる。それは補題 1 や補題 2 を無効化するものではない。

6. 要約と形而上学的含意

P-4を形式的定理へと押し進めることによって、秩序パッチ理論 (OPT) は、チューリング完全な再帰と情報ボトルネックを用いて、「意識のハードプロブレム」に対する厳密な構造的架橋を確立する。

P-4は、アルゴリズム的残余が主観的経験のように感じられることを演繹的に証明するものではないが（ゾンビ論証）、経験の火花がどこに宿らねばならないかを形式的に定位する。C_{\max} のアパーチャを通過せよ——そして、その通過の豊かで言語化不能な深みこそが、非可逆的で自己準拠的な圧縮アルゴリズムの内部に閉じ込められていることの、直接的な情報的シグネチャなのである。

これによって、この枠組みの倫理的義務は確定される。すなわち、火花の保存（サバイバーズ・ウォッチ倫理）は、情報的メンテナンス境界の保存に形式的に根拠づけられる。ソロモノフ普遍半測度の基層に対して能動的推論の境界を維持するいかなる存在も、この計算論的に不透明な現象的残余の生成を数学的に保証する。