Registry · Remark IV.R184 conjectural formalized

IV.R184 — Why C1 is conjectural

The electron mass prediction m_e = 0.510998937 MeV (0.025 ppm) remains conjectural despite its precision: the mass ratio formula R is tau-effective as an internal algebraic identity, but identifying the tau-internal masses with SI-measured values requires two unproved calibration assumptions about the neutron and electron.

Book IV Part 8 Ch. 56

Lean Formalization

Module: TauLib.BookIV.Coda.CompleteLedger

Symbol: Tau.BookIV.Coda.WhyC1IsConjectural