NS_GSM 形式化與交叉複現 v0.6

不升級 v0.5 那 12 個 PROOF 資產的閉合狀態,只加強它們的可稽核性。把每一個編譯成機器可讀的「形式化中介表示」(NSGSM-FIR/0.1),再送過一支刻意隔離、不匯入 csm_runtime 或原 v0.5 驗證模組的獨立 python -I 複現器——真正獨立的第二套實作,12/12 全部 MATCH。同時附上一筆真實外部文獻引註:ETN-X Prop 8.1 的依賴正式錨定到 Escauriaza–Seregin–Šverák(2003),DOI 10.1070/RM2003v058n02ABEH000609(NS 文獻裡真實、知名的 critical-L³ 正則性判準),明言「這是文獻/依賴錨定……不重新證明外部定理」。新增四個正交權威層級:FORMALIZED_CORE_ONLY、CROSS_IMPLEMENTATION_REPLICATED、EXTERNAL_THEOREM_ANCHORED、FORMAL_PROOF(schema 保留)。關鍵:FORMAL_PROOF 計數是 0。