alphaInvPrediction
plain-language theorem explainer
The declaration supplies the explicit formula for the predicted inverse fine-structure constant as 4π·11 minus (ln φ + δ_κ). Researchers comparing Recognition Science outputs to the measured α^{-1} near 137.036 would cite this expression when tracing the pipeline from the golden-ratio fixed point to observable constants. The definition is assembled directly from the upstream deltaKappa term and the concrete real φ without additional lemmas.
Claim. The predicted dimensionless inverse fine-structure constant is given by the expression $4π·11 - (ln φ + δ_κ)$, where φ is the golden ratio and δ_κ denotes the curvature-closure constant $-103/(102 π^5)$.
background
Recognition Science assembles the inverse fine-structure constant from the golden ratio φ treated as a concrete real number in the Pipelines module. The upstream deltaKappa supplies the exact rational expression δ_κ = -103/(102 π^5) that encodes the voxel seam count for curvature closure. This construction sits inside the forcing chain after J-uniqueness and the phi fixed point, with the resulting α^{-1} required to fall inside the band (137.030, 137.039).
proof idea
The definition is a direct algebraic combination: multiply 4 by π by 11, then subtract the sum of the natural logarithm of phi and the deltaKappa term.
why it matters
This definition supplies the explicit α^{-1} formula that follows from the RCL and the eight-tick octave in the T0-T8 chain. It provides the concrete expression against which the framework's mass and coupling predictions are tested, though no downstream theorems currently reference it.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.