Run the computations

Generation-symmetry structural-scope 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 fixed by the minimal Connes-spectral-triple split given the verified substrate KO-6 (Computation 3) and the total KO-2 of the product.

Builds the explicit product spectral triple (A, H, D, J, γ) for M × F where M is the 4D Lorentzian spacetime (KO-4) and F is the substrate internal factor (KO-6), verifying total KO-dim 4 + 6 = 10 ≡ 2 (mod 8), the Connes Standard-Model value whose sign J² = -1 makes the Euclidean fermionic action well-defined. Five checks: (K1) explicit KO-4 representative triple for M with signs (-1, +1, +1); (K2) two substrate carriers of the KO-6 internal factor F, the octonion ℂ⁸ picture (γ_F = i L_e₁⋯ L_e₆, J_F = K) and the bit-space complementation/parity triple at D = 3, both deliver KO-6 (+1, +1, -1), so the two F-pictures agree at the KO level; (K3) F is even and carries colour: [γ_F, su(3)] = 0; (K4) the explicit 32-dim (γ, J, D) for M × F with a generic admissible internal D_F is verified to be a genuine real spectral triple of KO-2, so 4 + 6 = 10 ≡ 2 is a real product of spectral triples, not just mod-8 bookkeeping; (K5) the two open inputs (D_M from spin structure, D_F as Yukawa/order-one selection) are explicitly located. Everything else (A, H, γ, J, the product law) is in hand.

Closes the spin-structure step for M = ℝ × S³, splitting into a topological part (closed rigorously) and an analytic part (scoped). Topological closure: every orientable 3-manifold is parallelisable (Stiefel), in particular S³ = SU(2); the spin obstruction w₂(S³) ∈ H²(S³; ℤ/2) = 0 vanishes; spin structures form a torsor over H¹(S³; ℤ/2) = 0, so the spin structure is unique; globally hyperbolic M = ℝ × Σ is spin iff Σ is spin, so ℝ × S³ carries a canonical Dirac operator. Analytic part (scoped, residual): Mosco / strong-resolvent convergence is naturally a statement about Dirichlet forms / Laplacians; on a spin manifold the Dirac operator is the canonical first-order square root of (a curvature-shifted) Δ (Lichnerowicz: D² = ∇^* ∇ + R/4). With the spin structure fixed and unique, D_M is determined; the remaining task is to show the substrate's Boolean→CAR/Clifford structure converges to this canonical D_M, not merely that Δ converges. Numerical verification of the canonical S³ Dirac spectrum and its Weyl law (spectral dimension 3, eigenvalues ±(n + 3/2)/ℓ) is included.

Derives G structurally from the Chamseddine-Connes spectral action S = Tr f(D/Λ), replacing the Kaluza-Klein dimensional-reduction identity (moot in the 10-foundational reading). The 4D heat-kernel asymptotic expansion (Chamseddine-Connes 1996; Chamseddine-Connes-Marcolli 2007) reads S ∼ 2 f₄ Λ⁴ a₀ + 2 f₂ Λ² a₂ + f₀ a₄ + O(Λ⁻²) with moments f₂ = ∫₀^∞ u f(u) du, f₄ = ∫₀^∞ u³ f(u) du, f₀ = f(0). The three terms: Λ⁴ a₀ → cosmological constant + volume; Λ² a₂ → Einstein-Hilbert (1/16π G) ∫ R √g d⁴ x; Λ⁰ a₄ → Yang-Mills + Higgs + Weyl² (the SM bosonic sector). So gravity is neither put in by hand nor obtained via Kaluza-Klein reduction; the EH term is the Λ² coefficient. Verifies the cutoff moments f₀, f₂, f₄ are finite positive for a sample f (f(u) = e^(-u)); the closed-form scaling 1/(16π G) = (f₂ Λ²/π²) κ_grav N_dof with κ_grav an O(1) scheme constant and N_dof the fermionic multiplicity, solving for Λ given observed G and the SM fermion count places Λ at a unification/Planck-ish scale.

Derives the Standard-Model gauge group SU(3) × SU(2) × U(1) as the unimodular unitary group of A_F = ℂ ⊕ ℍ ⊕ M₃(ℂ) via the Chamseddine-Connes machinery, with the gauge fields arising as inner fluctuations of the Dirac operator D → D + A + ε' J A J⁻¹, A = Σ_i a_i [D, b_i] for a_i, b_i ∈ A_F. This replaces the G₂-holonomy route to SU(3) (which dies in the 10-foundational reading) with the standard Connes derivation applied to the substrate-supplied A_F. Four checks: (N1) Lie-algebra dimensions u(A_F) = 13; unimodular condition removes one dim → 12 = (SM group); (N2) su(2) from imaginary quaternions, su(3) from Gell-Mann generators, both closure checks exact; (N3) inner-fluctuation count: gauge-boson count = adjoint = 12; spacetime [D_M, a] gives the vector bosons A_μ, the finite [D_F, a] gives the Higgs; (N4) U(1) bookkeeping: which U(1) is removed by unimodularity, which survives as U(1)_Y.

Constructs an explicit one-generation lepton-sector finite spectral triple (8-dim: ν_L, e_L, ν_R, e_R + 4 antiparticles) and verifies the chirality and order-one structure. Track J established that the naive substrate ladder SU(2) is, under either natural chirality grading, vector-like or chirality-mixing, NOT the SM's chiral SU(2)_L. The Connes resolution uses the CHIRAL representation: ℍ acts on left-handed doublets only, so SU(2)_L is chiral by construction; the order-one condition [[D_F, a], J b^* J⁻¹] = 0 then SELECTS the Yukawa form of D_F. Four checks: (O1) the representation is even ([γ, a] = 0) and the SU(2)_L action of ℍ is chiral, supported on left-handed particles only; (O2) order-zero [a, J b^* J⁻¹] = 0 for all a, b ∈ A_F; (O3) order-one [[D_F, a], J b^* J⁻¹] = 0 for the Yukawa D_F, and FAILURE for a generic admissible D_F, so order-one is a genuine constraint that selects the Yukawa form; (O4) the KO-6 sign of the finite real structure (ε = +1), consistent with KO-2 product. Honest residual: this uses the chiral representation as CCM input; whether the substrate furnishes it is settled by Computations 8 and 11.

Tests the two candidate substrate mechanisms for furnishing the chiral bimodule of Computation 7, locating chirality at the directed modal threshold rather than at γ_M. (a) γ_M does NOT furnish weak chirality: the physical chirality of an internal generator 1 ⊗ T is governed entirely by [T, γ_F]; the γ_M factor tensors along and cannot change it (negative finding, structurally located). (b) The substrate DOES offer SU(2)_L × SU(2)_R: quaternion left- and right-multiplications give two commuting su(2)'s ≅ so(4), the S³ isometry algebra. Chirality selection is the choice of one factor, and the directed modal threshold ε = |T(C)| - τ > 0 (book §8 parity-violation mechanism) is the physical principle that selects between the parity-conjugate choices. (c) Residual: the selected SU(2)_L must act on the γ_F = +1 block only (bimodule support); bridged here to the threshold mechanism and closed in Computation 11.

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√(2/3) at PST's tree level vs LHC/EWPO bounds; Δ S_PST = Δ T_PST = 0 structurally.

Closes the chiral-bimodule residual left open by Computation 8. Constructs a minimal but representative chiral H_F: one weak doublet ((ν_L, e_L), (ν_R, e_R)) with γ_F = diag(+1, +1, -1, -1). Two representations of A_F are mathematically possible a priori: Choice A (ℍ acts on H_F⁽⁺⁾ left block, trivial on H_F⁽⁻⁾, the parity-violating observed SM); Choice B (ℍ acts on H_F⁽⁻⁾ right block, trivial on H_F⁽⁺⁾, the parity-conjugate model, never observed). Both give consistent spectral triples in the Connes-Chamseddine sense; the chirality of SU(2)_L therefore reduces to “which of A or B is realised in nature?”. PST's claim is that the directed modal threshold (book §8) is the physical principle that selects Choice A. Verifies (i) both representations of ℍ commute with γ_F (necessary condition); (ii) both have clean block support; (iii) the substrate-side su(2)_L and su(2)_R operator-norm signatures under the threshold ε > 0 break the L↔R symmetry as required, selecting Choice A.

Examines whether the octonionic-SU(3) embedding (SU(3) ⊂ G₂ = Aut(𝕆) acting as automorphisms preserving the octonion product) is consistent with the rest of PST's structure, vs. the canonical block embedding (SU(3) ⊂ SU(4) ≅ Spin(6) acting as block diag(SU(3), 1) on the half-spinor). If the octonionic interpretation is consistent with Computations 3–T, Furey's three-generation construction ports directly into PST without changing framework assumptions. Six structural checks: (§1) two SU(3) subgroups of Spin(6) compared; (§2) Computation 6's gauge group derivation does not specify which SU(3); (§3) Computation 7's order-one transfers under either embedding; (§4) inner fluctuations and the Higgs sector are unaffected; (§5) Computation 4's spin structure and Computation 9's convergence are independent of the embedding; (§6) verdict: octonionic interpretation is structurally consistent with PST's existing results.

Computes the consequences of canonical vs octonionic SU(3) embedding by re-deriving Computation 1, section 7 of the script (inner-fluctuation extension of the Yukawa structural-scope theorem) and Computation 7 (order-one condition selecting Yukawa form) under both, then compares for “best PST fit”. Best-fit criteria in priority order: (C1) does N_gen = 3 emerge structurally? (C2) do existing PST results survive, chirality, Yukawa contingency, empirical bounds, gauge group? (C3) is the construction algebraically clean, no new posits? (C4) consistency with the Connes-Chamseddine framework? Seven sections culminate in the recommendation of the octonionic embedding as the natural source of N_gen = 3 via Furey's six-SU(3)-triplet decomposition of Cl(0, 6), with the open work being the explicit chain-algebra construction (Computations 14–17).

Step B of the octonionic-SU(3) re-derivation programme identified by Computation 13. Original Computation 1, section 7 of the script (canonical embedding) assumed H_F = H_F⁽¹⁾ ⊗ ℂ^N_gen tensor-factor structure for generations, with A_F acting as a⁽¹⁾ ⊗ I_gen (generation-blind), so [D_F, b] inherits generation structure of D_F unchanged. Under the octonionic embedding, H_F is NOT in tensor-factor form for generations; the three “generation copies” are internal states of the 64-complex-dim algebra ℂ ⊗ 𝕆, with A_F's M₃(ℂ) acting via the octonionic SU(3), mixing generation copies by SU(3) rotations. The canonical §7 argument “A_F is gen-blind” does NOT transfer. The substantive question is whether the structural-scope STATEMENT itself still holds: can inner fluctuations turn a gen-symmetric D_F⁽⁰⁾ into one with generation-asymmetric Yukawa eigenvalues? Five sections: (§1) toy octonionic-SU(3) model; (§2–§3) inner fluctuations under each embedding; (§4) substrate-level S₃ constraint as the deeper invariant; (§5) verdict: individual fluctuations can mix generations but substrate S₃ invariance constrains physical observables; Yukawa contingency preserved.

Step C of the octonionic re-derivation programme. Verifies Computation 7's result “order-one condition selects the Yukawa form” under the octonionic A_F action and determines the specific Yukawa form selected. Original Computation 7 (canonical): H_F = 8-dim lepton-sector finite triple, A_F acts via canonical lepton-sector representation (M₃(ℂ) trivial on leptons, ℍ on left doublet), order-one [[D_F, a], J b^* J⁻¹] = 0 SELECTS the Yukawa form of D_F. Under the octonionic embedding, A_F's action on H_F changes (the chain-algebra structure of 𝕆), so the order-one condition is a different algebraic constraint. Two possible outcomes: (a) order-one still selects A Yukawa form (possibly different from canonical), supports the octonionic interpretation; (b) order-one is inconsistent with any Yukawa form, falsifies octonionic interpretation. Seven sections culminate in the verdict: order-one selecting condition is unitarily covariant; Yukawa residue ∼ 2 × 10⁻⁵ vs ∼ 10 for generic D_F under BOTH embeddings, the selecting condition transfers, and the octonionic interpretation passes this test.

The most ambitious computational physics in this track series: attempts to carry out Furey's 2014 construction explicitly inside PST's substrate Clifford algebra. Eight sections: (§1) octonion multiplication table (Fano-plane convention); (§2) left-multiplication operators L_e_a as 8 × 8 complex matrices; (§3) verify the algebra structure of 𝕆 as 64 explicit 8 × 8 matrices; (§4) identify the primitive idempotent f (vacuum) of 𝕆; (§5) construct the octonionic SU(3) ⊂ G₂ as stabiliser of f and verify the 8 adjoint elements with exact commutation relations; (§6) decompose 𝕆 (64-complex-dim) under this SU(3) into irreducible representations; (§7) compare to Furey's 16 + 48 split; (§8) honest assessment of how rigorously this verifies the three-generation interpretation. Verifies 𝕆 ≅ ℂ ⊗ Cl(0, 6) = M₈(ℂ) and octonionic SU(3) as G₂-stabiliser of e₇ to machine precision. The matter-sector multiplicity is off by 6 due to degenerate Cartan weights; resolved by Casimir-discrimination in Computation 17.

Closes the off-by-6 residue from Computation 16 by using the SU(3) quadratic Casimir C₂ = Σ_a (Λ_a)² as an irrep discriminator. Computation 16 identified the eight-generator octonionic SU(3) subgroup (8 adjoint elements verified, commutation relations exact), but the matter-sector multiplicity count was off because the joint (Λ₃, Λ₈) eigenbasis is not unique on degenerate weights, singlets and (0, 0) members of triplets share Cartan weights and can only be told apart by the Casimir. Six sections: (§1) reconstruct the octonionic SU(3) generators (lifted from Gell-Mann via the J = L_e₇ complex structure on (e₁, e₃), (e₂, e₆), (e₄, e₅), the correct Cayley pairing for the G₂-stabiliser of e₇); (§2) build ad(Λ_a) on M₈(ℂ); (§3) build the Casimir C₂ as a 64 × 64 Hermitian matrix; (§4) diagonalise C₂ and group eigenvalues by SU(3) irrep Casimir values (0 for 1, 4/3 for 3, 3 for 8, 10/3 for 6); (§5) confirm the decomposition 6 · 1 + 5 · 3 + 5 · 3̄ + 2 · 8 + 6 + 6̄ (total dim 64) matches the Clebsch–Gordan expectation to machine precision; (§6) status statement for status of the octonionic-SU(3) item: structurally derived, decomposition exact.

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) non-trivial Spin(6)-invariant idempotent: the chirality projector, whose canonical rank-1 refinement is Furey's primitive 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 , and her acting-on-ℂ ⊗ 𝕆 chain-algebra construction then delivers SU(3) × U(1) on one generation under SU(3)_c. The synthesis to the full A_F = ℂ ⊕ ℍ ⊕ M₃(ℂ) requires the ℍ factor from the emergent Lorentzian Dirac sector Cl(1,3) ≅ M₂(ℍ) (Computation 66) combined via Dixon's hyperspinor framework T = ℂ ⊗ ℍ ⊗ 𝕆 .

PST analogue 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 > log 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. Conclusion: 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-maximiser (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}). Conclusion: 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₀², T_z₁². 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). Conclusion: holomorphic Toeplitz subalgebra is the structurally right target (abelian preservation), but the simplest Clifford analogue 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 analogue 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. Conclusion: 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 = ½(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. Conclusion: 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. Conclusion: 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 log(γ_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 book-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-optimisation 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 minimise 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 idempotent f = (I + i_C ⊗ I_H ⊗ ω₆)/2 where ω₆ = L_e₁ ⋯ L_e₆ is the Cl(0,6) volume element (ω₆² = -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 = span{1, 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₇ ∖ span{e₁} = span{e₂, …, 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 combinatorial structure on 𝕆 that PST reads as N_gen = 3, consistent with Furey 2014's six-SU(3)-triplet decomposition of Cl(0,6); colour-vs-generation distinguishability on 𝕆 alone is non-trivial (Stab_G₂(τ̂) ≅ SU(3) acts on τ̂⊥ as the fundamental, mixing the three sub-algebras) and is resolved in the ambient ℂ⊗ℍ⊗𝕆 (Computation 48).

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).

Resolves the colour-vs-generation distinguishability of N_gen = 3 in the Dixon-algebra ambient: 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 τ̂-stabiliser SU(3)_col ⊂ G₂. Underwrites the colour-SU(3)-as-stabiliser 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 max(‖(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 yields σ₁ = (α(D) - β(D))/2 with α(D) = 2^D - 1 - D - D2 (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-trivial component of P_+ T_tail P_-. The second singular value σ₂ = D - 2 (numerical here; analytically closed in Computations 54, 55) is bounded by an exponential gap from σ₁.

Verifies to machine precision the algebraic 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 the weight-1 standard-rep input alone: σ_ = (D-2)/√2 = |β(D) - γ(D)|/(2√2) with γ(D) = c(2) = (D-2)(5-D)/2 the T_tail eigenvalue on weight-2 states, achieved via the exact cancellation D_sub w₂ = D · v for w₂ = Σ_a<b(c_b - c_a)|e_a + e_b⟩ when Σ c_a = 0. The representation that commutes with D_sub is the fermionic-signed one; under it σ₂ = D - 2 exactly (Computations 54, 55).

Implements the 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; verified ‖[ρ_bit(g), D_sub]‖_op ≈ 4.0 at D = 4 versus ‖[ρ_F(g), D_sub]‖_op = 0 to machine precision). Builds P_λ = ( λ / |S_D|)Σ_g χ_λ(g) ρ_F(g) for each two-row irrep [D-j, j] with j = 0, 1, …, D/2 , then computes σ_ within each isotypic block. Findings: the standard rep [D-1, 1] saturates σ_ = D - 2 exactly at D = 4, 5, 6, 7; every higher two-row irrep gives σ_ = 0 identically. The multiplicity of [D-1, 1] under ρ_F is 2 (Pieri on Λ^w(ℂ^D) assigns it to H₁ and H₂), so the multiplicity-space matrix M is 2 × 2; numerically rank(M) = 1 with singular values (D - 2, 0).

Exhibits the explicit S_D-1-fixed vectors u₁ = |e₀⟩ - (1/D)Σ_a |e_a⟩ ∈ [D-1, 1] ∩ H₁ and u₂ = -Σ_b > 0 | { 0, b } ⟩ ∈ [D-1, 1] ∩ H₂ and verifies to machine precision (for D = 4, …, 8) the algebraic identities D_sub u₁ = u₂, D_sub u₂ = D u₁ (no weight-3 leakage; the JW orderings on each triple {0, b, c} cancel), T_tail u₁ = β u₁ with β = -C(D-1, 2), T_tail u₂ = γ u₂ 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₁ = u₁/‖u₁‖, e₂ = u₂/‖u₂‖ (with ‖u₁‖² = (D-1)/D, ‖u₂‖² = D-1) to M = C(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₁ + e₂), the left singular vector is u_⋆ = (1/√2)(e₁ + e₂). 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 of the weighted Bergman space (w = z₀ z₁). Since J_z f = 0 (f is symmetric in z₀, z₁) and J_± f are antiholomorphic mirror pairs, M_f is anti-diagonal in the Pauli basis with ‖M_f‖_op = (|z₀|², |z₁|²) · |f'(w)|. The 1D optimisation r² = (m+1)/(2m) on ∂ B² gives ratio(m) = ‖M_f‖_op / |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 the formula evaluates to 2 = 2√1, so the single-monomial bridge achieves exact L_comm closure at weight k = 1 with zero refinement parameters. For m ≥ 2 the ratio differs from 2√m (undershoot at m = 2, overshoot at m ≥ 3; asymptotically ratio(m) ∼ m + 1/2).

Establishes the existence side of the refined-bridge closure for the 2-monomial family f_α(w) = w^m + α w^(m+1). The ratio R_m(α) := ‖M_f_α‖_op / |f_α| is continuous in α with R_m(0) = ratio(m) (Computation 56) and _|α| → ∞ R_m(α) = ratio(m+1). Since ratio(m) is strictly increasing in m, the substrate target 2√k is bracketed by ratio(m(k)) 2√k ratio(m(k) + 1) for a unique m(k) ∈ N; Bolzano then gives α(k) ∈ R with 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 the closing α(k) by IVT bisection: α(2) ≈ 0.74, α(3) ≈ 20.7, α(4) ≈ 1.74, …, α(12) ≈ 1.38, all with R-target gap at machine precision. Theorem (Lemma 5(b)): for every k ≥ 1, there exist m(k) ∈ N and α(k) ∈ R such that the 2-monomial bridge symbol f_k(w) = w^(m(k)) + α(k) w^(m(k)+1) achieves exact L_comm closure ratio 2√k.

Closes Lemma 5 with a closed-form parametric expression for the L_comm closing parameter. The substitution q := 2 r² - 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, the closing equation R_m(k)(q^ ) = 2√k is an algebraic equation in q^ of degree 2 m + 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 Computation 57's IVT-bisection α(k) values to six decimal places. The endpoint behaviour q^ → 1/m gives the single-monomial limit, q^ → 1/(m+1) the dominant-(m+1) limit. Lemma 5 (closure summary): parts (a) (single-monomial closed form, Computation 56), (b) (existence, Computation 57), and (c) (parametric closed form, Computation 58) jointly close the L_comm refined-bridge ratio-matching step as a complete analytical theorem. The remaining open work for the full L_comm closure is structural: Berezin-transform compatibility, spectral-action invariance, and the uniform closure rate as D → ∞.

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 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 Computation 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 (leading c₁ values -0.43, +1.15, +0.70 at k = 2, 3, 4) and a less clean two-term fit. At the matched scaling N(D) ∼ 2 k_D ∼ 2√D this implies γ_D = O(1/√D) at k = 1, polynomial L_comm closure rate, weaker than the exponential L_round rate but uniformly controlled. The full uniform-in-k analytical bound for k ≥ 2 requires careful expansion of T_f_k on the “boundary” modes (total degree close to N) of the truncated Bergman space.

Promotes Computation 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₀^p z₁^q act as diagonal shifts e_a, b → (coefficient) · e_a + p, b + q (orthogonal target). Operator norms read off as maximum 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) = 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/(4 N²) - 1/(8 N³) - 5/(64 N⁴) - O(1/N⁵). Verified against Computation 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. Theorem (Lemma 6): for holomorphic symbols f, g on B² and the canonical weighted Bergman space H²_α(B²), B(T_f T_g^*)(z) = f(z) ̅g(z) EXACTLY for every z in the open ball. Proof: the reproducing-kernel adjoint identity T_g^* k_z = g(z)̄ k_z follows from ⟨ h, T_g^* k_z⟩ = ⟨ T_g h, k_z⟩ = (T_g h)(z) = g(z) h(z) = ⟨ h, g(z)̄ k_z⟩ for all h ∈ H²_α. Substituting, B(T_f T_g^*)(z) = ⟨ k_z, T_f T_g^* k_z⟩ / ‖k_z‖² = g(z)̄ B(T_f)(z) = g(z)̄ f(z), using the standard B(T_f)(z) = f(z) for holomorphic f. Applied to the refined bridge b_C(χ_S) = T_f_|S| with f_k holomorphic polynomial in w = z₀ z₁: B(b_C(χ_S) b_C(χ_T)^*)(z) = f_|S|(z) f_|T|(z) EXACTLY. On the truncated Bergman H²_α(B²)^((N)) the identity holds up to an O(|z|^(2 N)) boundary correction that decays exponentially in N for z in the open ball. Verified numerically at every tested z ∈ B² (interior) and every k, l ∈ {1, 2, 3}: gap below numerical precision at N = 18. 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). 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) = e^(-x²) for D ∈ {6, 8, 10, 12}: S_sub/2^D = e⁻¹ exactly; S_Bergman/2^D → constant ≈ 21.7 (independent of D) at j = 1, ≈ 54.2 at j = 2, ≈ 189.7 at j = 3. Standard QGH-convergence statement applied to spectral actions. Together with Lemma 7(b)'s direct-gap closure (Computation 65), all six L_comm sub-lemmas are now closed.

Numerical extraction of the leading constant c₁(k) in gap(k, N) = c₁(k)/N + c₂(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 exactly with fit residual ∼ 10⁻⁵. Reports |c₁(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₁ extraction) in Computation 65.

Re-extracts c₁(k) on the same N range used by Computation 63 (capped at N ≤ 34) under a three-parameter least-squares fit gap(k, N) ≈ c₁/N + c₂/N² + c₃/N³. For k = 1 the two- and three-parameter fits agree at c₁ = -1.000, matching the closed-form theorem of Computation 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₁(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₁(k) extraction at moderate N; it must be established directly (Computation 65).

Bypasses the ill-conditioned c₁(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 over (k, N) of 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₂]‖_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. Scope corrected by computation 150: the window includes points with k > k_D, and the maximum at (15, 20) is one of them, so 5.249 is not a bound on anything the theory uses; restricted to k ≤ k_D the sharp constant is 3.7, giving γ_D ≤ 3.7/(2√D) uniformly in k ≤ k_D, and Lemma 7(b) closes in that regime, with computations 213 and 214 supplying the limit law and the derived value 3.6736.

Structural verification that the substrate's emergent 4-d Lorentzian spacetime M = ℝ × S³ (derived from P1–P3 via Mosco convergence, Computation 4) carries an internal SU(2) on its Dirac spinor sector. Works in ℍ² ≅ ℝ⁸ (the M₂(ℍ) module) to avoid antilinearity confusion of the ℂ⁴ chiral basis. Builds Cl(1,3) γ-matrices in the M₂(ℍ) representation (16 anticommutators match diag(+1, -1, -1, -1) to machine precision); builds right-ℍ operators R_iH, R_jH, R_kH on ℍ²; verifies right-ℍ commutes with Cl(1,3) (the centraliser structure that makes SU(2) internal); verifies quaternion algebra R_q² = -I, R_j R_i = R_k; shows {R_q/2} generates su(2) with [R_iH, R_jH] = -2 R_kH; verifies the Lorentz pseudoscalar commutes with R_q so the SU(2) is chirality-preserving. This establishes 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₃(ℂ) on the internal F-side is via Dixon's hyperspinor framework T = ℂ ⊗ ℍ ⊗ 𝕆, an established structural synthesis beyond Cl(0,6) alone (cf. the 'A bigger picture' section of the book).

Combinatorial verification of the PST scalar-sector cancellation argument (the scalar-sector section and its two binomial identities). Confirms the two exact binomial identities Σ_k even Dk = Σ_k odd Dk = 2^(D-1) across D ∈ {4, 6, 8, 10, 12, 14, 16}. Including the zero mode in the bosonic count gives N_B - N_F = 0 exactly. Excluding the zero mode would instead give N_B^((nonzero)) - N_F = -1 for every D, contributing a residual -M_*²/(16π²) to rather than 0. Added to the self-loop +(3/2) M_*²/(16π²) of , this gives total δ m_h² = M_*²/(32π²), conflicting with the predicted m_h = M_* √6/(8π). The off-by-one is resolved by the substrate-vs-emergent layer distinction the body now adopts (Computations 93, 97): the substrate Walsh zero mode χ_∅ maps under Π to the constant function on M (the vacuum direction), and is structurally distinct from the emergent 4-component SM Higgs doublet generated by inner fluctuations on M × F. Counting the substrate zero mode in N_B^(full) therefore does not double-count the emergent doublet, which is carried separately by C_H = 6λ = 3/2 in . With N_B^(full) - N_F = 0 from the substrate trace and the +(3/2) M_*²/(16π²) self-loop supplying the Higgs mass, total δ m_h² = (3/2) M_*²/(16π²), recovering m_h = M_* √6/(8π) and confirming M_* ≈ 1.285 TeV as a parameter-free one-loop derivation. The three mechanisms once entertained here, (a) the Higgs doublet's three eaten Goldstones at the EW scale, (b) reinterpreting the zero mode as part of the cancellation sum, and (c) a complementation/parity pairing of the non-zero Boolean modes, are superseded by this resolution and are walked through and set aside in Computation 69.

Tests the sensitivity of the parameter-free Casimir-correction coefficient ξ = (15/π²) · M₄/(d₀² M₂) to the assumed projection-kernel shape, by evaluating the second and fourth moments M₂, M₄ for six kernel families: Gaussian (book canonical), squared Lorentzian, single-sided exponential, sech-squared, compact parabolic, and compact quartic-bump. Findings: the d⁻⁶ power-law exponent is preserved across every kernel (categorical prediction, kernel-independent). The coefficient ξ varies from 2.0 (compact quartic-bump) to 21.0 (sech²) across kernels with exponential or compact-support tails (factor ∼ 10 range); the squared Lorentzian gives ξ = 378.7 from its 1/x⁴ heavy tail (physically implausible for a discreteness scale). The diagnostic d₀ bound from nanometre-Casimir data scales as 1/√ξ, giving the bound range d₀ ≲ 1.5 nm (sech²) to d₀ ≲ 5 nm (compact quartic) at the current 0.19% data, with the Gaussian value 2.3 nm sitting near the middle. Order of magnitude (few nm) is robust; precise numerical bound is kernel-conditional with factor-of-∼ 3 spread. Honest reading: “d₀ ≲ 1.5 to 5 nm depending on the projection-kernel choice; the Gaussian (canonical) choice gives the value 2.3 nm.” Scope (version 32.144): every figure here is a bound on the data's side; the theory's own value is d₀ = 2.2 attometres (computation 201), nine orders below, and the book quotes 2.3 nm as the bound only.

Carries out the explicit walkthrough of all three resolutions listed in Computation 67 for the off-by-one in . (a) Higgs-doublet eaten Goldstones: the resolution is at the EW scale (broken phase), while the cancellation argument is at M_* ≫ v (symmetric phase), dimensionally a category error; not constructible without an explicit RG-matching argument the book does not provide. (b) Zero mode included in the cancellation sum: gives N_B - N_F = 0 exactly, but no leftover +M_*²/(16π²) to be the Higgs self-mass, total δ m_h² = 0, m_h = 0 at one loop; a no-op resolution. (c) Complementation S → S^c pairing: for even D, |S| and |S^c| have the same parity so complementation does not cross-pair bosons with fermions; for odd D the pairing exists structurally but the zero-mode / full-set pair is broken if the zero mode is set aside as the Higgs/order-parameter direction. None of these three resolutions, as constructible from current PST postulates without ad hoc structure, closes the off-by-one. The fourth resolution does: the substrate Walsh zero mode χ_∅ maps under Π to the constant function on M (vacuum direction), structurally distinct from the emergent 4-component SM Higgs doublet generated by inner fluctuations on M × F (Computations 93, 97). Including the zero mode in N_B does not double-count C_H = 6λ = 3/2, and M_* = 4π m_h√(2/3) stands as a parameter-free one-loop derivation.

Verifies the Berry-Esseen-type convergence rate underlying the A7 reduction lemma: the empirical Boolean Dirichlet form converges to the continuum L²-gradient at CLT slope ≈ -0.467 on a single compact-support test family in K = [-2, 2]³ ⊂ ℝ³. Three test functions (Gaussian, C^∞ bump, polynomial-cosine). Establishes the K-fixed Berry-Esseen rate; Computation 83 extends to K-uniform.

Tests whether the one-loop near-coincidence Z² := λ_SM(M_*)/b(M_*) ≈ e⁻¹ (0.8% deviation) lifts to a structural identification via the substrate spectral-action ratio S_sub/2^D = e⁻¹ (exact, D-independent at matched scaling Λ = √D). Verifies the substrate side exactly for D ∈ {4, 6, 8, 10, 12, 14, 16}; computes one-loop SM RGE running λ_SM(v) → λ_SM(M_*) across {λ, y_t, g₁, g₂, g_s}; reports λ_SM(M_*) ≈ 0.087. Identifies the spectral-action Higgs-quartic identity as the open structural conjecture. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Carries out the symbolic Taylor expansion of the substrate spectral action under a Higgs-like perturbation D_φ = D_sub + y φ Σ_X at matched scaling, extracts the φ⁴ coefficient e⁻¹ · y⁴/(2 D²), and reduces the Z² identification to the single-scalar condition y/Λ = 2^(-1/4) = μ_site^(1/4) (the fourth root of the per-site Bernoulli probability of P1). Identifies the open structural content: deriving y/Λ = 2^(-1/4) from CC inner fluctuation.

Sharpens Computation 68's kernel-shape sensitivity by deriving ξ = (15/π²) M₄/(d₀² M₂) from the substrate's actual projection kernel (the binomial Boolean kernel) at finite |D|. Computes the moments M₂, M₄ of the Boolean kernel as binomial-sum identities; identifies the leading non-Gaussian correction; extrapolates to the matched-scaling limit. Confirms the Gaussian kernel as the natural matched-scaling limit; documents finite-|D| corrections at the O(1/D) level.

Tests the simplest natural single-generator CC inner fluctuation A = iφ[D_sub, ω]/2 with ω = e₁ e₂ (quaternion volume element). Computes the perturbed Dirac D_φ² = (D + 2φ²) I and the φ⁴ coefficient 2 e⁻¹/D². Matching Computation 72 target gives y = √2 (D-independent) hence y/Λ = √(2/D), which DECREASES with D. Target is 2^(-1/4) (D-independent). Conclusion: natural single-generator inner fluctuation does NOT close Z² = e⁻¹. Identifies three possible resolutions (numerical coincidence, multi-generator A, alternative Λ(D)).

Sharpens the rate-integral closure (book ) by identifying j_τ as a standard large-deviation integral under the Bernoulli measure. j_τ ∼ exp(-|D| · I(τ/√(|D|))) with I the Cramér rate function. Computes saddle-point asymptotic for a representative T(C) form; documents the rate integral's structural form. Closes the rate-problem framework for downstream applications (cosmological constant, Computation 82).

Tests whether constraining v(a) ∈ V₇ direction to the three quaternionic sub-algebras Q_k of 𝕆 containing τ̂. Result: maximal G₂-symmetry preserves S₃-symmetry across the three Q_k, so this single-direction constraint alone does not lift the structural-scope theorem. The threshold-induced dynamical mechanism is taken up in Computation 77.

The directed P3 threshold-crossing rate per quaternionic sub-algebra Q_k gives a hierarchy of generation Yukawa couplings via Boltzmann weighting exp(-β E_k). Reproduces the SM up-type Yukawa hierarchy with β ≈ 28.24 and (p₁, p₂, p₃) ≈ (0.52, 0.35, 0.13). Identifies the two inputs requiring structural derivation: β and the (p_k) pattern; structural candidates for each are taken up in Computations 78, 79, 80.

Tests structural candidates for the Boltzmann inverse-temperature β from Computation 77's fit. Candidates: dim(SO(8)) = 28, dim(G₂) = 14, 4 dim(V₇) = 28, dim(Spin(7)) = 21. Numerical match: dim(SO(8)) = 28 at 0.85% from Computation 77 best-fit 28.24. Motivation: Spin(8) is the rotation group of 𝕆 = ℝ⁸, with triality permuting three 8-dim reps and three PST generations.

Sharpens Computation 78's β ≈ 28 to β = dim(SO(8)) + b_PST = 28 + 1/4 = 28.25, matching Computation 77 best-fit to 0.04%. Identifies p₂/p₃ = e in Computation 77's (p₂, p₃) ratio as structurally suggestive of the same e⁻¹ that drives Z². Locks in β = 28.25 structurally; p₁ remains as the one residual free parameter.

Examines whether p₁ in Computation 77/79's dynamical mechanism can be pinned by the substrate symmetry chain Spin(8) ⊃ Spin(7) ⊃ G₂ ⊃ SU(3)_c. Result: SU(3)_c stabiliser structure forces p₁ to a T(C)-contingent value rather than a structural constant. Reclassifies the Yukawa hierarchy as configuration-content (consistent with the structural-scope theorem of §).

Extends Computation 74's single-generator inner fluctuation to include the JAJ⁻¹ reality term with KO-2 sign ε' = +1, and tests multi-component A. Result: y/Λ = √(8/D) (vs Computation 74's √(2/D), factor 2 from reality doubling), still D-dependent with wrong scaling. Confirms Computation 74's verdict that single- and few-generator inner fluctuations do not close Z² = e⁻¹. Identifies the structural obstacle: the discrete spectrum's collapse-to-cutoff behaviour.

Order-of-magnitude analysis for the cosmological-constant magnitude using Computation 75's Cramér framework. ρ_inst = j_τ · ΔF · (|D|/V_M) with matched-scaling |D|/V_M ∼ 1/d₀⁴. Target j_τ for ρ_inst = ρ_Λ,obs comes out to ∼ 10⁻³⁷ per substrate configuration at d₀ = 2.3 nm (computation 188 reproduces it); the required rate-function value I(α) ∼ 10⁻¹¹⁰ is tiny. Conclusion: Λ magnitude depends on the explicit T(C) form plus threshold-scaling τ(D), both T(C)-contingent. Reclassifies Λ magnitude from open derivation to structural contingent (joins Yukawa hierarchy, CKM, d₀). Sign + EoS w = -1 remain structural theorems.

Extends Computation 70's K-fixed verification to K-uniform: seven test-function families with varying support locations, radii, and shapes (Gaussian, C^∞ bump, polynomial-cosine). Mean slope -0.458 ± 0.085 across families; 5/7 families within fitting tolerance of -0.500; two failing families have support radius ∼ d₀ (Taylor-linearisation breakdown). K-uniform rate holds asymptotically in the natural physical regime (support radius ≫ d₀). Together with Computation 70 + §Closures (a)–(c), closes the reduced problem (R) at proof-detail level for the i.i.d. surrogate.

Extends Computation 74's single-generator inner fluctuation to K coherent quaternion-pair generators ω_k = e₂k-1 e₂k. Computes D_φ² = D + 2Kφ² and the φ⁴ coefficient. Matching target gives y/Λ = √(2K/D), requires K = D/(2√2) (non-integer) for D-independent target 2^(-1/4). Bernoulli-activated extension: y/Λ = √p requires p = 1/√2, not derivable from μ_site = 1/2. The multi-generator inner-fluctuation route does not deliver the target at a structurally natural value of K or p; the partition-function-level identification of Computations 87–92 takes a different substrate-side route.

Places the Higgs in the canonical A_F = ℂ ⊕ ℍ ⊕ M₃(ℂ) finite-internal factor (Connes-Chamseddine-Marcolli SM construction) rather than the Clifford volume element. The CCM moment-extraction λ ∼ (a/π²) f₀ reduces to the same identification problem at the moment-extraction level; no new computational test. Identifies the structural obstacle made explicit in Computation 86: the heat-kernel formalism presupposes a continuous spectrum, which the discrete substrate triple lacks. The partition-function-level identification of Computations 87–92 provides the substrate-side route that does not depend on the heat-kernel formalism.

Examines the Seeley-DeWitt heat-kernel expansion Tr f(D²/Λ²) ∼ Σ_n f_n Λ^(d - 2n) a_n for the substrate spectral triple. For the PST substrate at matched scaling: all eigenvalues at ±√D, so a₀ = 2^D (non-zero), a_n = 0 for n ≥ 1 (no continuous-spectrum curvature contributions). The moment structure that delivers λ in continuum CCM is structurally absent. Standard CCM heat-kernel machinery is therefore structurally obstructed for the discrete substrate triple, ruling out the multi-generator CC route flagged by Computation 74. Computations 87–92 take the partition-function-level identification, which does not depend on the heat-kernel formalism.

Bypasses CC inner fluctuation via the asymptotic Bernoulli moment-generating function. E_μ[ (c X̄)] = ((1 + e^(c/D))/2)^D → (c/2) as D → ∞. Hits e⁻¹ at c = -2. Numerical convergence verified at D = 10⁴ with error ∼ 10⁻⁵. Multiple structural readings of c = -2 (e.g. -1/μ_site, number of substrate states per bit) compatible; none uniquely forced. Computation 88 fixes the load-bearing reading as the binary-distinction Cl(1,0) gap 2 = 1-(-1).

The scale c = -2 is structurally forced by the binary-distinction gap: each substrate exchange τ_i is a self-adjoint involution with eigenvalues {+1,-1}, so the one-bit Clifford Cl(1,0) fixes β_KO = 1-(-1) = 2 with no freedom (P1's binary alphabet; Computations 100 and 102). Setting c = -β_KO = -2 gives e⁻¹ = E_μ[ (-β_KO X̄)] asymptotically. The total KO-dimension KO_total = 4+6 = 10 ≡ 2 (mod 8) shares this value but is structurally independent (an additive residue in ℤ/8ℤ, not a spectral width); the coincidence is retained only as the “binary-gap-tempered” label, never as an input. All three ingredients structurally derived (μ_site from P1, the binary-distinction gap 2 from P1, asymptotic limit from Cramér-Bernoulli). Second independent substrate-side derivation of e⁻¹; complements Computation 62's spectral-action route.

Derives the substrate Higgs Hamiltonian H_Higgs(C) structurally from three constraints: (i) additivity (Bernoulli sites independent ⇒ H = Σ_a h_a(B_a)), (ii) matched scaling (per-site energy 1/D), (iii) uniformity (P1 symmetry ⇒ h_a uniform). Together force H_Higgs(C) = (1/D) Σ_a B_a = X̄(C), no free parameters. binary-gap-tempered partition function Z_H(β_KO) = E_μ[ (-2 X̄)] → e⁻¹ asymptotically. Substrate side of bridge closed structurally. Numerical verification at D = 10, 100, 1000.

Reduces the SM-side bridge to a choice among three concrete candidate formulations: (I) Wilsonian effective-coupling RG, integrate substrate fluctuations between M_* and Λ; (II) spectral-action variation, naive form gives e⁻² rather than e⁻¹, fails; (III) substrate-measure invariance, V_eff(C)/T_KO = β_KO X̄(C) at matched scaling. Numerical: predicted λ_SM(M_*) = e⁻¹/4 ≈ 0.0920 vs observed 0.0927 (Buttazzo 2013), ratio 1.008. Formulation (II) does not close in naive form; (I) and (III) are taken up as concrete research directions in subsequent work. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Tests the empirical tightness of Z² ≈ e⁻¹ via SM RGE precision. Simplified one-loop running gives λ_SM(M_*) ≈ 0.087 (5% below target); compact two-loop ≈ 0.085 (7% below). The book's 0.8% near-coincidence claim depends on full Buttazzo-level SM RGE precision (two-loop running with explicit threshold corrections at m_t). Sensitivity analysis: variation of m_h ± 1 GeV, m_t ± 2 GeV gives Z²/e⁻¹ in range 0.89–0.97 at simplified one-loop. All readings consistent with structural identity within SM RGE truncation uncertainty. Substrate-side derivation (Computation 89) remains exact and RGE-truncation-independent. Superseded by Computation 123, which performs the proper two-loop running with a full input-uncertainty budget, λ_SM(M_*) = 0.0927 ± 0.0007 (m_t/m_h-dominated), a rigid 1.0σ match to e⁻¹/4 = 0.09197 that converges monotonically with loop order, confirming the simplified 0.085–0.087 readings here were truncation artefacts, exactly as anticipated. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Reduces the Z² = e⁻¹ closure to a single Wilsonian-matching premise via a seven-step structural derivation: (1) PST EFT below M_* = pure SM; (2) Wilsonian matching at M_*; (3) bare λ_PST^bare = b = 1/4 (§); (4) substrate UV at Λ = √D contributes vacuum fluctuations; (5) fluctuations integrated over μ give Z_H(β) = E_μ[ (-β H_Higgs)] with H_Higgs = X̄ (Computation 89); (6) β_KO = KO_total 8 = 2 (Computation 88); (7) λ_SM(M_*) = b · Z_H(β_KO) → e⁻¹/4 structurally, matching observed 0.0927 at 0.8%. Steps (1)–(4), (6) established in existing PST framework; step (5) by Computation 89; step (7) follows. Elevates Z² closure status from “open conjecture” to “structural proof sketch established.” The seven steps are subsequently formalised in the partition-function-level Chamseddine-Connes correspondence framework of §; the substrate-side content of Bridge Premise (B) is closed at proof-detail level from P1–P3 by Computation 100 (matched-scaling cutoff identification via tensor-product factorisation forced by P1's Bernoulli product measure) and Computation 98 (mode-shell residual via the discrete Wilson block-spin RG fixed-point theorem); the matching identification of the substrate factor with the SM-side coupling ratio (bridge premise B itself) is subsequently reduced within PST to a field-strength-renormalisation identity (substrate side closed; SM-side matching open) by the wave-function-renormalisation route and the unique-soft-mode theorem (Computations 110–116). Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Re-examines resolution (b) of Computation 69 under a foundational reading: the substrate-side Boolean zero mode S = ∅ is the substrate's constant-mode profile, NOT the emergent SM Higgs doublet (captured separately by C_H = 6λ_PST = 3/2 from inner fluctuations on M × F). Under this substrate-vs-emergent distinction, including the zero mode in N_B does NOT double-count the doublet, and total δ m_h² = (M_*²/16π²)(C_H + N_B^full - N_F) = (3/2) M_*²/(16π²), recovering m_h = M_* √6/(8π) as parameter-free one-loop derivation. Identifies the fourth-resolution candidate; full validation via projection-chain analysis follows in Computation 97.

Attempts to derive Bridge Premise (B) via formulation III with fluctuation-matching prescription ⟨(X̄ - 1/2)²⟩_μ = ⟨ h²⟩_thermal,T, giving the matched-scaling temperature T_KO = μ²(M_*)/(4D). Combined with β_KO = 2 delivers the testable prediction μ²(M_*) = 2D · M_*². Acknowledged as dimensionally suspect (X̄ dimensionless vs h with GeV units; the prediction implies hierarchy violation μ ≳ M_* for D ≳ few). Held as research-direction sketch rather than a closure; superseded by Computation 95 reduction and ultimately Computation 100 closure.

Reduces Bridge Premise (B) to a single sharper structural claim (***): the substrate Wilsonian RG flow generator equals the Boltzmann partition function (-β_KO · H_Higgs(C)) on substrate configurations, the partition-function-level analogue of the heat-kernel RG flow generator (-t D²) for the continuum spectral triple. If (***) is granted, the bridge identification follows structurally: λ_SM(M_*) = b · Z_H(β_KO) = e⁻¹/4 ≈ 0.0920. Provides the residual-gap framing subsequently closed by Computations 98 (mode-shell) and 100 (matched-scaling cutoff).

Polchinski-style derivation attempted on the discrete substrate. The partition-function form is structurally established via configuration-Hamiltonian Boltzmann averaging Z_D(β_KO) = ((1 + e^(-β_KO/D))/2)^D → e⁻¹ as D → ∞. Identifies three rigorous-proof items as residual gap: (a) formal exact RG flow equation on discrete substrate triple, (b) uniqueness of Boltzmann form at matched scaling, (c) cutoff-function identification with asymptotic D → ∞ limit. Partial advance; (a) and (b) closed by Computation 98, (c) by Computation 100.

Validates Computation 93's substrate-vs-emergent distinction via explicit PST projection-chain analysis ψ → Π(ψ) → H_doublet. The substrate Walsh zero mode χ_∅ maps under Π to the constant function on M = ℝ × S³ (vacuum direction), structurally distinct from the emergent SM Higgs doublet (4 components from inner fluctuations on A_F = ℂ ⊕ ℍ ⊕ M₃(ℂ)). Including the zero mode in N_B does NOT double-count C_H = 6λ = 3/2. Total δ m_h² = (3/2) M_*²/(16π²), restoring m_h = M_* √6/(8π) as parameter-free one-loop derivation. Computation 67/69 off-by-one CLOSED at proof-detail level; the “one-loop-complete / parameter-free” reading of M_* = 4π m_h√(2/3) is restored.

Closes items (a), (b) of Computation 96 at proof-detail level via explicit discrete Wilson block-spin RG. Key observation: H_Higgs = X̄ is supported on the lowest two Walsh-mode shells V₀ ⊕ V₁ only, with explicit expansion X̄ = (1/2)χ_∅ - (1/(2D))Σ_|S|=1χ_S. Because X̄ has no |S| ≥ 2 content, the block-spin RG step from level m+1 to m factorises trivially: X̄(ψ_ m + ψ_m+1) = X̄(ψ_ m) for every m ≥ 1, so the Boltzmann action β_KOX̄ is a TRIVIAL FIXED POINT (Theorem 1). Uniqueness follows from Computation 89 boundary condition. Residual item (c) remains as the matched-scaling identification (subsequently closed by Computation 100).

Exploratory closure of item (c) via thermal-field-theory framing: postulates β_KO = KO 8 as substrate's intrinsic inverse temperature in the partition-function-level CC framework. Standard thermal-QFT IR coupling formula λ_eff = λ_bare · Z(β) delivers λ_SM(M_*) = b · Z_H(β_KO) = b · e⁻¹. The “KO-thermal principle” is at the same level as the spectral-action principle in standard CC, a framework postulate beyond P1–P3. Held as exploratory, not as a P1–P3-only closure: PST's claim is that all structure derives from P1–P3 alone, so a CC-framework postulate weakens that claim. SUPERSEDED by Computation 100, which closes (c) from P1–P3 alone via tensor-product factorisation, eliminating the thermal-postulate requirement.

Closes the substrate-side content of item (c) of Computation 96 from P1–P3. P1's Bernoulli independence forces tensor product L²(P(D), μ) = ⊗_i L²({0,1}, μ_i). The Boolean Laplacian Δ = Σ_i (1 - τ_i) with one-bit Clifford Cl(1,0) gives each (1 - τ_i) eigenvalues {0, 2}. For Tr f(Δ/Λ²) to be CONSISTENT with the tensor product structure (i.e., to factor as a product of one-bit traces over independent bits) f must satisfy f(x+y) = f(x) f(y), unique smooth solution f(x) = (-x). Forced by P1's product structure, not postulated. At matched scaling Λ² = D: (1/2^D) Tr e^(-Δ/D) = ((1 + e^(-2/D))/2)^D → e⁻¹ by binomial product convergence. The factor “2” in (-2/D) comes from one-bit Clifford structure, NOT KO mod 8 thermal interpretation (numerically equal but structurally independent). Computation 99's KO-thermal postulate SUPERSEDED. The matching identification of this substrate-side factor with the SM-side coupling ratio λ_SM(M_*)/b (bridge premise (B) itself) is subsequently reduced within PST to a field-strength-renormalisation identity (substrate side closed; SM-side matching open) by the wave-function-renormalisation route (Computations 110–116); λ_SM(M_*) = b · e⁻¹ = 0.0920 matches observed 0.0927 at 0.8% Buttazzo-RGE precision (5–7% at one-loop, Computation 91). Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Addresses the structural concern that standard Wilsonian threshold matching of a quartic is additive in loop corrections, not multiplicative. Reinterprets the multiplicative matching λ_SM(M_*) = b · Z_H(β_KO) as a wave-function renormalisation of the substrate modal field ψ to the SM Higgs φ at matched scaling, with the substrate-side partition function Z_H(β_KO) → e⁻¹ playing the role of Z_φ² via standard QFT decomposition Z² = Z_Γ 4/Z_φ². Reduces (B) to two well-posed sub-questions: (1) is the matched-scaling Π's path-integral Jacobian equal to (-β_KO H_Higgs(C))? (2) why is the vertex renormalisation trivial (Z_Γ 4 = 1)? Both are tractable extensions of Computation 73's matched-scaling machinery; closing both delivers (B) automatically via standard renormalisation. Status: structural reduction of (B)'s open content from a non-standard hypothesis to two standard renormalisation questions. Both sub-questions are subsequently closed: the multiplicative (not additive) reading is the correct one (the additive-Jacobian route is excluded, Computation 103) and the vertex renormalisation Z_Γ 4 = 1 holds to all orders (Computation 119); (B) is thereby reduced (Computations 110–119).

Addresses the concern that the identification c = -(KO_total 8) = -2 in the Bernoulli MGF is asserted, not motivated. Computation 100 already derived the “2” from one-bit Clifford structure Cl(1,0) (eigenvalue range of (1-τ_i)), independent of KO mod 8. This computation makes the structural-independence explicit: KO_total 8 = 2 (from spacetime + internal split 4 + 6 = 10) and one-bit Clifford eigenvalue range = 2 (from τ_i² = 1) trace to different parts of the substrate construction and are numerically coincident but structurally unrelated. The honest framing is that Computation 100's derivation uses ONLY one-bit Clifford structure; KO mod 8 = 2 is a parallel substrate fact, not an input to the matched-scaling exponent. Resolves item 1.2 as a derivation question; the remaining open content (whether partition-function-level CC has standing in the spectral-action literature) is an external-validation / literature-search task, not new research.

Attempts Computation 101's sub-question (1): is the matched-scaling Π's path-integral Jacobian equal to (-β_KO H_Higgs(C))? Two natural interpretations both fail: (A) the linear-map determinant of Π : V₀ ⊕ V₁ → SM_low is configuration-independent (constant); (B) the Cramér-Bernoulli LDP near the vacuum X̄ = 1/2 gives a Gaussian weight in (X̄ - 1/2), not exponential in X̄ (numerically verified I(x) = x (2x) + (1-x) (2(1-x)) ≈ 2(x-1/2)² near 1/2). The multiplicative matching λ_SM(M_*) = b · Z_H(β_KO) is therefore NOT derivable from a path-integral change-of-variable. Confirms that the Jacobian route to (B) does not close. Sub-question (2) [Z_Γ 4 = 1] is satisfied at tree level (standard CC inner fluctuations). Net: this is a negative result for the measure-Jacobian reading specifically; it does not obstruct (B), because (B) is a wave-function renormalisation (multiplicative), not a coupling-matching Jacobian (additive). The Gaussian found here is precisely what the product-structure argument later excludes for the field-strength kernel (Computation 111), and (B) is subsequently reduced within PST to a field-strength-renormalisation identity (substrate side closed; SM-side matching open) by the wave-function route (Computations 110–116).

Attempts to extend Mosco convergence from Dirichlet forms (which the Mosco theorem of chapter 18 establishes) to spectral actions, with the goal of deriving bridge premise (B) at the same level Mosco delivers the SM kinetic term. The structural analysis shows (B) FACTORS into two parts: (B-substrate) (1/2^(|D|)) Tr f(Δ/|D|) → e⁻¹, which is CLOSED at proof-detail level from P1–P3 by Computation 100; and (B-SM) the SM-side spectral-action identification of the matched-scaling coefficient with λ_SM(M_*), which IS the standard Chamseddine-Connes spectral-action principle applied to PST's substrate spectral triple. This is an ESTABLISHED FRAMEWORK with 30+ years of literature precedent, NOT a PST-specific postulate. PST extends standard CC by providing a precausal foundation BENEATH the spectral triple (P1–P3 deliver the substrate spectral triple itself, Computations 3, 19); it does not invent the SM-side framework. Whether the partition-function-level CC framework has standing in the spectral-action literature: YES, the framework PST uses IS standard CC, with the partition-function-level adaptation being PST's specific way of handling the discrete substrate where heat-kernel collapses (Computations 85–86). PST's foundational claim refines to “P1–P3 + standard CC spectral-action framework”: the substrate-side contribution is the genuinely new PST result (Computation 100, derived from P1–P3), and the SM-side framework is inherited from established CC literature. This inheritance framing is subsequently superseded: the matching (B) is reduced internally to PST, in the substrate limit, to a field-strength-renormalisation identity whose internal content is fully derived (field-strength and vertex, Computations 110–119), without inheriting an SM-side CC postulate; the foundational claim is then “P1–P3 + matched scaling”, with the bridge resting on the emergence premise F4 + the RGE test rather than an inherited framework.

Addresses the concern of potential double-counting between the substrate χ_∅ singleton-cylinder order parameter and the emergent SM Higgs field C_H from Mosco convergence. The PST partition function factorises as Z_PST(M_*) = Z_sub(M_*, Λ=√D) · Z_EFT(M_*, IR), with the two layers integrating over disjoint momentum ranges [M_*², D] and [m_h², M_*²] that meet only at the single matching scale M_* (measure zero in both integrals). Three independent non-double-counting criteria are established: (i) disjoint momentum support; (ii) distinct dynamical variables (χ_∅ on P(D) vs C_H on M = ℝ × S³); (iii) distinct counterterm structures (the matching is a boundary condition, not a loop integration). Numerical verification: the substrate full-trace partition function (Computation 100) decomposes exactly as Z^full_sub(D) = Z^IR_sub(D, k_*) + Z^UV_sub(D, k_*) across the M_*-shell partition with |Z^full - (Z^IR + Z^UV)| < 10⁻¹⁴ for D ∈ {10, 20, 50, 100}. Closes the double-counting question at the diagram level.

Withdraws the earlier [PROOF] grading of this computation and measures the thing instead. The old argument had colour SU(3) acting on a triplet WITHIN one Fano sub-algebra, but SU(3) here IS the stabiliser of tau-hat inside G₂, and each generation sector G_k carries one complex octonionic line, two real dimensions, which cannot carry a triplet; its numerical check applied kron(I_gen, X) to V_gen ⊗ V_per-gen, which is block-diagonal for every X by the Kronecker identity and so could not fail. This version builds the octonions, constructs Der(𝕆) as a linear system (dim 14 = g₂), takes the subalgebra annihilating tau-hat (dim 8 = su(3)), exponentiates to genuine automorphisms and measures the leakage ‖(1 − P_k) g P_k‖ out of each generation sector. The leakage is O(1): six of the eight gluons are generation-changing, and only the maximal torus U(1)² preserves all three Fano lines through tau-hat. SU(2)_L and U(1)_Y remain generation-blind by the tensor-product structure of ℂ ⊗ ℍ ⊗ 𝕆, so that part of the old argument stands; it is the colour part that fails. Even a repaired version could not deliver FCNC absence, which is a statement about the mass eigenbasis and sits in the T(C)-contingent layer outside what P1 to P3 fix.

The substrate-level binomial cancellation N_B = N_F = 2^(D-1) is SECTOR-BLIND (invariant under any partition of the 2^D Walsh modes; numerically verified across D ∈ {4, …, 20}). This sector-blindness does not transfer the cancellation to the SM top/W/Z sectors: by the disjoint-layer structure of Computation 105 the substrate cancellation lives in the UV shell [M_*, √D] while the physical top/W/Z loops run in the emergent EFT shell below M_*, so the substrate identity cannot cancel the EFT-layer loops. The “coupling universality at M_*” premise (c_S = 1 for every Walsh mode) is contradicted by the observed Yukawa hierarchy, which the book assigns to T(C)-contingency (§). The empirical SM Veltman residual at M_* is ≈ -3 (top-dominated, negative), not the +m_h² a clean cancellation would leave. The sector-blindness of the substrate count is a fact; it does not close the full-SM extension, which does not exist within PST (Computation 120), so M_* is irreducibly a scalar-sector prediction.

Verifies that the substrate |S|-parity boson/fermion sign assignment (CAR realisation, the book's CAR identification section) carries through to A_F inner-fluctuation gauge bosons that are not themselves Walsh modes. Three independent readings agree: (R1) algebraic, Connes 1-forms A = Σ_i a_i [D, b_i] for a_i, b_i ∈ A_F are operators of EVEN Clifford grade; (R2) substrate-side lift, A_F is generated by Cl_even(P(D)) under the CAR realisation, so every inner fluctuation lifts to an |S|-even substrate configuration; (R3) one-loop diagrammatic, the standard QFT vector-boson loop sign (+) is inherited unchanged by the CC inner-fluctuation construction. Dof count: bosonic inner-fluctuation dofs on A_F (off-shell) are U(1)_Y: 4, SU(2)_L: 12, SU(3)_c: 32, Higgs doublet: 4, total 52; the substrate |S|-even Walsh subspace has dimension 2^(D-1) accommodating these at D ≥ 6. Status: the bosonic sign assignment is a correct sub-result, but it does NOT close the full-SM extension of the M_* cancellation. The full-SM cancellation fails for the layer-disjointness reason of Computation 107 (the substrate cancellation does not reach the EFT-layer top/W/Z loops), independent of the inner-fluctuation sign. That extension was subsequently settled in the negative by Computation 120 (the full-SM extension does not exist within PST); this sign sub-result stands.

Verifies two technical findings on the Higgs-sector derivation at proof-detail level. (A) Normalisation: the book commits to the doublet convention, λ_PST = 14 is the coefficient of (Φ^†Φ)², the same convention as the SM V_SM = λ_SM(Φ^†Φ)², with ⟨ψ,ψ⟩ ↔ Φ^†Φ. Under the radial reduction ⟨ψ,ψ⟩ → ψ² the postulate F = ∫[-ε⟨ψ,ψ⟩ + (1/4)⟨ψ,ψ⟩² + c|∇ψ|²]dμ collapses to the scalar form -εψ² + (1/4)ψ⁴. The field-normalisation ratio Z² = λ_SM(M_*)/λ_PST is then a ratio of two same-convention couplings. (B) Vertex contraction: explicit O(N) vertex contraction V_ijkl = 2λ(δ_ijδ_kl + δ_ikδ_jl + δ_ilδ_jk) closed into the one-loop seagull (1/2)V_ijklδ_kl = (N+2)λ δ_ij delivers the standard O(N) result (N+2)λ rather than Nλ. For N=4 the Higgs self-loop coefficient is C_H = 6λ_PST = 3/2, giving M_* = 4π m_h √(2/3) ≈ 1285 GeV. Broken-phase cross-check: 3λ (physical Higgs loop) + 3λ (three Goldstones) = 6λ confirms the symmetric-phase result. This computation propagates corrections through , the M_* value, the naturalness coefficient, and the affected Computations 67, 69, 93, 97, 107, 108.

Recasts (B) as a field-strength (wave-function) renormalisation Z_φ², which acts multiplicatively on the quartic (λ → λ Z_φ²), the form (B) requires, sidestepping the additive-matching obstruction Computation 103 found for the coupling-Jacobian reading. The route first sets up the discrete Wilson–Polchinski flow on the Boolean lattice with the P1-forced cutoff f = and matched scaling Λ² = D, reducing to the low Walsh shells V₀ ⊕ V₁ where X̄ lives (Computation 98). It then verifies that the field-strength factor is Z_φ² = Z_H(β_KO) → e⁻¹, so λ_SM = b Z_φ² → e⁻¹/4. Sets up the route; the crux (the form and value of the kernel) is closed in Computations 111–116.

The field-strength dressing must respect P1's product measure (the matched-scaling cutoff factorises over bits, Computation 100), so the per-configuration kernel K(C) = ∏_a g(C_a) is a product over bits. A product kernel over Boolean bits is necessarily of a quantity linear in X̄, i.e. ∝ exp(-βX̄), the same form the substrate side evaluates to e⁻¹. The Gaussian exp(-α(X̄-1/2)²) that obstructs the Jacobian route (Computation 103) is thereby excluded: it correlates the bits, breaking the product structure (verified: bit–bit covariance 0 under exp(-2X̄), nonzero under the Gaussian). The wave-function route is therefore unobstructed, in contrast to the Jacobian route.

The load-bearing exponent is the spectral range of a single binary distinction, 2 = 1 - (-1): each exchange τ_i is a self-adjoint involution with spectrum {+1,-1}, so (1-τ_i) has nonzero eigenvalue 2, forced by P1's binary alphabet with no freedom (equivalently the one-bit Clifford Cl(1,0) range). q-ary comparison: only q = 2 gives the self-adjoint involution P1 requires, and e⁻¹ is the signature of the binary gap (Z_H → e^(-β/2) lands on e⁻¹ only at β = 2). Dissolves the “two 2's” question: KO_total 8 = 2 shares the value but is a gauge/spacetime-sector fact, never an input.

Tests the field-strength↔matched-scaling-trace identification ab initio. The order-parameter two-point residue (single |S|=1 shell) gives a single-mode factor, not the full e⁻¹, unless all substrate modes are folded in. The matched-scaling trace and the tempered order-parameter expectation E_μ[ (-2X̄)] are verified exactly equal, so the identification holds iff the substrate→Higgs reduction is total. Isolates the residual as one concrete property (total reduction), closed by Computations 114–116.

Two field-theoretic normalisations of the reduction: (A) the total-reduction embedding norm of the symmetric Higgs vacuum = E_μ[ (-β_KOX̄)] → e⁻¹, verified exactly equal to the tempered vacuum amplitude; (B) the standard-EFT two-point residue Var_μ(X̄) = 1/(4D) → 0. The bridge needs (A); route (B), the Higgs as a light field whose two-point function is corrected by heavy loops, gives λ_SM → 0 and is excluded by the finiteness of the observed quartic. The Higgs is an emergent projected field, normalised by its embedding norm, not a fundamental light field.

Past the LG threshold (P3) the order parameter X̄ is the unique soft mode. Lemma: X̄ = (1/D)Σ_a C_a is linear in the bits, so the LG Hessian is rank one (the all-ones matrix), softening exactly the S_D-singlet direction (= X̄) and leaving the D-1 standard-rep modes and all |S| ≥ 2 shells at the binary gap. Verified: rank = 1, one soft eigenvalue, D-1 pinned at the gap; the threshold sweep softens X̄ alone. Establishes total reduction (Theorem F10, Gaussian order), so the bridge factor is the full embedding norm e⁻¹.

Upgrades the unique-soft-mode result to all orders. Because the LG potential is a function of the linear collective coordinate X̄ alone, every derivative tensor of V is the totally symmetric all-ones tensor V⁽ⁿ⁾/Dⁿ, with zero matrix element on the non-collective subspace at every order: the standard-rep and |S| ≥ 2 modes are free fields, decoupled, pinned at the binary gap, with no V-vertex from which any correction could be built. Verified exactly with the full exp(-V): the V-induced bit correlation is O(1/D), the standard channel sits at the free binary-gap value with O(1/D) deviation, and only the singlet X̄ responds to V. The spectral gap is protected non-perturbatively in the substrate limit; the residual is the standard O(1/D) finite-size correction.

Removes the empirical crutch in the field-strength selection. The two-point-residue reading sets Z_φ² = Var_μ(X̄) = 1/(4D) → 0; that vanishing is the law of large numbers, X̄ is an intensive average of the i.i.d. bits (P1), so it self-averages to a sharp value, and a quantity the LLN sends to zero cannot be a field-strength (it gives a free emergent Higgs, λ_SM → 0). The embedding norm is the O(1) object → e⁻¹, the only candidate that normalises a canonical emergent field. Since the emergent EFT below M_* is the interacting Standard Model (F4), an interacting Higgs is required, hence Z_φ² = O(1), hence the embedding-norm reading, forced by P1's LLN and F4, not by the measured value λ_SM = 0.0927, which is demoted from an input to the selection to a test of the prediction b e⁻¹. Non-circular: F4 selects the reading, the substrate gives the value e⁻¹. Physically, below the LG threshold ⟨X̄⟩ is a sharp classical condensate and the physical Higgs is the radial excitation, normalised by the embedding norm, not the order parameter's vanishing susceptibility. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

States and proves the F10 decoupling as a formal lemma. Because F_int = Φ(X̄) factors through the linear collective coordinate, the chain rule gives ∂ⁿ F_int = Φ⁽ⁿ⁾(X̄)/Dⁿ times the all-ones tensor at every order. Under S_D the fluctuation space splits into the singlet line (carrying X̄) and the standard representation W = {v : Σ_a v_a = 0}; an all-ones tensor contracted with any v ∈ W gives (Σ_a v_a)(⋯) = 0, so the interaction has zero matrix element on W at every order and the W-Hessian is the bare Boolean Laplacian, bounded below by the binary gap 2. Schur's lemma (S_D-equivariance) forbids singlet–W mixing and any invariant deformation of the W-block. This is the all-orders S_D-equivariant Morse–Bott structure: a soft critical direction (the order parameter) and a uniformly gapped normal bundle. Verified: derivative tensors index-independent at n = 2, 3, 4; annihilation of W to machine precision; the singlet softens 4 → 0 under the LG curvature while W stays pinned at 2; a random S_D-invariant Hessian has W-eigenvalue independent of the singlet coupling. Residual: the O(1/D) finite-size sum-constraint correction (Computation 116), vanishing as D → ∞. SUBSUMED by Computation 121: the decoupling is closed exactly and non-perturbatively by sufficiency of the empirical mean (this Morse–Bott lemma is its de Moivre–Laplace shadow), with the O(1/D) isolated to the value; Computation 122 shows F8's linearity controls only that O(1/D).

The matching ratio Z² = λ_SM/b decomposes into a field-normalisation piece (the embedding norm → e⁻¹, Computation 117) and a vertex piece Z_Γ 4 (the four-point 1PI correction). Computation 101 fixed Z_Γ 4 = 1 only at tree level; this computation closes it to all orders. The matching integrates out the substrate UV modes (the non-collective S_D standard representation W and the gapped |S| ≥ 2 shells); by the Morse–Bott decoupling lemma (Computation 118), V = Φ(X̄) has zero matrix element on W at every order, and the n=4 case is the Higgs quartic vertex, so the integrated-out modes do not couple to it and generate no vertex correction. Verified: the quartic all-ones tensor contracted on W legs is machine-zero. Hence Z_Γ 4 = 1 to all orders and Z² = e⁻¹ with no residual internal renormalisation. The only quartic loop corrections are the collective Higgs self-loops, the SM RGE running below M_*, which confirms b e⁻¹ = 0.0920 against the two-loop-run 0.0927 at 0.8% (quantified as a rigid 1.0σ match by Computation 123), not a Z_Γ 4 correction. Net: the matching's internal renormalisation content is complete; the open content of (B) reduces to the emergence premise F4 plus the RGE test, not an internal step. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Answers the then-open question (does an EFT-layer top/W/Z cancellation exist, and what partner spectrum would it need?): no, not within PST. The SM Veltman bracket [6λ + (9/4)g² + (3/4)g'² - 6y_t²] is -3.5 at the EW scale and -3.3 at M_*, top-dominated, with no zero crossing, M_* is not a Veltman-natural full-theory scale. Cancelling the dominant -6y_t² requires bosonic top-partners (stop-like) at top strength near M_* ≈ 1.3 TeV; such a sector is collider-disfavoured (LHC excludes scalar top-partners / vector-like quarks to ∼ 1.2–1.4 TeV, i.e. at M_*), forbidden by the “no new light states” premise (§), absent from PST's spectrum (F4: emergent EFT = SM, no superpartners), and unreachable by the substrate mechanism (Computation 105: layer-disjoint). Conclusion: M_* = 4π m_h√(2/3) is irreducibly a scalar-sector prediction, exactly as the book scopes it. This is a negative settlement, a definitive limitation on the scope of M_*, not a positive closure; it removes the item from the open register with M_* correctly and finally scoped.

Closes the one residual rigour task carried by F10/Computation 118 (the all-orders S_D-equivariant decoupling) by an exact, non-perturbative identity. Theorem F8 makes H_Higgs = X̄ exactly the empirical mean of i.i.d. per-site bits, so the interaction Φ(X̄) is a function of a sufficient statistic. By Fisher–Neyman factorisation the configurations at fixed X̄ = k/D are counted by the interaction-independent multiplicity Dk, and the substrate partition function factorises exactly at every finite D: Z[Φ] = Σ_k Dk 2^(-D) e^(-Φ(k/D)). The transverse (non-collective) modes enter only through the Φ-independent multiplicity, so Z_Γ 4 = 1 (and every n-point Φ-vertex correction) vanishes exactly, with no “higher-order” gap (the factorisation holds at all orders simultaneously). Verified: the factorisation to machine precision for linear/quartic/mixed Φ; the quartic-probe vertex test (Z_Γ 4 = 1 to 3×10⁻¹⁶) with a transverse-coupled control that breaks sufficiency (gap 0.30, the test has teeth); the O(1/D) isolated to the value, the decoupling carrying no D-dependence; and the de Moivre–Laplace reduction showing Computation 118's Morse–Bott lemma is the Gaussian shadow. Net: the substrate side of (B) carries only the standard O(1/D) caveat on the value e⁻¹; the single open content of (B) remains the SM-side matching (F4 + RGE; quantified as a rigid, D-independent 1.0σ test by Computation 123). Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Isolates the role of Theorem F8's linearity (H_Higgs = X̄) and finds it bears far less weight than “the whole substrate side hangs on exact linearity”. (1) Uniformity alone (the S_D-symmetry that is P1) forces H_Higgs = g(X̄) for some g, because any symmetric function of binary bits depends only on the count; this is exact and is all that the all-orders decoupling (Computations 118, 121) needs. (2) Linearity enters only via additivity: a single-bit function is necessarily affine, so an additive Hamiltonian is exactly affine in X̄ with no O(1/D) remainder; the only route to a nonlinear g is a cross-bit term, an interaction between P1-independent distinctions, additivity is P1 independence read at the level of the energy. (3) The leading value e⁻¹ is robust to relaxing linearity: by the LLN X̄ → 1/2, so Z_H(β) → e^(-β g(1/2)), depending on g only through g(1/2); with the binary gap β = 2, e⁻¹ follows from the single normalisation g(1/2) = 1/2. Verified: four g's (linear + nonlinear deformations) all with g(1/2) = 1/2 give e⁻¹ to leading order, the difference O(1/D); a slope sweep confirms value = e^(-2g(1/2)) exactly in the limit. Net: the substrate-side closure of (B) does not hinge on H_Higgs being exactly linear, its structure is exact from symmetry, its value rests on a vacuum normalisation plus the binary-gap temperature, and linearity refines only the O(1/D).

Strengthens the SM-side matching (the single open content of (B)) from a “0.8% agreement” to a quantified, rigid, falsifiable test. (A) SM side: running the SM quartic up to M_* = 1285 GeV at two loops gives λ_SM(M_*) = 0.0927 ± 0.0007, the uncertainty dominated by the top and Higgs masses (parametric ±0.00068: m_t ±0.00054, m_h ±0.00040, α_s ±0.00010; truncation ±0.0002), not by logarithmic running. The value converges monotonically with loop order (0.09145 → 0.09234 → 0.09270, steps shrinking), so the match is a genuine two-loop statement, not a low-order accident; the integration is validated by the vacuum instability scale. Against the substrate prediction e⁻¹/4 = 0.09197 the gap is 1.0σ, consistent. (B) Substrate side: the prediction is rigid. By the field-normalisation factor is e⁻¹ exactly and D-independently (the matched-scaling eigenvalue collapse ±√D/Λ → ±1); in the partition-function route the O(1/D) correction would need an implausible D ≈ 63 to close the gap, against a substrate cardinality |D| = V/d₀⁴ (d₀, taken at the nanometre Casimir bound of its day; derived at 2.2 attometres by computation 201) larger by dozens of orders of magnitude, so there is no finite-D freedom to absorb the residual. Net: λ_SM(M_*) = e⁻¹/4 is a rigid, parameter-free prediction, consistent with the SM at 1.0σ, with the residual living entirely in the m_t/m_h inputs and sharply falsifiable as those (and the SM matching order) tighten. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Backs the clause at . The empirical displacement covariance C^(μν) = |D|⁻¹Σ_a (ρ(a)^μ - x^μ)(ρ(a)^ν - x^ν) is a sum of outer products, hence positive-semidefinite (all four eigenvalues → d₀²/4 > 0), whereas the Lorentzian g = diag(-1,1,1,1) is indefinite, so C cannot equal (d₀²/4)g. Under O(4) isotropy C → (d₀²/4)δ (eigenvalue ratio → 1, off-diagonal → 0 as N → ∞): isotropy fixes only the positive Euclidean magnitude and its scale. The signature is the τ_null sign cut of (Computation 2): across a quantile sweep the timelike fraction tracks the cut exactly while C stays PSD throughout. Confirms is read in the post-signature metric.

Backs the locality verdict and the analytic content of (R) on a deterministic-functional-of-i.i.d.-bits toy (ring sites; pair-local tension T({a,b}) = chord² + ε β_aβ_b; metric ; positions by global MDS and by a locally-supported quasi-interpolation Π^†). (1) Tension and metric are exactly edge-local (zero non-incident edges change under a single bit flip). (2) τ_null is single-flip-stable (|δτ_null| 2ε, ∼ machine zero): an ensemble cut, not a per-draw order statistic. (3) The paper's local-sum A_n carries the O(1/|D_n|) McDiarmid bounded difference (empirical slope -0.73, no position-independence assumed). (4) Under one bit flip the Π^† fluctuation stays within a bounded neighbourhood (93% within ring-distance 8, zero past 12) while the global MDS embedding spreads it (19%, flat in distance). Confirms fluctuation local / bias global: edge-local metric does not imply local fine-placement, the embedding being globally rigid.

Backs the structural sharpening after , by direct enumeration of P(D). (1) The admissible magnitudes ( zero-locus + monotonicity) form a cone of dimension 2^(|D|) - (|D|+1), whose ratio to 2^(|D|) rises (0.50 → 0.96 for |D| = 3 → 8): the form is not a finite-parameter family, T_ex one point of it. (2) Several distinct magnitudes (uniform/weighted edge counts, a rank potential) are simultaneously admissible. (3) A monotone reparametrisation preserves every threshold super-level set exactly (downstream reads only the ordering), while a different magnitude changes it (the contingent per-configuration content). (4) The forced content (zero-locus; T(D) ≠ 0, so τ̂ is defined) is invariant across all admissible magnitudes. (5) The per-configuration count is 2^(|D|) = 64 at |D| = 6, of which the ∼ 20 observed flavour parameters consume ∼ 31%.

Backs the reducibility verdict on P2 (the then-open reducibility item): almost all of P2 reduces to P1 plus magnitude positivity, the surviving primitive being one non-degeneracy condition, the non-balance of the elementary directions |Σ_a∈ D v(a) | > 0. (1) A balanced assignment (Σ v = 0, three antipodal V₇-pairs) has maximal edge count yet |Σ v| ≈ 10⁻¹⁶, so secures the count but not the vector bias T(D): non-balance is logically independent of magnitude positivity, vindicating it as a separately-adopted constraint. (2) G₂ ⊂ SO(7) acts linearly, so g(Σ v) = Σ g(v(a)): over 2000 random SO(7) maps the balanced set stays balanced (drift ∼ 10⁻¹⁶) and norms are preserved, refuting any reduction of non-balance to the Hurwitz/G₂ algebra. (3) Among 2×10⁵ random unit assignments none lands within 10⁻³ of the balanced locus (codimension seven, measure zero): non-balance is generic but, since PST fixes no measure over the structural datum v D→ V₇, not forced.

Backs the refined verdict on the minimal-KO-split principle. With the Lorentzian target ≡ 2 (mod 8) (the Connes value) and the parity-selected substrate KO-6 (Computation 3), the spacetime KO s satisfies s+6≡ 2 (mod 8), so s≡ 4: among s∈{0,…,7} the unique solution is s=4 (next s=12), making spacetime KO-4 the arithmetic complement, not an independent input (Computation 4 verifies the spin structure on an already-four-dimensional M=ℝ× S³). The minimal total ≡ 2 (mod 8) with s≥ 1 is 10=4+6 (next 18=12+6), so the split is forced given the substrate six; minimality is non-vacuous only at the lift s=4 over 12, fixed by the Mosco limit. Varying the internal f flips the split, so the odd-|D| parity that fixes f=6 is the single load-bearing underived choice, not the mod-8 arithmetic.

Backs the §1 A7 spectral-gap verdict. The (R) residual binds at the leading coefficient η_K,R < d₀²/4, not an exponent. (1) A one-parameter family of reversible 2-state chains with fixed spectral gap g= 12 has its stationary mean swept across a 0.8-wide range with the gap identical to machine precision: a relaxation rate does not determine the stationary mean. (2) For A_n(u) with a controlled equidistribution defect ε, the systematic mean deviation is flat in |D_n| (matching the predicted ε G) while the statistical fluctuation decays as |D_n|^(-1/2) (std halving per 4× sample). So a covariance-decay / spectral-gap estimate reaches only the fluctuation exponent; the systematic-mean coefficient is decoupled (the stationary distribution is the kernel eigenvector), and the A7 bias half is foreclosed to mixing / spectral-gap methods.

Backs the §1 A7 deterministic-frontier reduction. c_u = |D_n|⁻¹Σ_a |∇ u(ρ_n(a))|² / (|K|⁻¹∫_K|∇ u|²) is the uniform-weight nodal quadrature defect of the emergence cloud, converging to 1 iff the points cell-volume-equidistribute (not the Delaunay finite-element interpolation error). (1) A deterministic volume-equidistributed cloud gives c_u → 1. (2) A matched-count cloud with a central void in a low-|∇ u|² region retains a persistent |c_u-1| ≈ 0.094, flat across a 64× count increase and matching the analytic void bias to 10⁻⁴: refinement (the A1 count) does not close it. (3) The defect grows monotonically with the void radius. So the A7 bias half is conditional on cell-volume equidistribution of the emergence cloud, the deterministic sibling of the open A2 weak-discrepancy, not on the point count.

Backs the A2-core characterisation. c_u is a single-node average, so the Lorentzian vanishing-separation locus (a codim-≥ 1 pair relation) cannot move it. On a 3-cube with s² = -Δ x₀² + Δ x₁² + Δ x₂²: (1) injecting exact null pairs drives the strong Lorentzian minimum separation to 0; (2) the weak defect |c_u-1| is unchanged by that injection (the paired nodes sit at bulk-typical positions), staying ≈ 0; (3) only a codim-0 central void biases c_u, growing with the void volume. So strong separation fails on the null cone while the weak H¹-tested discrepancy survives, and the A7 residual is purely the codim-0 cell-volume equidistribution of the emergence cloud.

Backs the final foreclosure of the A7 internal-route chain. T reaches physics through three channels, all functions of the distinction data (v D→ V₇ and δ), not the placement ρ: the pairwise tensions, the magnitude ordering of |T(C)|, and the global direction τ̂. (1) Holding the distinction data fixed, all three channels are identical to machine precision across a uniform and a void placement: T takes no spatial-placement argument. (2) The single-node discrepancy c_u reads ρ, so it sees the void, growing with the void radius. (3) The placement-independent toy T-energy changes by exactly 0 across void radii while c_u rises. So a positive-volume void costs nothing in T-terms, and the codim-0 cell-volume equidistribution at the core of A7 is forced by no internal lever.

Backs the coordinate-artefact verdict. The tension data fixes the intrinsic metric only up to diffeomorphism; bulk node density is a distinct diffeomorphism-class invariant it does not pin. Two coordinate charts of the same intrinsic 1D manifold with N geodesically-uniform nodes: a uniform chart, and a void chart x' = CDF⁻¹(x) with a central density dip and metric g₂ = n². (1) Every pairwise geodesic distance is identical to machine precision (∼ 10⁻¹⁶): the void chart is a genuine diffeomorphic representative (same intrinsic geometry, T-realisable). (2) The coordinate uniform-weight node-quadrature c_u, which the bias half requires to approach 1, is unbiased in the uniform chart but biased by ∼ 0.10 in the void chart. (3) The bias grows with the void depth. So the flat c_u is chart-dependent; restoring the void chart's own metric factors makes the defect void-blind (Computation 134), and a void with its co-transforming metric is one gauge orbit carrying no independent density freedom.

Corrects Computation 133. On its void chart (x' = CDF⁻¹(x), metric g₂ = n²): (1) the flat node-quadrature c_u = mean |u'|² / ∫|u'|² is biased ≈ 0.10; (2) the metric-covariant c_u (intrinsic gradient |u'|²/g₂, volume √(g₂) dx' = n dx') equals 1 to machine precision –- void-blind, so the flat bias is purely the dropped g⁻¹ and √g factors; (3) a genuine fixed-metric density modulation (nodes of density n on g = 1, not a diffeomorphism) does bias the covariant c_u. So the metric-preserving void is pure gauge (no bulk-density axiom, no new postulate), and the genuine residual is the diffeomorphism-invariant leading-coefficient inequality η_K,R < d₀²/4, open for the emergence-determined ρ_n and verified only for the i.i.d. surrogate.

Verifies Gleason's dimension hypothesis (dim H = 2^|D| ≥ 3) and demonstrates the Born form P(C) = |ψ(C)|² μ(C) on the substrate Hilbert space for |D| = 2, 3, 4: total probability one, frame-function additivity in an arbitrary orthonormal basis, and non-contextuality of shared projectors. Confirms the |ψ|² rule is the Gleason frame function of the pure state, not an added postulate.

Evaluates all six triangle-anomaly coefficients for one Standard-Model generation as exact functions of the colour rank N_c. All vanish at N_c = 3; the [U(1)_Y]³ coefficient is −2N_c + 6 and the [SU(2)]² U(1)_Y coefficient is (N_c − 3)/6, so anomaly freedom (given the SM hypercharges) forces N_c = 3, the dimension of the M₃(ℂ) colour factor. A consistency check, not a derivation of the hypercharges.

Two exact routes to w = −1: (A) the FRW continuity equation ρ̇ + 3H(ρ + p) = 0 with the non-diluting substrate density ρ̇ = 0 forces ρ + p = 0; (B) a metric-proportional stress tensor T_μν = ρ_Λ g_μν gives T^μ_ν = ρ_Λ δ^μ_ν, matching a perfect fluid at p = −ρ. The load-bearing input is non-dilution; w = −1 follows from it.

Checks that the measured CKM matrix (PDG) is consistent with identity plus a small T(C)-contingent perturbation, as the S₃-leading theorem requires: ‖V − I‖₂ ≈ 0.25 is Cabibbo-sized (O(λ), not O(1)), every off-diagonal is ≤ |V_us|, and the magnitudes are unitary to sub-percent. A falsifiable consistency bound (the values themselves are out of scope).

Derives the d⁻⁶ pressure-correction exponent directly from the mode form factor rather than by dimensional analysis: for any smooth even kernel g(k d₀) (g(0)=1, g'(0)=0 by parity), the leading correction is δP = −C a₂ d₀² Γ(6)ζ(6)/(2d)⁶ ∼ d₀² d⁻⁶. Numerically confirmed for four smooth even kernels (fitted exponent −6.00 to <1%; analytic coefficient matched to <0.2%); the exponent is kernel-independent (a non-smooth cusp kernel gives −5 instead), while the coefficient a₂ is kernel-specific (varies 4×), so the d⁻⁶ signature is generic to any smooth even single-scale cutoff and only ξ = 90/π² is PST-specific.

Formalises and verifies that the downstream structural derivations read T(C) only through the descending order of |T(C)| (the instantiation sequence) and the global bias τ̂ = T(D)/|T(D)|. For any strictly increasing reparametrisation φ (φ(0)=0) of the magnitudes with τ̂ fixed, at matched threshold τ' = φ(τ) the instantiation sequence, the per-configuration phase sign(|T(C)|−τ), and τ̂ are all invariant (300 random trials); a non-order-preserving reassignment changes the sequence. So the residual freedom in T(C) beyond the ordinal content and τ̂ is inert. Does not derive a canonical T(C) (open, Computation 126); it fixes the exact robustness criterion.

Sharpens Computation 127, which closed with "PST fixes no measure over v" and concluded that non-balance is adopted rather than derived. A measure over v factors into a directional marginal on S⁶ and a radial one, and neither is what remains adopted. Builds G₂ itself as the derivation algebra of the octonion cross product (dim = 14; Computation 127 used random SO(7) maps as a proxy), and confirms with genuine automorphisms that the balanced locus is G₂-invariant, so the Hurwitz/G₂ exclusion route is refuted. But the orbit through a unit vector is 6-dimensional: G₂ is transitive on S⁶, which therefore carries a unique G₂-invariant probability measure, so the directional marginal is derived in the same way the Bernoulli measure is. The radial marginal is then shown irrelevant: with directions drawn from that measure independently across properties, no balanced assignment occurs in 200,000 trials at n = 2, 3, 8 for unit, uniform, exponential, heavy-tailed or six-decade radial laws. The one exception is degenerate and self-closing: if v(a) = 0 is permitted with probability p then P(balanced) = pⁿ exactly, which vanishes as |D| grows for every p < 1. What is load-bearing is independence: a law coordinating the values across properties makes balance certain, an independent one makes it null. So what is still adopted is not a measure but independence, the structural claim that nothing at substrate level coordinates the values, which is exactly the ungroundedness argument. It supplies the genericity argument's missing premise rather than replacing it.

The Bernoulli measure is a product over the property domain D, so it factors over any bipartition D = D_A ⊔ D_B and the Hilbert space factors with it: that is what gives PST composite systems at all, as a theorem rather than an axiom. Checks the bijection exhaustively at |D| = 12, checks that the measure factors with marginals taken from the measure itself, and runs a non-product control (permutation-invariant, weight ∝ 1+|C|) that fails the same test, so the structure rests on the Bernoulli measure specifically. Then derives no-signalling: over 200 random correlated states and random B settings the A marginal is invariant to 6×10⁻¹⁶, and stays invariant on the singlet where CHSH reaches 2√2.

The collapse rule selects an outcome by comparing projected weights against a threshold; the Born rule is derived separately from Gleason. Do they agree? For a fixed state the weights are fixed numbers, so the randomness sits in the configuration, and the object is P_C(w_i > tau_i(C)). Result: the rule reproduces Born exactly, P(tau < w_i) = w_i, precisely when the tension variable is uniform in its quantile, verified on three states and shown to fail for a Beta(2,2) control. Also maps the trade-off along the coupling axis: raising the coupling drives the chance of two simultaneous crossings to zero, which is what clause (U) rests on, but pushed further it orders outcomes by margin and the survivor becomes deterministic. A control placing the largest weight on the largest |o_i| rules out a labelling artefact.

Asks whether the intermediate-coupling regime predicts anything standard quantum mechanics does not, without depending on the details of the threshold law. If a crossing at the slits physically selects a path, only the 1−p of runs without one shows fringes, so V² + D² = 1 − [1−(1−p)²]γ², a sub-duality deficit, largest at weak coupling, verified against the numerical maximum to 1e−6 and zero only at p = 0. A duality test good to ε excludes p > 1 − √(1−ε). With p near 0.5 from Computation 143 the deficit would be gross, so the selecting reading is untenable and crossings must be redundant with the decoherence PST already inherits.

Supplies the condition Computation 143 identifies, by exact enumeration of all 2^|D| configurations for the scalar exemplar T_ex. Raw, the tension is far from uniform (KS 0.46–0.51 for every distinction graph tried at |D| = 14). But downstream reads only the ordering of magnitudes, and Computation 140 verifies monotone-reparametrisation invariance, so the probability-integral transform is available and makes the variable uniform by construction. The residual obstruction is ties, which no order-preserving map can separate; every measured value sits at the floor they impose. For generic Erdős–Rényi structures that floor is 0.034 at |D| = 14 and decays as |D|^−1.51 (R² = 0.998); for regular graphs it is large, but those are the graphs the book already excludes.

Decoherence does two things and conspicuously not a third. Evolving a system–apparatus–environment state unitarily, the off-diagonal elements of the reduced state decay to zero (interference destroyed, pointer basis selected) while the global state stays pure to machine precision at every environment dimension, so nothing has become definite. The decohered reduced state is then identical, entry for entry, to a proper mixture built by hand from definite outcomes, and indistinguishable from it under 4000 random Hermitian observables. Global purity separates them perfectly (1 vs 0.58): the difference is real but not locally accessible. Hence Gleason gives the probabilities, einselection the basis, and the threshold crossing the definiteness (and Computation 144's null visibility result is what the formalism requires, not an idle layer.

Can ongoing sublimation exhaust the configuration space? Appealing to an infinite S does not settle it: μ is a probability measure with total mass 1 however large D is, so a process consuming measure at a fixed rate empties it in finite time. Two readings are separated. Under depletion, crossed configurations leave the ensemble and bias the survivors in tension order; measured over all 2^16 configurations the drift is monotone but slow, first exceeding three times the atom floor only near 80% sublimated, a weak argument, reported as weak. The decisive exclusion carries no tolerance: the w = −1 derivation already requires j_τ to be a pre-spatial saturation density rather than a per-volume creation rate, and a draining stock is precisely such a flux.

No) they reduce to one. Enumerating the Hurwitz classification (R, C, H, O at dimensions 1, 2, 4, 8), maximal directional structure and maximal-tensor envelope turn out to be a single instruction on two constructions: argmax over vector parts (0, 1, 3, 7) returns Im(O) = V₇, argmax over tensor products returns C⊗H⊗O at dimension 64, and one function implements both. R being the tensor unit is why the envelope is a triple product, a consequence, not a choice. Separately, minimal split is not a selection: with KO-6 and KO-4 both verified, the admissible (n,k) with n+k ≡ 2 mod 8 collapses to the single pair (4,6), so nothing is minimised. Had the summands been free, minimality would have returned (0,2), which the theory does not use. The odd-|D| parity restriction is not removed by this.

P3 makes crossing necessary, so why not many universes? Because every route to a second instantiation moves along a symmetry PST already carries. A different threshold direction is a G₂ rotation: transitivity on S⁶ is confirmed by the stabiliser count 14 − 8 = 6 = dim S⁶, and 2000 sampled directions transport onto a common reference to 1e−10, so S⁶/G₂ is a point. A different realisation map is diffeomorphism invariance: over 500 relabellings the metric's value multiset is permuted, not altered, to 1e−12. A disjoint region factors rather than detaches. The quotient by all three has exactly one element. Structural result only (it says nothing about the eternal-inflation multiverse.

Computation 65 measured the gap-times-N quantity G over k in [1,16] and the book carried it forward as 'G ≤ 5.3 uniformly in (k, N)'. Extending the sweep to k ≤ 40 finds G = 22.0 at (39, 22), so the unrestricted claim is false. Every violation lies at k > k_D = N/2, which the Walsh cutoff excludes, and comp 65's own maximum, 5.249 at (15, 20), is itself such a point, since k_D = 10 there. On the operative regime the sharp constant is 3.674 over 195 points, attained at the smallest substrate size. The controlling parameter is the bridge degree over the truncation, m(k)/N: max G is 2.6 below m(k)/N = 0.25 and 22.0 at 0.5. Since m(k) ≤ 2√k for every k ≤ 2000, the matched scaling gives m(k_D)/N(D) ≤ D^(-1/4), so the deficit vanishes rather than staying O(1), correcting a step that had bounded m(k) by √D, which is the bound on k, not on m. An explicit analytical constant was still open here; settled by computations 213 and 214 (the limit law and the derived sharp value 3.6736).

The emergence map ρ is not unique, the earlier computation observed) that non-uniqueness IS PST's diffeomorphism invariance, so which properties constitute 'the A apparatus' is fixed only relative to a choice. That turns out not to matter, and the reason is a quantifier rather than a calculation: the tensor factorisation is stated for an arbitrary bipartition, and no-signalling follows from it with the Born rule and completeness of the B projectors. No step mentions ρ, a metric or a region. Every ρ induces some bipartition and none is exempt. Checked exhaustively rather than by sampling: the bijection and the factorisation of μ hold on all 1022 non-trivial bipartitions at |D| = 10, across every split size, and the A marginal is invariant under every B-side basis to 4e−16. A permutation-invariant but non-product measure fails by fourteen orders, so P1's Bernoulli measure is what carries it. Still open: why a laboratory device is a compact bound object at all.

Replaces a circular defence: the book argued non-balance is 'generic (measure zero)' while conceding in the same sentence that PST fixes no measure over v. What holds without any measure is stronger. The balanced locus is closed of codimension seven, so its complement is open and dense and the distance to balance is exactly |Σv|/√|D|, stability, not probability. Symmetry does not favour balance either: the assignments fixed by the relabelling group are the constant ones, which are maximally UNbalanced. But symmetry does not force non-balance: v(a) = εₐu with shared u and i.i.d. signs is invariant under diagonal G₂, all relabellings and per-property complementation, yet balances with probability 0.31 at |D| = 6. The residue is a coordination premise weaker than independence, one property whose conditional has no atom at the cancelling value suffices. Scope stated rather than hidden: quantise the directions to ±e₁..±e₇ and balance is not null, exactly 1/14 at |D| = 2.

Computation 150's seventeen matched-scaling points looked like they trended downward, which would have meant a closure rate better than the book claims. 150 refused to claim it on seventeen noisy points. The refusal was right. At fixed k, G converges to a NONZERO constant as N grows even while m(k)/N goes to zero, at k = 1 it runs 1.0161, 1.0128, ... 1.0057 over N = 16 to 44, monotone toward about 1.00. So the gap is Θ(1/N) and the rate is Θ(1/√D): tight, not merely an upper bound. The apparent trend was sawtooth phase in the m(k) stratum. The controlling variable also sharpens, from m(k)/N to the truncation headroom s = N − 2(m+1), the room the top bridge monomial has inside the truncation. Off the operative regime G is unbounded as that headroom closes, reaching 38.1 where 150 had reported 22.0, so that figure was a property of the sampling window rather than a maximum. The analytical constant was still open here; settled by computations 213 and 214.

The book declines to claim its projected field equations cover the strong-field case, and that refusal is what stands between PST and the Wald entropy. This evaluates the book's OWN validity condition, higher-curvature terms suppressed by (k d₀)², negligible at scales far above d₀, on Schwarzschild instead of assuming it fails. That condition is about curvature; a horizon is strong POTENTIAL, not strong curvature. Symbolically from the metric: Rμν = 0, R = 0, and K = 12 rₛ²/r⁶ is the only surviving invariant. With k = K^(1/4) the suppression at the horizon is 2.1e−24 for one solar mass, 1.1e−37 for Sagittarius A*. The expansion first fails at r = (12^(1/4) d₀)^(2/3) rₛ^(1/3), which is 38 micrometres for a solar mass, 1.3e−8 of the horizon radius, enclosing 2.1e−24 of the interior. So the uncovered region is the singularity, which was already open, not the horizon. Floor: 2.9e18 kg, or 1.9e8 kg if the grain rather than the coherence length is the cutoff, so the conclusion does not depend on that choice. The truncation costs nothing either: the named corrections carry a factor R or Rμν in every term of both their field equations and their Noether-charge integrands, so the hole solves the truncated equations exactly and its Wald entropy is A/4G with no correction at all. The one unnamed invariant is Gauss–Bonnet, whose Noether charge works out mass-independent, an additive O(1) against 1.05e77, not an area term. What it does not do: establish the global causal structure, promote the substrate-side horizon identification to a theorem, or count anything. Scope (version 32.159): all of this on the 2.3 nm Casimir bound of its day; computation 216 re-evaluates on the derived coherence length of 2.2 attometres (37 picometres, 1.9e−42 of the volume, a floor of 2.8e9 kg), every conclusion surviving by wider margins.

The book builds the stress-energy projection only as Tμν = Π(T(C)) gμν and calls the tensor version open. Three results. First, what the scalar form actually covers: on FRW, Bianchi applied to Π gμν forces Π to be CONSTANT, and a perfect fluid is proportional to g only when ρ + p = 0. So it is exactly and only the cosmological constant, isotropic dust and radiation are already outside it, not inside as the text said. Second, a negative result worth recording: the obvious completion, one unit dyad per pair, is SINGULAR on the light cone, which is exactly where τ_null sits. Measured, the sum swings 56 percent across cloud sizes and never settles because near-null pairs dominate. Any completion that normalises by the interval fails the same way. Third, what works: the unnormalised separation dyad weighted by a function of the pair's own invariant. Its trace is the interval itself, so the scalar Π comes back as the TRACE rather than as a factor on the metric. On an isotropic ensemble it is forced into perfect-fluid form, and ρ is the timelike-pair moment while p is the spacelike-pair moment, split by T(a,b) against τ_null, the same cut that fixes the Lorentzian signature. The threshold that gives the light cone gives the equation of state. w = −1 is one balance condition, and at that point the tensor IS the scalar form, so the cosmological constant is one point of a one-parameter family. Superseded in part by computation 158, which corrects one conclusion: the weight is NOT adopted, trace consistency between the scalar and tensor projections forces W(s) = −|s|, and the reachable range reported here, which put radiation at w = +1/3 out of reach, was a property of the exponential family used, not of the construction. The derived weight gives w = 1/3 exactly. Still open from this computation's list: conservation is checked flat, and the tensor is fixed only up to a divergence-free term.

After computation 151 closed the ρ-independence half, one item was left: that a laboratory device occupies a compact region is 'inherited rather than derived'. It comes apart into three pieces, only one of them genuinely open. First, the compactness half is a corollary: the metric equation makes the proper distance |T − τ_null|^(1/4), strictly monotone in the tension excess, so 'compact in M' and 'tight in T' are one condition written twice, a planted subset is recovered from the tension matrix alone, with no geometric input. Second, being a device is an OPEN condition with a sharp margin: with m = sep − diam, any perturbation of the induced distances below m/2 preserves it, and m/2 is sharp (0.99 m/2 intact, 1.01 m/2 broken). A completeness lemma makes the search exhaustive rather than sampled, diam < sep forces the subset to be exactly the k nearest neighbours of each of its own members, confirmed against brute force over all subsets at |D| = 14. Third, the criterion needs cardinality before it bites: bounded diameter with separation is satisfied by every nearest-neighbour pair, but over 200 replicas of 60 properties the accident rate runs 1.000, 0.965, 0.300, 0.040 at sizes two to five and 0.000 from six up. What genuinely remains is why T clusters at all, which is configuration content rather than an open derivation, plus the bound-state physics the projected field theory already inherits. Caveat, the same one computation 152 raised: the accident rates use a uniform null and PST fixes no measure over configurations, so the measure-free part is the margin.

The sharp constant 3.7 has been empirical since computation 65. This attacks the structure instead of sweeping for the value. First, the Dirac operator drops out: T shifts (a,b) by (m,m) and so preserves a − b, which is twice the J_z eigenvalue, so [J_z, T] = 0 exactly for every bridge, and the sigma-plus/minus algebra block-diagonalises the rest, leaving the commutator norm as just the larger of the two ladder commutators (and they are equal by the z0-z1 symmetry). Second, the ladder commutator is itself a shift with an integer coefficient: [J_+, T_wm] = m S_(m+1,m−1), exact to 1e−16. So bridge and commutator are each a sum of two shifts differing by (1,1), hence bidiagonal along the chains (a,b) → (a+1,b+1), the problem collapses from one singular value of a big matrix to many tiny ones, and the evaluator is O(N²) while reproducing brute force to 1e−11. Third, k = 1 then closes in closed form: both operators are single shifts, the two maxima sit at opposite corners of the lattice, and ratio² = 4(N−1)/N exactly, so C(1) = 1. Derived from the Bergman weights, not fitted. Fourth, the constant survives a fourfold extension: computation 150 had tested the operative regime only to k = 20, and at k ≤ 80 the maximum is still 3.6736 at (k,N) = (6,12), the smallest admissible N for k = 6. Fifth, the limit constants are a different number entirely, near N = 250 they sit between 0.10 and 1.00, so 3.674 is a small-N boundary value and not what the rate carries. Still open here: the value, settled by computation 214, which derives 3.673556413812905 at (k, N) = (6, 12) as an explicit algebraic number, with computation 213 supplying the limit constants. A closed form for general m needs the discrete maximum over a, which is what generates the sawtooth.

Backlog item M1. The tensor stress-energy projection was built with a weight W that the book called adopted rather than derived, inheriting the residual freedom in T(C) and carrying the equation of state with it. It is not free. The scalar projection integrates the tension itself; the trace of the tensor projection is the pair's invariant s; and the metric equation ties them together as T − τ_null = −s|s|, identically, for timelike, null and spacelike pairs alike. Requiring the two projections to agree on the trace, pair by pair, is then one equation in one unknown, and it gives W(s) = −|s| with nothing left free. One thing must be added and nothing is read off it: without a range restriction the long pairs dominate and the answer drifts with the sampling window, which a density must not do. PST supplies exactly one candidate scale, the coherence length, and the converged answer is the same for four cutoff shapes and two cutoff scales. What the derived weight forces is tracelessness, the trace IS the sum of T − τ_null, and it vanishes, because the null threshold is the balance point of the tension distribution. So ρ = 3p and w = 1/3 exactly, independently of the configuration: uniform, radially graded, Gaussian, and clustered all give the same. The pair-tension projection is radiation, and that is forced rather than chosen. This also overturns computation 155's ceiling, which had reached only w ≤ +0.200 and flagged radiation as possibly unreachable; that was an artefact of the exponential profile, as suspected. Open: dust, which breaks the forced tracelessness and needs a mass scale the pair-separation structure does not carry. Lambda is not open here, being the separate vacuum term with w = −1.

Backlog M5. Computation 158 derived the weight W(s) = −|s| and left dust open. This settles it in the negative, which locates the rest mass instead of leaving it vague. Real matter is made of worldlines, not scattered points, and restricted to the pairs along one particle's own worldline the projection gives w = β²/3 exactly, to 5e−15 over nine speeds: pressure exactly zero at rest, one third as the speed approaches light. That is the textbook kinetic equation of state of a gas, and nothing was put in to get it. A photon then contributes NOTHING from its own worldline: a null worldline has s = 0 along it, so the derived weight vanishes identically, measured fourteen orders below the massive case. So radiation's one third is not a statistical limit but is forced by the weight being zero on null separations, and the separation that is null is the one τ_null defines, the same cut that fixes the signature. The photon enters the stress tensor through the very object that gives the light cone. But the worldlines are a vanishing share: because the restriction on the invariant selects a neighbourhood of the light cone rather than a compact region, the near-null background never dilutes, and the worldline share stays between 0.01 and 0.05 across fifty times the correlation length. The bond kernel cannot rescue it either, being normalised, so the volume average is identically the integrated sum whatever the kernel is. Conclusion: strictly conformal for homogeneous matter, dust excluded rather than unfound, and the rest mass enters through the matter action rather than the pair geometry.

Four facts about light that are usually presented as unrelated, with one object behind them. Two polarisations: the physical states of a vector excitation are the transverse ones modulo the gauge direction, the transverse subspace is three-dimensional for every momentum, and the gauge direction can be removed only when the momentum lies in its own transverse subspace, which is exactly k.k = 0. Null momentum leaves two states, timelike leaves three, checked over 200 random momenta of each kind. The counting is ordinary gauge theory; what PST supplies is the input, that the photon's momentum is null, through the unbroken U(1) and the metric construction. Equation of state: a null worldline has zero invariant along it, so the derived weight vanishes identically and w = 1/3 is forced rather than approached. Stefan-Boltzmann: with p = ρ/3 the first law is integrable only if T goes as ρ to the one quarter, so ρ goes as T to the fourth. That is Boltzmann's argument, it uses no quantum input, and PST reaches it because it derives the w = 1/3 the argument needs. And the coefficient, not merely the scaling: the radiation constant carries the polarisation count, and the two delivered above gives 7.5657e-16 J per cubic metre per K to the fourth, the measured value to eight figures, where three would miss it by half. Missing, and now supplied: this computation said the Planck spectral distribution was assembled nowhere and that the quantisation into countable quanta was absent outright. Computation 161 assembles the spectrum, and the second half of that claim was wrong: the projected field theory chapter builds the Fock space by canonical quantisation, inherited rather than derived. The photoelectric effect is genuinely absent and stays so.

Writes down the derivation computation 160 said was missing, and separates what PST forces from what it inherits. Four inputs are forced: the linear dispersion, from masslessness at the null threshold; two polarisations, from the null condition; bosonic rather than fermionic occupancy, because the photon is an inner fluctuation of even Clifford grade and even-order composites are bosonic by CAR-composition order; and a vanishing chemical potential, because the conserved U(1) charge is the winding number of the vacuum manifold and not the occupation number of the Fock space, so nothing conserves photon number and there is no multiplier to attach to it. One input is inherited: the ladder of countable quanta comes from canonical quantisation of the projected Lorentzian action in the ordinary way, so PST supplies the arena rather than the ladder. Checked: the bosonic, fermionic and classical branches of the mean occupation, symbolically, the classical one being the ultraviolet catastrophe; the density of states against a brute-force count of box modes, with the residual shrinking as a surface term; Planck's law against the textbook angular-frequency, frequency and wavelength forms; the integral over all frequencies, by term-by-term expansion and resummation to six times zeta of four, cross-checked by quadrature, returning exactly the radiation constant of computation 160, where three polarisations would be half as large again; Wien's displacement law in both conventions against the CODATA constant; and the Rayleigh-Jeans and Wien limits. The falsifiable part: a conserved photon number would give a nonzero chemical potential, and COBE/FIRAS bounds that distortion of the microwave background at nine parts in a hundred thousand, so the structural prediction is confirmed rather than asserted. Still open: the photoelectric effect, which needs the interaction vertex rather than the free spectrum.

Backlog M3, the first of the two items the tensor-projection section leaves open. On a curved manifold two points have no separation vector, so the separation dyad has to be read as Synge's world function derivative, with the pair invariant twice the world function. Two identities are exact, that one and its gradient, and together they collapse the per-pair divergence to a single bracket times the world function derivative, so every curvature effect enters through one scalar, the d'Alembertian of the world function. That scalar is computed in closed form on constant-curvature space from the Laplace-Beltrami operator in geodesic polar coordinates, giving one plus (n minus one) times the separation over the radius times the cotangent of it on the sphere, and the hyperbolic cotangent on the hyperboloid, both tending to n in the flat limit and both reproducing the standard coincidence expansion. With the derived weight the relative correction is minus one seventh of the separation over the curvature radius, squared. Because the pair sum is cut at the coherence scale the separation is at most about five nanometres, so the violation is three parts in ten to the twenty-four at a solar-mass horizon, three in ten to the twenty-six at a neutron star's surface, five in ten to the forty at the Earth's, and three in ten to the sixty-nine cosmologically. That is the same small parameter computation 154 uses to decide where the projected field equations reach a horizon at all, so conservation can never be the dominant error. A correction is carried with it: the per-pair divergence is not zero in flat space either, so flat conservation was always a property of the ensemble rather than of the weight, and measured here the residual falls with the pair count at an exponent near minus one third, consistent with a finite-sample effect. Still open: an exact proof, which would need an action principle the construction does not have. Superseded in part by computation 163, which supplies the exact result conditionally and settles the ambiguity; the bound here is the unconditional statement and stands under it. Scope (version 32.144): the five-nanometre separation and the horizon figure are on the Casimir bound of their day; at the derived coherence length of 2.2 attometres (computation 201) the violation is smaller by eighteen orders and the bound stands a fortiori.

Closes what computation 162 left, in both halves, and corrects its closing sentence: the construction needs no action of its own. The exact result: the field-equation section identifies the pair-tension projection as the conformal part of the projected matter stress tensor, whose conservation is Noether's second theorem for the matter action. Splitting off the trace gives, exactly and on any background, that the divergence of the traceless part equals minus a quarter of the gradient of the trace. Verified on a Friedmann background with a massive scalar, where the trace is not constant and both sides are nonzero, component by component on shell. The corollary: computation 158 forces that trace to vanish, so the right-hand side is identically zero and conservation is exact, with no curvature residue at all, in the sector the projection describes. The electromagnetic stress tensor is confirmed traceless for an arbitrary field strength in four dimensions as the worked instance. The ambiguity, backlog M4: for the one-scalar Riemann-symmetric superpotential the shift is symmetric, has trace three times the d'Alembertian of the gauge function, and has divergence exactly minus the Ricci tensor contracted with its gradient, so it is identically divergence-free in flat space. And tracelessness closes it: the gauge function must be harmonic, and a localised harmonic function is identically zero, by uniqueness for the Dirichlet problem on the Riemannian section, with the discrete operator's smallest singular value reported so uniqueness is measured rather than asserted, and by the domain of dependence in Lorentzian signature, tested with the data nonzero outside the region so the shrinking cone is not a vacuous check. What is left is the conformal identification, which both halves lean on and which the field-equation section already names.

Attacks the single residue computation 163 left, the identification of the pair-tension projection with the conformal part of the projected matter stress tensor, and replaces the caveat with a criterion that is sharp in both directions. Every term of the pair sum is a rank-one dyad times a weight that never changes sign, times a bond kernel that is a density, so the projection is always semidefinite; and conversely every semidefinite target is a dyad sum by its own eigendecomposition. The reachable set is exactly the semidefinite metric-traceless cone. Confirmed over six deliberately awkward ensembles, flattened to a plane, stretched along time, split into two clumps, laid on a light cone and collapsed onto a line: not one negative eigenvalue anywhere. What is inside the class: isotropic radiation and a null plane wave, hence computations 158, 159, 160 and 161 entire, so nothing claimed in this sector is touched. What is forced: the cosmological term is indefinite, so separating it into its own sector is structural rather than a design choice. What is outside: a static magnetic field, whose stress tensor is metric-traceless and indefinite because of the tension along the field lines, and an electric field likewise. A single-signed bond pushes or pulls throughout, and a magnetic field does both at once. The gauge freedom left by computation 163, a constant metric-traceless shift, does restore semidefiniteness, so what fails is the identification as stated, at the price of a universal constant that must dominate the largest tension anywhere and that nothing in the construction fixes, the projection map being a quotient onto the manifold with no empty region to pin it against. Recorded so it is not repeated: a first pass argued that the vacuum forbids that shift, which is wrong for exactly the surjectivity reason.

Computations 160 and 161 called the photoelectric effect absent outright. Half of it is not, and the halves separate cleanly. The kinematics need the energy ladder and nothing else: with the field's energy coming in steps, energy conservation gives Einstein's relation, hence a threshold frequency below which nothing is emitted at any intensity, a slope equal to the reduced Planck constant exactly, and an electron energy independent of the brightness. All three are derived symbolically. The classical alternative fails on all three: a continuous field gives an energy that contains no frequency at all, so there is no threshold, and an energy that grows with intensity. It also fails quantitatively: to meet the Lawrence and Beams bound of three nanoseconds from 1928, a classical field would need an intensity above ten to the tenth watts per square metre, where ordinary photoemission runs near one watt per square metre, a discrepancy of ten orders. Checked as numbers: the threshold wavelength is 579, 525, 286 and 219 nanometres for caesium, sodium, zinc and platinum, each within a nanometre of tabulation. And the picture's own end is predicted rather than ignored: the Keldysh parameter reaches unity near ten to the fourteenth watts per square centimetre at 800 nanometres, the measured crossover from multiphoton absorption to tunnelling, so single-photon absorption is an intensity regime and not a law. The tally: of the five ingredients the standard route uses, PST posits none. Four are outright, the ladder, the masslessness that makes the quantum, the commutator's constant in the slope, and the electron's fermionic character. Corrected by computation 166: this computation called the fifth, the interaction vertex, not supplied. Its form is forced by gauge covariance and only its strength is scoped, so the tally is five of five with one scoped and the residue is a cross-section calculation rather than a missing ingredient.

Computation 165 called the interaction vertex the one ingredient PST does not supply. The gauge chapter already derived minimal coupling from gauge covariance; this turns that phrase into algebra, with explicit Dirac matrices and a completely general spinor. The variation is one term and it names the current: under a local phase rotation the free Dirac Lagrangian changes by exactly minus the vector current contracted with the gradient of the phase, and by nothing else, so only a counterterm built on that same current can cancel it. That is the uniqueness statement, and the coupling is read off the variation rather than chosen from a list. The transformation law is an output too: requiring the cancellation returns the shift of the potential by minus the gradient of the phase over the charge, uniquely. The one alternative fails twice. The axial coupling carries a different current, so it cannot cancel the variation at all; and its current is not conserved, the divergence being twice the mass times the pseudoscalar density where the vector current's divergence is exactly zero, both checked against the explicit spinor. Conservation is not optional either, since the double divergence of any antisymmetric field strength vanishes identically, so Maxwell's equation admits only a conserved source. What is scoped rather than absent is the strength, through the Maxwell normalisation and the field-strength identity modulo the emergence premise. So the photoelectric tally is five of five with one scoped, and what remains is a calculation rather than a missing ingredient. And the pattern worth recording: three times in this line of work a claim of absence was written without opening the chapter that already had it.

Computation 164 left the projection a quotient map, so realisation points exist everywhere and the pair sum is nonzero in what we call empty space. The obvious next question is what vacuum density that predicts. It predicts none, and the reason is worth having. With the weight forced and the bond kernel normalised, the only remaining freedom in the magnitude is how many pairs there are, measured here rather than asserted: across a factor of eight in the point count at fixed box and fixed cutoff the energy density follows the pair count while the equation of state does not move at all. And the theory does not supply that density. PST owns two lengths and neither is a realisation-point spacing: the coherence length, which the book says in as many words is not the microscopic grain, and the substrate grain itself, which enters as a momentum cutoff on field modes. Reading the spacing off one rather than the other moves the implied density by the sixth power of their ratio, about two times ten to the sixty-third, so the number is not merely unpinned, it is unpinned by sixty-three orders. Nothing already standing is affected, which the second check verifies rather than assumes: rescaling the ensemble's density moves the energy density by orders while the equation of state, the trace ratio and the eigenvalue pattern are unchanged, because every result this sector has produced is a ratio, a shape or a count. Two things follow. The conformal identification carries a second gap beside the cone of computation 164, its magnitude within that cone being free, so it cannot be tested pointwise until a density is supplied. And there is no vacuum-energy catastrophe in this sector, because the hundred-and-twentieth-order problem needs a computed scale to disagree with measurement and this construction does not produce one. That is not a rescue, it is a statement of what the construction is.

The postulates chapter called its one remaining extremal selection principle a natural choice given the three postulates but not derived from them, and computation 148 had already cut three such principles to one. This closes it, and the argument is rigidity rather than size. Choosing a proper sub-object is not a smaller commitment than taking the whole; it is a larger one, because one must also say which, and the first postulate supplies no selector. The cost is measured rather than asserted. The octonions are built by Cayley-Dickson and then tested, norm multiplicative and alternative to machine precision and demonstrably non-associative, rather than typed in from a multiplication table. The derivation algebra comes out fourteen dimensional, antisymmetric and closed under the bracket. Orbit dimensions then follow as fourteen minus the stabiliser dimension: a single imaginary direction costs six real parameters, its orbit being the six sphere; a quaternionic triple costs eight; the whole seven dimensional direction space costs nothing. The six and the eight are textbook quotients, so they check the arithmetic rather than feed it. Exactly two choices are free, the zero subspace and the whole, and the two clauses of the first postulate settle which survives: the sole primitive clause removes every intermediate choice and the distinction exists clause removes the trivial one. The hyperspinor envelope goes the same way with a discrete option set instead of a continuous one: of the sixteen subsets of the Hurwitz classification only the empty one and the whole one are specified without naming a member to omit, and the whole one is the triple product at dimension sixty four, which recovers computation 148 rather than assuming it. And the criterion is not a synonym for largest, which the last part proves: under the stabiliser of a single direction a one dimensional subspace is rigid, as far from maximal as a nonzero subspace reaches, so rigidity is relative to the group and the two criteria agree here only because the first postulate leaves the symmetry unbroken. What looked like a preference for large structures is the absence of anything that could prefer a small one. Scope, stated plainly: this does not derive the Hurwitz classification, which is mathematics, nor that the directional structure lies in it at all, which is the work of norm multiplicativity and is upstream of everything here.

Computation 152 reduced the book's standing non-balance condition to what it called a coordination premise, weaker than independence. This sharpens that residue and, in an earlier version, claimed to close it. The closing step is withdrawn here and the refutation is published as part three. What stands is worth having. Balance requires each property's direction to equal minus the sum of the others, one point fixed by the rest, so the probability of balance is exactly the expected conditional mass sitting on that point, and planting an atom of known mass reproduces it across the whole range. It follows that one atomless conditional law anywhere is enough to make balance null, and the reach of that is measured: leaving a single property unpinned while the other five stay maximally coordinated turns a thirty one percent balance rate into a null set, with the probability of near balance falling as the sixth power of the tolerance, the exponent read from a cancellation free closed form and cross checked against Monte Carlo within five Poisson sigma. What is withdrawn is the step that priced the atom as a distinguished direction. It priced an unconditional atom sitting at a fixed point, while what the chain delivers is a conditional atom whose location depends on the other properties, which is a correlation and names no direction at all. Computation 152's own invariant counterexample refutes it directly: with a single shared direction drawn uniformly and independent signs, the law is rotation invariant, names no direction, pays nothing, carries maximal conditional atoms, and balances thirty one percent of the time. So non-balance remains a condition, adopted and not derived, and what would close it is an argument about correlation rather than about direction: a reason the substrate cannot carry a shared hidden variable of that kind. The selector argument of computation 168 is not that argument.

The fourth framework premise says the effective theory below the matched scale is the Standard Model. Half of that is a matching to observation and cannot be proved. This takes the other half against the objection that a Landau-Ginzburg transition should deposit six massless modes below the matched scale with nowhere to live. The answer turns on a reading of the third postulate's locking. With a linear locking term the vacuum solves exactly and the radial eigenvalue exceeds the transverse one by a positive quantity at every alignment strength, the ratio saturating at one third; a quadratic term gives the same inequality saturating at one half, and both closed forms are now checked against the finite difference Hessian rather than asserted. Since the radial mode is the Higgs and the matched scale is about ten and a quarter times the Higgs mass, those modes fall below the Higgs mass itself. But that is not an exclusion of the branch, which an earlier version of this computation claimed. The sign of the inequality turns on the curvature of the locking term, and a quartic term reverses it above a crossover, with the transverse mass unbounded as the coupling approaches its stability limit and the angular modes ending up above the matched scale. That is a tuning, and the withdrawn claim was precisely that no tuning was available. Reading the locking as direct determination instead, which is what the postulate says, leaves the order parameter sector exactly one mode: counted by the rank of the orbit map, six generators move the determined vacuum and fifteen fix it, and the six are broken explicitly rather than spontaneously, so neither set yields a Goldstone. The signature theorem is insensitive to the choice, since well posedness is decided by the principal symbol and a mass term is lower order.

Computation 170 settled the third postulate's locking as direct determination and in doing so took away the mode the vacuum chapter had been using: the seven dimensional directions are constrained rather than dynamical, and the symmetry that survives fixes the vacuum and is unbroken, so neither supplies a Goldstone. This asks which degree of freedom the propagating phase actually is, and answers it. The answer is the phase, and it survives because the preferred direction cannot see it: that direction is real, so determination fixes a direction while saying nothing about a phase. Measured rather than asserted, the complex line through the preferred direction is stable under a phase rotation while the real line is not, so a real order parameter has no candidate at all and a complex one has exactly one. That makes the complexification a requirement rather than the richer of two formulations, which is worth saying in those words, because a real order parameter would cost the signature theorem the mode it argues from. Masslessness is then a condition rather than an automatic consequence, and the computation measures where the line falls. At an exactly solved vacuum the phase curvature sits at the finite difference floor for every coupling that sees the order parameter only through moduli, and is lifted by a sixth of a unit by a coupling linear in the real part. What forbids the lifting term is gauge invariance, since the moduli are invariant under a phase rotation and the real part is not, which is the same exactness that protects the photon in computation 170: one mechanism doing two jobs. A wording correction follows, and it is not cosmetic. The vacuum chapter reads as identifying this mode with the photon, and it is not one. Left as a free massless scalar below the matched scale it would break the fourth framework premise by itself, since the Standard Model has no massless scalar; and a symmetry that is both gauged and broken gives a massive boson, which is a superconductor rather than electromagnetism. The consistent reading is the Standard Model's own: the phase is eaten in the electroweak Higgs mechanism, among the would be Goldstones taken up by the weak bosons, and the photon is the unbroken combination, massless because that generator is unbroken. Nothing massless and scalar survives, and it is one flat direction rather than six, so the light mode problem computation 170 excluded does not return through the phase. Left open: how the substrate's two real degrees of freedom embed in the projected four component doublet, which is a projection question this does not touch.

The post-Newtonian section removes the substrate phase from the infrared by calling it an electromagnetic gauge redundancy, eliminable because that symmetry is unbroken. The premise is right and the inference is not, and the same fact settles both. The electric charge operator annihilates the vacuum, which is exactly why electromagnetism is unbroken, but it also annihilates the neutral component of the Higgs doublet, which carries charge zero. So an electromagnetic transformation does not move that component's phase at all, and has nothing to gauge away. The very fact that makes the symmetry unbroken is what stops it from removing the phase. What does remove it is measured instead: the phase direction lies in the span of the broken generators acting on the vacuum, a span of rank three, so it is an ordinary eaten would be Goldstone taken up by the neutral weak boson. That agrees with computation 171, which reached the same conclusion from the substrate side by an independent route. The enumeration also counts it twice, once correctly among the three electroweak eaten Goldstones and once again as a separate fourth item, so removing the fourth loses nothing. What the item was used for is unaffected, which is why the correction is safe: eaten and gauge fixed both remove the mode from the infrared, and the counting is four real components of the complex doublet, three eaten and one left physical and massive, with no massless scalar at all. So no long range scalar survives, and the post-Newtonian parameters remain at their general relativistic values. Only the reason changes, and it is worth changing, because a correct conclusion resting on a wrong mechanism is the kind of thing a referee finds and it would put the surrounding result in doubt for no reason. The computation also closes what computation 171 left open. The substrate's complex line carries two real degrees of freedom and they are the neutral component's: the modulus becomes the Higgs and the phase becomes the eaten Goldstone. The doublet's other two components, the charged pair, come from the weak isospin structure rather than from the substrate's complex line, which is consistent, since the preferred direction is a direction and a phase and carries no charge.

The book records that its modal scale and its field normalisation factor are not jointly established, and states that problem with the Landau Ginzburg quartic held fixed at one quarter. Holding it fixed is what makes the pair look merely inconsistent. The one loop seagull that extracts the modal scale from the Higgs mass presupposes a canonically normalised field, because it closes the loop with the ordinary propagator, and a shift in a physical pole mass is invariant under rescaling the field while a quartic is not. So the coupling in that equation is the canonical one, and the Landau Ginzburg quartic is not an input to it at all. It is an output. Released that way the system closes: the seagull with the canonical coupling, the bridge premise relating the two couplings, and the two loop running of the Standard Model quartic are two equations in two unknowns. They have a solution. The modal scale comes out at two point two teraelectronvolts rather than one point two eight five, and the ratio between the two is exactly the inverse of the normalisation factor, which is the cleanest statement of what the original conflict was. The quartic then comes out at zero point two three one, against the postulated zero point two five, a gap of seven and a half percent. The uncertainty on that is propagated by re solving for the modal scale at each variation of the top and Higgs masses rather than holding it fixed, because the solution point moves with them, and it comes to two parts in a thousand. So the gap is nine and a half standard deviations and input uncertainty does not absorb it. That is not yet a falsification, and the reason is the interesting part. The coefficient in front of the modal scale squared depends on the shape of the ultraviolet regulator and not only on its scale, and the book supplies a scale while never specifying a shape. Measured here: a hard cutoff and a Gaussian profile both give one, a smooth step of width an eighth gives one point zero five, a quarter gives one point two, an exponential profile gives two. Closing the gap needs one point zero eight, which sits inside that range. Since the book treats the modal scale as a genuine physical breakdown scale rather than a calculational device, it cannot borrow the step function's coefficient by default. It owes the envelope. The substrate spectrum that would fix it is already specified, as Walsh eigenmodes over the non empty subsets with masses scaling as the square root of the subset size, so the mode sum is the missing profile and is computable in principle. That calculation would either recover the postulated quarter, turning the third postulate's quartic from an assumption into a result, or falsify the bridge at a significance that can be quoted. Computation one hundred and seventy four carries it out and returns the second outcome, so the shape defence stated here is withdrawn and the nine and a half standard deviation gap stands. What that later computation does not touch is the measurement in this one: the coefficient really does depend on the profile, and one point zero eight really is what closing the gap would need. What is withdrawn is the inference that the profile was therefore free.

Computation one hundred and seventy three declines to call its nine and a half standard deviation gap a falsification, on the ground that the coefficient in front of the modal scale squared depends on the shape of the ultraviolet regulator and not only on its scale, and that the book supplies a scale while never specifying a shape. It then says, correctly, that the substrate spectrum which would fix the shape is already specified, so the envelope is computable and owed. This computation pays that debt. The question that had to be settled first is which of the theory's two cutoffs the seagull answers to, because they are not the same number. The seagull regulates four momentum at the modal scale, while the substrate spectral action regulates the Dirac spectrum at the matched scaling, which is the square root of the substrate cardinality times the modal scale, and that is astronomically higher. It turns out not to matter, because both are computable and both give one. By the first route, at the modal scale, the Boolean Laplacian's spectrum is the zero mode together with the subset sizes, so there is nothing at all between zero and the modal scale squared and the first level sits exactly at the modal scale with degeneracy equal to the substrate cardinality. A loop that runs out of modes at a spectral gap edge is cut off by a step function, and there is no envelope to choose. That is the same architecture the layer analysis states from the other side, with the two layers occupying disjoint momentum ranges that meet at a single scale of measure zero. By the second route, at the matched scaling, the Walsh ladder does furnish a smooth envelope. The substrate's density of states is binomial and the four dimensional continuum's is quadratic, and the two look nothing alike, one peaked at the middle of the range and the other at its endpoint. But the seagull sees only the first inverse moment of the density, and there they agree: the continuum gives exactly two over the cardinality, and the substrate gives the same thing times one plus one over the cardinality. So the coefficient is one plus one over the cardinality, computed here in exact rational arithmetic and cross checked by logarithmic binomial weights out to sixty five thousand. The fourth part is the one that helps the theory. The family of exponential of a power cutoffs has a closed form for the coefficient, the gamma function of one plus two over the power, and inverting it against the substrate's own mode sum returns a power tending to two, with the deficit times the cardinality tending to twice the reciprocal of one minus the Euler constant. In other words the substrate's envelope is the Gaussian that the spectral action already uses. That choice was previously defended only by noting that the value at the matched edge is the reciprocal of Euler's number for every power in the family, which is true and carries no shape information whatever, because the substrate Dirac spectrum is degenerate and the value at the edge is the only thing ever evaluated. The mode sum supplies what that argument could not, and a regulator shape moves from assumed to derived. The fifth part is what the calculation takes away. The coefficient needed to close the quartic gap corresponds to a power of about one point seven two, and to the substrate envelope at a cardinality of about sixteen, against a true cardinality of the spatial volume divided by the fourth power of a site spacing that tends to zero. The two loop error budget computation already rejects a finite cardinality escape on exactly this ground, and there it only needed sixty three. So the shape freedom is not available and the gap is real at the significance measured. A tamper test confirms the machinery is sensitive to what it is fed: a uniform density of states over the same range gives half the harmonic number, which grows without bound. The scope matters. The nine and a half standard deviations is a statement about one of the two readings the normalisation section lays out, the one that feeds the canonical Standard Model coupling into the seagull. The other reading, in which the Landau Ginzburg quartic is itself the canonical coupling, gives a modal scale of one point two eight five teraelectronvolts and a one standard deviation Higgs match, and nothing here bears on it. What is excluded is holding both at once. So the open register loses an escape hatch and gains a derived regulator shape, and the whole of the remaining tension localises to the single normalisation question rather than leaking into a regulator ambiguity that was never really there. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Research item three point six was closed at version twenty five point eight and reopened when computation one hundred and six's block diagonality claim was withdrawn. The closure, and the gauge chapter until this computation, held that the theory resolves the colour versus generation caveat on the Dixon side, because the ambient tensor product of the complexes, the quaternions and the octonions makes the three generation sectors orthogonal. That inference is invalid, and this file shows it in three measured steps rather than asserting it. First, orthogonality is not invariance. The three Fano lines through the preferred direction are mutually orthogonal to machine zero, they are genuine projectors, and their ranks sum to the dimension of the orthogonal complement, so the earlier decomposition is perfectly real. And colour still leaks out of those sectors by an order one amount. Both things hold at once, because orthogonality of subspaces says nothing whatever about whether a group preserves them, and the original closure inferred the second from the first. Second, the obstruction is a theorem and not a dimension count. The commutant of the stabiliser acting on the orthogonal complement is computed here and comes out exactly two dimensional over the reals, which is to say the complex numbers, so by Schur's lemma the representation is the irreducible fundamental triplet and has no proper invariant subspace at all. A colour invariant generation splitting inside that space is therefore impossible rather than merely unproven. The register had stated the obstruction as a counting remark, that independent colour and generation factors would need nine complex dimensions against the three available, which is true but weaker: irreducibility additionally rules out the direct sum splitting that the Fano lines actually realise. Third, the ambient changes nothing. Colour acts on the larger space only through the octonionic factor, so the norm of the leakage factorises and the leakage on the sixty four dimensional ambient equals the leakage on the octonions alone, measured here to exactly zero difference across trials. The enlargement supplies room and no invariance, and it could not have done otherwise, since tensoring a slot with factors that colour does not act on cannot change how colour moves that slot. What survives is the count. The orthogonal complement is three dimensional over the complex numbers, and that single fact is the source of both the colour rank of three and the generation count of three. The theory derives one three, not two, and inherits the octonionic programme's question rather than closing it. A tamper test confirms the measurement discriminates: a generic element of the maximal torus, which does preserve the three lines, leaks about one part in ten to the sixteenth, against the order one leakage of generic colour.

The normalisation section carried the sharpest open item in the book, and carried it in a shape with no obvious line of attack. The one loop seagull that extracts the modal scale from the Higgs mass presupposes a canonically normalised scalar, while the bridge premise makes the field normalisation factor a field strength ratio, which says the substrate field and the emergent doublet are not canonically normalised with respect to one another. At most one of the two can be canonical, and the book did not say which. The observation this file rests on is that canonical normalisation is not a matter of interpretation. It is a statement about a kinetic coefficient, and the third postulate carries one explicitly, in front of the Boolean Dirichlet form, constrained only by being positive. It is not absorbable, because the Dirichlet form is a bare sum over hypercube edges with a fixed normalisation, so rescaling the field to canonical form does not remove the coefficient. It moves it into the quartic, and the canonical quartic is one over four times the square of the coefficient rather than one quarter. Everything follows from that one line. The Higgs self loop coefficient becomes three over twice the square, and the modal scale becomes linear in the coefficient, so the book's three halves and its one point two eight five teraelectronvolts are the values at coefficient one. The two readings are then exactly two values of that one number, one and the square root of Euler's number, and their modal scale ratio is the square root of Euler's number, which is the inverse normalisation factor, so the identity the section asserts as an observation is derived here as a consequence. Read against the canonical quartic, the bridge premise becomes a single equation in that single unknown, and it is not circular. The reciprocal of Euler's number on one side is the substrate spectral action's value at the matched edge, exact and independent of the substrate cardinality, with the Gaussian cutoff itself derived in computation one hundred and seventy four rather than assumed. The one quarter is the third postulate's. And the Standard Model quartic runs from measured inputs. Nothing on either side presumes the coefficient is one. The residual is monotone across the range scanned, so the root is unique, and propagating the error budget by re solving for the modal scale at each input variation, which is the discipline computation one hundred and seventy three established, gives zero point nine nine seven eight plus or minus zero point zero zero five four. That is under half a standard deviation from the canonical value and one hundred and twenty one standard deviations from the other reading. So the second reading is withdrawn. It is excluded here, excluded at nine and a half standard deviations by computation one hundred and seventy three as a conflict with the third postulate's quartic, and stripped of its only defence by computation one hundred and seventy four, which closed the regulator shape escape. Three independent routes and one verdict. What this file does not do is derive the coefficient's value from the postulates, and the near agreement must not be read as discharging that. It is the earlier two loop result expressed in a different variable, one coincidence and not two, and spending it to fix a free parameter would turn a rigid parameter free prediction into a one parameter fit, which would cost the book its strongest number. The coefficient being one is therefore carried as a stated assumption, that the third postulate's gradient term is written in canonical normalisation, and the agreement is a consistency check on that assumption, and a real one, since the data select the natural value out of a continuum. A derivation would come from the convergence chapter, where the coefficient multiplies the form that goes over to the Laplace Beltrami form on the emergent manifold, which carries a normalisation of its own. Either the limit fixes the coefficient, or it is absorbed into the scaling of the site spacing and is not an independent parameter, and either outcome would promote the assumption to a theorem and hand the agreement back as a free standing prediction. Corrected on a referee pass of this file: the first version evaluated the running quartic at the modal scale held fixed at its value for coefficient one, while varying the coefficient the modal scale is proportional to, and quoted a tighter budget and a larger exclusion than re solving gives. Neither correction changes a verdict, but the arithmetic was wrong. A tamper test confirms the scaling claim is measured rather than assumed: the modal scale divided by the coefficient is constant to machine precision across a factor of six, while a control that puts the coefficient in to the first power instead of the second breaks that invariance by a wide margin. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Computation one hundred and seventy six reduced the field normalisation item to a single positive number, the kinetic coefficient the third postulate carries in front of the Boolean Dirichlet form, and named the route that would close it. The coefficient multiplies that form, the convergence chapter carries the form to the Laplace Beltrami form on the emergent manifold, and the target has a normalisation of its own, so either the limit fixes the coefficient or the coefficient is absorbed into the scaling of the site spacing. This file walks that route and returns a negative answer, along with three corrections that are worth more than the negative answer costs. What the limit does fix is the map. The Boolean Dirichlet form as the book defines it is a bare sum over sites with no division by the substrate cardinality, while the convergence statement divides by that cardinality before taking the limit, so the emergent kinetic coefficient is the postulate's coefficient times the cardinality times a quarter of the squared coherence length. There is no free constant anywhere in that map. What the limit does not fix is the value, because canonical form in four dimensions is reached by rescaling the field, and that can be done for any value of the emergent coefficient, so the target imposes no condition. One free number goes in and one comes out. The first correction is the sharpest. The matched scaling assumption sends the cardinality to the volume divided by the fourth power of the site spacing, which diverges as the spacing goes to zero, while the coherence length is fixed and explicitly distinct from the spacing. So a constant coefficient makes the emergent kinetic term diverge as the inverse fourth power of the spacing, which is a projected field of infinite stiffness rather than a field theory, and holding it finite forces the coefficient to scale as the fourth power of the spacing. The coefficient is therefore not a constant at all, which means setting it to one is not an underived statement but a malformed one, and the wording added to the open register in the previous release on this session's own recommendation is corrected here to speak about the composite instead. The second correction is to one of the book's own equations. The convergence statement was missing the reciprocal volume that the equidistribution assumption carries, an expectation against a probability measure having been equated with an unnormalised integral. The factor is measured here on an explicit four dimensional periodic lattice with a smooth test function whose Dirichlet integral is known in closed form, and it is recovered to three parts in a thousand across a factor of eighty one in volume. The third correction is to the previous computation. Its expression for the canonical quartic as one over four times the square of the coefficient is a true identity about the free energy in substrate variables, and it was used there as though it were the coupling the one loop seagull sees. The seagull lives in four dimensions, where the coupling is the postulate's quartic times the volume over the square of the emergent kinetic coefficient. The two agree only in a special case. What survives is everything that computation concluded, because the square root of Euler's number ratio and the exclusion of the second reading use only the ratio of two couplings and never the formula, and the modal scale goes as the inverse square root of the coupling whatever the coupling is built from. What is withdrawn is only the identification of the free number with the bare coefficient. A claim in an earlier version of this file is withdrawn, and the withdrawal is the point. It said the third postulate left it unstated whether the squared Boolean gradient is the bare sum over edges or the per site average, and called the choice editorial. That was false. The postulate does say: the Boolean gradient is defined earlier in the same chapter as the bare sum, with a factor of a quarter, and the Poincare inequality quoted alongside it, the Efron Stein inequality, holds only for that form. Acting on the false claim, an earlier release added a second and contradicting definition of the same symbol eighty four lines later, which also falsified that inequality by a factor of the cardinality over four. Both are withdrawn here. What follows instead is the stronger conclusion rather than a choice between readings. The bare sum is the book's, so composing it with the convergence statement gives an emergent kinetic coefficient proportional to the cardinality, which the matched scaling assumption sends to infinity, and therefore the postulate's gradient coefficient is not a constant at all: it carries an inverse cardinality, equivalently it scales as the fourth power of the site spacing and goes to zero, and the quantity the postulate actually owns is that coefficient times the cardinality. In terms of it the emergent coefficient is finite. Nothing in the postulate's content changes by saying so; what changes is that the coefficient is read as a scaling rather than as a number, and that no bare value can be asserted of it. So what remains is a single length, the coherence length, which the Casimir chapter bounds at two point three nanometres and does not predict. It is still a residue and it is reported as one. A tamper test exhibits the divergence as a property of the bare sum and shows it absent from the averaged form, so the measurement discriminates between the two readings rather than assuming one. Scope (version 32.144): the residue closed on computation 201, which derives the coherence length from the normalisation premise itself, d₀ = √2 ħc/m_h = 2.2 attometres; the two point three nanometres is the data's bound only.

The structural register carries non-balance, the requirement that the elementary directions do not antipodally cancel, as a condition rather than a derivation. Computation one hundred and sixty nine sharpened it considerably, showing that balance would need every property's conditional law to carry an atom sitting exactly on the cancelling value, so that balance requires total coordination and one unpinned property anywhere destroys it. But it withdrew the step that would have turned the sharpening into a derivation, because that step priced an unconditional atom at a fixed point of the six sphere while the chain delivers a conditional atom whose location depends on the other properties, which is a correlation and names no direction at all. The counterexample is the law in which every elementary direction is a shared direction times an independent sign: it is rotation invariant, names no direction, pays no parameter, and balances thirty one percent of the time at six properties. This computation does not close the item either, and says so four times over. What it does is measure how far that obstruction reaches, and the answer is not far. The reduction comes first. On that family the shared direction drops out of the sum entirely, so balance is a statement about the sign vector alone. Then comes the step that has not been used before. The status section already asserts that the counterexample law is invariant under per property complementation, the operation that reverses a single direction, and on this family that operation is exactly a sign flip. The single coordinate flips act simply transitively on the set of sign vectors, meaning any sign vector is carried to any other by exactly one flip pattern, and a probability law invariant under a transitive group action can only be the uniform one. So the independent fair signs are not a modelling choice at all. They are the only complementation invariant option the book's own symmetry package leaves. The balance probability is therefore an exact binomial, the central coefficient over two to the number of properties. That is five sixteenths at six properties, which reproduces the measured thirty one percent as a forced value rather than an accident of the experiment, and it behaves as the square root of two over pi times the cardinality. At a substrate cardinality of ten to the eightieth it is about ten to the minus fortieth. And at every odd cardinality it is exactly zero, at every scale, because a sum of an odd number of plus and minus ones is odd and cannot vanish. A second result needs no family at all. For any law invariant under per property complementation, flipping a single property sends the total to minus twice that property's direction, which is nonzero because the directions are unit vectors, so the flip carries the balanced set into its complement while preserving the law, and the two sets are disjoint of equal measure. Hence the balance probability is at most one half for every such law, and the bound is attained at two properties. The scope is stated plainly because the file is useless if it is misread. None of this derives non-balance. A probability bound is a statement about a law and not about the single configuration the substrate actually has, and the status section is explicit that non-balance's standing is a stability statement rather than a probabilistic one. The vanishing is established for the family the counterexample inhabits and not for every correlation structure. And one half forbids certainty rather than forbidding balance. The register entry stands unchanged. What the book can now say is that the obstruction does not grow with the substrate and that the symmetry package it already asserts is what stops it. A tamper test isolates which assumption does the work: dropping complementation invariance while keeping rotation invariance, relabelling invariance and zero parameter cost, by taking the signs uniform on the zero sum set instead of independent, restores balance with probability exactly one. So the bound is carried by that one symmetry and by nothing else, and that is the assumption to challenge if anyone wants to reopen this. Scope (version 32.126): the two conditions, Born agreement and non-balance, closed on P3's typicality (computations 193 and 195) and sit in Appendix C.5; the structural list has been empty since version 32.132.

The structural register carries the absolute scale of the stress projection within its cone as an open item. Computation one hundred and sixty seven established that the magnitude rides entirely on how many pairs of realisation points there are, that every standing result in that sector is a ratio, a shape or a count and so survives any rescaling of the density, and that there is consequently no vacuum energy catastrophe here, because the famous discrepancy needs a computed scale to disagree with measurement and this construction produces none. All of that stands and none of it is disturbed. Its remaining sentence is the one this file is about: that the theory does not supply the density, because the two lengths the theory owns are a coherence length, which the text says in as many words is not the microscopic grain, and a grain that enters as a momentum cutoff on field modes. That search was over lengths, and it missed that the matched scaling assumption names a spacing outright. The convergence chapter introduces the site spacing as exactly that, the substrate site spacing, explicitly distinct from the fixed coherence length, with the number of sites times the fourth power of the spacing tending to the volume, the spacing tending to zero, and the local node density going as the inverse fourth power of the spacing and therefore to infinity. And it is the same realisation map: the stress projection sums over pairs of substrate elements through that map, and the map is defined once in the book. So the density is not missing. It is infinite. The measurement follows. The pair cutoff the book itself uses is the squared coherence length, tied to a length that does not scale, and a fixed cutoff meeting a density that grows without bound gives a magnitude going as the square of the site count, which is the inverse eighth power of the spacing. That reproduces the earlier file's measured quadratic growth in the point count and carries it to the exponent in the spacing, which the earlier file did not take. What that leaves is a fork the book has not chosen between. If the substrate here is the sequence the scaling assumption describes, the magnitude is divergent rather than free, and what is owed is a normalisation rather than a density; measured here, dividing by the site count still diverges while dividing by the pair count converges, so the normalisation is fixed rather than free. If instead the substrate is one physical set with some finite spacing, the earlier file stands entire and a density is owed, which is a new ingredient. The earlier file took the second reading and did not name it, and its arithmetic is reproduced here exactly, scale free checks included, and is not in question. This does not close the item. Neither branch hands over an absolute scale, and a per pair average is not a density while a stress tensor is one, so the finite object the first branch buys has an open reading of its own. The earlier negative result survives both branches. The pattern is worth more than the item. The computation before last found the same unstated choice in the third postulate, where a bare sum over the substrate met a limit that divides by the substrate cardinality, and the postulate now states its normalisation. The stress projection is a bare sum over pairs carrying no normalisation at all, and it was visible only because the first had just been fixed. The book uses the substrate both as a limiting sequence and as a fixed physical set, and every bare sum over it is sensitive to which. A tamper test confirms the diagnosis: tying the cutoff to the spacing instead of to the coherence length moves the measured exponent in the site count from one point nine eight to one point zero two, so the divergence is carried by the cutoff's relation to the spacing and not by the pair sum itself. Scope (version 32.132): the structural list has been empty since; M7's row is in Appendix C.6, closed by computations 196 and 199.

The structural register carries Born agreement as a condition: the crossing rule reproduces Born statistics only if the tension variable is uniform in its own quantile. An earlier computation measured the real obstruction as atoms, meaning ties in the tension exemplar that no order preserving relabelling can separate, and which therefore put a floor of half the largest tie on the distance from uniform. It showed that floor vanishing for generic distinction graphs, and then set the remaining graphs aside on the ground that the book already excludes them, because the tension exemplar was said to fail complement asymmetry on regular graphs. That ground does not hold, and this computation is mostly about why. Complement asymmetry is a condition on the direction assignment, not on the distinction graph: the body states in as many words that its genuine content is the non balance of the elementary directions, so it constrains no graph whatever. And on the magnitude reading it does not exclude them either, since the complete graph is measured here to be regular and complement asymmetric at the same time. The sentence also names the wrong class. The regular graphs it blamed are fine: their atom floor vanishes as the inverse square root of the cardinality, slower than the generic case but vanishing. What actually fails is a different property altogether, a bounded active part. A star graph has a single centre, and a fixed clique with isolated vertices attached has a fixed clique, and in both cases the tension exemplar takes only a bounded number of distinct values however large the substrate grows. These graphs are admissible: the two constraints the book does place on the tension, that it vanishes exactly on configurations with no distinct pairs and that it never decreases when a property is added, are checked exhaustively here on every family and hold for all of them, while complement asymmetry cannot reach them. The star is the cleanest case. Its tension is the number of leaves in the configuration when the centre is present and zero otherwise, so exactly half of all configurations tie at zero, at every cardinality, and the distance from uniform is floored at a quarter for arbitrarily large substrates. The consequence for the register is that Born agreement is jointly a condition on the law of the tension and on the distinction graph, and the theory constrains the graph not at all in the relevant respect, so discharging the item needs a genericity constraint on the graph rather than a calculation. That constraint has since been named: it is the vertex cover number of the distinction graph, whose staying bounded is exactly what a bounded active part measures, and requiring only that the distinction relation tell the properties apart removes the mechanism. The scope matters and is stated plainly: this is not a refutation of the crossing rule, nothing standing depends on it, the earlier generic result is reproduced here rather than disputed, and a physical substrate is overwhelmingly more likely to be generic than to be a star. What changes is only what the register may claim, since the class where the condition fails is admissible rather than excluded. A tamper test confirms the bound is structural: four hundred random monotone reparametrisations fail to beat the floor on the star, while the same search on a random graph goes far below it, so the measurement discriminates between the two families rather than assuming the answer. Scope (version 32.126): Born agreement closed on P3's typicality (computations 193 and 195), its row in Appendix C.5; the structural list has been empty since version 32.132.

The spin statistics section withdraws an earlier argument for the locality axiom as vacuous. That argument observed that the substrate creation operators anticommute and concluded that the emergent spinor fields anticommute at spacelike separation, but the anticommutation holds at every separation, coincident points included, so the spacelike hypothesis did no work at all, and a hypothesis that does no work establishes nothing. The section then names what would establish the axiom: the substrate two point structure having Fourier support in the closed causal cone. This computation shows that route is unavailable rather than merely unattempted, and the reason is one line. The substrate is pre causal in the sense that carries the weight here: it has no time parameter, time being emergent, since sublimation produces a domain that admits time evolution rather than the substrate having one. So the substrate two point structure is an equal time object, a matrix on sites rather than a function of any time. It is worth being exact rather than saying the substrate has no dynamics, which would be too blunt and which an earlier version of this file did say: the substrate does carry an energy function, a Higgs Hamiltonian over configurations that the partition function chapter uses. But an energy on configurations weights a static ensemble; it does not generate evolution in a time the substrate does not have, and only the time freeness is load bearing here. Its continuum image is a smoothed spatial kernel whose Fourier transform is a function of the spatial momentum alone and does not depend on the frequency, which is measured here to machine zero along every frequency line. The obstruction is then exact. Take any transform independent of the frequency and ask it to be supported in the closed cone, the set where the absolute frequency is at least the spatial momentum. Fix a nonzero spatial momentum. The points whose frequency is smaller in absolute value than that momentum lie outside the cone, so the transform must vanish at them, and since it does not depend on the frequency, that value is its value along the entire line. So it vanishes at every nonzero spatial momentum and is supported at zero alone, which is to say it is trivial. A frequency independent two point function has support in the closed cone only if it vanishes. A static object cannot encode a light cone, and no amount of work on the substrate correlator will change that. The numerics confirm the proof including its degenerate case. At the physical end, where the site spacing goes to zero and the kernel becomes a sharper spatial delta and therefore broader in momentum, about four fifths of the spectral weight sits outside the cone, and the fraction falls to zero only as the kernel is squeezed onto zero spatial momentum, which is exactly the trivial support the proof isolates. What is not claimed matters as much. The axiom is not refuted and nothing downstream moves. Equal time microcausality is untouched and is not what is at stake, since the equal time anticommutator is a spatial delta which vanishes at distinct points, and the section already says the non trivial statement is the unequal time one. The structural spin statistics theorem never used microcausality, deriving statistics from Boolean exclusion instead, and the other four Wightman axioms stand. Where the axiom has to come from is the emergent dynamics: the unequal time anticommutator is built from the projected Dirac operator, and the Pauli Jordan function vanishes outside the cone because of the mass shell, which is a statement about that operator rather than about the substrate measure. So the register target moves to whether the projected propagator carries that support property, a question about the matched scaling limit, which is well posed. A tamper test confirms the measurement can tell a causal kernel from an acausal one: a mass shell kernel puts nothing outside the cone while the substrate kernel puts a third of its weight there, and the control passes only because it has a frequency dependence, which is precisely what the substrate lacks.

Computation 179 left the absolute scale of the tensor stress-energy projection as a fork between two readings of the substrate symbol and said the book had not chosen between them: either it is the sequence of substrates that the matched-scaling assumption sends to infinity, in which case the magnitude is divergent and what is owed is a normalisation, or it is one physical substrate of finite spacing, in which case computation 167 stands entire and what is owed is a density. This computation shows it is not a choice. The substrate is finite at every stage, by four independent commitments of the book: the matched-scaling assumption's own statement that its cardinality goes to infinity, the Bernoulli product taken over the site list, the exact enumeration over all two-to-the-power-of-the-cardinality configurations in the Born consistency section, and the balance probability given as a central binomial coefficient. A finite set has no uncountable quotient, so the quotient that the realisation chapter identifies with spacetime is finite at every stage and is a smooth four-manifold at none of them, while the conservation identity differentiates the projection covariantly on a smooth manifold and the perfect-fluid decomposition resolves it against a metric. So the symbol in the projection formula is the sequence, and the fixed-substrate branch is unavailable rather than merely unstated; computation 167's arithmetic is untouched and only its reading of the symbol falls. The forced normalisation is then followed through and does not buy what the previous computation's phrasing suggested. Dividing by the pair count is forced and does converge, but the bare sum is dimensionless: the weight and the unnormalised dyad carry two powers of length each against the bond kernel's minus four, so the sum is a pure count, which is why it grows quadratically. That quadratic growth is re-measured here with the bond kernel localised, since the earlier measurement summed globally and a global exponent could have a reason that locality destroys; the fitted exponents are 2.021 globally and 2.078 locally, so localisation costs a constant and not an exponent. Restoring the dimensions of an energy density then returns exactly one factor of the node density, and the restored object diverges as one power of it, fitted at 1.011 against deliberately wrong assignments at 0.049 and 2.049. So what is left is one number: the physical spacing at which the idealised limit is truncated, with the projection going as its inverse fourth power. That is the same object a lattice spacing is, and it puts the construction in the ordinary position of a lattice one, the continuum limit doing the geometry and the finite spacing setting the magnitude, with no result that is a ratio, a shape or a count feeling it. Computation 167's finding that neither of the theory's two lengths is such a spacing stands, which is why this does not close the item. Two things are checked rather than assumed, because the correction could have cost them. The composite-systems bipartition rests on the realisation map being a surjective quotient and needs none of it, a preimage and its complement partitioning the domain of any map whatsoever, verified over two hundred random non-surjective maps. And the file corrects its own predecessor's premise sentence that the book defines the realisation map once: it defines two maps of incompatible type under one name, a surjective quotient onto a derived target in the realisation chapter and a non-surjective sampling of a given target in the Mosco chapter, with the assumption list of the latter saying outright that the target manifold is presumed smooth and finite-dimensional. No number in the predecessor moves.

An earlier computation left the Born condition waiting on a genericity constraint on the distinction graph that the theory does not supply, and named the failing property only informally, as a bounded active part. This one shows it is a graph invariant with a one line argument behind it. Take any set of properties that meets every distinction, a vertex cover. What it leaves behind carries no distinction at all, so every configuration drawn from inside the remainder has a tension exemplar of exactly zero, and under the book's own fair coin measure on configurations that is a tie whose mass is at least one over two to the power of the cover's size. So the largest tie is bounded below by that quantity, and the invariant governing the whole question is the cover number. It reproduces the earlier table exactly: the star and the two fixed cliques with isolated vertices attached have covers of one, three and five that do not move as the substrate grows, while the complete graph, the cycle and the random graph have covers that grow with it. Nothing else in that table does any work, so the informal diagnosis was right and this is the thing it was measuring. One line then removes the mechanism. Call the substrate reduced when the distinction relation alone tells its properties apart, meaning no property is distinguished from nothing and no two properties are distinguished from exactly the same things. Each property outside the cover has its whole distinction set inside the cover, so sending it to that set maps the remainder into the subsets of the cover, and reducedness makes the map injective. Hence the number of properties outside the cover is at most two to the power of the cover's size, so the cover grows at least logarithmically in the cardinality, and at the cardinality of a realised substrate the floor this mechanism can guarantee falls below ten to the minus eighty. The bound is tight rather than slack, which matters, because an argument that only barely moved the cover would be spending room it does not have: the extremal reduced graphs, built as a cover together with one independent property for each nonempty subset of it, sit within a factor of one point six of the bound at every size and their tie falls as the inverse of the cardinality. A control confirms the mechanism is the cover and not the size. Take one of those graphs and add properties whose distinction sets copy an existing one, which is exactly what reducedness forbids and which cannot move the cover. The cardinality triples and the tie stops falling and sits on the bound. This does not close the item, and the reason is stated rather than skirted. The chapter stating the substrate triple says in as many words that no further axioms are imposed on the distinction relation, and reducedness is a further axiom. The realisation chapter does invoke Leibniz's identity of indiscernibles, but it invokes it for the fibres of the realisation map, to justify defining a spacetime point as an equivalence class of properties, and it cannot be stretched to reach the distinction relation: the substrate is a triple whose third component is the direction assignment, so two properties indistinguishable by the relation can still be told apart by their directions, and the principle as the book states it leaves both of them in the domain. What changes is the shape of what is left. The residue is no longer an unnamed genericity assumption with the excluded class known only as a null set, but one line, with the excluded class described exactly: failure by this mechanism at a given tie mass requires that fraction of the properties, times the cardinality, to share a single distinction set, which at substrate cardinality is nearly all of them. So the question the register should carry is not whether the distinction relation is generic but whether the first postulate's set of primitive properties admits duplicates under it, which is a decision about the postulate's wording rather than a calculation. That question has since been settled the other way, and not by stipulation: the following computation derives it from the relation recording every difference the triple carries, which the book now carries as the first postulate's third clause. The reading below of what the book said at the time is kept as written, because it is the reason the question was asked. Nothing measured here moves, and the item still does not close: what the clause discharges is the graph half. A second mechanism is searched for and not found, over random graphs at three densities and by hill climbing the tie directly over reduced graphs, and the search is informative about what it reaches: a perfect matching, which is reduced, and whose law is exactly binomial with one trial per matched pair and probability one quarter. Its tie is therefore a binomial mode mass, matching the exhaustive enumeration to twelve digits and falling as the inverse square root of the cardinality, the same rate the earlier computation measured for the regular graphs. That is the slowest vanishing reduced family the search reaches, and it vanishes. Absence of a second mechanism is measured over the graphs searched, not established over all of them, and it is reported that way.

The preceding computation left the Born condition resting on reducedness, meaning that the distinction relation alone tells the properties of the domain apart, and declined to assume it for two stated reasons: the chapter defining the substrate triple says no further axioms are imposed on the relation, and the triple's third component, the direction assignment, can discern two properties the relation cannot. This computation shows reducedness need not be assumed. It follows from a single coherence condition, which can be called faithfulness: if two properties carry different directional content then the relation distinguishes them. In words, the relation records every difference the substrate carries. The chain is three steps and each is both proved and enumerated. First, two properties that are distinguished from each other can never share a distinction set, because irreflexivity puts each of them in the other's set and neither in its own; so the only candidates are pairs the relation says are not distinct. Checked over every graph on four, five and six properties, more than thirty thousand of them, with not one adjacent sharing pair found anywhere. Second, faithfulness contraposed says such a pair must carry the same directional content, since the relation does not distinguish them. Third, with the relation and the direction assignment both agreeing on the two, the transposition exchanging them is an automorphism of the entire triple and not merely of the relation, so the two are indiscernible in the whole structure and the realisation chapter's own appeal to Leibniz's principle applies, one level below where the book already applies it. Measured over four thousand random triples: every sharing pair with equal direction is a triple automorphism, and no sharing pair with differing direction is, so the principle reaches exactly the pairs faithfulness leaves behind and no others. The dependency that had to be checked before any of this could be recommended concerns the realisation map. A spacetime point is a fibre of that map, and at least three live passages need it to be non injective: the black hole entropy discussion's remark that its non injectivity is generic, the composite systems argument that takes a region's preimage as one side of a bipartition, and the reading of its non uniqueness as diffeomorphism invariance. If reducedness collapsed every fibre to a single property, all three would fall. It does not, and the reason is exact. The metric formula sets the distance between two realised points as a power of the difference between their pairwise tension and the null threshold, so two properties share a fibre precisely when their pairwise tension equals that threshold. The threshold is a positive real, and the positivity constraint makes the tension magnitude vanish exactly on pairs carrying no distinction, so a pair inside one fibre is distinguished. A fibre is therefore a clique, and by the first step a clique contains no sharing pair at all. Enumerated over every graph on five and six properties: substrates with no shared distinction set carry clique shaped autonomous sets of every size up to the full domain, and independent ones of size at most one, always. What reducedness removes is the opposite object, a pair whose tension magnitude is zero rather than the threshold, which therefore sits at two different spacetime points while carrying no fact whatever to tell the two apart. One clause is not delivered, and running the file rather than writing it is how that was found. The preceding computation defined reducedness with a second clause, that no property has an empty distinction set. Two properties distinguished from nothing share a distinction set and so collapse together, leaving at most one, but nothing here removes the last one. The first run reported three failures in fifteen hundred trials and every one of them was exactly that, a lone property distinguished from nothing, with no duplicate pairs at all. It costs nothing, because the preceding proof never used that clause: its bound rests on the map from a property to its distinction set being injective, and the empty set is a perfectly legal value for that map, one property may take it and no two may share it. So the earlier definition was stronger than the proof it carried, nothing in it moves, and the bound itself is now verified directly on every collapsed substrate instead of the stronger predicate being tested. A further part asks what the premise does to the relation itself, rather than adopting a condition without looking. Contraposed, it says that two properties carrying no distinction between them share their directional content. So the relation contains the complete multipartite graph on the partition of the domain by direction value, and the only freedom left lies inside one such block; where the direction assignment is injective, the relation is complete, which is admissible and whose largest tie was already measured vanishing as the cardinality to the minus one half. And the earlier computation's own counterexamples cease to exist under it: a star's leaves are pairwise non distinct, so the premise forces a single direction on all of them while they already share one distinction set, and the star collapses to two properties at every size, while a fixed clique with isolated vertices collapses to the clique plus one. What this does not do is make the condition free, and the file is explicit about that. A two property substrate with an empty relation and two different directions satisfies symmetry, irreflexivity and everything else the book states, and violates faithfulness. So faithfulness is a premise. The book adopts it as the first postulate's third clause and carries it in the premise register as a clause of that postulate rather than a fourth one, the count of postulates still being three. Nor does it close the Born item: what is discharged is the graph half, and what remains is a proof that every admissible relation satisfies the condition asymptotically, which the preceding computation measures over the graphs it searches and does not establish, so the coupled item stays open with it. What can be said for it is that it adds no structure: every disclaimer in the chapter stating the triple survives word for word, there being still no transitivity, no totality, no metric on the domain, no topology and no ordering, and what it adds is a consistency condition between two components of a structure the book already posits. Without it the relation is not the distinction relation the first postulate describes, but merely a relation on the domain with structure sitting beside it that it cannot see. What must be said against it is that the first postulate is sold on minimality, as the unique weakest condition with no further axioms imposed, and this is an amendment to that claim. The order of discovery is the honest defence and is recorded: the condition is motivated by what makes the relation the distinction relation at all, and its consequence for Born agreement was found afterwards, in this file, rather than before it. Two tamper tests confirm neither ingredient is decoration: without faithfulness, sharing pairs whose directions differ occur in quantity and the principle cannot touch them, and with faithfulness but without the principle, faithful triples still carry sharing pairs that something must identify. Scope (version 32.126): the coupled item closed with Born agreement on P3's typicality (computations 193 and 195); the structural list has been empty since version 32.132.

An earlier computation closed the route this book had named for the microcausality axiom and moved the target to the projected Dirac propagator, asking whether it carries the causal support property. That target is not an independent gap. It is a corollary of the other residual listed in the same register item, and the two should be counted once. The axiom asks that the spinor field and its conjugate anticommute at spacelike separation, and the object in that anticommutator is not a further thing to be established: it is the causal propagator, the difference of the retarded and advanced Green's operators. On a globally hyperbolic spacetime a normally hyperbolic operator has unique advanced and retarded Green's operators supported in the causal past and future; a Dirac type operator is first order, but its square is normally hyperbolic and it inherits them. So the causal propagator is supported in the closed causal cone, and quantising with the anticommutation relations on a Cauchy slice gives microcausality outright. That is a standard imported result, of the same kind as the Mosco and Connes results used elsewhere in this book. Three of that theorem's four hypotheses this book already supplies. The emergent spacetime is globally hyperbolic with compact Cauchy surfaces, which an earlier computation states outright while fixing the spin structure. Its Cauchy problem is well posed, the signature chapter deriving the signature from exactly that. And the projected field satisfies the projected Dirac equation. The fourth hypothesis is the one the register lists beside the axiom as a separate residual: the anticommutation relations have to be posed on a Cauchy slice, which the pre causal substrate does not hand over. So the item has one residue and it is the slice. The step the reduction leans on is measured rather than quoted, because a reduction that rests on a sentence should test the sentence. The book says the causal function vanishes outside the cone because of the mass shell. In one space and one time dimension that function has an exact closed form, so the mode integral can be checked against something other than itself: it reproduces the closed form to five decimal places inside the cone and sits at one part in a hundred million outside it. Then the dispersion is changed and nothing else. A superluminal propagation speed of two leaves about a tenth outside the unit cone, and a non relativistic dispersion leaves about three hundredths. The superluminal control is the informative one, because it has a cone, just the wrong one, so what the test measures is the opening angle rather than the mere presence of support. The spinor case needs no separate argument, since the spinor propagator is a first order differential operator applied to the scalar one and differentiating cannot enlarge a support; the derivatives are measured outside the cone as well, five orders of magnitude below their values inside. A method note is kept because the first attempt at that last check gave the wrong answer. Differentiating under the integral sign removes the damping factor and leaves a quadrature cancellation floor around one part in ten thousand which does not improve as the cutoff is raised by a factor of sixteen, while the function itself converges to one part in a hundred million over the same range. The derivatives are therefore taken as central differences of the converged function, which is also the honest reading of the claim being tested, that a function vanishing on an open set has vanishing derivatives there. Two things are named rather than used quietly. The Cauchy slice is not supplied here and remains the item's only residue, so this is a reduction of the target rather than progress on it. And the argument needs the limit spacetime to carry Lorentzian signature, which this book derives from strict hyperbolicity of the Goldstone wave equation and from the real K theory dimension, and not from the convergence theorem, whose statement delivers a Riemannian energy form and the Laplace Beltrami operator. A Dirichlet form limit is an elliptic object and an elliptic operator carries no cone; reading causal support out of that limit directly would repeat, one level up, exactly the confusion the earlier computation found in the substrate correlator.

The preceding computation reduced the microcausality register item to a single residue, the requirement that the anticommutation relations be posed on a Cauchy slice, and did not supply it. This one supplies the construction, and the construction is forced by a count the book had already made. A Cauchy slice is three dimensional inside a four dimensional spacetime, hence of measure zero, while the realised cloud of properties is a finite point set. So no property is realised on the slice at all: the preimage is empty at every size, measured here. Posing the relations slice wise therefore cannot mean restricting to the properties realised on the slice, because there are none, and that is why the construction did not supply it. The book's own diagnosis of an earlier error says what it does mean instead. That version summed over sites realised into the four dimensional spacetime rather than into a slice, producing a four dimensional delta function, and the book records that this is dimensionally wrong by one power of mass. The missing power is a thickness. Take a slab of properties whose realised time coordinate lies within half a thickness of the slice. Its density of sites per unit three volume is the four density times the thickness, which carries three powers of mass where the four density carries four, and three is exactly what the equal time anticommutator carries in four dimensions. Smearing each mode by the inverse square root of that density then lands on the integral over the slice, which is the distributional three dimensional delta the section asks for. Measured against the exact slice integral, with the old reading beside it low by precisely the thickness. The error then splits into two terms and each of the two conditions kills one of them. Letting the thickness go to zero kills a bias, measured as proportional to the square of the thickness and tracking its predicted coefficient to a constant of about one point two on every row where the bias clears the standard error of the mean over sixty clouds. Letting the slab density diverge kills a fluctuation, measured as the inverse square root of the slab population, which is the central limit rate and therefore the Berry Esseen rate the section says the convergence should match. Thinning the slab helps the first and hurts the second, so these are genuinely two conditions rather than one stated twice, and both hold on a wide window rather than at a knife edge. Balancing the two terms picks out a preferred thickness, the site spacing raised to the four fifths, with a total error of the spacing to the eight fifths. The optimal slab is therefore thicker than the site spacing and holds a diverging number of sites across its thickness as well as along the slice, so it is a slab in the time direction too and not a thickened single layer. The measured minimum of the error over thicknesses sits within a constant of order one of that scaling, and the fitted convergence exponent comes out at minus zero point three six against the predicted minus zero point four; both are reported as measured rather than tuned, the prediction being a scaling and not a constant. A resolution floor is stated rather than worked around. The bias is a shift of a mean, so it is only measurable while it exceeds the standard error of that mean, which it does on the thicker rows and does not on the thinnest two; those rows are marked as carrying no information about the bias rather than being quietly folded into a fit. Three tamper tests, and the informative one is the slab that never shrinks. It converges perfectly well, and to a well defined number, but the wrong one: the average over the slab instead of the value on the slice. So the measurement distinguishes a slice from a slab, which is the distinction the whole item is about, rather than merely detecting noise. What this does not do is cross the boundary every matched scaling result in this book sits behind. It is the independent and identically distributed surrogate, which is the standing of the equidistribution assumption's verification and of the rate condition's corroboration elsewhere. For the emergence determined realisation map the equidistribution this leans on is exactly that rate condition, which the third postulate's maximum entropy sublimation supplies rather than this file, and the construction needs that postulate's time function besides. So the item is not closed here. What has changed is its character: it was an absence, that the construction does not supply the slice, and it is now a construction resting on the same typicality condition the convergence chain already carries.

Every atom this book has measured in the Born obstruction was measured on one object, the induced count of distinctions inside a configuration, which the asymmetric tension chapter introduces as a minimal example for the magnitude structure and names explicitly as one representative among a family whose dimension grows exponentially in the cardinality. That exemplar is integer valued, and an integer valued functional on exponentially many subsets has ties forced upon it by counting alone: at fourteen properties it maps sixteen thousand configurations onto a few dozen values. The second postulate makes the theory's tension a vector in the seven dimensional direction algebra, so its magnitude is a real number, and the question of which measured ties belong to the theory and which to the exemplar therefore needs no new premise at all. It is the book's own freedom, used rather than left idle. The split turns out to be exact. Call a tie forced if every admissible tension has it. The positivity constraint says the magnitude vanishes precisely on configurations carrying no distinction, and that is not a choice but the definition of admissibility, so every admissible tension puts the value zero on exactly the independent sets of the distinction graph, with a tie whose mass is the measure of those sets whatever the tension is. No other tie is forced. Hence the largest tie is at least the measure of the independent sets, for every admissible tension, with equality for a generic one. That is measured rather than asserted. The representative used is the count with positive real weights on the distinctions, admissible by inspection and checked here against both the positivity and the monotonicity constraints on every family. Its largest tie equals the measure of the independent sets exactly, not approximately, in every family the earlier computation tabulated, and over twenty independent weightings of each. Two things follow. The first is a correction to the earlier computation's rate, though not to its verdict. That computation recorded the regular graphs as passing with their tie falling as the inverse square root of the cardinality, slower than the generic case but still vanishing. The exponent is an artefact of integrality: under a generic admissible tension the complete graph's tie is nine parts in ten thousand at fourteen properties and falling exponentially, not a fifth falling as a square root, because its independent sets are only the empty set and the singletons. Those families pass for a considerably better reason than was recorded, and the sentence in the body is corrected to say so. The second is an upgrade to the computation that bounded the obstruction by the vertex cover number. Its proof runs through the configurations contained in the complement of a cover, and those are exactly independent sets, so the chain from the largest tie through the measure of the independent sets down to two to the minus the cover size is independent of the tension at both steps. The bound therefore holds for every admissible tension and not merely for the exemplar it was measured on, which is strictly stronger than it claimed. It also explains, rather than merely repeating, why that computation's search for a second mechanism found nothing: under a generic tension there is none to find, the only tie being the forced one, so the cover bound is the whole of the obstruction rather than one mechanism among several. What this does not do is remove the first postulate's third clause. The tie that survives is precisely the one that reducedness kills, and the star graph holds one half under every admissible tension, matched here against its closed form. So the second postulate's freedom disposes of the artefacts and sharpens what is left; it does not dispose of what is left. A tamper test confirms the step the argument rests on: letting a third of the weights vanish breaks the positivity constraint, and the tie then departs from the measure of the independent sets, so the equality is a consequence of admissibility and not of merely using real numbers.

A question the research register had carried since July without anyone running it: whether two resources the theory owns, an area law for the stress projection or the finiteness of its internal structure, could constrain the static depth of the modal valley and with it the magnitude of the cosmological constant, which the book declines to derive. Three constraints were set on any attempt in advance, no fourth postulate, nothing that revives the refuted idea that the sub threshold substrate gravitates, and nothing imported from another programme's holographic bound. The answer is negative on both legs, and the point of running it is to say by how much. The first leg is moot before it starts: the second edition's comparison table says in so many words that the projection's kernel is supported on the bulk and no area law follows from it, so there is no derived area law to use. The computation then asks what an area law would do if one were written with the quantum of area set by a length the theory does own. Its entropy would miss the Bekenstein Hawking value by the square of the ratio of the Planck length to that length, some thirty two orders for the grain and fifty two for the coherence length, which is the book's phrase tens of orders turned into numbers. Worse, the only way an area law reaches an energy density is the argument that a region may hold no more vacuum energy than a black hole of its own size, and with the gravitational constant such a law would imply that bound falls to the same tiny fractions of the critical density, both of them violated by the observed dark energy at seven tenths of critical. So an area law in the theory's own lengths would not be a weak resource but a false statement, which is the right outcome for a theory that does not derive one. The bound that does land is general relativity's own, reached through the gravitational constant the theory obtains from its projected Einstein Hilbert term, and it says the dark energy is at most critical, satisfied at seven tenths and an inequality rather than a prediction; and since the valley depth enters only multiplied by the crossing rate, a bound on the product fixes neither factor, with the earlier computation's crossing rate reproduced here as a check. The finiteness fares no better: it fixes an ultraviolet scale, and the zero point density an effective theory cut off there would carry is fifty nine orders of magnitude above the observed value, which is the regulator dependent mechanism the book already records as inherited from the Standard Model rather than fixed. Nothing here touches the three structural results, the sign, the equation of state and the non dilution, and nothing needed a new postulate or an import. The backlog item closes on this file. Scope (version 32.144): the fifty-two orders for the coherence length are at the 2.3 nm Casimir bound of its day; at the derived 2.2 attometres (computation 201) the shortfall is thirty-four orders, and the negative answer stands.

Two earlier computations left the photoelectric effect half done: the kinematics followed from the energy ladder, and the interaction vertex's form was shown to be forced by gauge covariance, but the cross section and the rate, ordinary quantum electrodynamics once the form and the strength are in hand, were left as an application. This file does the application. In the non relativistic limit the forced vertex couples the vector potential to the electron's momentum, and Fermi's golden rule on a hydrogen like ground state with a plane wave final state gives the photoionisation cross section in closed form, the angular integral and the algebra done symbolically rather than by hand; at high energy it falls as the seven halves power of the ionisation energy over the photon energy, which is the Born law of the textbooks. A plane wave ignores the ion the electron leaves behind, so the exact result with Coulomb continuum waves is computed beside it: the two agree to three percent at a hundred times the threshold momentum and converge from there, so the vertex derived law is the high energy limit of the exact one, while near threshold the Coulomb wave supplies what the plane wave cannot, a cross section of six point three megabarns for hydrogen where the plane wave form vanishes. The alternative vertex, the axial one gauge covariance rejected, is then shown to give no photoeffect at this order at all: its non relativistic limit, computed from the explicit Dirac matrices, is the pure spin operator, which has no matrix element between orthogonal eigenstates of the atom, so the form the gauge symmetry forces is also the form the effect needs. The rate is the cross section times the photon flux. At one watt per square metre and twenty electronvolts it is seven in a hundred thousand per second per atom, a mean wait of four hours for any one atom, but the waiting time is exponentially distributed with no accumulation, so the ten to the fifteen atoms of a square centimetre of cathode emit their first electron within about fifteen picoseconds, inside the three nanosecond bound Lawrence and Beams set in nineteen twenty eight, where a classical field that must accumulate a work function through an atomic cross section needs about four minutes per atom. The one input taken as given is the fine structure constant, which the book says it does not fix; the law's form and its proportionality to that constant are the derived content, and the cross section inherits that scope and nothing else.

The crossing rule reproduces Born statistics only if the tension variable is uniform in its own quantile, which fails exactly where the law of the tension carries an atom, and an earlier computation showed that for a generic admissible tension the only atom is the forced one at zero, whose mass is the probability that a configuration contains no distinction at all. Another computation had shown that this forced atom is at least two to the minus the vertex cover number, that the faithfulness clause of the first postulate makes the distinction graph reduced, with no two properties sharing a distinction set, and had measured by searching that no reduced family keeps the atom finite. What the register carried as missing was the theorem: that the atom vanishes for every reduced distinction graph and not only for the graphs searched. This file proves it in two lemmas with an explicit rate. The first lemma says that any matching, a set of pairwise disjoint distinctions, bounds the atom by three quarters to the power of its size, because each distinction in the matching is realised with probability one quarter, the events are independent since the pairs are disjoint, and a distinction free configuration realises none of them. The second lemma says that reducedness forces a maximal matching to be large: the properties left outside it form an independent set, so each has its distinction set inside the matched properties, and since no two distinction sets coincide their number is at most four to the power of the matching size. Together the atom lies below a universal bound that falls like the number of properties to the power of about minus one fifth, which is ten to the minus seventeen at the size of a realised substrate, with no genericity assumption on the graph. Both lemmas are then checked exactly, with the atom enumerated over every configuration, on two hundred random graphs, on the extremal subset graph family up to five hundred and twenty properties through a closed form for its number of independent sets, exhaustively over every reduced graph on up to six properties, and by hill climbing over larger reduced graphs; the inequality of the second lemma fails on the star and on a clique with enough isolated properties, the non reduced families an earlier computation found failing, so the hypothesis is doing the work. A tamper adds false twins, which reducedness forbids, to a small subset graph: the matching freezes while the graph grows, the second lemma breaks, and the atom sits on two to the minus the cover number exactly as measured before. The bound is universal rather than sharp, the extremal family's atom falling as the inverse of the number of properties. What this closes is the distinction graph side of Born agreement, for every admissible tension functional; what remains is a condition on the law of the tension alone, that its contingent per configuration content does not tie, which is the same residual freedom the canonical form item of the structural front already carries, so two residues counted twice have become one, counted once.

An earlier computation built the construction the slice-wise anticommutation limit was missing: no site is realised on a measure-zero Cauchy slice, so the relations are posed on a slab of small thickness, and the slab sum converges to the slice integral when the thickness shrinks and the number of sites in the slab grows. It measured that on the independent, identically distributed surrogate the book uses elsewhere, where the second condition is the central limit theorem, and said that for the real emergence cloud the equidistribution it leaned on is the condition the Mosco chain already carries. This file removes the surrogate. For any set of points in the unit four-box, the difference between the slab estimator and the slice integral splits exactly into two parts: the slab's own bias, which depends on the thickness alone and not on the cloud, and the cloud's equidistribution defect tested on the smearing functions times the slab indicator. The Koksma Hlawka inequality bounds the second part by the cloud's star discrepancy divided by the thickness, so the slab limit holds for every sequence of clouds whose discrepancy vanishes faster than the thickness, with no independence and no probability anywhere, and the balanced thickness is the cube root of the discrepancy. The surrogate is the special case where the discrepancy falls as the inverse square root of the count, and what independence bought was a probabilistic improvement on a deterministic theorem that never needed it. The script checks this on two low discrepancy sequences, Halton and Kronecker, eight disjoint blocks of each, where the error falls below the surrogate's at every size and close to the predicted rate of minus two thirds; on a jittered grid, which is independent again below its cell scale and so tracks the surrogate, the lesson being that stratification at one scale is not equidistribution at every scale; on the discrepancy term alone, which falls as the inverse count on the sequences and as its square root on the surrogate; and with a smooth window in place of the sharp slab, which tests the cloud on a continuously differentiable function, the class in which the Mosco chain's rate condition is stated, with a bias equal to the window's second moment to a fifth of a percent. Two tampers say what the hypothesis is and is not. A cloud with the right count but a spatial void refilled elsewhere converges to the wrong slice value, with a defect that does not shrink as the count grows and equals the analytic void bias, so the count is not the condition. A cloud equidistributed in space but with a modulated time density returns the time marginal's density at the slice, so the time function in which the slab is cut must be the one in which the cloud is four volume equidistributed. What the item rests on is therefore two things and nothing of its own: the rate the third postulate's maximum entropy sublimation supplies for the emergence cloud, the same condition equicoercivity already rests on, and that time function, which the book has not constructed.

The previous computation left the slab wise anticommutation limit resting on two things: the equidistribution rate the third postulate supplies for the emergence cloud, and the time function in which the slab is cut, which the book had not constructed. This file constructs it from what the book already has. The third postulate fixes the sublimation direction globally; the time orientation passage maps it to a timelike field along the real factor of spacetime; the cosmological principle makes the large scale geometry homogeneous and isotropic, so of Friedmann Robertson Walker form; and the equidistribution condition places the cloud against the four volume form, which carries the cube of the scale factor. Four parts follow. First, the foliation is forced: a timelike field is tangent to a family of hypersurfaces exactly when the Frobenius condition holds, which is when its twist vanishes, and the twist is a spatial vector, which isotropy forbids unless it is zero. Checked symbolically on the Friedmann metric for an arbitrary scale factor, and shown to discriminate: a rotating field of the Goedel kind, which breaks isotropy, has a nonzero twist and admits no foliation, hence no slab. Second, the level sets are compact Cauchy surfaces: the time coordinate is strictly monotone along every future directed causal curve, checked on two hundred null geodesics on the de Sitter like solution and on a matter plus instantiation solution, each crossing each of six level sets exactly once. Third, the normalisation is the proper three volume. Because the cloud is equidistributed against the four volume, its time marginal is proportional to the cube of the scale factor and not uniform, so the uniform normalisation of the previous computation would return the wrong value by that factor, between one fifth and more than two across the range tested, while the covariant normalisation by the proper three volume of the slice lands on the slice integral at every slice to a tenth of a percent. This is the previous computation's time tamper read the right way round: the modulation is the scale factor and the metric absorbs it. Fourth, the one choice left, how the leaves are labelled, carries no content: relabelling the time by a monotone function moves the uniform estimator by the derivative and the covariant one not at all. A first draft used a relabelling that was not monotone, and the check caught it. The conclusion is that the time function is cosmic time along the sublimation direction, forced by isotropy up to a relabelling that changes nothing, and that with the two earlier computations the slab wise anticommutation limit, and microcausality with it, is a theorem given the four Mosco conditions with the equidistribution rate supplied by the third postulate: the same standing as equicoercivity, which the register already counts closed, so the item leaves the structural front on those terms.

After the Born theorem the structural front carried two conditions that are not derivations: that the contingent content of the tension functional does not tie, so that the law of its magnitude carries no atom but the forced one, and that the elementary directions do not cancel. This file shows that the two have the same form and are two faces of one premise. The contingent content of an admissible tension functional is a magnitude, any order preserving function on the configuration lattice that vanishes exactly on the distinction free configurations, and a direction inherited from the elementary directions on the six sphere. The magnitude face asks that the magnitude avoid the tie set, a finite union of hyperplanes of codimension one; off it the only atom is the forced one, checked exactly on two hundred generic draws on three graphs, while the integer exemplar ties by pigeonhole with at most one more value than it has edges. The direction face asks that the directions avoid the balance set, closed of codimension seven, measured as the seventh power law of the probability that the sum falls within a small radius of zero, while the all parallel law balances with the binomial probability and never at odd size. The two faces are independent: a generic magnitude with balanced directions and the integer exemplar with generic directions each fail exactly one of them. Each is an open dense condition, null under any law with continuous conditionals and of positive mass under discrete content, and the theory fixes a law on neither. The distance to degeneracy, the smaller of the smallest gap between magnitudes and the norm of the summed directions, is the one number whose positivity is the condition. Nothing is derived and the count does not shrink; what changes is that the register carries one condition with two faces instead of two conditions, the magnitude face being the residual of the canonical form item, and one argument, that maximum entropy sublimation instantiates non degenerate content, would close both.

The orbital angular momentum treatment was carried as open because the quantisation in units of Planck's constant was not established: the topology fixes the integer winding number and not the unit. This file proves what the unit is. First, the z component of the angular momentum of the Goldstone phase is the integral of the azimuthal derivative of the phase times the canonical momentum density, and for every axisymmetric configuration with winding n that derivative is n identically, so the angular momentum is n times the Noether charge of the phase, as an identity and with no far field assumption, checked symbolically. Second, that charge has the dimension of an action, and its spectrum is discrete only under a rule that makes it so: the canonical commutator, under which the charge is an integer multiple of Planck's constant, or the Bohr Sommerfeld condition on the cycle of the phase, under which it is an integer multiple of Planck's constant times two pi; in each the unit is the input, and classically the charge is a continuous number. Third, the parameters of the Goldstone sector, the stiffness, the coherence length and the speed of light, admit exactly one combination with the dimension of action, the stiffness times the square of the coherence length over the speed of light, so a derived unit would fix the stiffness absolutely from the coherence length, and the absolute stiffness is exactly what the normalisation of the third postulate's gradient term sets, through the closed form for Newton's constant: the open normalisation item in another variable. As an illustration and not a prediction, that would put the elementary mass scale at a few kilo electronvolts divided by an undetermined number of order one at the Casimir bound. Fourth, on a regulated rotating vortex the identity holds at every outer radius while both sides grow as the cube of the radius and the energy logarithmically, which is the global vortex and a property of the class, and the second homotopy group of the circle being trivial keeps the localised lump a mass scale and not a vortex. The item has nothing of its own: the tensor is derived, the integer is topological, the identity is exact, the far field and the spherical defect are settled, and the unit is the normalisation item's residual, so it leaves the structural front into that item on the backlog's own closing clause.

The previous computation left the structural front with one condition, the non-degeneracy of the tension functional's contingent content, and named the argument that would close it: that the third postulate's maximum entropy sublimation instantiates non degenerate content. This file supplies that argument and says exactly what it needs. The argument is a theorem of probability. Relative to the invariant reference measure, the uniform product on the six sphere for the directions and Lebesgue measure on the admissible cone for the magnitudes, the relative entropy of any law is non negative with equality only at the reference measure, and the maximum entropy law under any moment constraints is an exponential family with a density. So the maximum entropy law on the content is absolutely continuous, and every closed nowhere dense set is null under it, the tie set and the balance set among them: both faces of the condition hold almost surely. The all parallel law that keeps non balance open is on the other side of the same principle, supported on a seven dimensional subset of a space of six times the number of properties dimensions, so its relative entropy is infinite and it is the farthest law from maximum entropy the symmetry package admits. Four checks. A von Mises Fisher family inside the package interpolates between the uniform product and the all parallel law; its entropy, exact from Bessel functions, decreases strictly with the concentration, exact balance has probability zero at every finite concentration and the binomial mass only at the singular end. Exponential increments on the magnitude cone, the maximum entropy increments under a mean constraint, carry only the forced atom, while a lattice of increments ties, the one level lattice being the integer exemplar. On the fourteen octonion units the maximum entropy law is uniform on a finite set and balances with probability one in fourteen at two properties, so the continuum of directions the first postulate supplies is what makes the exceptional set null. And both faces hold on every one of five hundred joint maximum entropy draws. What the argument needs is one thing: the third postulate's typicality clause, which as stated selects the realised configuration consistent with the tension data, would have to reach the content of the tension functional that is its input. That is a reading of the postulate and not a new postulate; under it the condition would have the same standing as the equidistribution condition, and the register carries it as what that reading would discharge.

The first structural item carried the physical spacing at which the first matched scaling condition's limit is truncated as one number the theory owes. This file shows it is not a constant of the theory. On the Friedmann geometry with the spatial curvature kept symbolic, the covariant divergence of a homogeneous isotropic traceless tensor is the time derivative of the density plus four times the Hubble rate times the density, exactly, so the density falls as the fourth inverse power of the scale factor; a tensor whose magnitude is set by a fixed physical length is the constant density case, and its divergence is four times the Hubble rate times the density, which is not zero in an expanding geometry. The truncation spacing is therefore comoving, by the conservation law alone, and the fourth power is the tracelessness, dust giving the third. Under the identification of the projection with the conformal part of the field stress tensor, the traceless homogeneous component is the radiation and nothing else, since a perfect fluid is traceless only at the radiation equation of state, so the time time component of the projection is the radiation energy density and the spacing is the fourth root of the reduced Planck constant times the speed of light over that density: 0.82 millimetres today, which is 0.97 times the thermal wavelength of the microwave background, scaling as the scale factor. It passes through the coherence length at 83 electronvolts and through the grain near the cutoff scale, which is the earlier negative result restated as a function of time. The magnitude of the projection is supplied by the state, as the magnitude of the stress tensor is in general relativity, and the item is narrowed to its first gap, the identification on the semidefinite traceless cone. The density is read and not computed, so the vacuum energy conclusion is untouched. Scope (version 32.144): 83 electronvolts is ħc over the 2.3 nm Casimir bound of its day; at the derived coherence length of 2.2 attometres (computation 201) the spacing passes through the coherence length near 40 GeV, the electroweak epoch, as computation 201 records.

Computation 194 showed that a derived unit of angular momentum would fix the absolute Goldstone stiffness, and illustrated with a mass of a few kiloelectronvolts divided by an unknown coefficient of order one. The book does not leave the stiffness free: three places identify the vacuum amplitude with the electroweak vacuum of 246 gigaelectronvolts. With that identification the unit relation is a value for the coefficient, and this file computes it: 1.2 times ten to the minus nineteen at the Casimir bound of 2.3 nanometres, of order one only at a coherence length of 0.80 attometres, nine orders of magnitude below the bound. The elementary mass scale of the book, linear in the coherence length, is 29 billion teraelectronvolts (2.9 × 10¹³ GeV) at the bound and 10 teraelectronvolts at the order one point, so the earlier illustration was printed with the stiffness left free and is corrected, its arithmetic unchanged. The dependency graph of the composite the item asks for is then drawn: the vacuum amplitude, the Higgs mass and Newton's constant are measured, the potential's two coefficients follow from the Higgs mass, the gradient coupling follows from the coherence length through the closed form for Newton's constant, and the composite, the coupling, the unit coefficient and the mass scale all hang on the coherence length and on nothing else. A tamper check leaves the stiffness free and shows the coefficient is then unconstrained, which is the reading the earlier file took. The item stays open as an assumption, and what closes it is a prediction of the coherence length. Scope (version 32.144): computation 201 supplies that prediction, d₀ = √2 ħc/m_h = 2.2 attometres, from the normalisation premise itself, and the item closed on it.

The second structural item said stability of the interacting vacuum was settled at leading loop order only. Below the cutoff the theory is the Standard Model with no tower and no threshold, and above it there are no modes, so stability beyond one loop is a question about the renormalisation group improved effective potential on the field range the theory contains, and that potential is stable there if and only if the running quartic stays positive up to the cutoff. This file reproduces computation 123's two loop running and completes it with the two loop beta function of the quartic itself, which that file had anchored to the literature rather than coded. Validation: the one loop and gauge plus Yukawa values match computation 123 to five decimals, the added terms move the quartic at the cutoff by six parts in a hundred thousand to within the quoted error of the literature value, and the scale at which the quartic crosses zero lands at ten to the 9.7 gigaelectronvolts, inside the known window. On the range from the top mass to the cutoff the quartic decreases monotonically from 0.126 to 0.092 with its minimum at the cutoff, so the potential is positive at every field value the regulated theory contains; the instability scale is six and a half decades above the cutoff, the top mass would have to reach 224 gigaelectronvolts to bring it below, and across the three sigma box of the top mass, the strong coupling and the Higgs mass the quartic at the cutoff stays between 0.088 and 0.096. The mass parameter's running is multiplicative, so the sign driving symmetry breaking is the same at every scale. A tamper check removes the top Yukawa's quartic term and the instability disappears altogether, locating it where it is known to be. Stability beyond leading loop order is established in the renormalisation group improved sense; what the item still carries is the construction of the interacting vacuum at all orders. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

Computation 164 found the one obstruction to the conformal identification: every term of the pair sum is a single signed weight times a dyad of the pair separation, so the sum is semidefinite, while a static magnetic or electric field is traceless and indefinite, with tension along the field lines and pressure across them. This file removes the obstruction by taking the definition seriously. The identification is a statement about conformal parts, and the book defines the conformal part of a tensor as the tensor minus a quarter of its trace times the metric; applied to the pair sum term by term, each dyad becomes the dyad minus a quarter of the pair's own interval times the metric, which is traceless identically and indefinite: a spacelike bond carries pressure along itself and tension across itself. Two families of bonds in the plane transverse to a direction sum to exactly the magnetic stress tensor with the field along that direction, and the electric tensor is the same construction in the other transverse plane; both are reached to machine precision from explicit clouds on concentric regular polygons. The theorem: the closed cone the traceless dyads span is exactly the metric traceless tensors that obey the null energy condition. Inclusion is one line, since a null vector kills the metric term and leaves a square. Equality is a duality argument: the dual cone is the positive semidefinite traceless matrices, a spectrahedron with two equations whose extreme points are rank one by Pataki's bound and therefore null dyads, with the rank two case done by hand on the two null directions of its plane; linear programmes against sampled generators confirm it, tensors obeying the condition decomposing with zero residual and violators keeping a residual above half their violation. Every classical field obeys the condition, so every conformal part a field of the book produces is reachable, and what is excluded is exactly a null energy violation. On balanced clouds the conformal part is the pair sum itself, the trace being computation 158's balance scalar, so the radiation results are untouched; out of balance the sum carries a trace the identification does not use. A tamper check with a weight that changes sign across the light cone reaches null energy violations, so the forced weight is what confines the pair sum to physical matter. With computation 196 having shown the magnitude is the state's, the conformal identification has no gap left and leaves the structural front as an identification.

The remaining item on the interacting vacuum asked for a construction rather than an expansion: a Hilbert space and a Hamiltonian bounded below at all orders. The theory never removes its cutoff, so the construction asked for is the construction of a cutoff theory, and for the scalar sector that is three classical theorems. In finite volume there are finitely many modes and the Hamiltonian is a Schroedinger operator with a quartic potential bounded below: essentially self adjoint with compact resolvent, hence a discrete spectrum, and with a positivity improving semigroup, hence a unique strictly positive ground state. On the Euclidean side the lattice theory at the grain has ferromagnetic couplings and an even single site weight, so with Dirichlet data Griffiths' second inequality makes every correlation non decreasing in the volume while the quartic bounds it, and the infinite volume measure exists in any dimension, the dimension entering only the continuum limit the theory does not take. The nearest neighbour action is reflection positive, so the transfer matrix is a positive operator and its logarithm is a Hamiltonian bounded below whose ground state is the Euclidean vacuum. Each theorem is checked where it can be: one and two site Hamiltonians by finite differences with nodeless even ground states and a double well gap closing as the well deepens and as a site is added; a one site transfer matrix positive to round off whose gap converges to the Hamiltonian's as the time step halves; four dimensional lattice Metropolis with Dirichlet data at the book's own couplings in units of the grain, the central nearest neighbour correlation rising with the box and the field variance bounded; and two tampers, an antiferromagnet that leaves the inequality and a negative quartic whose lowest eigenvalue runs off as the grid widens, so a positive quartic, computation 198's result, is what the construction needs. What this does not close is said plainly: the gauge and fermion sector below the cutoff is the Standard Model with a regulator, whose infinite volume limit at weak coupling and whose chiral fermions on a regulator are the Standard Model's own open problems, inherited with it rather than introduced. The item leaves the structural front as inherited, the way colour generation did.

The last structural item was the normalisation of the third postulate's gradient term, an assumption whose only remaining dependence was the coherence length. The book defines that length in the Casimir chapter as the Landau Ginzburg coherence length, the square root of the gradient coefficient over twice the magnitude of the quadratic coefficient, with the quadratic coefficient fixed at a quarter of the Higgs mass squared by the Higgs identification. The one quantity in that formula the postulates do not fix is the gradient coefficient, which is the open item itself. So the item and the coherence length are one unknown. Under the canonical reading the book already adopts, the one every number downstream of the modal scale rests on, the coherence length is root two times the reduced Compton wavelength of the Higgs, about two attometres, fourteen grains, with the frame conventions carried symbolically and changing only an order one factor. The consequences follow: the dependency graph of computation 197 has no free node, the derived unit coefficient of angular momentum is the Standard Model quartic's value, the elementary mass scale is 28 teraelectronvolts, and the Casimir correction is ten to the minus nineteen of the force at twenty nanometres, exact in form and far below present reach. A nanometre coherence length would need a gradient coefficient of ten to the eighteenth, which would move the modal scale by nine orders of magnitude against the one sigma Higgs match, and even a factor 1.65 is excluded at 121 sigma. The near threshold argument that placed the coherence length in the nanometre range treated the quadratic coefficient as free when the Higgs mass pins it; the tamper shows it was assuming a radial mode of a tenth of a microelectronvolt in place of the Higgs. The agreement at 0.4 sigma is not spent to fix anything: canonical normalisation is the standing premise, the agreement stays its check, and the coherence length follows from the premise. Forward reference: the Standard Model side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, 0.0930 plus or minus 0.0008 on the 2026 Review, 1.4 sigma from the substrate prediction, which is what the book states from version 32.153 (version 32.137 printed 1.6 sigma on the 2024 Review).

The book's stated test of the bridge premise was a running Standard Model quartic of 0.0927 at the modal scale, anchored to a literature value rather than computed, against the substrate's parameter free prediction of 0.09197, a one sigma agreement. This computation codes the number itself: the full three loop Standard Model beta functions and the next to next to leading order matching conditions at the top mass, both from Buttazzo and collaborators, validated by reproducing their Planck scale couplings to four decimals. Three findings. The third loop moves the value at the modal scale by less than one part in ten thousand, a tenth of the error, so the running was converged at two loops all along. The anchor is not reproducible: the literature's own formulas on the literature's own 2013 inputs give 0.0924, not 0.0927, and that agreement was 0.4 sigma. And the current inputs widen the gap: the top mass has fallen since 2013, a lighter top raises the quartic at the modal scale, and the Particle Data Group 2024 inputs give 0.0932 with an error of 0.0008 once the half gigaelectronvolt ambiguity between the measured and the pole top mass is counted, which is 1.6 sigma and 1.4 percent on either definition of the top mass. Exact agreement would need a top mass of 173.7 gigaelectronvolts, four sigma above the direct measurement. Re-solving the same equation for the kinetic coefficient gives the same 1.6 sigma, with the rival normalisation still excluded by 148 sigma. Tampers show the precision lives in the matching, not the running, and identify the error set that produced the old budget. On the 2026 Review (top mass 172.60, Higgs mass 125.13, part 8) the Higgs mass's 0.07 gigaelectronvolts does most of the work: 0.0930 with the same error, 1.4 sigma and 1.2 percent, exact agreement at a top mass of 173.6 gigaelectronvolts. The book printed 1.6 sigma from this version and prints 1.4 sigma from version 32.153, on the cover too. Part 9 (version 32.164) runs the prediction back down: e⁻¹/4 at M_* gives λ(m_t) = 0.1251 against the matched 0.1260, so v follows from m_h alone at 247.1 GeV, 0.4% above the observed 246.22; the book's earlier 0.01% applied the tree-level relation to the running coupling at μ = v, which gives 256 GeV even for the data, and is withdrawn.

Computation 157 took the Dirac operator out of the convergence bound and left as the remaining work a closed form for the discrete maximum over the lattice coordinate at general monomial degree, the place where the sawtooth comes from. This computation supplies it. Along a fixed total degree the commutator weight obeys an exact ratio test, a rational function of the lattice point, which is at least one exactly up to a threshold, and both shift weights grow with the degree, so the maxima sit on the top admissible degree at closed-form points: the diagonal for the operator itself and a floor expression for the commutator, whose ceiling is the sawtooth. Verified in exact rational arithmetic against every lattice point for degrees up to eight. The finite truncation ratio of a single monomial is therefore an explicit ratio of factorials for every degree, generalising the degree one result; its limit is the closed form of Lemma 5, and its deficit times the truncation size tends to one at degree one and to zero at every higher degree, the leading term cancelling between the two norms. The two-monomial bridge does not cancel: its constant is near 0.8 at weights 2, 4 and 6 measured to truncation 480, with the extremal chains identified, and a semiclassical correction to the chain symbol does not reproduce it. What is proved instead is the sharp value: each chain norm is the top eigenvalue of a nonnegative tridiagonal matrix, so Collatz Wielandt bounds with a rational test vector enclose it exactly, and over weights up to twenty at the ten smallest admissible truncations every value of the gap times the truncation is certified below 3.6736, the enclosure at the maximiser narrower than one part in ten million. What remains is an analytic bound uniform in the truncation for the two-monomial bridge. Settled by computations 213 and 214: the bridge's deficit is a limit in closed form, and the sharp value is derived at its corner.

Computation 203 observed, to large truncation, that the single-monomial deficit times the truncation size tends to one at degree one and to zero at every higher degree, and the book printed that the leading term cancels. This computation derives it. Both shifts move the degree by the same amount, so the degree-dependent part of the weights cancels in the ratio and what is left is a finite product of explicit factors at explicit lattice points; its expansion in the inverse truncation is a finite Taylor expansion with nothing asymptotic in it. Writing the lattice maximiser as the continuum point plus an offset that depends only on the degree modulo twice the monomial degree, the offset terms cancel at first order, the first-order sums above and below the line are equal, and the second-order coefficient is an explicit quadratic in the offset times a rational function of the monomial degree. Verified symbolically with the offset kept as a symbol for degrees two to twelve, the general first-order identity checked as a closed sum, and the second-order coefficient confirmed in exact rational arithmetic at every residue, the residual falling with the truncation. The coefficient changes sign along the sawtooth: negative when the lattice point sits on the continuum maximiser, large and positive at the ends of the offset's range. The mechanism is first-order stationarity at an interior maximum: a bounded displacement of the maximiser leaves the leading term zero, a displacement proportional to the truncation moves the limit itself, and at degree one the maximiser is a corner, where there is no stationarity and the leading term survives with coefficient one. The book's sentence is a theorem.

The book said in bold that whether the modal scale of 1.285 teraelectronvolts survives the data once the theory's own coupling structure is computed had not been performed. This computation performs it under the three readings the book's own sentences admit of what the modal scale does to the fields below it. Read literally, as a momentum cutoff above which no field mode exists, it predicts no events with any parton momentum above 1.285 teraelectronvolts; ATLAS measures dijet masses to seven times that and holds 25 dilepton events above 2 teraelectronvolts where the Standard Model expects 22, so that reading is excluded at a probability of zero to every decimal. Read as the projection's Gaussian kernel on every vertex, it multiplies the Drell Yan yield above 2.2 teraelectronvolts by a twentieth, against 19 observed dielectron events, and its linearised form is a contact interaction with an equivalent scale of 13 to 16 teraelectronvolts against published limits of 32 to 36, short by a factor five in the inverse square; the data would need such a kernel at 2.7 times the modal scale. Read as the kernel on the Higgs doublet alone, the field that is the projected condensate, which is what the modal scale section states, everything measured is consistent: the coupling modifiers shift by half a percent against measurements at three and five percent, Higgs production at large transverse momentum is suppressed by 12, 23 and 45 percent at 450, 650 and 1000 gigaelectronvolts against measurements with uncertainties of order the value, Higgs pairs by 27 percent against a limit of 2.4 times the Standard Model, and because the whole doublet carries the kernel the cancellation that keeps longitudinal vector boson scattering bounded is preserved, where a kernel on the physical Higgs alone would break it at 1.5 teraelectronvolts. The surviving reading predicts a deficit in the Higgs transverse momentum spectrum growing with momentum, 23 percent above 650 gigaelectronvolts, within reach of the high luminosity run. Computation 10's survey used the pre correction modal scale and the Wilsonian reading now excluded; it carries a scope note. Scope (version 32.153): the first measurement in the bin the third reading names, ATLAS's boosted Higgs to tau pairs on Run 2 plus partial Run 3 (reference 234), gives above 650 gigaelectronvolts a Run 2 deficit and a combined upper limit of 4.5 times the Standard Model at 95 percent confidence, a limit and not the 15 percent measurement that would exclude the reading; the exposure stands untested.

Computations 157 and 203 reported the bridge's deficit times the truncation size in bands near 0.8 at truncations of a few hundred, and the book printed it as a constant. Before an analytic route to that number is attempted, this computation asks whether it is a limit at all, extending the measurement by a factor thirty-two with the chain reduction vectorised, every chain scanned up to 3840 and a refined window around the extrapolated extremal chain above that. It is not a limit in this range: the deficit times the truncation rises monotonically through 15360, from 0.85 to 1.02 at weight two and from 0.81 to 1.05 at weight six, with increments per doubling that shrink only slowly, and run offline to 61440 it reaches 1.07 and 1.16. The data do not decide between a limit approached logarithmically and a term of order the logarithm over the truncation with no limit. The commutator's extremal chain keeps moving, and the symbol's own deficit moves the other way, falling while the exact value rises, so the symbol route to a closed form is closed. Every value computed lies below the certified sharp value, so the uniform bound holds on every point; whether it holds in the limit for fixed weight, which a logarithm would eventually break, is what the file leaves open, and the closure rate of Lemma 7 is established up to a possible logarithm. Settled by computation 213: the value is a limit, approached from below as the inverse cube root of the truncation, and the limit is in closed form.

Version 32.144 withdrew the book's claim of agreement with causal dynamical triangulations on the scale dependence of dimension and said the spectral dimension of the projected geometry had not been computed. This computation computes it exactly in the finite models the convergence chapter already uses: the configuration-space walk of the Boolean Dirichlet form, one bit flip per unit of Mosco time, pushed to spacetime by the displacement covariance, whose return probability at a given resolution is an exact Binomial mixture of chi-square tails. The Mosco plateau at four is there, on a window of diffusion time whose top end grows in proportion to the substrate size. At the resolution at which the realisation map distinguishes points, the coherence length, the curve never exceeds 4.5, an overshoot smaller than the cubic lattice's own, and falls to zero below it like any discrete structure. At the grain, fourteen times finer, it rises through four to about 23 at a few coherence lengths before settling; the height is logarithmic in the resolution and unbounded for exact return, where the bare hypercube's linear curve is recovered. The mechanism is the one identified on causal sets: a first step in any of the substrate's directions makes the return probability fall exponentially until the diffusion has spread past the resolution, and the fixed-valency lattice control shows a bounded, resolution-independent overshoot instead. Reduction to two, the triangulation result, appears in neither model.

Bombelli, Henson and Sorkin prove that a Poisson sprinkling of Minkowski space selects no frame and carries no finite-valency Lorentz-invariant graph, and the backlog asked whether the theory's discreteness passes that theorem. The theorem's hypothesis is a Poisson process with the invariant volume as intensity. The realised cloud has the invariant volume as its density by the equidistribution assumptions, and the volume form is unchanged by the Wick rotation, so the Riemannian and Lorentzian processes are the same. What weak equidistribution does not fix is independence, and this computation shows the gap on the i.i.d. surrogate in a two-dimensional causal diamond against a lattice of the same size: both pass the equidistribution test at the same rate, the index of dispersion of cell counts separates them (0.98 against zero), the cloud's counts in boosted blocks of equal volume keep their mean and dispersion while the lattice's dispersion moves with the boost, the cloud's causal links fill rapidity flatly on a range that widens with size and their number grows like the logarithm of the size, and a jittered lattice passes equidistribution and still fails. So the theory's discreteness is a sprinkling, and Lorentz invariant in the theorem's sense, exactly when the realised positions are independent: true by construction for the surrogate, and for the emergence-determined cloud one more thing the typicality principle must deliver beyond the density.

Computation 208 reduced the Lorentz invariance of the theory's discreteness to one condition, that the realised positions be independent, and the natural test is the one explicit placement the book has: classical scaling of the signed-tension metric on typical distinction data, directions drawn uniformly on the six-sphere with the pairwise tension the length of their sum and the null cut a low quantile. This computation builds that placement and finds it carries no geometry in which independence could be measured. The Gram form of the metric is, at leading order, a negative multiple of the direction Gram matrix: seven negative eigenvalues growing in proportion to the number of sites and matching that multiple, with the Euclidean side a noise floor growing like the square root. A dispersion test read on the positive-side coordinates cannot tell an i.i.d. design from one evened on the sphere until its nearest-neighbour spread falls by a factor six, while with the sign of the metric flipped the seven eigenvalues turn positive, the positions become functions of each site's own direction, and the same test separates the designs cleanly. A cut above the bulk of the tensions reverses the signal, so the sign is set by which side of the cut the bulk sits on, and the book's reading puts it on the negative side. This is the quantitative form of the book's own remark that the Gram construction cannot supply the signature: it supplies seven negative directions rather than one. The condition stays with the typicality principle, with the explicit placement ruled out as its instrument.

Computation 207 computed the spectral dimension of the projected geometry on the surrogate. This computation computes it on the finite model the book uses for the convergence itself, the bridge of computation 9: Walsh weight mapped to spherical-harmonic degree on the three-sphere, the binomial multiplicity absorbed into the measure so that each degree carries the sphere's own multiplicity, and the ladder truncated where the mode counts match. The heat trace is an exact sum. Between the truncation scale and the compact scale the spectral dimension sits within 0.15 of three, the lower end of the plateau falling with the truncation as the substrate grows, and its maximum is three to within a few hundredths at every size; below the truncation it falls to zero, reduction with no rise and no two. Keeping the binomial multiplicity instead of reweighting it restores the rise found on the surrogate, growing with the substrate size, so that rise is carried by the Walsh modes the bridge absorbs into the measure. Without the truncation the curve is the exact three-sphere one. On the book's own model, then, the projected geometry's spectral dimension is the convergence value above the coherence length and reduction below it, and the rise between the grain and the coherence length is seen by a probe of the substrate's walk and not by one of the emergent geometry.

Computation 208 named the independence of the realised positions as one more thing the third postulate's typicality must deliver, and computation 209 showed the explicit placement cannot test it. This computation tests the clause itself, read as a law on the realised cloud. The theorem first: among laws of N labelled positions with the same one-point marginals, the product law has the largest entropy, with equality only for independent positions, so maximum entropy given the density is independence; verified exactly on eight cells and sixteen points over a family that interpolates between clustered and lattice-like laws, the entropy peaks exactly at the independent law and the dispersion there is the binomial value. Then the measurement: the maximum-entropy law under the rate condition is the product law conditioned on the constraint set, sampled in the one-plus-one diamond with the eight lowest Fourier modes held to a margin half and a tenth of the independent scale, thirty clouds each. The index of dispersion is one to within a hundredth at every cell size up to a twentieth of the diamond, between 0.92 and 1.02 in boosted small cells at every rapidity, and falls only toward the constraint's half-wavelength. The constraint makes the cloud hyperuniform at the Mosco scale and leaves it Poisson at the grain, and the causal links carry the sprinkling's signature. Tamper: a jittered lattice passes the same constraint with a dispersion of 0.35 at the grain and boost-dependent counts, so the rate alone gives neither independence nor the absence of a frame. Backlog item B.7 closes on the third postulate's footing.

Two open remarks shared a cause: the book left unsaid what the fibres of the realisation map are, and the device accident rates of computation 156 were computed against a uniform null because the theory fixed no measure over configurations. Since computations 141 and 211 it does: directions independent under the unique G2-invariant law. A fibre is a clique of pairwise-null properties, and any G2-invariant pair tension depends on the angle alone, so a fibre is a set of unit vectors in the seven-dimensional direction space with one pairwise inner product; its Gram matrix has full rank and cannot embed beyond seven vectors, so a point carries at most seven properties, fewer when the null angle is obtuse (two at the five-percent quantile of the pair tensions, seven at the median), and in eight dimensions eight, so the seven is the dimension of the direction space. Under a continuous law an exact null coincidence has probability zero, so fibres are singletons almost surely and the matched-scaling condition reads the site count as the point count. On the same measure computation 156's device criterion finds every nearest-neighbour pair, a triple in at most a few percent of replicas, and nothing of four or more, where the uniform null gave 0.97, 0.29 and 0.04 at sizes three to five; a planted device of four is found in 48 of 50 replicas. Backlog item B.6 closes; what stays is why the configuration has clusters at all, which is configuration content, and the bound state's dynamics, which is inherited.

Computation 206 followed the bridge's deficit times the truncation to 15360 and saw no plateau, and the backlog named an Airy-type edge analysis as the one untried route while warning there might be no constant to derive. This computation finds the constant and why it was invisible. The deficit times the truncation is the sum of three terms, an identity holding to 3e−4 at every point computed: the weights' 1/N term, the commutator chain's zero point below its symbol, and the bridge chain's zero point below its symbol. Each has its own law. The weights' term converges to a closed form from the 1/s expansion of the Bergman weight plus a drift term, there because the hopping couples neighbouring lattice points whose weights differ at order 1/N (0.2707 at k = 2 against the measured 0.2708; without the drift term 0.129). The commutator's symbol has an interior maximum in the slope a/(a+b), so its extremal chain is the one through the corner of the lattice, the position computation 206 saw the chain drifting toward, and its eigenvector is a harmonic ground state whose zero point is a constant in closed form, 0.9556 at k = 2, confirmed by moving the truncation out so the chain has no wall; with the wall the excess decays like N^(−1/2) sqrt(log N). The bridge's diagonal chain has its weights rising monotonically to the truncation, so its eigenvector is an Airy function pressed against the hard edge, with a zero point A(k) N^(−1/3), A = 10.97 at k = 2 from the first zero of Ai, against the measured 11.3 falling to 11.1. So the deficit times N is a limit, 1.2263 at k = 2 and 1.5235 at k = 6, approached from below as N^(−1/3), which is why no plateau was visible: at a truncation of 61440 the k = 2 value is still 0.15 short, and the increments 206 reported are the Airy term's decay minus the wall term's. The Airy edge is real but sits on the bridge's own norm, not on the commutator's. Over k the limit is below 2.47 for k up to 80 and below the certified 3.6736 for every k up to 482; its envelope grows like k^0.22, crossing 3.6736 at k = 483, where the asymptotic regime needs truncations beyond 1e8. So the uniform bound holds as the truncation grows for every fixed k up to 482 and the closure rate carries no logarithm; it is not uniform in k without end, at substrate sizes no computation reaches. Tampers: the drift term dropped, the Neumann Airy zero in place of the Dirichlet one, and a half-well zero point are each rejected.

The uniform bound rests on a sharp value, 3.6736 at (k, N) = (6, 12), found by sweeping, certified in exact arithmetic to 1e−7 by computation 203, and called a certified computation rather than a derivation. Computation 213 found the large-N limit in closed form and left this as the one quantitative thread, because the value sits in the small-headroom regime, N close to 2m, that the asymptotic laws do not cover. This computation derives it there. With N = 2m + h the lower shift acts on a + b at most h and the upper on at most h − 2, so every chain has at most h/2 + 1 points and G is an algebraic function of (m, alpha, h); at the operative corner N = 2k the headroom is 2k − 2m(k), which grows with k, and only k = 2 to 6 have h at most 4. At (6, 12) both extremal chains are the diagonal three-point chain (the commutator's drift is a large-N effect), the weights are exact rationals, and the two 3 by 3 matrices have explicit cubic characteristic polynomials in alpha(6), which is itself the root in (1, 2) of a degree-24 integer polynomial obtained by eliminating the closure parameter from Lemma 5(c). So G(6, 12) = 3.673556413812905..., an explicit algebraic number, inside computation 203's enclosure and equal to the float evaluator to 1e−13. Why that corner: at fixed headroom and degree the value is single-humped in alpha, with the hump where the two monomials are comparable and its top rising with m, while larger m means larger k and larger headroom; the integer lattice samples those curves at few points, and k = 6 is the only one with headroom at most four and alpha on a hump (3.6 percent below the top), k = 5 sharing the headroom with alpha = 28.7 far down the tail. Rescanned over every chain for k up to 80 and N up to 600, nothing else exceeds 3.1, and computation 213's limits bound the rest. Tampers: the commutator on the wrong chain gives 5.58, the other closure root gives −5.8, and alpha moved by a thousandth moves G by three thousandths. No analytic mechanism sets the value: it is the one point of the operative regime where a small headroom meets a balanced bridge.

The localisation subsection ends on one apparatus question: the theory does not derive why the tension structure has clusters, and the dynamical half, why a bound state forms and persists, is inherited with the projected field theory. This computation asks the sharper question underneath: could the theory's own field, the order parameter of the third postulate with its Landau-Ginzburg functional, hold a localised object at all? It cannot, by a theorem plus a number. Derrick's scaling: for a static localised configuration in three dimensions the rescaled energy is strictly decreasing, so every localised configuration lowers its energy by shrinking and the only static finite-energy solution is the vacuum; evaluated on a dip, a bubble of the other vacuum and a ring. On the regulated lattice the shrinking stops at the spacing, so a localised object could survive only by pinning, which needs the discreteness (m l)^2 to be large: PST's is 0.0095 with the grain and exactly 2 with the coherence length. Gradient flow of the lattice energy at 0.0095 from four localised initial data relaxes every one to the vacuum; by bisection a single flipped site persists only above 47 and a four-grain bubble only above 15, which PST undercuts by three orders with the grain and by factors 24 and 7 with the coherence length. The loophole is named: the theory has oscillons, localised oscillations keeping half their core energy for thousands of periods, but in PST's units a period is 5e−27 s and the core a few attometres, a breather of the order parameter lasting 1e−23 s, not an apparatus. Tampers: at twice the threshold the flipped site persists; with the potential's sign flipped Derrick's scaling acquires a stationary point; a one-dimensional kink survives the same flow, so the theorem is dimensional. What this changes: inherited is forced, not chosen. An apparatus is a bound state of the inherited matter sector, realised in the tension structure as a cluster that the metric identity reads as a device; which clusters the configuration has stays its own content.

Two things about the one region the projected equations do not reach. First, the numbers were on the old length: computation 154 evaluated the validity condition on Schwarzschild with a coherence length of 2.3 nm, the Casimir bound of its day, and the chapter kept those values after the length moved to 2.2 attometres. Re-evaluated, the suppression at a solar-mass horizon is 1.9e−42 rather than 2.1e−24, the breakdown radius is 37 picometres rather than 38 micrometres, 1.9e−42 of the interior volume, and the mass floor at which the horizon itself leaves the expansion is 2.8e9 kg rather than 2.9e18 kg; on the grain the floor is 1.9e8 kg, which the chapter already had. Every conclusion survives by wider margins, and 2.3 nm reproduces every printed number, so the discrepancy was the length alone. Second, the initial-singularity argument the book declined to transfer is made in a different form. A spacetime point is a fibre of the realisation map, a clique of pairwise-null properties holding at most seven (computation 212), so the realised content of a collapsing body cannot occupy one point: some pair fails to be null, and its proper distance is the region's diameter. How far from null that pair must be is a packing bound, Rankin and Welch, evaluated with computation 212's exemplar tension at its two placements of the null threshold beside the best configurations a descent on the sphere finds. At the median placement seven properties can be exactly null and eight cannot (Welch's one seventh, attained by the simplex), the deviation growing with the count; at the obtuse placement only two can. In the proper distance a region holding n properties has a diameter of at least 0.56 (n = 8) to 0.80 (n = 50) at the median, in the exemplar's units, and the single-pair distance saturates, the local character of the metric identity. What this changes: the chapter's numbers move to the current lengths; the singularity as a point carrying the collapsed content is excluded on the substrate side with the strength of the fibre result and no more; what replaces it, a region of finite diameter in local units whose dynamics the projected equations do not reach, the theory does not describe. The statistical entropy, the information question and the horizon's status are untouched.