Registry · Remark IV.R435 tau-effective not_applicable

IV.R435 — IV.OP9 Status: SOLVED (7/7 Exponents Derived)

IV.OP9 SOLVED. All 7 quark mass exponents derived from τ-axioms and T² mode-counting: -5 (input), -45/13, 105/23, 53/15, 64/23, 14/5, 11/2. Dictionary {dim,a₃,lobes,W₃(4),n_H}. Worst-case +1559 ppm. Zero free parameters.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (6)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.op9_solved