quark_baseline
plain-language theorem explainer
Quark baseline rung equals 4 as the edges per face count in the 3-cube. Researchers deriving mass ladders from Recognition Science geometry cite this as the B-12 starting value for quarks. The definition substitutes the edges_per_face function directly at dimension 3.
Claim. The quark baseline rung is given by $2^{D-1}$ at $D=3$.
background
The module derives baseline rung integers from the combinatorics of the 3-cube Q_3, upgrading prior boundary assumptions to derived status. Key definitions include edges_per_face(d) := 2^{d-1}, which at D=3 gives 4. This realizes the B-12 item: quark baseline = 2^{D-1}. Upstream result: edges_per_face is defined with the explicit evaluation at D=3 yielding 4.
proof idea
One-line wrapper that applies edges_per_face to D.
why it matters
This supplies the base for quark rungs and color offset equality theorems downstream. It fills the B-12 derivation step from cube geometry, aligning with D=3 forced by the eight-tick octave. The parent results include quark_rungs which builds the full set of quark rung values from this baseline.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.