平方錨定 P₂ 常數帳：粗糙下界閘、雙線性半質數上界與奇偶性帶號重述

S₃ − E₂ 的常數帳：啟發式的 Buchstab 常數（質數 1、半質數 log 2（帶 log(4/3)、log(3/2)）、粗糙 1 + log 2），所以主項餘裕為 +1（「PASS」）；但現有黑箱提供者的交叉是「FAIL／NOT PROVED」（標準線性粗糙下界在 s = 3/2 為 0）；精確的帶號恆等式 P = (S₃ − L₃)/2；缺口排序：粗糙下界 PRIMARY、半質數上界 SECONDARY、帶號 Liouville 控制 PARITY-DIRECT。

啟發式的主項常數帳通過、現有黑箱提供者的交叉失敗：原文寫失敗「來自提供者的強度，不是架構的主項常數」。勒讓德猜想仍未證明。「MAIN TERM CONSTANT LEDGER = PASS」是理想漸近（啟發式）的陳述，同一份原文自己標為「代數／heuristic 主項」，不是定理。本篇也帶有 Phase 12–14 共有的「P₃ 前沿」說法，已被 Errata 更正。