Skip to main content
Public objection ledger

The sharpest objections, tracked.

A ledger, not a brochure: every recurring objection with its answer status, where it is addressed, and whether anything stays open. The full answers live in the hostile-referee FAQ; disagreements belong in the issue tracker.

The ledger

Objection · status · where · still open?

Each row links to where the objection is addressed in depth. Status is honest: most are answered, the parameter question is conditional on the declared layer, and the residual is genuinely open.

ObjectionShort answerStatusWhereStill open?
Is this just E₈ unification again?No. In TFPT, E₈ is the unimodular audit / compiler hull that classifies the admissible discrete charge and residue structures — not an unbroken physical gauge group.AnsweredFAQ · Paper 1No
Where does experimental input enter?Into the comparison rows, not the construction.AnsweredFAQ · VerificationNo
What is actually fitted?In the closed branch: nothing.ConditionalFAQ · Open gatesConditional layer (declared)
Couldn't all the integer coincidences be numerology?The discipline rule is: every load-bearing number must appear in at least one E₈ branching projection, which turns the number stock into a falsifiable raster.AnsweredFAQ · VerificationNo (null model ≤ 10⁻³⁰·⁷)
What would kill the theory fastest?Any one of: the α fixed-point equation F_U(1)(α) = 0 failing or admitting a second admissible root; a robust neutron-EDM signal (θ_eff = 0 is structural); the discovery of a second light seam-even…AnsweredFalsificationBy design
What is still open?The live residual is three named interfaces: v_geo — the single dimensionful scale anchor (the same nature as 1/G; the quark ratios are already closed, only the absolute amplitude remains); G_net —…OpenOpen gates · Research contractsYes — 3 named interfaces
Why call α⁻¹ a prediction at 1.9σ from CODATA?α⁻¹ = 137.0359992168 is the unique positive root of a parameter-free cubic with proven existence and uniqueness — it is a fixed point, not a fit.AnsweredFAQ · α comparatorNo