A registered result in its source context
Original ledger classification: Numerical (seesaw operator) [E]/[C]/[O]
Recorded statement: M_nu AS THE TYPE-I SEESAW OF D_F (2026-06-18): the light neutrino matrix is the seesaw of the finite Dirac operator's own blocks, M_nu=-m_D M_R^{-1} m_D^T, advancing the v9 solar-angle texture from a posited matrix to a seesaw object. A…
Statement, assumptions and sources
Paper context: TFPT Gesamtsynthese 2026-09-28
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.PMNS.02
Original ledger classification: Numerical (seesaw operator) [E]/[C]/[O]
Original claim text
M_nu AS THE TYPE-I SEESAW OF D_F (2026-06-18): the light neutrino matrix is the seesaw of the finite Dirac operator's own blocks, M_nu=-m_D M_R^{-1} m_D^T, advancing the v9 solar-angle texture from a posited matrix to a seesaw object. A mu-tau-symmetric (m_D,M_R) gives a mu-tau-symmetric M_nu reproducing theta23=45deg and sin^2 theta12=1/3-phi0/2 under the seam misalignment. theta13=0 in the leading texture, the CP magnitude (240deg) is the mu6/triality phase (not from M_nu), and M_R is the free seesaw scale -- an operator advance, NOT a closure of full PMNS dynamics.
Original classification detail
[E] M_nu=-m_D M_R^{-1} m_D^T symmetric + seesaw-suppressed (output of D_F) + mu-tau-symmetric image; [C] reproduces v9 angles (theta23=45, sin^2 th12=1/3-phi0/2) under the seam lemma; [O] theta13=0 in the leading texture, CP magnitude from mu6/triality (v231/v233), absolute nu-mass scale (M_R) open. Operator advance, not a closure.
Dependencies as recorded
FLAV.TH12.01; PS.DIRAC.02; FLAV.SOLAR.01; CP.TRIALITY.01
Open the original ledger source, row 349Location 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.
- 2026-06-18 (Three open-residual advances: the [formula in source] solver, [formula in source] from [formula in source] , and the raw-seam [formula in source] mark-locality reduction, v262– v264)Research changelog; TFPT — Introduction and reading guide
- Nachweise der erneuten PrüfungTFPT Gesamtsynthese 2026-09-28
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
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.
Registered verification modules
- v263_mnu_from_df.pyRegistered verification module · neutrinos
Read the description recorded in the module registry
FLAV.PMNS.02 — the light neutrino matrix M_nu as the type-I seesaw of D_F, advancing the solar-angle texture (v9) from a posited matrix to a seesaw OBJECT built from D_F's blocks. [E] M_nu=-m_D M_R^{-1} m_D^T symmetric + seesaw-suppressed (light masses an output of D_F, not a fit matrix); [E] mu-tau-symmetric (m_D,M_R) give mu-tau-symmetric M_nu (the v9 texture is in the seesaw image); [C] diagonalising gives theta23=45deg and sin^2 theta12=1/3-phi0/2=0.30675 under the seam misalignment, reproducing v9; [O] theta13=0 in the leading texture (physical sin^2 th13~phi0 e^{-5/6} a separate readout), CP magnitude delta_PMNS=240deg from mu6/triality (v231/v233) not from M_nu, M_R the free seesaw scale. An operator advance, NOT a closure of full PMNS dynamics.
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.