Registry · Theorem
V.T241
tau-effective
formalized
V.T241 — D/H from τ-native η_B
D/H(τ) ≈ 2.60×10⁻⁵ from η_B=(121/270)·ι_τ¹⁹. Observed (Cooke 2018): (2.527±0.030)×10⁻⁵. Deviation +2.7% (+2.3σ). Zero free parameters.