嚴格壓力的額外代價帳與分支中立的雙匯閉合：廣義半權重、粗截斷最佳化、質數嚴格稅與單獨質數上界的 no-go

證明半權重引理對任何截斷 w < z（z³ ≥ X）都成立（四分之一根並非必要），把中性核心的餘裕最佳化到約 0.4067（u ≈ 7.8；u = 8 時 0.4063），證明標準的單獨質數上界（0.7421）付不起，並把閉合重述為：分支中立下界 > 質數匯容量 + 鏡像匯容量。