Claude Proposition 5.6 的 Exact $O_1$ Kernel:Near-Diagonal Wedge、Selberg-Integral Barrier 與無條件結果審計

對 Claude 原始 off-diagonal 公式做 exact unordered-pair symmetrisation(共軛配對代數,不使用 prime-pair conjecture,並以 1000 組隨機資料檢查過浮點一致性),拆出 leading term $O_{1,g}$ 與必須另外證明的 remainder $O_{1,\mathrm{tail}}$、$O_{1,H}$。取 $n=m+h$ 後,在 near-diagonal 極限下得到一個 signed oscillatory universal kernel:$\kappa(u)=(\sin2u-\sin u)/u$。關鍵發現是 $P_{70}$ 的算術輸入不是單一 shift $h\sim X/T$,而是一整個 wedge:$1\lesssim h\lesssim T^{\sigma-1}$,$m\in[T,T^\sigma]$——且 flat taper 在 $\sigma_{70}\approx1.042628$ 下,落在 $m\ge T$ 的權重比例只有約 0.488%,與前一輪 Fourier mass 0.114% 互相呼應。文件接著親自審計兩組真實無條件文獻:Zaccagnini 的 Selberg integral 無條件可達 $H\ge X^{1/6-o(1)}$,但 $P_{70}$ wedge 的 shift scale 只有 $X^{0.040885}$,range 本身不相交($0.040885<1/6$),且該結果控制的是 $o(XH^2)$ 這種粗尺度,不是 WPPH 需要的 signed weighted second-correlation constant;Matomäki–Radziwiłł–Shao–Tao–Teräväinen(2024)的 higher-uniformity 結果雖強大,適用範圍 $H\ge X^{1/3+\varepsilon}$ 仍遠大於所需的 $0.040885$,且控制的 statistic 也不是 Claude $O_1$ 所需的 weighted prime-pair second-trace asymptotic。結論:目前查到的結果尚不足以由 Claude 的 $O_1$ pipeline 無條件證 $P_{70}$,原因是 range、statistic、constant/sign 三者必須同時匹配,不能只看到「short-averaged Hardy–Littlewood」就宣布已成立。