← AMRAL · PROGRAM-P-VS-NP

P/NP 動態四層閉合框架

Dynamic Four-Layer Closure Framework · Neo.K 主導,協作整理 Aletheia

24 輪對偶預演之後,研究者提出的下一步重新表述:把傳統 P vs. NP 問題拆成四個彼此關聯、 功能不同的觀察面——全域計算複雜度態 GCC、全稱狀態速率變換態 USRT、全稱有效序列生成態 USEG,以及作為封頂驗收條件的全域無損完成態 GLC。核心工程式表述是: 「過程自由,最終帳本不自由。」演算法中途可以換路、改表示、rollback、重算,但最終必須交付正確、 完整、零語義損失且資源帳合格的結果。文件本身明確自陳定位——啟發式重描述 + 形式化研究議程,不是已完成的 P vs. NP 證明,並列出七八條「不得如此推論」的研究紅線。

本頁把兩份「研究交接」文件並陳,而不是替研究者選邊——兩者是同一個四層框架的兩種不同執行順序提案, 差異在於 GLC 該當作最後驗收層,還是該提到最前面當語義地基。