Photonic Universe Hypothesis (PUH) — Uniqueness Result. THE QUESTION. T303 located the hyperbolic target required by the rotating field equations, carried by sl(2,ℝ) subalgebras at each of 112 noncompact root directions of the folding real form. It could then say only that the correct slot exists and is occupied by an algebra of the right type — weaker than saying the gravitational reduction lands in a determinate place, since 112 directions might carry inequivalent algebras. Had they been inequivalent, "is it the right one?" would have had no determinate answer, because there would have been no single object for a derivation to produce. THE GRADING-PRESERVING WEYL GROUP. Reflection in a root α shifts the grading coefficient of any β by an integer multiple of α's own coefficient, so parity is preserved for every β exactly when α has EVEN coefficient. The subgroup preserving the Cartan decomposition is therefore generated by reflections in the compact roots and nothing else. VERIFIED DIRECTLY: every compact reflection preserves the grading across all 240 roots, and the number of noncompact reflections preserving it is ZERO. THE COMPACT PART. The 128 compact roots divide by pairing with the highest root: 126 orthogonal to it, forming E7; exactly two not orthogonal — the highest root and its negative — forming A₁. The maximal compact has semisimple part E7 × A₁, dimension 128 root directions + 8 Cartan = 136 exactly. THEOREM 304.1. The 112 noncompact root directions form a SINGLE orbit under the grading-preserving Weyl group; the 56 distinct sl(2,ℝ) subalgebras they determine are mutually conjugate under the maximal compact subgroup, hence under the group. COMPUTATION: from one noncompact root, applying every compact reflection to closure, the orbit reaches 112 — all of them — and remains inside the noncompact part throughout. Five distinct seeds return the same size. The orbit is closed under negation. THE COUNT IS 56, NOT 112: a root and its negative generate the SAME sl(2), so 112 directions determine 56 subalgebras. Closure under negation is what makes the pairing compatible with the orbit structure, so a single orbit of directions corresponds to a single conjugacy class of subalgebras. T303's 112-directions phrasing was accurate; the refinement is that the number of distinct algebraic objects is half that. THE CONTROL — what makes this a result rather than an artefact. An orbit returning "everything" invites the suspicion that the group merges whatever it acts on. The same computation applied to the COMPACT roots does NOT return a single orbit: they split into 2 and 126 — exactly the A₁ and the E7. THE GROUP DOES NOT MERGE EVERYTHING IT TOUCHES. The 112 landing in one orbit is therefore a genuine statement about the noncompact part, not a consequence of insufficient resolution. WHY IT IS FORCED. The noncompact part decomposes under the maximal compact as the 56 of E7 tensored with the 2 of A₁ (56 × 2 = 112). The 56 is minuscule, so its weights form a single Weyl orbit — CONFIRMED HERE by direct computation, not quoted: the orbit of one noncompact root under E7 reflections ALONE returns 56 of 56. Reflection in the highest root exchanges the two halves, sending a +1 pairing to −1, verified. A tensor product of two single orbits is a single orbit, so the result is forced by representation structure rather than accidental. The direct orbit computation and the representation-theoretic argument are independent routes agreeing. A STRUCTURAL EXPLANATION OF AN EARLIER RESULT. T303 found by exhaustive search that exactly the highest root and its negative have a compact orthogonal E7, recording it as a fourth convergence on θ. The reason is now visible: those two roots ARE the A₁ factor of the maximal compact, so their orthogonal complement is precisely the E7 factor, compact by construction. The observation was correct; it is now derived rather than found. WHAT THIS DOES TO THE DERIVATION PROBLEM. The outstanding question — whether the substrate equations inevitably produce the second field rather than merely admitting a matching structure — previously had no determinate target: a derivation might have landed in any of 112 possibly-inequivalent algebras. NOW THERE IS ONE CANDIDATE UP TO CONJUGACY. If the reduction lands in any sl(2,ℝ) built from a noncompact root direction, it lands in THE one, since they are all the same subalgebra viewed from different positions. WHAT IT DOES NOT DO. The reduction has still not been carried out and is not attempted here. It remains possible in principle that a substrate derivation lands outside this family — in an sl(2,ℝ) not generated by a single root direction, of which there are others, since the real form has rank four and its restricted root system supplies sl(2,ℝ) subalgebras along non-root directions. THE UNIQUENESS ESTABLISHED IS UNIQUENESS AMONG ROOT-GENERATED SUBALGEBRAS — the family T303 located — NOT among all sl(2,ℝ) subalgebras of the real form. That restriction is stated as such. KILL-CONDITIONS: (i) Theorem 304.1 is a finite computation over 240 roots requiring only the root system and one parity test — no structure constants, no certified basis — and is falsified by any independent reproduction returning an orbit smaller than 112, or a compact-root orbit structure other than 2 and 126; (ii) if the folding real form is revised away from the quaternionic one, the grading changes and the whole computation must be redone; (iii) if a substrate derivation lands in a non-root-generated sl(2,ℝ), the uniqueness proved here does not apply and the target question reopens in the larger family. NOT CLAIMED: that the reduction has been performed, or that this sl(2,ℝ) IS the Ehlers group rather than the unique candidate for it; uniqueness beyond root-generated subalgebras; any correction to T303 (its phrasing is accurate, its θ result confirmed and explained); that the identification of the second field with the condensate circulation sector is thereby derived; or any bearing on the substrate action, which is untouched.
Brian Martell (Sun,) studied this question.