NS_GSM 獨立驗證 v0.5

「獨立」的精確意義:一支獨立於原推導的套件內 Python/SymPy 驗證模組,從頭重新推導每條宣稱(例如 verify_d103_1() 用 SymPy 符號式重新核對交換子恆等式),不是外部/第三方審查,不是人類數學家,也不是證明助理。報告本身明確畫出這條界線。把 v0.4 的 13 個 AUDIT 資產逐一送過專屬驗證器,產出 14 筆驗證紀錄:12 筆從 AUDIT 升級為 PROOF,2 筆刻意不升級。驗證器類型:SYMBOLIC_EXACT(7,SymPy 代數)、ANALYTIC_SCHEMA(4)、EXACT_WITNESS(1)、GRAPH_THEOREM_REDUCTION(1,RFP-05 的無限路徑定理)、CORPUS_AUDIT(1,依設計不可晉升)。RFP-10 Thm 42.1 停留 AUDIT(其驗證器屬 CORPUS_AUDIT,明言「相對於目前的候選覆蓋,不具備證明晉升資格」);ETN-X Prop 8.1 也停留 AUDIT——UV 必要性化簡雖重新核對,但依賴一個外部 critical-L³ blow-up 判準,「v0.5 不重新證明、也不當作獨立驗證定理證書正式引入」。