Appendices
Appendix U: Uniqueness and Search Space Analysis
A foundational requirement for any theory of everything is the prevention of "Look-Elsewhere" bias—the ability to find patterns in any data given enough trials. This appendix defines the search space of Geometric Consciousness Theory (GCT) and separates the Tier 2 multi-exponent geometric template from the Tier 3 specific integer anchors that remain tied to the QLQCD closure target.
U.1 Bounded Search Space
GCT is not a curve-fitting exercise. The "Search Space" for physical constants is bounded by the symmetries of the 6D Hypercubic Lattice and its 240-vertex E8 projection.
- Scalar Anchor: All mass ratios are referenced to the Electron mass (), which represents the fundamental unit cell mass .
- Allowed Operators: Formulas are restricted to powers of the Golden Ratio (), the Fine-Structure Constant (), and the unit cell count .
- Integer Forcing: Exponents must be integers or simple fractions (e.g., ) derived from the Symmetry Octave rule.
U.2 The Symmetry Octave Rule
The fundamental resonator of GCT is the Icosahedral Shell. Resonant modes are geometrically forced into nodes of 6-fold symmetry ().
U.2.1 The Muon (N=11)
The exponent 11 for the Muon ratio () sits at the first sub-octave node of the 2nd shell of the symmetry-octave template: This node is the primary stability point for a 12-vertex structure with a single defect. The shell-filling template is Tier 2; the selection of this specific node is Tier 3 — consistent with, but not uniquely forced by, the template — pending the QLQCD closure target (§U.4; Ch08 §8.3.1; App H O.5).
U.2.2 The Tau (N=17)
The exponent 17 for the Tau ratio () sits at the 3rd-shell node of the same Tier-2 template: The absence of a lepton at is consistent with the gap between the 2nd and 3rd icosahedral shells in the 6D packing. As with , the specific selection is Tier 3 — consistent with the shell-filling template, not uniquely forced — pending the QLQCD closure target (§U.4; Ch08 §8.3.1; App H O.5).
U.3 The Baryonic Triad (N=15)
The base exponent 15 for the Proton mass () is forced by the (3×5) Closure:
- 3 Quarks: Representing the internal degrees of freedom.
- 5-Fold Symmetry: The fundamental rotational symmetry of the icosahedron. The product gives the number of gluonic winding states that close the baryonic knot — a Tier-2 structural mechanism, not an arbitrary fit. As with the lepton exponents (§U.2), the specific base value is Tier 3 pending the QLQCD closure target (§U.4), and the full exponent carries the Tier-3 Berry-phase correction handle (App R).
U.4 Remaining Ansatz Terms and Integer Anchors [Mixed Tier]
The multi-exponent geometric template is Tier 2: leptons, baryons, and correction terms are restricted to symmetry-octave nodes and icosahedral projection data rather than arbitrary real-valued fits. The specific base exponents are Tier 3 fixed pending the QLQCD closure target (Ch08 §8.3.1; App H O.5/O.14/O.15); extracting the solitonic eigenvalues ab initio remains the closure target. Certain precision correction terms also remain at the Ansatz Level:
| Term | Role | Status |
|---|---|---|
| Muon phason drag | channel multiplicity is analytically anchored; equal-weight conversion to the pole-mass coefficient is Tier 3 pending first-principles GCT self-energy / HPC eigenvalue closure | |
| Proton projection shift | Derived via holonomy proof in protocol_proton_berry_phase.py. | |
| ppm | α residual | Tier 2 (Target). Identified as the Phason Anti-Screening shift. Defines the 1-loop research debt. |
| Electroweak Mixing Correction | Tier 2 exponent arithmetic + Tier 3 pole-mass residual closure. The product is exact as exponent arithmetic in the registered readout, while its use in the absolute muon/Higgs pole-mass comparison remains conditional on O.15/O.5/O.19/O.26 closure. |
By identifying these terms explicitly, GCT maintains epistemic discipline. The Tier 2 structural claim is the multi-exponent geometric template; the current specific integer values and precision residuals are the closure frontier.
U.5 Statistical Significance (Look-Elsewhere Analysis)
To prove that the GCT mass spectrum matches are not the result of "numerological cherry-picking," we perform a rigorous Look-Elsewhere Analysis.
U.5.1 Search Space Size
The search space is defined by the Symmetry Octave rule: . The allowed operators are limited to .
U.5.2 Probability of Chance Match
If the Lepton mass ratios ( and ) were random numbers, the probability of them falling within ppm of a simple power for is:
- Muon ():
- Tau ():
U.5.3 Combined Significance (Pre- and Post-LEA)
The raw combined probability of chance-matching both lepton mass exponents (N=11 and N=17) to 20 ppm precision simultaneously, within the shell-filling constraint , yields:
- Canonical headline (broad internal look-elsewhere): ≈2.6σ from the full multi-base sweep over Lucas-vs-non-Lucas exponent assignments (Firewall §3 Master Statistical Table + App R §R.9.2).
- Conditional auxiliary: ≈3.1σ under the Conservative full-SM-texture window across ~25,000 trial pairs. The window choice is itself a framework-internal prior; citing this figure as headline without naming the window prior is significance laundering under the Firewall governance discipline.
- Conditional auxiliary: ≈4.4σ under the framework's depinning-threshold prior (153 trial pairs; the lower bound is itself a structural postulate per Ch08 §8.1.1). Citing this figure as headline without naming the conditioning prior is significance laundering under the Firewall governance discipline.
- No separate Postulate-G auxiliary is retained under the Galois-compatible search space. Postulate G restricts admissible exponent arithmetic to Galois-compatible integer powers rather than to Lucas numbers specifically; within that search space it does not supply an additional narrower trial factor beyond the canonical multi-base / depinning-window disclosures. Postulate G remains a structural postulate of the framework rather than an independently established constraint.
The canonical headline figure across the manuscript is ≈2.6σ (broad internal look-elsewhere); the 3.1σ and 4.4σ figures are conditional auxiliaries cited only with their conditioning priors named at the point of citation — subject also to the search-space disclosure of §U.5.4 below. A Lucas-only / Postulate-G-only auxiliary is not supported when Postulate G is treated as the integer-exponent condition .
U.5.4 Search-Space Disclosure
The 4.4σ conditional auxiliary of §U.5.3 holds conditional on the search space being the 153 trial pairs in with the shell-filling constraint and the operator set restricted to . A hostile reviewer can legitimately object that the actual GCT manuscript invokes a wider family of expressions across Volumes 2–3, including:
- -powers and Galois-compatible integer exponents ( several hundred candidates after symmetry-octave + Galois pre-filtering);
- mixed lepton-harmonic ladders ( tens of cross-terms);
- -corrections at zeroth, first, and second order ( thirty operator forms when combined with the above);
- icosahedral-group-theoretic coefficients (Clebsch–Gordan products, dimensions of irreps, orbit lengths) — a few dozen distinct rationals;
- bilayer / cage factors (e.g., , ) — a small but non-zero family of dressings.
If one removes the symmetry-octave + Galois-rationality pre-filters and counts the full unfiltered reachable-expression set across all of these classes, a hostile bound estimates approximately expressions. Under that wider correction, the lepton-pair significance would degrade from to approximately — a substantially weaker result.
The GCT position on this widening. The 4.4σ conditional auxiliary is meaningful within the symmetry-octave + Galois-rationality framework — i.e., within the pre-filter the manuscript actually uses to select expressions for new predictions. Outside that pre-filter, the 4.4σ figure does not apply, and the bare lepton-pair coincidence carries only after LEA correction under the widest hostile bound. The broad internal look-elsewhere ≈2.6σ canonical headline sits at the conservative edge of this band; the 3.1σ Conservative-SM-texture-window-conditional and 4.4σ depinning-window-conditional figures are auxiliaries above it. The full evidential case for GCT therefore does not rest on the lepton-pair LEA alone — it rests on the conjunction of: (i) the lepton pair at the broad internal look-elsewhere ≈2.6σ canonical (with 3.1σ Conservative-window-conditional and 4.4σ depinning-prior-conditional auxiliaries); (ii) App-FM postdiction-consistency and algebraic-coherence rows for the Higgs VEV, proton mass, fine-structure-constant bilayer, and CP-violating phase predictions (V3 Ch7–10, App R), which are internal-alignment evidence rather than in-favor empirical detection pills. App FM currently records zero DETECTED-TIGHT and zero DETECTED-MARGINAL rows; rows marked POSTDICTION-CONSISTENT, CONSISTENT, ALGEBRAIC, PENDING-α-RESOLUTION, AT-GATE TENSION, CURRENT-DATA-TENSION, OPEN-RESEARCH, OPEN-CONDITIONAL, or PENDING-VERIFIER are not counted as in-favor empirical detection evidence. The muon channel is registered as Tension under WP2025 pending HVP-synthesis arbitration rather than load-bearing empirical evidence; (iii) the Tier 1/2 protocol-A-prime and protocol-D falsifiability paths (V3 Ch13, Ch16); and (iv) the substrate-prediction divergences from IIT / Orch-OR / Illusionism (V1 Ch16–17). No single observable is load-bearing; the conjunction is what is intended to be persuasive.
For readers who want only LEA-conservative evidence: the broad internal look-elsewhere canonical headline is ≈2.6σ; under the widest hostile-bound search space (no pre-filter at all), the lepton-pair coincidence degrades to ≈2.5σ. The load-bearing case across the manuscript rests on the conjunctive evidence in (ii)–(iv) above, not on the lepton-pair LEA alone. Readers who accept the symmetry-octave + Galois-rationality framework as a prior established by the geometric derivation chains (rather than as a post-hoc filter) may regard the 4.4σ depinning-threshold conditional figure as evidentially relevant within that prior; no separate Postulate-G/Lucas-only auxiliary is retained. The choice between these readings is a Tier 3 methodological judgement and is disclosed at the point of citation rather than buried in the headline.
U.6 Lemma III (Complete Proof): Uniqueness of the Icosahedral Vacuum [Tier 2]
The lemma assumes the maximal-finite-point-symmetry axiom rather than bare isotropy alone. Octahedral and tetrahedral point groups also satisfy macroscopic finite-point isotropy, so isotropy by itself cannot choose the icosahedral substrate. The additional architectural premise is that the discrete vacuum uses the largest finite rotational order compatible with three-dimensional point symmetry; within that premise, the following cohomological and spinorial classification selects the icosahedral branch. This is why the Axiom Ledger classifies the substrate as an architectural postulate rather than a deductive consequence of isotropy alone.
Lemma III: Proof Status [Tier 1/2 — Uniqueness-Justified Structural Postulate]
Lemma III is established by two complementary proofs that together cover the logical space of quasicrystalline alternatives, conditional on the architectural commitment that the physical vacuum admits a polyhedral 3D point-group symmetry:
§U.6.1 (Group Cohomology / Schur Multipliers): Among binary polyhedral candidates (, , ), only (Icosahedral) is perfect with , guaranteeing a unique universal central extension (). Tetrahedral and octahedral alternatives fail this perfectness condition.
§U.6.2 (Atiyah–Hirzebruch / Stiefel–Whitney ): Among non-polyhedral quasicrystalline symmetries (Decagonal , Octagonal ), the classifying spaces carry a topological obstruction that prevents a globally consistent Spin structure without introducing a new structural handle.
Together, §U.6.1 + §U.6.2 eliminate every quasicrystalline competitor — binary polyhedral and non-polyhedral alike — once the vacuum is required to admit a polyhedral 3D symmetry that supports Spin structure. Both proofs invoke standard textbook constructions (group cohomology and the Atiyah–Hirzebruch spectral sequence); the architectural commitment is the premise, not the proof. Lemma III is therefore classified Tier 1/2 (Uniqueness-Justified Structural Postulate): the elimination of competitors is unconditional within the postulated class; the elevation to full Tier 1 would require an axiom-level argument that the vacuum must possess polyhedral symmetry rather than, for example, no symmetry at all.
Lemma III (Complete Proof): All irrational ordered (quasicrystalline) projections with fail to produce a 3D symmetry group admitting the required spinorial double cover.
Proof via McKay correspondence classification:
Every quasicrystalline projection has an associated 3D point group and a binary polyhedral double cover . By the McKay correspondence, determines a unique simply-laced Lie algebra:
| Order | 3D group | McKay Lie algebra | Natural lattice dim | |
|---|---|---|---|---|
| 2T | 24 | A₄ (tetra) | E₆ | 6D (but no RT) |
| 2O | 48 | S₄ (octa) | E₇ | 7D |
| 2I | 120 | A₅ ≅ H₃ | E₈ | 8D → 6D sub-lattice |
Note on Dark Branches: While Lemma III demands the icosahedral full manifold for the baryonic Standard Model phase, the discrete geometric projection physically populates the smaller, highly symmetric subalgebras ( and ). These structures exist as non-interacting "Dark Sectors," sheltering sterile neutrinos and dark gauge bosons (e.g., in the adjoint ) without violating the fundamental uniqueness.
GCT requires simultaneously:
- A₅ ≅ H₃ symmetry (icosahedral RT acceptance window — Theorem 4.2)
- Binary spinorial double cover (fermion 4π cycle — Chapter 15)
- E₈-compatible 6D parent lattice (App_K stiffness hierarchy)
Only 2I satisfies all three. The silver ratio () generates octagonal symmetry (2O → S₄), which fails condition 1. The tetrahedral case (2T → E₆) produces a 6D algebra but with the wrong symmetry structure (A₄ ≠ A₅ — no 5-fold axes, no RT window). □
The GCT protocol gct_mckay_e8.py verifies the E₈ → H₄(600-cell) → 2I chain
numerically. This lemma provides the algebraic WHY behind that numerical result.
[!NOTE] Theoretical Note: Grassmannian Arithmetic Geometry The -optimality Diophantine gap proof has a natural extension in arithmetic geometry. The icosahedral lattice defines a rational point on the Grassmannian over . The Bogomolov–Zhang theorem on the distribution of algebraic points of small Weil height implies that lattices achieving the Diophantine approximation optimum must correspond to CM (complex multiplication) points on this Grassmannian. The icosahedral lattice, defined over with , is precisely a CM point. This suggests the icosahedral selection is globally optimal—the unique CM Grassmannian point achieving minimum height. [Tier 4 — Open Conjecture] Formal verification is left as an open mathematical problem.
U.6.1 Universal Proof via Group Cohomology and Schur Multipliers [Tier 1]
A physical vacuum must admit a stable Spin Structure to support fermions (spinors). Topologically, this requires the point group to possess a unique Universal Central Extension by . This property is determined by the Schur Multiplier and the Perfectness of the group ().
Comparative Analysis of Quasicrystal Symmetries:
| Group | (Abelianization) | Perfect? | Schur Multiplier | Spin Structure Status |
|---|---|---|---|---|
| (Icosahedral) | 0 | Yes | Unique, Stable () | |
| (Decagonal) | No | 0 | Obstructed / Non-Universal | |
| (Octagonal) | No | Non-Unique (Path Dependent) | ||
| (Dodecagonal) | No | Non-Unique (Path Dependent) |
Proof: Only the Icosahedral group is Perfect. Its trivial abelianization () ensures that the central extension is universal. The Schur Multiplier guarantees that this extension is exactly the Binary Icosahedral Group (), which acts as the Spinor covering group.
For all other quasicrystalline point groups (Dihedral family ), the group is solvable, not perfect (). Consequently, they do not admit a Universal Central Extension. The definition of a spinor in such geometries is either topologically obstructed () or context-dependent (non-unique lifting), violating the Axiom of Intelligibility.
Conclusion: Icosahedral geometry is the unique 3D discrete symmetry capable of supporting a globally consistent, unobstructed fermion spectrum.
U.6.2 Supporting Proof via Cobordism Theory (Closing the Quasicrystal Loophole)
The McKay-correspondence proof above addresses binary polyhedral groups but does not by itself rule out non-polyhedral quasicrystalline symmetries such as the Decagonal () or Octagonal () point groups, which exist in physical quasicrystals. The following argument eliminates all remaining candidates using a topological obstruction.
Proof via Atiyah-Hirzebruch Spectral Sequence (Cobordism):
A physical vacuum must admit a globally consistent Spin Structure in order to support fermionic matter. In topological field theory, the existence of a spin structure on the classifying space of a symmetry group is determined by the vanishing of the second Stiefel-Whitney class in the cohomology group .
Evaluating for each candidate quasicrystalline point group :
Symmetry Group Classifying Space obstruction Spin Structure? Icosahedral () ✓ Unobstructed Decagonal () ✗ Obstructed Octagonal () ✗ Obstructed Tetrahedral () ✗ Obstructed Only the Icosahedral group has , meaning it is the unique quasicrystalline point group that allows a globally consistent definition of spinor fields without breaking the lattice symmetry.
Physical implication: A Decagonal or Octagonal vacuum would require a Spin structure rather than a true Spin structure, introducing an additional principal bundle. This extra bundle is an unregistered structural input under the current 5-postulate-plus-3-anchor ledger and would need explicit free-parameter accounting before it could compete with the registered icosahedral substrate.
This topological obstruction therefore proves Lemma III for all possible quasicrystalline point groups, not merely the binary polyhedral subgroups addressed by the McKay correspondence. The Icosahedral vacuum is uniquely selected at the level of cobordism invariants, prior to any dynamical calculation.
Synthesis: The Schur Multiplier proof (§U.6.1) and the cobordism obstruction proof (§U.6.2) are logically independent and jointly exhaustive. Together they prove Lemma III for all conceivable quasicrystalline competitors — binary polyhedral and non-polyhedral alike. Lemma III is hereby classified Tier 1 (Complete Proof by Exhaustion).
U.7 Theorem T-McKay: The 6D Parent Lattice as a Derived Necessity
Cross-reference note. This section supplies the formal proof of Theorem T-McKay, the disposition of which is referenced in the Global Abstract, the Axiom & Postulate Ledger §2, App G §G.2.5 (Tier 1/2 classification), App T §T.1 (Tier audit row "6D Parent Lattice"), and downstream lattice-action chapters of Volumes 2 and 3. The level of rigor follows the modular-reduction template established for the Polaron Unity Proposition in Appendix Y: four of the five required lemmata are closed in this appendix or in the cited literature; the single remaining structural gap is itemized in §U.7.6 with an explicit reduction to a finite spectral-flow calculation.
U.7.1 Statement
Theorem T-McKay (6D Parent Lattice as a Derived Necessity) [Tier 1/2 — modular reduction, closing lemma is currently a Tier-3 consistency check on a non-symmetric truncation per §U.7.6.3; see §U.7.6 for the bounded sub-steps and the cage-symmetry caveat]. Let the physical vacuum admit (a) a discrete 3D point-group symmetry supporting a globally consistent Spin structure (Lemma III, §U.6), and (b) persistent topological knotting of one-dimensional defects (Theorem E.1; Axiom of Intelligibility under the dimensional Knot-Theoretic Bound). Then the 6-dimensional Euclidean integer lattice is uniquely determined as the minimal periodic parent lattice of the cut-and-project ansatz, via the three-step chain:
Theorem-vs-Lemma framing. Four of the five required sub-results are Tier-1 closed at the literature level (Lemmata III, T-McK.2, T-McK.3, T-McK.4). The closing sub-step T-McK.1b is currently a Tier-3 consistency check (§U.7.6.3): the engine's 144-node cage adjacency is not exactly -symmetric, so the spectral-asymmetry argument on the cage cannot be made structurally on the cage as implemented (§U.7.6.6 footnote 3). "Theorem T-McKay" is therefore better read as "T-McKay Forcing Chain" — a Tier-1/2 modular reduction in which the closing step is structurally identified but not yet closed at theorem-level rigor. Tier-1 elevation requires either (i) rebuilding the cage as a canonical union of -orbits with a uniqueness rule selecting the partition (§U.7.6.6 path (a)), or (ii) the smooth-side Connes-Moscovici character-theoretic evaluation on the continuous orbit. Tracked under Open Problem O.14b (App H §H.5).
Each arrow is forced (uniquely) by a closed result in the published mathematical literature, with the single exception of the Spin-Statistics dependency in Step 1, which is reduced (§U.7.6) to a finite spectral-flow computation on the boundary of the rhombic-triacontahedron acceptance window — the Atiyah–Patodi–Singer (APS) defect-index identification.
The proof proceeds via three forcing lemmata (T-McK.1, T-McK.2, T-McK.3) and one closure lemma (T-McK.4). Lemmata T-McK.2, T-McK.3 and T-McK.4 are Tier 1 (closed in the literature). Lemma T-McK.1 reduces to two sub-claims: T-McK.1a (algebraic — the spinor cover step, Tier 1) and T-McK.1b (analytic — the APS defect-index identification, Tier 2 with explicit reduction). The present disposition is therefore Tier 1/2 in the sense of App G §G.2.5, with the residual analytic gap bounded by §U.7.6.
U.7.2 Preliminaries
U.7.2.1 Notation and standing hypotheses
Throughout this section we adopt the following notation, all of which is standard in the literature:
| Symbol | Meaning |
|---|---|
| Discrete polyhedral 3D point group selected by Lemma III §U.6 | |
| Universal central extension of by (Schur cover) | |
| Alternating group on 5 letters; | |
| Binary icosahedral group; order 120; | |
| Exceptional simply-laced Lie algebra of rank 8; root system has 240 roots | |
| Non-crystallographic Coxeter group of rank 4; $ | |
| Rhombic triacontahedron in (acceptance window) | |
| Boundary of the acceptance window; closed 2-manifold | |
| Atiyah–Patodi–Singer -invariant of the Dirac operator | |
| APS boundary-corrected Dirac index | |
| Defect index — the integer associated to a stable knotted defect via the WZW holonomy / APS spectral flow |
The standing hypotheses inherited from prior sections are:
Hypothesis H1 (Polyhedral premise). The vacuum point group admits a discrete 3D polyhedral symmetry supporting a globally consistent Spin structure. (Lemma III, §U.6.1 + §U.6.2 — Tier 1 by exhaustion within the polyhedral class.)
Hypothesis H2 (Knot-theoretic premise). Persistent topological knotting of one-dimensional defects is supported by the physical slice . (Theorem E.1, App E §E.1 — Tier 1; the knot-theoretic bound is independent of GCT-specific architecture.)
U.7.2.2 The McKay correspondence (standard form)
The McKay correspondence (McKay 1980) is a bijection between conjugacy classes of finite subgroups of and simply-laced affine Dynkin diagrams of type ADE. For binary polyhedral subgroups:
| Binary group | Order | Base group | McKay graph | Lie algebra |
|---|---|---|---|---|
| Binary cyclic | ||||
| Binary dihedral | ||||
| Binary tetrahedral | 24 | |||
| Binary octahedral | 48 | |||
| Binary icosahedral | 120 |
The correspondence assigns to each the affine Dynkin diagram whose vertices are the irreducible complex representations of and whose edges are determined by the decomposition of the defining 2-dimensional representation tensored with each irrep (the "McKay multiplication rule"). The Lie algebra associated to is the finite ADE algebra obtained by deleting the affine node. [Tier 1 — closed in McKay 1980; modern textbook treatment in Steinberg, Representation Theory of Finite Groups §10.]
U.7.2.3 The Elser–Sloane projection (standard form)
The Elser–Sloane projection (Elser & Sloane 1987, J. Phys. A 20: 6161) is the explicit linear map defined by the matrix which sends the 240 roots of exactly onto the 120 vertices of the 600-cell (the root system), doubly covered. The eigenvalues of the Coxeter element of are for and therefore have unit modulus. The Golden Ratio enters instead through the Cartan entry , the associated pentagonal root metric, and the Elser-Sloane cut-and-project geometry via ; it is not the modulus of a Coxeter-element eigenvalue. The further projection from onto its sub-root-system yields the icosahedral 3D quasicrystal, with acceptance window the rhombic triacontahedron . [Tier 1 — closed in Elser & Sloane 1987; verified independently in Moody & Patera 1993, J. Phys. A 26: 2829.]
U.7.2.4 The Atiyah–Patodi–Singer framework (standard form)
For a compact Riemannian manifold with boundary and a Dirac operator acting on a spinor bundle, the Atiyah–Patodi–Singer index theorem (Atiyah, Patodi & Singer 1975, Math. Proc. Camb. Phil. Soc. 77: 43) states where is the dimension of the kernel of the boundary Dirac operator and is the Atiyah–Patodi–Singer -invariant — the regularized spectral asymmetry of . The -invariant is a real number, and on a 2-dimensional closed boundary it takes values in for finite-symmetry-orbit configurations (Connes & Moscovici 1995, Geom. Funct. Anal. 5: 174, Theorem 4.1). [Tier 1 — closed in APS 1975; the rationality on finite-orbit boundaries is Tier 1 from Connes–Moscovici 1995.]
U.7.3 Forcing Lemmata
Lemma T-McK.1a (Spinor cover: ) [Tier 1]
Let be the icosahedral rotation group. Then the unique universal central extension of by is the Binary Icosahedral Group , and is the unique perfect double cover of inside .
Proof. The argument is closed by group cohomology. The Schur multiplier of is (Aschbacher, Finite Group Theory, 2nd ed., §33.15), and is perfect: (since is the smallest non-abelian simple group). A perfect group with Schur multiplier admits a unique universal central extension; this universal extension is the Schur cover. For , the Schur cover is , of order 120 (Conway et al., ATLAS of Finite Groups, p. 2; Steinberg, Lectures on Chevalley Groups §7). The image of in under the standard 2-dimensional irreducible representation is the binary icosahedral group, and this embedding is unique up to conjugation by Schur–Zassenhaus.
Remark. This step is the algebraic content of the §U.6.1 argument, restated as a forcing lemma for Theorem T-McKay. The non-perfectness of (the tetrahedral case has ) and of (octahedral: ) is what makes their double covers non-universal; the icosahedral case is the unique perfect entry in the polyhedral table. The combination of perfectness () and is closed under the Schur–Zassenhaus theorem (Robinson, A Course in the Theory of Groups, §11.1).
Lemma T-McK.1b (Spinor stability: persistence of -spinors under defect-knot formation) [Tier 2 — reducible to a bounded APS computation; see §U.7.6]
Let be a stable knotted defect of the form constructed in Theorem E.1, and let denote the spinor representation of the binary icosahedral group. Then the parallel transport of a -spinor field along the meridian of the defect tubular neighborhood induces a non-trivial holonomy in , and the topological obstruction to global trivialization of the spinor bundle is captured by the Atiyah–Patodi–Singer -invariant on . The defect-index identification is the conjectured closure datum.
Status. The structural identification (LHS) is Tier 1 via the WZW evaluation of App C §C.4: a rotation of a tethered defect produces holonomy , yielding the half-integer spin signature. The quantitative identification (RHS — the specific value matching the electron mass exponent) is Tier 2, reducible to an explicit APS spectral-flow computation on the boundary of the acceptance window. This is the single remaining structural gap in the chain; the explicit reduction is itemized in §U.7.6.
Remark T-McK.1b.A [Why the gap is bounded]. The APS -invariant on — a closed 2-manifold of genus 30 (the rhombic triacontahedron has 30 rhombic faces; after the standard simplicial refinement, the dual graph yields the same Euler characteristic) — is a finite spectral computation. Connes & Moscovici 1995 (Theorem 4.1) shows that takes values in on finite-symmetry-orbit boundaries; the explicit value is computed by enumerating the spectrum of the boundary Dirac operator on a fundamental domain of the icosahedral group action on and applying the trace formula of Connes 1994, Ch. VI §3. The computation is bounded in the same sense as step Y.6.3 of Appendix Y: it is operator-algebra bookkeeping, not new mathematics.
Lemma T-McK.2 (McKay-correspondence forcing: ) [Tier 1]
Under the McKay correspondence, the binary icosahedral group is mapped to the simply-laced affine Dynkin diagram . Deleting the affine node yields the finite Dynkin diagram , which is the unique simply-laced Lie algebra of rank 8 with a 240-vertex root system in .
Proof. The McKay correspondence is a closed result (McKay 1980; modern proof in Slodowy, Simple Singularities and Simple Algebraic Groups, Springer LNM 815). The specific assignment is verified by computing the McKay graph of : the 9 irreducible complex representations of (of dimensions ) form the vertices, and the edges are computed from the decomposition of where is the defining 2-dimensional representation. The resulting graph is the affine Dynkin diagram (Conway & Sloane, Sphere Packings, Lattices, and Groups, §4.10). Deletion of the affine node yields the Dynkin diagram, and the root system contains exactly 240 roots of squared length 2 — the largest exceptional simply-laced root system (Bourbaki, Lie Groups and Lie Algebras, Ch. VI §4). Among the McKay-associated Lie algebras for binary polyhedral groups, is the unique one of rank ; this rank-uniqueness is what subsequently forces the parent-lattice dimension to be 8 prior to the Elser–Sloane reduction.
Lemma T-McK.3 (Elser–Sloane forcing: ) [Tier 1]
The Elser–Sloane projection sends the root system onto the root system; the further reduction selects an integer sub-lattice of rank 6 inside as the unique minimal periodic parent lattice whose cut-and-project image is the 3D icosahedral quasicrystal. The dimension 6 is the rank of the orbit sub-lattice selected by the Coxeter element.
Proof. The root system contains a sub-system as a maximal-rank sub-root-system (Bourbaki, Lie Groups and Lie Algebras, Plate VII). Under the Elser–Sloane projection, the component projects to the 60 root vectors of the icosahedral 3D lattice (the Ammann–Kramer–Neri lattice; Kramer & Neri 1984, Acta Crystallographica A40: 580). The integer span of these 60 vectors in is the hypercubic sub-lattice of , and Moody & Patera 1993 (Theorem 3.2) shows this is the unique periodic sub-lattice of whose Elser–Sloane image is the icosahedral 3D quasicrystal. The minimality is established by the rank inequality: any periodic parent lattice of an aperiodic structure with rotational symmetry of order requires rank where is Euler's totient (Senechal, Quasicrystals and Geometry, §2.6); for , , but the embedding of a 3D icosahedral structure in a hypercubic lattice with full symmetry requires rank , with 6 being achieved.
Remark T-McK.3.A. The dimension count is the same as Bak's 1985 "Phenomenological theory of icosahedral incommensurate order" (Phys. Rev. Lett. 54: 1517), in which the indexing problem for the icosahedral phase forces a 6-dimensional Miller-index space. The Elser–Sloane projection is the canonical realization; alternative projections (e.g., Kalugin–Kitayev–Levitov 1985, JETP Lett. 41: 145) give the same dimension by the same totient argument.
Lemma T-McK.4 (φ-slope forcing: the Cartan/root-metric slope) [Tier 1]
The projection slope of the Elser–Sloane map is exactly ; this slope is forced by the Cartan entry , the golden-ratio root metric, and the cut-and-project geometry, with no continuous adjustable parameter.
Proof. The Coxeter element has order (the Coxeter number of ). Its eigenvalues on are where are the degrees of 's fundamental invariants (Humphreys, Reflection Groups and Coxeter Groups, §3.7). These Coxeter-element eigenvalues lie on the unit circle and do not have magnitude . The golden ratio enters instead through the pentagonal Cartan entry and the associated root metric: and this golden metric fixes the irrational cut-and-project slope of the Elser–Sloane map. The Elser–Sloane projector is the orthogonal projection onto the -adapted plane determined by the pentagonal simple-root geometry; the slope is the golden-ratio metric of that plane, not the modulus of a Coxeter-element eigenvalue. No continuous real parameter enters the construction: the slope is fixed by the Cartan/root system, which is fixed by the Lie-algebraic structure of .
U.7.4 Proof of Theorem T-McKay
Assembling the lemmata:
- Lemma III (§U.6.1 + §U.6.2) forces as the unique 3D polyhedral group supporting Spin structure within the quasicrystalline class. Tier 1 by exhaustion.
- Lemma T-McK.1a forces as the unique universal spinor cover of . Tier 1 — Schur cover.
- Lemma T-McK.1b identifies the Spin-Statistics dependency: persistent fermion knotting at the icosahedral vacuum requires the WZW phase of App C §C.4 to be the correct APS defect index. The algebraic step is Tier 1; the quantitative APS computation is Tier 2 with the reduction of §U.7.6.
- Lemma T-McK.2 forces as the unique simply-laced Lie algebra in the McKay correspondence assigned to . Tier 1 — closed in McKay 1980.
- Lemma T-McK.3 forces as the unique minimal periodic parent lattice via the Elser–Sloane projection . Tier 1 — closed in Elser–Sloane 1987 and Moody–Patera 1993.
- Lemma T-McK.4 forces the projection slope to be . Tier 1 — closed in Humphreys §3.7 and the Cartan/root metric.
Composing the chain: with the slope forced by T-McK.4 at the intermediate stage. The 6-dimensional parent lattice is uniquely determined by the polyhedral premise H1 and the knot-theoretic premise H2, modulo the Spin-Statistics analytic closure of T-McK.1b.
Computationally verified by gct_mckay_e8.py (Protocol R-025). See data/mckay_e8_report.json.
U.7.5 Tier disposition table
| Step / Lemma | Tier | Closure status |
|---|---|---|
| Lemma III (Polyhedral premise H1) | Tier 1 | Closed by §U.6.1 + §U.6.2 (Schur cohomology + Atiyah–Hirzebruch ). |
| Theorem E.1 (Knot-theoretic premise H2) | Tier 1 | Closed in App E §E.1. |
| Lemma T-McK.1a (Spinor cover: ) | Tier 1 | Closed by Schur cover and Aschbacher §33.15. |
| Lemma T-McK.1b (Spinor stability: APS defect index) | Tier 2 framework + Tier 3 current implementation | Reduces to a finite spectral-flow computation on (§U.7.6); the current §U.7.6.3 implementation is a Tier-3 consistency check on a non--symmetric truncation (§U.7.6.6 footnote 3). Theorem-level closure (Tier 1) requires either path (a) cage rebuild as canonical -orbit union or path (b) smooth-side Connes-Moscovici evaluation. |
| Lemma T-McK.2 (McKay: ) | Tier 1 | Closed by McKay 1980 + Slodowy LNM 815. |
| Lemma T-McK.3 (Elser–Sloane: ) | Tier 1 | Closed by Elser & Sloane 1987 + Moody & Patera 1993. |
| Lemma T-McK.4 (-slope from Coxeter) | Tier 1 | Closed by Humphreys §3.7. |
| Theorem T-McKay Forcing Chain — overall | Tier 1/2 modular reduction; closing lemma T-McK.1b at Tier 2 framework + Tier 3 current implementation | Four of five forcing lemmata closed at Tier 1 in the published literature; the closing lemma T-McK.1b is reduced to a finite spectral-flow computation but the current §U.7.6.3 implementation is a Tier-3 consistency check on a non-symmetric truncation (Open Problem O.14b). Under strict chain-tier arithmetic (chain tier = min(lemma tiers)), the forcing chain currently sits at Tier 3 implementation under a Tier 2 modular-reduction framework; Tier-1 elevation requires closure of O.14b via path (a) or (b) of §U.7.6.6. |
The disposition is the analogue, for the parent-lattice forcing chain, of the Polaron Unity Proposition's Tier 3 conditional trefoil-case modular reduction (App Y §Y.7). The structural difference is that for T-McKay, four of the five forcing lemmata are closed at Tier 1 in the published literature, and only the analytic step T-McK.1b carries a structural reduction; the Polaron Unity disposition closes four lemmata but the bridge lemma Y.3.4 is reduced to an operator-algebra computation that remains conditional for the trefoil case through §Y.6.3a, O.35, and O.36, and remains conditional on Open Problem O.18 plus §Y.6.3a/b for the general prime-knot extension. T-McKay is therefore one step closer to a fully closed result than Polaron Unity: closure of T-McK.1b would elevate the entire chain to Tier 1, whereas the App Y trefoil reduction is the candidate for Theorem-level promotion contingent on App Y O.35/O.36 closure.
U.7.6 The remaining gap (Lemma T-McK.1b) — modular reduction list
The single structural gap in Theorem T-McKay is the analytic closure of Lemma T-McK.1b: identification of the WZW holonomy phase of App C §C.4 with the APS defect index of the boundary of the rhombic-triacontahedron acceptance window. The reduction proceeds in four bounded sub-steps:
| Sub-step | Required | Status |
|---|---|---|
| U.7.6.1 | Existence of a smooth Dirac operator on the icosahedral cut-and-project manifold with boundary . | Standard; follows from the icosahedral Spin structure of §U.6.1 and the standard construction of Dirac operators on spin manifolds (Lawson & Michelsohn, Spin Geometry, §II.5). |
| U.7.6.2 | The boundary admits a closed-form spectrum of $D | {\partial \mathcal{M}{RT}}$ computable as an icosahedral orbit decomposition. |
| U.7.6.3 | The APS -invariant $\eta(D | {\partial \mathcal{M}{RT}})n_{\mathrm{def}} = -\tfrac{1}{2}\eta = -107$ under the convention of this section. |
Normalization convention reconciliation (with V3 Ch07 §7.2.3). Two conventions appear across the manuscript for the APS -invariant on , and they reconcile as follows. This section (§U.7.6.3) uses the integer-index convention: , so the load-bearing identity corresponds to (a positive integer, after accounting for the factor-of-2 spinor-cover normalization in the APS boundary-corrected index formula). V3 Ch07 §7.2.3 uses the continuous-shift convention: the residual identifies directly with twice the post-bilayer fine-structure-constant residual, (non-integer in the continuum, integer-valued in the discrete-graph approximation as ). The two conventions differ by the factor-of-2 spinor-cover / line-bundle normalization standard in APS theory (Atiyah–Patodi–Singer 1975, Theorem 3.10) and are not in contradiction; the engine's computed on the -closed 152-cage is the discrete-graph proxy for the §7.2.3 continuous quantity, not for the §U.7.6.3 integer-index , and the discrete value does not currently close the integer-bulk requirement on either available -closed cage at perp_cutoff . Tier-1 closure of O.14b/c (via §U.7.6.6 path (a) or (b)) would also pin the normalization explicitly and identify an integer-bulk-closing cage geometry; until then, comparisons between §7.2.3 numerical claims and §U.7.6.3 integer-index identifications must apply the factor-of-2 conversion and treat the integer-recovery as an open question. | U.7.6.4 | The result is stable under perturbations of the cut-and-project window within the icosahedral homotopy class. | Standard; APS -invariants are deformation-invariants under continuous variation of Dirac operators (APS 1975, Theorem 3.10). |
The disposition of T-McKay is therefore Tier 1/2 modulo sub-step U.7.6.3, the latter being a finite spectral-flow computation. Closure of U.7.6.3 would elevate the theorem to Tier 1 (Logical Necessity), since all four forcing lemmata would then be closed at Tier 1 and the chain would constitute an unconditional derivation of the 6D parent lattice from the polyhedral and knot-theoretic premises H1 and H2.
U.7.6.5 References for the open step
The path to closing U.7.6.3 uses the following independently established results:
- Atiyah, M. F., Patodi, V. K., & Singer, I. M. (1975). "Spectral asymmetry and Riemannian geometry. I." Math. Proc. Camb. Phil. Soc. 77: 43–69. — Defines the -invariant and the APS boundary-corrected index theorem; supplies the deformation-invariance of Theorem 3.10.
- Connes, A. (1994). Noncommutative Geometry. Academic Press, Ch. III §6 and Ch. VI §3. — Supplies the character-theoretic spectral decomposition on finite- boundaries needed for U.7.6.2.
- Connes, A., & Moscovici, H. (1995). "The Local Index Formula in Noncommutative Geometry." Geom. Funct. Anal. 5: 174–243, Theorem 4.1. — Establishes rationality of on finite-symmetry-orbit boundaries; supplies the trace-formula reduction needed for U.7.6.3.
- Lawson, H. B., & Michelsohn, M.-L. (1989). Spin Geometry. Princeton Mathematical Series 38, §II.5. — Standard reference for Dirac operators on icosahedral Spin manifolds.
The composition of (1)–(4) reduces U.7.6.3 to an explicit computation of the icosahedral -character on the 60-element orbit of the rhombic triacontahedron's vertex set. The computation is operator-algebra bookkeeping on a finite-dimensional representation space; it is bounded in the same sense as step Y.6.3 of Appendix Y.
U.7.6.6 Engine numerical confirmation [Tier 3]
The defect-index identification of U.7.6.3 has been probed numerically via GCT_Physics_Engine/src/protocol_aps_index_proof.py. The script constructs the 6D Dirac operator on the canonical -closed boundary cage of a vacancy (152 nodes; 5 full orbits per cage_builder.build_canonical_cage, the smallest -closed orbit-union at perp_cutoff that includes the outermost 60-orbit required for -symmetric spectral analysis), assembles the 8-component Clifford spinor bundle from Pauli-product -matrices for , applies the standard discrete spectral-asymmetry counting (positive minus negative eigenvalues of the Dirac operator divided by the spinor dimension 8), and reports the bulk value that would be required to recover via the APS decomposition. The result, archived in GCT_Physics_Engine/data/protocol_aps_index_proof_results.json, is:
| Quantity | Engine value (I_h-closed 152-cage) |
|---|---|
| Boundary spectral asymmetry | |
| Spinor-reduced | |
| Bulk value required to recover via | (non-integer) |
The bulk value required to recover the empirically-anchored exponent via the APS decomposition on the canonical -closed boundary cage (152 nodes; 5 full orbits per cage_builder.build_canonical_cage) is not an integer. Since the bulk contribution is a Pontryagin-class evaluation that must be integer-valued, the APS decomposition does not cleanly close at integer arithmetic on this cage geometry: the discrete engine computation alone does not numerically confirm .
This is not evidence that is wrong — the empirical anchor (mass formula matches CODATA to ppm) is independent of the APS construction. It is evidence that the APS pathway to is genuinely open: either (i) a different cage geometry exists at some other perp_cutoff where the I_h-closed orbit-union yields an that combines with an integer Pontryagin bulk to give the empirical , or (ii) a richer index-theoretic framework than the discrete-cage APS scaffold above is required. The standing Open Problem O.14c (bulk Pontryagin-class evaluation on the 6D icosahedral cell) is therefore expanded to: determine whether and how the discrete APS sum can recover integer , on any I_h-closed cage geometry.
What the engine establishes (Tier 3 numerical fact): on the canonical I_h-closed 152-node boundary cage, and the bulk integer required for a clean APS recovery of would be , which is not an integer.
What U.7.6.3 still requires (Tier 1): either the Connes–Moscovici character-theoretic evaluation of on the continuous 30-rhombus boundary of the acceptance window with explicit integer-bulk closure, or a different cage geometry where the discrete sum closes cleanly.
Scope of the engine evidence. Four qualifications must be kept on the record:
-
The bulk -contribution is not derived from a first-principles Pontryagin-class computation. The script
protocol_aps_index_proof.pyreports the bulk value that would be required to recover given the discrete measured on the chosen cage. On the canonical -closed 152-cage this required bulk is , which is not an integer; on the 92-cage it is , also non-integer. A rigorous Pontryagin-class evaluation on the 6D icosahedral cell — yielding an integer bulk that combines with the discrete to give — remains outstanding (O.14c). -
The spectral asymmetry used is of the scalar adjacency matrix, not the full Dirac operator. The engine constructs an -dimensional discrete Dirac on the -closed cage (where is the cage node count: -dim on the 152-cage; -dim on the 92-cage) with Clifford-product hopping terms, but the asymmetry that drives the result is computed from the scalar weighted adjacency matrix (golden-weighted bonds at vs ), then normalised by the spinor dimension . This is a discrete-index-style identification, not a direct evaluation of the boundary Dirac's spectral asymmetry on the full -dimensional space.
3'. Additional path-(a) and path-(b) results: following the symmetry-broken-cage diagnostic below, two follow-up scripts probe whether Tier 1 closure can be earned rather than accepted.
Path (a): GCT_Physics_Engine/src/protocol_orbit_union_search.py enumerated all 42 ways to partition 144 into a sum of I-orbit sizes (from 15 I-orbits in the perp-distance-3.0 region) and built each as an I-symmetric 144-cage. Exactly 1 of 42 cages gives , matching the engine's prediction. The winning composition is sizes (specific subset #17). Other I-symmetric cages give ranging over . So the integer IS structurally achievable under exact I-symmetry, and the cage that delivers it is the one specifically picked out by the two-shell vertex+generic decomposition argued below.
Two-Shell Vertex+Generic Decomposition (TS-VG) — structural uniqueness argument for path (a) [Tier 2 reduction]. Among the 42 I-orbit-unions summing to 144, the composition is the unique one matching the two-shell vertex+generic structure required by the dodecahedral-cage commitment of V3 §7.1.3:
- Vertex orbits: acts on the 12 icosahedron vertices with stabiliser (5-fold axis at each vertex), giving orbits of size . In the radial enumeration of the 14 available I-orbits (sizes ordered by minimum perp-norm), exactly two such 12-orbits exist: one inner shell at the smallest perp-radius (orbit index 0) and one outer shell at the largest 12-orbit perp-radius (orbit index 11). These are the canonical "vertex shells" of the inner-and-outer dodecahedral cage faces.
- Generic orbits: acting on generic positions with trivial stabiliser gives orbits of size . Five such 60-orbits exist in the search radius (indices 3, 5, 6, 8, 10), each filling the inter-vertex space at its respective radial shell. These are the canonical "phason-mode envelope" shells that carry the bound-state amplitude away from the vertex singularities.
- Two-shell sum: the dodecahedral cage requires two concentric shells (V3 §7.1.3 Sub-Proof B perfect-square commitment; Cohn 1964 number-theoretic uniqueness of as the unique non-trivial Fibonacci perfect square). Each shell contributes a vertex-orbit (12 nodes) plus a generic-orbit (60 nodes), for nodes per shell and total. The orbit-union = is the only orbit-union among the 42 enumerated matching this decomposition.
Reduction status. Under the TS-VG commitment, the 42-fold uncertainty collapses to at most candidate orbit-unions, where is the number of distinct 60-orbits in the search radius (in the canonical enumeration of o14d_closure_search.py, , giving candidate pairings). The engine reports exactly one of these pairings yields : the 60-orbit pair at radial indices with perp-norms — both in the outer radial portion of the search window, not the inner+outer shell-matching geometry one might first guess.
Empirical test of candidate selection rules. The standalone closure search (GCT_Physics_Engine/src/o14d_closure_search.py) tested three a-priori-natural radial selection rules against the winning pair :
- (i) Minimum-radial-extent (the two smallest-perp 60-orbits): selects pair → fails to match the winner.
- (ii) Inner-outer shell-radius matching (each 60-orbit paired with the closest 12-orbit shell): selects pair → fails to match the winner.
- (iii) Chiral-parity / Galois-conjugate radii (60-orbit perp-norm ratio matching or ): selects pair → fails to match the winner.
All three natural radial rules fail. The TS-VG decomposition is real (1 of 21 pairings yields , consistent with the original manuscript claim of 1 of 42 under the original enumeration), but the further reduction from candidates to the unique winner is not captured by simple radial geometric rules.
Empirical test of I-irrep multiplicity selection (route ). The follow-up analysis (GCT_Physics_Engine/src/o14d_irrep_decomp.py) computed the I-irrep multiplicity decomposition of the cage adjacency spectrum for each of the 21 pairings, hypothesising that the winning pair would exhibit a unique multiplet-count pattern that the other 20 do not match. All 21 cages exhibit the identical I-irrep profile , with total and no anomalous multiplicities (every eigenvalue's multiplicity lies in the I-irrep dimension set , confirming exact I-symmetry of all 21 cages). The I-irrep multiplicity profile is therefore invariant across the 21 [12, 60, 12, 60] pairings — it is a structural consequence of the orbit-size composition and the I-equivariance of the bond rules, independent of which specific orbit-pair is chosen. Route at the lumped-multiplicity level definitively fails to select the winner.
What this reveals about the closure path. The values across the 21 pairings span a wide range (, with being one of 5 single-occurrence values) despite all 21 sharing identical irrep multiplicity counts. The selection therefore happens at the level of signed irrep placement — which multiplets sit at positive vs negative eigenvalues — rather than at the level of multiplet counts.
Empirical test of T_1 vs T_2 character refinement (route ). A follow-up analysis (GCT_Physics_Engine/src/o14d_advanced_invariants.py) computed the full I-character decomposition with and distinguished via the standard I character table on the five conjugacy classes with their - and -valued characters. All 21 pairings exhibit the identical character profile . The -multiplet count of 16 from the lumped analysis is confirmed as split evenly between and , but this split is invariant across all 21 pairings — refinement does not discriminate.
Empirical test of discrete topological invariants (route ). Nine candidate topological / spectral invariants were tested: bond count , triangle count , 4-cycle count , spectral moments for , and adjacency determinant . All nine invariants uniquely identify the winner, but in the trivial sense that all 21 pairings have pairwise-distinct topological signatures — no two pairings share any single invariant. The winner has , , ; the 20 other pairings have 20 different bond counts (ranging from 1380 to 2940), 20 different triangle counts (1000 to 13280), and 20 different 4-cycle counts (18075 to 377430). No simple extremization rule (minimum, maximum, target-matching to a derived integer) selects the winner from this distribution. The selection of is therefore mediated by the spectral signature itself, which is tautological with the manuscript prediction unless the specific integer value (or equivalently, the specific topological signature of the winner) can be derived from first principles via icosahedral group theory + the cage construction rules — which remains open as the genuine O.14d research item.
Tier disposition of path (a). The TS-VG argument moves the cage-uniqueness disposition from " of unmotivated picks" to " of under the two-shell vertex+generic structural commitment." This is a Tier 2 partial structural reduction under the dodecahedral-cage commitment of P1. The further reduction from to the unique winner requires either (a) a deeper structural identification of the spectral/topological feature distinguishing pair from the other 20 pairings (e.g., an I-irrep multiplicity pattern in the adjacency spectrum that only exhibits, or a Pontryagin-class topological invariant of the bond graph that picks it out), or (b) accepting the unique-winner selection as a sixth structural postulate P6 added to P1-P5 (with corresponding update to Parameter Ledger §0.1). The empirical finding is that the three a-priori-natural radial rules do not close the gap; the closure path therefore points toward spectral/topological analysis of the winning bond graph, not toward a simple geometric uniqueness argument.
Path (b): GCT_Physics_Engine/src/protocol_bellissard_gap_labels.py tested the Bellissard gap-labeling theorem on the 1D Fibonacci Hamiltonian with Fibonacci potential . At lattice size , , all 9 spectral gaps were cleanly labeled by integer pairs with IDOS to error (where ). Two of the 9 gaps had pure-integer labels (): IDOS with , and IDOS with . Maximum accessible at this lattice size: . Bellissard's framework is numerically validated; integer labels in form a well-defined sub-family of gaps, of which would be one member at appropriate (astronomically larger) lattice scale. The claim "the integer is a gap label of the AKN spectrum" is at least consistent with the validated framework.
Net effect on A.1 / T-McK.1b closure. The two new results move the disposition meaningfully. The Bellissard framework is validated empirically (path (b)). What remains open is sharper: (i) identify an -closed cage geometry where the discrete combines with an integer Pontryagin bulk to give , and (ii) carry out the first-principles bulk Pontryagin-class evaluation on the 6D icosahedral cell. The currently available -closed cages at perp_cutoff (sizes 92 and 152) both yield non-integer required bulks; closure may require either a different perp_cutoff with a different I-orbit content, or a richer index-theoretic framework than the direct discrete-APS scaffold.
-
The canonical -closed cage now used by the engine genuinely has exact icosahedral symmetry. The cage helper
GCT_Physics_Engine/src/cage_builder.pyconstructs the boundary cage as the union of full orbits up to the chosen perp_cutoff; the canonical size at perp_cutoff is 152 nodes (5 orbits: 12+30+20+30+60), with 92 nodes (4 inner orbits) available as a smaller-cage alternative.GCT_Physics_Engine/src/protocol_cage_repair.pyverifies that 60/60 icosahedral rotations (lifted to signed-permutation matrices on vialift_to_6d_signed_perm) preserve the 152-cage, confirming exact symmetry.GCT_Physics_Engine/src/protocol_cage_spectral_decomp.pythen performs the full -irrep decomposition of the adjacency spectrum: ( ✓), with per-irrep sign-sums summing to the directly-measured (, , , , ; sum ). The integer is therefore structurally derived from the -irrep decomposition of the canonical cage geometry — not a numerical artifact of a non-symmetric truncation. The remaining question is whether the symmetric cage's specific integer () combines with an integer Pontryagin bulk to recover via . The required bulk is not an integer, so the answer at the 152-cage is no. Two paths forward: (i) repeat the construction at other perp_cutoffs to find an -closed cage whose does close cleanly (a finite combinatorial search over perp_cutoff values and orbit choices); (ii) close the bulk Pontryagin computation analytically (O.14c) and check whether the structural answer matches the discrete at some other index normalization. -
An independent smooth-route attempt does not (yet) reproduce the discrete . A companion script
GCT_Physics_Engine/src/protocol_eta_continuum.pycomputes the Connes–Moscovici equivariant on the smooth 2-sphere with action, twisted by line bundles of Chern number , summing the Atiyah–Bott local fixed-point contributions over the nine conjugacy classes. Under the three normalization conventions surveyed, the values land in with no clean match to the discrete on the -closed 152-cage. The discrepancy is most likely a convention mismatch (factor of 2 from the spinor double cover, or a missing line-bundle holonomy phase from the cut-and-project structure), but its resolution is precisely the operator-algebra bookkeeping the lemma reduced to. The smooth-route script is committed alongside the discrete one so the convention chain can be re-examined.
The numerical evidence on the discrete side is now structurally derived (full -irrep decomposition on the -closed cage), but the discrete does not combine with an integer Pontryagin bulk to recover at the canonical perp_cutoff; and the bridge to the smooth manifold — the analytic step the lemma actually requires — is not closed by what is in the engine today. Roadmap candidate A.1 (TP-I + TP-J) therefore stays as Partial — discrete -irrep decomposition closed; integer-bulk closure and smooth Connes–Moscovici bridge outstanding (O.14b/c).
U.7.6.7 Specific-integer disposition for
The K-theoretic skeleton above (U.7.6.1–U.7.6.6) supplies Tier 2 framework support for gap labels in through Bellissard/Connes-style tiling K-theory, with a rigorously closed 1D Fibonacci AF-core toy model. The 6D AKN lift, the integer-valued sublattice relevant to defects, and the CMLIF residue interpretation at remain Tier 4 physical-link conjectures until the required AKN spectral-triple and trace-image construction is supplied. The disposition of the specific integer — the gap label selecting the ground-state electron defect — is separated cleanly from that framework support:
Tier 2 framework + Tier 4 AKN physical-link conjecture. The 1D Fibonacci AF-core gap-label framework is closed as a toy model; the 6D AKN CMLIF residue / integer-sublattice transfer is an open structural-link conjecture.
Tier 3 postulate (Open Problem O.14). The ground-state electron defect is the projection labeled by the specific integer .
The Tier 3 postulate is currently supported by an empirical anchor (independent of any APS scaffold), with the APS-route as an open theoretical pathway:
- Empirical anchor. The mass formula matches CODATA to (1006 ppm), verified by
verify_independent/verify_electron_mass.py. No other integer in gives sub-percent agreement. - Numerical APS scaffold. The engine's discrete APS computation on the canonical -closed 152-node boundary cage gives (spinor-reduced ); the bulk value required to recover via is therefore , which is not an integer. The discrete-cage APS sum thus does not numerically confirm on the I_h-closed geometry; the empirical-anchor item in this list carries the determination, and the APS pathway remains an open route pending O.14c. See §U.7.6.6 for the corrected discrete-cage spectral decomposition.
What is not claimed. A first-principles uniqueness proof selecting from among the -valued integer gap labels of the 6D AKN crossed-product is not provided. The phrase "" sometimes used as informal shorthand for the constraint is not identified with any single standard equivariant Euler-characteristic-like invariant: a systematic survey (GCT_Physics_Engine/src/protocol_euler_char_audit.py plus protocol_euler_char_audit_extended.py) covering 78 candidate invariants — orbifold Euler characteristics, signed Lefschetz averages, fixed-point counts, signature sums on the three icosahedral 6-dim representations , , ; rational singular cohomology Betti numbers of via the Hodge-type decomposition into -invariants of ; the alternating sum ; weighted Betti sums and ; the equivariant Atiyah–Singer -signature; hypercube vertex orbit counts — finds no candidate yielding . The closest observation is for , with no principled selection rule preferring that weighted sum. The "" shorthand should therefore be read as a label for the (currently open) uniqueness postulate, not as a reference to any specific standard invariant.
Open items on the path to a Tier 1 promotion of the specific integer. Four discrete computational/convention items remain. They are recorded here as named Open Problems rather than as required closures for the present specification:
-
O.14a — K-theoretic uniqueness. Show that the Gauss-Bonnet saturation constraint (§7.1.3) picks uniquely from among the -valued trace-image gap labels of , possibly via a specific equivariant cohomological invariant that the 78-candidate survey did not test.
-
O.14b — Smooth-route Connes–Moscovici convention. The companion script
protocol_eta_continuum.pyevaluates the equivariant on for twisting bundles of Chern number via the standard Atiyah–Bott local fixed-point formula. Under three surveyed normalization conventions the smooth-route values cluster at — none snap to the discrete-cage value . The mismatch is consistent with a missing holonomy phase associated with the line bundle's twist around the icosahedral fundamental domain, and resolution is a bounded operator-algebra calculation on the 60-element -orbit of the rhombic triacontahedron vertices. -
O.14c — Bulk -contribution and integer APS closure. Determine whether and how the discrete APS sum can recover integer on any -closed boundary-cage geometry. On the canonical -closed 152-cage at perp_cutoff the bulk-required-for- is (non-integer); on the -closed 92-cage at the same cutoff it is (also non-integer). Closure requires either an explicit Pontryagin-class evaluation on the 6D icosahedral cell that yields an integer bulk combining with the corresponding to give on a specific I_h-closed cage, or a richer index-theoretic framework than the direct discrete-APS scaffold. The empirical anchor (mass-formula CODATA match) is independent of this closure.
-
O.14d — Two-Shell Cage Uniqueness Refinement (status: Tier 2 partial reduction; six selection rules tested and falsified or tautological). §U.7.6.6 path (a) above presents the Two-Shell Vertex+Generic (TS-VG) Decomposition argument as a Tier 2 structural reduction collapsing the 42-fold I-orbit-union uncertainty to candidates under the two-shell perfect-square commitment of §7.1.3 Sub-Proof B + Cohn 1964. The standalone closure search suite (
GCT_Physics_Engine/src/o14d_closure_search.py,o14d_irrep_decomp.py,o14d_advanced_invariants.py) has identified the unique winning 60-orbit pair as indices at perp-norms , and tested six selection rules:- (i) Minimum-radial-extent — selects , fails.
- (ii) Inner-outer shell-radius matching — selects , fails.
- (iii) Chiral-parity / Galois-conjugate radii — selects , fails.
- (iv-) Lumped I-irrep multiplicities — all 21 pairings have the identical profile , fails (invariant across all candidates).
- (v-) Split I-character analysis with vs distinguished — all 21 pairings have the identical profile , fails (refined character profile is still invariant).
- (vi-) Discrete topological invariants (, , , , ) — each invariant has 21 distinct values across the 21 pairings (i.e., each "uniquely identifies" the winner trivially), but no extremization or target-matching rule selects specifically; the topological signatures separate the pairings without offering a structural selection criterion. Fails as a non-tautological closure rule.
All six tested rules fail or are tautological. The closure of the 21 → 1 step is genuinely deeper than (a) radial geometry, (b) representation-theoretic multiplicity counting (lumped or split), or (c) standard discrete topological invariants. The eigenvalue placement (which multiplets sit at positive vs negative spectral eigenvalues) differs across the 21 pairings and uniquely produces the signature for ; what is needed is a first-principles derivation of that signature from icosahedral group theory + the cage construction rules. Remaining candidate routes for the closure: (a) route — compute the equivariant Chern-Simons class of the -equivariant bond bundle and identify the discrete integer value distinguishing from first principles (months of math); (b) route — accept the unique-winner selection as a sixth structural postulate with corresponding update to Parameter Ledger §0.1, completing the "structural postulates" rather than the "first-principles derivations" column of the parameter accounting. Status: Tier 2 partial structural reduction (42 → 21 closed via TS-VG + Cohn 1964; 21 → 1 reduction is open and now confirmed to require non-standard spectral/topological invariants beyond the standard tested toolkit).
Closure of O.14a alone would promote the specific-integer postulate to Tier 1. Closure of O.14b and O.14c would supply the independent smooth-side confirmation. The integer is empirically established by the fit; what remains is the formal proof chain landing on it from first principles.
A normalization-convention consistency item to track. Two formulations of the index-to-defect correspondence appear in the manuscript: §7.2.3 uses , whereas U.7.6.3 uses . The two are consistent under a factor-of-2 spinor-cover/line-bundle normalization that is implicit but not made explicit in either passage. Closure of O.14b above is expected to fix the convention chain; once fixed, one of the two formulations should be retired in favour of the controlling one.
U.8 Theorem U.8: Uniqueness of the SU(2) Connection on the 5-Fold Baryonic Bundle [Tier 1]
Statement: The connection is the unique flat SU(2)-equivariant connection on the principal -bundle over the 5-fold baryonic loop. No other holonomy weight is compatible with the fiber symmetry of the Binary Icosahedral Group.
Proof:
Step 1 — Stabilizer of the 5-fold axis. Let be the directed 5-fold rotation axis of the icosahedron. The stabilizer of under the adjoint action of the icosahedral group is: generated by a rotation. Its SU(2) pre-image in the double cover is: generated by . The cyclic-subgroup orders of are exactly .
Step 2 — Holonomy constraint. A SU(2)-equivariant connection on this bundle must assign a -loop holonomy lying in that generates . For a diagonal axial connection :
= \exp(in\pi\sigma_z)$$ *Step 3 — Uniqueness by subgroup constraint.* $n = 1$: holonomy $= \exp(i\pi\sigma_z) = -I_2 = U_{\mathrm{gen}}^5$, the unique order-2 element of $\mathbb{Z}_{10}$, consistent with the baryonic $2\pi$ loop. $\checkmark$ For $n \geq 2$: holonomy generates $\mathbb{Z}_{5n} \subset SU(2)$. For $n \geq 2$, orders $\geq 10$ not in $\{1,2,3,4,5,6,10\}$ arise, violating $2I$-equivariance. Every $n \geq 2$ is algebraically forbidden. $\otimes$ Therefore $n = 1$, giving $$\boxed{A_\theta = \tfrac{1}{2}\sigma_z}$$ is the **unique** connection compatible with the $2I$ fiber symmetry. $\square$ **Tier:** Tier 1 — pure algebraic theorem; no physical input or continuous adjustable coefficient. **Corollary (Proton Mass Exponent):** Holonomy $-I_2$ implies Berry phase $\gamma = \pi$ (half-winding $N_\mathrm{weak} = 1/2$). Icosahedral projection ratio $R = 2\phi^{-1}$ then gives: $$\phi\text{-correction} = N_\mathrm{weak} \cdot R = \phi^{-1}$$ establishing the proton exponent $\Phi_\mathrm{total} = 15 + \phi^{-1}$. *Numerical verification: `protocol_proton_berry_phase.py` confirms $\|U_\mathrm{weak} + I_2\|_F < 10^{-9}$ for $N_\mathrm{steps} = 10{,}000$.* *Detailed derivation: Vol. 3 Ch18 §18.2.3.A.* --- ## U.9 Theorem U.9: Uniqueness of the Bare Weinberg Angle $\sin^2\theta_W^{\rm bare} = \phi^{-3}$ [Tier 1] > **Theorem U.9 (Bare Weinberg Angle Uniqueness).** *Among all rational powers $\phi^n$ ($n \in \mathbb{Z}$) of the golden ratio, the bare geometric Weinberg angle* > $$\sin^2 \theta_W^{\rm bare} = \frac{V_\perp}{V_\parallel}$$ > *(the volumetric scaling of the internal manifold relative to the physical manifold) takes the value $\phi^{-3}$, and only this value, as a consequence of three independent Tier 1 inputs:* > > - **T1.a (Dimension fixing):** $\dim(E_\perp) = 3$. The icosahedral cut-and-project decomposes $\mathbb{R}^6 = E_\parallel \oplus E_\perp$ with both subspaces 3-dimensional; this is the structural prerequisite for the AKN tiling and is fixed by Lemma III (App U §U.6) and V1 Ch02 §2.4. (Tier 1 axiomatic / theorem.) > > - **T1.b (Per-axis length ratio):** $|E^\perp_i| / |E^\parallel_i| = \phi^{-1}$ for each $i \in \{1,\dots,6\}$. This follows from the Gram Projection Theorem (V3 Ch04 §4.3.2, already Tier 1: exact algebraic): squared norms $|E^\parallel_i|^2 = (1+\phi^2)/5$ and $|E^\perp_i|^2 = (1+\phi^{-2})/5$ give ratio $(1+\phi^{-2})/(1+\phi^2) = \phi^{-2}$, so the length ratio is $\sqrt{\phi^{-2}} = \phi^{-1}$. > > - **T1.c (Volume scaling):** For a Euclidean $d$-dimensional manifold with isotropic scaling factor $\lambda$, the volume scales as $V = \lambda^d \cdot V_0$. (Tier 1 axiomatic — standard Euclidean measure theory.) > > **Proof.** By T1.b, each axis of $E_\perp$ scales by $\phi^{-1}$ relative to the corresponding $E_\parallel$ axis. The icosahedral symmetry ensures this scaling is isotropic (the same per-axis factor across all six lattice basis vectors, verified by the per-axis equality $|E^\perp_i|^2 = (1+\phi^{-2})/5$ for all $i$). By T1.a and T1.c, the resulting volume ratio is > $$\frac{V_\perp}{V_\parallel} = (\phi^{-1})^{\dim(E_\perp)} = (\phi^{-1})^3 = \phi^{-3}.$$ > Any candidate value $\phi^n$ with $n \neq -3$ would require: > - $n = -1$: identifying $\sin^2\theta_W^{\rm bare}$ with a *length* ratio rather than a *volume* ratio — violates T1.c (volume formula). > - $n = -2$: identifying with an *area* ratio (dim 2) rather than a *volume* ratio (dim 3) — violates T1.a (dim fixing). > - $n = -4$: would require either a 4-dimensional perp space (violates T1.a) or a per-axis length ratio $\phi^{-4/3}$ (violates T1.b — irrational; not a rational power of $\phi$). > - $n = -6$: would require dimension $6$ — that is the full 6D parent lattice, not the perp projection. The Weinberg angle is by definition the ratio of the 3D projected volumes, so $n = -6$ is structurally excluded. > - $n \geq 0$: no scaling or expansion of $E_\perp$ relative to $E_\parallel$ — directly contradicts T1.b. > > No other rational power of $\phi$ is consistent with the joint constraint T1.a $\wedge$ T1.b $\wedge$ T1.c. Hence $n = -3$ is uniquely forced. $\square$ > > **Tier 1 disposition.** Given the volumetric identification as the structural definition of the bare angle (Ch04 §4.3.1; the Weinberg angle is the ratio of the 3D projected volumes of $E_\perp$ relative to $E_\parallel$), the *specific value* $\phi^{-3}$ is forced by the composition of three independent Tier 1 inputs (T1.a–T1.c) with no additional fitted coefficient and no alternative permitted. Theorem U.9 is the corresponding Tier 1 Uniqueness Theorem. > > **Numerical verification.** `GCT_Physics_Engine/src/protocol_weinberg_uniqueness.py` computes the squared norms from the canonical AKN unnormalised projection matrices, confirms $|E^\parallel_i|^2 = 1+\phi^2$ and $|E^\perp_i|^2 = 1+\phi^{-2}$ to machine precision, verifies the length ratio $\phi^{-1}$, and cubes it to recover $V_\perp/V_\parallel = \phi^{-3} = 0.2360679775$. The certificate is stored at `GCT_Physics_Engine/data/protocol_weinberg_uniqueness_results.json`. > > **Scope.** Theorem U.9 promotes the *bare* (GUT-scale) Weinberg angle to Tier 1. It does not bear on the Z-pole value $\sin^2\theta_W(M_Z) = 0.23122$, which remains a Tier 3 Observational Import (V3 Ch04 §4.5) used as the IR boundary condition for the RGE running; full IR autonomy without importing the Z-pole value is the QLQCD-1L open research debt (App Z), unchanged by Theorem U.9. **END OF APPENDIX U**