This gate asks why measurement outcomes follow the Born rule — why the probability of an outcome is the squared modulus of the amplitude, with expectation values taking the form Tr(ρE). Establishing it inside the framework means showing that this probability law is forced by the geometry's own axioms rather than imported by hand, in two parts: the functional form of the rule (Leg A1) and the measure over states that the rule's selector requires (Leg A2). It is one of the explicitly out-of-scope "measurement problem" questions deferred by the force-sector quantum paper, treated here only as a structural reduction exercise.
The K₆ = SU(3)/U(1)² coset and its admissibility-chamber structure supply candidate machinery: a "selector" that admits one eigenspace of a chamber-defined operator and rejects the rest, paralleling the BRST/quartet admittance used elsewhere in the corpus. For Leg A2 this lets a vague infinite-dimensional posit (an undeclared measure on the space of states) be sharpened into a finite, target-free maximal-symmetry chamber selector. The geometry is doing real reductive work — turning an open-ended assumption into a constrained, checkable one — but it is not validating the rule, and given the chamber structure is not the same as deriving the rule from it.
Badge: serious candidate / partial unification — NOT validated. The Born rule itself is OPEN. No status was ever upgraded.
The reduction splits into two legs, with distinct honest verdicts:
Leg A1 — non-contextuality (the form ρ → Tr(ρE)): AXIOM-CLOSED. An explicit countermodel shows the framework's own gauge axioms do not force non-contextuality. The standard non-contextuality hypothesis must therefore be imported as one named, value-free axiom (BORN-A1). The narrower color-center route is genuinely reduced, but the global operator-algebra type remains import-dependent — and that import is forbidden by the framework's own discipline. The Born functional form itself stays OPEN.
Leg A2 — the selector measure: OPEN. The maximal-symmetry chamber selector sharpens the posit but uniqueness fails, and a residual point-mass input remains disclosed rather than derived. The canonical measure that BORN-A2 names is not paid.
This is the same obligation tracked in the register as Gap-13 / Gap-15 (the state-space measure for the Born selector): OPEN — no known route. The measure on the space of states is undeclared and the inter-sector weights have no clean invariant yet. Net: one leg reduced to a named axiom (not a derivation), one leg open, and the rule as a whole OPEN.
Two concrete, currently-unmet obligations:
For Leg A2 / Gap-13 / Gap-15: construct a canonical measure on the state space — one that is unique, removes the residual point-mass input, and fixes the inter-sector weights from a clean geometric invariant. The BORN-A2 axiom currently names this debt without paying it; closing it means earning the measure, not positing it.
For Leg A1: derive non-contextuality (and thereby the Tr(ρE) form) from the framework's own gauge/operator-algebra structure, rather than importing the global operator-algebra type. Until the import is replaced by a derivation, A1 stays axiom-closed, not closed.
Honest caveat on the no-go side: the framework's force-sector paper explicitly scopes the measurement problem — the quantum-to-classical reduction, the Born rule, and the interpretation of measurement — out of scope, deferred to a later paper. So even a clean A2 measure would leave the broader measurement question untouched. The closure path above addresses the rule's structural reduction, not the full interpretive problem.
Status: OPEN. The Born rule itself stays open. One leg (the functional form) reduces to a single named, value-free assumption that is imported, not derived; the other leg (the measure) is sharpened but unpaid. Serious candidate, NOT validated.
The rule rests on measured quantum kinematics — a Hilbert space and the observed probability law as an experimental fact — and splits into two legs:
Established (given the observed inputs): the Born rule reduces to a floor of measured quantum kinematics plus two legs. On the measure leg, the geometry's chamber selector converts an open-ended, infinite-dimensional measure assumption into a finite, checkable object. Alongside it sit two firm negative results: the framework's gauge axioms do not force non-contextuality, and the maximal-symmetry selector is not unique. Both stand as obstructions that sharpen exactly what the missing object must be.
Precisely open: (i) deriving the trace-linear functional form from the framework's own operator-algebra structure, rather than relying on an imported global operator-algebra type; and (ii) constructing a unique canonical measure on the space of states — one that removes the disclosed point-mass input and fixes the inter-sector weights from a clean geometric invariant, currently with no known route, and partly waiting on a shared geometric defect object that is not yet built. The full interpretive measurement problem is out of scope. The honest claim is a structural reduction with one imported assumption and one unpaid measure — not a derivation of the Born rule, which stays OPEN.
No claim on this page is validated against experiment; the page reports a structural reduction with one named axiom and one open leg, and changes no gate status.