中心—邊界佔用結構：精確的 Bonferroni 餘項與有中心修正的非覆蓋證書

精確的 Bonferroni 餘項 U_q − #聯集 = Σ_d C(μ(d) − 1, q)，所有低階誤差都落在高佔用的「中心」區；由此得到有上限修正的證書：U_q − ⌈(q+1)B_{q+1}/κ(m)⌉ < #Ω_m ⇒ R_G⁻(2m) > 0（對每個固定的 m）。