生之科學是一個帶嚴格認知分級、仍在發展的理論體系：每一條結論都有其級別，級別決定它能被怎樣使用。
認知分級
| 級別 | 含義 | 示例 |
|---|---|---|
| 基設級 | 體系據以出發、而非由體系內部推出的奠基命題 | 實體不攜帶其生成路徑資訊 |
| 定理級 | 可證或窮舉無遺，含已有數學定理作外部錨點 | 固有類 ↔ ν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）
涉及文稿 全部早期文稿署名、引用格式与页眉页脚