Convergence / completeness audit — how far from a conclusion?

Status: Active audit — headline verdict UNCHANGED (PARTIAL coherence; wager not-yet-physics); new-insight trend DIMINISHING; recommendation HYBRID. Last updated: 2026-06-08 Iteration: 4

This note steps back from the object-level physics and asks a meta-question: how much more analytical work is left before the "state of the question" is stable, and how far is the actual object-level verdict (a confirmed universal theory)? It audits the iteration-1 → 4 trajectory for saturation, estimates two distinct distances-to-conclusion, lists the finite set of moves that could still move the standing verdict, logs the internal-consistency residue, and gives a resourcing recommendation. It does not re-derive the iteration-4 result; that lives in the SO(d+1,1)-family attempt note. The one-line headline: the program is converging, not advancing — each iteration's marginal yield is increasingly a sharper obstruction or a self-correction rather than a new positive structure. INFERENCE, high

---

Saturation assessment

New STRUCTURAL insight is DIMINISHING but not yet zero, and iteration 4 produced one genuinely new, high-value negative result. INFERENCE, high The trend, with per-iteration evidence:

The iteration-4 escape (the $SO(d+1,1)$ family) failed on three individually-sufficient grounds — see the attempt note for the math:

1. A hard cardinality mismatch: the static-patch isometry orbit $\mathcal O = SO(d+1,1)/[SO(1,1)\times SO(d)]$ is finite-dimensional ($\dim\mathcal O = 2d = 6$ in 4d), supplying at most $\dim SO(d+1,1) = 10$ scalar Killing-charge constraints, which cannot Radon-invert to the infinite-dimensional local field $\delta G_{\mu\nu}(x)$ (6 functions on $M^4$ after Bianchi), whereas AdS FGHMVR succeeds only via an infinite, Radon-invertible ball family. INFERENCE, high
2. No common geometric state away from Bunch–Davies (geometric modular flow $\cap$ common-state $= \{\text{BD}\}$, on which the first law is trivially $0=0$).
3. A sign / second-order obstruction (the non-trivial covariant first law is second-order, where $\delta^2 S_{\rm gen} < 0$ makes it a concave GSL inequality, not an invertible equality).

This promotes HYP-dS-NOMIN from conjecture toward a (scoped) near-no-go. INFERENCE, high The load-bearing citations were independently web-verified and none is fabricated: Chen–Xu arXiv:2511.00622 is the published execution of exactly this escape and stops at entropy-matching, deriving no $\delta G_{\mu\nu}$ — landing precisely where the cardinality argument predicts ESTABLISHED that the paper exists and is so characterized; Fröb 2308.14797 (iter-4 correctly fixes iter-3's "Forste et al." mis-citation); 2511.07915 (dS/CFT pseudo-entropy, non-unitary corner); 2511.17098 (AdS, not dS); Torres Alegre 2602.09056 (real, correctly characterized).

The pattern of returns is the saturation signal: the headline coherence verdict (PARTIAL) has been stable across 2 → 3 → 4; the "not-yet-physics" verdict on the wager is stable; what changes each iteration is the precision and the closing of escape routes — i.e. convergence behavior, not new direction. INFERENCE, high

---

Distance to an ANALYTICAL conclusion

CLOSE — roughly 1–3 more focused iterations to analytical saturation (a stable, defensible "state of the question"). INFERENCE, high The analytical conclusion is already largely in hand and stable across iterations 2 → 3 → 4:

1. "Is a universal theory possible?" is answered in disambiguated form:
   • (A) a consistent unified GR+QFT framework: POSSIBLE, high confidence — AdS/CFT is an existence proof; the catalogued clashes are domain-mismatches, not contradictions (see ../GAPS_AND_CONTRADICTIONS.md).
   • (B) a final substrate: possible but not demonstrably so — a Wilsonian tower-with-no-bottom is a live alternative.
   • (C) a parameter-fixing complete theory: least likely.
2. The one central bet is named precisely: causal/algebraic/entanglement structure precedes metric geometry, true of our $\Lambda>0$ universe.
3. WHY it is not-yet-physics is established and survived every attack: it ENCODES geometry, it does not GENERATE it (every rigorous instance presupposes a fixed background with Killing/conformal symmetry — Bisognano–Wichmann/CHM circularity), and it has no distinguishing near-term test (every live channel tests the gate, the target, or the cores — see next section).
4. What experiment must deliver is catalogued: BMV $m^2$-vs-$m^3$; objective-collapse bounds; $w(z)$.

What remains analytically is a short, finite, named list (see What would change the standing verdict). Iteration 4 just shrank it by (provisionally) closing the single highest-leverage theory target — OP-41 via its only un-foreclosed route — which is exactly the kind of move that drives saturation. The remaining named problems — OP-48 / OP-GPT-TYPE3, OP-44 / OP-CP1, and the OP-46 Bisognano–Wichmann-breaking (clause-(iii)) construction — are the ones whose resolution would saturate the analytical question. After they are settled, marginal STRUCTURAL insight goes to near-zero and the program becomes a watch-list. INFERENCE, high

---

Distance to an OBJECT-LEVEL (confirmed) theory

NOT FORECASTABLE — and this is a stronger obstruction than mere distance. INFERENCE, high These two distances must not be conflated: the analytical question is nearly settled; the object-level question is not even schedulable.

An actual confirmed universal theory is gated by two things the program cannot schedule:

1. The ~15-order-of-magnitude empirical desert between accessible energies ($\sim\mathrm{TeV}$) and the Planck scale ($M_{\rm Pl}\approx 1.22\times 10^{19}\,\mathrm{GeV}$) — no accessible experiment probes the regime where GR and QFT must be reconciled.
2. More fundamentally, the central wager currently has NO distinguishing experimental test even in principle. The falsifiability portfolio (in ../FINDINGS.md and the iter-3 synthesis) shows that every live channel tests something adjacent to the wager, never the wager itself:

None tests geometry-from-algebra itself. So even optimistic timelines on the enabling technology — matter-wave / levitated-optomechanics mass scale, the shared bottleneck, ~5–15 yr — would only open the GATE, not confirm the theory. The object-level conclusion is therefore not merely far but non-forecastable: it lacks a defined experimental decision procedure, which is a stronger obstruction than distance. INFERENCE, high

---

What would change the standing verdict

A finite, named list. Resolving any of items 1–4 saturates a named analytical gap; items 5–6 are object-level and would force a structural rewrite or dissolve a motivation. INFERENCE, high on the list being finite and named

1. A successful attack on OP-41 in a route NOT closed by iter-4. Either the non-unitary dS/CFT pseudo-entropy route (2511.07915) accepted as physics despite a complex central charge $c = i\,3R_{\rm dS}/2G_N$, or Jacobson's infinite small-ball family realized inside a single CLPW Type II$_1$ algebra (importing the continuum without a boundary). Either would move Program A from "encodes" toward "generates" geometry at $\Lambda>0$. OPEN
2. Resolving OP-48 / OP-GPT-TYPE3. Can the GPT framework-fixing axioms (composition / local-tomography, purification, continuous reversibility) be formulated on a Type III$_1$ factor? A YES converts the partial A+B merge into a full merge; a proven NO is a clean no-go fixing the boundary of the analytical question. Either answer saturates a named gap. OPEN
3. Resolving OP-44 / OP-CP1. Nonperturbative fate of the crossed-product Type II structure: does a von Neumann-algebraic subregion description survive beyond all-orders-in-$1/N$, or does Giddings' algebraic spacetime disruption replace it? Decides whether "Type III$_1$ for any $\Lambda$" can even be a fixed core once gravity is dynamical. OPEN/CONTESTED
4. A construction satisfying the OP-46 criterion clause (iii): recover a Killing/boost structure and horizon as the OUTPUT of an $(\text{algebra}, \text{state})$ pair whose modular flow is not a known symmetric (Bisognano–Wichmann/Hadamard) vacuum — the only thing that would turn "encode" into "generate." No surveyed construction does this. OPEN
5. (Object-level) A positive BMV/QGEM result with $m^2$ (not $m^3$) witness scaling — would shut the loophole and establish Newtonian-sector non-classicality (opening the wager's gate); or a confirmed objective-collapse detection / Lorentz-violation — would falsify a fixed core (exact linearity / exact local Lorentz) and force a structural rewrite.
6. (Object-level) A confirmed $w(z) \neq -1$ at $5\sigma$ (DESI DR3+/Euclid/Roman) — would change the program's TARGET from eternal dS to metastable dS / rolling quintessence, partly dissolving the OP-41 motivation rather than answering it.

---

Internal-consistency issues

Audited against the wiki as of 2026-06-08. No stale numbers and no fabricated citations were found; all load-bearing 2025–2026 arXiv IDs spot-checked (2511.00622, 2308.14797, 2511.07915, 2511.17098, 2602.09056) verify exactly as characterized, and the iter-4 note even self-corrects the iter-3 "Forste et al." mis-citation to the correct single author Fröb. Citation discipline is strong. The residue is minor and documentary:

1. PROPAGATION GAP (minor, real). The iter-3 red-team's Crack-2 fix was propagated into ../FINDINGS.md ("research heuristic, not a falsifiable program") but was not propagated into the iter-2 synthesis note 2026-06-08-unified-program-synthesis.md, whose REG-SYNTH-1 (line ~81) and Verdict still frame demotion-and-derivation as a "falsifiable program." The iter-3 synthesis "next target #5" explicitly lists this propagation as a required documentation task; it is only half-done. Net: FINDINGS and the synthesis note now disagree on the program's epistemic label. [VERIFIED — line 81 of the synthesis note reads "a falsifiable program of demotion-and-derivation"]
2. STALE CITATION (minor). The Crack-5 citation fix "Caves-Fuchs-Renner-Schack" → "Caves-Fuchs-Manne-Renes" (CFMR, Found. Phys. 34, 193, 2004) was applied in the Born/linearity note, ../ASSUMPTIONS_LEDGER.md, and ../BIBLIOGRAPHY.md, but the iter-2 synthesis note line 17 still reads "Caves-Fuchs-Renner-Schack." ../CHANGELOG.md claims the author-name inconsistency was fixed, but it was fixed incompletely (one occurrence survives). This is a stale-citation residue, not a fabricated citation. [VERIFIED — line 17 of the synthesis note]
3. CITATION-DATE ATTRIBUTION DRIFT (cosmetic). The wiki variously dates Bielińska–Eckstein–Horodecki as "2024" (../FINDINGS.md) and "2025" (../BIBLIOGRAPHY.md / Born note); a one-year drift to reconcile. Not load-bearing.
4. NON-ISSUE confirmed (not a contradiction). The apparent Type III$_1$ "fixed core for any $\Lambda$" vs "OPEN once gravity is on" tension was investigated by the red-team and correctly resolved as a two-algebra distinction: the undressed, $G_N=0$ net is ESTABLISHED-III$_1$; the dressed-algebra nonperturbative fate is OPEN. Both pages assign the same graded status. The only residue is the recommended "(undressed, $G_N=0$)" shorthand annotation — a clarity copyedit, not a logical inconsistency.

---

Recommendation (hybrid) + distance estimate

Recommendation: HYBRID. [confidence: high]

Iteration 4 mostly sharpened obstructions and confirmed convergence — and the audit should say so plainly. It produced one genuinely new high-value NEGATIVE result (the dS cardinality no-go), settled one open problem as a sharp disjunction (OP-48), promoted one open obstruction toward a near-no-go (the clause-(iii) / CKV-vacuity issue), found zero new positive structure, and stabilized the PARTIAL / not-yet-physics verdict for the third consecutive iteration. New-insight trend is DIMINISHING.

Recommended allocation for the remaining ~1–3 iterations:

1. ATTACK the three named, genuinely-decidable analytical problems. OP-48 point (c) (a state-/collar-free composition surrogate on a Type III$_1$ factor) and OP-44 / OP-CP1 (nonperturbative fate of the crossed product) each saturate a gap either way; the OP-46 non-symmetric-modular-flow construction is the only move that would change the headline verdict (turn "encode" into "generate"). Also attempt the two un-foreclosed dS routes (non-unitary dS/CFT pseudo-entropy; Jacobson small-balls inside a single Type II$_1$ algebra).
2. DO the two cheap documentation passes: propagate the unfinished red-team fixes (the "heuristic-not-program" relabel and the Caves-Fuchs-Manne-Renes spelling) into the iter-2 synthesis note; reconcile/flag the remaining date drift.
3. SIMULTANEOUSLY stand up lightweight experiment-tracking for the four empirical channels (BMV $m^2$/$m^3$; collapse bounds ~2035; $w(z)$ DESI DR3+/Euclid 2–7 yr; LIV/EP), since those — not further analysis — gate the object-level verdict, and none currently tests the geometry-from-algebra wager directly.

Rationale: pure continue-attacking risks diminishing returns; pure pivot-to-tracking prematurely abandons 2–3 genuinely decidable named problems. Hence hybrid. [confidence: high]

Distance estimate (summary)

• Analytical saturation: ~1–3 more focused iterations. The state-of-the-question is already stable and defensible (PARTIAL coherence; wager not-yet-physics; possibility disambiguated A/B/C). Iteration 4 just closed the single highest-leverage theory target via a robust cardinality argument — exactly the kind of move that drives saturation. What remains is a finite, named list (OP-48, OP-44, OP-46 clause-(iii)) plus two cheap documentation passes. After those, marginal new STRUCTURAL insight is near zero and the program becomes a watch-list. INFERENCE, high
• Object-level confirmed theory: NOT FORECASTABLE — gated by the ~15-order-of-magnitude Planck desert and, more bindingly, by the wager's current lack of any distinguishing test. The nearest decidable thing is the program's logical GATE (BMV non-classicality), itself gated by matter-wave/optomechanics mass scale (~5–15 yr) that no analysis can accelerate. INFERENCE, high

---

See also

• 2026-06-08-iter4-dS-firstlaw-SO-family-attempt.md — the iteration-4 attempt this audit assesses (the SO(d+1,1)-family cardinality no-go).
• 2026-06-08-iter3-synthesis.md — the iteration-3 synthesis; source of the named next-targets and the empirical falsifiability portfolio.
• 2026-06-08-unified-program-synthesis.md — the iteration-2 synthesis note carrying the two un-propagated red-team fixes flagged above.
• 2026-06-08-algebraic-background-independence.md — the "encodes-not-generates" / Type III$_1$ background note.
• 2026-06-08-iter3-encode-vs-generate-criterion.md — the OP-46 criterion whose clause (iii) is the only headline-moving target.
• ../FINDINGS.md — consolidated findings register (carries the propagated "research heuristic" relabel).
• ../OPEN_PROBLEMS.md — OP-41, OP-44, OP-46, OP-48 / OP-GPT-TYPE3, OP-CP1.
• ../HYPOTHESES.md — H0–H7, HYP-dS-NOMIN (now promoted toward a scoped near-no-go).
• ../ROADMAP.md — iteration roadmap and open-problem queue.
• ../EPISTEMICS.md — the anti-crank / not-yet-physics standard invoked throughout.
• ../CHANGELOG.md — records the incomplete Crack-5 citation fix flagged above.