The family lattice norm in the solar coefficient
Original ledger classification: Identity
Recorded statement: solar coefficient is the A3 glue-norm: eps=q(A3)*phi0=(3/4)phi0, q(A3)=3/4 the same norm in q(D5)+q(A3)=2; leading term = c3 exact; sin^2 th12=1/3-phi0/2=0.30675. Product rule 32/9=2^gcar/Nfam^2 interpreted (full Clifford dim/Nfam^2); sum…
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.02
Original ledger classification: Identity
Original claim text
solar coefficient is the A3 glue-norm: eps=q(A3)*phi0=(3/4)phi0, q(A3)=3/4 the same norm in q(D5)+q(A3)=2; leading term = c3 exact; sin^2 th12=1/3-phi0/2=0.30675. Product rule 32/9=2^gcar/Nfam^2 interpreted (full Clifford dim/Nfam^2); sum L_lepton=16=dim S+. Quark non-extension: cusp-leg law gives c_c/c_s=1/7 vs actual 0.724
Original classification detail
Identity
Dependencies as recorded
FLAV.SOLAR.01; FLAV.LEPTONC.01; E8 glue norms
Open the original ledger source, row 23Location 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
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.
- Charged leptons: completely closed in [formula in source]tfpt 2 standard model
- Closing the audit gates: is [formula in source] , [formula in source] , [formula in source] derived or imported?Standard Model and flavor structure
- Closing the audit gates: is [formula in source] , [formula in source] , [formula in source] derived or imported?tfpt 2 standard model
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
- Charged leptons: completely closed in [formula in source]Standard Model and flavor structure
Registered verification modules
- v21_solar_product_quark.pyRegistered verification module · neutrinos
Read the description recorded in the module registry
solar coeff = q(A₃) = 3/4; sin²θ₁₂ = 1/3 − φ₀/2
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.