leftHandedCouples
plain-language theorem explainer
Left-handed chirality is asserted to couple to the weak force via a Boolean flag in the Recognition Science ledger. Particle physicists deriving chiral asymmetry and parity violation from the eight-tick cycle would cite this when building the SU(2)_L structure. The definition is a direct constant assignment requiring no computation or lemmas.
Claim. Left-handed fermions couple to the weak interaction, expressed as the Boolean predicate $L_mathrm{couple} = top$.
background
The module derives the weak nuclear force from the Recognition Science ledger geometry. SU(2)_L gauge symmetry arises from the three generators of rotations in three spatial dimensions, while chiral coupling follows from the orientation of the eight-tick cycle. Only left-handed fermions participate, producing the observed parity violation in beta decay and neutrino processes. The setting imports constants from PhiForcing and boson definitions from ElectroweakBosons to fix the overall scale.
proof idea
The declaration is a direct definition that assigns the Boolean constant true to the left-handed coupling flag.
why it matters
This definition supplies the chiral input required by the downstream parity_violation theorem, which states that left-handed and right-handed couplings differ. It completes the chiral-coupling step in the P-019 derivation of weak-force emergence, connecting directly to the eight-tick octave and the three-dimensional ledger that forces D = 3. The flag enables the subsequent construction of weak isospin doublets and the short-range massive-boson predictions.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.