A registered result in its source context
Original ledger classification: Bookkeeping [E] + window [N]/[C] + [O] absolute scale + [X] kill
Recorded statement: ABSOLUTE NEUTRINO-MASS SCALE TYPED HONESTLY (2026-06-18): does NOT fabricate a Sigma m_nu number (would contradict the v184 firewall); closes the PMNS bookkeeping instead. [E] the absolute scale reduces to ONE seesaw ratio m_3 = (y_nu…
Statement, assumptions and sources
Paper context: Standard Model and flavor structure
The exact identifier, original classification and full claim are available below.
The source wording and classification below are preserved as recorded. A paper link, shared script or authored topic relation does not upgrade the claim or report a new proof run. Read later reviewed findings separately.
Read the exact registered claim and its dependencies
FLAV.NUSCALE.01
Original ledger classification: Bookkeeping [E] + window [N]/[C] + [O] absolute scale + [X] kill
Original claim text
ABSOLUTE NEUTRINO-MASS SCALE TYPED HONESTLY (2026-06-18): does NOT fabricate a Sigma m_nu number (would contradict the v184 firewall); closes the PMNS bookkeeping instead. [E] the absolute scale reduces to ONE seesaw ratio m_3 = (y_nu v_EW)^2/M_R -- one irreducible UV input like v_geo (No-Unit, v153); the ratios (m2/m3, ordering, PMNS angles v270) are pinned. [N] the observed m_3 = sqrt(dm2_atm) = 0.050 eV with the TFPT PS->GUT scale window M_R in [M_PS=4.2e13, M_GUT=2.4e15] GeV (v249) needs a third-generation Dirac Yukawa y_nu in [0.26, 2.0] -- O(1), Yukawa-natural, no tuning. [O] the y_nu=1 seesaw scale M_R=v_EW^2/m_3=6.1e14 GeV has log_c3(M_R/Mbar)=2.57 (non-integer), not a TFPT compiler output; (y_nu,M_R) trade off so the absolute Sigma m_nu stays one open UV input. [C] the normal-ordering floor Sigma m_nu = m_2+m_3 = 0.0586 eV is consistent with Planck+BAO (<0.12 eV) and DESI 2024 (~0.072 eV). [X] a cosmological Sigma < 0.0586 eV excludes the NO m1~0 spectrum. UPDATE 2026-07-14 (v481/FLAV.NUSCALE.02): under the CARRIER normalisation y_nu = y_t (minimal 16.16.10 Yukawa sector, [P]) the (y_nu, M_R) trade-off collapses to M_R alone; the required M_R = 9.3e13 GeV sits INSIDE the PS window at log_c3(Mbar/M_R) = 3.15; the integer rung c3^3 Mbar is DECLINED at 1-loop (m_3 40% low). The absolute scale stays [O]; candidate class, frozen record untouched.
Original classification detail
[E] the absolute nu-scale = one seesaw ratio (parallels v_geo); [N]/[C] the TFPT PS->GUT window is consistent with the observed spectrum at O(1) Dirac Yukawa + the cosmological floor; [O] the absolute value stays one open UV input (M_R not a clean Mbar power, v184); [X] the NO floor is the kill test. Closes the PMNS bookkeeping, not the absolute number.
Dependencies as recorded
FLAV.PMNS.02; FLAV.PMNS.03; PS.RGTEST.01; FR.MPME.02; ANCHOR.VGEO.02
Open the original ledger source, row 365Location recorded in the ledger
These document locations are recorded directly on the ledger row. They are document level navigation, rather than a newly inferred section citation.
- Standard Model and flavor structure
Sections that explicitly cite this claim
A literal claim identifier is present in these paper sections. The section and its premises determine what the citation supports.
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)tfpt research contracts
- 2026-06-18 (scale + frontier round: [formula in source] -mass scale, EG gauge running, over-determination, QG roadmap, v272– v275)Research changelog; TFPT — Introduction and reading guide
- Neutrinostfpt 2 standard model
- NeutrinosStandard Model and flavor structure
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)Research contracts
- Research Contract — TFPT.TOE.COMPLETE.01 (the named AND of eight completeness gates)tfpt research contracts
- 2026-07-14 ( v479– v481 — the bird's-eye ``overlooked tools'' round: R3's graph [formula in source] geometry bridge discharged to Kronheimer 1989; the four [formula in source] marks realised as the exactly solvable four-interval multilocal modular geometry with [formula in source] manifest; and the absolute [formula in source] -scale collapsed to a one-parameter, PS-window-bracketed candidate under the carrier normalisation [formula in source] — no gate closes, no marker moves)Research changelog; TFPT — Introduction and reading guide
Navigation through a shared verification script
These sections cite a script associated with the claim. This is a source navigation join, rather than an explicit citation of the claim or a theorem equivalence.
- 2026-06-24 (The [formula in source] dual keystone + the flavor residuals it homes: v405– v407)Research changelog; TFPT — Introduction and reading guide
- The closure ledger: what is done, and what genuinely remainsTFPT — Introduction and reading guide
- 2026-07-02 ( v467/ v468 — two named post-hoc \ flavor candidates, record unchanged: the three [formula in source] mixing tensions as one third-generation [formula in source] pattern, and the splitting ratio [formula in source] )Research changelog; TFPT — Introduction and reading guide
- 2026-06-18 (Zenodo release 5.2 (rev 191) — the perturbative 4D-QFT layer + scale closure, v269–v275)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportFrontier and open physical interfaces
- Target F — the perturbative 4D-QFT [formula in source] scale round (v269–v275)Red-team audit
Registered verification modules
- v272_nu_mass_scale.pyRegistered verification module · neutrinos
Read the description recorded in the module registry
FLAV.NUSCALE.01 — the absolute neutrino-mass scale, typed honestly (does NOT fabricate a Σm_ν number, which would contradict the v184 firewall). [E] the absolute scale reduces to ONE seesaw ratio m₃=(y_ν v_EW)²/M_R — one irreducible UV input like v_geo (v153), while the ratios (m2/m3, ordering, PMNS angles v270) are pinned; [N] the observed m₃=0.050 eV with the TFPT PS→GUT window M_R∈[4.2e13, 2.4e15] GeV (v249) needs a third-gen Dirac Yukawa y_ν∈[0.26, 2.0] — O(1), no tuning; [O] M_R(y=1)=6.1e14 has log_c3(M_R/Mbar)=2.57 (non-integer), not a TFPT power, so the absolute value stays open; [C] the NO floor Σm_ν=0.0586 eV is consistent with cosmology (<0.072–0.12 eV); [X] a cosmological Σ<0.0586 eV excludes the normal-ordered m1~0 spectrum. Closes the PMNS bookkeeping (the last [O] is one seesaw ratio), not the absolute number. Sharpened by v481: under the carrier normalisation y_nu = y_t the (y_nu, M_R) trade-off collapses to one parameter, window-bracketed (candidate class).
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.