The Reverse-Weinberg–Witten Target Is the Carrier Problem Seen From the Empirical Side (2026-06-10)

Status: ATTEMPT executed, track A3-reverse-weinberg-witten of iteration 9. Outcome SHARPENED-OPEN. The highest-value OPEN object on the empirical side — a reverse-Weinberg–Witten (RWW) observable, realizable only without fundamental metric degrees of freedom — is neither exhibited (no headline flip) nor independently proved impossible. Instead it is identified with the analytical carrier problem (HYP-FACTORIZATION-IS-GEOMETRY): proving the RWW theorem (no witness exists) is the same object as the carrier no-go, and a RWW witness is strictly harder than a positive carrier solution. The verdict is unchanged; the reverse-WW target moves from free-floating literature-absence to a precise pin on the existing §8 reopening condition. Last updated: 2026-06-10

Scope honesty: §§1–4 are this track's own mathematics, derived stepwise with every assumption flagged. The load-bearing reconstruction result (Weiner) and all supporting citations were web-verified live 2026-06-10; the identification in §4 inherits the iteration-7/8 carrier-constructibility ansatz, flagged. Prior closures (OP-41; OP-46 J-routes; OP-48ab; OP-49; the hunt's H2 net-invariant arm) are re-used, not relitigated.

1. The target, and the lever it turns on

The RWW object is an observable $X$ , outcome set $S$ , realizable with no fundamental metric degrees of freedom and by no core-satisfying fundamental-metric theory. Under HYP-ENCODING-SCREEN its existence is equivalent to the failure of assumption A1 — "every physical observable of a core-satisfying theory is a function (invariant) of its operator-algebra net." The distinguishing-test hunt flagged A1 as the load-bearing unproven premise and the single reopening lever. This track attacks A1 in both directions. [INFERENCE]

2. A1 is mis-stated; the disambiguation decides everything

"The net" has two readings.

A1-abstract — $X$ a function of the abstract indexed family $\{\mathcal A(O)\}$ , forgetting state and representation. Vacuous. By Connes–Haagerup uniqueness every local algebra of a reasonable QFT is the unique hyperfinite type III $_1$ factor; a single region carries zero information (Buchholz's "monads," [hep-th/9910243]; Yngvason [arXiv:0812.1511]). All physics is in the relations between algebras and in the vacuum state. A1-abstract is trivially false — but in a way both theory classes share, so it yields no wager-discriminating witness. [ESTABLISHED]
A1-concrete — $X$ a function of the GNS pair $(\{\mathcal A(O)\},\omega_0)$ : the net with its vacuum state and modular data $\{\Delta_O,J_O\}$ . This is the object the screen needs, since reconstruction of the Poincaré rep — hence the geometry — runs through $\Delta^{it},J$ , never the abstract algebras alone. [ESTABLISHED]

The hunt's A1 was phrased in the abstract form. The RWW question is whether A1-concrete can fail.

3. Two directions on A1-concrete

Proving direction (A1-concrete is a CONDITIONAL theorem). Weiner's algebraic Haag's theorem ([arXiv:1006.4726]): under the split property and geometric modular action (GMA) of the wedge algebras, the unitary-equivalence class of the vacuum-sector net of double-cone algebras on a fixed Cauchy surface completely determines the model — without assuming the connecting unitary intertwines vacua or symmetry representations. Under (split+GMA) the net therefore recovers state, Poincaré rep, and geometry. Corroborated: the isomorphism class of local algebras is a complete invariant for split local conformal nets (Longo–Xu/Tanimoto). The two obvious counterexamples are pre-empted:

charged sectors — by Doplicher–Roberts (CMP, BF02097680) the whole sector category, gauge group, and field net are reconstructed from the vacuum-sector net, unique in $D>2$ ;
global/higher-form data (theta, global form, knot/line operators) — DHR / Haag-duality-violation invariants (Casini–Magán [arXiv:2511.21810], 26 Nov 2025; completeness [arXiv:2110.11358]); this is the hunt's H2 arm.

So conditional on (split + GMA + BGL finite-multiplicity uniqueness), A1-concrete holds and no RWW witness exists — the reverse-WW theorem direction, proved relative to a net already certified geometric. [INFERENCE, high]

The gap, located. Those hypotheses are the geometry. GMA = the demand that $J_W,\Delta_W^{it}$ act geometrically — by Neeb–Ólafsson this needs an Euler element (the wedge germ) installed in advance ([arXiv:2312.12182], [arXiv:2603.26390]). The causal index set is smuggle-item $n_1$ , and giving it causal order is giving the geometry (iteration-8 theorem; BGL positivity $\Leftrightarrow$ isotony, [math-ph/0203021]). Split is the OP-48 collar. Weiner proves A1-concrete only for a net whose geometry is pre-installed; it is silent on the abstract pair $(\mathcal M,\omega)$ whose index set carries no causal/Euler structure — the regime a genuinely wager-true theory must inhabit. [INFERENCE]

4. The identification (re-derived twice)

$\text{A1-concrete holds unconditionally}\iff\text{the carrier problem has no positive solution}\iff\text{no reverse-WW witness.}$

Weiner proves the left side conditionally; §3 shows the conditions are geometric inputs. So proving A1 unconditionally = proving the carrier no-go (HYP-FACTORIZATION-IS-GEOMETRY) = proving the reverse-WW theorem — one object, not three. This is why RWW has stayed OPEN: it was never an independent target.

Asymmetry (tightening, not overclaim). A generative carrier is, by the standing one-way corollary, necessary but not proven sufficient for a class-separating observable. Hence the RWW theorem ( $\Leftarrow$ carrier no-go) is the clean half, while a RWW witness ( $\Rightarrow$ generative carrier $\Rightarrow$ A1-false) is strictly harder than a positive carrier solution — it needs the carrier plus sufficiency. The witness is the more demanding object, which is why none has been found and why exhibiting one would be extraordinary.

5. Red-team against the closures

Headline? No flip: no witness, and A1 proved only conditionally. SHARPENED-OPEN.
Route count. This is the empirical-side shadow of the existing five-route carrier problem, not a sixth route. Count stays at five (binding iter-8 correction).
Closed items. OP-41, OP-46 J-routes, OP-48ab, OP-49 untouched; DR/DHR and Casini–Magán are the already-closed H2 results re-used.
Overclaim guard. Weiner is conditional (split+GMA), not an unconditional "net determines theory"; tagged so. The Connes–Haagerup vacuity is ESTABLISHED; the §4 identification is INFERENCE on the inherited carrier ansatz.
WW orientation. Weinberg–Witten forbids a covariant $T_{\mu\nu}$ for massless spin-2, evaded by holography symmetrically across both classes (Carone–Claringbold–Vaman 1710.09367); RWW runs the other way and is the object here. Consistent.

6. Verdict

SHARPENED-OPEN. Reverse-WW is corrected (A1-concrete, not A1-abstract), proved as a conditional theorem (Weiner), its gap located (the hypotheses are the geometry), and identified with the carrier problem, with the witness strictly harder than a positive carrier solution. The OPEN, as of 2026-06 reverse-WW target is now pinned to the §8 reopening condition rather than free-floating. No hedge moves; HYP-ENCODING-SCREEN keeps its MEDIUM-HIGH→HIGH (net-constructibility-ansatz-conditional) grade; CONCLUSION §7 stands as written, sharpened.

Referee verdict — track A3-reverse-weinberg-witten (iteration 9, 2026-06-10)

Stance: REFUTE by default. Every load-bearing citation web-verified live this session; the keystone (Weiner) checked verbatim against its abstract; the structural logic re-derived against the binding iter-6/iter-7/iter-8 corrections and the live registry IDs. Stance not sustained — the submission survives with three minor precision notes; no fatal or major defect. Outcome SHARPENED-OPEN UPHELD; standing verdict unchanged (9th consecutive).

Citation audit (live web) — clean, no fabrication

Weiner, An algebraic Haag's theorem, arXiv:1006.4726 (the keystone, F2) — VERIFIED verbatim. Under split + geometric modular action of the wedge algebras, the unitary-equivalence class of the vacuum-sector net of double-cone algebras on a fixed space-like hyperplane "completely determines an algebraic QFT model," and a unitary connecting the nets yields equivalence "without assuming that this unitary also connects their respective vacuum states or spacetime symmetry representations." The submission's reading (net recovers state + Poincaré rep + geometry, conditional on split+GMA) is faithful. The corroboration ("isomorphism class of local algebras is a complete invariant for split local conformal nets," Weiner Thm 5.1; split automatic on the circle per Morinelli–Tanimoto–Weiner) is also verified.
Connes/Haagerup uniqueness of the injective III₁ factor + Buchholz "monads" (F1) — VERIFIED; the single-algebra-is-structureless / physics-in-the-relations-and-state reading is the standard one.
BGL, CMP 156 (1993) 201 (F2); Buchholz–(Dreyer–Florig–)Summers GMA, math-ph/9805026 (F2) — VERIFIED. Minor: the GMA paper is four-author; "Buchholz–Summers" is acceptable shorthand but incomplete.
Doplicher–Roberts, BF02097680 (CMP 131, 1990) (F3) — VERIFIED: field net + compact gauge group reconstructed from the vacuum-sector observable net. Casini–Magán 2511.21810 (higher-form DHR ↔ Haag-duality-violation invariants) and 2110.11358 (completeness / generalized-symmetry net invariants) — VERIFIED.
Morinelli–Neeb 2312.12182, Morinelli–Neeb–Ólafsson 2603.26390 (F4); BGL math-ph/0203021 (F4) — VERIFIED. BGL "positivity of the energy ⟺ isotony of the net" confirmed verbatim. The future-dated arXiv id 2603.26390 ("Orthogonal pairs of Euler elements II") resolves and is real.
Inherited, previously-vetted: Carone–Claringbold–Vaman 1710.09367 (WW evasion, symmetric across classes); Vilasini–Renner ICO reduction — unchanged, correctly used.

Mathematics / logic (the product) — sound

Disambiguation (F1). A1-abstract (single abstract algebras) vs A1-concrete (the GNS pair (net, ω₀) with modular data) is the right split; the reconstruction theorems run off (𝒜, ω₀), never the bare algebras. The "A1-abstract is vacuous" line is INFERENCE-grade interpretation over the ESTABLISHED uniqueness fact — and is slightly loose (the indexed family WITH its inclusion relations, even sans state, still carries the relative positions; what is genuinely structureless is a single algebra). Operative content correct. Minor.
Conditional theorem (F2). Weiner ⟹ A1-concrete holds under split + GMA + BGL finite-multiplicity uniqueness, with DR/DHR (F3) closing the charged-sector and global/topological counterexample candidates as net invariants. Correctly tagged INFERENCE, high; the application-to-RWW step is the inference, the theorem is published. No overclaim — the submission states plainly A1 is NOT proved unconditionally.
The gap, located (F4). GMA / the causal index set 𝓘 / the Euler element / split are exactly the geometric smuggle-items (n₁, n₃, the collar) the carrier no-go isolates. Sound. One precision note: 2312.12182 proves a partial converse — under a regularity condition, geometrically-implemented modular groups from BW are generated by Euler elements — so "GMA requires an Euler element installed in advance" is slightly too strong as a blanket gloss. It does not rescue a structureless modular pair (net+BW+regularity already encode the causal/Lie structure), so F4's conclusion survives. Minor.
Central identification (F5). "A1-concrete unconditional ⟺ carrier no-go ⟺ no RWW witness," with Weiner proving the left side only conditionally, and the asymmetry — RWW theorem ⟸ carrier no-go (clean half); RWW witness ⟹ generative carrier, but carrier is necessary-not-sufficient, so a witness is strictly harder (carrier + sufficiency). This is the standing one-way corollary re-expressed; it does NOT re-import the impossibility overclaim struck in R6-F7 / R-H2-F2. Tagged INFERENCE, conditional on the carrier ansatz, reverse-WW kept OPEN. Disciplined.

NO-GO red-team — clean

No conflict with dS-cardinality (no η=1/4G fixed). Consistent with HYP-CKV-VACUITY-R5 + the extended smuggle list (n₁/n₃ correctly invoked), the iter-7 trichotomy and iter-8 net no-go (F4/F5 treat the net no-go as the carrier closure), OP-49 near-no-go (untouched), and HYP-ENCODING-SCREEN (grade unchanged). Three binding standing corrections are all honored: (i) reverse-WW stays a OPEN, as of 2026-06 literature-absence, NOT a structural impossibility; (ii) it is NOT OP-50 (which is the closed-universe Hilbert-space problem) and carries no OP-ID; (iii) the carrier-convergence count STAYS at FIVE — the track is explicitly the empirical-side shadow of route 5, not a sixth route, exactly the inflation the iter-8 referee discipline exists to catch. The submission pre-empts all three.

Extraordinary-claim gate

Does not fire adversely: no RESOLVED-POSITIVE is offered (no reverse-WW witness; no generative carrier). The submission's own thesis is that a witness would be strictly harder than a positive carrier solution — i.e. it would still have to clear the carrier no-go AND prove sufficiency AND survive the encoding screen — and none is exhibited. SHARPENED-OPEN is the correct self-classification.

Verdict-bearing summary

Outcome UPHELD: SHARPENED-OPEN. Standing verdict UNCHANGED (9th consecutive). The track's genuine contributions — (i) disambiguating A1 into the vacuous abstract reading and the load-bearing concrete (GNS-pair) reading; (ii) importing Weiner's algebraic Haag theorem as the conditional proof of A1-concrete, with DR/DHR + Casini–Magán closing the obvious counterexamples; (iii) locating Weiner's hypotheses as the carrier no-go's geometric inputs; (iv) identifying reverse-WW-theorem ≡ carrier no-go with the witness strictly harder — are citation-clean, correctly tagged, and honor every binding correction. The OPEN reverse-WW target is relocated onto HYP-FACTORIZATION-IS-GEOMETRY rather than free-floating; no hedge moves, no route is added, the headline does not flip. Three minor precision notes recorded (F1 "vacuous" framing; F4 Euler-element "installed-in-advance" gloss vs 2312.12182's partial converse; the Buchholz–Summers four-author shorthand); none is verdict-bearing. All five findings KEPT.

Relevant files: C:/PROJECTS/FAFO/universal-physics/HYPOTHESES.md (HYP-ENCODING-SCREEN line 345; HYP-FACTORIZATION-IS-GEOMETRY line 357; HYP-CKV-VACUITY-R5 line 368); C:/PROJECTS/FAFO/universal-physics/CONCLUSION.md (§7 no-test corollary line 65; §8 reopening condition line 69); C:/PROJECTS/FAFO/universal-physics/OPEN_PROBLEMS.md (OP-50 actual definition lines 548–559); C:/PROJECTS/FAFO/universal-physics/notes/2026-06-10-distinguishing-test-hunt.md (the H2 reverse-WW closure + binding corrections); C:/PROJECTS/FAFO/universal-physics/notes/2026-06-10-iter8-net-carrier-no-go.md (the five-route / net-index-set smuggle this track shadows).