← SRBRD: The Symmetric Root-Bounded Relation Domain and the Sieve–Parity Boundary / SRBRD-03 · Center–frontier occupancy

SRBRD: The Symmetric Root-Bounded Relation Domain and the Sieve–Parity Boundary SRBRD-03 · Center–frontier occupancy Author line in the source: Neo.K; Aletheia (GPT-5.6 Sol)

Center–Frontier Occupancy: The Exact Bonferroni Remainder and a Cap-Corrected Non-Cover Certificate

The exact Bonferroni remainder U_q − #union = Σ_d C(μ(d) − 1, q): all low-order error sits in a high-occupancy 'center' zone, which gives the cap-corrected certificate U_q − ⌈(q+1)B_{q+1}/κ(m)⌉ < #Ω_m ⇒ R_G⁻(2m) > 0 (for each fixed m).

A certificate per fixed m. The paper says the reason is 'not that Goldbach is proved'; verdict: UNIFORM GOLDBACH CLOSURE STILL OPEN. The certificate can only be checked one m at a time; nothing uniform in m is stated. 'CLOSURE PASS' is the round's own acceptance gate, not external verification.

Connections · Connections

PreviousSRBRD-01 · Structural compression and the first-order no-go · Structural Compression Audit: Exact Cell Cardinalities, Center-Divisor Collapse, CRT Overlap, Tree-Overlap Upper Bound and a First-Order No-Go

NextSRBRD-09 · The moment-polytope dual · Lattice Sparsity and the Moment-Polytope Dual: Finite Occupancy Caps, Polynomial Majorants, Even-Degree Certificates and Layered Moment LP Duality

This is a full-text translation of the Chinese source, which remains authoritative for its research claims. Translation is not independent mathematical verification and does not upgrade the original evidence level.

Loading…