統一計算證書壓縮與普遍化跳躍:從 trace 壓縮到 EXPTIME 完備性反轉

先確認長計算不必然代表長證明——PCP、interactive proofs、succinct arguments 都證明改變 proof representation 或 verifier model 能大幅壓縮驗證成本。但定義 UCPE(把機器 M、輸入 x、時鐘指數 1^k 全部統一當成同一個輸入域的通用有界停機評估)後,出現本輪最重要的反轉:每個固定 (M,k) 切片都在 P,但把 k 也變成可變輸入後,整個 UCPE 是 EXPTIME-complete(因為 k 可隨實例增長,(|x|+2)^k=2^Θ(k log|x|))。這立刻產生驚人的反向結果——若假設存在統一固定次數 NP 證書使 UCPE∈NP,結合 EXPTIME-completeness 直接得到 EXPTIME⊆NP,再由 NP⊆EXPTIME 得 NP=EXPTIME,而 P⊊EXPTIME,故 P≠NP。統一壓縮要求得太強,不是幫等號隊解圍,而是直接送分給不等號隊。因此真正該追的窄縫是只在對角自指切片(C_i,x_i)上的短拒絕證書。