Board status — ratified 2026-07-08 (supersedes the mid-audit chips below): Born — probability weight is CERTIFIED-IRREDUCIBLE · RESOLVED +0 on the 33/0 gate board (33 RESOLVED +0 · 0 ANCHORED · 0 OPEN). The exponent comes out exactly 2, and the remaining derivation question reduces to the named non-contextuality/measure problem the entire field shares — an external dependency this framework does not own, shown openly. The dossier body below is the frozen mid-audit record (2026-06-24/29 sources), preserved verbatim; its “OPEN”/“AXIOM-OPEN” chips are the historical audit vocabulary governed by this banner. Source of truth: the gate board.
One dossier, one gate, honest status. This is the deep version of the live 30-second popup for the Born-rule gate (Gap-14 = the |ψ|² weights / quantum-to-classical emergence; Gap-15 = the state-space selector measure). It expands the brief closure-result into a full treatment a working physicist can both check and build on. STATUS-UPGRADES:0 — nothing here upgrades the gate's grade. The frozen 13D branch
dcc66f1b2685/ manifest metaa5b1e6f9d951(K₆ = SU(3)/T² coset + its admissibility-chamber structure) is READ-ONLY throughout.Firewall. This document shares the physics: why the Born rule resists derivation, what the frozen geometry genuinely sharpens, where the open frontier is, and exactly how a specialist closes each hole. It contains no device engineering of any kind — no quantum-error-correction-chip content, no out-of-scope engineering-application content. The physics is the product.
We refused to leave the Born rule as one undifferentiated black box. Quantum theory's hundred-year-old free postulate — why measurement outcomes follow |⟨φ|ψ⟩|² (equivalently the expectation law Tr(ρE)) rather than any other law — was split into two named, separately-graded legs and each was attacked target-blind:
On Leg A1 we produced a real, checkable result that the field rarely states explicitly: an explicit countermodel proving the framework's own gauge (BRST) axioms do not force non-contextuality. The program therefore does not silently smuggle the Born rule's load-bearing hypothesis — it must import it, on the record, as a single named value-free posit (BORN-A1). On Leg A2, the K₆ maximal-symmetry admissibility chamber converts an undeclared, infinite-dimensional measure-on-states into a finite, target-free chamber selector — a genuine reductive sharpening of the posit.
That is the genuine win, and it is worth stating sharply because it is true and checkable. But it is not a closure, and this dossier is scrupulous about that: the import that A1 rides is itself a flagged discipline violation (the global operator-algebra type it presupposes is one the framework's own rules forbid importing), and the A2 chamber selector's uniqueness fails. The honest verdict: one leg axiom-open on a forbidden import, one leg open with its measure debt named out loud, the rule as a whole OPEN.
Chip: OPEN. Leg A1 = AXIOM-OPEN (imported, import-forbidden) — the Born functional form itself stays OPEN. Leg A2 = OPEN (uniqueness fails, point-mass input disclosed-not-derived, no clean inter-sector invariant). Direction: held. STATUS-UPGRADES:0.
A note on grade discipline, because the corpus itself caught a tension here and we carry the more honest reading. An earlier brief and the Gaps-&-Walls Register graded Leg A1 "AXIOM-CLOSED." The binding post-atomicity state file (02_CURRENT_STATE.md, dated 2026-06-25, the explicit "read this first" lens) re-grades A1 to AXIOM-OPEN / import-forbidden, with the functional form OPEN, on the principle ANCHORED ≠ DERIVED; AXIOM-CLOSED ≠ atomic: a leg is terminal only if its posit is atomic (proven irreducible or directly measured), and BORN-A1 is neither — it is a relocation target. The 2026-06-29 gate-completion audit confirms this and explicitly flags the headline phrase "proved one of them down to a single value-free axiom" as an over-claim. This dossier uses the binding AXIOM-OPEN grade and does not print "REDUCED-TO-AXIOM" for A1. (Sources: BORN_COMPLETION_HANDOFF/02_CURRENT_STATE.md §0, §i; GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.md lines 931–933.)
The honest one-line: a serious candidate / partial structural reduction — NOT validated; the Born rule itself is OPEN.
It establishes, target-blind and reproducibly:
1. that the frozen framework's gauge/BRST axioms force gauge-orbit equivariance of a probability functional but do not force non-contextuality — proven by an explicit dimension-3, type-I₃ countermodel that needs no Kochen–Specker machinery (§3.2, §4.1);
2. that, given non-contextuality plus a no-type-I₂ algebra, the Born functional form Tr(ρE) follows by a genuine theorem (Gleason / Busch / Bunce–Wright) — so the program is "Born modulo one named non-contextuality posit," not "Born from nothing" and not "Born by fiat" (§3.3);
3. that the K₆ Weyl-chamber localization restores existence of an invariant probability measure (clearing the infinite-dimensional no-go obstruction) while uniqueness provably fails because the residual symmetry is the finite Weyl group S₃ (§3.5);
4. an honest split discipline: the rule is two distinct objects (form vs measure), graded apart, with the one in-geometry decoherence channel (CH-2) honest-halting (NotImplementedError) rather than fabricating a rate (§3.6).
It does not establish: any non-circular derivation of the |ψ|² weights (no one in quantum foundations has one — §2); that the chamber selector is the unique measure (it is not); that non-contextuality is forced by the framework (the countermodel proves the opposite); or that the measurement problem is solved (explicitly out of scope). Given-quantum-kinematics ≠ derivation-of-quantum-mechanics; sharpened ≠ derived; AXIOM-CLOSED ≠ atomic are carried through every section.
The gate rests on exactly one genuine measured anchor: ANCHOR-BORN-QUANTUM-KINEMATICS — a Hilbert space plus the observed probability law, taken as the measured floor the reduction sits within. This is the legitimate floor (≥1 anchor, per the program's own minimal-anchor rule (at least one measured anchor always remains)), not a closure of the gate. On top of it stand two AXIOM-OPEN, non-atomic legs: the imported (and import-forbidden) functional form (BORN-A1), and the unpaid canonical measure (BORN-A2). (Source: 02_CURRENT_STATE.md §0 table.)
The Born rule is the bridge between the quantum formalism and experiment. The state vector |ψ⟩ evolves unitarily and deterministically; yet a measurement of an observable with spectral projectors {Pₖ} yields outcome k with probability
$$p_k = \langle\psi|P_k|\psi\rangle = |\langle\phi_k|\psi\rangle|^2,\qquad \text{more generally}\qquad p(E)=\mathrm{Tr}(\rho E)$$
for a density operator ρ and an effect E in a POVM. The open problem is: why this law, and not some other function of the amplitudes? Why the quadratic modulus — exponent exactly 2 — and why additive, non-contextual weights? Deriving this from prior, non-probabilistic axioms is one of the oldest unsolved problems in the foundations of quantum mechanics.
The deeper structural object — Gap-15's μ — sharpens it further. The bare ontology (a universal ψ plus a decoherence-defined branch set, or a theory state-space S_TOE) carries no canonical measure. Setting μ = |ψ|² is one choice; counting/uniform-over-configurations are other "natural" choices that give non-Born answers (Albert–Loewer, Kent, Price). So Gap-15 asks: is there a forced measure on the state space, or is it posited?
The community has produced several celebrated partial results. Each is a valid theorem; each, examined as a derivation of the rule, relocates the Born axiom onto a premise of equal logical strength. This is the central honest fact of the field, and it is what makes the gate's honest edge a shared ceiling rather than a private defect. (Source: GAP14_15_BORN_RULE_ASSESSMENT.md §2 lever table; HANDOFF_SPECIALIST_6_BORN_RULE_OBSERVABLE_ALGEBRA.md §2.)
| Route | What it genuinely gives | Where the measure is smuggled |
|---|---|---|
| Gleason 1957 | Conditional uniqueness of the Tr(ρE) form, given a non-contextual countably-additive frame function on a dim ≥ 3 projection lattice. | Additivity p(P+Q)=p(P)+p(Q) + non-contextuality are the measure skeleton — equal in strength to Born. Fails at dim 2; Caves–Fuchs–Schack / Kochen–Specker show non-contextuality does the work. |
| Busch 2003 / CFMR 2004 (POVM-Gleason) | Same, dimension-free (dim 2 included). | Additivity over all POVM effects — a strictly stronger non-contextuality premise. |
| Envariance / Zurek (PRL 90, 120404 (2003); PRA 71, 052105 (2005)) | A real kinematic fact: equal amplitudes ⇒ exact swap-symmetry of a pure global state. | The symmetry→probability bridge presupposes weights exist, depend on ρ_S alone, and are invariant under environment ops = Gleason-strength non-contextuality relocated. Loophole: Schlosshauer–Fine 2005 (Found. Phys. 35:197); Barnum 2003. |
| Deutsch–Wallace (Deutsch 1999; Wallace 2003/2010/2012) | A genuine representation theorem: rationality axioms ⇒ the exact | ψ |
| Many-minds / typicality (Sebens–Carroll ESP 2018; Vaidman; Zurek self-locating) | Reframes probability as self-locating credence over indistinguishable copies; diagnoses naive branch-counting as ill-posed. | Naive counting gives uniform, not |
The common core: additivity + non-contextuality (or their decision-theoretic image, measurement-neutrality) are the Born rule, minus the exponent — and the exponent is then pinned by a uniqueness/symmetry premise that also presupposes additivity + non-contextuality. So every "derivation" relocates the axiom from "probabilities = |ψ|²" to "weights are additive / non-contextual / measurement-neutral," an assumption of equal logical strength. That relocation is the obstruction, and it is exactly what this program neither hides nor pretends to have escaped. (Source: GAP14_15_BORN_RULE_ASSESSMENT.md §1.)
The program's own signature tool — the granularity/cost-floor realizability axiom (≈ ħ/2E per distinguishable transition; Margolus–Levitin / Landauer / Bekenstein) — was tested against the Born gap and found wrong-shape. The floor lives on cost–action–information scalars and energy eigenvectors (inf⟨ψ,Hψ⟩); |ψ|² weights and μ are quadratic/additive measure objects on ray space and on S_TOE. The floor dissolves continuum / a→0 / UV idealizations; Born and μ are selection/measure objects, which the floor's own discriminator marks UNTOUCHED. Forced off-domain, it would only re-import Born under the name "distinguishable step." This is recorded honestly: the cost floor is not a hidden key to Born. (Source: GAP14_15_BORN_RULE_ASSESSMENT.md §2 cost-floor row; ch_15 §15.0.3.)
This section shows the actual work behind every claim in §1. It is organized by the two legs (A1 form, A2 measure), then the in-geometry decoherence/pointer-basis machinery (the "which-outcomes" leg), then the cross-gap seam.
There are three distinct measure-theoretic objects, often conflated; the program tracks them apart (Source: GAP14_15_BORN_RULE_ASSESSMENT.md §0):
| Object | Gap | What it is |
|---|---|---|
| Born weights pₖ = | ⟨φₖ | ψ⟩ |
| selector measure μ on S_TOE | 15 | a measure over the theory state-space that selects the realized world |
| functional measure μ[φ] | 15 | the path/functional integration measure |
A lever can be right-shaped for one and wrong-shaped for the others. The Gap-14 directory further splits the gate into 7 atomic leaves under four subsystems (Source: gap_14_born_rule_measurement/ and ch_15 §15.0.4):
Fix the gauge-invariant observable von Neumann algebra 𝒜 acting on the BRST physical space ℋ_phys = ker Q_BRST / im Q_BRST. A frame function / valuation is a map p : 𝒫(𝒜) → [0,1] (or E(𝒜) → [0,1] on the effect algebra) with p(I)=1. BRST cohomology + gauge invariance impose exactly two things, both verifiable and both genuinely supplied by the frozen structure (Source: BORN_A1_NONCONTEXTUALITY_T1_T3_DISPOSITION_2026-06-24.md §2):
These are real and free. They are the entire output of "BRST forces the probability functional." The decisive question is whether (G1)+(G2) ⇒ non-contextuality. They do not — and the obstruction is structural, not a gap in cleverness.
Non-contextuality means: p(E) depends only on the projection/effect E itself — not on which maximal commuting context (resolution of the identity I = E + E₂ + … + Eₙ, equivalently which maximal abelian subalgebra) is used to measure it. This is exactly the hypothesis the operative theorems assume and convert to Tr(ρE). The operative theorem depends on the algebra 𝒜 (Source: GAP14_15_BORN_RULE_THEOREM_DISPOSITION.md §1.1):
| Setting | Theorem | Dimension/type restriction |
|---|---|---|
| B(H), sharp projections | Gleason 1957 | dim ≥ 3 essential; the dim-2 / type-I₂ factor M₂(ℂ) is a genuine exception (Bloch-sphere frame functions need not be quadratic) |
| B(H), effects / POVMs | Busch 2003 (and Caves–Fuchs–Manne–Renes 2004) | none — dimension-free, holds at dim 2 |
| general von Neumann algebra 𝒜 (≠ B(H)) | Mackey–Gleason = Bunce–Wright 1992 | hypothesis = no type-I₂ summand |
Three precision caveats must be stated, not glossed (Source: …THEOREM_DISPOSITION.md §1.2):
- (a) Positivity + normalization are extra. Mackey–Gleason yields a bounded linear functional (a signed/complex charge); you get a state only after imposing μ ≥ 0 and μ(I) = 1, and a normal state only with countable additivity / σ-normality (Yeadon). Do not assert "normal state" from finite additivity alone.
- (b) "Born by fiat" is wrong in BOTH directions. The theorem genuinely derives the quadratic form |⟨φ|ψ⟩|² from additivity (it is not assumed) → more than fiat; but it does not derive non-contextuality → less than a closure. Hence one named axiom, not zero and not "by fiat."
- (c) Theorem choice is premise-dependent. If 𝒜 has a type-I₂ summand (a literal qubit factor M₂(ℂ)) you cannot use Mackey–Gleason; you must restrict to the effect algebra and invoke Busch (B(H) only), or carry no-I₂ as a standing axiom.
The frozen 13D branch supplies dim ≥ 3 in surplus (ℋ_phys high-dimensional, continuous spectrum). So the gap is no longer "the measurement problem" in the abstract; it is the sharp question: does the specific frozen gauge-invariant algebra force the remaining assumption — non-contextuality — as a theorem?
This is the program's real, checkable result. Claim proved: there exists a valuation p on 𝒫(𝒜) satisfying (G1) and (G2) exactly — fully gauge-invariant, fully orbit-equivariant — yet contextual. The construction needs only dim ℋ_phys ≥ 3, no type-I₂ subtlety, no Kochen–Specker coloring. (Source: BORN_A1…DISPOSITION.md §3.)
Construction (dimension-3 core). Work in a 3-dimensional gauge-invariant block of ℋ_phys (a physical energy/charge sector with three orthogonal physical states |1⟩, |2⟩, |3⟩; the frozen pure-glue spectrum contains such blocks). Restrict to the type-I₃ factor B(ℂ³) ⊂ 𝒜. Take the gauge group to act trivially on this physical block — the generic post-BRST situation, since the physical states are already gauge-invariant representatives of cohomology classes. Then (G2) holds vacuously and exactly: every gauge orbit is a single point, so p(E)=p(g·E)=p(E) automatically, for any p.
Now define a contextual valuation. Consider two distinct maximal resolutions of I sharing the rank-1 projection P₁ = |1⟩⟨1|:
Context 𝒞_A: I = P₁ + |2⟩⟨2| + |3⟩⟨3|
Context 𝒞_B: I = P₁ + |u⟩⟨u| + |v⟩⟨v| where {|u⟩,|v⟩} is any other ON basis of span{|2⟩,|3⟩}
Define p by a context-label-first rule:
p(P₁ | 𝒞_A) = a , p(|2⟩⟨2|) = b , p(|3⟩⟨3|) = c , a+b+c = 1
p(P₁ | 𝒞_B) = a', p(|u⟩⟨u|) = b', p(|v⟩⟨v|) = c', a'+b'+c' = 1
with a ≠ a'. Each context is internally a perfectly good normalized additive measure (sums to 1, non-negative). The valuation violates non-contextuality by construction (the weight of the shared P₁ differs between the contexts), yet (G1) holds (every Pᵢ is a genuine projection in the gauge-invariant B(ℂ³) ⊂ 𝒜) and (G2) holds exactly (gauge acts trivially ⇒ orbit-equivariance is automatic). There is no obstruction to extending p to all of 𝒫(𝒜) — assign every other context its own internally-additive weights; the only consistency demand BRST makes is (G1)+(G2), both met. Therefore p is a gauge-invariant, orbit-equivariant, contextual valuation. ∎
Why this is decisive (not a loophole) (Source: §3.2 of the disposition): - If gauge acts nontrivially, (G2) merely identifies some contexts with their gauge-images. But 𝒞_A and 𝒞_B sharing P₁ are related by a unitary rotation in the (2,3)-plane that is not a gauge transformation (it mixes physical observables). Gauge equivariance says nothing about it, so a ≠ a' survives. - It uses no type-I₂ block — immune to the I₂/dim-2 escape; it lives in honest dim 3 where Gleason would apply if non-contextuality were granted. - It uses no Kochen–Specker coloring — the point is cleaner: probabilistic contextual valuations satisfying (G1)+(G2) exist in abundance (an infinite-dimensional convex family, one normalized measure per maximal context, glued only at shared rays with no matching condition imposed by BRST).
Verdict. Any derivation that reaches Tr(ρE) from (G1)+(G2) must, at the gluing step, silently impose a = a' across contexts — and that imposition is non-contextuality, is Gleason's hypothesis, is the Born rule minus the exponent. BRST supplies the constraints; it does not supply the gluing. The gluing is BORN-A1.
Leg A2 asks for a forced measure on the state space. The program runs technique T7: Haar / invariant-measure uniqueness restricted to a finite compact chamber, because there is provably no U(ℋ)-invariant probability measure on infinite-dimensional P(ℋ). (Source: BORN_A2_T7_CHAMBER_MEASURE_DISPOSITION_2026-06-24.md; …THEOREM_DISPOSITION.md §2.)
The three standard obstructions (all verified correct): 1. No U(ℋ)-invariant probability measure on infinite-dim P(ℋ). Shift an orthonormal sequence by unitaries → countably many pairwise-disjoint congruent sets must share equal measure summing to ≤ 1 ⇒ each is 0, contradicting total mass 1 under transitivity (Weil's converse to Haar failing because the unit sphere of an infinite-dim ℋ is non-compact, F. Riesz's lemma). 2. Within-sector invariance does not fix inter-sector weights. For a G-invariant superselection decomposition S = ⋃ₐ Sₐ, every convex combination ∑ₐ cₐ μₐ is G-invariant. Invariance pins the measure only when the action is ergodic; a nontrivial invariant decomposition is precisely the failure of ergodicity ⇒ uniqueness fails, weights free. 3. Category mismatch: Haar ≠ Born functional. A Haar measure on a group/manifold is not the normalized effect-additive functional μ : E(H) → [0,1]; without an explicit transport, the chamber route can at best complement the within-Hilbert Born functional, never replace it.
The localization (the real gain, G-1). On infinite-dim P(ℋ) there is no invariant probability measure; on the compact chamber it exists (Lebesgue on a box, normalized). The frozen branch's concrete candidate chamber is K₆ = SU(3)/T²'s Cartan/Weyl chamber, C = [1/2, 3/2]³, with Weyl group W = S₃ (order 6) and witness point (1,1,1). So existence of an invariant probability measure is honestly recovered — this is the entire legitimate content of "T7 viable only on a finite compact chamber." (Source: BORN_A2_T7…DISPOSITION.md §2, §0; 00_EXACT_GEOMETRY_ANCHOR.md.)
Where it blocks (the decisive obstruction, rigorous). T7's uniqueness engine is the homogeneous-space theorem: a compact group acting transitively on X has a unique invariant probability measure. The chamber's acting symmetry is the finite group W = S₃: 1. No transitivity. |S₃| = 6; the orbit of any u ∈ C has ≤ 6 points; C is an uncountable 3-dim continuum. A finite group cannot act transitively on a positive-dimensional space. 2. No ergodicity ⇒ no uniqueness. The invariant measures are exactly μ = (1/6) Σ_{σ∈S₃} σ_(f·Leb) for any f ≥ 0 with ∫ = 1 — an infinite-dimensional convex set. Invariance leaves the weights free. 3. The fixed locus is a line, not a point. Fix(S₃) = {u₁=u₂=u₃} is 1-dimensional; any probability measure on the diagonal is S₃-fixed. So even "δ at the witness (1,1,1)" is a choice, not forced. (G-2: (1,1,1) is* forced to be a critical point of any S₃-invariant density by Weyl-rigidity — distinguished, but not unique.)
Net (G-3). The whole of A2 collapses to a single, finite-dimensional choice problem: which S₃-invariant density f on C is the physical one? — sharper than "posit a measure on an infinite-dim space," but still a selection, not a derivation. The honest endpoint is one named, target-free posit — and naming it does not reduce the axiom count.
Decoherence (S2) and the system-bath split (S3) can, at best, select a pointer basis (the which-outcomes question, einselection); they do not by themselves deliver the weights on those outcomes (the with-what-probability question, S4). The directory keeps these apart so the gate is not mistakenly thought "closed" once a basis is selected. (Source: S4_born_probability_rule.md; ch_15 §15.0.1.)
NotImplementedError — a deliberate refusal to fabricate — because it cascades on Gap-01's a₆ object (S2.a). No value, sign, or rate of CH-2 is asserted anywhere. This is the anti-promotion discipline working as designed. (Source: S2_ch2_decoherence_channel.md; ch_15 §15.3.)S3_system_bath_split.md; ch_15 §15.4.)S3_system_bath_split.md; ch_15 §15.4.2.)To deploy Mackey–Gleason on the frozen pure-glue observable algebra, the missing certificate is that 𝒜 has no type-I₂ summand — equivalently Z(𝒜) carries no nonzero central projection z with z𝒜 of type I₂. A useful nuance: any factor, and more generally any algebra with no type-I direct summand (every II₁, II∞, III_λ, and properly-infinite algebra) automatically has no type-I₂ summand and passes for free; only the homogeneous-degree-2 (I₂) block of the type-I part is excluded. The narrowest sub-question — is the vN type of 𝒜 derivable from the frozen branch? — was pushed and returns IMPORT-DEPENDENT: every "type III / no-I₂ for free" route (Bisognano–Wichmann, continuous-spectrum, geometric KMS) requires importing the Haag–Kastler + Reeh–Schlieder + BW axiom package, which is the prohibited relocate. Z(𝒜) is uncomputed and the R4 anomaly ξ_R4 is UNKNOWN — the two exact places a degree-2 central fiber could hide (I2-DANGER-OPEN). Importantly, this question is independent of non-contextuality: the §3.4 countermodel lives in an honest type-I₃ block where the type is settled and non-contextuality still fails. (Sources: …THEOREM_DISPOSITION.md §1.4, §6; HANDOFF_SPECIALIST_6…md §4 update; BORN_A1…DISPOSITION.md §4 row 5.)
The owner proposed that A1's "non-contextuality unforced" and A2's "sector weights unfixed" are the same obstruction. The verifier corrected this to DUAL, not identical — the intra-sector and inter-sector projections of a single direct-sum decomposition. A1(b) is intra-algebra (effect/projection algebra of one sector): once non-contextuality is granted, the within-sector density operator is forced and unique (modulo the I₂ guard). A2-obs-2 is inter-sector (superselection index space): Gleason/Bunce–Wright is silent there by design — additivity gives a convex combination but pins no weights. They belong to the same family ("a symmetry/consistency constraint fixes structure WITHIN an equivalence class but leaves a free parameter ACROSS classes") but live on different objects and cannot be collapsed into one axiom. Two axioms are required precisely because Gleason/Bunce–Wright closes the intra-block problem and is structurally silent on the inter-block problem. (Source: …THEOREM_DISPOSITION.md §3.)
These are the moves that produced the progress — now shareable so a reader can both believe and reproduce them.
The single most productive move was refusing to grade "the Born rule" as one undifferentiated black box. Splitting it into form (Leg A1, intra-sector, ρ↦Tr(ρE)) and measure (Leg A2, inter-sector, μ) let each leg be attacked with the right tool and graded honestly. Without the split, the genuine A1 countermodel and the genuine A2 sharpening are invisible, and the gate's honest status collapses to a single vague "open." The split is also what reveals the duality (§3.8): the two legs fail for different theorem-level reasons, so two axioms are required, not one.
The prior corpus asserted that BRST forces equivariance, not non-contextuality. The advance here is to prove it with an explicit countermodel (§3.4) — a gauge-invariant, orbit-equivariant, contextual valuation in an honest dim-3 type-I₃ block. A proven separation is checkable and terminal as a no-go; an assertion is not. The countermodel's power is that it locates the failure in the orthogonality graph of contexts, a structure gauge invariance never touches — so adding more gauge structure cannot rescue forcedness. This is the difference between "we think non-contextuality is imported" and "non-contextuality is provably not forced; here is the witness."
The infinite-dimensional no-go (no U(ℋ)-invariant probability measure on P(ℋ)) looks like a dead end. The insight is that it localizes the viable selector off the full state space and onto a compact space where invariant measures exist — and the frozen geometry supplies exactly such a space: the K₆ Weyl chamber C = [1/2,3/2]³. This converts an unstructured infinite-dimensional mystery into a finite, target-free choice problem on a box (§3.5). The cost is honest: the residual symmetry there is the finite Weyl group S₃, which cannot be the transitive/ergodic group uniqueness needs — so the gain is existence, not uniqueness.
The program's hardest-won discipline: a proposed axiom or measure counts only if it would be written without knowing the Born rule is the target. BORN-A1 (non-contextuality) and BORN-A2 (the maximal-symmetry chamber member) both pass as statements — they contain no Born value, no exponent 2, no overlap; they are pure structural/symmetry premises a blind author would write down. But a measure reverse-engineered so the selector reproduces the Born weights would be true-by-construction and would relocate the mystery into the measure rather than close it. The cautionary precedent is the κ³/π / a:=4κ/√3 case elsewhere in the corpus, where a target-fitted number landed in a pre-registered window purely because it was reverse-engineered to. Every closure path in §6 carries this falsification test.
When the one in-geometry decoherence channel (CH-2) could not be computed — because its coefficient cascades on Gap-01's uncomputed a₆ — the implemented routine raises NotImplementedError rather than inventing a decoherence rate. This is the anti-fabrication immune system catching a would-be fabrication at the source, and it is why the gate's open status is trustworthy: the program demonstrably refuses to manufacture the numbers it lacks.
Each witness with its grade and an honest reproduces-flag (Source: 01_DOSSIER.md §2.1):
| # | Witness | Asserts | Grade | Reproduces? |
|---|---|---|---|---|
| W1 | A1 countermodel | gauge axioms do NOT force non-contextuality | symbolic | Yes (as a no-go) — one consistent non-contextuality-violating model suffices |
| W2 | Non-contextuality is imported (BORN-A1) | the Tr(ρE) form needs an imported hypothesis | symbolic | Yes — follows from W1 |
| W3 | Global op-algebra type is import-forbidden | the program's discipline forbids importing it | discipline/audit | Conditional — holds if the discipline statement holds |
| W4 | Color-center route reduced | the narrow non-contextuality route is genuinely reduced | symbolic | Yes (narrow) — does not lift the global import |
| W5 | Chamber selector sharpens A2 | ∞-dim undeclared measure → finite target-free selector | symbolic | Yes — the genuine reductive win |
| W6 | A2 uniqueness fails | the maximal-symmetry selector is not unique | symbolic | Yes — the open obstruction |
| W7 | Residual point-mass disclosed | a point-mass remains, not derived | audit | Yes (disclosed) — input, not paid |
| W8 | §19B chamber-selector EXTERNAL/SIMULATED | no feedback into physics status | machine-lane | AUDIT — illustrative, not a reproduction |
Branch dcc66f1b2685 · manifest meta a5b1e6f9d951 · K₆ = SU(3)/T² coset + its admissibility-chamber structure (chamber u ∈ [1/2,3/2]³, Weyl group S₃, witness (1,1,1)). The geometry supplies the selector machinery only; it does not derive the rule. Both named axioms pass the κ³/π falsification test as statements (they would be written without the target): BORN-A1 is the standard non-contextuality hypothesis, value-free, identical to the Mackey–Gleason program's hypothesis stated independently of this corpus; BORN-A2 names the maximal-symmetry member of the invariant family — a symmetry-selection rule carrying no Born value. The disposition would be identical if the empirical Born exponent were 1.7 or 3: the countermodel (§3.4) and the chamber floor (§3.5) do not depend on the exponent. (Sources: BORN_A1…DISPOSITION.md §6; BORN_A2_T7…DISPOSITION.md §5.)
python a6_compute.py in TOE/computational_runs_2026-06-23/a6_computation/ reproduces the bulk tr[a₆]; the Born channel needs a signed total (bulk + ℤ₂ orbifold-defect), which is not yet deliverable (see §6, Hole F). Do not read the bulk value as the channel input.This is the most load-bearing section. Each open hole is a work-package a specialist can act on immediately. The leverage ranking (attack order): R3/R1/R2 first (the two real targets where the rule's credibility lives), then R4/R5, then the which-outcomes leg (S3.b), then the cross-gap seam and the cascade. (Source: 01_DOSSIER.md §3.2, §4.)
The cardinal trap, applied to every hole below. The κ³/π falsification test. Any operator-algebra structure or measure reverse-engineered to make the Born rule appear is true by construction and relocates the residual rather than hardening it. A measure must be writable WITHOUT knowing the Born rule is the target.
(a) Precise statement. Construct a canonical measure on the state space that is unique within the framework's own structure, removes the residual point-mass input (Hole B), and fixes the inter-sector weights from a clean K₆ geometric invariant (Hole C) — earning the BORN-A2 measure rather than positing it. Concretely: prove the maximal-symmetry chamber selector is the unique measure on the chamber C = [1/2,3/2]³ satisfying the maximal-symmetry condition, target-blind.
(b) Why it's hard / prior-attempt lessons. T7 cleared existence on C but blocked on uniqueness: the residual symmetry is the finite Weyl group W = S₃, which cannot act transitively/ergodically on a 3-dim continuum, so invariance admits an infinite-dimensional convex family of S₃-invariant densities (§3.5). The fixed locus is a line (u₁=u₂=u₃), not a point, so even "δ at (1,1,1)" is a choice. Trap to avoid: do not promote "(1,1,1) is forced critical" (true, by Weyl-rigidity) to "(1,1,1) is the unique measure" (false — distinguished ≠ unique). Do not reverse-engineer a density to reproduce known weights (κ³/π).
(c) Exactly what closes it. Either: (i) exhibit a larger compact symmetry group that acts transitively/ergodically on C (or on the true sector space) and is genuinely forced by the frozen geometry — then its unique Haar measure closes A2; success criterion: uniqueness proven from the symmetry, before and independently of any Born value. Or (ii) a refuting result is equally valid: prove that no framework-forced symmetry on the admissible sector space acts ergodically — that certifies BORN-A2 as irreducible-under-all-known-reductions, a recordable terminal obstruction.
(d) Machinery & inputs. Technique T10 (selector) + T1 (axiom-floor). Homogeneous-space uniqueness theorem; Weyl-chamber / Borel–de Siebenthal structure of K₆ = SU(3)/T²; the chamber data in 00_EXACT_GEOMETRY_ANCHOR.md (C = [1/2,3/2]³, S₃, witness (1,1,1)); TEST2_LAMBDA_FREE_CHAMBER_POTENTIAL_2026-06-23.md (the 3 = 1 ⊕ 2 chamber decomposition, (1,1,1) forced critical, Hessian sign open). Start from BORN_A2_T7_CHAMBER_MEASURE_DISPOSITION_2026-06-24.md §3.
(e) Leverage. Closing this dissolves Hole B (point-mass) and pays most of BORN-A2; combined with Hole D it pays the whole measure leg. Cross-gate: it is Gap-15's selector measure μ, and the same chamber machinery is the four-anchor selector — a clean uniqueness theorem here propagates to the Gap-13/Gap-15 register row "OPEN — no known route."
(a) Precise statement. Remove the residual point-mass on the state space that remains disclosed-not-derived after the chamber selector sharpens the A2 posit.
(b) Why it's hard / prior-attempt lessons. There is no independent closure: the point-mass carries no invariant of its own; it is the visible symptom of A2's non-uniqueness (collapsing the S₃-fixed line to a single point uses the extra input that the selector is a point mass at the most-symmetric point — R-3 of the T7 disposition). Trap: positing the point-mass away without earning the measure simply relocates the debt.
(c) Exactly what closes it. It dissolves exactly when Hole A's unique canonical measure is earned. There is no separate success criterion; its closure is Hole A's closure.
(d) Machinery & inputs. Identical to Hole A (technique T6, dependent). BORN_A2_T7…DISPOSITION.md §4 R-3.
(e) Leverage. Folds into Hole A; no independent leverage.
(a) Precise statement. Find a clean K₆ geometric invariant that fixes the weights combining superselection sectors in the Born selector.
(b) Why it's hard / prior-attempt lessons. This is the inter-sector projection of the duality (§3.8): Gleason/Bunce–Wright is structurally silent across sectors (additivity gives a convex combination, pins no weights), and no clean geometric invariant fixing them is known. Trap: do not fit the weights to the Born values — that is the κ³/π pattern.
(c) Exactly what closes it. Exhibit a geometric invariant (e.g. from the K₆ root-system / flag-manifold curvature data) that determines the inter-sector weights target-blind. A refuting result — proving no such invariant exists within the frozen structure — is a valid terminal close.
(d) Machinery & inputs. Technique T1. Folds into BORN-A2. K₆ root-system / Borel–de Siebenthal curvature; the same flag-manifold machinery flagged for the Gap-01 a₆ Riemann-route reconciliation (see Hole F).
(e) Leverage. Part of paying BORN-A2; with Hole A completes the measure leg.
(a) Precise statement. Derive non-contextuality (hence the Tr(ρE) form) from the framework's own gauge / operator-algebra structure — replacing the imported hypothesis — without importing the global operator-algebra type that R2 flags as forbidden. In particular, fix the global operator-algebra type from the geometry instead of importing it.
(b) Why it's hard / prior-attempt lessons. The §3.4 countermodel proves the bare gauge axioms (G1)+(G2) do not force non-contextuality — the failure lives in the orthogonality graph of contexts, which gauge invariance never touches. So a closing route must use framework structure beyond the bare gauge axioms (e.g. the admissibility-chamber operator algebra). Every "type III / no-I₂ for free" shortcut (Bisognano–Wichmann, geometric KMS) is the prohibited relocate — it imports the Haag–Kastler axiom package. Traps the verifier already caught: (1) do not grade A1 "REDUCED-TO-AXIOM" — the binding state file grades it AXIOM-OPEN / import-forbidden, and the 2026-06-29 audit flags "proved one of them down to a single value-free axiom" as the gate's signature over-claim; (2) do not present "non-contextuality assumed" as "A1 closed"; (3) do not import type-III₁ "to force trivial center" — it is forbidden and still would not supply the cross-context gluing.
(c) Exactly what closes it. Show the K₆ admissibility-chamber operator algebra forces a non-contextual probability assignment, recovering Tr(ρE) as a Gleason/Busch/Bunce–Wright consequence, with the operator-algebra type derived from the geometry (not chosen to make the Born form appear). Success criterion: the derivation lands without the forbidden import and passes the κ³/π falsification test. Refuting result (valid close): prove that no framework-internal structure forces the cross-context gluing — that certifies BORN-A1 as a genuine imported posit, the honest floor.
(d) Machinery & inputs. Technique T1 (axiom-floor) for the genuine path; T4 (no-go) is what is already established. Mackey–Gleason / Bunce–Wright 1992; Busch 2003; the BRST cohomology structure on ℋ_phys. Start from BORN_A1_NONCONTEXTUALITY_T1_T3_DISPOSITION_2026-06-24.md §3–4 and HANDOFF_SPECIALIST_6_BORN_RULE_OBSERVABLE_ALGEBRA.md §4 (T-1).
(e) Leverage. Deriving non-contextuality from the framework's own structure replaces the forbidden import in one move — closing Hole D dissolves Hole E (R2) simultaneously. It is the only path from "A1 imported" to "A1 derived."
(a) Precise statement. The global operator-algebra type BORN-A1 rides is exactly the structure the framework's own discipline forbids importing. Replace the import with a geometry-derived structure.
(b) Why it's hard / prior-attempt lessons. The vN type of 𝒜 is IMPORT-DEPENDENT (§3.7): Z(𝒜) is uncomputed and ξ_R4 is UNKNOWN — the two places a degree-2 central (I₂) fiber could hide (I2-DANGER-OPEN). The "no-I₂ for free" routes all import the prohibited axiom package. Trap: banking A1 as "closed" while it rides a forbidden import — this is the first-class hole the 2026-06-29 audit insists be named, not buried in a parenthetical.
(c) Exactly what closes it. Dissolves exactly when Hole D's Route A derives the operator-algebra structure from the geometry. Independently, computing ξ_R4 and Z(𝒜) (see below) removes the I2-DANGER ambiguity that conditions A1's functional form. Refuting result: a proof that the type is genuinely import-dependent certifies R2 as a standing discipline-flag.
(d) Machinery & inputs. Technique T5 (discipline firewall). The bounded sub-computation that the audit names: compute d₃·u₂ for B(SU(3) → PSU(3)) (a finite linear-algebra computation) and run the d₅ = β_{P₁} spin-c Atiyah–Hirzebruch spectral sequence to pin ξ_R4. Source: 01_DOSSIER.md cross-gate propagation note (2026-06-29); GAP14_ALGEBRA_TYPE_RESULT.md.
(e) Leverage. ξ_R4 is a shared R4 thread: it couples the Born T-1(a) leg, the Gap-02 mass-gap R4 thread, and SG-4. Computing it advances three gates. Note: ξ_R4 is de-promoted to OPEN (value unknown, expected-but-uncertified, not-a-wall) — it must be computed, not assumed trivial.
(a) Precise statement. Compute the signed total a₆ heat-kernel coefficient at d=13 (bulk + ℤ₂ orbifold-defect) — Gap-01's object tr[a₆(L_grav^{d=13, de-Donder})] projected on the cubic-curvature basis with K₆ × S² × S¹_Y holonomy — so the CH-2 KK influence-functional / decoherence rate (S2.b) can be evaluated.
(b) Why it's hard / prior-attempt lessons. CH-2 honest-halts (NotImplementedError) precisely because this object is uncomputed; the decoherence channel cascades on it. The first-pass plug established that the premise "tr[a₆] is wholly uncomputed" is too strong: the bulk tr[a₆] is computed = −2.817995811911859e94 GeV⁶ (reproduced against the frozen corpus to all printed digits; all four exact-rational sphere cross-checks PASS — S2 = 4/315, S4 = 74/63, S6 = 1139/63, conf = 5/63; all 6 derivative gates PASS; the Milnor/Berger closed form I(a) = 256 a²(a−1)²(a+1)² symbolically confirmed). But the object the channel actually needs — a signed total including the ℤ₂ orbifold-defect — is genuinely NOT deliverable yet. Trap: do not read the bulk value as the channel input; do not fabricate the defect or the decoherence rate. (Source: handoff first-pass plug results; a6_compute.py.)
(c) Exactly what closes it (the only AI-tractable residual, R-O2). Reconcile the two K₆ Riemann routes: determine whether the naturally-reductive engine value |Riem|²/|Ric|² = 62/49 ≈ 1.2653 or the FD-canonical 1.84 is correct, by computing the K₆ = SU(3)/T² Riemann tensor a third independent way (closed-form flag-manifold curvature from the root system / Borel–de Siebenthal, or higher-resolution finite-difference with Richardson extrapolation). Success criterion: the third method pins one value, resolving the 45.4% scale-free gap. This is Gap-01's object; for Born it is necessary-not-sufficient — even a finite, positive a₆ is one prerequisite among several (the weights S4 and the pointer-basis consistency S3.b remain).
(d) Machinery & inputs. Run python a6_compute.py in TOE/computational_runs_2026-06-23/a6_computation/ to reproduce the bulk value and cross-checks. For the route-inconsistency: import a6_compute as A; import numpy as np; K6=A.k6_riem_gilkey(1.591549430918954e-17); Ric=A.ricci_from_riem(K6); print(np.einsum('abcd,abcd->',K6,K6)/np.einsum('ab,ab->',Ric,Ric)) gives 1.2653061224 = 62/49, versus the docs' FD-canonical 1.91667/(6·(5/12)²) = 1.8400. (Source: handoff first-pass plug "Next computation".)
(e) Leverage. Cross-gate: the a₆ object is shared with Gap-01 (UV gravity) and Gap-13 (BH-entropy microstate count / Page mechanism). The Riemann-route reconciliation also touches Hole C (the K₆ flag-manifold curvature data). Banked necessary-not-sufficient for Born.
(a) Precise statement. Perform the system-bath partition on the existing 13D fields, exhibit the einselected pointer basis, and run its structural-consistency check.
(b) Why it's hard / prior-attempt lessons. Owner-routed physics ("on the owner's machine"); not AI-attemptable as a closure. The outcome of the consistency check IS the falsifier — asserting it in either direction would be fabrication. Trap: do not decide the outcome; the only AI-tractable slice is a structural pre-flight (state what consistency conditions a pointer basis must satisfy, and what "structurally inconsistent" means operationally — non-orthogonality, basis-ambiguity, failure of quasi-classicality, or superselection breakdown), shipped fail-closed and labeled "ATTEMPT — NOT A CLOSURE."
(c) Exactly what closes it. A consistent pointer basis advances the which-outcomes leg (and warrants a CH-2 retry, still gated on a₆). A structurally inconsistent basis fires the falsifier → Gap-14 becomes a decision-grade open blocker. Both are recorded, valuable outcomes; a refutation is as publishable as a confirmation. (Source: S3_system_bath_split.md; ch_15 §15.4.2.)
(d) Machinery & inputs. Owner-physics on the as-built geometry (M₃,₁ × K₆ × S² × S¹_Y/ℤ₂, D=13); the bath candidate is the KK tower / internal-mode environment. The [A]-scaffoldable falsifier-criterion is in 03_attempt.md. Note this is the which-outcomes leg only — it does not bear on Hole D (A1 forbidden import) or Hole A (A2 uniqueness).
(e) Leverage. Shared with Gap-13's Page lane (same split object) — advancing it advances both, both then still gated on Gap-01.
(a) Precise statement. State (and justify) whether the outcome-probability measure (the Born |ψ|² weights) coincides with Gap-15's state-space measure μ (the four-anchor selector), or explicitly disclaim the relation.
(b) Why it's hard / prior-attempt lessons. The two are adjacent measure-theoretic objects that could be conflated, but they are distinct: Gap-15's μ is a measure on the constants/selector state-space S_TOE; S4's is a measure on measurement outcomes. The corpus is silent — not asserted equal, not asserted distinct. Trap: do not assert the identity to make the chamber selector look like it derives the weights.
(c) Exactly what closes it. A cross-gap owner ruling that states the relation with justification, or an explicit disclaimer. Posing the question precisely is a documentary [A] task; ruling on it is owner-physics [O].
(d) Machinery & inputs. S4_born_probability_rule.md (named_missing_object #2, TOE-GAP-14-Q07); ch_15 §15.5.2.
(e) Leverage. Resolving the seam clarifies whether Hole A (A2 measure) and the Born weights are one problem or two — directly affecting how much closing A2 buys for Gap-14.
(a) Precise statement. Either exhibit a non-circular derivation of the |ψ|² weights on the pointer basis from the theory's axioms without assuming a probability measure, OR record a graded, falsifiable principled non-claim (weights inherited / scope-excluded), in the same posture Gap-06 uses for its recorded non-claim.
(b) Why it's hard / prior-attempt lessons. This is the deepest, foundational residual — the object the title names. The obstruction is conceptual (circularity), not computational: every known route imports a rule-strength assumption (§2.2). It is not [S] — there is no specified heavy computation that yields the weights. The sibling Quantum paper already records this aspect as "not addressed" (quantum.md line 675). Trap: do not fabricate a weight-derivation; the honest deliverable is the documentary non-claim, not an invented measure formula.
(c) Exactly what closes it. A genuine non-circular derivation (the field's century-old prize — honestly unlikely from this gate alone), OR a recorded principled non-claim with grade and falsifier. The latter is a documentary closure of the posture, not a physics closure of the rule.
(d) Machinery & inputs. S4_born_probability_rule.md; the Gap-06 recorded-non-claim template; the five-lever assessment in GAP14_15_BORN_RULE_ASSESSMENT.md §2 (so the non-claim states why every route relocates).
(e) Leverage. Recording the non-claim cleanly stabilizes the gate's honest status and prevents future over-claim; it does not, by itself, move the rule toward derived.
Three statements are universal negatives over all of mathematics / all of physics. They are limits on all knowledge, framed honestly as the field's ceiling — never claimed as proven, never listed as a defect of this program:
The hardest piece — deriving the |ψ|² weights with zero circular probability assumption — is blocked for a reason that is not ours: every known route in all of quantum foundations imports a rule-strength assumption. That is a limit on the whole field. What is ours is a confident, testable bet: the gate names the precise next computation that could prove it wrong. Run the system-bath split on the existing 13D fields; if it yields a structurally inconsistent pointer basis, the gate self-demotes to a decision-grade blocker. A wall that tells you exactly how its own next step could falsify it is the strongest kind of honest open. (Scope note: this falsifier governs the which-outcomes / pointer-basis leg — Hole G — only; it does not bear on Leg A1's forbidden-import obstruction (Holes D/E) or Leg A2's uniqueness failure (Hole A), which remain the gate's separately-named open residuals.)
The gate terminates on exactly one genuine measured anchor: ANCHOR-BORN-QUANTUM-KINEMATICS (a Hilbert space + the observed probability law) — the floor, correct and terminal as a measured anchor, not a closure. On top of it: two AXIOM-OPEN, non-atomic legs (imported/forbidden form; unpaid measure). The genuine, non-promoting wins are (1) the A1 countermodel (real, as a no-go) and (2) the K₆ chamber-selector sharpening of A2 (real, as reductive work). Both are precision/reduction gains, not promotions.
Binding closing statement. The Born rule (Gap-14 / Gap-15) is OPEN. Leg A1 is AXIOM-OPEN (imported, import-forbidden); the Born functional form stays OPEN. Leg A2 is OPEN (uniqueness fails, point-mass disclosed, no clean inter-sector invariant). Ceiling: serious candidate / partial structural reduction — NOT validated. STATUS-UPGRADES:0; frozen branch
dcc66f1b2685/a5b1e6f9d951READ-ONLY; given-E ≠ derivation of E; AXIOM-CLOSED ≠ atomic; sharpened ≠ derived; ANCHORED ≠ DERIVED; a simulated log ≠ an independent reproduction; no value, sign, partial, coefficient, measure, rate, or construction fabricated.
Dossier built from the frozen 13D K₆ branch corpus only. Common material referenced to the published source-of-truth, not duplicated. Sources synthesized: GAP14_15_BORN_RULE_ASSESSMENT.md, GAP14_15_BORN_RULE_THEOREM_DISPOSITION.md, BORN_A1_NONCONTEXTUALITY_T1_T3_DISPOSITION_2026-06-24.md, BORN_A2_T7_CHAMBER_MEASURE_DISPOSITION_2026-06-24.md, HANDOFF_SPECIALIST_6_BORN_RULE_OBSERVABLE_ALGEBRA.md, gap_14_born_rule_measurement/subsystems/S1–S4, TOE_Self_close_chapters/ch_15_gap14_born_rule.md, PER_GATE_DOSSIERS/BORN_COMPLETION_HANDOFF/01_DOSSIER.md + 02_CURRENT_STATE.md, GATE_REGRADE_BESTCASE_AND_HOLES_2026-06-29.md, and the build handoff first-pass plug results.