delta_kappa
plain-language theorem explainer
delta_kappa supplies the legacy curvature correction term -103/(102 pi^5) for voxel seam counting in early alpha derivations. It is retained strictly for compatibility with prior reports. The definition is a direct constant assignment with no computational steps or hypotheses.
Claim. The legacy curvature correction is defined by the equation $delta_kappa = -103/(102 pi^5)$.
background
The Constants.Alpha module assembles auxiliary quantities that support derivation of the inverse fine-structure constant. delta_kappa encodes a curvature correction based on voxel seam counts from earlier structural models. It sits alongside alpha_seed and alpha_components_derived but is explicitly excluded from the canonical alphaInv pipeline.
proof idea
The declaration is a direct real-number assignment of the rational multiple of pi to the fifth power, annotated with simp for automatic simplification.
why it matters
The definition preserves backward compatibility with older reports on the alpha derivation while the active path uses gap weights and seed components to reach alphaInv near 137.036. It touches the framework landmark of producing alpha^{-1} inside (137.030, 137.039) from the phi-ladder without adjustable parameters.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.