一篇声称要陈述自身弱点的论文，若那些免责声明在读者已经形成印象之后才出现，就一文不值。所以它们在这里——在理论页之前，不是之后。
它们贯穿整个纲领：
α 是「边界不清晰之代价」的建模参数，不携带变分自由能或惊奇（surprise）方面的承诺。| # | 局限 | 代价 |
|---|---|---|
| 1 | 未经实验验证。没有真实系统被测试；P1–P3 是预测，不是事实。 | 经验层为空 |
| 2 | 未经同行评审。这是预印本，未经过独立专家评审。 | 无外部认证 |
| 3 | 建模选择 vs 定理。κ*、σ*=1、dE/dt≡0 与收敛结果，都是在所述建模选择之下的定理。logistic 核、成本 ∝κ、容量 ∝1/κ、以及价格 α，都是经验合法性仍开放的建模选择。 | 势的一半是被选定的，不是被导出的——而自本版起，哪一半本身已被机器检验 |
| 4 | 值层是 logistic 实例。那 33 条声明形式化的是 logistic 坐标实例；一般 C_F 的陈述是结构性的，其定量谱是计算，不是机器证明。 | 不要把冻结语料读成覆盖所有核 |
| 5 | 范畴层不解决那个识别。「一个系统的归因结构就是这样一个函子」是假设；再多的形式化也去不掉它。 | 核心的本体论步骤仍是假设 |
| 6 | 与自由能原理的边界。见红线 2。 | 不借邻接框架的权威 |
| 7 | 本体论中立。见红线 1。 | 没有形而上主张需要辩护或攻击 |
| 8 | 工程桥是映射假设。变量识别是被假设的，不是被导出的。 | 通向测量的那条路架在一个假设上 |
「一般」有两种互不相容的用法。日常用法指广泛适用。而在范畴论里，universal 是术语：由一条普适性质刻画，因而在同构意义下唯一——这并不蕴含广泛适用。所以本纲领明说自己主张哪一级，不让「一般」去干它干不了的活。
| 级 | 名 | 含义 | 本工作是否主张 |
|---|---|---|---|
| G0 | parametric | 带自由参数的公式 | — |
| G1 | equivariant | 在群作用下有确定的变换律 | 是 |
| G2 | functorial | 与参数范畴的所有态射交换 | 是 |
| G3 | universal | 由一条普适性质刻画 | 是 |
| G4 | free / 2-universal | 每个模型唯一地经过它分解 | 状态层：是 · 核层：否 |
本纲领给自己立了一条纪律，而本站之所以长成这样，正是因为它：
sorry 编译通过的声明，或（2）对某一被引来源的忠实报告。其余一切都是解读，必须携带其标签，且不得出现在定理位置。
这就是本站每一条陈述都挂五类标签之一的原因：定义 假设 机器检验 猜想 经验预测