Appendix B Computation Scripts, Computations 1 to 36
Computation 1 · §14.3 · [PROOF]
Yukawa hierarchy.
Generation-symmetry structural-scope theorem for a structural Yukawa hierarchy: substrate-level invariance forces Yukawa eigenvalues to be -symmetric in leading order, so the observed hierarchy lives in the contingent rather than the structural layer (occupying of the bit budget at ).
Computation 2 · §4.12 · [PROOF]
Lorentzian signature.
Lorentzian signature from Derrick-style hyperbolic well-posedness of the Goldstone wave equation; the macroscopic dimension 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.
Computation 3 · §1.5 · [PROOF]
Explicit product spectral triple of KO-dimension 2.
Builds the explicit product spectral triple for where is the 4D Lorentzian spacetime (KO-4) and is the substrate internal factor (KO-6), verifying total KO-dim (mod 8), the Connes Standard-Model value whose sign makes the Euclidean fermionic action well-defined. Five checks: (K1) explicit KO-4 representative triple for with signs ; (K2) two substrate carriers of the KO-6 internal factor , the octonion picture (, ) and the bit-space complementation/parity triple at , both deliver KO-6 , so the two -pictures agree at the KO level; (K3) is even and carries colour: ; (K4) the explicit 32-dim for with a generic admissible internal is verified to be a genuine real spectral triple of KO-2, so is a real product of spectral triples, not just mod-8 bookkeeping; (K5) the two open inputs ( from spin structure, as Yukawa/order-one selection) are explicitly located. Everything else (, , , , the product law) is in hand.
Computation 4 · §7.8 · [PROOF]
Spin structure on .
Closes the spin-structure step for , splitting into a topological part (closed rigorously) and an analytic part (scoped). Topological closure: every orientable 3-manifold is parallelisable (Stiefel), in particular ; the spin obstruction vanishes; spin structures form a torsor over , so the spin structure is unique; globally hyperbolic is spin iff is spin, so 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: ). With the spin structure fixed and unique, is determined; the remaining task is to show the substrate’s BooleanCAR/Clifford structure converges to this canonical , not merely that converges. Numerical verification of the canonical Dirac spectrum and its Weyl law (spectral dimension 3, eigenvalues ) is included.
Computation 5 · §8.5 · [NUMERICAL]
Einstein–Hilbert and Newton’s from the spectral action.
Derives structurally from the Chamseddine–Connes spectral action , 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 with moments , , . The three terms: cosmological constant + volume; Einstein–Hilbert ; Yang–Mills + Higgs + Weyl2 (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 are finite positive for a sample (); the closed-form scaling with an scheme constant and the fermionic multiplicity, solving for given observed and the SM fermion count places at a unification/Planck-ish scale.
Computation 6 · Chapter 13 · [PROOF]
Gauge group from via unimodular unitaries; gauge bosons and Higgs as inner fluctuations.
Derives the Standard-Model gauge group as the unimodular unitary group of via the Chamseddine–Connes machinery, with the gauge fields arising as inner fluctuations of the Dirac operator , for . This replaces the -holonomy route to (which dies in the 10-foundational reading) with the standard Connes derivation applied to the substrate-supplied . Four checks: (N1) Lie-algebra dimensions ; unimodular condition removes one dim ; (N2) from imaginary quaternions, from Gell-Mann generators, both closure checks exact; (N3) inner-fluctuation count: gauge-boson count adjoint ; spacetime gives the vector bosons , the finite gives the Higgs; (N4) bookkeeping: which is removed by unimodularity, which survives as .
Computation 7 · §14.4 · [PROOF]
Order-one condition selects the Yukawa form of on the chiral bimodule.
Constructs an explicit one-generation lepton-sector finite spectral triple (8-dim: + 4 antiparticles) and verifies the chirality and order-one structure. Track J established that the naive substrate ladder is, under either natural chirality grading, vector-like or chirality-mixing, not the SM’s chiral . The Connes resolution uses the CHIRAL representation: acts on left-handed doublets only, so is chiral by construction; the order-one condition then SELECTS the Yukawa form of . Four checks: (O1) the representation is even () and the action of is chiral, supported on left-handed particles only; (O2) order-zero for all ; (O3) order-one for the Yukawa , and FAILURE for a generic admissible , so order-one is a genuine constraint that selects the Yukawa form; (O4) the KO-6 sign of the finite real structure (), 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.
Computation 8 · §14.4 · [PROOF]
Chirality bridge: vs the directed modal threshold.
Tests the two candidate substrate mechanisms for furnishing the chiral bimodule of Computation 7, locating chirality at the directed modal threshold rather than at . (a) does not furnish weak chirality: the physical chirality of an internal generator is governed entirely by ; the factor tensors along and cannot change it (negative finding, structurally located). (b) The substrate DOES offer : quaternion left- and right-multiplications give two commuting ’s , the isometry algebra. Chirality selection is the choice of one factor, and the directed modal threshold (book Ch. 13 parity-violation mechanism) is the physical principle that selects between the parity-conjugate choices. (c) Residual: the selected must act on the block only (bimodule support); bridged here to the threshold mechanism and closed in Computation 11.
Computation 9 · §18.3 · [NUMERICAL]
Dirac convergence scoping.
Dirac-convergence scoping in spectral propinquity; numerical companion verifies anticommutation at every , Walsh-to-spherical multiplicity flow, and exact low-mode commutator-gap on Walsh-weight modes; residual reduced to one uniform Sobolev-tail estimate (256) (the full first-order route; the committed closure is the relaxed criterion of §18.3, whose all- uniform bound is the surviving quantitative refinement).
Computation 10 · §15.10 · [EMPIRICAL]
Empirical bounds.
SMEFT operator-by-operator survey of at PST’s tree level vs LHC/EWPO bounds; structurally. Forward reference: the script’s TeV predates the off-by-one correction, and its Wilsonian reading with coefficients is the universal-kernel reading Computation 205 excludes; its structural argument is the Higgs-doublet reading that survives there.
Computation 11 · §14.4 · [PROOF]
Bimodule support: threshold-selected acts on the block only.
Closes the chiral-bimodule residual left open by Computation 8. Constructs a minimal but representative chiral : one weak doublet with . Two representations of are mathematically possible a priori: Choice A ( acts on left block, trivial on , the parity-violating observed SM); Choice B ( acts on right block, trivial on , the parity-conjugate model, never observed). Both give consistent spectral triples in the Connes–Chamseddine sense; the chirality of therefore reduces to “which of A or B is realised in nature?”. PST’s claim is that the directed modal threshold (book Ch. 13) is the physical principle that selects Choice A. Verifies (i) both representations of commute with (necessary condition); (ii) both have clean block support; (iii) the substrate-side and operator-norm signatures under the threshold break the LR symmetry as required, selecting Choice A.
Computation 12 · §13.6 · [PROOF]
Consistency of octonionic- embedding with Computations 1–11.
Examines whether the octonionic- embedding ( acting as automorphisms preserving the octonion product) is consistent with the rest of PST’s structure, vs. the canonical block embedding ( acting as block on the half-spinor). If the octonionic interpretation is consistent with Computations 1–11, Furey’s three-generation construction ports directly into PST without changing framework assumptions. Six structural checks: (§1) two subgroups of compared; (§2) Computation 6’s gauge group derivation does not specify which ; (§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.
Computation 13 · §13.6 · [PROOF]
Canonical vs octonionic side-by-side comparison.
Computes the consequences of canonical vs octonionic 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 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 via Furey’s six--triplet decomposition of , with the open work being the explicit chain-algebra construction (Computations 14–17).
Computation 14 · §13.6 · [PROOF]
Inner-fluctuation structural-scope theorem extension (Computation 1, section 7 of the script) under octonionic embedding.
Step B of the octonionic- re-derivation programme identified by Computation 13. Original Computation 1, section 7 of the script (canonical embedding) assumed tensor-factor structure for generations, with acting as (generation-blind), so inherits generation structure of unchanged. Under the octonionic embedding, is not in tensor-factor form for generations; the three “generation copies” are internal states of the 64-complex-dim algebra , with ’s acting via the octonionic , mixing generation copies by rotations. The canonical §7 argument “ 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 into one with generation-asymmetric Yukawa eigenvalues? Five sections: (§1) toy octonionic- model; (§2–§3) inner fluctuations under each embedding; (§4) substrate-level constraint as the deeper invariant; (§5) verdict: individual fluctuations can mix generations but substrate invariance constrains physical observables; Yukawa contingency preserved.
Computation 15 · §13.6 · [NUMERICAL]
Order-one Yukawa selection (Computation 7) under octonionic embedding.
Step C of the octonionic re-derivation programme. Verifies Computation 7’s result “order-one condition selects the Yukawa form” under the octonionic action and determines the specific Yukawa form selected. Original Computation 7 (canonical): -dim lepton-sector finite triple, acts via canonical lepton-sector representation ( trivial on leptons, on left doublet), order-one SELECTS the Yukawa form of . Under the octonionic embedding, ’s action on 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 vs for generic under BOTH embeddings, the selecting condition transfers, and the octonionic interpretation passes this test.
Computation 16 · §13.5 · [NUMERICAL]
Furey foundation: , octonionic as -stabiliser.
The most ambitious computational physics in this track series: attempts to carry out Furey’s 2014 construction explicitly inside PST’s substrate Clifford algebra. Twenty-two sections; the core run: (§1) octonion multiplication table (Fano-plane convention); (§2) left-multiplication operators as complex matrices; (§3) verify the algebra structure of as 64 explicit matrices; (§4) identify the primitive idempotent (vacuum) of ; (§5) construct the octonionic as stabiliser of and verify the 8 adjoint elements with exact commutation relations; (§6) decompose (64-complex-dim) under this into irreducible representations; (§7) compare to Furey’s split; (§8) honest assessment of how rigorously this verifies the three-generation interpretation; (§9–§22) extended analysis, including the convention-aligned complex structure with Cayley pairing (§16) and the full lift. Verifies and octonionic as -stabiliser of to machine precision. The matter-sector multiplicity is off by 6 due to degenerate Cartan weights; resolved by Casimir-discrimination in Computation 17.
Computation 17 · §13.5 · [PROOF]
Definitive decomposition of via Casimir.
Closes the off-by-6 residue from Computation 16 by using the quadratic Casimir as an irrep discriminator. Computation 16 identified the eight-generator octonionic 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 members of triplets share Cartan weights and can only be told apart by the Casimir. Six sections: (§1) reconstruct the octonionic generators (lifted from Gell-Mann via the complex structure on , the correct Cayley pairing for the -stabiliser of ); (§2) build on ; (§3) build the Casimir as a Hermitian matrix; (§4) diagonalise and group eigenvalues by irrep Casimir values (0 for , for , for , for ); (§5) confirm the decomposition (total dim 64) matches the Clebsch–Gordan expectation to machine precision; (§6) status statement for the octonionic- item: structurally derived, decomposition exact.
Computation 18 · §13.7 · [PROOF]
as the unique Spin(6) singlet.
Spin(6)-invariance in : is the unique (up to scalar) Spin(6)-invariant element of positive grade. Hence 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.
Computation 19 · §13.7 · [PROOF]
Substrate parity grading = chirality grading.
Schur on the irreducible chiral halves of gives Hermitian Spin(6)-commutant (2-real-dim). In the JW Majorana representation, Computation 3’s parity grading equals exactly ( to machine precision). The chirality projector is delivered directly by the substrate’s parity-selected real structure; Furey’s primitive idempotent is its canonical rank-1 refinement [121], and her acting-on- chain-algebra construction then delivers on one generation under . The synthesis to the full requires the factor from the emergent Lorentzian Dirac sector (Computation 66) combined via Dixon’s hyperspinor framework [146].
Dirac-convergence step (§18.3): L_round and L_comm computations.
Computation 20 · §18.3 · [NUMERICAL]
L_round sweep.
PST analogue of [119] Lemma 3.2 across and three test classes under eleven candidate Lip-norms. All polynomial Lip-norms FAIL; exponential Lip-norms with succeed at rate . Uses fast Walsh–Hadamard transform.
Computation 21 · §18.3 · [PROOF]
Dirac commutator Lip-norm scaling.
Measures for the discrete Dirac on Walsh modes ; result exactly at every and every , matching the Friedrich Dirac eigenvalue scaling on round [113]. The first-order Dirac structure on the substrate is polynomial (not exponential) in Walsh weight.
Computation 22 · §18.3 · [NUMERICAL]
Higher-order Dirac commutators.
, . Result: (independent of at large ). The spectral radius of is , so the Fréchet smooth Lip-norm by Stirling.
Computation 23 · §18.3 · [NUMERICAL]
Fréchet smooth L_round closure.
Measures from equation (259) on the constant-coefficient Walsh tail. Result: at , exponential decay matching the natural spectral-triple smooth subalgebra. With [116] Theorem 5.2 this gives QGH convergence of the Walsh substrate algebras to .
Computation 24 · §18.3 · [PROOF]
– discrete-side audit.
Confirms (i) if , exactly if ; (ii) the Hilbert–Schmidt overlap of with every Walsh mode is zero to machine precision. The bridge defect lives entirely in the non-abelian Pauli sector.
Computation 25 · §18.3 · [PROOF]
Friedrich Dirac spectrum.
Eigenvalues , multiplicity ([113]). Cross-checks the naive scalar-spinor count , exhibiting the Pauli mixing factor from Friedrich’s eigenspinor decomposition ([114]). Continuum-side reference for the spinor extension of .
Computation 26 · §18.3 · [PROOF]
Bijective-bridge no-go.
Structural no-go ruling out the entire bijective single-mode bridge class for L_comm. The discrete-side commutator norm is exactly for (zero otherwise), independent of and of (verified at , , machine precision). The continuum-side norm scales as 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.
Computation 27 · §18.3 · [PROOF]
Bergman/Toeplitz framework on .
Full operator-theoretic implementation of [119]. The Toeplitz commutator is diagonal on the monomial basis with explicit entry . At , exactly (machine-precision match against the analytical formula, J-maximiser ); at the commutator norm is at , at , at . The Toeplitz operator norm approaches and is -INDEPENDENT at leading order; the ratio is -DEPENDENT ( vs ). With fidelity and gap rate can be tuned simultaneously.
Computation 28 · §18.3 · [NUMERICAL]
Explicit substrate–Toeplitz bridge probe (D = 4).
First explicit instantiation of the candidate substrate Toeplitz bridge at , . Sites of the substrate map to ; sites map to . Single-mode bridge images have op-norm at , decreasing with as predicted. Commutator-gap probe across six pairs from Computation 26: cases where 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 ( at for ). 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 , scaling as 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 : map a SUM of Walsh modes to a single degree- Toeplitz symbol , with coefficients chosen to suppress the spurious cross-commutators while preserving the -dependent gap-rate scaling.
Computation 29 · §18.3 · [NUMERICAL]
Mosco-limit reweighting via holomorphic Toeplitz subalgebra.
Restricts the bridge image of Computation 28 to the holomorphic Toeplitz subalgebra of , where all operators commute (multiplication by holomorphic functions on is just multiplication, no projection needed). Site-to-holomorphic mapping at : sites ; sites . Bridge of = product of individual-site images, in the abelian subalgebra. Sanity check: all bridge-image cross-commutators 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: at , at , at (truncation collapse at at ). Gap probe: substrate commutator norm (when ) maps to Toeplitz commutator at , decaying with ; cases with (substrate norm ) still give residual non-zero Toeplitz commutators ( at ). Conclusion: holomorphic Toeplitz subalgebra is the structurally right target (abelian preservation), but the simplest Clifford analogue still produces residuals in the ”” sector. The next concrete step is constructing the -twisted Berezin derivative designed to make vanish for while preserving the -dependent gap rate.
Computation 30 · §18.3 · [NUMERICAL]
Optimal- closure diagnostic for the holomorphic bridge.
Tests whether a single can match the substrate commutator across all test cases simultaneously, given the abelian-preserving holomorphic bridge of Computation 29. At , , sweep across eight test cases. Finding: per-case optimal values fall into two clusters: cases with substrate norm () want (boundary of the BS family), cases with substrate norm () want (deep into the ball). Spread of optimal values is , no single closes both sectors. The aggregate optimal gives residual . Structural observation: the substrate commutator is BIMODAL ( or ), but the Toeplitz commutator under the simple 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.
Computation 31 · §18.3 · [NUMERICAL]
Spinor extension on for L_comm.
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 , : (A) trivial spinor with -factor on Clifford bridge, (B) spinor with full generators tensored with HOLO Toeplitz, (C) mixed bridge with ANTI-HOLO Toeplitz tensored with generators. Findings: in (A) and (C) the tensor factor decouples in the operator norm (op-norm of factorises as ); 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- Dirac , where are the SU(2) left-invariant vector fields on acting as raising/lowering operators on the Wigner-D monomial basis.
Computation 32 · §18.3 · [NUMERICAL]
SU(2) Dirac operator on for L_comm.
Implements the non-tensor coupling identified as missing by Computation 31: the round- Dirac , where are SU(2) generators acting on the Bergman monomial basis as raising/lowering operators (, , ). Verifies su(2) algebra to machine precision and Hermiticity of (); eigenvalue range at approximates Friedrich’s spectrum. Key finding: the L_comm gap is NON-ZERO, the non-tensor coupling finally produces a meaningful Dirac commutator. Normalised by bridge fidelity, the ratios are at , – at , – at , approaching the substrate target but with variance across same-weight . The ratios are -independent (the 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 exactly.
Computation 33 · §18.3 · [NUMERICAL]
Mosco averaging and rescaling for L_comm closure.
Combines the two within-framework tunings identified by Computation 32. Mosco averaging: , collapsing weight- Walsh modes into one symmetric combination. rescaling: (unit op-norm per weight class). Tested at , . Findings: Step 3 ratios monotonically approach with weight: (), (), (). The L_comm gap is closing asymptotically. is zero due to truncation collapse ( cannot hold the full-weight product). Residual: Step 4 variance check shows per- ratios at fixed still range – at 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 towards closure in the operational framework. Closing the residual variance requires the proper Wigner-D-decomposed Mosco averaging; closing the truncation effect requires . Both are within-framework refinements, not structural changes.
Computation 34 · §18.3 · [NUMERICAL]
L_comm convergence at larger : asymptotic closure test.
Scales Computation 33 up to , and , to test whether the Mosco-averaged -rescaled bridge ratios converge to . Findings at : ratios increase with at fixed (e.g., : across , , ), and increase with at fixed . The ratio at reaches , within 4% of substrate target . Crossover observation: at , the ratio crosses around – and continues growing: (), (), (). This is structurally explained: the SU(2) Dirac has frame directions (giving scaling), while the substrate has Clifford directions (giving ). These match at but diverge at higher . Important framing: this test compares to , but the genuine L_comm criterion is the HOMOMORPHISM GAP , which is a stronger condition. The norm-match closure at is suggestive but the homomorphism-gap test is the next concrete deliverable.
Computation 35 · §18.3 · [NUMERICAL]
L_comm homomorphism-gap test (explicit construction).
Tests the genuine L_comm criterion,
| (283) |
Uses the natural multiplicative bridge extension (with cyclic Pauli assignment for the substrate-vs-Pauli site mismatch). Computes LHS and RHS directly, then their operator-norm difference. Negative finding: the gap/LHS ratio is large ( to at ; to at ; to at ) and does not shrink with increasing . 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 at ) measured a WEAKER quantity than L_comm. Closing the true homomorphism gap requires either a different bridge construction (e.g., spinor fibre matching the substrate Cl(0, 2D) representation rather than the round- ) or a re-interpretation of L_comm in terms of norm-equivalence-up-to-rescaling rather than exact operator equality.
Computation 36 · §18.3 · [NUMERICAL]
L_comm finite- matched-truncation convergence at , .
Extends Computation 34 to substrate size with Bergman truncation (Bergman dim , full Hilbert dim ). Measures the relaxed L_comm gap where . Finding (finite-): at the Walsh-weight cutoff , the ratio reaches () at , within of the substrate target. Compared to at , at : linear fit , i.e. , empirical finite- exponential decay with rate . Caveat established by Computations 37–38: the rate is specific to the matched truncation ; the infinite- analytical rate at is . Ratios above the cutoff () diverge as expected. With the book-side commitment to the relaxed criterion and the finite- verification both done, the infinite- closure is supplied by the refined symmetric-monomial bridge of Computations 39–41.