Q_tilde_e
plain-language theorem explainer
The definition sets the integerized electron charge to -6 by negating the cube-face scale k=6. Researchers deriving the lepton index Z_ℓ=1332 from the even polynomial ansatz cite it as the direct input to that calculation. It is a one-line abbreviation that applies the upstream integerization_scale definition.
Claim. The integerized electron charge is defined by $Q̃_e := -k$, where $k=6$ is the integerization scale given by the number of faces of a 3-cube.
background
The Z-Map Derivation module converts the electron charge Q_e=-1 into an integer via the scale k=cube_faces(3)=6, one independent 2D symmetry channel per face of the 3-cube. This produces the integerized charge Q̃_e = k · Q_e = -6. The upstream definition integerization_scale supplies this scale as a geometric structural input documented separately from the T0–T8 forcing chain.
proof idea
This definition is a one-line abbreviation that negates the integerization_scale value after casting it to ℤ.
why it matters
This definition supplies the input charge index for the even polynomial Z(Q̃)=a Q̃² + b Q̃⁴ with minimal coefficients (a,b)=(1,1), which produces Z_ℓ=1332. It is used by the equality theorem Q_tilde_e_eq and the consistency check Z_lepton_matches_anchor_value that confirms the derived value matches the hardcoded anchor. The construction ties the geometric cube-face count to the lepton mass ladder in Recognition Science.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.