A registered result in its source context
Original ledger classification: Identity
Recorded statement: K+xQ pencil: L=K+Q => mass and transport are one pencil P(x)=K+xQ with det(K+xQ)=3x^3+7x^2+6x+4=(N_fam, scalaron 7, |R^+(A3)|, |mu4|); chi_K=t^3-9t^2+12t-4; [K,L]=[L,Q]=[K,Q], chi_[K,Q]=t^3+5t+14 (5=g_car,14=dim G2 audit); K_e-K_u=a,…
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.PENCIL.01
Original ledger classification: Identity
Original claim text
K+xQ pencil: L=K+Q => mass and transport are one pencil P(x)=K+xQ with det(K+xQ)=3x^3+7x^2+6x+4=(N_fam, scalaron 7, |R^+(A3)|, |mu4|); chi_K=t^3-9t^2+12t-4; [K,L]=[L,Q]=[K,Q], chi_[K,Q]=t^3+5t+14 (5=g_car,14=dim G2 audit); K_e-K_u=a, L_e-L_u=Exp(A3); lepton ring c_e c_tau=|Z2| c_mu
Original classification detail
Identity
Dependencies as recorded
v10 K=R+Q*Sigma
Open the original ledger source, row 60Location 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
- E8 audit and bootstrap
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
- Quarks: hierarchy from the same word-lengthsStandard Model and flavor structure
- Bilinear anchor forms.input 5 tfpt 3 e8 audit bootstrap
- The Sheet Diamond and the Winding Line: masses and transport from one surfacetfpt 2 standard model
- Quarks: hierarchy from the same word-lengthstfpt 2 standard model
- Front matter / supportStandard Model and flavor structure
- Front matter / supportStandard Model and flavor structure
- Bilinear anchor forms.input 5 tfpt 3 e8 audit bootstrap
Registered verification modules
- v37_plucker_anchor.pyRegistered verification module · flavor
Read the description recorded in the module registry
Plücker anchor: ‖Pl(K)‖₁ = 11; pencil det(K+xQ); lepton ring
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.