eMuContribution
plain-language theorem explainer
eMuContribution supplies the normalized fractional contribution for the electron-to-muon lepton step as the reciprocal of the three-dimensional continuous solid-angle measure. Researchers deriving lepton generations from cube geometry in the Recognition Science framework cite this term when comparing edge-mediated and facet-mediated steps. It is supplied by a direct definition that inverts the value of continuousMeasure3D.
Claim. The electron-to-muon fractional contribution equals $1/(4π)$.
background
This definition sits inside the module that derives the dimension-dependent correction Δ(D) = D/2 from cube geometry without calibration to observed masses. The local setting contrasts the e→μ edge-mediated step, which adds the differential contribution 1 over the continuous solid angle, with the μ→τ facet-mediated step that divides face count by discrete vertex measure. The module states that the vertex count functions as the discrete analog of the solid angle.
proof idea
This is a one-line definition that computes the reciprocal of continuousMeasure3D.
why it matters
It supplies the continuous contribution term required by the downstream duality theorem discrete_continuous_duality, which equates the continuous and discrete contributions to establish a unified pattern for lepton steps. This supports the framework landmark that D equals 3 spatial dimensions and the vertex count serves as the discrete analog of the solid angle. The result advances the first-principles derivation of Δ(3) = 3/2.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.