閉包演算、組合規則與證明承載算子

把 Paper 00–06 收斂成第一個可執行演算。每個閉包算子都獲得明確的型別簽章、前置條件、轉換、後置條件、證書、債務與版本,打包成「證明承載閉包算子」(PCO)。定義 18 個成員的第一版算子家族(Infer、Block、Refute、Prove、Condition、Bridge、Project、Transfer、Quotient、Split、Reopen、Discharge、Cut、Cover、Exhaust、Promote、Replay、Compile)。關鍵主張:合法性不會自由組合——兩個個別合法的算子仍需要明確的「組合證書」才能讓組合算子合法,涵蓋型別/範圍/證書/債務可組合性、權威不膨脹、版本一致性、橋接一致性與重開失效。引入閉包正規形式管線(Normalize→Validate→Infer→Propagate→Resolve→Rebuild→Project),以及舊文件標籤必須先被解析成候選層物件才能進入演算的最小 NS 編譯器介面。