认知状态账本

---

本页是站点的"已知与何以知之"索引。 它不是免责声明——免责声明在【范围】页。这是一份清册：针对理论所做的每一条陈述，它挂五类标签中的哪一类，以及读者可以去哪里核查。

生成这些标签的那条规则

本纲领给自己立了一条纪律，而本站之所以这样组织，正因为它：

定理与解读被严格分开——论文称之为谨慎之墙（wall of caution）。"定理"只指已被证明者，经典证明或 Lean 证明，别无他意。

标签	含义	读者如何核查
定义	一项约定。无可证明；它固定词汇。	读它；检查它是否被一致使用。
假设	理论不去推导的前提。	问它对你所关心的系统是否成立。
机器检验	带机器检验证明的定理。	跑复算命令。
猜想	已陈述，未证明。可能是假的。	去找反例。
经验预测	关于世界的陈述，未检验。	去跑实验；它被设计成能够失败。

账本

定义

陈述	所在
$\mathsf{Caus}$——因果干预范畴	对象
$A:{\mathsf{Caus}}^{\mathrm{op}}\to {\Delta }^2$——归因函子	对象
$B=\mathrm{StableClosureFiber}(A)$——边界	对象
$\partial =(\mathrm{Fix}(c),b)$——二分解	对象
$V(\kappa )=c_0\kappa +\alpha C_F/\kappa$——势	力学
$\sigma ={\sigma }_0{\kappa }^2$——张力	可观测量

假设

陈述	该假设的地位
A1–A3——归因函子与干预的相容性	被选定。它们定义那个对象；没有东西迫使它们。
A4–A5——熵项与维持项进入势	作为值层设定被选定。
A6——校准恒等式（与核的 logistic 形式等价）	唯一实质假设。 它是本工作的基础，不是它的结果，且永久限于 assumption 环境。假设
A7——维持成本在不相交子系统上可加、且对锐度连续	自然、可陈述、且可证伪。迫使线性者正是它。假设
变量识别——$\kappa \leftrightarrow$ 刚度，及其同伴	未被导出。这就是被检验的假设。映射假设

机器检验的定理

陈述	所在
干预范畴是自由范畴，带其普适性质	范畴层
内聚是闭包算子；边界是其不动点集	对象
缺陷是可判定的障碍类	范畴层
熵项：$H(\kappa )=C_F/\kappa$，对 $\kappa$ 单调递减	力学
无 A7 时维持项自由（存在两个可采纳模型）	力学
在 A7 之下维持项线性：$M(\kappa )=c_0\kappa$	力学
非范畴性：势只被确定到 $c_0$ 为止	力学
唯一极小 ${\kappa }^{\ast }=\sqrt{\alpha C_F/c_0}$，且 $V^{\ast }=2c_0{\kappa }^{\ast }$	可观测量
${\sigma }^{\ast }=\alpha C_F/C_0$，且 ${\sigma }^{\ast }=1⟺{\pi }^2\alpha =3C_0$	可观测量
临界轨迹分岔；其投影是分支覆盖	可观测量
守恒的代数内核：力是负梯度；能量括号沿运动方程恒为零	可观测量
吸引子有唯一不动点与精确几何速率	可观测量
普适性分裂：G4 在状态层成立、在核层失败	可观测量

猜想与未决项

项	为何未决
核的来历	未被导出；核族被分类，未被解释。
为何两条对称性成立	几何收缩是由它们推出的；它们自身的根据未给出。
"已决"的实验判定程序	作为协议陈述；未实现。
步 ↔ 秒的映射	无推导。
跨域对接可加性	无定义、无定理、无检验。不得当作既成前提。猜想

经验预测

项	状态
P1——$\sigma$ 在一个控制器群体里聚集在 $1$ 附近	未跑
P2——平衡环频率为 $\omega =\sqrt{2}$	未跑
P3——刚度与估计器熵按 $\sigma \propto H^{-2}$ 协变	未跑
三个锚点作为可证伪对应	映射假设

明确不主张

不主张
不承诺 qualia、现象意识或第一人称经验。
不使用、也不承诺自由能原理。
不主张任何真实系统被测试过。
不主张该形式类在一般意义上刻画了自主性。它是否做到，正是那个经验问题。