下列工具都是結構分析工具,不取代領域方法;工程級的系統效力待實證。每個工具都對應一個首批問題類:生之科學以「問題—解法包」交付成果——從問題出發,事先登記預測與判定閾值,公開工具、代碼與實測結果(包括失敗),附驗證證書。
工具與平臺
軟體
旋機全基因組分析器
基因調控網路的旋機分析:找回路、標相位、判型、窮舉吸引子與吸引盆。已對 Li 2004 酵母細胞週期網路完成四重獨立驗證的復現。首個解法包(細胞命運)的基礎。工程級
平臺
旋機成事 v0.4.1
識別實現願望的旋機,作三值存在性判定,給出點火與剋制設計,以撤出檢驗確認閉合。前瞻資料滿 100 條之前不開放回流分析。不承諾必然成功。工程級
評測
雙軌評測基準 DTEB
以雙軌概念生成論評測語言模型的概念結構;DualTrack 七卷實測在先(其中包括被真實資料證偽的預測),構念效度研究按預註冊進行。綱領級
資料庫
概念生成圖譜 CGM
概念生成關係的資料庫與循環結構識別;與互模擬身份判據(定理級)配合,用於軟體循環與同一性問題。
模型
五行貨幣動態模型 v3.0
貨幣與社會經濟動力學的五行模型,只以預註冊預測與公開臺賬的方式執行。工程級不構成投資建議。
驗證設施
形式化
Lean 形式化庫(建設中)
把定理級結論逐條寫入 Lean 4 證明助手:首條試點為克 = 生²,其後是 5 為最小雙哈密頓封閉、5 ∤ 2ᵏ、旋機胞半群可解、RSC₀ 健全完備。
臺賬
預註冊與結果臺賬(建設中)
解法包的預測與判定閾值在看到資料之前登記;結果無論 PASS、PARTIAL 還是 FAIL,一律記入公開臺賬。