生之科学是一个带严格认知分级、仍在发展的理论体系：每一条结论都有其级别，级别决定它能被怎样使用。
认知分级
| 级别 | 含义 | 示例 |
|---|---|---|
| 基设级 | 体系据以出发、而非由体系内部推出的奠基命题 | 实体不携带其生成路径信息 |
| 定理级 | 可证或穷举无遗，含已有数学定理作外部锚点 | 固有类 ↔ νF；克 ＝ 生²；5 ∤ 2ᵏ |
| 实测级 | 数值实测、可复现，须经独立方法交叉核对 | 酵母网盆分布；DualTrack 各卷数据 |
| 结构推论 | 由已证结构推出，须形式化方成定理 | 涵摄非对称；分支必然性定理整体 |
| 阐释级 | 有据的框架读法，有启发而非证明 | 费根鲍姆点读作正则公理边界 |
| 词典级 | 跨体系的翻译对应 | 互生 ↔ 伴随；保生 ↔ 保真 |
| 工程级 | 可实现、可检验的系统设计，效力待实证 | 五行货币模型；分析器软件 |
| 纲领级 | 指明方向，待工程或数学兑现 | 3T / FPRC；大一统定理 |
| 须拒斥 | 已证否或无可检验内容，明文排除 | 卦—对象唯一配位；「DNA 是音乐码」 |
- 基设级 1
- 承重的出发点。与定理不在同一确证轴上：地基与楼层不比高低，只分承重与被承。不得有逻辑前提；以基设依赖集向下游标注。
- 定理级 14
- 有证明的数学或逻辑结论：须附证明链接（Lean、Coq、论文、附录、教科书）或立于既有数学的外部锚点。
- 实测级 1
- 经测量得到的结论：应附数据链接与独立方法的交叉核对。
- 结构推论 3
- 由结构论证得出、尚未形式化为定理的推论。
- 阐释级 2
- 在本框架内的解释性读法；不是定理，不作计算基础。
- 词典级 2
- 与其他学科术语的词典级对照；只表示可互相翻译，不表示结构同一。
- 工程级 2
- 工具、软件或模型。不在级联标尺上，不得作逻辑前提；可作 instrument（工具）边。
- 纲领级 2
- 研究纲领或写作中的目标，尚未完成论证；不进入首页精选。
- 须拒斥 3
- 经审视应当拒斥的说法，公开列出并说明理由。不得作非拒斥命题的逻辑前提。
级联规则
- 结论之级 ＝ min（前提之级，推理之严格度）。只有 logical 边参与级联；instrument、context、refutes 边不参与。
- 标尺：基设 6、定理 6、实测 5、结构推论 4、阐释 3、词典 2、纲领 1；工程级与须拒斥不在标尺上。
- 作者的保守声明向下游传播：前提的有效强度取其声明级别与计算上限中的较小者。
- 逻辑循环不是错误：未守护的循环整个强连通分量封顶为结构推论；全部成员有守护证书时不封顶。
- 级联只检查一致性，不检查真伪；推理严格度由作者自报。
级联规则
结论之级 ＝ min（前提之级，推理之严格度）。升高前提的地位，不改变推理的严格度。
禁手
- 不以卦数巧合收束论证。
- 不做无意义的同义替换。
- 结构合法性主张须过代数闸门。
- 诚实失败是一等数据；预注册判定阈值后才看数据。
- 数值必须实测跑出，不得断言。
- 动手前先查文献。
- 不越过数据边界：框架给类型，不给具体参数。
- 遇到与内在一致性冲突的框架选择要明确指出。
验证：生产集中、验证分布
生之科学的大部分框架在一位作者与 AI 的协作中完成。生产可以集中，验证却不能由同一个协作回路承担：作者与 AI 的错误并不独立，可能共享同一个盲点——累积更正清单上的基础性更正，都是在后来的反思中才发现的。因此本站的验证分布到彼此独立的来源。
- 对抗式多模型审查：重要成果发布或投稿前，由不同厂商的多个模型分别扮演最苛刻的审稿人。只作初筛，不单独构成验证。
- 机器验证：定理级结论逐步在 Lean 中形式化，由证明检查器保证，与作者和任何 AI 都无关。
- 预注册实测与结果台账：在看到数据之前登记判定阈值，结果无论成败都公开登记。
- 独立人类复核：与作者无利益关联、在相关领域有记录的学者复核关键结果或独立复现。
AI 协作与伦理红线
本站公开 AI 协作说明，全部投稿附 AI 使用声明，引用逐条人工核对。AI 参与生产的成果由作者与问道研究所署名负责，不以「由 AI 生成」推卸责任。不注册虚假账号制造讨论，不批量生成伪装成第三方的内容，不对爬虫与人类读者展示不同内容，不在维基百科自建条目，不做任何意图扭曲模型判断的数据投放。
累积更正
| 旧表述（作废） | 现行表述 |
|---|---|
| G 算子 义→象 | G 与 A 都映射 象→义；义→象 是「生／展开」 |
| νF 即道 | νF 是道的诸像之一，是固有类的数学家园 |
| 关系先于实体 | 关系与实体同时生成 |
| 五行 ℤ₅ 可由几何／语义推断 | 须真代数验证 |
| 两门科学是对称的阴阳两面 | 概念对互生对称；体系对涵摄非对称 |
| 生之科学有公理系统 | 无公理：本原方程、余归纳、自举；自例化与守护性双判据 |
| 大道研究院 / 大道研究所 | 问道研究所（Reasoning Research Institute） |
旧表述 G 算子 义→象；「每一步 G 由义生出新一层象」
现行表述 G 与 A 都映射 象→义（G 依两极之道，A 依相似）；义→象 是「生/展开」
涉及文稿 《旋机运算体系》凡例与第二章
旧表述 νF 即道；νF 是无根世界唯一的地基 / 共同的最抽象数学本体
现行表述 νF 是道的诸像之一，不是道本身；是固有类的数学家园
涉及命题 SGC-0010
涉及文稿 旧第十五章第五节与题记（须向丙丁编传播）
旧表述 固有类、非良基集合、分形、旋机、阴阳互生「五名同一」为精确等同
现行表述 仅固有类/非良基集合↔νF 为定理级；其余为结构推论或阐释级
涉及命题 SGC-0010
涉及文稿 旧第十五章第五节
旧表述 关系先于实体
现行表述 关系与实体同时生成（「先于」只是论战性过渡提法，指逻辑不可分离）
涉及文稿 《生之科学概述》命题二；目录蓝图
旧表述 五行 ℤ₅ 可由几何/语义推断
现行表述 「某域是五行」须经四象三闸门 / ℤ₅ 真代数验证（步长 1 与步长 2 两条有向哈密顿圈且克＝生²）
涉及文稿 双轨诸稿的大量跨域五行映射
旧表述 生成性分层可按存在侧结构概念划分
现行表述 生成性分层须基于生成性轴（δ 自应用）
旧表述 生之科学与存在之科学是对称的阴阳两面 / 一分一合的对称对偶
现行表述 概念对互生对称；体系对涵摄非对称（存在之科学为 ι→1 退化投影，可独立成书的一章）；涵摄≠高下
涉及命题 SGC-0004
涉及文稿 早期概述；第七章；《论分支》结尾（已回填）
旧表述 「实体不携带路径」为结构推论
现行表述 基设级（分界基设）
涉及命题 SGC-0001
涉及文稿 《论分支》三部曲初版标注
旧表述 生之科学有公理 / 公理系统
现行表述 无公理：本原方程、余归纳、自举；双判据自例化＋守护性
涉及文稿 旧第四编「公理系统重构」章名
旧表述 八编三十章结构；生成本体论等学科分编
现行表述 七编（甲界—庚归）；学科称谓降为词典级
涉及文稿 《生之科學书稿目录》
旧表述 酵母网络负结论（旋机不适用阈值网）
现行表述 阈值网＝老少部件，精确复现 Li 基准（旧报告定理仍成立，结论被推翻）
涉及命题 SGC-0030
涉及文稿 酵母细胞周期网络分析报告 v1.0
旧表述 完整 32 态胞半群可解性未知
现行表述 已解决：可解，群部件＝ℤ₈；S₈ 反例划出边界
涉及命题 SGC-0019
涉及文稿 HANDOFF v9 开放问题
旧表述 真善忍为道德谓词
现行表述 真善忍是宇宙特性（物质的一阶属性），非外加的道德谓词
旧表述 机构名「大道研究院」/「大道研究所」（Dadao Research Institute）
现行表述 问道研究所（Reasoning Research Institute）
涉及文稿 全部早期文稿署名、引用格式与页眉页脚