Square P₂ 邊界與雙線性半質數容量：立方根 RootRough、最小因子列、餘因子切換與 Buchstab log 2 餘裕

在立方根截斷 z³ ≥ (n+1)² − 1，每個粗糙倖存者不是質數就是半質數，得到精確恆等式 P(n) = S₃(n) − E₂(n)（最小因子列、餘因子切換）；把「次線性擬合深度」降級為「比勒讓德原命題強得多」的可選路線；標準線性篩在 s = 3/2 給出下界 0（no-go）；100 ≤ n ≤ 3000 的審計：質數只占 S₃ 的 60.16%，「質數多數」不是可用的定理。