Appendix B Computation Scripts, Computations 64 to 102
Computation 64 · §18.3 · [NUMERICAL]
Lemma 7(b) numerical-fit-stability diagnostic.
Re-extracts on the same range used by Computation 63 (capped at ) under a three-parameter least-squares fit . For the two- and three-parameter fits agree at , matching the closed-form theorem of Computation 60. For the two fits DISAGREE: factor 2–10 in magnitude and sign-flip in of measured values. Diagnostic conclusion: the per- leading constant for cannot be reliably extracted from by fit-based methods; the leading term is not yet separated from higher-order structure when is comparable to the bridge degree . Hence the foundational uniform-in- bound (Lemma 7(b)) cannot rest on extraction at moderate ; it must be established directly (Computation 65).
Computation 65 · §18.3 · [NUMERICAL]
Lemma 7(b) direct-gap closure: bounded.
Bypasses the ill-conditioned extraction by directly measuring the gap-times- quantity across and ( measured pairs). Finding: attained at ; median . Scope corrected by Computation 150: this window includes points with , and the reported maximum at is one of them ( there), so is not a bound on anything the theory uses. Restricted to the operative regime the sharp constant is ; the bound is not uniform over all , Computation 150 measuring at , a point above . With that restriction the matched scaling gives the L_comm closure rate uniformly in . Structural backing: both and approach their bulk values at rate by the classical Bergman–Toeplitz convergence theorem for polynomial symbols (Engliš, Zhu), and their ratio inherits the rate with bounded constant. This closes Lemma 7(b) at the foundational level: the bound uniform in holds directly without per- extraction, and Rieffel’s QGH-convergence theorem receives the rate it requires.
Computation 66 · §13.7 · [PROOF]
and the internal from right-.
Structural verification that the substrate’s emergent 4-d Lorentzian spacetime (derived from P1–P3 via Mosco convergence, Computation 4) carries an internal on its Dirac spinor sector. Works in (the module) to avoid antilinearity confusion of the chiral basis. Builds -matrices in the representation (16 anticommutators match to machine precision); builds right- operators on ; verifies right- commutes with (the centraliser structure that makes internal, [146]); verifies quaternion algebra , ; shows generates with ; verifies the Lorentz pseudoscalar commutes with so the is chirality-preserving. This establishes the SPACETIME-side spinor structure derived from P1–P3; the identification of this with the factor of on the internal -side is via Dixon’s hyperspinor framework , an established structural synthesis beyond alone (cf. [146], [121] ‘A bigger picture’ §).
Combinatorial verification of the PST scalar-sector cancellation argument (§12.2, equations (128) and (129)). Confirms the two exact binomial identities across . Including the zero mode in the bosonic count gives exactly. Excluding the zero mode would instead give for every , contributing a residual to eq. (129) rather than . Added to the self-loop of eq. (128), this gives total , conflicting with the predicted . 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 (the vacuum direction), and is structurally distinct from the emergent 4-component SM Higgs doublet generated by inner fluctuations on . Counting the substrate zero mode in therefore does not double-count the emergent doublet, which is carried separately by in eq. (128). With from the substrate trace and the self-loop supplying the Higgs mass, total , recovering and confirming 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.
Computation 68 · Chapter 15 · [NUMERICAL]
Casimir-coefficient kernel-shape sensitivity.
Tests the sensitivity of the parameter-free Casimir-correction coefficient (eq. (213)) to the assumed projection-kernel shape, by evaluating the second and fourth moments for six kernel families: Gaussian (book canonical), squared Lorentzian, single-sided exponential, sech-squared, compact parabolic, and compact quartic-bump. Findings: the power-law exponent is preserved across every kernel (categorical prediction, kernel-independent). The coefficient varies from (compact quartic-bump) to (sech2) across kernels with exponential or compact-support tails (factor range); the squared Lorentzian gives from its heavy tail (physically implausible for a discreteness scale). The diagnostic bound from nanometre-Casimir data scales as , giving the bound range nm (sech2) to nm (compact quartic) at the current data, with the Gaussian value nm sitting near the middle. Order of magnitude (few nm) is robust; precise numerical bound is kernel-conditional with factor-of- spread. Honest reading: “– nm depending on the projection-kernel choice; the Gaussian (canonical) choice gives nm.” The derived value am (Computation 201) lies nine orders below every bound in the range.
Computation 69 · §12.2 · [PROOF]
Higgs cancellation: detailed analysis of the three Computation 67 resolutions.
Carries out the explicit walkthrough of all three resolutions listed in Computation 67 for the off-by-one in eq. (129). (a) Higgs-doublet eaten Goldstones: the resolution is at the EW scale (broken phase), while the cancellation argument is at (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 exactly, but no leftover to be the Higgs self-mass, total , at one loop; a no-op resolution. (c) Complementation pairing: for even , and have the same parity so complementation does not cross-pair bosons with fermions; for odd 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 (vacuum direction), structurally distinct from the emergent 4-component SM Higgs doublet generated by inner fluctuations on (Computations 93, 97). Including the zero mode in does not double-count , and stands as a parameter-free one-loop derivation.
Computation 70 · §18.1.6 · [SURROGATE]
-fixed Berry–Esseen rate for A7.
Verifies the Berry–Esseen-type convergence rate underlying the A7 reduction lemma: the empirical Boolean Dirichlet form converges to the continuum -gradient at CLT slope on a single compact-support test family in . Three test functions (Gaussian, bump, polynomial-cosine). Establishes the -fixed Berry–Esseen rate; Computation 83 extends to -uniform. Stands in for: the emergence-determined , by i.i.d. uniform sites with the identity embedding.
Computation 71 · §12.2.2 · [NUMERICAL]
candidate identification via substrate spectral action.
Tests whether the one-loop near-coincidence (0.8% deviation) lifts to a structural identification via the substrate spectral-action ratio (exact, -independent at matched scaling ). Verifies the substrate side exactly for ; computes one-loop SM RGE running across ; reports . Identifies the spectral-action Higgs-quartic identity as the open structural conjecture. Forward reference: the SM-side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, on the 2026 Review, from , which is what the book states from v32.153 (v32.137 printed on the 2024 Review).
Computation 72 · §12.2.2 · [NUMERICAL]
Higgs perturbation and coefficient at matched scaling.
Carries out the symbolic Taylor expansion of the substrate spectral action under a Higgs-like perturbation at matched scaling, extracts the coefficient , and reduces the identification to the single-scalar condition (the fourth root of the per-site Bernoulli probability of P1). Identifies the open structural content: deriving from CC inner fluctuation.
Computation 73 · Chapter 15 · [NUMERICAL]
Casimir from the substrate Boolean kernel.
Sharpens Computation 68’s kernel-shape sensitivity by deriving from the substrate’s actual projection kernel (the binomial Boolean kernel) at finite . Computes the moments 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- corrections at the level.
Computation 74 · §12.2.2 · [NUMERICAL, superseded by Computation 100]
First-cut CC inner-fluctuation for .
Tests the simplest natural single-generator CC inner fluctuation with (quaternion volume element). Computes the perturbed Dirac and the coefficient . Matching Computation 72 target gives (-independent) hence , which DECREASES with . Target is (-independent). Conclusion: natural single-generator inner fluctuation does not close . Identifies three possible resolutions (numerical coincidence, multi-generator , alternative ).
Computation 75 · §16.7 · [NUMERICAL]
Rate integral as Bernoulli large-deviation.
Sharpens the rate-integral closure (book eq. (229)) by identifying as a standard large-deviation integral under the Bernoulli measure. with the Cramér rate function. Computes saddle-point asymptotic for a representative form; documents the rate integral’s structural form. Closes the rate-problem framework for downstream applications (cosmological constant, Computation 82).
Computation 76 · §14.3 · [PROOF]
Postulate-level -direction constraint as a Yukawa-hierarchy source.
Tests whether constraining the direction of to the three quaternionic sub-algebras of containing lifts the structural-scope theorem. Result: maximal -symmetry preserves -symmetry across the three , so this single-direction constraint alone does not lift the structural-scope theorem. The threshold-induced dynamical mechanism is taken up in Computation 77.
Computation 77 · §14.3 · [NUMERICAL]
Dynamical Yukawa hierarchy via the directed modal threshold per .
The directed P3 threshold-crossing rate per quaternionic sub-algebra gives a hierarchy of generation Yukawa couplings via Boltzmann weighting . Reproduces the SM up-type Yukawa hierarchy with and . Identifies the two inputs requiring structural derivation: and the pattern; structural candidates for each are taken up in Computations 78, 79, 80.
Computation 78 · §14.3 · [NUMERICAL]
Structural candidates for in the Boltzmann mechanism.
Tests structural candidates for the Boltzmann inverse-temperature from Computation 77’s fit. Candidates: , , , . Numerical match: at from Computation 77 best-fit . Motivation: is the rotation group of , with triality permuting three -dim reps and three PST generations.
Computation 79 · §14.3 · [NUMERICAL]
and .
Sharpens Computation 78’s to , matching Computation 77 best-fit to . Identifies in Computation 77’s ratio as structurally suggestive of the same that drives . Locks in structurally; remains as the one residual free parameter.
Computation 80 · §14.3 · [PROOF]
closure via symmetry chain.
Examines whether in the dynamical mechanism of Computations 77 and 79 can be pinned by the substrate symmetry chain . Result: stabiliser structure forces to a -contingent value rather than a structural constant. Reclassifies the Yukawa hierarchy as configuration-content (consistent with the structural-scope theorem of §14.3).
Computation 81 · §12.2.2 · [NUMERICAL, superseded by the partition-function route, Computations 87–92/100]
Full CC inner fluctuation for .
Extends Computation 74’s single-generator inner fluctuation to include the reality term with KO-2 sign , and tests multi-component . Result: (vs Computation 74’s , factor from reality doubling), still -dependent with wrong scaling. Confirms Computation 74’s verdict that single- and few-generator inner fluctuations do not close . Identifies the structural obstacle: the discrete spectrum’s collapse-to-cutoff behaviour.
Computation 82 · §16.5 · [NUMERICAL]
magnitude: order-of-magnitude reclassification as -contingent.
Order-of-magnitude analysis for the cosmological-constant magnitude using Computation 75’s Cramér framework. with matched-scaling . Target for comes out to per substrate configuration at nm (Computation 188 reproduces it); the required rate-function value is tiny. Conclusion: magnitude depends on the explicit form plus threshold-scaling , both -contingent. Reclassifies magnitude from open derivation to structural contingent (joins Yukawa hierarchy, CKM, ). Sign + EoS remain structural theorems.
Computation 83 · §18.1.6 · [SURROGATE]
-uniform Berry–Esseen rate verification for A7.
Extends Computation 70’s -fixed verification to -uniform: seven test-function families with varying support locations, radii, and shapes (Gaussian, bump, polynomial-cosine). Mean slope across families; families within fitting tolerance of ; two failing families have support radius (Taylor-linearisation breakdown). -uniform rate holds asymptotically in the natural physical regime (support radius ). Together with Computation 70 + §18.1.6 Closures (a)–(c), closes the reduced problem at proof-detail level for the i.i.d. surrogate. Stands in for: the emergence-determined , by the same i.i.d. uniform cloud as Computation 70.
Computation 84 · §12.2.2 · [NUMERICAL, superseded by the partition-function route, Computations 87–92/100]
Multi-generator CC inner-fluctuation route for the identification.
Extends Computation 74’s single-generator inner fluctuation to coherent quaternion-pair generators . Computes and the coefficient. Matching target gives , requires (non-integer) for -independent target . Bernoulli-activated extension: requires , not derivable from . The multi-generator inner-fluctuation route does not deliver the target at a structurally natural value of or ; the partition-function-level identification of Computations 87–92 takes a different substrate-side route.
Computation 85 · §12.2.2 · [NUMERICAL, superseded by the partition-function route, Computations 87–92/100]
AF-internal Higgs inner fluctuation for the identification.
Places the Higgs in the canonical finite-internal factor (Connes–Chamseddine–Marcolli SM construction) rather than the Clifford volume element. The CCM moment-extraction 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.
Computation 86 · §12.2.2 · [PROOF, superseded by the partition-function route, Computations 87–92/100]
Seeley–DeWitt heat-kernel analysis on the discrete substrate triple.
Examines the Seeley–DeWitt heat-kernel expansion for the substrate spectral triple. For the PST substrate at matched scaling: all eigenvalues at , so (non-zero), for (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.
Computation 87 · §12.3 · [NUMERICAL]
Bernoulli Laplace-transform identification: bypassing the CC inner-fluctuation route.
Bypasses CC inner fluctuation via the asymptotic Bernoulli moment-generating function. as . Hits at . Numerical convergence verified at with error . Multiple structural readings of (e.g. , number of substrate states per bit) compatible; none uniquely forced. Computation 88 fixes the load-bearing reading as the binary-distinction gap .
Computation 88 · §12.3 · [PROOF]
Binary-gap-tempered Bernoulli MGF identification of at the matched scaling.
The scale is structurally forced by the binary-distinction gap: each substrate exchange is a self-adjoint involution with eigenvalues , so the one-bit Clifford fixes with no freedom (P1’s binary alphabet; Computations 100 and 102). Setting gives asymptotically. The total KO-dimension shares this value but is structurally independent (an additive residue in , not a spectral width); the coincidence is retained only as the “binary-gap-tempered” label, never as an input. All three ingredients structurally derived ( from P1, the binary-distinction gap from P1, asymptotic limit from Cramér–Bernoulli). Second independent substrate-side derivation of ; complements Computation 62’s spectral-action route.
Computation 89 · §12.3 · [PROOF]
bridge step 1: substrate Higgs Hamiltonian.
Derives the substrate Higgs Hamiltonian structurally from three constraints: (i) additivity (Bernoulli sites independent ), (ii) matched scaling (per-site energy ), (iii) uniformity (P1 symmetry uniform). Together force , no free parameters. The binary-gap-tempered partition function is then asymptotically. Substrate side of bridge closed structurally. Numerical verification at .
Computation 90 · §12.3 · [EMPIRICAL]
bridge step 2: three SM-side candidate formulations.
Reduces the SM-side bridge to a choice among three concrete candidate formulations: (I) Wilsonian effective-coupling RG, integrate substrate fluctuations between and ; (II) spectral-action variation, naive form gives rather than , fails; (III) substrate-measure invariance, at matched scaling. Numerical: predicted vs observed (Buttazzo 2013), ratio . Formulation (II) does not close in naive form; (I) and (III) are taken up as concrete research directions in subsequent work. Forward reference: the SM-side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, on the 2026 Review, from , which is what the book states from v32.153 (v32.137 printed on the 2024 Review).
Computation 91 · §12.3 · [EMPIRICAL, superseded by Computation 123]
empirical-precision test: two-loop SM RGE.
Tests the empirical tightness of via SM RGE precision. Simplified one-loop running gives (5% below target); compact two-loop (7% below). The book’s near-coincidence claim depends on full Buttazzo-level SM RGE precision (two-loop running with explicit threshold corrections at ). Sensitivity analysis: variation of GeV, GeV gives in range – 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, (-dominated), a rigid match to that converges monotonically with loop order, confirming the simplified – readings here were truncation artefacts, exactly as anticipated; and in turn by Computation 202, which computes the number at three loops on current inputs.
Computation 92 · §12.3 · [PROOF]
bridge formalisation: seven-step structural proof sketch.
Reduces the closure to a single Wilsonian-matching premise via a seven-step structural derivation: (1) PST EFT below = pure SM (eq. (127)); (2) Wilsonian matching at ; (3) bare (§1.5); (4) substrate UV at contributes vacuum fluctuations; (5) fluctuations integrated over give with (Computation 89); (6) forced by the binary-distinction one-bit Clifford gap (Computations 88, 100, 112), the KO-mod-8 coincidence retained only as a label, never as an input; (7) structurally, matching observed at . Steps (1)–(4), (6) established in existing PST framework; step (5) by Computation 89; step (7) follows. Elevates 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 §12.5; 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 SM-side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, on the 2026 Review, from , which is what the book states from v32.153 (v32.137 printed on the 2024 Review).
Computation 93 · §12.2 · [PROOF]
off-by-one: fourth-resolution candidate via substrate-vs-emergent distinction.
Re-examines resolution (b) of Computation 69 under a foundational reading: the substrate-side Boolean zero mode is the substrate’s constant-mode profile, not the emergent SM Higgs doublet (captured separately by from inner fluctuations on ). Under this substrate-vs-emergent distinction, including the zero mode in does not double-count the doublet, and total , recovering as parameter-free one-loop derivation. Identifies the fourth-resolution candidate; full validation via projection-chain analysis follows in Computation 97.
Computation 94 · §12.5 · [NUMERICAL, superseded by Computations 95, 100]
Bridge Premise (B) fluctuation-matching (research-direction sketch).
Attempts to derive Bridge Premise (B) via formulation III with fluctuation-matching prescription , giving the matched-scaling temperature . Combined with delivers the testable prediction . Acknowledged as dimensionally suspect ( dimensionless vs with GeV units; the prediction implies hierarchy violation for few). Held as research-direction sketch rather than a closure; superseded by Computation 95 reduction and ultimately Computation 100 closure.
Computation 95 · §12.5 · [PROOF]
Bridge Premise (B) reduced to structural claim (***) via substrate-Wilsonian RG.
Reduces Bridge Premise (B) to a single sharper structural claim (***): the substrate Wilsonian RG flow generator equals the Boltzmann partition function on substrate configurations, the partition-function-level analogue of the heat-kernel RG flow generator for the continuum spectral triple. If (***) is granted, the bridge identification follows structurally: . Provides the residual-gap framing subsequently closed by Computations 98 (mode-shell) and 100 (matched-scaling cutoff).
Computation 96 · §12.5 · [NUMERICAL]
Polchinski-discrete derivation of claim (***): partial advance.
Polchinski-style derivation attempted on the discrete substrate. The partition-function form is structurally established via configuration-Hamiltonian Boltzmann averaging as . 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 limit. Partial advance; (a) and (b) closed by Computation 98, (c) by Computation 100.
Computation 97 · §12.2 · [PROOF]
off-by-one: projection-chain validation CLOSES the item.
Validates Computation 93’s substrate-vs-emergent distinction via explicit PST projection-chain analysis . The substrate Walsh zero mode maps under to the constant function on (vacuum direction), structurally distinct from the emergent SM Higgs doublet (4 components from inner fluctuations on ). Including the zero mode in does not double-count . Total , restoring as parameter-free one-loop derivation. The off-by-one of Computations 67 and 69 is closed at proof-detail level; the “one-loop-complete / parameter-free” reading of is restored.
Computation 98 · §12.5 · [PROOF]
Bridge Premise (B) items (a)+(b) CLOSED via mode-shell block-spin RG.
Closes items (a), (b) of Computation 96 at proof-detail level via explicit discrete Wilson block-spin RG. Key observation: is supported on the lowest two Walsh-mode shells only, with explicit expansion . Because has no content, the block-spin RG step from level to factorises trivially: for every , so the Boltzmann action 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).
Computation 99 · §12.5 · [NUMERICAL, superseded by Computation 100]
Item (c) via thermal-QFT framing (EXPLORATORY, superseded by Computation 100).
Exploratory closure of item (c) via thermal-field-theory framing: postulates as substrate’s intrinsic inverse temperature in the partition-function-level CC framework. Standard thermal-QFT IR coupling formula delivers . 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.
Computation 100 · §12.5 · [PROOF]
Substrate-side spectral-action cutoff identification closed from P1–P3 via tensor product.
Closes the substrate-side content of item (c) of Computation 96 from P1–P3. P1’s Bernoulli independence forces tensor product . The Boolean Laplacian with one-bit Clifford gives each eigenvalues . For to be CONSISTENT with the tensor product structure (i.e., to factor as a product of one-bit traces over independent bits) must satisfy , unique smooth solution . Forced by P1’s product structure, not postulated. At matched scaling : by binomial product convergence. The factor “2” in 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 (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); matches observed at Buttazzo-RGE precision (– at one-loop, Computation 91). Forward reference: the SM-side value quoted here is the anchor of its day; Computation 202 restates it on current inputs at three loops, on the 2026 Review, from , which is what the book states from v32.153 (v32.137 printed on the 2024 Review).
Computation 101 · §12.5 · [PROOF]
Bridge premise (B) sharpened: as wave-function renormalisation .
Addresses the structural concern that standard Wilsonian threshold matching of a quartic is additive in loop corrections, not multiplicative. Reinterprets the multiplicative matching as a wave-function renormalisation of the substrate modal field to the SM Higgs at matched scaling, with the substrate-side partition function playing the role of via standard QFT decomposition . Reduces (B) to two well-posed sub-questions: (1) is the matched-scaling ’s path-integral Jacobian equal to ? (2) why is the vertex renormalisation trivial ()? 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 holds to all orders (Computation 119); (B) is thereby reduced (Computations 110–119).
Computation 102 · §12.5 · [PROOF]
Item 1.2 resolution: the two “2”s are structurally independent.
Addresses the concern that the identification in the Bernoulli MGF is asserted, not motivated. Computation 100 already derived the “2” from one-bit Clifford structure (eigenvalue range of ), independent of KO mod 8. This computation makes the structural-independence explicit: (from spacetime + internal split ) and one-bit Clifford eigenvalue range (from ) 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.