balance_dim_forced
plain-language theorem explainer
The definition assigns the natural number 1 to the dual-balance dimension forced by the ledger conservation constraint. Researchers assembling the five-dimensional configuration space for the curvature correction in the fine-structure constant would cite this value when summing the phase-space components. It is introduced by direct assignment, with the justification that the balance surface contributes one effective dimension after the codimension-one reduction.
Claim. The effective dimension contributed by the dual-balance constraint (the surface on which the conserved quantity satisfies σ = 0) equals 1.
background
The Curvature Space Derivation module shows that the curvature correction term δ_κ = -103/(102π⁵) arises because the relevant integration runs over a five-dimensional configuration space. This space is assembled from three spatial dimensions (forced by D = 3), one temporal dimension (from the eight-tick cycle), and one dual-balance dimension. The upstream theorem from PrimitiveDistinction establishes the foundational axioms that yield the structural conditions, including the conservation law T3.
proof idea
The declaration is a direct definition that sets the constant to the natural number 1. No lemmas are applied; the accompanying comment simply records the link to the conservation law T3.
why it matters
The definition supplies the third term in config_space_complete, which states that the total configuration-space dimension equals the sum of the spatial, temporal, and balance contributions. It thereby accounts for the fifth factor of π in the denominator of the curvature correction inside the α⁻¹ formula. Within the Recognition framework it instantiates the T3 conservation constraint alongside the T8 result D = 3 and the T7 eight-tick octave.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.