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