全域量詞壓縮:有限高度 Li 極值與質數冪凸最小值判準

先修正 v1.1 把「全域 Weil isolation」籠統標成 OPEN 的過粗劃分,指出「是否存在全域緊支撐負證人」已由既有理論關閉,真正開放的是「如何從偏軸資料建構可驗證的顯式證人」。證明只要有一個 occupied off-axis cell,Li transform 的全域極值搜尋就能限制在有限高度內;並利用 Suzuki 算術函數的嚴格凸性,把連續正性條件精確壓縮成一個以質數冪區間為索引的離散極小值序列——這仍是化簡,不是證明,量詞仍是「對所有 j」的可數全稱。