Moufang-Loop Phase Closure

provisional

Overview

Axiom 3 (Loop Closure) specifies that an observer’s phase evolution ϕτ:ΣΣ\phi_\tau: \Sigma \to \Sigma is a continuous U(1)U(1) action with compact period TAT_A and exact closure ϕTA=idΣ\phi_{T_A} = \mathrm{id}_\Sigma. At the minimal level, ΣS1\Sigma \cong S^1 and the phase is a point on the unit circle, evolving by complex-phase multiplication. At higher bootstrap levels, the phase lives in a richer state space — which, as Bootstrap Division Algebras establishes, is naturally associated with the Cayley–Dickson tower RCHO\mathbb{R} \to \mathbb{C} \to \mathbb{H} \to \mathbb{O}.

This derivation asks: what algebraic structure does Axiom 3 require of the phase space at each bootstrap level? The answer — closure of the unit elements under the algebra’s multiplication — provides a new, dynamical route to the bootstrap termination theorem, and along the way gives a clean structural home to the intuition that timelike surfaces at bootstrap-integer scales carry integer content (complementing the null-surface integer content of Observer Holographic Equivalence Proposition 4.1).

The chain. Axiom 3’s flow composition ϕτ1ϕτ2=ϕτ1+τ2\phi_{\tau_1} \circ \phi_{\tau_2} = \phi_{\tau_1 + \tau_2} requires the phase space to admit a closed, consistent multiplication — the unit sphere in the level’s algebra must be closed under the algebra’s product. This is the Moufang-loop property (for O\mathbb{O}) or the Lie-group property (for R,C,H\mathbb{R}, \mathbb{C}, \mathbb{H}). Hurwitz’s theorem classifies: the real algebras with this property are exactly R,C,H,O\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}. Beyond octonions, sedenions S\mathbb{S} have zero divisors — nonzero elements whose product is zero — so the unit “sphere” S15S^{15} is not closed under multiplication. Axiom 3 has no consistent structure to evolve within at sedenion level, and the bootstrap terminates at O\mathbb{O}.

Relation to Bootstrap Division Algebras. That derivation proves bootstrap termination at O\mathbb{O} via the failure of the composition property xy=xy|xy| = |x||y| at sedenions — an algebraic argument. The present derivation gives a complementary dynamical argument: termination at O\mathbb{O} follows from Axiom 3 consistency requirements on the phase space. Hurwitz’s theorem connects the two: composition algebras are exactly the unit-sphere-closed algebras, so the algebraic and dynamical arguments reach the same conclusion via equivalent characterizations. Neither argument is a prerequisite for the other; they are two roads to the same theorem.

What this buys. Beyond the alternative termination proof, the derivation produces:

  1. A classification of phase-space integer invariants at each bootstrap level: π1(U(1))=Z\pi_1(U(1)) = \mathbb{Z} at level 1, π3(SU(2))=Z\pi_3(SU(2)) = \mathbb{Z} at level 2, π3(SU(3))=Z\pi_3(SU(3)) = \mathbb{Z} at level 3. These match the framework’s existing integer invariants (winding numbers, instanton numbers).
  2. A corollary connecting to Observer Holographic Equivalence Proposition 4.1: non-null surfaces at bootstrap-integer scales carry integer content via the phase trajectory’s homotopy class, complementing the null-surface classification.
  3. A structural reason for the bootstrap’s discrete spectrum of levels: they are the scales where Moufang-loop phase closure admits ℤ-valued topological invariants.

Honest scope. This derivation is a structural reformulation, not a new physical result. It does not predict new observables beyond what Bootstrap Division Algebras already gives; it gives the same termination theorem via a different argument. Its value is conceptual (connecting Axiom 3 to bootstrap termination more directly) and structural (classifying integer invariants at each level).

Statement

Theorem (Phase-space consistency and bootstrap termination). Axiom 3’s loop closure requires the phase space Σn\Sigma_n at each bootstrap level nn to admit a closed multiplication: the unit elements ΣnΣn\Sigma_n^* \subseteq \Sigma_n must be closed under the algebra’s product. This closure is available precisely when the algebra An\mathbb{A}_n is a real composition algebra, i.e., An{R,C,H,O}\mathbb{A}_n \in \{\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}\} (Hurwitz, 1898). Beyond O\mathbb{O}, sedenions S\mathbb{S} have zero divisors, so the unit sphere S15SS^{15} \subset \mathbb{S} is not closed under multiplication. Axiom 3 cannot be satisfied at sedenion level, and the Cayley–Dickson bootstrap terminates at O\mathbb{O}.

Corollary (Bootstrap-scale integer invariants). At each bootstrap level n3n \leq 3, the phase trajectory ϕ:S1Gn\phi: S^1 \to G_n, where GnG_n is the Lie group associated with level nn (G1=U(1)G_1 = U(1), G2=SU(2)G_2 = SU(2), G3=SU(3)G_3 = SU(3)), admits a Z\mathbb{Z}-valued homotopy class invariant:

Beyond level 3, there is no Lie group G4G_4 associated with the sedenions, and no corresponding integer invariant. The bootstrap-scale integer-content spectrum is therefore exactly {\{level 1, level 2, level 3}\}.

Derivation

Step 1: Axiom 3’s Operational Content for Phase Dynamics

Preliminaries. Loop Closure postulates: for each observer AA at bootstrap level nn, there exists a continuous U(1)U(1) action ϕτ:ΣnΣn\phi_\tau: \Sigma_n \to \Sigma_n parameterized by proper time τ[0,TA]\tau \in [0, T_A] with period TAT_A and satisfying:

  1. Flow composition. ϕτ1ϕτ2=ϕτ1+τ2\phi_{\tau_1} \circ \phi_{\tau_2} = \phi_{\tau_1 + \tau_2} for all τ1,τ2\tau_1, \tau_2.
  2. Identity at τ=0\tau = 0. ϕ0=idΣn\phi_0 = \mathrm{id}_{\Sigma_n}.
  3. Loop closure. ϕTA=idΣn\phi_{T_A} = \mathrm{id}_{\Sigma_n} (the flow closes exactly after one period).
  4. Continuity. ϕτ\phi_\tau is continuous in τ\tau.

These conditions make ϕτ\phi_\tau a one-parameter subgroup of Aut(Σn)\mathrm{Aut}(\Sigma_n) with kernel TAZT_A \mathbb{Z}.

Proposition 1.1 (Phase values live in a group-like structure). For the flow ϕτ\phi_\tau to satisfy Axiom 3’s composition property in a way compatible with the bootstrap’s algebraic structure, the phase trajectory ϕτ(x0)\phi_\tau(x_0) starting from any basepoint x0Σnx_0 \in \Sigma_n must take values in a subset of Σn\Sigma_n that is closed under the natural multiplication induced by An\mathbb{A}_n.

Argument. The bootstrap assigns each level nn an algebra An\mathbb{A}_n via the Cayley–Dickson construction (Bootstrap Division Algebras). The phase space Σn\Sigma_n is built from An\mathbb{A}_n: for a minimal (level-1) observer, ΣS1C=A1\Sigma \cong S^1 \subset \mathbb{C} = \mathbb{A}_1, with the phase evolving by ϕ(τ)=eiωτ\phi(\tau) = e^{i\omega\tau} — unit-norm complex-phase multiplication. This pattern — phase as unit element of An\mathbb{A}_n, evolution by multiplication — is the natural generalization to higher levels.

For Axiom 3’s flow composition (1) to hold as ϕ(τ1)ϕ(τ2)=ϕ(τ1+τ2)\phi(\tau_1) \cdot \phi(\tau_2) = \phi(\tau_1 + \tau_2) with multiplication inherited from An\mathbb{A}_n, the product must stay in the space of “valid phase values” — i.e., unit-norm elements. This is the closure requirement: if ϕ(τ1)=ϕ(τ2)=1|\phi(\tau_1)| = |\phi(\tau_2)| = 1, then ϕ(τ1)ϕ(τ2)=1|\phi(\tau_1) \cdot \phi(\tau_2)| = 1. \square

Remark 1.2 (What counts as “closure”). For Axiom 3, closure means: the unit sphere An={xAn:x=1}\mathbb{A}_n^* = \{x \in \mathbb{A}_n : |x| = 1\} is stable under the algebra’s product. Multiplication of two unit-norm elements yields a unit-norm element. This is equivalent to the composition property xy=xy|xy| = |x||y| on An\mathbb{A}_n, since xy=1|x||y| = 1 iff xy=1|xy| = 1 for unit-norm x,yx, y.

Step 2: Moufang-Loop and Lie-Group Structures on Unit Spheres

Definition 2.1 (Moufang loop and Lie group). A Moufang loop is a (possibly non-associative) quasigroup with identity, satisfying the Moufang identities (xy)(zx)=(x(yz))x(xy)(zx) = (x(yz))x, x(y(xz))=((xy)x)zx(y(xz)) = ((xy)x)z, ((yx)z)x=y(x(zx))((yx)z)x = y(x(zx)). A Lie group is an associative Moufang loop equipped with a smooth manifold structure.

Proposition 2.2 (Unit spheres in composition algebras are Moufang loops or Lie groups). For n2n \leq 2, the unit sphere An\mathbb{A}_n^* is a Lie group: R={±1}\mathbb{R}^* = \{\pm 1\} (trivially), C=U(1)=S1\mathbb{C}^* = U(1) = S^1, H=SU(2)=S3\mathbb{H}^* = SU(2) = S^3. For n=3n = 3, the unit sphere O=S7\mathbb{O}^* = S^7 is a Moufang loop but not a Lie group (octonion multiplication is non-associative). In all four cases, closure under multiplication holds.

Argument. Closure: in each composition algebra, xy=xy|xy| = |x||y|, so unit-norm elements have unit-norm products. Lie group structure at n2n \leq 2: standard — associativity of complex and quaternion multiplication makes U(1)U(1) and SU(2)SU(2) associative, with smooth manifold structure from the ambient An\mathbb{A}_n. Moufang-loop structure at n=3n = 3: the octonions are alternative (weakly associative), and Moufang’s theorem (1935) shows that any three-element subset of an alternative algebra generates an associative subalgebra, giving the Moufang loop identities on O\mathbb{O}^* [Moufang 1935; Conway & Smith 2003, §6]. \square

Remark 2.3 (Why Moufang suffices for Axiom 3). The Moufang identities ensure that the phase trajectory ϕ(τ)\phi(\tau), as a one-parameter family of unit elements, has unambiguous composition along the trajectory (since any three trajectory points generate an associative subalgebra, composition is unambiguous on each finite trajectory segment). Full global associativity is not required; Moufang suffices for well-defined flow composition. This is why O\mathbb{O} is admissible despite non-associativity, while sedenions are not — the failure at S\mathbb{S} is not associativity but closure (zero divisors violate xy=xy|xy| = |x||y| by making xy=0xy = 0 for unit x,yx, y).

Step 3: Hurwitz’s Theorem and the Composition-Algebra Classification

Theorem 3.1 (Hurwitz, 1898). The only finite-dimensional unital real composition algebras — algebras A\mathbb{A} with multiplicative norm xy=xy|xy| = |x||y| — are R\mathbb{R}, C\mathbb{C}, H\mathbb{H}, and O\mathbb{O}. [Hurwitz 1898; Conway & Smith 2003, Theorem 2.]

Classical result; no proof needed here.

Corollary 3.2 (Unit-sphere closure classification). The real Cayley–Dickson algebras An\mathbb{A}_n whose unit spheres are closed under multiplication are exactly A1=C\mathbb{A}_1 = \mathbb{C}, A2=H\mathbb{A}_2 = \mathbb{H}, A3=O\mathbb{A}_3 = \mathbb{O} (plus the trivial A0=R\mathbb{A}_0 = \mathbb{R}). For n4n \geq 4, the Cayley–Dickson successor algebras — beginning with the sedenions S=A4\mathbb{S} = \mathbb{A}_4 — have zero divisors and their unit spheres are not closed under the algebra’s product.

Argument. Direct combination: closure of An\mathbb{A}_n^* under multiplication is equivalent to the composition property xy=xy|xy| = |x||y| on An\mathbb{A}_n (Remark 1.2). By Hurwitz’s theorem, composition holds exactly for R,C,H,O\mathbb{R}, \mathbb{C}, \mathbb{H}, \mathbb{O}. The Cayley–Dickson construction applied to O\mathbb{O} yields sedenions S\mathbb{S}, which are NOT a composition algebra; the first instance of zero divisors appears there. \square

Step 4: Sedenion Zero Divisors Break Axiom 3

Proposition 4.1 (Explicit sedenion zero divisor). In the sedenion algebra S\mathbb{S}, there exist unit-norm elements a,bSa, b \in \mathbb{S}^* with ab=0a \cdot b = 0.

Example. In a Cayley–Dickson basis {1,e1,,e15}\{1, e_1, \ldots, e_{15}\} for S\mathbb{S}, the elements a=(e3+e10)/2a = (e_3 + e_{10})/\sqrt{2} and b=(e6e15)/2b = (e_6 - e_{15})/\sqrt{2} are unit-norm but ab=0a \cdot b = 0 [Smith 1995; Koca et al. 2003 for explicit enumerations]. More generally, the sedenion zero-divisor pairs form a 168-parameter family; specific pairs realize all of them.

Proposition 4.2 (Axiom 3 inconsistent at sedenion level). If a hypothetical level-4 observer had its phase space Σ4\Sigma_4 associated with sedenions S\mathbb{S}, with phase dynamics realized by sedenion multiplication, Axiom 3 cannot be satisfied.

Argument. By Axiom 3 and Proposition 1.1, the phase trajectory ϕ:[0,TA]S\phi: [0, T_A] \to \mathbb{S}^* must compose consistently: ϕ(τ1)ϕ(τ2)=ϕ(τ1+τ2)\phi(\tau_1) \cdot \phi(\tau_2) = \phi(\tau_1 + \tau_2), with all values in the unit sphere S\mathbb{S}^*. By Proposition 4.1, there exist unit-norm elements whose product is zero — which is NOT unit-norm. The trajectory therefore admits points τ1,τ2\tau_1, \tau_2 (depending on basepoint) where ϕ(τ1)ϕ(τ2)\phi(\tau_1) \cdot \phi(\tau_2) falls outside S\mathbb{S}^*, violating the closure requirement. Axiom 3’s flow composition cannot be satisfied.

More specifically: the kernel of sedenion multiplication on S×S\mathbb{S}^* \times \mathbb{S}^* (pairs mapping to zero) is non-empty. Any path through this kernel breaks flow composition. Continuous trajectories cannot avoid the kernel by topology: S=S15\mathbb{S}^* = S^{15} is simply connected, and the zero-divisor locus has non-trivial topology in S15×S15S^{15} \times S^{15} that continuous trajectories must cross under generic dynamics. No level-4 phase flow can be consistently defined. \square

Step 5: Bootstrap Termination from Axiom 3 Consistency

Theorem 5.1 (Bootstrap termination at O\mathbb{O}). The Cayley–Dickson bootstrap, as constrained by Axiom 3, terminates at A3=O\mathbb{A}_3 = \mathbb{O}. No level-4 observer can satisfy Axiom 3 because the sedenion phase-space structure cannot support consistent loop-closure dynamics.

Argument. Direct combination of Propositions 1.1 (Axiom 3 requires unit-sphere closure), 2.2 (levels 1–3 have closure via Moufang loops or Lie groups), and 4.2 (sedenion level breaks closure via zero divisors). Axiom 3 is satisfiable at levels 1, 2, 3 (with phase spaces U(1),SU(2),SU(3)U(1), SU(2), SU(3)-compatible via the respective Moufang/Lie structures) and unsatisfiable at level 4 and beyond. \square

Remark 5.2 (Comparison with Bootstrap Division Algebras). Bootstrap Division Algebras proves the same termination theorem via the algebraic route: composition xy=xy|xy| = |x||y| fails at sedenions (Hurwitz), so the bootstrap’s composition requirement cannot be met. The present derivation gives the dynamical route: Axiom 3’s consistency is the operational expression of the same underlying structure. The two arguments are mathematically equivalent (both rest on Hurwitz’s theorem) but conceptually complementary: the algebraic argument is “composition fails” and the dynamical argument is “Axiom 3 can’t evolve.” Neither subsumes the other; together they give a sharper sense of why the bootstrap terminates at O\mathbb{O} — there is no way to continue, via any structural route the framework cares about.

Remark 5.3 (Why the gauge groups are subgroups, not the full unit spheres at n3n \leq 3). The framework’s gauge groups at each level (U(1),SU(2),SU(3)U(1), SU(2), SU(3)) are not always the full unit sphere. At level 1 and 2 they coincide (U(1)=S1U(1) = S^1, SU(2)=S3SU(2) = S^3). At level 3, SU(3)SU(3) is the stabilizer of an octonion unit within G2=Aut(O)G_2 = \mathrm{Aut}(\mathbb{O}), a Lie subgroup of the Moufang loop S7S^7. This subgroup structure arises because the framework’s phase dynamics use the associative piece of the octonion structure (matching an unbroken electroweak unit) rather than the full non-associative sphere. The Moufang-loop closure on S7S^7 is the parent structure from which SU(3)SU(3) is extracted. Without S7S^7‘s Moufang structure, no SU(3)SU(3) stabilizer would exist.

Step 6: Bootstrap-Scale Integer Invariants

Proposition 6.1 (Integer invariants from homotopy). For each bootstrap level n{1,2,3}n \in \{1, 2, 3\}, the phase trajectory ϕ:S1Gn\phi: S^1 \to G_n (closing after one period TnT_n by Axiom 3) admits a Z\mathbb{Z}-valued homotopy class:

The integers are homotopy invariants and therefore robust under smooth deformation. They count topologically distinct phase trajectories at each bootstrap level.

Argument. For level 1: G1=U(1)=S1G_1 = U(1) = S^1, and the phase trajectory is a map S1S1S^1 \to S^1. The homotopy classes of such maps are indexed by winding number, π1(S1)=Z\pi_1(S^1) = \mathbb{Z}. For levels 2 and 3: GnG_n for n=2,3n = 2, 3 is a compact simple Lie group with π1=0\pi_1 = 0; the first nontrivial homotopy is π3(Gn)=Z\pi_3(G_n) = \mathbb{Z} by standard homotopy theory for compact simple Lie groups [Bott 1956]. For phase trajectories, the relevant homotopy class on the 1-cycle S1S^1 is trivial (π1=0\pi_1 = 0), but extending the trajectory to a 3-cycle via its action on internal degrees of freedom gives a π3\pi_3 invariant — this is the instanton number, which counts topologically distinct gauge configurations.

The combination of “phase loop closes after TnT_n” (from Axiom 3) with “state space has π1\pi_1 or π3\pi_3 equal to Z\mathbb{Z}” (from the Lie-group structure at level nn) gives the integer invariant. \square

Proposition 6.2 (No integer invariant at sedenion level). At sedenion level (if it existed), no Z\mathbb{Z}-valued homotopy invariant analogous to the above is available, because no Lie group G4G_4 acts compatibly on the sedenion phase space. The unit “sphere” S15S^{15} is topologically closed (π15(S15)=Z\pi_{15}(S^{15}) = \mathbb{Z} trivially as the degree) but has no Lie group structure to support the framework’s dynamical interpretation of the invariant.

Argument. A Z\mathbb{Z}-valued homotopy invariant that is PHYSICALLY MEANINGFUL (counting phase configurations as the framework uses them) requires the target space to be a Lie group — so that the Maurer-Cartan form, the gauge-compatible multiplication, and the physical interpretation of the winding/instanton class are all available. At sedenion level, S15S^{15} is merely a topological sphere with no Lie group structure (no composition algebra underlying it). The topological π15(S15)=Z\pi_{15}(S^{15}) = \mathbb{Z} is a mathematical fact but has no physical realization in the framework’s Axiom 3 dynamics. \square

Corollary 6.3 (Bootstrap-scale integer content for timelike surfaces). Let Σ\Sigma be a timelike surface in MAM_A enclosing observer AA at bootstrap level n3n \leq 3, such that Σ\Sigma encloses a trajectory segment covering exactly an integer number kk of phase periods TnT_n. Then the phase content of Σ\Sigma integrates to a Z\mathbb{Z}-valued invariant: the homotopy class of the kk-fold composite trajectory in GnG_n, equal to k[ϕ]k \cdot [\phi] where [ϕ][\phi] is the single-period homotopy class of Proposition 6.1. Timelike surfaces at sub-period or fractional-period scales do not admit this invariant and carry continuous content (per Observer Holographic Equivalence Proposition 4.1 Part 2).

Remark 6.4 (Complement to Observer Holographic Equivalence Proposition 4.1). Observer Holographic Equivalence Proposition 4.1 classifies enclosing surfaces by causal character: null surfaces carry integer/topological content, non-null surfaces carry continuous phase. Corollary 6.3 refines the non-null case: non-null surfaces at bootstrap-integer scales carry integer content (via the bootstrap-level homotopy class), while non-null surfaces at fractional or non-bootstrap scales carry continuous content. The minimal observer is the case where BA\mathcal{B}_A itself is at a bootstrap-integer scale (one period covers the whole observer by construction), explaining why the minimal observer’s coherence-domain boundary and horizon both reduce to integer content — MA\partial M_A by Proposition 4.1 Part 1 (null), BA\mathcal{B}_A by Corollary 6.3 (bootstrap-integer scale).

Consistency Model

Working through the four admissible levels plus the sedenion failure case.

Level 1 (C\mathbb{C}, gauge group U(1)U(1)): A minimal observer has ΣS1\Sigma \cong S^1, phase ϕ(τ)=eiω1τ\phi(\tau) = e^{i\omega_1\tau}. The phase trajectory over one period T1T_1 is the identity loop around S1S^1. Homotopy class: [ϕ]=1π1(U(1))=Z[\phi] = 1 \in \pi_1(U(1)) = \mathbb{Z}. Closure under multiplication: complex multiplication eiαeiβ=ei(α+β)e^{i\alpha} \cdot e^{i\beta} = e^{i(\alpha+\beta)}, unit norm preserved. ✓

Level 2 (H\mathbb{H}, gauge group SU(2)=S3SU(2) = S^3): A level-2 observer has phase in SU(2)SU(2), evolving by quaternion multiplication. Phase trajectory over one T2T_2 closes in SU(2)SU(2); as a map S1S3S^1 \to S^3 it is homotopic to a constant (since π1(S3)=0\pi_1(S^3) = 0), but extending to 3-cycle action gives π3(SU(2))=Z\pi_3(SU(2)) = \mathbb{Z} (instanton number). Closure: quaternion multiplication q1q2=q1q2=1|q_1 q_2| = |q_1||q_2| = 1 for unit quaternions. ✓

Level 3 (O\mathbb{O}, gauge group SU(3)G2=Aut(O)SU(3) \subset G_2 = \mathrm{Aut}(\mathbb{O})): A level-3 observer has phase in SU(3)SU(3), the stabilizer of an octonion unit within G2G_2. Closure on S7=OS^7 = \mathbb{O}^* holds via Moufang-loop structure (octonion unit-norm elements multiply to unit-norm elements even without full associativity, per Moufang’s theorem). SU(3)SU(3) is a Lie subgroup with π3(SU(3))=Z\pi_3(SU(3)) = \mathbb{Z}. ✓

Level 4 (sedenions S\mathbb{S}, attempted): A hypothetical level-4 observer would have phase in some subset of S=S15\mathbb{S}^* = S^{15}. Closure fails: Proposition 4.1 gives explicit a,bS15a, b \in S^{15} with ab=0S15a \cdot b = 0 \notin S^{15}. No phase trajectory can maintain unit-norm closure under sedenion multiplication. Axiom 3’s flow composition is inconsistent. No integer invariant is available from a Lie-group homotopy (no Lie group exists). ✗

Observation. The admissible levels exactly match the framework’s bootstrap structure. Each level’s gauge group, integer invariant, and phase-space structure align with Bootstrap Division Algebras Theorems 1–2 and Knot-Theoretic Bootstrap CS level ratios 4:2:14:2:1. The sedenion-level failure is specifically an Axiom 3 consistency failure, distinct from (but equivalent to) the composition-property failure identified in Bootstrap Division Algebras. \square

Rigor Assessment

Rigorous (classical mathematics):

Semi-formal (rigorous given framework commitments):

Reformulation (not new mathematical content):

Open Gaps

  1. Formal statement of “Axiom 3 requires unit-sphere closure.” Proposition 1.1 is argued from the natural identification of the phase space with the unit sphere of the level’s algebra. A fully rigorous statement would specify: (a) how the state space Σn\Sigma_n is constructed from An\mathbb{A}_n at each bootstrap level; (b) why the phase evolution is by algebra multiplication (as opposed to some other evolution); (c) how Axiom 3’s flow composition forces closure under that multiplication. Current framework derivations handle (a) and (b) implicitly; formalizing them would tighten the argument. Difficulty: MODERATE.

  2. Topology of the sedenion zero-divisor locus. Proposition 4.2 argues that continuous phase trajectories cannot avoid the sedenion zero-divisor locus. Making this rigorous requires characterizing the zero-divisor locus as a subset of S15×S15S^{15} \times S^{15} and showing that generic one-parameter subgroups must intersect it. Standard tools apply (transversality, degree theory) but the explicit argument is pending. Difficulty: MODERATE.

  3. Rigorous formulation of Corollary 6.3. The statement “timelike surfaces at bootstrap-integer scales carry integer content via homotopy classes” needs a precise definition of “enclosing a trajectory over integer periods” and how the enclosed trajectory’s homotopy class integrates over the surface. Likely tools: integration of the Maurer-Cartan form over the enclosed region, or a direct fiber-bundle argument. Connects to Observer Holographic Equivalence Proposition 4.1’s Part 2 (non-null content classification). Difficulty: MODERATE.

  4. Does this give new consequences? The bootstrap termination is equivalent to Bootstrap Division Algebras. The integer invariants at each level are equivalent to the framework’s existing invariants (winding numbers, instanton numbers). The derivation does not predict new physics. However, it might provide a cleaner starting point for future structural work: e.g., the Axiom 3 → bootstrap-termination route may allow reasoning about bootstrap-related consequences that is simpler than via Hurwitz directly. Identifying such consequences — if they exist — is a research target. Difficulty: varies.

  5. Generalized Cayley–Dickson constructions. The Cayley–Dickson construction is one specific way to build algebras; others (e.g., twisted Cayley–Dickson with non-trivial norm, alternative algebraic towers) could in principle be consistent with some modified Axiom 3. Whether the framework’s bootstrap is forced to use standard Cayley–Dickson (vs. admitting alternatives) is not addressed here. Difficulty: HARD; probably requires additional framework commitments to answer.

  6. Higher-arity generalizations. The Moufang-loop structure at O\mathbb{O} is the minimal weakening from Lie groups (associativity lost). Could the framework in principle admit structures weaker than Moufang loops (e.g., general quasigroups) at a hypothetical level 4+, or does Axiom 3 specifically require at least Moufang-loop structure? This connects to whether alternative-to-associative phase dynamics could evade the bootstrap termination. Difficulty: HARD.