seam_numerator
plain-language theorem explainer
The seam numerator definition adds the Euler closure constant to the seam denominator for any dimension d, yielding the total seam count used in curvature corrections. Researchers working on first-principles derivations of the fine-structure constant from cubic lattice geometry cite this to obtain the numerator 103 when d equals 3. The definition is a direct one-line sum of the face-based normalization and the manifold closure term.
Claim. Let $N(d)$ be the seam numerator for dimension $d$. Then $N(d) = F(d) · 17 + 1$, where $F(d)$ is the number of faces of the $d$-cube and the added term is the Euler characteristic contribution for closed orientable 3-manifolds.
background
The Alpha Derivation module constructs α^{-1} from the geometry of the cubic ledger on Z^3. During one recognition tick a single active edge is traversed while the remaining passive edges and faces determine the vacuum coupling. The module records that base normalization uses 6 faces times 17 wallpaper groups to reach 102, with the seam count completed by adding the Euler term.
proof idea
This is a one-line definition that applies the seam denominator (cube faces times wallpaper groups) and adds the constant euler_closure of 1.
why it matters
The definition supplies the numerator 103 that enters curvature_correction_derived as -103/(102 π^5) and is invoked by alpha_ingredients_from_D3_cube to prove all numerical constants arise from D=3 cube geometry. It closes the step from the forcing chain (T8: D=3) to the curvature fraction in the alpha derivation, feeding downstream uniqueness results for the exponent 5.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.