# The Born Rule (Gap-14 / Gap-15)

## What this gate must establish

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 geometry's role (load-bearing, not validation)

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.

## Current honest status

**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.

## What would close it

Two concrete, currently-unmet obligations:

1. **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.

2. **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.

## Sources

- **Gaps & Walls Register**, "Gap-13 / Gap-15 (the state-space measure for the Born selector)" and "The Born rule (the two legs)" rows — the source of the A1 (AXIOM-CLOSED) / A2 (OPEN) split and the "OPEN — no known route" status for the measure.
- **Quantum Paper III** (Quantum.html / Q1 main manuscript): UQF-3 "Physical Hilbert space" gate card and the explicit out-of-scope listing of the measurement problem and Born rule. The chamber-selector / admissibility-chamber machinery is described in the §19B engineering-bridge material (EXTERNAL, SIMULATED — no feedback into physics status). Published at https://physics.magflowmeters.com/articles/Quantum.html.

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.