← NS 專區 · NS-GSM

NS-GSM

第 17 條子線 · 種子資料集 + 7 個版本(v0.1–v0.7)

「NS_GSM」是這個系列自己使用的 canonical 代碼,原始文件明確聲明不擅自替 GSM 補上未經發起者指定的英文展開, 本站沿用這個界線,只用 NS_GSM 這個代碼,不猜測展開。這不是一批論文,而是一套可執行的軟體與稽核紀錄—— 把 閉包空間數學論(CSM) 方法論(見 Paper 09) 實際套用到既有 NS 研究本體上的 Reference Runtime,逐版把既有研究文件匯入、審查、稽核、驗證、形式化、 嘗試橋接到外部證明工具。

誠實的終點:八個版本走完,root formal NS、C1、C2 全部維持 OPEN,沒有任何淨變化。真正移動的只有 13 個窄範圍的局部/有界引理定理(DCRP103/104/105 的張量代數恆等式,加 4 條 RFP 定理),沿著內部權威階梯往上爬 (候選 → 結構性 → AUDIT → PROOF → 形式化/複現 → Lean 骨架但未核驗),過程中反覆、明確聲明這一切都不會 關閉母問題 NS 或 C1/C2 的證明義務。MORP 與 FCBP 雖然從 v0.2 就已完整收進語料,但在 v0.4–v0.7 的稽核管線裡 從未被個別碰觸。v0.7 建成通往外部工具 FELRA(Lean 後端)的翻譯管線,但這個建置環境裡沒有 lake/lean/felra 執行檔,實際 Lean 核驗結果是 0。