betaDecayViaW
plain-language theorem explainer
Beta decay n to p plus electron and antineutrino proceeds via the W boson in the Recognition Science ledger model. Physicists building weak interaction derivations from the phi-forcing chain cite this boolean flag. The implementation is a direct assignment to true that enables conjunction theorems for charged-current channels.
Claim. The beta decay process satisfies $n → p + e^- + ν̄e$ via the $W^-$ boson mediator.
background
The Weak Force Emergence module derives the weak force from the ledger structure, where SU(2)_L symmetry with three generators arises from 3D geometry and the eight-tick cycle supplies chirality. Upstream results define W as the wallpaper group count of 17, anchoring the topological basis for gauge structure. The via structure supplies recognition-weighted mass derivations that feed boson assignments.
proof idea
The declaration is a direct assignment of the boolean value true. It functions as a one-line flag with no lemmas or tactics applied beyond the constant definition.
why it matters
This definition supplies the left conjunct for the theorem charged_current_uses_W, which asserts that beta decay and muon decay both use W±. It fills the P-019 step predicting W± and Z⁰ mediation with short range from J-cost mass at phi. The result ties into T7 eight-tick octave and T8 D=3 spatial dimensions from the forcing chain.
Switch to Lean above to see the machine-checked source, dependencies, and usage graph.