torsionGap01
plain-language theorem explainer
The definition supplies the natural number 11 as the gap between the first two entries in the CW-filtration torsion spectrum {0, 11, 17}. Cosmologists assembling the chirality-torsion witness for the exact φ-rung of the baryon-to-photon ratio cite this constant when forming the product 4 × 11. The assignment is a direct numeral with no computation or lemmas.
Claim. The CW-filtration torsion gap between generations 0 and 1 is the natural number $11$.
background
In the Recognition Science treatment of the baryon asymmetry, the integer rung for η_B is obtained from three equivalent combinatorial expressions that each evaluate to −44 at spatial dimension D=3. One of these is the chirality-torsion product −(bitFlipCount0 × torsionGap01), where bitFlipCount0 equals 4 from the Gray code on Q_3 and torsionGap01 is the gap extracted from the torsion spectrum {0,11,17}. The integration gap itself is fixed at 45 by the Gap45 derivation, so that the product 4×11 recovers 45−1. Upstream structures establish that the 3-cube forces exactly three generations and 24 chiral fermion flavors, providing the setting in which the torsion numbers appear. The module states explicitly that the three witnesses are reparameterizations of the same underlying integer D²(D+2)−1=44 rather than independent routes.
proof idea
The definition is a direct numeral assignment torsionGap01 := 11 drawn from the torsion spectrum documented in the CW-filtration. No lemmas are applied; the value is hardcoded as the difference |τ₁ − τ₀|.
why it matters
This constant completes the chirality-torsion witness for the η_B rung, feeding directly into the certification structure EtaBExactRungCert and the equality theorems chirality_product_equals_gap_minus_one and eta_B_rung_from_chirality_eq. It realizes the second of the three combinatorial witnesses listed in the module documentation, all of which recover the integration gap minus one at D=3. The construction sits inside the Recognition Science derivation of the baryon-to-photon ratio from the forcing chain, specifically using the torsion spectrum forced by the 3-cube geometry.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.