# The Weak Force and the W/Z Bosons in [QLF](README.md) **The weak sector, consolidated — what QLF derives, what it sketches, and what is open, with the honest three-tier discipline of the rest of the corpus.** Previously this content was scattered across [`Higgs.md`](Higgs.md) §4, [`Standard_Model.md`](Standard_Model.md), [`Beta_Decay_Neutrino_Nature.md`](Beta_Decay_Neutrino_Nature.md), and [`Atomic_Structure_QLF.md`](Atomic_Structure_QLF.md) §6. **Headline:** the **group-theoretic identification of the weak-isospin SU(2) inside the 8-twist algebra is machine-verified** (`weak_isospin_su2`, [`lean/BraKetRhoQuCalc.lean`](lean/BraKetRhoQuCalc.lean)). The **quantitative** weak sector — W/Z masses, the Weinberg-angle value, the Fermi constant, the flavor-change vertex — remains explicitly open. --- ## 1. The weak force as a gauge-fold pair-flip The 8-twist alphabet splits `6 spatial (^v<>/\) + 2 gauge (+-)`. The gauge sector (`+`/`−` folds) is what carries charge and generates mass. In QLF the **weak force is the gauge-fold pair-flip** — the operation that flips gauge content — which is exactly what is needed to restructure one closed history into another of different charge (e.g. `n → p`-deficit, co-produced with its completing lepton — §4a). It is **chirality-mediated**: left-handed loops pair into SU(2)-like doublets, right-handed into singlets, a structure inherited from the half-spin Pauli algebra ([`Standard_Model.md`](Standard_Model.md) §3.4, [`Beta_Decay_Neutrino_Nature.md`](Beta_Decay_Neutrino_Nature.md)). This is the force as an **operation**. Whether it is also carried by an explicit propagator particle in every context is subtle — see §4. --- ## 2. W and Z as charged / neutral gauge-fold closures | Boson | charge | QLF structure | depth | |---|---|---|---| | W⁺ / W⁻ | ±1 | gauge fold with a **net** charge twist | `R_W` | | Z | 0 | **balanced** (neutral) gauge fold | `R_Z` | | photon | 0 | pure spatial fold, **no** gauge twist | `R = 0` | Mass is the constructing delay of a gauge fold, `m = αR` ([`Higgs.md`](Higgs.md) §4, [`E_mc2_derivation.md`](E_mc2_derivation.md)). So `M_W = α R_W`, `M_Z = α R_Z`, and the photon's masslessness is immediate (`R = 0`). The Weinberg angle is reframed as a **depth ratio**: $$\cos\theta_W = \frac{R_W}{R_Z}$$ **Honest scope.** This is a *reframing* of the tree-level Standard-Model identity `cos θ_W = M_W/M_Z` (PDG: `80.377/91.188 ≈ 0.8814`), not a derivation: `R_W` and `R_Z` are **not** computed from substrate combinatorics. The structural content QLF adds is only that the charged W carries one extra charge twist on top of the neutral gauge structure, so `R_W < R_Z` — i.e. the angle is a depth difference, not a free parameter. The *number* (the depth ratio) is open (§6). **The unification-scale value — `sin²θ_W = 3/8`.** There is, however, a structural value the alphabet does fix. The spatial fraction of the 8-twist alphabet is `sin²θ_W = (spatial axes)/(alphabet) = 3/8`, which is *exactly* the **SU(5) grand-unification normalization** `sin²θ_W = 3/8` (Georgi–Glashow). It is the **third** electroweak/cosmological constant read off the same `6 spatial + 2 gauge = 8` split that gives `α` (`N = 3² = 9`, [`QLF_FineStructureSubstrate`](lean/QLF_FineStructureSubstrate.lean); canonical doc [**Alpha.md**](Alpha.md)) and `Ω_Λ` (gauge fraction `2/8 = 1/4`, [`QLF_CosmologicalConstant`](lean/QLF_CosmologicalConstant.lean)) — machine-verified together in `electroweak_substrate_signature` ([`lean/QLF_WeinbergAngle.lean`](lean/QLF_WeinbergAngle.lean)), alongside the tree-level `ρ = 1` (`rho_one_of_mass_relation`) and on-shell `cos²θ_W = (M_W/M_Z)²` (`onshell_weinberg`). > **Honest scope (load-bearing).** `3/8 = 0.375` is the **unification-scale** value, **not** the measured `sin²θ_W(M_Z) ≈ 0.231` — reaching that needs standard renormalization-group running, which QLF does not derive (the open running-couplings sector). So `3/8` coincides with the established GUT normalization (a genuine group-theoretic value, *not* a fit to data — contrast the rejected `δ ≈ 2/9` Koide near-miss of §5c), the substrate's `3/8` matching it is a structural coherence, and the running + the absolute `W/Z` masses / `G_F` (which need the Higgs VEV) stay open (`weinberg_running_in_progress`). --- ## 3. SU(2)_weak ⊂ Σ₈ — machine-verified (group-theoretic) [`Standard_Model.md`](Standard_Model.md) §3.4 listed "identify the *specific* SU(2) subgroup of the 8-twist algebra" as open. It is closed at the **Lie-algebra / group level.** QLF's Σ₈ algebra uses `τᵢ = i σᵢ` (the Pauli matrices scaled by `i`), giving quaternionic squares `τᵢ² = −I` and anti-cyclic products `τxτy = −τz` (machine-verified: `tau_x/y/z_sq`, `tau_xy/yz/zx_product`). Adding the reverse products (`τy τx = +τz`, …), the three generators close under the matrix **commutator** into the su(2) ≅ so(3) Lie algebra: $$[\tau_i,\tau_j] = -2\,\varepsilon_{ijk}\,\tau_k$$ (machine-verified: `tau_comm_xy/yz/zx`, `weak_isospin_su2`) and the mixed anticommutators vanish (`{τᵢ,τⱼ} = 0`, `tau_anticomm_*`). Together with `τᵢ² = −I`, the multiplicative group they generate is the **quaternion group** `Q₈ = {±I, ±τx, ±τy, ±τz} ⊂ SU(2)` — the discrete subgroup whose continuous closure is exactly the weak-isospin SU(2). So **the weak-isospin SU(2) is the τ-quaternion subalgebra of Σ₈** — a concrete, machine-verified identification, not an analogy. (The three *spatial* axes `^v / <> / /\` carry the imaginary-quaternion structure; the gauge folds `+-` carry the charge that distinguishes W from Z.) **Scope (load-bearing):** this is the **algebra/group** identification only. It does **not** derive the SU(2) coupling `g`, the W/Z masses, the Weinberg-angle value, or the symmetry-breaking scale. Those remain open (§6). --- ## 4. Beta decay — and the W-as-operation vs W-as-particle tension QLF's account of beta decay ([`Beta_Decay_Neutrino_Nature.md`](Beta_Decay_Neutrino_Nature.md)) is **boundary restructuring**, and — read directly — it **never names the W as a particle**. A free neutron carries topological stress; it relieves it by *unspooling* its Markov-blanket boundary into a **proton** (itself a net-charge *deficit*, not a free observable — see §4a) plus two ejected unforgeable names: - the **electron** — a highly chiral ZFA loop, `^` (left-handed) vs `^>v<` (right-handed), carrying the asymmetric logical debt; - the **Majorana neutrino** — a *non-chiral* loop (`^v`) that is its own antiparticle: it is a fixed point of the Hermitian conjugate (conjugate-and-reverse), machine-verified `neutrino_majorana` ([`lean/QLF_Majorana.lean`](lean/QLF_Majorana.lean)). Being self-conjugate, lepton number is violated — a falsifiable QLF commitment: **neutrinoless double-beta decay** ([`Beta_Decay_Neutrino_Nature.md`](Beta_Decay_Neutrino_Nature.md) §1). Concrete anchor: the chiral electron loop `^` is exactly the cross-axis **interleaved closure** machine-verified this cycle — `interleaved_xlvr_folds_to_negI` (`σ_y·−σ_x·−σ_y·σ_x = −I`) in [`lean/QLF_TwistAlphabet.lean`](lean/QLF_TwistAlphabet.lean) — a count-balanced ZFA closure that the keystone `count_balanced_pauli_closed` covers. **The tension, stated plainly.** In QLF, beta decay is mediated by the gauge-fold pair-flip *operation* — the W as a **process**, not an explicit exchanged particle. The W as a **particle** appears explicitly only in the τ-decay vertex (§5). Reconciling the two readings — is the propagator W just the virtual realization of the pair-flip operation, with `R_W` setting its range? — is open and is the natural next structural question for the weak sector. ### 4a. The "proton" is a deficit — the observable is the lepton-balanced atom It is tempting (and the β-decay accounts do this) to say the neutron decays *into a proton*. But by QLF's own rule — **charged particles do not exist independently** ([`HadronicDepth.md`](HadronicDepth.md) §2.1, [`Electron.md`](Electron.md), [`Bound_States_QLF.md`](Bound_States_QLF.md)) — a bare proton is a net-charge deficit (`count(+) − count(−) = +1`), an *open* Hermitian/gauge half, **not** a completed ZFA closure. The proton is an observable only once its deficit is completed by a counter-charge into a **neutral joint closure**. So wherever the weak sector says "proton" as a stand-alone product, the conceptually correct object is the **closed hydrogen-class atom**. What makes β decay clean here: it **co-produces the completer**. The same unspooling that leaves a proton-deficit also ejects the electron whose `−1` exactly cancels it — i.e. the *constituents of a neutral (hydrogen-class) closure*, born together, so global neutrality is preserved by construction (`m_p` should be read as `m_H`, a 0.05 % wash, per [`HadronicDepth.md`](HadronicDepth.md) §2.1). The neutral neutron does not produce a free charge; it produces a deficit **and** its completer (the electron), plus the Majorana neutrino. **The completing lepton's *variety* is a weak / generation degree of freedom.** Exactly as the electron's deficit can be completed by a positron (**positronium**), an antimuon (**muonium**), or a proton (**hydrogen**) ([`Electron.md`](Electron.md), [`Bound_States_QLF.md`](Bound_States_QLF.md)), the **proton's** deficit can be completed by any negative lepton: | completing lepton | neutral closure | note | |---|---|---| | `e⁻` | ordinary hydrogen | the lightest, stable completer | | `μ⁻` | muonic hydrogen (`pμ⁻`) | deeper-blanket lepton; bound but short-lived | | `τ⁻` | "tauonic hydrogen" | deepest-blanket lepton — too short-lived to bind | So "which lepton variety closes the proton" is a **generation** choice, and the deepest variety (τ) is precisely the one whose completion cannot bind — which is *why* the τ is handled not as a bound atom but as the decay-vertex object of §5. This makes the lepton generation an **output of the weak vertex**: the same pair-flip that flips the baryon charge (`n → p`-deficit) also fixes the flavor of the co-produced completing lepton. The variety is weak-sector data, not a free label. --- ## 5. The τ-decay vertex — where the W is the named blocker The electron and muon are handled as two-body bound-state ("Bohr") half-loop closures. The **τ breaks this pattern**: it is too short-lived for bound-state binding. Its decay `τ⁻ → ν_τ + W⁻` is a **multi-body joint ZFA closure** (one in, several out) that fires at an energetic threshold, and the **W's QLF closure topology is the named missing piece** needed to derive `m_τ` ([`Atomic_Structure_QLF.md`](Atomic_Structure_QLF.md) §6, [`Bound_States_QLF.md`](Bound_States_QLF.md) §4). So the W is not peripheral — it is the structural blocker for completing the lepton mass spectrum. ### 5a. Attempt — the τ as the deepest generation phase (a Koide-structured mass) §4a left the τ as "the lepton variety whose completion can't bind." That gives a handle on its **mass**, via the one near-exact empirical relation among the charged leptons — the **Koide relation**: $$Q \;=\; \frac{m_e + m_\mu + m_\tau}{\left(\sqrt{m_e} + \sqrt{m_\mu} + \sqrt{m_\tau}\right)^2} \;=\; \tfrac{2}{3}$$ (measured 0.6666605 — 0.0009% from 2/3) **The QLF reading.** `Q = 2/3` is *exactly* equivalent to writing the three √-masses as three phases 120° apart on a circle of radius `√2·M`: $$\sqrt{m_k} \;=\; M\bigl(1 + \sqrt{2}\,\cos(\delta + \tfrac{2\pi k}{3})\bigr),\qquad k = 0,1,2.$$ Two QLF structures fall directly onto this form: - the **`2/3`** is the **transverse-axis fraction** — 2 of 3 spatial axes carry the closure (the 6-twist = 2 transverse + 1 longitudinal per axis), the *same* `2/3` as the Lamb prefactor (§5 of [`Lamb_Shift.md`](Lamb_Shift.md)) and the photon polarization sum; - the **three 120°-spaced phases** are QLF's recurring "three" — the three spatial axes (cf. `N = 9 = 3²` in the α derivation, the three-quark Borromean closure). The three lepton generations are three *phases* of one gauge-fold closure, not three lengths. (This refines the qualitative `N = 4/8/12` loop-length picture of [`Primordial_Entanglement.md`](Primordial_Entanglement.md) §2, which gives the ordering but not the ratios.) **The payoff (reproducible — [`koide_tau_demo.py`](koide_tau_demo.py)).** If QLF supplies `Q = 2/3` structurally, then `m_e` and `m_μ` **predict** the third-generation mass: $$m_\tau \;=\; 1776.97\ \text{MeV}\quad\text{vs measured } 1776.86\ \text{MeV}$$ (0.006% agreement) Only the `2/3` is structural; `m_e, m_μ` are inputs — so this is a *parameter-light prediction* of `m_τ`, the first quantitative handle QLF has on the third-generation mass (previously "no quantitative match", [`Standard_Model.md`](Standard_Model.md) §4.1). **The τ-decay vertex, in this reading.** The τ is the deepest phase (largest √m). Being the variety that cannot bind (§4a), it appears not as a bound atom but as the weak **decay vertex** `τ⁻ → ν_τ + W⁻`, un-spooling the deepest generation phase into lighter generations + neutrino — and the energetic threshold the vertex satisfies *is* `m_τ`, pinned to ~0.006% by the Koide/transverse-fraction structure. So the "named blocker" has moved from "no handle" to "a structural mass + a vertex reading," with a clear residual open list (below). **Honest scope (load-bearing).** The overall phase offset `δ` (the Koide angle ≈ `2/9` rad) and the scale `M` are **not** explained — they are why `m_e, m_μ` must still be inputs. And this is the charged-**lepton** sector only; quark generations and CKM are separate. The `Q = 2/3` itself, however, is no longer just an identification — it is **derived** (§5b). ### 5b. Deriving `Q = 2/3` from the closure The Koide form `√mₖ = M(1 + A·cos(δ + 2πk/N))` — `N` generations as `N` balanced phases of amplitude `A` — gives, by `Σcos = 0` and `Σcos² = N/2`, $$Q \;=\; \frac{\sum m_k}{\left(\sum \sqrt{m_k}\right)^2} \;=\; \frac{1 + A^2/2}{N}.$$ So `Q = 2/3` follows by construction from **exactly two** structural facts: | input | value | QLF meaning | |---|---|---| | `N` | `3` | three generations = the **three spatial axes** | | `A²` | `2` | amplitude `√2` = the **two transverse axes** (the one longitudinal axis is the common `1` baseline) | and nothing else — the counterfactuals are sharp (only `N=3 ∧ A²=2` hits `2/3`): | `N` | `A²` | `Q = (1+A²/2)/N` | |---|---|---| | **3** | **2** | **0.6667 ✓** | | 2 | 2 | 1.0000 | | 4 | 2 | 0.5000 | | 3 | 1 | 0.5000 | | 3 | 3 | 0.8333 | So **Koide's `2/3` is QLF's `2 transverse + 1 longitudinal` split over `3` axes** — the *same* split that produces the transverse fraction `2/3` in the Lamb prefactor and the photon polarization sum. The algebra is **machine-verified**: `koide_three_phase` / `koide_two_thirds` ([`lean/QLF_Koide.lean`](lean/QLF_Koide.lean)) prove `3·Σs² = 2·(Σs)²` (hence `Q = 2/3`) from `r² = 2 ∧ Σc = 0 ∧ Σc² = 3/2`, and `koide_phase_witness` shows those hypotheses are satisfiable. What remains an **identification** (not a proof) is one sharp physical claim: that the lepton `√`-mass vector decomposes as `1` longitudinal baseline `+ 2` transverse 120°-phased oscillations across the `3` generation-axes. That is a far tighter conjecture than "`2/3` happens to match" — it pins the *entire* structure (`N=3`, `A=√2`, balanced phases) to the substrate's `6 = 2+1`-per-axis geometry, leaving only `δ` and `M` as inputs. Demo: [`koide_tau_demo.py`](koide_tau_demo.py) §3b. ### 5c. The Koide angle `δ` — the genuine input (and a flagged coincidence) With `Q = 2/3` derived (§5b), the three lepton masses are fixed by **two** inputs: the scale `M` and the overall phase offset `δ` (the Koide angle) — equivalently, `m_e` and `m_μ`. Solving `Q = 2/3` with the precisely-known `m_e, m_μ` pins $$\delta = 0.22227\ \text{rad}.$$ The famous near-coincidence `δ ≈ 2/9 = 0.22222` is tempting in QLF — `2/9 = 2/3²` reads as **(2 transverse axes) / (9 = 3² directional-coupling tensor)**, the *same* `N = 9 = 3²` that fixes α ([`Magnetism_Spatial_Dynamics.md`](Magnetism_Spatial_Dynamics.md) §6.1). It matches to **0.02%** and predicts `m_τ` to 0.001%. **But it is a coincidence, not a result:** `m_e` and `m_μ` are known to `~10⁻⁸` and demand `δ = 0.22227`, not `0.22222`, so `δ = 2/9` is *excluded* at that precision (it misses the electron-sensitive ratios `m_μ/m_e` by ~0.2%). Like the `I_1S ≈ 2π²` near-miss ([`HadronicDepth.md`](HadronicDepth.md)-style honesty), `2/9` is flagged, not claimed. **`δ` remains a genuine input** — deriving it (which would make the lepton mass *ratios* first-principles, leaving only the scale) is open. --- ### 5d. Quarks: it's the mass *difference* that's physical, not the mass A natural next question is whether the *quark* masses satisfy a Koide-like relation — "quark masses from leptons." They do not (`(u,d,s) → Q=0.567`, mixed triplets `0.73–0.85`; only the heaviest `(c,b,t) ≈ 0.669` drifts near `2/3`, where QCD dressing is least, and even there within the large quark-mass uncertainties). **But that is consistent with QLF, not a failure of it — and the test was the wrong object.** In QLF a quark is **fractional ZFA**: it does not exist independently (the same principle that makes the proton a deficit, §4a). A confined quark has **no physical mass of its own**; only the composite closure — the hadron — is an observable. Standard physics agrees: the quoted "quark masses" are scheme-dependent *running* Lagrangian parameters (MS-bar at a chosen scale), never measured. So "quark Koide" tests non-observables, and QLF *predicts* clean mass relations should live among the **observables** (leptons, hadrons) and be absent among the quark parameters — exactly what the data shows. **Where the physics actually lives is the mass *difference*.** Individual quark masses are not observable, but quark-flavor *differences* manifest as **observable hadron isospin splittings**: $$m_n - m_p = 1.2933\ \text{MeV} \;=\; \underbrace{(m_d - m_u)}_{\text{flavor step, }n\text{ heavier}} \;-\; \underbrace{\text{(EM self-energy)}}_{p\text{ heavier}}.$$ The `d ↔ u` flavor step **is** the weak vertex — the gauge-fold pair-flip of §4. So the `n–p` splitting is the *energy of the flavor-change closure step*, an observable tied directly to the machine-verified weak structure, even though the absolute quark masses are not. (Its **sign** — neutron heavier, so the proton is stable and hydrogen exists — is one of the most consequential facts in physics.) The analogous statement holds for `π± − π0` and the other isospin multiplets. So the right QLF target is **not** a quark-mass Koide (which QLF's own confinement principle says should not exist) but the **hadron mass *splittings*** = flavor-step energy minus EM closure-depth difference — observable, gauge-sector, and connected to the weak vertex. This remains **open** (we do not yet derive `m_n − m_p` from closure structure; the loose ratios `(m_n−m_p)/m_e ≈ 2.53`, `(m_d−m_u)/m_e ≈ 5` are flagged as coincidences, not relations) — but it is the *tractable, well-posed* form of "connecting the quarks," replacing the category error of asking for their absolute masses. --- ### 5e. Attempt — the n–p splitting from closure structure Taking §5d's target literally: can QLF derive `m_n − m_p = 1.2933 MeV`? It is two gauge-sector pieces (this decomposition is standard, recast in QLF terms; reproducible in [`np_splitting_demo.py`](np_splitting_demo.py)): $$m_n - m_p \;=\; \underbrace{(m_d - m_u)}_{\text{strong flavor step, }n\text{ heavier}} \;-\; \underbrace{\Delta E_{\text{EM}}}_{\text{EM closure difference, }p\text{ heavier}}.$$ **The EM half — QLF fixes its sign and scale.** The two baryons are Borromean three-quark closures differing only in quark *charge* (the `+−` gauge-fold content): proton `uud`, neutron `udd`. The charge structure alone determines the EM sign: | | `Σ qᵢ²` (self-energy) | `Σ_{i 0`) — the correct sign for keeping the proton stable. The magnitude comes from QLF's own constants: `α·ℏc/R_p = (1/137)(197.3)/(0.84 fm) = 1.71 MeV` (α the substrate value `alpha_QLF_eq`, `R_p` the proton blanket depth), and with the `O(1/3)` charge factors the required `ΔE_EM ≈ 1.22 MeV` sits squarely inside it. **So QLF — α + proton depth + the quark-charge gauge structure — fixes the EM half's sign and order of magnitude.** **The strong half — open, and *not* from charge.** `(m_d − m_u) ≈ 2.5 MeV` makes the neutron heavier and *is* the `d↔u` weak vertex (§4). A natural guess is that this comes from the down–up *charge* difference — but it cannot, for two structural reasons. (i) **Wrong direction:** the down quark is *less* charged (`|q_d| = 1/3 < |q_u| = 2/3`) yet *heavier*, so mass is anti-correlated with `|charge|` here — "more charge ⇒ more mass" runs backwards. (ii) **Sign symmetry:** charge *sign* alone cannot split masses — a quark and its charge-conjugate have equal mass (the `swap_topo`/CPT symmetry of the `+−` folds). In fact the two halves of the splitting push *opposite* ways: charge makes the proton heavier (the EM half), while the strong step makes the neutron heavier *despite* the down being less charged — and the strong half wins (proton stable ⇒ hydrogen exists). So the strong `d↔u` step is genuinely separate from charge; it is the bare flavor mass difference, **open** here and itself unexplained in the Standard Model (the down–up Yukawa asymmetry). **The net — a hard cancellation, not shortcut.** `m_n − m_p ≈ (+2.5) − (1.2) ≈ +1.3 MeV` is a delicate sub-MeV cancellation of two ~MeV gauge-sector effects, the same one that required lattice QCD+QED (BMW 2015) to compute from first principles. QLF supplies the **structure** and the **EM scale**; it does **not** supply the cancellation. So this is an honest **partial**: the decomposition is clean, the EM half's sign and ~MeV scale fall out of QLF's `α` + proton depth + gauge structure, and the strong half + precise value stay open. The sign result is not nothing — *neutron heavier ⇒ proton stable ⇒ hydrogen and chemistry exist*, and QLF gets that sign from charge structure alone. **The cleaner observable: `m_n − m_H`.** Comparing the neutron to the *proton* compares a neutral closure to a charge *deficit* (§4a) — which is why the EM piece had to be separated. The QLF-natural comparison is between two **neutral observable closures**: the neutron and the hydrogen *atom*. Their gap, $$m_n - m_H \;=\; 0.782\ \text{MeV},$$ is exactly the energy of the (Majorana) neutrino in **bound-state beta decay** `n → H + ν` — a real (rare, ~4×10⁻⁶) channel in which the neutron decays *directly into a hydrogen atom*. This is the literal realization of §4a: the neutron unspools into hydrogen's constituents and sheds `m_n − m_H` into the neutrino. So the clean QLF statement of the weak transition is **neutron-closure → hydrogen-closure + ν** — two neutral observables, the gap carried by the neutrino. Its being *small and positive* makes the free neutron unstable but long-lived (~880 s, rate ∝ `Q⁵`), and the margin is anthropic (free neutrons decay, bound neutrons in nuclei are stable, chemistry exists; `m_n < m_H` would give a stable neutron and *unstable hydrogen*). **Honest:** quantitatively `m_n − m_H = (m_n − m_p) − m_e`, so it carries the same strong−EM content above — it is the *right observable*, not new derivational power. ### 5f. Deuterium stability — a positive structural result Where the quark masses (§5d) and the strong `d↔u` step (§5e) are open, deuterium *stability* is a place QLF can speak **positively**, because it rests on machine-verified **Pauli exclusion** plus the §5e neutron margin. **Existence + uniqueness (Pauli).** The deuteron binds only in the spin-triplet, `L=0` channel. By Fermi antisymmetry, two *identical* nucleons (`pp` or `nn`) are forbidden that channel — so **there is no diproton or dineutron**. Only `np` binds, because the neutron and proton are **distinguishable** closures (differing by one `d↔u` flavor step). Distinguishable ⇒ no Pauli block ⇒ the bound triplet is available. This is anchored in QLF's verified Pauli exclusion (`pauli_exclusion : [A,A]=0`, with `fermi_nonzero_example` showing it is a genuine non-vacuous constraint — [`lean/PauliExclusion.lean`](lean/PauliExclusion.lean)). So the deuteron is the *unique* simplest bound nucleus, for a reason QLF has. **Stability (the bound neutron can't unspool).** `d → p+p+e⁻+ν̄` needs `m_d > 2m_p + m_e = 1877.06 MeV`, but `m_deuteron = 1875.61 MeV` — short by `1.44 MeV`, **forbidden**. Two QLF facts conspire: the diproton *isn't a closure* (Pauli again), and the joint-closure binding (`B_d = 2.224 MeV`) exceeds the free-neutron unspooling energy (`0.782 MeV`, §5e), so binding stabilizes the neutron — the §5e "bound neutrons are stable" point in its simplest case. **Positive vs. open.** The deuteron's *existence, uniqueness, and stability* are structural QLF results (Pauli + `d↔u` distinguishability + the §5e margin). The binding-energy *magnitude* (`2.224 MeV`) is open (nuclear/QCD dynamics, same level as the strong step). **The payoff:** no-diproton (Pauli) is the *deuterium bottleneck* — why stars fuse slowly and controllably rather than burning all their hydrogen at once — and QLF gets that structural reason from verified Pauli exclusion. (Cf. [`Fusion.md`](Fusion.md).) ### 5g. Heavy leptons: an RH electron shell over a proton-mirroring core (conjecture) A structural proposal for what makes a heavy lepton heavy, tying together §5b (Koide 3-phase), §5f, and the `m_p/m_e = 6π⁵` bridge. A heavy lepton (`μ`, `τ`) is: - **External — a right-handed, weak-singlet electron identity.** Same charge, spin, EM coupling, and chiral loop as the electron (lepton *universality* — μ and τ are electrons from outside). Being the **RH (weak-singlet)** component, it is EM-only and does **not** couple to the leak vertex. - **Core — a balanced, closed structure that *mirrors the proton's internals*** (a three-fold / Borromean, binding-dominated closure) at a *deeper* substrate scale (a different frequency). It carries the generation/flavor content and the bulk of the mass. - **Leak — the LH-doublet channel.** The W bleeds the core into neutrinos (`μ⁻ → e⁻ + ν̄_e + ν_μ`), at the weak rate `Γ ∝ G_F² m⁵`. Deeper core ⇒ faster leak: `τ_μ/τ_τ = (m_τ/m_μ)⁵/BR(eνν) = 7.55×10⁶` vs measured `7.57×10⁶` (**0.3%**) — and *why* the τ can't bind (§4a). **The payoff — it unifies the two "threes."** The Koide **3-phase** lepton generations (§5b) and the proton's **3-quark Borromean** closure become *the same three-fold*: the lepton generation core *is* a proton-mirror. This makes `m_p/m_e = 6π⁵` legible — the proton is the electron's heavy core (the `|S₃| = 6` three-quark permutation is the shared three-fold) — and is the structural form of the "leptons mirror proton processes at different frequencies" intuition. **The tension (load-bearing).** Charged leptons are **pointlike to ~10⁻¹⁹ m** — no substructure seen — while the proton has structure at ~1 fm. So a proton-mirroring core cannot be a literal proton inside the muon; it must sit ~10⁴× *deeper*, **fully closed/balanced so only the electron identity shows externally** (the closure hides it as confinement hides the proton's quarks). Self-consistent, but substrate-level and not directly resolvable at current scales. **Status: a research-direction conjecture.** The one solid quantitative anchor is the `m⁵` leak (`τ_μ/τ_τ` to 0.3%). Not derived: the precise proton-mirror core, the lepton masses (open, Koide-constrained, §5b–5c), and a resolvable test. Recorded as the structural form of intuition #2 — coherent and unifying, but conjecture. --- ## 6. Honest open list (quantitative weak sector) - **The Koide angle `δ`** — the genuine remaining lepton-sector input (§5c); `2/9` is a flagged 0.02% coincidence, not a derivation. - **`R_W`, `R_Z` from first principles** — the structure `M = αR` is there; the depths are not computed. ⇒ the absolute W/Z masses are open. The **Weinberg angle** has a structural value at the *unification* scale, `sin²θ_W = 3/8` (spatial/alphabet fraction = the SU(5) GUT normalization; `QLF_WeinbergAngle`); what is open is the **RG running** down to the measured `sin²θ_W(M_Z) ≈ 0.231` (the renormalization sector — its *structure* is Lean-anchored in [`QLF_RunningCouplings`](lean/QLF_RunningCouplings.lean): logarithmic running with the `2π` loop phase, asymptotic-freedom sign, and UV-finiteness from the substrate floor; the β-coefficients remain input) and the absolute depth ratio `R_W/R_Z`. - **The SU(2) coupling `g` and the breaking scale** (the Higgs VEV `v ≈ 246 GeV`) — not derived; [`Higgs.md`](Higgs.md) reframes the *mechanism* (gauge-fold delay) but not the numbers. - **Fermi constant `G_F`** — no derivation anywhere in the corpus. - **The τ-decay-vertex topology** — §5a gives a mass handle (Koide `Q=2/3` ⇒ `m_τ` to 0.006%) and a vertex reading (deepest-phase un-binding), but: **deriving `Q=2/3` from the τ-closure**, the **Koide angle `δ ≈ 2/9`**, and the **scale `M`** are open (`m_e, m_μ` are still inputs). - **Why exactly three generations** — structurally Lean-anchored: the generation count = `substrate_spatial_dimension = 3`, the same `3` as Koide's phases, colour SU(3), and `α`'s `N=3²` ([`QLF_Generations`](lean/QLF_Generations.lean), `three_axis_signature`); this *reduces* "why 3 generations" to "why 3 spatial dimensions" — which is **derived** as the minimal dimension in which any relational/causal graph renders faithfully (every finite graph embeds crossing-free in ℝ³; 2D fails for non-planar graphs), so the closure graph's rendering is minimally 3D ([`SpaceTime.md`](SpaceTime.md) §3a, [`QLF_ReachableEvent`](lean/QLF_ReachableEvent.lean)). The quark generations and the lepton↔quark mass correlation remain separate and open. - **Flavor change** (`d → u + e⁻ + ν̄`) — the explicit topological flavor-change process is not detailed. - **Hadron mass splittings** (`m_n − m_p`, `π±−π0`, …) — §5e: the EM half's sign and ~MeV scale fall out of QLF (α + proton depth + quark-charge gauge structure), but the strong `d↔u` flavor-step energy and the precise sub-MeV cancellation are open. This is the well-posed "connect the quarks" target (the *difference*, not absolute masses). - **CKM / PMNS mixing angles** — open ([`Standard_Model.md`](Standard_Model.md) §4.2). --- ## 7. What this is NOT - **Not a quantitative weak sector.** No W/Z mass, no Weinberg-angle number, no `G_F`, no coupling `g` is claimed to be derived. Only the **group-theoretic** SU(2) identification is asserted as closed. - **Not a doublet-representation theory.** `weak_isospin_su2` identifies the SU(2) *Lie algebra*; it does not construct the left-handed doublets / right-handed singlets as representations, nor explain why only left-handed fields couple. - **Not an explicit W propagator in beta decay.** QLF's β-decay is boundary restructuring; the W-as-particle is, so far, only the τ-vertex object (§4–5). - **Not a replacement for the Higgs mechanism's numbers.** [`Higgs.md`](Higgs.md) reframes mass generation as gauge-fold delay; the 125 GeV Higgs mass and the Yukawa structure stay open. - **Not a from-nothing derivation of the lepton masses (§5a–5b).** `Q = 2/3` *is* derived (machine-verified) — but **from** the structural inputs `N = 3` (three axes), `A² = 2` (two transverse axes), and balanced phases. What is *not* proved is the **identification** that the lepton `√`-mass vector actually has that `1 longitudinal + 2 transverse / 3-axis-phase` structure; the Koide angle `δ` and scale `M` remain inputs, so `m_e, m_μ` are still needed to predict `m_τ`. It is a parameter-light prediction with a derived invariant — **not** a closed derivation of the full generation spectrum, and **not** a claim that the lepton-mass↔axis-phase identification is itself proved. --- ## 8. References ### Internal (QLF) - [`lean/BraKetRhoQuCalc.lean`](lean/BraKetRhoQuCalc.lean) — `weak_isospin_su2`, `tau_comm_xy/yz/zx`, `tau_anticomm_*`, the Σ₈ τ-algebra (machine-verified). - [`lean/QLF_TwistAlphabet.lean`](lean/QLF_TwistAlphabet.lean) — `interleaved_xlvr_folds_to_negI` (the chiral electron loop `^`); `count_balanced_pauli_closed`. - [`koide_tau_demo.py`](koide_tau_demo.py) — §5a reproducible: Koide `Q` from measured masses, the `m_τ` prediction from `m_e, m_μ, Q=2/3`, and the three-phase equivalence. - [`np_splitting_demo.py`](np_splitting_demo.py) — §5e reproducible: the `m_n − m_p` decomposition, the EM half's sign + scale from the quark-charge gauge structure and `α·ℏc/R_p`. - [`Primordial_Entanglement.md`](Primordial_Entanglement.md) §2 — the `N=4/8/12` generation loop-length picture refined by §5a's phase reading. - [`Higgs.md`](Higgs.md) §4 — W/Z as gauge-fold closures, `m = αR`, `cos θ_W = R_W/R_Z`. - [`Standard_Model.md`](Standard_Model.md) §§2–4 — the honest scoreboard; weak SU(2) row. - [`Beta_Decay_Neutrino_Nature.md`](Beta_Decay_Neutrino_Nature.md) — beta decay as boundary restructuring; the Majorana neutrino (`neutrino_majorana`) and the `0νββ` prediction. - [`Atomic_Structure_QLF.md`](Atomic_Structure_QLF.md) §6, [`Bound_States_QLF.md`](Bound_States_QLF.md) §4 — the τ-decay vertex (the W blocker). - [`Lagrangian_Formulation.md`](Lagrangian_Formulation.md) — the Σ₈ algebra and `τᵢ = iσᵢ`. - [`Open_Problems.md`](Open_Problems.md) — registry status of the weak-sector items. ### External - Glashow–Weinberg–Salam electroweak unification (SU(2)_L × U(1)_Y); the Higgs mechanism. - PDG — `M_W = 80.377 GeV`, `M_Z = 91.1876 GeV`, `cos θ_W = M_W/M_Z ≈ 0.881`, `G_F = 1.1664×10⁻⁵ GeV⁻²`. - The quaternion group `Q₈` and `SU(2)` as unit quaternions (the algebraic identity behind §3).