Block／Delayed Diagonalization:密度逃逸、階段控制與條件性進度

既然單點對角化落入稀疏上推陷阱,試著改用長度區塊、階段與延遲。但立刻證明同一輸入尺度上的指數不對稱不會因為「再等久一點」而消失(Same-Input Exponent Invariance)——這是廢話級的數學事實,卻精確排除了「把模擬延後到更大同長度輸入」這條路。把一個對角位元放大填滿整個區塊也不會讓它變便宜,只是把成本從「每個輸入」搬到「區塊控制器」(Amplification Knowledge Debt)。真正的 Ladner 式延遲對角化技巧,不是暴力模擬更晚,而是階段控制器只在真正找到有限反例證據後才前進一格。但這裡出現本輪最重要的雙面刃:如果控制器在某個候選機器上永遠卡住找不到反例,可能恰好代表這個機器真的等於 SAT——Freeze-or-Separate Principle。所以 Ladner 定理式的「控制器永遠推進」保證,本身早已預設了 P≠NP,不能反過來當作 P≠NP 的無條件證明。