The Standard Model as Interface
The candidate shape used elsewhere on this site describes the extra dimensions of the universe as a product of three separate geometric pieces, one for each Standard Model force. That looks like the tidiest possible arrangement — but tidiness is exactly the kind of thing this program refuses to take for free. This page explains why the product structure has to be earned, what the honest status of that result is, and where the deeper question — "is this the real geometry, or just the face it shows at low energy?" — remains genuinely open.
The setup: why a product looked natural
The Standard Model's gauge group is a direct product of three commuting pieces:
SU(3) (color) × SU(2) (weak) × U(1) (hypercharge), up to a finite shared center.
So when building a candidate higher-dimensional shape, the obvious move was to give each force its own small internal space — one whose own geometric symmetries reproduce exactly that force's group. Three separate pieces, multiplied together, plus the four familiar dimensions of ordinary spacetime. It reads like a clean dictionary: one factor, one force. The trouble is that "obvious" and "clean" are not the same as "allowed" — and this program's whole discipline is to check the difference.
Why that is not automatically allowed
A geometric product of pieces carries a hidden bonus that turns out to be a liability: it comes with a unique, canonical way of being split back apart into those same pieces. In other words, a product hands you a preferred decomposition for free — and a preferred, unpaid decomposition is exactly what the Nonseparability constraint is built to forbid. The same reasoning that rules out treating any arbitrary region of space as privileged also rules out silently assuming a privileged geometric split, unless something independent pays for it.
So the honest question was not rhetorical. Is the three-factor product structure forced by the program's constraints — or was it quietly assumed, a minimality shortcut dressed up as a derivation? The answer decides whether the tidiest reading is a result or a smuggled premise.
What the gate work actually found
Working through the admissibility questions systematically (the elimination logic described under Gates), the result splits cleanly into two claims of different strength — and keeping them apart is the whole point.
First, the strong part. A structure with no spectator factors — no extra, disconnected internal pieces bolted on for free — and no continuous mixing between the sectors is the only structure consistent with the constraints. This part is forced: it follows from the Nonseparability constraint together with the observed matter content, with no additional assumption smuggled in. An unpaid spectator sector would be an extra label with no anchor in anything observed, and that is precisely what the constraint eliminates.
Second, the paid part. The three-factor product itself — that the internal space factors into exactly these three pieces — is not conjured from the abstract constraints alone. It is licensed by an already-observed fact: that the Standard Model gauge group really does factor into commuting pieces, combined with the rule that gauge symmetry corresponds to geometric symmetry. That clause is doing real work. Change the observed gauge group and the product would have to change with it.
Current status of the product-structure result
No spectator factors, no mixing — resolved / forced given the Nonseparability constraint and the observed matter content. This is the strongest, rarest category of result: forced by the constraints themselves, not merely consistent with them.
The three-factor product itself — anchored, not derived. It is paid for by the observed Standard Model gauge group and matter content (with the internal geometry's homogeneity, a separate earlier result, and the "gauge symmetry = geometric symmetry" rule doing the rest). It is not proven from the abstract constraints alone, and it is not a claim that this product is inevitable regardless of what the Standard Model turns out to look like. Anchored is not derived.
Put plainly: the no-spectator, no-mixing part is solid and constraint-driven. The three-factor product is real and legitimate — but it stands on an observed fact about the world, not on the constraints acting alone. That is a meaningfully different, and more honest, claim than "the constraints force this geometry."
The open fork: interface, or deep geometry?
Because a canonical product is exactly the kind of structure Nonseparability treats with suspicion, a live question sits underneath the resolved result — one the program names rather than buries:
Option A — the product is the paid structure
The three-factor product really is the internal geometry, legitimate precisely because it is paid for by the observed Standard Model gauge group. This is the more conservative reading, and the one currently written up as the primary result.
Option B — the product is a low-energy interface
Conjecture. A single, more unified internal geometry could contain the same SU(3)×SU(2)×U(1) structure as commuting substructures without ever having a canonical product split — so the "product" we see would be a description that only becomes exact at low energy, not the deepest layer of the geometry itself.
Option B is the more tantalizing possibility, and the one this section's name gestures toward — but it is explicitly not settled. No specific candidate unified geometry has been produced and shown to reduce correctly; no particular unified reading has been checked.
Here is the honest subtlety that keeps this from being a hole in the theory. As things stand, the two readings make no difference to any finite record we can actually construct: at every energy we can probe, Option A and Option B predict the same measurements. So the fork is a record-conditional research question, not a blocking gap — it does not change any current prediction, and it only becomes a live, decidable question if some future finite observation is ever shown to tell the two apart. Until then, the defensible working position is Option A: the product is real, paid, and current — not a placeholder standing in for a hidden deeper unity, and not a debt the theory owes.