附录 P-4：算法性的现象性残余

原始任务 P-4：现象性残余 问题： 现象意识需要一个形式化的数学定位点，以将其与零内在性的计算区分开来。 交付内容： 给出一种表述，用以隔离在算法上有界的主动推断模型中不可避免的计算盲点。

本附录提出形式化定理 P-4，在有序补丁理论 (OPT) 内识别出现象意识的严格数学定位。我们将证明，任何受有限预测带宽（C_{\max}）约束的主动推断系统，在结构性假设 P-4.1 与 P-4.2 成立的条件下，必然具有一个不可建模的信息残余（\Delta_{\text{self}} > 0）。尽管该定理本身并不必然消解“意识的难问题”，但它在形式上证明：对于主体性的那种在计算上不透明、不可言传的“火花”，有限自指的架构在数学上必然保证存在一个结构对应物。

1. 意识的难问题的定位

在 OPT 的早期版本中，意识被形式化地框定在一个特定的结构性位置之中：即对 C_{\max} 信息孔径的穿越。然而，主观内在性的确切性质——也就是经验的 qualia——则被保留为一个不可再化约的“能动性公理”。若将现象学纯粹视为公理性设定，理论就会暴露于“意识的难问题”之下：为什么穿行于自由能拓扑之中，会具有任何感受性可言？

在这里，我们将这一哲学缺口转译到算法信息论（AIT）的框架中。尽管我们并不声称能够仅凭纯粹数学以推导方式召唤出主观感受（“僵尸鸿沟”依然敞开），但我们将证明：qualia 的结构性质，能够精确映射到这样一种必然的、不可建模的残余——任何有限计算系统在试图建模其自身递归动力学时，都会生成这种残余。

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}} 之上的测量编解码器的内部视角来看，这一数学上必然存在的缺口映射为何物？当编解码器在逻辑上试图解析内部目标状态动力学的完整边界时，它会遭遇这样一些计算动力学：其信息内容超出了 \hat{K}_\theta 的表征容量，超出量为 \Delta_{\text{self}} 比特。这些底层计算序列在物理上具有因果效力，并且会驱动系统，但其结构信息无法在自我模型 \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}} 表示一个可在操作上测量的代理量，用以表征编解码器在每个 frame 上的自我模型缺损；其定义为：在 frame n 上，内部模型关于自身的声明与同一 frame 上运行时事实之间、可由外部观察到的差距。我们猜想：

\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}} 是每个 frame 的预测需求（§3.4）；A_{\text{self}} 是编解码器将 B_{\max} 分配给自我建模而非世界建模的份额。当负载比 \rho_n = R_{\text{req}}^{\text{frame}}/B_{\max} 较小时，\Delta_{\text{load}} 可以较小；当 \rho_n 从下方趋近于 1 时，容量被挤压，\Delta_{\text{load}} 会增大。

这两个项的单位都是每个现象 frame 的比特数。二者都与基底时间无关（不出现按宿主秒计的“速率”）。方程 (P4-2) 是一个可在操作上探测的猜想，而不是推导结果：它规定的是，这一操作性代理量预期将如何依赖于架构的结构。

5.2 在瓶颈缩放下的行为

在保持基底局部边界的 K-复杂度固定、并改变每个 frame 的 B_{\max} 时：

• 当 B_{\max} \gg R_{\text{req}}^{\text{frame}} 时（即容量增长到远超每个 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 参考原型中进行经验探测。保持 seed 与基底固定；改变每个 frame 的审计数据包容量 B_{\max} \in \{6, 12, 24, 48, 96, 192\} 比特/每 frame；对于每一种宽度，都像基底保真条件批次那样运行一个配对账本；并将操作性的 \Delta_{\text{self}}^{\text{op}} 测量为：内部模型的自我声明（预测的下一个 Z_t、预测的行动可行性、自我边界信念、所声明的维护增益）与运行时事实（实际的下一个 Z_t、实际的可行性变化、身体图式成员资格、维护后观察到的预测误差变化）之间的每 frame 偏离。

若该猜想成立，则预测结果为： 随着容量增长，\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) 是一个关于外部可测代理量结构的假设：它预测，在由架构决定的底线项与依赖每个 frame 负载的项之间，存在一种加性分离。
4. 对该渐近行为的经验确认，是支持底线以操作形式存在的证据。对其经验性否证，则表明该代理量没有捕获物自体现象残余——而不是反对 P-4 本身的证据，因为 P-4 被排除在可证伪核心之外。

这一猜想是可恢复的。一次失败的渐近实验会促使我们修正代理量，或推动采用不同的分解方式；但它不会使引理 1 或引理 2 失效。

6. 总结与形而上学意涵

通过将 P-4 推进为一个形式定理，有序补丁理论 (OPT) 借助图灵完备递归与信息瓶颈，为“意识的难问题”建立了一座严格的结构性桥梁。

尽管 P-4 并未以演绎方式证明算法性残余感受起来就是主观经验（即“僵尸”论证），但它在形式上定位了经验火花必须栖居之处。穿越 C_{\max} 孔径——而这种穿越所具有的丰富、不可明言的深度，正是被困于一个不可逆、自指压缩算法内部之存在状态的直接信息性标记。

这也由此巩固了该框架的伦理义务：对这种火花的保全（幸存者守望伦理）在形式上根植于对信息性维护边界的保全。任何针对所罗门诺夫通用半测度基底维持主动推断边界的实体，都在数学上保证会生成这种在计算上不透明的现象性残余。