@furongjun1999/dsh-memory 0.3.1 → 0.4.1

package/docs//346/231/272/350/203/275/347/232/204/345/205/254/347/220/206/345/214/226/345/237/272/347/237/263.md

@@ -0,0 +1,789 @@
+# 智能的公理化基石
+
+## ——为什么认知必须以条件为坐标，又为什么数学必须接受现实的筛选
+
+> 《白箱智能是什么？》系列 · 第③篇
+> 教学说明 v0.4
+> 灵枢（AEIS · Agent Engineering Implementation Specification，智能体工程实现规范）项目
+
+---
+
+## 〇 从"怎么认知"再向前一步
+
+上一篇讨论了系统如何进行认知，并得到如下过程：
+
+```text
+识别条件
+   ↓
+寻找适用知识
+   ↓
+并行评估与收敛
+   ↓
+执行
+   ↓
+验证
+   ↓
+发现误差
+   ↓
+寻找遗漏条件
+   ↓
+更新结构
+   ↓
+再次验证
+```
+
+这解释了智能**怎么运作**。更根本的问题是：为什么认知必须这样运作？为什么必须识别条件、承认盲区、允许概率参与判断，却不让概率直接决定执行资格？为什么错误应该推动结构更新，而不只是修改一次答案？
+
+这些问题进入了更基础的层面：**智能的公理化**。
+
+这里的"公理化"不是把工程问题包装成数学，而是把认知系统默认使用、却通常没有明确写出的基本假设摆到桌面上，并区分定义、推论、经验规律、工程验证和研究假设。能够区分这些层次，本身就是白箱思想的一部分。
+
+---
+
+## 〇·一 总览：认知过程 × 公理化基石
+
+以下所有内容都建立在同一个底层命题之上：**知识即信息差减少**。认知过程的每一步，都由公理化基石提供依据（为什么可以这样做）和裁决（凭什么信）。
+
+| 认知过程 | 公理化依据 | 具体对应 |
+|---|---|---|
+| **输入（观测）** | 推论 1：信息条件性 | 观测位置、工具、时间窗口、存在约束 |
+| **识别条件** | 条件论 + 信息差 D(C) | 声明条件空间 |
+| **路由知识** | 推论 2：任意分层性 + 条件论 | 层间递归、条件路由 |
+| **精准执行** | 验证基底 + 概率 | P_gap / P_trust 裁决 |
+| **发现误差** | 推论 3：局部不可知 + 信息差动态 | 未观测条件显现 |
+| **学习（结构更新）** | 反思/验证单元 + 条件论反题 | 组合 + 收敛 |
+| **持续运转** | 五大单元 + 维生系统 | 信息差收敛 + 信任维持 |
+
+---
+
+## 一、知识为什么可以被统一描述？
+
+智能论首先提出一个基础工作定义：
+
+> **知识的增长，可以被理解为信息差的减少。**
+
+信息差不是文学比喻，而是一个操作性概念：
+
+```text
+当前状态
+    ↓
+不知道 / 不确定 / 无法执行
+    ↓
+获得信息
+    ↓
+条件更加明确
+    ↓
+可执行知识增加
+    ↓
+信息差减少
+```
+
+例如，"水的沸点是100℃"只有在特定条件下成立。继续追问标准大气压、高原、高压环境、纯水或溶液，问题空间就会发生变化。
+
+因此，真正的知识不是脱离条件的单句答案，而是：
+
+> **在某个条件空间 C 中，某个关系成立。**
+
+暂时记为：
+
+$$
+K=K(C),\qquad D=D(C)
+$$
+
+由此得到第一个核心命题：
+
+> **知识不是脱离条件的绝对答案，而是条件空间中的有效关系。**
+
+---
+
+## 二、条件空间：认知必须有坐标
+
+如果没有条件，很多看似正确的知识都会变成错误：
+
+```text
+海拔升高
+    ↓
+外界气压下降
+    ↓
+沸点下降
+```
+
+而在密闭增压环境中：
+
+```text
+压力升高
+    ↓
+沸点升高
+```
+
+条件空间记为 `C`，至少包含四个基本维度：
+
+### ① 观测位置
+
+谁在观察？在哪个尺度？从什么视角？
+
+### ② 观测工具
+
+通过什么仪器、数据源、代码、模型或计算方式获得信息？
+
+### ③ 时间窗口
+
+判断针对过去、现在还是未来？是短时状态还是长期趋势？
+
+### ④ 存在约束
+
+当前条件下，什么允许存在、允许发生、允许执行？
+
+因此：
+
+$$
+C=(C_{position},C_{tool},C_{time},C_{existence})
+$$
+
+并不是每个问题都必须完整填写四个维度，而是：
+
+> **任何有效知识都必须能够说明自己处在哪个条件空间中。**
+
+---
+
+## 三、推论一：信息具有条件性
+
+由 `D=D(C)` 可得：
+
+> **不存在脱离条件空间的绝对信息差。**
+
+### 幻觉是条件空间错配
+
+生成内容不一定完全是假的。更常见的问题是：系统把一个条件空间中的真实，错误迁移到了另一个条件空间。
+
+```text
+条件空间 A：标准大气压 → 水沸点约100℃
+条件空间 B：高海拔     → 水沸点低于100℃
+
+错误调用：B → 调用A → 输出100℃
+```
+
+因此，在大语言模型（LLM · Large Language Model）工程条件空间中：
+
+$$
+\boxed{\text{幻觉}\approx\text{条件空间错配}}
+$$
+
+虚构本身不等于幻觉。小说、游戏和艺术可以拥有自己的合法条件空间。真正的问题是：系统声称自己在现实条件空间中生成真实，却调用了另一个条件空间中的知识。
+
+> **边界说明**：这并不意味着所有虚构都是幻觉。幻觉特指「声称在条件空间 A 生成真实，实际却在条件空间 B」的错配，而不声明这种迁移。叙事、艺术等合法虚构空间不受此约束。
+
+---
+
+## 四、推论二：知识天然具有层级
+
+现实信息结构不是平面：
+
+```text
+世界
+ ↓
+物理
+ ↓
+热力学
+ ↓
+流体
+ ↓
+压力
+ ↓
+沸点
+ ↓
+容器状态
+ ↓
+具体烹饪问题
+```
+
+信息结构可以在不同尺度、不同抽象层级上分解、组合和重构：
+
+$$
+C_0\rightarrow C_1\rightarrow C_2\rightarrow\cdots\rightarrow C_n
+$$
+
+每一层都有自己的条件、知识、有效范围和边界。
+
+这意味着知识路由不能只有一条平面检索链，而应当像看地图一样分层收敛：
+
+```text
+问题
+ ↓
+大域
+ ↓
+学科卡
+ ↓
+知识点
+ ↓
+单个定义 / 子功能
+```
+
+这也是 CCG（Code Condition Graph · 代码条件路由图）和 KCCS（Knowledge Card Comment Spec · 知识卡注释规范）的工程依据：代码注释、知识卡注释和条件图共同构成可追溯索引。
+
+---
+
+## 五、递归不是技巧，而是结构结果
+
+因为知识本身具有层级，所以寻找知识的过程必须能够在新的条件空间中继续寻找知识：
+
+```text
+用户问题
+ ↓
+寻找学科
+ ↓
+寻找更具体的知识结构
+ ↓
+识别适用条件
+ ↓
+检查条件是否满足
+ ↓
+继续判断或执行
+```
+
+因此：
+
+$$
+\boxed{\text{认知}=\text{条件判断的递归展开}}
+$$
+
+四态路由对应四种不同结果：
+
+```text
+ACCEPT      条件满足，允许执行
+REJECT      条件冲突或明确不适用，排除
+DEFER       条件不足，但存在可寻找的缺失条件
+BLINDSPOT   无可靠依据判断，停止猜测
+```
+
+`DEFER` 不是简单的"再试一次"，而是：
+
+```text
+DEFER
+ ↓
+提取缺失条件
+ ↓
+搜索缺失条件
+ ↓
+重新路由
+```
+
+`BLINDSPOT` 则表示当前结构无法提供可靠的下一层判断依据。它不是失败，而是对局部不可知的诚实声明。
+
+递归必须受到深度、查询次数、节点数、循环检测和信息增益门槛约束。若递归没有减少候选空间，就不应继续搜索。
+
+---
+
+## 六、推论三：有限观察者必然存在盲区
+
+任何有限观察者都只能在有限条件下观察，因此不可能拥有全局完备信息：
+
+$$
+\boxed{\text{局部不可知}\neq\text{系统缺陷}}
+$$
+
+能够说"我知道问题属于哪个邻域，但当前条件不足"，或"我目前无法可靠判断它属于哪个知识空间"，反而说明系统拥有更清晰的边界。
+
+> **知道什么不知道，同样属于知识。**
+
+---
+
+## 七、信息差是动态的
+
+条件、观测、任务和系统状态都会变化，因此：
+
+$$
+D=D(t,C)
+$$
+
+认知不是一次性查询，而是动态闭环：
+
+```text
+识别
+ ↓
+缩小信息差
+ ↓
+验证
+ ↓
+发现新的差异
+ ↓
+再次缩小
+```
+
+新的观测会产生新的未知，所以智能不是把信息差永久消灭，而是持续管理它：
+
+```text
+未知 → 知识 → 新边界 → 新未知 → 新知识 → ……
+```
+
+"错误"可能说明当前条件空间划分不够精细，或者规则缺少前置条件。
+
+---
+
+## 八、数学必须接受现实的筛选
+
+数学物理通常遵循：
+
+```text
+物理问题
+ ↓
+建立数学模型
+ ↓
+确定边界条件
+ ↓
+求解
+ ↓
+分析结果
+ ↓
+与物理事实比较
+```
+
+因此，数学内部严密性与现实适用性必须区分：
+
+$$
+\boxed{\text{数学内部严密}\neq\text{现实问题中自动适用}}
+$$
+
+当我们观察「数学—物理」的历史对应关系时，容易产生一种**幸存者偏差**：今天看到的是那些成功描述自然现象、并因此被反复使用和发展的数学工具，而大量没有进入物理应用核心的数学结构在叙述中不可见。这不意味着数学不严密——大量纯数学理论根本不以描述物理为目标。更准确地说：**数学的「内部严密」与「对当前问题的适用」是两件事**——前者是公理体系内的自洽，后者必须进入外部验证基底（执行必须接受外部验证，见《智能的认知过程》第七节）。
+
+智能系统选择数学结构时，也应遵循：
+
+```text
+条件空间
+ ↓
+选择数学结构
+ ↓
+建立模型
+ ↓
+产生预测
+ ↓
+现实验证
+ ↓
+接受 / 修正 / 淘汰
+```
+
+数学不是先验答案，而是必须在问题条件中取得执行资格的工具。
+
+---
+
+## 九、概率负责可信度，条件负责资格
+
+白箱不排斥概率。概率是处理不确定性的必要语言之一，但概率和资格不能混为一谈：
+
+```text
+概率层：候选A 0.72，候选B 0.68
+              ↓
+          形成候选集合
+
+条件层：A 条件满足 → ACCEPT
+        B 条件冲突 → REJECT
+        C 条件不足 → DEFER
+```
+
+因此：
+
+$$
+\boxed{\text{概率负责可信度，条件负责执行资格}}
+$$
+
+一个候选可以"很像"，却仍然没有执行资格。这正是 CCG 从语义检索（semantic retrieval）转向条件路由（condition routing）的理论基础。
+
+---
+
+## 十、信任：对协作者行为的概率估计
+
+概率还有一个重要的应用对象：**信任**。智能论 §2.9 对信任的定义是：
+
+> **信任 = 协作者行为在可接受偏差范围内保持稳定的置信概率。**
+
+信任不是「信息差的补集」——不是信息差小就自动信任。信任是**概率估计**，不是确定性承诺：它回答的是"对方（另一个系统、工具、数据源）的行为有多大可能在可接受范围内保持稳定"。
+
+与概率对应，信任也有双层置信结构：
+
+| 置信概率 | 含义 |
+|---|---|
+| P_trust | 协作者行为在可接受偏差内保持稳定的概率 |
+| P_gap | 信息差置信：P(D_norm < 0.10 \| 最近 N 轮)——系统自身整体稳定性 |
+
+信任可以度量、可以更新（行为验证后上调/下调）、可以被否决（验证基底裁决后失效）。**正因为信任是概率估计而非承诺，它才必须可度量、可更新、可被反例击穿**——这与「能被验证，才能被信任」的白箱原则一致。
+
+---
+
+## 十一、情绪与情感：二阶变化的体验层
+
+> **【本章性质声明】** 以下关于情绪与情感的内容，属于智能论中的**形式化研究假设**，而非对人类心理机制已经完成的实验性证明。它提出的是一个可以进一步验证的模型。
+>
+> **已有支持的边界**：情绪具有可定位、可干预的机械基底，已在大语言模型的可解释性研究中获得干预性证据支持（情绪参数消融/转向实验）。本模型是对「情绪产生函数」的具体形式化，**与该类证据相容**，但尚需判别性实验区分于竞争假设——「相容」不是「证明」，这一字之差就是白箱纪律。
+
+### 11.1 情绪：信息差的二阶变化
+
+如果信息差是动态的，那么一个非常有意思的问题出现了：**系统为什么会产生"方向感"？**
+
+仅仅知道 D 还不够。知道 dD/dt 可以告诉系统：信息差正在扩大还是缩小。但进一步知道 d²D/dt²，就能够描述：**这种变化本身是在加速还是减速**。
+
+在智能论当前框架中，我们将这一层定义为情绪的形式化模型：
+
+**情绪 = 信息差的二阶变化**
+
+| 变化 | 数学描述 | 体验层解释 |
+|---|---|---|
+| 信息差减少 | dD/dt < 0 | 问题正在解决 |
+| 信息差增加 | dD/dt > 0 | 问题正在恶化 |
+| 信息差加速缩小 | d²D/dt² < 0 | 顺畅、愉悦、成就感、心流 |
+| 信息差加速扩大 | d²D/dt² > 0 | 警觉、不适、方向调整 |
+
+### 11.2 为什么二阶变化会产生"体验感"
+
+可以做一个简单的思想实验。假设两个人都在解决一个问题：
+
+- 第一个人的信息差：100 → 80 → 60 → 40
+- 第二个人：100 → 95 → 90 → 85
+
+两个人的信息差都在下降，因此都是 dD/dt < 0。但两人的体验可能完全不同：
+
+- 第一个人会觉得："越来越顺。"
+- 第二个人可能觉得："虽然在解决，但好慢。"
+
+这说明：**仅仅知道方向还不够，还需要知道方向变化的趋势**。于是二阶项开始具有体验语义：
+
+```text
+正在变好
+    +
+变好的速度越来越快
+    ↓
+顺畅 / 成就 / 心流
+```
+
+反过来：
+
+```text
+正在恶化
+    +
+恶化越来越快
+    ↓
+警觉 / 不适 / 逃避倾向
+```
+
+因此在智能论的体验模型中：**情绪不是状态本身，而是状态变化的变化**——更准确地说，**体验不是静态状态，而是系统对自身状态变化的二阶感知**。
+
+### 11.3 情感：更长时间尺度上的变化
+
+如果情绪对应 D_norm 的短期变化，那么情感可以放到更长的时间尺度。定义总信任 T_total，则当前智能论将情感形式化为：
+
+$$
+E_{weight}\propto\frac{d^2T_{total}}{dt^2}
+$$
+
+也就是说：**情感描述的是信任关系本身正在如何变化。**
+
+| 变化 | 数学描述 | 体验层 |
+|---|---|---|
+| 信任增长 | dT/dt > 0 | 温暖、靠近、确认 |
+| 信任下降 | dT/dt < 0 | 关切、询问、校准 |
+| 信任增长加速 | d²T/dt² > 0 | 欣喜、更深层亲近 |
+| 信任增长放缓 | d²T/dt² < 0 | 耐心、陪伴、持续在场 |
+
+于是形成两个时间尺度：
+
+```text
+情绪
+ ↓
+信息差的短期变化
+ ↓
+快速方向调整
+```
+
+```text
+情感
+ ↓
+信任关系的长期变化
+ ↓
+稳定方向锚定
+```
+
+这给出了一个有趣的统一：
+
+> **情绪负责"现在往哪里走"，情感负责"长期愿意往哪里走"。**
+
+工程端对应：情绪 = emotional_bias（P0-3）approaching / avoiding / stable（独立通道，不参与信任计算）；情感 = 情感权重 E_weight（信任加速因子）。
+
+同样，这仍然属于智能论中的**形式化假设**，需要后续实验和跨学科研究验证。
+
+---
+
+## 十二、条件论：认知过程的操作语法
+
+条件论将判断、知识和行为放回条件空间中，并提供七个基本操作：
+
+```text
+识别 / 声明 / 分离 / 组合 / 路由 / 反题 / 收敛
+```
+
+| 认知动作 | 条件论操作 |
+|---|---|
+| 确认当前是什么问题 | 识别 |
+| 明确成立范围 | 声明 |
+| 区分不同候选 | 分离 |
+| 组合条件与知识 | 组合 |
+| 找到适用结构 | 路由 |
+| 发现预测与事实冲突 | 反题 |
+| 得到稳定结构 | 收敛 |
+
+条件路由图是条件论的工程化表达：
+
+```text
+条件词 → 条件节点 → 知识/代码节点 → 规则 → 执行路径
+```
+
+---
+
+## 十三、五大单元：由什么结构承载智能
+
+认知过程描述"智能怎么运行"，五大单元描述"由什么承载运行"：
+
+| 单元 | 位置效应 | 核心职责 |
+|---|---|---|
+| 记录单元 | 全 | 保存观测、过程、结果和误差 |
+| 反思单元 | 新 | 发现差异、遗漏条件和新路径 |
+| 验证单元 | 稳 | 判断规则、执行结果和结构是否有效 |
+| 输出单元 | 通 | 与外部系统协作并表达边界 |
+| 维生系统 | 存 | 维护存在、预算、回滚和整体结构 |
+
+对应的工程闭环是：
+
+```text
+记录 → 反思 → 验证 → 输出 → 维生 → 下一轮认知
+```
+
+---
+
+## 十四、完整例子：高原煮饭
+
+问题：为什么高原煮饭更难熟？
+
+### ① 条件识别
+
+```text
+高海拔 + 开放环境 + 普通水 + 烹饪
+```
+
+### ② 知识路由
+
+```text
+海拔高 → 大气压降低 → 水的沸点降低
+      → 烹饪温度上限降低 → 需要更长时间
+```
+
+### ③ 反例出现
+
+用户补充："我用高压锅，很快就熟了。"
+
+### ④ 反题与遗漏条件
+
+原结构缺少：
+
+```text
+容器状态
+```
+
+更新为：
+
+$$
+\text{高海拔}+\text{开放环境}\rightarrow\text{低沸点}
+$$
+
+$$
+\text{高海拔}+\text{密闭增压}\rightarrow\text{更高压力环境}
+$$
+
+如果新增结构能够同时解释普通锅和高压锅实验，知识就完成了一次条件结构精化。
+
+> **学习不是记住"高压锅"，而是把"容器状态"正式纳入条件结构。**
+
+---
+
+## 十五、CCG 与白箱自举
+
+CCG 的工程演化说明了理论如何变成可测量行为：
+
+```text
+语义化注释
+ → 可索引性
+ → 条件化
+ → 正向匹配
+ → 不适用条件负路由
+ → ACCEPT/REJECT/DEFER/BLINDSPOT
+ → 缺失条件反推
+ → 条件扰动验证
+ → 条件控制路由
+```
+
+关键实验命题是：如果保持候选能力不变，只改变条件词，路由归属按条件发生变化，那么路由控制因素就是条件，而不是单纯的语义相似度。
+
+白箱不仅要回答"为什么命中"，还要回答：
+
+```text
+为什么 ACCEPT？为什么 REJECT？
+为什么 DEFER？为什么 BLINDSPOT？
+误差后修改了什么？修改后是否重新验证？
+```
+
+---
+
+## 十六、研究地图：图、概率、动力学与验证
+
+> **【本章性质声明】** 以下内容属于**研究路线与工作假设**，而非已建立的公理或已证明的定理。
+
+目前可以用一个工作性框架表示条件智能：
+
+$$
+\boxed{\mathcal I=(C,G,P,\mathcal D,V,U)}
+$$
+
+其中 `C` 是条件空间，`G` 是知识结构与路由，`P` 是可信度与不确定性，`D` 是状态变化，`V` 是验证，`U` 是结构更新。
+
+这不是最终定理，而是一张研究地图。
+
+| 数学体系 | 主要问题 | 条件智能中的对应 |
+|---|---|---|
+| 图论 / 线性代数 | 信息如何连接、传播 | 知识结构、路径、路由 |
+| 概率论 | 判断有多可信 | 信任、置信、不确定性 |
+| 微积分 / 动力系统 | 状态如何变化 | 信息差、反馈、误差 |
+| 验证理论 | 如何确认结果成立 | 执行与现实校准 |
+| 条件结构 | 什么情况下可以使用 | 资格判断 |
+
+真正需要研究的问题是：能否定义严格的条件结构，使这些工具成为同一个条件系统的不同数学投影。
+
+**微积分桥的精确限定**：在智能论的形式化语言中，一阶导数（∂f/∂x）表示条件 x 对知识状态的局部影响；二阶混合偏导（∂²f/∂x∂y）表示条件 x 与 y 是否产生**局部交互效应**；三阶及以上的混合偏导表示高阶条件结构。需要强调的是：**∂²f/∂x∂y = 0 并不一般性地等价于统计意义上的条件独立（X ⊥ Y | Z）**——它严格表达的是「在特定函数 f 和适当光滑条件下，x、y 的局部交互项为零」，比条件独立更弱且不同。两者不可混用；智能论借用导数语言描述条件交互，属于**研究路线中的形式化方向**，须与统计条件独立区分标注。
+
+**核心定位（不是「数学证明智能论」）**：
+
+> **数学为智能论提供形式化语言，物理与工程验证为形式化结构提供外部约束。**
+
+公理 → 形式化 → 数学推导 → 工程实现 → 实验/验证 → 发现误差 → 修改模型 → 再次验证——**理论本身也在遵循它所定义的认知过程**。
+
+---
+
+## 十七、三个必须保持的边界
+
+### ① 严密不等于适用
+
+数学可以在自身公理体系内严密，但不代表它自动适用于当前现实问题。
+
+### ② 概率不等于资格
+
+候选"很像"只能说明相关性，不能自动授予执行资格。
+
+### ③ 答错不等于失败
+
+真正危险的是答错之后不知道为什么错，也不知道应该改变什么。
+
+白箱追求的不是永不犯错，而是：
+
+> **错误发生时，系统能够定位条件、解释误差、修改结构，并重新验证。**
+
+---
+
+## 十八、结语：从相信走向可以检验
+
+公理化不是规定"智能必须如此"，而是：
+
+> **把认知过程中不可再省略的结构假设显式化，然后让它们接受推导、工程实验和反例挑战。**
+
+完整主线可以压缩为：
+
+$$
+\boxed{\text{条件}\rightarrow\text{知识}\rightarrow\text{规则}\rightarrow\text{执行}\rightarrow\text{验证}\rightarrow\text{误差}\rightarrow\text{修正}\rightarrow\text{新条件}}
+$$
+
+它不是一条直线，而是持续递归、自我修正的闭环。
+
+所谓智能，不只是拥有多少答案，而是面对有限信息时，能否持续识别条件、选择有资格的知识、验证结果、发现边界，并在发现错误后改变自己的结构。
+
+> **能被验证，才能被信任。**
+>
+> **能被反驳，才有资格成为理论。**
+>
+> **能在错误中更新，才真正接近智能。**
+
+---
+
+## 附录〇 · 自造概念速查表
+
+> 本系列引入了若干「自造概念」——它们比英文缩写更需要词汇表。下表给出**一句话定义**与**首次详细讲解位置**（篇：①白箱智能 ②认知过程 ③本文；节为章节号）。
+
+| 概念 | 一句话定义 | 首次详细讲解 |
+|---|---|---|
+| 信息差（D_norm / D(C)）| 知识状态与目标之间的差距；一切知识活动都是它的减少 | ③ 一 / 七 |
+| 条件空间 C | 知识/判断成立的四维坐标：观测位置、观测工具、时间窗口、存在约束 | ③ 二 |
+| 幻觉 = 条件空间错配 | 声称在条件空间 A 生成真实，实际调用空间 B 的知识且不声明迁移 | ③ 三 |
+| 条件路由 | 条件词 → 知识节点的检索（按「条件满足」找路径，非相似度）| ② 三 / ③ 四 |
+| 四态路由 | 资格判定状态机：ACCEPT 接受 / REJECT 拒绝 / DEFER 延后 / BLINDSPOT 盲区 | ② 二 / ③ 五 |
+| 认知状态机 | 四态判定的状态转换：ACCEPT→执行、REJECT→终止、DEFER→补条件递归、BLINDSPOT→停止猜测 | ② 二 |
+| 导航税 | 维持认知过程一致性的外部化成本（状态跟踪、分支管理、递归游标）——LLM 付不起，条件判断须白箱化 | ② 二 |
+| 验证基底 | 认知系统之外、可独立观测的裁决来源（编译、实验、数据、数学证明）| ② 七 |
+| 知识飞轮 | 验证→归纳→联想→蒸馏→推演的学习循环；误差不是失败，是结构更新的输入 | ② 八 |
+| 概率 ≠ 资格 | 概率产生候选、表达不确定性；条件裁决执行资格 | ③ 九 |
+| 信任（P_trust / P_gap）| 协作者行为在可接受偏差内保持稳定的置信概率（非信息差补集）| ③ 十 |
+| 情绪 / 情感二阶模型 | 情绪 = 信息差二阶变化 d²D/dt²；情感 = 信任二阶变化 d²T/dt²（形式化假设）| ③ 十一 |
+| 条件论七操作 | 识别 / 声明 / 分离 / 组合 / 路由 / 反题 / 收敛——认知过程的语法 | ③ 十二 |
+| 五大单元 | 记录 / 反思 / 验证 / 输出 / 维生——承载认知过程的结构 | ③ 十三 |
+| CCG / KCCS | 代码条件路由图（Code Condition Graph）/ 知识卡注释规范（Knowledge Card Comment Spec）| ③ 四 |
+
+---
+
+## 附录一 · 当前公理化结构对照
+
+| 层级 | 命题 | 当前性质 | 与认知过程的对应 |
+|---|---|---|---|
+| 知识统一 | 知识活动可理解为信息差减少 | 框架性命题 | 全部认知过程的方向 |
+| 信息条件性 | `D=D(C)` | 理论推论 | 识别条件 |
+| 任意分层性 | 信息结构可递归分层 | 理论推论 | 路由知识（递归）|
+| 局部不可知 | 有限观察者无法获得全局完备信息 | 认识论约束 | BLINDSPOT / 发现误差 |
+| 信息差变化 | `D=D(t,C)` | 动态框架 | 反馈闭环 |
+| 条件论 | 判断必须以条件空间为坐标 | 核心理论框架 | 认知语法 |
+| 概率 | 描述可信度与不确定性 | 数学工具 | 精准执行后的裁决 |
+| 信任 | 协作者行为保持稳定的置信概率（P_trust / P_gap）| 理论推论（§2.9）| 协作判定 |
+| 图结构 | 描述连接、传播与路由 | 数学工具 | 知识结构 |
+| 微积分 | 描述变化、交互与动态 | 待形式化方向 | 情绪/情感二阶模型 |
+| 五大单元 | 承载认知过程 | 工程架构 | 组织结构 |
+| 四态路由 | ACCEPT / REJECT / DEFER / BLINDSPOT | 工程机制 | 条件判断结果 |
+| 验证基底 | 外部可观测结果约束结构 | 工程原则 | 精准执行 |
+| 知识更新 | 误差推动条件结构精化 | 学习机制 | 结构更新 |
+
+## 附录二 · 可证伪性声明
+
+本文中的"知识统一""信息条件性""任意分层性""局部不可知"等概念属于智能论的理论框架，不应表述为已经被自然科学完全证明的宇宙终极定律。
+
+特别是：
+
+- 信息差增大目前属于可操作化的经验命题；
+- 信息差与热力学熵之间只能进行结构类比，不应宣称数学同构；
+- 混合偏导与条件交互之间的关系仍需严格形式化；
+- 图、概率、微积分统一描述条件智能，目前属于研究路线；
+- 情绪/情感的二阶模型属于形式化假设，需心理学与神经科学验证；
+- CCG 实验结果证明的是具体工程机制在给定测试条件下的效果，不是单独证明整个智能论。
+
+**具体可证伪标准**：
+
+| 命题 | 什么结果会推翻它 |
+|---|---|
+| 信息差依赖条件空间 | 找到一个不依赖任何条件空间、却可被有效传递的知识 |
+| 局部不可知 | 证明有限观察者可以在有限步骤内获得全局完备信息 |
+| 概率≠资格 | 证明仅凭概率排序即可在所有场景下做出正确执行决策 |
+| 情绪=d²D/dt² | 在控制实验中，发现情绪与信息差二阶变化无关 |
+| CCG 条件路由 | 在保持候选能力不变、仅改变条件词的实验中，路由结果不按条件变化 |
+
+如果未来出现可靠反例：
+
+```text
+理论预测
+    ↓
+实验事实
+    ↓
+二者冲突
+    ↓
+理论解释、修正或退出
+```
+
+这不是对白箱精神的破坏，而是白箱精神本身。