Skip to main content

The dual anchor and solar mixing response

Original ledger classification: Numerical

Recorded statement: dual anchor a^T R^-1 = a^T L^-1 = (-1/2,-1/2,1) exact; eps=(N_fam/|mu4|)phi0=3/4 phi0 = c3 + 36 c3^4 (leading term c3, fourth-order puncture correction exact); full PMNS readout

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.SOLAR.01

Original ledger classification: Numerical

Original claim text

dual anchor a^T R^-1 = a^T L^-1 = (-1/2,-1/2,1) exact; eps=(N_fam/|mu4|)phi0=3/4 phi0 = c3 + 36 c3^4 (leading term c3, fourth-order puncture correction exact); full PMNS readout

Original classification detail

Numerical

Dependencies as recorded

FLAV.R.01; dual-anchor identity

Open the original ledger source, row 18

Location 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.

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.

All 39 linked sections

Registered verification modules

  • v16_solar_dual_anchor.pyRegistered verification module · neutrinos
    Read the description recorded in the module registry

    aᵀR⁻¹ = aᵀL⁻¹ = (−½,−½,1); solar angle; full PMNS

A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.

Fine-structure constantCosmologyCarrier, families and E8 closureStandard Model and flavorMetrologySearch later reviewed research for this identifierRead the coverage boundaries