Registry · Remark IV.R367 tau-effective formalized

IV.R367 — No external input

The tau-native definition of alpha involves only tau^3-intrinsic objects: the EM fiber circle T_gamma, its holonomy structure, and null transport on tau^1; no reference to e, epsilon_0, hbar, or c appears, with orthodox SI expressions recovered via the calibration cascade.

Book IV Part 4 Ch. 29

Lean Formalization

Module: TauLib.BookIV.Electroweak.AlphaDerivation

Symbol: Tau.BookIV.Electroweak.NoExternalInput