Registry · Remark IV.R255 tau-effective formalized

IV.R255 — The meaning of 0.6%

The 0.6% deviation of the spectral formula from the experimental alpha^(-1) = 137.036 is a correction term, not an error term. The spectral formula is the leading-order approximation from the coupling algebra alone, without arena-level geometric refinements. Route B closes the gap.

Book IV Part 2 Ch. 11

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessAlpha

Symbol: Tau.BookIV.Calibration.TheMeaningOf06