型別閉包圖、阻斷傳播、重開與前沿收縮

CSM 第一個圖操作核心。主張一般有向圖無法承載成熟的證明空間閉包狀態,需要型別化的有向超圖(多前提、多輸出、條件式、有版本的邊)。在此超圖上定義蘊含閉包、等價商化閉包、條件閉包、阻斷傳播閉包、橋接介導閉包、重開算子、前沿收縮、債務傳播、閉包登錄簿與相對路徑耗盡證書。核心不崩塌原則:RouteBlocked ≠ ClaimRefuted ≠ BranchClosed ≠ DomainClosed——阻斷只有在假設、範圍、表示法、橋接、目標保真度都對齊時才能沿依賴邊傳播,否則只是局部受阻狀態,絕不升格為定理級別的不可能結果。附帶把舊文件標籤(NO-GO、OPEN、SURVIVOR、CONDITIONAL、CLOSED)轉成型別化節點/超邊/阻斷證書的 NS 編譯規則。