← CSM_RH / 介觀滯後能量冪次增益與第一個直接 PESC 定理候選
Campaign 16 把研究模式改成直接定理生成:目標是產出一個不能只是 PESC 改名、不能假設固定零點帶、必須自帶真正固定冪次來源的具體引理。論文定義介觀滯後能量,先證明一個純組合、不涉及任何算術的「剩餘鏈能量不等式」,再代入質數誤差得到滯後—整體能量橋,由此定義候選定理 MLEPG(α,δ),並證明 MLEPG 蘊含固定冪 PNT 均方,因而透過既有橋接給出固定零點帶。MLEPG 不是 PESC 改名:滯後能量展開後恰好是以三角(Fejér)核加權的質數對相關和,把既有平均 Hardy–Littlewood 技術直接代入只能得到次冪結果,與 Campaign 15 的判定一致——沒有捷徑。論文依序拒絕逐位移冪次節省、Fourier 重新表述、正的質數對方差等替代方案,只留下「帶號三角相關抵消」作為唯一可行機制,新建 F-RH-016 MLEPG。Campaign 17 準備測試循環法插入三角核之後能否產生固定冪增益。
載入中…
隨包附的 ledger、state-delta 與溯源檔案,原樣列出。