A registered result in its source context
Original ledger classification: Identity
Recorded statement: lepton c's DERIVED: non-anchor c=|mu4|^w/(5/4-cos(r pi/3)) at delta=1/2,y=1 gives c_e=16/7,c_mu=4/3 exactly; anchor from product rule prod c=2^gcar/Nfam^2=32/9 gives c_tau=7/6; reproduces (8/7,12/7,3/2) ratios. Lepton-specific: down sector…
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.LEPTONC.01
Original ledger classification: Identity
Original claim text
lepton c's DERIVED: non-anchor c=|mu4|^w/(5/4-cos(r pi/3)) at delta=1/2,y=1 gives c_e=16/7,c_mu=4/3 exactly; anchor from product rule prod c=2^gcar/Nfam^2=32/9 gives c_tau=7/6; reproduces (8/7,12/7,3/2) ratios. Lepton-specific: down sector forces c_d/c_s=4 vs actual 0.94 (quarks structurally different)
Original classification detail
Identity
Dependencies as recorded
delta=1/2 (distinguished); hexagon resolvent; g_car,N_fam,mu4
Open the original ledger source, row 22Location 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.
- Nachweise der erneuten PrüfungTFPT Gesamtsynthese 2026-09-28
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.
- Mass hierarchy as a hexagon with one extra turntfpt 1 architecture e8
- Charged leptons: completely closed in [formula in source]tfpt 2 standard model
- Mass hierarchy as a hexagon with one extra turntfpt 1 architecture e8
- Front matter / supportResearch contracts
- Research Contract 1 — [formula in source]tfpt research contracts
- Front matter / supportResearch contracts
- 2026-06-12 (version system, predictions/K5, readability pass B3)Research changelog; TFPT — Introduction and reading guide
- Front matter / supportTFPT — Introduction and reading guide; Verification reference catalog
Registered verification modules
- v20_lepton_c_derivation.pyRegistered verification module · masses
Read the description recorded in the module registry
lepton c's derived (δ=½ resolvent; product 32/9)
A registered module is a source reference. Its presence does not assert that the module was executed in this snapshot.