alpha_inv_empirical
plain-language theorem explainer
The declaration supplies the empirical value of the inverse fine-structure constant as 137.036. Researchers calibrating the Recognition Science alpha band against measured data cite it when closing the constant derivation chain. It is a direct numerical assignment with no reduction steps or lemmas applied.
Claim. The empirical inverse fine-structure constant is assigned the value $137.036$.
background
The RRF foundation module derives constants from φ via gate identities. The explicit chain is φ to E_coh to τ₀ to c to ℏ to G to α⁻¹. Key identities are the IR gate ℏ = E_coh · τ₀ and the Planck gate (c³ · λ_rec²) / (ℏ · G) = 1/π.
proof idea
The definition is a direct numerical assignment of the constant 137.036.
why it matters
It supplies the calibration anchor for the alpha band (137.030, 137.039) at the end of the Recognition Science constant chain after G. The module doc states constants are derived, not assumed, with SI values from calibration.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.