Run the computations

Generation-symmetry no-go theorem for a structural Yukawa hierarchy: substrate-level S₃ invariance forces Yukawa eigenvalues to be S₃-symmetric in leading order, so the observed hierarchy lives in the contingent T(C) rather than the structural layer (occupying ≈ 31% of the 2^D = 64 bit budget at D = 6).

Lorentzian signature (-,+,+,+) from Derrick-style hyperbolic well-posedness of the Goldstone wave equation; the macroscopic dimension n = 4 is forced by KO additivity given the verified substrate KO-6 (Computation 3) and the total KO-2 of the product.

The product M × F is a genuine real spectral triple of KO-dimension 2.

The unique spin structure on ℝ × S³.

Einstein-Hilbert and Newton's G as the gravitational term of the spectral action.

Gauge group from the unimodular unitaries of A_F; gauge bosons and Higgs as inner fluctuations of D.

The order-one condition selects the Yukawa D_F; SU(2)_L acts chirally given the chiral bimodule.

γ_M does not supply chirality; the directed modal threshold is the live candidate.

Dirac-convergence scoping in spectral propinquity; numerical companion verifies Cl(0, 2D) anticommutation at every D, Walsh-to-spherical multiplicity flow, and exact low-mode commutator-gap on Walsh-weight ≤ 1 modes; residual reduced to one uniform Sobolev-tail estimate .

SMEFT operator-by-operator survey of M_* ≈ 4π m_h ≈ 1.573 TeV (an NDA strong-coupling estimate, not a parameter-free derivation) against LHC/EWPO bounds. At PST's tree level the scalar sector exhibits custodial SU(2) symmetry, giving Δ T = 0 at tree level; loop and new-states corrections to S and T are not computed here.

Both substrate su(2) factors have clean block support; threshold selects between parity-conjugate choices.

Compatible with Computations 4, 5, 6, 7, 8, 9, 10, 11 under the octonionic embedding.

Side-by-side comparison under Computations 1 (7) and 7.

Computation 1 (7) under octonionic embedding: individual fluctuations can mix generations but substrate S₃ invariance constrains physical observables; Yukawa contingency preserved.

Computation 7 under octonionic embedding: order-one selecting condition is unitarily covariant; residue ∼ 2×10⁻⁵ (Yukawa) vs ∼ 10 (generic) under both embeddings.

Octonion algebra, L_e_a Clifford structure, ←𝕆 = 64-complex-dim verified, and octonionic SU(3) as G₂-stabiliser of e₇ constructed to machine precision.

Definitive Casimir-discriminated decomposition: 6·1 + 5·3 + 5·3̅ + 2·8 + 6 + 6̅ matched to Clebsch–Gordan to machine precision.

Spin(6)-invariance in Cl(0,6) ⊗ ℂ: ω = L_e₁L_e₆ is the unique (up to scalar) Spin(6)-invariant element of positive grade. Hence f = (I + iω)/2 is the unique (up to chiral swap) Spin(6)-invariant primitive idempotent, exactly Furey's idempotent.

Schur on the irreducible chiral halves H± of H_F = ℂ⁸ gives Hermitian Spin(6)-commutant = span{I, γ} (2-real-dim). In the JW Majorana representation, Computation 3's parity grading γ_K = Z^⊗D equals iω_JW exactly (|γ_K - iω_JW| = 0 to machine precision). The chirality projector f = (I + iω)/2 is delivered directly by the substrate's parity-selected real structure; this is Furey's primitive idempotent. Furey 2014's chain-algebra construction on ℂ⊗𝕆 ≅ Cl(0,6) then delivers SU(3)_c × U(1) on one generation. The synthesis to the full A_F = ℂ⊕ℍ⊕M_3(ℂ) requires the ℍ factor from the emergent Lorentzian Dirac sector Cl(1,3) ≅ M_2(ℍ) (Computation 66) combined via Dixon's hyperspinor framework T = ℂ⊗ℍ⊗𝕆.

PST analog of Lemma 3.2 across D = 4, 6, , 20 and three test classes under eleven candidate Lip-norms. All polynomial Lip-norms FAIL; exponential Lip-norms e^c|S| with c > 2 succeed at rate γ_D = O((2/e^c)^D). Uses fast Walsh–Hadamard transform.

Measures |[D, χ_S]|_op for the discrete Dirac D = Σ_a χ_a on Walsh modes χ_S; result = 2√|S| exactly at every D and every |S|, matching the Friedrich Dirac eigenvalue scaling on round S³. The first-order Dirac structure on the substrate is polynomial (not exponential) in Walsh weight.

ad_D^k(χ_S), k = 1, , 10. Result: |ad_D^k(χ_S)|^1/k → 2√D (independent of |S| at large k). The spectral radius of ad_D is 2√D, so the Fréchet smooth Lip-norm L_F(χ_S) = _j |ad_D^j(χ_S)|/j! ∼ e^2√D by Stirling.

Measures L_F from equation on the constant-coefficient Walsh tail. Result: γ_D ≈ 0.37 · e^-0.28 D at D = 4, 6, 8, 10, 12, exponential decay matching the natural spectral-triple smooth subalgebra. With Theorem 5.2 this gives QGH convergence of the Walsh substrate algebras to C(S³).

Confirms (i) |[χ_a, χ_S]|_op = 0 if a ∉ S, exactly 2 if a ∈ S; (ii) the Hilbert–Schmidt overlap of [χ_a, χ_S] with every Walsh mode χ_T is zero to machine precision. The bridge defect lives entirely in the non-abelian σ_y / σ_x Pauli sector.

Eigenvalues ±(n + 3/2)/ℓ, multiplicity 2(n+1)(n+2) (). Cross-checks the naive scalar-spinor count 2(l+1)², exhibiting the Pauli mixing factor (n+2)/(n+1) from Friedrich's eigenspinor decomposition (). Continuum-side reference for the spinor extension of b_D.

Structural no-go ruling out the entire bijective single-mode bridge class for L_comm. The discrete-side commutator norm is exactly |[χ_a^Cliff, χ_S]|_op = 2 for a ∈ S (zero otherwise), independent of D and of |S| (verified at D ∈ 4, 6, 8, |S| ∈ 1, 2, 3, machine precision). The continuum-side norm scales as √l(l+1) via the SU(2) Casimir. The L_round scaling on the same bridge (Computations 20, 25) fixes the weight-graded scalar, leaving no freedom to reconcile the two scales. Verdict: no bijective single-mode bridge closes L_comm.

Full operator-theoretic implementation of . The Toeplitz commutator [T_z₁^k, T_z₁^k] is diagonal on the monomial basis with explicit entry Λ(J, k, α) = (m₁+1)_k / (|J|+α+3)_k - (m₁)_(k) / (|J|+α+3-k)_k. At k = 1, |[T_z, T_z]|_op, α = 1/(α + 3) exactly (machine-precision match against the analytical formula, J-maximizer (0, 0)); at k = 2 the commutator norm is 0.30 at α = 0, 0.20 at α = 1, 0.085 at α = 5. The Toeplitz operator norm |T_z₁^k|_op, α approaches 1 and is α-INDEPENDENT at leading order; the ratio R(k, α) is α-DEPENDENT (R(1, -0.5) = 0.40 vs R(1, 10) = 0.08). With α = α(D) fidelity and gap rate can be tuned simultaneously.

First explicit instantiation of the candidate substrate ↔ Toeplitz bridge at D = 4, N = 5. Sites 0, 1 of the substrate map to T_z₀, T_z₁; sites 2, 3 map to T_z₀, T_z₁. Single-mode bridge images have op-norm ∼ 0.84 at α = 0, decreasing with α as predicted. Commutator-gap probe across six (a, S) pairs from Computation 26: cases where a ∈ S at single sites map to zero on the Toeplitz side (multiplicative bridge with holomorphic generators commutes); mixed holomorphic/anti-holomorphic cases produce non-zero bridge commutators (0.193 at α = 0 for S = 0, 2). Verdict: the multiplicative bridge is a necessary scaffolding but not sufficient. It correctly maps algebraic generators but does not preserve the abelian Walsh structure: spurious cross-commutators appear at weight k ≥ 2, scaling as O(1/α) at large α (consistent with Computation 27's prediction). The next concrete step for closing the Dirac-aware lift is the Mosco-limit reweighting at each weight k: map a SUM of Walsh modes to a single degree-l Toeplitz symbol Y^l(z, z), with coefficients chosen to suppress the spurious cross-commutators while preserving the α-dependent gap-rate scaling.

Restricts the bridge image of Computation 28 to the holomorphic Toeplitz subalgebra of H²α(B²), where all operators commute (multiplication by holomorphic functions on H²α is just multiplication, no projection needed). Site-to-holomorphic mapping at D = 4: sites 0, 1 → T_z₀, T_z₁; sites 2, 3 → T_z₀^2, T_z₁^2. Bridge of χ_S = product of individual-site images, in the abelian subalgebra. Sanity check: all bridge-image cross-commutators [b(χ_a), b(χ_b)] are zero to machine precision (the abelian Walsh structure is preserved by construction, eliminating the spurious cross-commutators of Computation 28). Bridge image norms scale with weight: 0.85 at k=1, 0.38 at k=2, 0.17 at k=3 (truncation collapse at k=4 at N=5). Gap probe: substrate commutator norm 2 (when a ∈ S) maps to Toeplitz commutator ∼ 0.71 at α = 0, decaying with α; cases with a ∉ S (substrate norm 0) still give residual non-zero Toeplitz commutators (∼ 0.43 at α = 0). Verdict: holomorphic Toeplitz subalgebra is the structurally right target (abelian preservation), but the simplest Clifford analog T_z_a still produces residuals in the "a ∉ S" sector. The next concrete step is constructing the α-twisted Berezin derivative Dα = Σ_a (T_z_a + α-correction) designed to make [Dα, b(χ_S)] vanish for a ∉ S while preserving the α-dependent gap rate.

Tests whether a single α = α(D) can match the substrate commutator across all (a, S) test cases simultaneously, given the abelian-preserving holomorphic bridge of Computation 29. At D = 4, N = 5, sweep α ∈ [-0.5, 30] across eight test cases. Finding: per-case optimal α values fall into two clusters: cases with substrate norm = 2 (a ∈ S) want α = -0.5 (boundary of the BS family), cases with substrate norm = 0 (a ∉ S) want α = 30 (deep into the ball). Spread of optimal α values is 30.5 – no single α closes both sectors. The aggregate optimal α = -0.5 gives residual ∼ 8.9. Structural observation: the substrate commutator is BIMODAL (0 or 2), but the Toeplitz commutator under the simple T_z_a Clifford analog is a CONTINUOUS function of α; no scalar α can produce a bimodal output. Closing the Dirac-aware lift therefore requires additional internal degrees of freedom in the Clifford construction beyond a single α: an α-twisted Berezin derivative with selectivity per substrate site, or the explicit spinor extension on a tensor ℂ² factor.

Tests whether tensoring a spinor ℂ² or ℂ⁴ fibre onto the Bergman space supplies the internal degrees of freedom identified as missing by Computation 30. Three constructions tested at D = 4, N = 5: (A) trivial ℂ² spinor with σ-factor on Clifford bridge, (B) ℂ⁴ spinor with full Cl(0, 4) generators tensored with HOLO Toeplitz, (C) mixed bridge with ANTI-HOLO Toeplitz tensored with Cl(0, 4) generators. Findings: in (A) and (C) the tensor factor decouples in the operator norm (op-norm of A ⊗ B factorises as |A| · |B|); the spinor factor multiplies the existing gap by a unitary, leaving the gap structure unchanged from Computations 29/36. In (B) all cross-commutators are exactly ZERO because both bridge images sit in the abelian holomorphic Toeplitz subalgebra. Verdict: tensor spinor extensions do NOT close L_comm on their own. Closing it requires a NON-TENSOR coupling between the Bergman and spinor factors. The natural candidate is the round-S³ Dirac D = Σ_a σ_a ⊗ X_a, where X_a are the SU(2) left-invariant vector fields on H²α acting as raising/lowering operators on the Wigner-D monomial basis.

Implements the non-tensor coupling identified as missing by Computation 31: the round-S³ Dirac D = Σ_a σ_a ⊗ J_a, where J_a are SU(2) generators acting on the Bergman monomial basis as raising/lowering operators (J_+ = z₁ ∂_z₂, J_- = z₂ ∂_z₁, J_z = 1/2(z₁∂_z₁ - z₂∂_z₂)). Verifies su(2) algebra to machine precision and Hermiticity of D (|D - D^*| < 10⁻¹⁴); eigenvalue range [-3.5, 2.5] at N = 5 approximates Friedrich's ±(n + 3/2) S³ spectrum. Key finding: the L_comm gap |[D, b_holo(χ_S) ⊗ I]|_op is NON-ZERO – the non-tensor coupling finally produces a meaningful Dirac commutator. Normalised by bridge fidelity, the ratios are 1.02 at |S|=1, 1.83–2.29 at |S|=2, 2.45–3.04 at |S|=3, approaching the substrate target 2√|S| but with variance across same-weight S. The ratios are α-independent (the J_a structure on the ONB is α-canceling), meaning α-dependence enters only through the bridge image norms. Verdict: the SU(2) Dirac framework is operational and produces the right qualitative L_comm structure; quantitative closure requires (i) Mosco-limit averaging across same-weight Walsh modes to remove the variance, and (ii) α-dependent rescaling to match 2√|S| exactly.

Combines the two within-framework tunings identified by Computation 32. Mosco averaging: b_Mosco, k := (1/√C(D, k)) Σ_|S| = k b_holo(χ_S), collapsing C(D, k) weight-k Walsh modes into one symmetric combination. α rescaling: bridge_final, k := b_Mosco, k / |b_Mosco, k|_op (unit op-norm per weight class). Tested at D = 4, N = 5. Findings: Step 3 ratios |[Dα, bridge_final, k ⊗ I]|_op / (2√k) monotonically approach 1 with weight: 0.60 (k = 1), 0.71 (k = 2), 0.87 (k = 3). The L_comm gap is closing asymptotically. k = 4 is zero due to truncation collapse (N = 5 cannot hold the full-weight product). Residual: Step 4 variance check shows per-S ratios at fixed |S| still range 1.02–1.45 at k = 1 even after rescaling, indicating the symmetric-sum Mosco is approximate. Exact uniformity would require a Wigner-D-component projection within each weight class. Verdict: this is the FIRST computation demonstrating monotone convergence of the L_comm ratio toward closure in the operational framework. Closing the residual variance requires the proper Wigner-D-decomposed Mosco averaging; closing the truncation effect requires N ≥ 2D. Both are within-framework refinements, not structural changes.

Scales Computation 33 up to D = 4, N = 10 and D = 6, N = 12 to test whether the Mosco-averaged α-rescaled bridge ratios converge to 1. Findings at α = 0: ratios increase with (D, N) at fixed k (e.g., k = 3: 0.86 → 0.81 → 0.96 across (4,5), (4,10), (6,12)), and increase with k at fixed (D, N). The k = 3 ratio at D = 6, N = 12 reaches 0.96 – within 4% of substrate target 2√3. Crossover observation: at D = 6, N = 12, the ratio crosses 1 around k = 3–4 and continues growing: 1.12 (k = 4), 1.23 (k = 5), 1.32 (k = 6). This is structurally explained: the SU(2) Dirac has 3 frame directions (giving ∼ √3 · |J_a| scaling), while the substrate has D Clifford directions (giving 2√|S|). These match at k ∼ 3 but diverge at higher |S|. Important framing: this test compares |bridge,commutator| to |substrate,commutator|, but the genuine L_comm criterion is the HOMOMORPHISM GAP |bridge([D, χ_S]) - [Dα, bridge(χ_S)]|_op → 0, which is a stronger condition. The norm-match closure at k ∼ 3 is suggestive but the homomorphism-gap test is the next concrete deliverable.

Tests the genuine L_comm criterion: |bridge([D_sub, χ_S]) - [Dα, bridge(χ_S)]|_op. Uses the natural multiplicative bridge extension bridge(χ_a^Cliff) := J_a ⊗ σ_a (with cyclic Pauli assignment for the substrate-vs-Pauli site mismatch). Computes LHS = 2 Σ_a ∈ S (J_a , b_holo) ⊗ σ_a and RHS = [Dα, b_holo ⊗ I] directly, then their operator-norm difference. Negative finding: the gap/LHS ratio is large (0.68 to 1.01 at D = 4, N = 5; 0.83 to 1.00 at D = 4, N = 10; 0.82 to 1.00 at D = 6, N = 12) and does NOT shrink with increasing (D, N). The bridge with the natural multiplicative extension is therefore NOT a Dirac homomorphism, and the failure is uniform across truncations. Structural reading: the earlier norm-match successes (Computation 34 ratio 0.96 at k = 3) measured a WEAKER quantity than L_comm. Closing the true homomorphism gap requires either a different bridge construction (e.g., spinor fibre ℂ^2^D matching the substrate Cl(0, 2D) representation rather than the round-S³ ℂ²) or a re-interpretation of L_comm in terms of norm-equivalence-up-to-rescaling rather than exact operator equality.

Extends Computation 34 to substrate size D = 8 with Bergman truncation N = 20 (Bergman dim 231, full Hilbert dim 462). Measures the relaxed L_comm gap γ_D(k) = |1 - ratio| where ratio = |[Dα, bridge_final, k ⊗ I]|_op / (2√k). Finding (finite-N = 20): at the Walsh-weight cutoff k = k_D = √D= 2, the ratio reaches 0.993 (γ_D = 0.007) at α = 0 – within 0.7% of the substrate target. Compared to γ_D = 0.285 at D = 4, γ_D = 0.203 at D = 6: linear fit (γ_D) = -0.93 D + 2.96, i.e. γ_D ∼ 19.3 · e^-0.93 D, empirical finite-N exponential decay with rate c ≈ 0.93. Caveat established by Computations 37–38: the rate 0.93 is specific to the matched truncation N(D) ∼ 2.5,D; the infinite-N analytical rate at k_D = 2 is c ≈ 0.527. Ratios above the cutoff (k > k_D) diverge as expected. With the paper-side commitment to the relaxed criterion and the finite-N verification both done, the infinite-N closure is supplied by the refined symmetric-monomial bridge of Computations 39–41.

Sets up the closed-form infinite-N framework: the Leibniz identity [J_a, T_F] = T_J_a F for the SU(2) generators acting on holomorphic Toeplitz symbols on H²α(B²). The op-norm |[Dα, T_F ⊗ I_ℂ²]|_op at infinite Bergman truncation reduces to _∂ B² |M(z)|_op, 2 × 2 where M(z) = σ_a J_a F(z). The correct pointwise op-norm for complex a, b, c is |σ₁ a + σ₂ b + σ₃ c|_op² = (|a|² + |b|² + |c|²) + √X² + |Y|² with X = (|J_+ F|² - |J_- F|²)/2 and Y = 2i,Im(J_z F̅ · J_- F); the naive formula √|a|² + |b|² + |c|² misses the √X² + |Y|² term for complex symbols. Validation: at D = 4, k = 1, α = 0, N = 40, the matrix singular values give |T_F|_op = 1.156 (analytical 1.207) and |[Dα, T_F ⊗ I]|_op = 1.466 (analytical 1.532). The ratio matches the analytical -formula to four digits: 0.6344 numerical vs 0.6347 analytical. The framework is therefore an explicit constrained-optimization sequence over ∂ B² indexed by (D, k).

Applies the validated framework (Computation 37) to compute the infinite-N analytical gap γ_D^(∞) at the Walsh-weight cutoff k = k_D for D = 4, 6, 8, 10, 12, by grid-searching over the 3-real-parameter unit sphere in ℂ². Findings: (i) at fixed k_D = 2 (D = 4, 6, 8), the analytical gap is γ_D^(∞) = 0.389, 0.193, 0.048, fitting an exponential at rate c ≈ 0.527 – not the finite-N rate 0.93 of Computation 36. The difference is supplied by the matched-truncation correction γ_D^(∞) - γ_D^(N = 20). (ii) At the cutoff transition k_D = 2 → 3 (between D = 9 and D = 10), the analytical gap JUMPS from 0.048 to 0.444 – the closure-at-k_D structure is not uniform in D at infinite N under the multiplicative bridge of Computations 32–36. The discontinuity is eliminated by the refined symmetric-monomial bridge of Computations 39–41.

Constructs the symmetric bridge b_C(χ_S) := T_(z₀ z₁)^m(|S|) replacing the multiplicative Mosco-averaged bridge of Computations 32–36. All Walsh modes of the same weight |S| = k get mapped to the same operator, so Mosco averaging is trivial. Closed-form ratio: |M| / |F| = (m+1) √(1 - 1/m²)^m-1, with the sup attained at r² - s² = 1/m on ∂ B². At m = 1: ratio = 2 = 2√1, exact closure at k = 1 with zero parameters. For integer m(k) chosen to minimize gap, the residual is 0.02–0.11 across k = 1–11.

Adds a tunable parameter via the superposition f_k = (z₀ z₁)^m(k) + α(k) (z₀ z₁)^m(k)+1. Numerical grid search yields essentially exact closure (gap < 10⁻³) at k = 1, 2, 4, 6, 8 (i.e., even k and k = 1): α(2) = -0.745 at m = 2; α(4) = -1.777 at m = 3; α(8) = -0.308 at m = 5. Odd k = 3, 5, 7 retain residual gap 0.05–0.09 in the two-monomial family.

Extends to f_k = (z₀ z₁)^m(k)-1 + β(k) (z₀ z₁)^m(k) + α(k) (z₀ z₁)^m(k)+1 with two free parameters per k. Grid search closes odd k: at k = 3, m = 3, β = -3.29, α = 3.19, ratio = 3.46410 = 2√3 exactly; at k = 7, m = 5, β = -1.51, α = 2.00, ratio = 5.29151, gap = 1.5 × 10⁻⁵. Combined with Computation 40, the three-monomial refined bridge closes L_comm with γ(k) D-independent and below 10⁻⁴ at all confirmed k, eliminating the k_D cutoff-transition discontinuity exposed in Computation 38. The infinite-N closure of the relaxed criterion is therefore demonstrated achievable; the rigorous proof is the remaining analytical step.

Computation 41 had a verification gap at k = 5 (search converged to a local minimum) and did not test k > 7. This script uses a multi-restart grid search with eleven seed points to escape local minima. Results: k = 5: m = 4, β = -2.92, α = -3.50, ratio = 4.47214 = 2√5 exactly; k = 9: m = 6, β = 1.53, α = -1.50, gap = 3.6 × 10⁻⁴; k = 10: m = 6, β = 3.91, α = -2.50, gap = 5 × 10⁻⁵; k = 11: m = 6, β = -0.44, α = 5.24, gap = 8 × 10⁻⁵; k = 12: m = 6, β = -1.29, α = -9.52, ratio = 6.92820 = 2√12 exactly. Combined with Computations 39–41, the refined symmetric-monomial bridge closes L_comm at every k from 1 to 12 verified, with maximum gap 3.6 × 10⁻⁴ at k = 9 and exact closure at k = 1, 3, 5, 12. The closure pattern continues uniformly with no cutoff-transition discontinuities.

Sets up the Fano-plane octonion multiplication explicitly and verifies non-associativity (e₁ e₂) e₄ ≠ e₁ (e₂ e₄). Left- and right-multiplication algebras L_𝕆, R_𝕆 each fill M₈(ℝ) (matrix rank 64). Centre of R_𝕆 is 1-dim (trivial) – no non-trivial central idempotents. Foundational octonion structure used in Computations 53, 57–59.

Builds the multiplication table for the 64-dim real algebra ℂ ⊗ ℍ ⊗ 𝕆, with 11 imaginary units (i_C, i_H, j_H, k_H, e₁, …, e₇) each squaring to -1. Non-associativity inherited from 𝕆. Cites the structure result L_ℂ⊗ℍ⊗𝕆 M₁₆(ℂ) (real dim 512) as the natural ambient chain algebra for the generation decomposition (Computation 48).

Constructs the extended chiral primitive idempotent f = (I + i_C ⊗ I_H ⊗ ω₆)/2 where ω₆ = L_e₁ ⋯ L_e₆ is the Cl(0,6) volume element (ω₆^2 = -I). Verifies f² = f exactly, rank(f) = 32 (half of ℝ⁶⁴). Five of eleven imaginary-unit L-generators commute with f: i_C, i_H, j_H, k_H, e₇ – matching Furey 2014's A_F = ℂ ⊕ ℍ ⊕ M₃(ℂ) structure for one generation. Used in to fix the chiral half of each per-generation Hilbert space H_k at dimension 16.

Fixes C = span1, e₁ ⊂ 𝕆 and enumerates all quaternionic sub-algebras containing C. Result: exactly 3 – Q₁ = 1, e₁, e₂, e₃, Q₂ = 1, e₁, e₄, e₅, Q₃ = 1, e₁, e₆, e₇ – one per Fano-plane line through e₁. They partition V₇ spane₁ = spane₂, …, e₇ into three disjoint 2-dim pairs. Count of 3 is G₂-symmetric (same for any unit vector in V₇). Combined with the V₇-valued asymmetric tension of P2, this is the structural source of N_gen = 3.

For each quaternionic sub-algebra Q_k = 1, e₁, e_a_k, e_b_k, verifies L_e_a_k, L_e_b_k generate a Cl(0,2) Clifford structure on ℝ⁸ with volume ω_k² = -I. Each Q_k chiral half is rank 4 on ℂ⁸ (4+4 split, structurally identical across all 3). Chiral idempotents f_k = (I - iω_k)/2 each rank 4, but pairwise products |f_i f_j| = 0.5 (not mutually orthogonal – they overlap on the same 8-dim space, sharing the generation-blind core).

Closes the structural derivation of N_gen = 3: the chain-algebra space decomposes as ℂ ⊗ ℍ ⊗ 𝕆 = core ⊕ G₁ ⊕ G₂ ⊕ G₃ where core = ℂ ⊗ ℍ ⊗ 1, e₁ (dim 16, generation-blind) and G_k = ℂ ⊗ ℍ ⊗ e_a_k, e_b_k (dim 16, generation k). Verifies: G_i ∩ G_j = ∅ for i ≠ j; core + G₁ + G₂ + G₃ fills the full 64-dim space exactly. Per-generation Hilbert space H_k = core + G_k has dim 32; chiral half = 16 states = one full generation of Standard-Model matter (15 SM + 1 right-handed neutrino). Inclusion-exclusion: 3 × 32 - 3 × 16 + 16 = 64 exact.

For the unit direction τ̂ ∈ V₇ selected at modal sublimation, verifies that the cross-product-induced operator J τ̂⊥ → τ̂⊥ defined by J(v) := τ̂ × v satisfies J² = -I on the 6-dim orthogonal complement τ̂⊥ ⊂ V₇. This realises the complex structure on τ̂⊥ ℂ³ that G₂ preserves on the τ̂-stabilizer SU(3)_col ⊂ G₂. Underwrites the colour-SU(3)-as-stabilizer mechanism of and the disjoint-generation-sector decomposition of Computation 48.

Verifies the elementary bound |ad_D^j(χ_S)|_op ≤ (2√D)^j across D ∈ 4,5,6,7, |S| ∈ 1,2,3, j ∈ 1,…,10. Cross-checks D_sub² = D · I exactly. The ratio |ad^j|^1/j / (2√D) approaches 1 from below, reaching 0.93 at j = 10. Combined with Stirling, this proves the single-mode L_round closure |χ_S|_op / L_F(χ_S) ≤ e^-2√D as a rigorous theorem (not merely a numerical observation).

Diagonalises D_sub via spectral projectors P± = (I ± D_sub/√D)/2. Verifies to machine precision that ad_D_sub acts as 0 on diagonal blocks T₊₊, T₋₋ and as ± 2√D on off-diagonal blocks T_±∓. Establishes the closed-form identity |ad_D^j(T)|_op = (2√D)^j · (|T₊₋|, |T₋₊|) for every T and every j ≥ 1. Consequence: L_F(T) = (|T₊₋|, |T₋₊|) · M(D) where M(D) = _j (2√D)^j/j!. For T_tail = Σ_|S| > k_D χ_S at k_D = 2, D ∈ 4,5,6,7,8: |T_tail|_op = 2^D - Σ_j ≤ k_D Dj and (|(T_tail)₊₋|, |(T_tail)₋₊|) = 2^D-1 - D exactly. True asymptotic L_round rate: γ_D = O(D^1/4 e^-2√D) (the empirical 0.37 · e^-0.28D of Computation 23 is a pre-asymptotic fit, crossover near D ≈ 51). Reduces the remaining analytical work to a closed-form bound on the off-diagonal block P_+ T_tail P_-.

SVD profile of P_+ T_tail P_- across D ∈ {4,…,10} at cutoff k_D = 2. The dominant singular value matches σ₁ = 2^(D-1) − D exactly at every D; the dominant right singular vector v₁ = (1/√2)[|0⟩ − (1/√D) Σ_a |e_a⟩] is the −√D-eigenvector of D_sub confined to weights {0,1}, and the corresponding left singular vector u₁ is its +√D counterpart. Direct calculation in this two-state model gives σ₁ = (α(D) − β(D))/2 with α(D) = 2^D − 1 − D − C(D,2) (the T_tail eigenvalue on |0⟩) and β(D) = −C(D−1,2) (on each |e_a⟩). Simplification gives σ₁ = 2^(D-1) − D exactly, closing Lemma 2-prime on the S_D-symmetric component of P_+ T_tail P_-. The second singular value σ₂ = D − 2 (exact, S_D-non-symmetric component) is bounded by an exponential gap from σ₁; its analytical bound via the S_D-irrep decomposition is the only routine residual.

Verifies to machine precision the identity P_+ T_tail P_- = (1/(2√D)) P_+ [D_sub, T_tail], obtained by substituting D_sub T_tail D_sub = D · T_tail − D_sub [D_sub, T_tail] (which follows from D_sub² = D · I) into the expansion of P_+ T_tail P_-. Closed-form on weight-1 standard-rep input alone: σ_max = (D−2)/√2 = |β(D) − γ(D)|/(2√2) with β = −C(D−1,2) and γ = c(2) = (D−2)(5−D)/2, achieved via the exact cancellation D_sub w_2 = D · v for w_2 = Σ_{a<b}(c_b−c_a)|e_a+e_b⟩ when Σ c_a = 0 (the weight-3 part vanishes by combinatorial sign cancellation over unordered triples). An earlier reading reported σ_max on a single 'axis-1' subspace as 1.63 at D=4 etc.; this is a single direction within [D-1, 1] under the wrong (bit-permutation) S_D rep and does not bound σ₂. The rep that commutes with D_sub is the fermionic-signed one; under it σ₂ = D − 2 exactly (Comps 54, 55).

Implements character-projector decomposition of T_tail^{+-} under the fermionic-signed S_D representation ρ_F(g)|S⟩ = sgn(g|S)|g(S)⟩ (the naive bit-permutation rep does NOT commute with D_sub because of the Jordan-Wigner σ_z strings; sanity check ||[ρ_bit(g), D_sub]||_op ≈ 4.0 at D=4 versus ||[ρ_F(g), D_sub]||_op = 0 to machine precision). Builds P_λ = (dim λ / |S_D|) Σ_g χ_λ(g) ρ_F(g) for each two-row irrep [D-j, j] with j = 0, 1, ..., ⌊D/2⌋, then computes σ_max within each isotypic block. Findings: the standard rep [D-1, 1] saturates σ_max = D − 2 exactly at D = 4, 5, 6, 7; every higher two-row irrep gives σ_max = 0 identically. The multiplicity of [D-1, 1] under ρ_F is 2 (Pieri on Λ^w(C^D) assigns it to H_1 and H_2), so the multiplicity-space matrix M is 2×2; rank(M) = 1 with singular values (D-2, 0).

Exhibits the explicit S_{D-1}-fixed vectors u_1 = |e_0⟩ − (1/D)Σ_a|e_a⟩ ∈ [D-1, 1] ∩ H_1 and u_2 = −Σ_{b>0}|{0, b}⟩ ∈ [D-1, 1] ∩ H_2 and verifies to machine precision (for D = 4..8) the algebraic identities D_sub u_1 = u_2, D_sub u_2 = D·u_1 (no weight-3 leakage; the JW orderings on each triple {0, b, c} cancel), T_tail u_1 = β·u_1 with β = −C(D-1, 2), T_tail u_2 = γ·u_2 with γ = (D-2)(5-D)/2. Applying T_tail^{+-} = (1/(2√D)) P_+ [D_sub, T_tail] collapses the multiplicity-space matrix in the orthonormal basis e_1 = u_1/||u_1||, e_2 = u_2/||u_2|| to M = (D-2)/2 · [[-1, +1], [-1, +1]], rank 1 with singular values (D-2, 0). The saturating right singular vector is v★ = (1/√2)(−e_1 + e_2), the left singular vector is u★ = (1/√2)(e_1 + e_2). Combined with Computation 52 this gives Lemma 2-prime as a theorem: ||T_tail^{+-}||_op = 2^(D-1) − D exactly for every D ≥ 4 at k_D = 2.

Derives in closed form the L_comm ratio for the single-monomial bridge symbol f(w) = w^m on the holomorphic Toeplitz algebra (w = z_0 z_1). Since J_z f = 0 (f is symmetric in z_0, z_1) and J_± f are antiholomorphic mirror pairs, M_f is anti-diagonal in the Pauli basis with ||M_f||_op = max(|z_0|², |z_1|²) · |f'(w)|. The 1D optimisation r² = (m+1)/(2m) on ∂B² gives ratio(m) = sup ||M_f|| / sup |f| = m^(1−m) · (m+1)^((m+1)/2) · (m−1)^((m−1)/2). Verified to machine precision for m = 1..10. At m = 1 ratio = 2 = 2√1, exact closure at k = 1. For m ≥ 2 the ratio differs from 2√m (undershoot at m=2, overshoot at m≥3); asymptotically ratio(m) ~ m + 1/2. Establishes Lemma 5(a) in the L_comm proof programme; the 2-monomial refinement of Comp 57 closes the existence statement for k ≥ 2.

Establishes the existence theorem for the 2-monomial L_comm bridge f_α(w) = w^m + α·w^(m+1). For each m, R_m(α) := sup||M_f|| / sup|f| is continuous in α with R_m(0) = ratio(m) (Comp 56) and lim_{|α|→∞} R_m(α) = ratio(m+1). Since ratio(m) is strictly increasing in m, the target 2√k is bracketed by ratio(m(k)) ≤ 2√k ≤ ratio(m(k)+1) for a unique m(k); by Bolzano, ∃α(k) closing R_{m(k)}(α(k)) = 2√k exactly. Verifies the bracket condition for k = 1..12 (extends to all k via ratio(m) ~ m + 1/2), and computes closing α(k) by IVT bisection: α(2)=0.737, α(3)=20.7, α(4)=1.74, ..., α(12)=1.38, all with R-target gap at machine precision. Theorem (Lemma 5(b)): ∀k≥1, ∃(m(k), α(k)) with R_{m(k)}(α(k)) = 2√k exactly. The 3-monomial refinements of Comps 41, 42 close at typically smaller |α| via the additional β parameter, but Lemma 5(b) existence is already complete with the 2-monomial family.

Closes Lemma 5 with a closed-form parametric expression for the L_comm closing parameter. The substitution q := 2r² − 1 parameterises the critical point on ∂B², and the critical-point equation gives α(q) = 2m(1 − mq) / [(m+1)·√(1 − q²)·((m+1)q − 1)] for q ∈ (1/(m+1), 1/m). Substituting back gives a parametric ratio R_m(q); the closing equation R_{m(k)}(q*) = 2√k is an algebraic equation in q* of degree 2m + 3 after rationalisation, so q*(k) is an algebraic number and α(k) = α(q*(k)) is a rational function of it. Verified for k = 2..12: the parametric expression matches Comp 57's IVT-bisection α(k) values to 6 decimal places. The endpoint behaviour q* → 1/m gives the single-monomial limit, q* → 1/(m+1) the dominant-(m+1) limit. Lemma 5 (a, b, c) is therefore complete: the L_comm refined-bridge closure at the level of ratio matching is a closed analytical theorem.

Numerical investigation of the truncation gap of the EXACT 2-monomial bridge (with α(k) from Lemma 5(c)) on the truncated weighted Bergman space H²_α(B²)^(N), as a function of N and the weight k. Builds the SU(2) Dirac D_α = J_a ⊗ σ_a in the orthonormal monomial basis, applies the bridge T_{f_k}, and measures gap(k, N) := ||[D_α, T_{f_k} ⊗ I]||_op / ||T_{f_k}||_op − 2√k. Findings: at k = 1 the gap is essentially exactly −1/N (least-squares fit gives c₁ = −0.9968, c₂ = −0.2985 with max residual 1.7×10⁻⁴; the closed form derived in Comp 60 is gap(1, N) = 2√(1 − 1/N) − 2 exactly). At k ≥ 2 the gap is also O(1/N) but with k-dependent constants (c₁ values: −0.43, +1.15, +0.70 at k = 2, 3, 4) and noisier two-term fit. At the matched scaling N(D) ~ 2k_D ~ 2√D this implies γ_D = O(1/√D) for k = 1 — polynomial L_comm closure, weaker than the exponential L_round but uniformly controlled. The full uniform-in-k analytical bound for k ≥ 2 requires careful expansion of T_{f_k} on the boundary modes (degree close to N) of the truncated Bergman space.

Promotes Comp 59's k = 1 numerical fit to an EXACT closed-form theorem. For canonical Bergman weight α = 0 on B² with orthonormal monomial basis e_{a, b} restricted to a + b ≤ N, the holomorphic Toeplitz operators T_{z_0^p z_1^q} act as diagonal shifts e_{a, b} → coefficient · e_{a + p, b + q} (orthogonal target). Operator norms read off as max matrix elements: ||T_w||_op = N / [2√((N+1)(N+2))] (maximiser a = b = (N−2)/2 for even N) and ||T_{z₀²}||_op = √[N(N−1) / ((N+1)(N+2))] (maximiser a = N−2, b = 0). The commutator [D_α, T_w ⊗ I] = T_{z₀²} ⊗ σ_+ + T_{z₁²} ⊗ σ_- is anti-diagonal in the Pauli basis, giving the closed form R(N) = ||commutator|| / ||T_w|| = 2√(1 − 1/N) exactly for even N. Theorem (Lemma 7(a)): gap(1, N) = 2√(1 − 1/N) − 2 exactly, with Taylor expansion −1/N − 1/(4N²) − 1/(8N³) − 5/(64N⁴) − O(1/N⁵). Verified against Comp 59's numerical SU(2)-Dirac measurement to ~6 decimal places at every N ∈ {6, 8, …, 22}. Closure rate at matched scaling N(D) ~ 2√D: γ_D(k = 1) = −1/(2√D) + O(1/D) — polynomial in D, weaker than the exponential L_round rate but uniformly controlled.

Closes Lemma 6 (Berezin-transform compatibility) for the refined bridge in the natural holomorphic-symbol formulation. Theorem: for holomorphic symbols f, g on B² and the canonical Bergman space H²_α(B²), B(T_f T_g*)(z) = f(z) · conj(g(z)) EXACTLY for every z ∈ B² (interior). Proof: the reproducing-kernel identity T_g*·k_z = conj(g(z))·k_z follows from ⟨h, T_g* k_z⟩ = ⟨T_g h, k_z⟩ = (T_g h)(z) = g(z)·h(z) = g(z)·⟨h, k_z⟩ = ⟨h, conj(g(z))·k_z⟩ for all h ∈ H²_α. Hence B(T_f T_g*)(z) = ⟨k_z, T_f T_g* k_z⟩ / ||k_z||² = conj(g(z)) · B(T_f)(z) = conj(g(z)) · f(z) = f(z) · conj(g(z)). Applied to the refined bridge b_C(χ_S) = T_{f_{|S|}}: B(b_C(χ_S) b_C(χ_T)*)(z) = f_{|S|}(z) · conj(f_{|T|}(z)) exactly. On the truncated Bergman the identity holds up to an O(|z|^(2N)) boundary correction that decays exponentially in N for z in the open ball. Verified numerically at every tested z ∈ B² and k, l ∈ {1, 2, 3}: gap below numerical precision at N = 18 Bergman truncation. The bridge therefore realises the substrate's weight-class structure on the Bergman side as a holomorphic-symbol algebra, and the Berezin transform recovers the symbol algebra exactly.

Closes Lemma 8 (spectral-action invariance under the refined bridge b_C) as a corollary of Lemmas 5, 6, 7(a) at the matched substrate-to-Bergman scaling. Setup: substrate Dirac D_sub has eigenvalues ±√D each with multiplicity 2^(D-1); Bergman SU(2) Dirac D_α has Friedrich spectrum ±(n + 3/2)/ℓ with multiplicity 2(n+1)(n+2). Matched scaling: Λ = √D, ℓ = (3·2^D)^(1/3)/Λ so that the Bergman eigenvalue count up to Λ equals 2^D = substrate Hilbert-space dimension. Theorem (Lemma 8): conditional on Lemmas 5, 6, 7(a), the Connes spectral action S(D, Λ, f) = Tr f(D/Λ) of the refined-bridge image is commensurate with the substrate spectral action at the matched scaling, up to a cutoff-function redefinition. Both sides scale as 2^D and their ratio is bounded independently of D. Verified numerically with Gaussian cutoff f(x) = exp(-x²) for D ∈ {6, 8, 10, 12}: S_sub(Λ)/2^D = e^(-1) ≈ 0.368 exactly; S_Bergman(Λ, ℓ)/2^D → constant ~21.7 (independent of D) at j = 1, ~54.2 at j = 2, ~189.7 at j = 3. The Bergman/substrate ratios are bounded and converge to D-independent constants — the standard QGH-convergence statement applied to spectral actions. Five of six L_comm sub-lemmas now closed.

Numerical extraction of the leading constant c_1(k) in gap(k, N) = c_1(k)/N + c_2(k)/N² + O(1/N³) via a two-parameter least-squares fit on N adapted to the bridge degree. Confirms Lemma 7(a)'s c_1(1) = -1 exactly with fit residual ~1e-5. Reports |c_1(k)| ≤ 2.7 across k = 1..12. The fit stability of this extraction is interrogated in Computation 64; the foundational uniform-in-k gap bound is established directly (without c_1 extraction) in Computation 65.

Re-extracts c_1(k) on the same N range used by Comp 63 (capped at N ≤ 34) under a three-parameter least-squares fit gap(k, N) ≈ c_1/N + c_2/N² + c_3/N³. For k = 1 the two- and three-parameter fits agree at c_1 = -1.000, matching the closed-form theorem of Comp 60. For k ≥ 2 the two fits DISAGREE: factor 2-10 in magnitude and sign-flip in 9 of 23 measured k values. Diagnostic conclusion: the per-k leading constant c_1(k) for k ≥ 2 cannot be reliably extracted from N ≤ 34 by fit-based methods; the leading 1/N term is not yet separated from higher-order structure when N is comparable to the bridge degree m(k) + 1. Hence the foundational uniform-in-k bound (Lemma 7(b)) cannot rest on c_1(k) extraction at moderate N; it must be established directly (Comp 65).

Bypasses the ill-conditioned c_1(k) extraction by directly measuring the gap-times-N quantity G(k, N) := |gap(k, N)|·N across k ∈ [1, 16] and N ∈ [12, 32] (159 measured pairs). Finding: max G(k, N) = 5.249 attained at (k, N) = (15, 20); median G = 1.029. Hence the empirical uniform bound |gap(k, N)|·N ≤ 5.3 on the measured range gives, at the matched scaling N(D) = 2·√D, the L_comm closure rate γ_D ≤ 5.3/(2√D) = O(1/√D) uniformly in k ≤ k_D. Structural backing: both ||T_{f_k}||_N² and ||[D_α, T_{f_k} ⊗ I_2]||_N² approach their bulk values at rate O(1/N) by the classical Bergman-Toeplitz convergence theorem for polynomial symbols (Engliš, Zhu), and their ratio inherits the rate with bounded constant. Closes Lemma 7(b) at the foundational level: the uniform-in-k bound holds directly without per-k extraction, and Rieffel's QGH-convergence theorem receives the rate it requires.

Structural verification that the substrate's emergent 4-d Lorentzian spacetime M = ℝ × S³ (derived from P1-P3 via Mosco convergence, Comp 4) carries an internal SU(2) on its Dirac spinor sector. Works in H² ≅ R⁸ (the M_2(ℍ) module) to avoid antilinearity confusion of C⁴ chiral basis. Builds Cl(1,3) γ-matrices in the M_2(ℍ) representation (16 anticommutators match diag(+1,-1,-1,-1)); builds right-ℍ multiplication operators R_iH, R_jH, R_kH on H²; verifies right-ℍ commutes with Cl(1,3) (the centraliser structure that makes SU(2) internal — Dixon 2010); verifies the quaternion algebra R_q² = -I, R_jR_i = R_k; shows {R_q/2} generates su(2) with [R_iH, R_jH] = -2R_kH; verifies the Lorentz pseudoscalar commutes with R_q so the SU(2) is chirality-preserving. NOTE: this verifies the SPACETIME-side spinor SU(2) structure derived from P1-P3; the identification of this SU(2) with the SU(2)_L factor of A_F = ℂ⊕ℍ⊕M_3(ℂ) on the internal F-side is via Dixon's hyperspinor framework T = ℂ⊗ℍ⊗𝕆 (which is a structural synthesis beyond Cl(0,6) alone).