cubeEdges
plain-language theorem explainer
cubeEdges is defined to be the natural number 12, counting the edges of a unit cube. Researchers deriving CKM mixing angles or fermion generations in Recognition Science cite this constant when equating total fermions to cube geometry or constructing Freudenthal certificates. The definition proceeds by direct assignment of the constant value.
Claim. The edge count of the unit cube is defined to be $12$.
background
RSBridge supplies geometric counts that derive CKM mixing angles from ledger geometry. V_cb equals 1/24 because the edge-dual coupling is twice the cube edge count, while V_us combines a golden-ratio projection with a radiative correction from alpha. cubeEdges supplies the integer 12 for use in FreudenthalCert, which records the triple (vertices = 8, edges = 12, faces = 6), and in GenerationCert, which equates totalFermions to cubeEdges to certify three generations. Upstream definitions in FreudenthalTriangulationCert and ParticlePhysicsGenerationsFromRS each state the same unit-cube edge count.
proof idea
The definition is a direct constant assignment of 12 with no lemmas applied.
why it matters
This constant anchors the geometric interpretation of particle generations and mixing angles. It is referenced inside the FreudenthalCert structure to certify simplicial data and inside GenerationCert to match fermion counts with cube edges. The module doc-comment positions the value as the source of the edge-dual coupling that yields V_cb = 1/24, consistent with the framework's use of three-dimensional geometry.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.