Premises of UHM
One list of everything the corpus assumes rather than proves, as of 2026-09-28. Each entry names the premise, its status, the results that use it and what is known about deriving it. The status registry remains the canonical record of each result; this page is the canonical record of the inputs. A result that uses none of the premises in sections 2–4 is listed in section 6.
Status letters are those of the registry: [P] postulate (an axiom), [H] hypothesis (formulated, not proven — here a named assumption), [Pr] research programme, here a principle kept open (neither assumed as an axiom nor claimed proven), [D] definition by convention; [I] interpretation and [C] conditional theorem appear only where a row names them, as in the registry. A free parameter is not a statement and has no letter.
1. How to read the list
Three kinds of input are kept apart.
- Axioms fix the mathematical object: the ∞-topos, its metric, the dimension, the scale and the Page–Wootters constraint. Everything labelled "[T] as mathematics" in the corpus uses only these.
- Bridge premises say which part of that object is physical spacetime, matter or a self-model. They are the reason a result reads "[T] as mathematics, [C at (X)] as physics".
- Identification hypotheses of the flavour and vacuum sectors attach numbers to particle data. Several have been refuted in their exact form and survive only in a weaker one.
A premise counts as used when a live registry row or theorem carries [C at (X)] for it, or when its statement is an explicit step of a proof. A premise that has since become a theorem is listed in section 5 and is no longer an input.
2. Axioms [P]
| Premise | Statement | Used by | Status and what is known |
|---|---|---|---|
| Metatheory | ∞-categories / homotopy type theory as the language; intuitionistic internal logic | every page | outside the theory (honest axiomatics) |
| A1 | reality is the ∞-topos over | all results | [P]; derivable from the operational basis only through the hypothesis T-186(a) (T-190) |
| A2 | the Grothendieck topology is induced by the Bures metric | the topology, the stratification, T-173, T-190 | [P]; its topology is forced (every continuous distance on the compact induces the standard one), and within the CPTP-monotone metrics Bures is canonical (T-187; the maximum-entropy recasting T-189) — what stays postulated is the monotonicity of the enrichment. It is not derivable from (AP)+(PH)+(QG)+(V)+MaxEnt, so it is the third condition of T-190; it follows from the operational reading (O) — the enrichment is the best distinguishability reachable by measurement — which also gives Bures directly (Fuchs–Caves), so the postulated content can be stated as (O) (Lemma M) |
| A3 | all results | [P]; is [T] (Theorem S); strict necessity needs (Σ₆), section 3 (T-349; (P1₆) until 2026-09-28) | |
| A4 | the scale | dynamics, calibration | [P]; its value is a free parameter, section 4 |
| A5 constraint | , the support condition of Property 2 — the form of the timeless state | the Page–Wootters link of the clock (T-87, step 4), T-190 | [P]; the clock register and the tensor factor of A5 are [T] (T-87, steps 1–3); the constraint is not derived (A5) |
| (QG)'s formalism | states are density matrices, admissible maps are CPTP (definition O3) | all dynamics | [D]; "why quantum theory" stays external (T-188) |
| Frame decision D-0910 | the dynamical frame group is , 48 physical parameters | the dynamical half of the -rigidity (42a), T-334 | [D] (uniqueness theorem) |
The independent content of the axioms is A1–A4 plus the constraint of A5. Independence of the constraint [T]: A1–A4 admit every density matrix on , and is a proper subspace whenever , so a state such as with satisfies A1–A4 and violates the constraint.
Independence of the monotonicity of A2 [T]: the Hilbert–Schmidt distance — the one in which (V) is written, — is Riemannian, induces the standard topology and gives a stable ε-δ coverage, and every property (AP), (PH), (QG), (V) and MaxEnt is indifferent to it; yet a partial-trace channel on moves a full-rank pair times farther apart in it while their Bures angle keeps the ratio (Lemma M).
3. Bridge premises
These are the free inputs that remain after four waves of repair (2026-09-25/26). Each has been tested against derivation, and for each the obstruction is stated.
(P) — spacetime is built from the spinor factor [H]
Statement. The tangent vectors of spacetime at a point are the Hermitian forms on the spinor factor of the fermion field ; ; the causal structure, a quadratic form given up to a factor, is preserved by every transformation of that preserves UHM's internal structure (Theorem 48e).
Equivalent forms. (P) ⟺ (L) ∧ (W) [T, 48e(f)–(g)]: (L) says that tangent vectors form the observables of a two-level system with amplitudes in a composition subalgebra of containing ; (W) says that the fermion field is a two-component Weyl field. (P) can be stated with any of 48e(g)(iii)–(vii) in place of the quadratic form: light rays are the pure states of , space is isotropic in every rest frame, the group of is a Lorentz group, is a bit (the premise of Masanes and Müller), a Lorentz-invariant Weyl mass term exists.
Used by. The physical reading of 48c — 3+1 dimensions, signature , rotations that commute with colour — and the second route to the signature in the same page. Every result stated [C at (L)] uses it.
Not derivable [T, 48e(f)]: the commutant of UHM's internal operators on the generation is , so the transformations preserving the internal structure are for every , and nothing internal fixes . Routes tried and closed: the clock's complex structure, the history state of the depth register, the two slots of a self-model, chirality and the Distler–Garibaldi test, the Masanes–Müller reconstruction, the spinor bundle of T-119's (reasons in 48e). Minimality does not replace it: the smallest spinor factor compatible with T-329 is , which leaves spacetime without a spatial direction (T-347(d)).
(Cl₀) — fermions are vectors of the spinor module [H]
Statement. Fermion fields take values in the spinor module of the octonionic Clifford system (Standard Model, §2.6). The second half of the former assumption (Cl) — that the clock breaks the spin group to the largest connected subgroup in which colour is a normal factor — is a theorem (T-329).
Used by. The physical reading of T-326, T-327 and T-329 (each [T] as mathematics, [C at (Cl)] in UHM), of T-332 and T-333, of the joint structure in 48e(e), and every flavour hypothesis of section 3.4, all of which are stated inside the frame of .
Not derivable from axioms about Γ [T for the obstruction]: acts as on and as on , so every object built from coherence matrices, including their tensor products, has integer weak isospin; doublets are vectors of , not operators on it. Stated exactly (T-350(d)–(e)): every action induced by transformations of the holon is single-valued, acts trivially on (), and the centraliser of colour in is . The spinor module itself is built from the holon's axes, with , but its two-valued action is Clifford multiplication, which no transformation of the holon induces.
Equivalent form without a named module [T, T-347(b)]: (Cl₀) ⟺ (Mod) — the product of the holon's octonions (T15) acts on matter: a real-linear with and , commuting with the of . Then , and , the parallel spinor , the nine Clifford generators and are consequences. The model of section 7 fails exactly (Mod). Routes closed by T-347: every property of the holon (a), the maximality of and a faithful representation of the holon's observables (c). Routes closed by T-350: textures of and the Finkelstein–Rubinstein and Wess–Zumino mechanisms (a), the spin lift in (b), triality (c), chirality and anomaly freedom among induced modules (d), second quantisation of the holon (e).
(W₀) — the spinor factor is complex: not a free premise
T-329 uses only that the spinor factor of the fermion field is a complex space of some dimension, (W₀). It is implied by (P), whose is complex. Given (Cl₀) it is equivalent to the requirement that one generation be chiral and anomaly-free [T, 48e(f),(h)]: with a real Lorentz factor every fermion space on is anomalous or vector-like (h), and with a complex one it is chiral and anomaly-free for every (f). (W₀) is therefore a consistency condition of a chiral gauge theory together with the observed chirality, not an independent input.
(MaxΦ) — the self-model's anchor is maximally integrated [Pr]
Statement. The anchor of the replacement-form self-model is a state of maximal integration, (T-334).
Equivalent forms [T, T-334(6)]: (Eq-V) — the self-model privileges no axis (its atomic reading is -covariant) and is the most viable such; with diagonal unitary; maximal relative entropy of coherence, ; coherent purity . It splits into two halves: (Eq), uniform diagonal, and (Pure), a pure anchor.
Used by. The choice of among the self-models the axioms allow: the living attractor of an isolated holon in the window (evolution), the isolated-holon half of C27, the collineation-anchored level of the septicity table. The dynamics of each anchor — T-334 (1)–(5), T-335, T-336 — is [T] without it; the premise decides only which anchor a physical holon has.
Not derivable from the axioms: the self-modelling adjunction and the terminal object make a CPTP left adjoint and leave its anchor open (every anchor gives a channel of the same form). Routes closed in T-334: Curie's principle (gives the family , not ), the terminal object (gives (Eq) only), Lawvere and Brouwer (fixed points, not anchors), viability alone. Section 7 adds the routes through the corpus's variational principles.
(Σ₆) — every decomposition is perfectly diagnosable [H]
Statement. Every decomposition of a viable holon into axes covering (AP)+(PH)+(QG) has a grammar of admissible status profiles with (D1) , (D2) perfect localisation of a single faulty axis (the radius-1 balls around partition ) and (D3) (Theorem Σ). (Σ₆⁺) adds (D4): the grammar is unique up to relabelling and translation.
Used by. The strict necessity of — no decomposition with fewer than seven axes — [C at (Σ₆)] (T-349(a)). With (D4): the maximality half of the double extremality and the statement (P1₆) below, [C at (Σ₆⁺)] (T-349(b)). for F1–F7 does not use it.
Status. [H]. For the seven-dimensional frame it is what Step T8 of the bridge asks; Corollary Σ.1 calls the reading of UHM's axes as diagnosable status bits interpretive [I]. It is strictly weaker than the input it replaced — (P1₆) together with P2 for the competitor implies (Σ₆⁺), while the Hamming grammar of length 15 satisfies (Σ₆) and admits no normed division algebra (T-349(c)). No model of a competing decomposition covering the axioms is known, so its independence from A1–A5 is open.
Replaced 2026-09-28: (P1₆) — P1 for a competing decomposition. P1 holds for any decomposition covering (AP)+(PH)+(QG), not only for the seven-dimensional one. It was the premise of the strict necessity of N = 7 from 2026-09-25 to 2026-09-28, and the Hurwitz route that used it also needed P2 for the competitor (P1 alone leaves , ). The chain T1–T15 proves P1 for the frame it starts from, and its Step T8 takes from Track A; the orientation input (Alt) of that chain is discharged (T15-canon, section 5). (P1₆) is now [C at (Σ₆⁺)]: at the grammar is and Steps T9–T15 give P1 for the competitor (T-349(b)). The hosting route of the foundations corpus (Foundations of Mathematics, Part XVIII, ch. 11) does not discharge it: it starts from Hurwitz's list (T-349(d)).
Flavour, vacuum and identification hypotheses [H]
| Premise | Statement | Used by | Status |
|---|---|---|---|
| (SV) | the sector values of the Gap vacuum (, ) | T-69, T-70, T-79–T-81, T-99 (conclusion retracted 2026-09-26), T-120b(ii), T-176, T-180, T-185b, T-216, T-219, C35 and the Λ-budget | [H]; as the vacuum of it is refuted [✗] by T-64; it survives only as an independent hypothesis, and under (Cl₀)+(GC) it no longer carries a family index (T-332) |
| (GC) | a generation is a non-trivial real harmonic of the clock register | in the harmonic reading (T-328), the mixing discussion | [H]; the exact family is refuted by — only the broken form survives |
| (UP) | only up-type fields couple to the Higgs doublet at tree level (holomorphy in one complex doublet) | T-332, the Dirac neutrino mass | [H] at leading order; the exact form is refuted [✗] (it leaves , , massless to all orders, T-332(i)) |
| (PQ) | an added Peccei–Quinn sector | the Gap-axion table of dark matter and confinement | [H]; the Clifford content has no Peccei–Quinn symmetry and no spontaneous CP violation (T-333(e)–(h)); strong CP is open [Pr] |
| (FE) | the electroweak group acts on of the system factor | the axis-frame electroweak construction (T-175b, T-219, T-265) | [H]; replaced by (Cl₀) in the Clifford frame, still carried by the axis-frame pages |
| (SA) | sector asymmetry of the vacuum Gap profile | neutrino generation assignments, T-219 | [H]; T-52 retired as a theorem |
| Higgs identification | (axis frame); the colour-free plane as the Higgs doublet (Clifford frame, T-329(f)) | the Higgs sector | [H] in both frames |
| T-186(a) | the cohesive route to A1 | T-190 (axiomatic closure) | [H] |
| Physical reading of | the reconstructed (T-118, T-119, T-120) is physical spacetime | T-120 and T-121 as physics | [I], as in the registry rows T-119 and T-120, which are [T] as mathematics; the former reconstruction conditions of T-119 and the aperiodic time parameter are discharged (section 5); T-120b(ii) stays [C at the vacuum symmetry] through T-64 and (SV), and T-87 as a Page–Wootters mechanism uses the A5 constraint of section 2 |
| (HOL) | a composite of holons is itself a holon, with its own dynamics on | the literal reading of CC-5 and of the population rungs | [I]; not derivable (dimension 49, not 7); CC-5 and CC-6 hold at weak coupling without it |
4. Free parameters
| Parameter | Where | What is known |
|---|---|---|
| , weight of the associator cubic in | T-64, T-331 | Free [T]: no derived source carries it (T-331(e)); its weight is for every functional of the isolated dynamics (T-331(f)). Both phases occur: for the vacuum is , for the Gap is spontaneous with orbit (T-64) |
| , | (T-64) | free couplings of the potential |
| regeneration rate , Fano weight | the evolution equation, T-334–T-336, T-346, T-351 | Free [T]: the window needs at for every self-model (T-336); no route fixes the value above it (T-346) — the threshold of has Galois group , the attractor has no interior optimum, the fold survives no detuning, every norm balance with gives against the needed , the categorical moves the freedom into , and composition has only trivial fixed points; nor does a population of holons (T-351) — selection on a common resource runs to the fold, or to the edge set by the energy spread of the environment, Hamiltonian coupling only lowers the effective rate, exchange coupling makes regeneration a public good whose stable level is set by a price, and maximal entropy production selects |
| A4 | the scale; its value differs between holons | |
| phase reference of | T-334(4) | a gauge of the -free dynamics; physical only relative to a non-diagonal |
| T-333, T-99 (corrected 2026-09-26) | free in the Clifford content [Pr]; no -invariant Gap term fixes it (Confinement §3.1c) |
5. Premises discharged — no longer inputs
| Former premise | Discharged by | Date |
|---|---|---|
| (P1₆): P1 for a competing decomposition, as the premise of the strict necessity of | T-349: replaced by the strictly weaker (Σ₆); (P1₆) itself follows at (Σ₆⁺) | 2026-09-28 |
| (Alt): the Fano orientation is the normed one | T15-canon: the unique orientation class invariant under the 168 collineations | 2026-09-25 |
| (MP) | T11–T13 (Choi rank, L-unification, forced BIBD) | earlier |
| (MM): elementary systems can be entangled | 48e(b): a theorem inside UHM | 2026-09-25 |
| (Q) = (Q1) ∧ (Q2) | replaced by the weaker (L), now (P); (Q) still suffices | 2026-09-25/26 |
| second sentence of (Cl) | T-329: the clock's stabiliser | 2026-09-25 |
| (RT), the real twirl inequality | proven (T-64, Lemma 3) | 2026-09-25 |
| (Col), (Pure) | (Col) follows from (Eq-V); (Pure) is equivalent to maximal viability under (Eq) (T-334) | 2026-09-25 |
| (AGG) | Theorem 9.5 at weak coupling (CC-5, CC-6) | 2026-09-25 |
| (ND) | CC-7 for almost every anchor | 2026-09-25 |
| (CG) | T6, uniform contraction from -equivariance | earlier |
| the open reconstruction conditions of T-119 | T-119 restated: the spatial algebra is , and all seven of Connes' conditions hold for its Dirac triple (T-120 and T-121 raised to [T] as mathematics with it) | 2026-09-25 |
| an aperiodic time parameter | the depth register: as its scaling limit (T-118, T-53b) | 2026-09-25 |
6. Results that use no premise of sections 3–4
These are [T] from the axioms of section 2 alone (the metatheory, A1–A4, the constraint where stated, the definitions O3 and D-0910):
- Structure of the primitive. Cohomological monism and local non-triviality; the octonionic structure from (AP)+(PH)+(QG)+(V) through T15 with the canonical orientation (row 41n); (Theorem S); -rigidity (42a, T-123); rigidity of the primitive (T-173); the universal property of the kinematic object (T-174); PhysTheory as a Grothendieck construction (T-211); the encodings T-171 and T-172.
- Time. The clock register (T-87, steps 1–3); the depth register and its dissipative arrow (T-53b); the time line as its scaling limit (T-118).
- Dynamics and consciousness. Non-emptiness of the conscious window (T-124); dead isolation for every unital self-model; the anchor theorems T-334 (1)–(5), T-335, T-336 for every anchor; no-signalling of the full dynamics (Theorem 8.5).
- Vacuum. The -invariant potentials (T-331) and the vacuum phases of as functions of the free (T-64).
- As mathematics. 48c, 48d, 48e; T-119, T-120; T-326–T-329, T-332, T-333. Their physical readings carry the premises named in section 3.
7. Independence and mergers
Method. A premise X is independent of the others when there is a model in which all the others hold and X fails. Two premises merge when one statement is proven equivalent to their conjunction and is strictly weaker than asserting them separately — that is, when the merged form reduces the number of independent inputs. Numerical witnesses are in website/scripts/check_core_numbers.py (test_spinor_factor_premise_and_fermion_module_premise_are_independent, test_anchor_principle_is_independent_and_attractor_integration_does_not_replace_it, test_fermion_module_premise_is_the_holons_product_acting_on_matter, test_no_holon_property_maximality_or_minimality_gives_the_bridge_premises, test_spinors_from_the_tensorial_holon_triality_kahler_dirac_and_bosonic_textures).
Independence [T]
| Fails | Model in which every other premise holds | Why X fails |
|---|---|---|
| (P) | , with any anchor and any | by 48e(f) every statement about the generation holds for (anomalies , chirality); by 48e(g) carries no -invariant quadratic form (count 0), so no causal structure is preserved |
| (Cl₀) | with and , the holon's own vectors with and the of | the commutant of on has dimension 2 (it is ; without it is , dimension 4), so the structure-preserving transformations of are and (P) holds with ; but is not a multiple of 16, so is not a -module |
| (MaxΦ) | anchor , , , | (Eq) holds and a living sink exists in the window, but ; the unital anchor () satisfies all axioms and gives dead isolation |
| (Eq) half | a pure anchor with non-uniform diagonal (amplitudes , a sink at , T-335) | the anchor is pure, its diagonal is not |
| (Pure) half | above | the diagonal is uniform, the anchor is mixed |
| with two values of | both are consistent with every other premise and give different vacua (T-64) | |
| A5 constraint | a state off | section 2 |
(Σ₆) and the flavour hypotheses of section 3.4 are not in the table: no model of a competing decomposition covering the axioms is known, and the flavour hypotheses are stated inside the frame of (Cl₀), so they presuppose it.
(P) and (Cl₀): one sentence, two independent inputs
Proposition [T]. Let (P̂) be the single statement "matter is a Weyl spinor of the clock-commuting Clifford module": the fermion field is with the spinor module of the octonionic Clifford system, and spacetime's tangent vectors are the Hermitian forms on , , with a causal form preserved by every internal-structure-preserving transformation of . Then
- (P̂) is exactly (P) as the corpus states it, which already names ; hence (P) as stated contains (Cl₀) and (W₀);
- (P̂) ⟺ (Cl₀) ∧ (P*), where (P*) is (P) for an arbitrary fermion module in place of whose internal commutant is ;
- (Cl₀) and (P*) are independent: the two models of the table above realise (Cl₀) ∧ ¬(P*) and (P*) ∧ ¬(Cl₀).
Proof. (1) is the wording of 48e. (2): given (Cl₀), (P*) with is (P); conversely (P̂) names . (3) is the table.
So the merger exists as a statement and does not reduce the inputs: the conjunction of two logically independent premises stays two premises. The reason is structural. (Cl₀) is about the internal module, and 48e(f) proves that the internal structure is blind to ; (P*) is about , and the model shows that it is blind to the internal module. The accounting used on this page is therefore (Cl₀) plus (P) relative to (Cl₀), with (W₀) contained in both readings.
(MaxΦ) and the variational principles of the corpus: no derivation
Proposition. None of the variational principles that the corpus states yields (MaxΦ):
- The retracted cross-entropy principle (FEP derivation): its minimiser is the projector onto the top eigenvector of , an intrinsic anchor; intrinsic anchors are spectral and phase-covariant, so they hold no hyperbolic attractor in near (phase-reference obstruction), and they are not constant [T].
- (MaxEnt) of the operational basis selects the Bures metric (T-189). Applied to the anchor itself it gives , , the opposite of (MaxΦ); applied to the atomic reading of the anchor it gives only (Eq) [T].
- (V), viability: the anchor of the table lives in the window with [T, numerical witness]. Maximal viability alone picks anchors with non-uniform diagonal (T-334(6)).
- Maximal integration of the living attractor (a new candidate, not stated in the corpus). For a constant anchor the window attractor at depends only on and , and its integration is with the top root of , (T-335). At fixed it grows with [T: the root moves right as grows], so the maximiser is pure. But in the band , , a pure anchor with slightly non-uniform diagonal beats : at , , gives against [T by the witness]. Above the band wins on every tested grid (40 diagonals × 3 purities at , ), [H] as a global statement. So this principle agrees with (MaxΦ) only above , and below — where has no living attractor and non-uniform anchors do — it contradicts it.
(MaxΦ) therefore stays [Pr]. What the analysis adds: it is the conjunction of two independent halves, (Eq) and (Pure); (Eq) is the terminal object read on the axes and (Pure) is maximal viability under (Eq); a principle about the observable attractor rather than the anchor reproduces it except in a band of relative width above .
Routes from the holon to (Cl₀), (P) and (W): T-347
The independence table shows that (Cl₀) and (P) do not follow from the present axioms. T-347 takes the next question: which property of the holon, which extremal principle or which minimal strengthening would give them. It answers route by route.
(a) No property of the holon decides the bridge premises. (Cl₀), (P) and (W₀) are statements about the fermion field , which A1–A5 do not mention. Each model of the independence table can be built over one and the same holon: any , anchor, and , in particular a living holon in the window with the anchor . Viability, the window, the self-model and its anchor, regeneration, the 168 Fano collineations and the -rigidity therefore hold or fail in those models exactly as in the intended one. The holon's symmetry does not see the difference either: as a -module, is the holon's Hilbert space plus a trivial line. What separates from every space built from is the centre of the spin cover. The rotation by in the plane of two axes is on and on and on every tensor built from it. The genuinely spinorial modules of have dimensions ; the tensorial ones have .
(b) (Cl₀) is equivalent to the holon's product acting on matter. Let (Mod) be the statement: there is a real-linear map with and for every — the left alternative law of the holon's octonions — that commutes with the imaginary unit of . Then (Mod) ⟺ (Cl₀): for a real multiplicity space , and on every copy the Clifford system of T-326 is forced. The smallest - and -stable space containing is . The independence model fails exactly (Mod).
(c) Maximality and faithfulness presuppose (Mod). The Hurwitz–Radon number of is . So the holon's carries at most one complex structure of an anticommuting family (its ), and has no quaternionic structure. Seven anticommuting complex structures need : , , . The maximality of in T-326(a) — nine generators on — is a statement about Clifford systems inside a module that (Mod) supplies, and it cannot select the module. Faithful representations of the holon's observable algebra have real dimension . itself () is faithful and is not a module of , and a space that carries both has dimension divisible by . So faithfulness forces nothing.
(d) Minimality gives , not (W). By 48e(f) every statement of T-329 holds on for every . The smallest spinor factor compatible with T-329 is therefore : , sixteen left-handed Weyl fields with , chiral. But , so spacetime would have no spatial direction. Minimality under the extra clause "a spatial direction exists" gives (). That clause plus Occam's razor is an input of the same kind as the boost clause of (P), not a derivation. The only source of the "2" with content is the boost invariance of 48e(g).
(e) The independence model of (Cl₀) is not chiral. On the -matrices are real, so is isomorphic to its conjugate and every Weyl field on it is vectorlike. Gauging the of instead gives per component of , an anomaly. So (Cl₀) is independent of the axioms and of (P*), not of the observed chirality. Whether chirality and anomaly freedom select among all fermion modules built from UHM's structures was left open here; T-350(d) answers it: they do not, the Clifford action does; on itself the centraliser of colour in is and holds no weak (Standard Model, §2.1).
Proof. (a) The premises are about and , and the holon is a separate factor of each model, so every property of the holon has the same value in all of them. acts on by derivations, which kill . squares to , and the rotation by the angle in the -plane lifts to ; at this is , and conjugation by is trivial on every operator. The dimensions come from Weyl's formula for with highest weights in and in (Humphreys, Introduction to Lie Algebras and Representation Theory, Springer 1972, §24). (b) On we have , and polarising gives . So is a module of (Lawson and Michelsohn, Spin Geometry, ch. I §4). Its two irreducible modules are eight-dimensional and differ in the sign of the volume element: they are with (volume ) and with (volume ), and both obey the law because is alternative. With commuting, each isotypic part of is . Octonionic conjugation satisfies and commutes with and with the conjugation . It carries the system to , which generates the of T-326. So both parts are with the group of T-326, and . Conversely, with satisfies (Mod). is not -stable because ; its closure is (fact (i) of Standard Model, §2.6). (c) carries anticommuting complex structures and no more, with , (Hurwitz 1923, Radon 1922). A quaternionic structure on would be , with the complex conjugation, and means ; but and . The remaining statements are dimension counts. (d) 48e(f) and the charge table of T-329(d). (e) The generators of are real antisymmetric matrices, so complex conjugation intertwines with . The charge of is on each of the seven complex dimensions.
Numbers (test_fermion_module_premise_is_the_holons_product_acting_on_matter, test_no_holon_property_maximality_or_minimality_gives_the_bridge_premises):
- and satisfy for random ; the algebra generated by the seven on has dimension and commutant of dimension ; the volume elements are for and for ; for all seven;
- satisfies the relations of on ; the operators anticommuting with the seven form a space of dimension ; its lies in to ; the closure of (rank ) under and has rank ;
- kills ; on , the -rotation is on ; spinorial -dimensions , tensorial ;
- , , , ; for five random ; ;
- : fields, ; for ; one -invariant quadratic form at ; on .
What T-347 changes. No status changes. (Cl₀) and (P) stay [H]; the physical readings of T-326, T-327, T-329, T-332 and T-333 stay [C at (Cl)], and that of 48c stays [C at (L)]. What changes is the form of (Cl₀). It no longer names a module or a Clifford system: it says that the product the holon already has (T15) acts on matter, and , , the nine generators and follow. The premise sits exactly at the centre of the spin cover. The holon, its symmetries and everything built from are tensorial, while matter is spinorial, and no property of the holon can take that step (a). For (P), the only non-trivial content is the boost clause; minimality alone gives a spacetime without space (d). The routes asked for on 2026-09-26 are closed: a property of the holon that the models violate by (a), the maximality of and a faithful representation of the observables by (c), the minimality of the spinor factor by (d).
Spinors from the tensorial primitive: T-350
T-347 placed (Cl₀) at the centre of the spin cover: the holon and its symmetries are tensorial, and matter is spinorial. Physics knows several ways of getting spinors or fermions out of bosonic, tensorial data. T-350 takes each of them to the holon and states what it gives.
Let the holon be as in A1–A5, with symmetry group (42a, D-0910). Space is a three-dimensional slice ( of T-119, or with a constant limit at infinity), and a field theory of has a local Lagrangian.
(a) Textures of are bosons. A texture is a map from space to a manifold on which lives, and its topological sectors are . For and for the full-rank stratum ( convex) there are no sectors. The rank- stratum (dimension ) retracts onto the Grassmannian , whose vanishes; so do , for , and for . An isospectral orbit has only when all eigenvalues are distinct (the full flag manifold ; one of the 15 partitions of 7); a -valued field has . In every sector with the constant map is a rotation-fixed point, and has no non-trivial character, so the rotation by acts as . For and the sectors exist, but of each sector is ( for , ), so there is no Finkelstein–Rubinstein sign, and (the cohomology of is even; that of sits in degrees 3 and 11), so there is no Wess–Zumino term. The two known mechanisms therefore both fail: has , has , the spaces of have neither. The dyon route (a charge bound to a monopole) needs of the vacuum manifold; the vacua of T-64 are the point and the orbit , and .
(b) The spin lift is forced and empty. In a spin structure on an object with an -frame is a lift of its classifying map through ; the obstruction is , and lifts form a torsor under . The holon's frames have structure group , and is 3-connected, so lifts, and uniquely. Every -frame therefore carries one canonical spin structure, whose spinor bundle is the trivial line plus the axis bundle, as -modules. Viability, the self-model, regeneration and the clock cannot choose a lift, because there is exactly one, and that lift cannot tell a spinor from a vector plus a line. Where the holon's own manifold would need a choice, there is none to make: is odd, so the pure-state space and every carry no spin structure ( does: ).
(c) Triality: cannot tell from . The triples with form a 28-dimensional algebra, and each projection is an isomorphism onto (the three eight-dimensional representations). The triples with are the derivations, (dimension 14). The triples with form (dimension 21); in the slot it acts as , in the slots and irreducibly. The rotation of the axes in the -plane is ; its partners are and , and is , , . So the holon's octonions, with , are at once the vector of one and the spinor of another; the two agree on and differ on the seven generators outside it. (Mod) is exactly the statement that the axes act on matter through the slot (or ), and its negation that they act through .
(d) No induced action is two-valued; the question of T-347(e) has a negative answer. Call an action on matter induced when it comes from transformations of the holon, that is, factors through acting on (or through acting on ). Then:
- every action of , , on , and of in which acts trivially on states, lifts to a linear action in which the rotation by is : acts on by a scalar , a scalar needs every summand spinorial, and spinorial representations have even dimension while is odd;
- , the group of T-326, acts trivially on and on : its smallest non-trivial representation has dimension (the spinor has 16). acts on only as or (its spinor has 8);
- the centraliser of colour in is (dimension 3), so no induced action contains the weak , on or on any tensor built from it.
So among fermion modules whose internal symmetry is induced there are no doublets at all, and chirality and anomaly freedom have nothing to select from. Among modules on which the holon's product acts, every module is (T-347(b)). What selects is the Clifford action, not chirality. (Cl₀) is incompatible with every principle that makes the internal symmetry of matter induced by the holon.
(e) The spinor module is built from the holon's tensors (Kähler–Dirac). On the exterior algebra of the holon's axes (dimension 128), satisfies . So satisfies (Mod) on , with multiplicity . The Fano 3-form (T15), read as a Clifford element, has eigenvalues (8 each) and (56 each), and is a -invariant primitive idempotent. The left ideal is 8-dimensional, -stable, irreducible under , and is an isomorphism from that carries to and the tensorial to the derivations. Its complexification is with the group of T-326. The spinor module is thus a canonical subspace of a tensor space of the holon. What is not tensorial is the action: the rotation of the forms by is , the Clifford one is , and by (d) the Clifford action is induced by no transformation of the holon. The same space is the fermionic Fock space of the seven axes ( creates, annihilates). In that reading none of the 21 Clifford bivectors , and no combination of them, conserves the particle number, and the number-conserving part of is the tensorial rotation. So second quantisation of the holon gives (Mod) only on many-particle space and at the price of pair creation.
Proof. (a) is convex, so contracts it. The rank- stratum fibres over (the support) with the interior of as fibre, which is convex; . For the exact sequence of gives because ; for maps onto , and , so the cokernel is exactly when every . . Every map lifts to (the obstructions lie in ), and ; so , using . For , (Mimura, J. Math. Kyoto Univ. 6, 131 (1967)). The Poincaré polynomial of is , even, with cells; the rational cohomology of is exterior on generators of degrees for the exponents , that of on degrees and that of on . A local Lagrangian adds topological phases only through -terms (classes of , which act through of the sector) and Wess–Zumino terms (classes of ) (Finkelstein and Rubinstein, J. Math. Phys. 9, 1762 (1968); Witten, Nucl. Phys. B 223, 433 (1983)). With both absent the wave functions are functions on a simply connected configuration space, and the rotation by , which acts as the identity map, acts as . Monopoles are classified by of the vacuum manifold (Goldhaber, Phys. Rev. Lett. 36, 1122 (1976), for the statistics of dyons). (b) The fibre of is ; lifts of a map are obstructed by a class in and classified by . is 2-connected (), so is 3-connected and both groups vanish for . Since kills , the spinor representation restricted to is (T-347(a)). For a complex manifold , and with primitive; . (c) The triality principle (Schafer, An Introduction to Nonassociative Algebras, Academic Press 1966, ch. III §8) and a linear computation: the condition is linear in , its solution space and the stated subspaces are computed as kernels. (d) (1) If acts trivially on , its lift to commutes with everything and squares to , so it is ; with every irreducible summand is spinorial. Spinorial representations of , , have even dimension ( with for , multiples of in general). A homomorphism into from a group whose fundamental group is a 2-group lifts to , since has no 2-torsion. (2) Weyl's formula for and . (3) Under , , three inequivalent irreducibles, so the commutant is ; an induced action on a tensor of is the image of , and its part commuting with colour is the image of . The last sentences are T-347(b). (e) Direct computation; the left ideal is the image of right multiplication by . On forms, ; the middle terms preserve the degree and form the tensorial rotation, the outer ones change it by .
Numbers (test_spinors_from_the_tensorial_holon_triality_kahler_dirac_and_bosonic_textures):
- of the isospectral orbit is non-zero for 1 of the 15 partitions of 7; the Poincaré polynomial of has 5040 cells and no odd term; degree 5 is absent for (3, 11) and present for and ; the segment stays in ; on every , ;
- triality: 28 triples, each projection of rank 28, gives 14, gives 21 with commutants in the three slots; the rotation of has partners and ; ; on , ;
- the smallest non-trivial -dimensions are ; -dimensions are , the smallest spinorial is ; the commutant of on has dimension 3;
- is and satisfies on ; , central; has spectrum ; has 16 coefficients , its left multiplication has rank 8; the ideal has dimension 8, generated algebra 64, commutant 1, -commutant 2; intertwines with (not with ) and with the derivations; the tensorial -rotation is on all 128 dimensions and ; the commutators of the 21 bivectors with the degree operator have rank 21; the degree-preserving part of is the tensorial rotation.
What T-350 changes. (Cl₀) stays [H], and the physical readings of T-326, T-327, T-329, T-332 and T-333 stay [C at (Cl)]: no route derives it. Three things change. First, the obstruction is stated exactly. The earlier formula "everything built from is tensorial" is too strong. The spinor module is itself built from the holon's axes and Fano form, canonically ((e)). What no construction from the holon gives is a two-valued action: every action induced by transformations of the holon is single-valued, and the group of T-326 cannot act on the holon at all ((d)). Second, the open question of T-347(e) is closed [T]: chirality and anomaly freedom do not select . Induced modules have no weak , and Clifford modules are all . Third, the routes through solitons, spin structures and triality are closed with the reasons (a)–(c). The premise is (Mod), the holon's product acting on matter, and T-350 gives two readings of it: the axes act on matter through the spinor slot of triality, which cannot distinguish from the vector slot (c); the Clifford multiplication of the holon's forms, not their rotation, is the internal symmetry of matter (e). Each is a statement about how the holon acts on matter, and A1–A5 say nothing about matter.
Other pairs
- (P) and (MaxΦ) live in different factors (the spinor factor of matter, the anchor on ); the model with anchor satisfies (MaxΦ) and not (P), the model with satisfies (P) and not (MaxΦ). Independent.
- (Σ₆) and (P): (Σ₆) concerns the decompositions of the state space, (P) the spinor factor of matter; no implication is known either way. Open.
- and (MaxΦ): weights a cubic of , which the isolated dynamics does not see (T-331(f)); the anchor lives in the self-model. Independent.
8. Count
After the four waves of 2026-09-25/26 the free inputs of UHM are: the axioms A1–A4 and the constraint of A5 [P]; two bridge premises of physics, (Cl₀) and (P) relative to it [H]; one principle of the self-model, (MaxΦ) [Pr]; the strict-necessity premise (Σ₆) [H], perfect diagnosability of every decomposition, which replaced the stronger (P1₆) on 2026-09-28 (T-349); the free parameters of section 4, among them; and the identification hypotheses of section 3.4, three of which, (SV), (GC) and (UP), survive only in weakened form. Every other input used earlier has been discharged (section 5). (Cl₀) has an equivalent form, (Mod), in which the holon's product acts on matter; T-347 closes the routes that would derive it or (P) from a property of the holon, from maximality or from minimality; T-350 closes the routes that would make spinors out of the tensorial holon (textures, the spin lift, triality, second quantisation) and shows that (Cl₀) is incompatible with any principle under which the holon induces the internal symmetry of matter.