問道研究所

Reasoning Research Institute

資源與工具

生之科學的軟體、平臺、資料與正在建設的驗證設施。

下列工具都是結構分析工具,不取代領域方法;工程級的系統效力待實證。每個工具都對應一個首批問題類:生之科學以「問題—解法包」交付成果——從問題出發,事先登記預測與判定閾值,公開工具、代碼與實測結果(包括失敗),附驗證證書。

工具與平臺

軟體

旋機全基因組分析器

基因調控網路的旋機分析:找回路、標相位、判型、窮舉吸引子與吸引盆。已對 Li 2004 酵母細胞週期網路完成四重獨立驗證的復現。首個解法包(細胞命運)的基礎。工程級

平臺

旋機成事 v0.4.1

識別實現願望的旋機,作三值存在性判定,給出點火與剋制設計,以撤出檢驗確認閉合。前瞻資料滿 100 條之前不開放回流分析。不承諾必然成功。工程級

評測

雙軌評測基準 DTEB

以雙軌概念生成論評測語言模型的概念結構;DualTrack 七卷實測在先(其中包括被真實資料證偽的預測),構念效度研究按預註冊進行。綱領級

資料庫

概念生成圖譜 CGM

概念生成關係的資料庫與循環結構識別;與互模擬身份判據(定理級)配合,用於軟體循環與同一性問題。

模型

五行貨幣動態模型 v3.0

貨幣與社會經濟動力學的五行模型,只以預註冊預測與公開臺賬的方式執行。工程級不構成投資建議。

驗證設施

資料

公開命題庫

生之科學的全部公開論斷:永久編號、九級認知標尺、上下游依賴、更正清單與級別變動日誌;可經 REST 與 MCP 介面由 AI 代理查詢。

形式化

Lean 形式化庫(建設中)

把定理級結論逐條寫入 Lean 4 證明助手:首條試點為克 = 生²,其後是 5 為最小雙哈密頓封閉、5 ∤ 2ᵏ、旋機胞半群可解、RSC₀ 健全完備。

臺賬

預註冊與結果臺賬(建設中)

解法包的預測與判定閾值在看到資料之前登記;結果無論 PASS、PARTIAL 還是 FAIL,一律記入公開臺賬。

AI 助手