rightHandedCouples
plain-language theorem explainer
Right-handed chirality is defined to have no coupling to the SU(2)_L weak force. This encodes the observed parity violation in beta decay and neutrino processes within the Recognition Science ledger model. Particle physicists deriving chiral gauge structures from 3D geometry would cite the definition. It is realized as a direct Boolean constant false.
Claim. Right-handed chirality does not couple to $SU(2)_L$, i.e., the coupling flag equals the Boolean constant false.
background
The module derives the weak force from ledger geometry in three spatial dimensions, where the SU(2)_L structure arises from three rotation generators. Chiral asymmetry follows from the orientation of the eight-tick cycle, restricting coupling to left-handed states. Upstream, the ledger L is defined as a conserved object with constant debit and credit functions (one version sets both to 1, another to 0 with a conservation instance).
proof idea
This is a direct definition that assigns the Boolean value false.
why it matters
The definition supplies the right-hand side for the theorem parity_violation, which proves leftHandedCouples ≠ rightHandedCouples and thereby establishes parity breaking. It fills the chiral-coupling step in the weak-force emergence derivation (P-019) and aligns with the eight-tick octave and D=3 geometry of the forcing chain. No open scaffolding is attached.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.