Iteration 6 — R4: The Other Background-Independent Programs, 2023–2026 (Landscape Refresh)

Status: COMPLETE — literature sweep + delta analysis. Ten findings: one missing program (classical–quantum hybrid gravity) warrants a new landscape entry; string theory gains two genuinely landscape-moving items (dark dimension; explicit KKLT candidates); five programs get status updates; two negative results recorded (no everpresent-Λ/DESI confrontation; no quantum-graphity successor). Nothing bears on the closed items OP-41 / OP-46 / OP-48(c) or reopens the standing verdict. Last updated: 2026-06-10 Iteration: 6

This note delivers the delta against ../UNIFICATION_LANDSCAPE.md (last updated 2026-06-08), ../HYPOTHESES.md (H6), and ../OPEN_PROBLEMS.md (OP-1), per the ../EPISTEMICS.md tagging standard. Every citation below was verified against the live arXiv (abstract page fetched) or an authoritative listing this session unless explicitly marked unverified. Verification channel is stated where it is weaker than a direct abstract fetch.

---

1. Asymptotic safety: the Lorentzian turn consolidates; predictivity claims get honest scoping

What changed (2024–2026).

• ESTABLISHED — citation; INFERENCE — physics, within truncation D'Angelo–Ferrero–Fröb, De Sitter quantum gravity within the covariant Lorentzian approach to asymptotic safety (arXiv:2502.05135; Class. Quantum Grav. 42 (2025), DOI 10.1088/1361-6382/ade193): first complete Einstein–Hilbert flow analysis on a de Sitter background, using a newly derived dS graviton propagator for general gauges; UV-fixed-point evidence persists for the commonly used gauges, with gauge- and renormalization-parameter dependence explicitly mapped. Together with Saueressig–Wang (arXiv:2501.03752, PRD 111, 106007 (2025), already in the wiki) the Lorentzian program now has three independent technical routes: covariant flat-space (D'Angelo, arXiv:2310.20603), covariant dS, and foliated/Wick-rotated ADM.
• INFERENCE — attribution correction The wiki's "first Lorentzian fixed-point evidence" gloss on arXiv:2310.20603 should be scoped: Fehre–Litim–Pawlowski–Reichert (arXiv:2111.13232, published 2023) earlier performed the first direct nonperturbative Lorentzian computation of the graviton spectral function (positive-definite; massless graviton peak + multi-particle continuum with asymptotically safe UV scaling). "First" is defensible only for the covariant Lorentzian background-flow fixed-point analysis.
• ESTABLISHED — published work Predictivity technology: the essential-coupling scheme (Baldazzi–Falls, Essential Quantum Einstein Gravity, Universe 7, 294 (2021); Baldazzi–Ben Ali Zinati–Falls, SciPost Phys. 13 (2022), arXiv:2105.11482) quotients out inessential couplings, directly addressing the truncation-redundancy caveat; the form-factor program (Knorr–Ripken–Saueressig, arXiv:2210.16072, Handbook of Quantum Gravity) is the program's current bridge from fixed-point data to observables (amplitudes, EFT positivity).
• CONTESTED The Higgs-mass retrodiction (Shaposhnikov–Wetterich, arXiv:0912.0208, Phys. Lett. B 683, 196 (2010)): current proponent reviews (Eichhorn–Schiffer, arXiv:2212.07456, Handbook chapter) frame the deliverable as first-principles derivation of ratios ($m_H/v$, fine-structure constant) under fixed-point boundary conditions, with sensitivity to the top mass and dark portals — i.e. partly post-dictive. The landscape's "indirect SM-coupling hints (contested)" cell remains exactly right.

Distinguishing prediction acquired/lost? None acquired ESTABLISHED — empirical record. The progress is program-internal.

Landscape action. §3: update the Lorentzian bullet (three routes; attribution caveat); one sentence on essential/form-factor technology; sharpen the Shaposhnikov–Wetterich sentence. Tag unchanged: OPEN.

2. Causal dynamical triangulations: continuum limit unproven, but CDT and FRG made first quantitative contact

• ESTABLISHED Ambjørn–Gizbert-Studnicki–Görlich–Németh, Is Lattice Quantum Gravity Asymptotically Safe? (arXiv:2408.07808; PRD 110, 126006 (2024)): compares CDT effective scale-factor actions with FRG flows; identifies CDT's infinite-four-volume de Sitter phase with the Gaussian/IR fixed-point limit of the FRG; Monte Carlo data permit a UV lattice fixed point but cannot yet establish it; flags that "correlation length" means different things in lattice gravity vs QFT on a fixed background.
• ESTABLISHED — self-assessment of the field The April 2026 Ambjørn–Loll review (arXiv:2604.05641, invited Scholarpedia contribution): simulations "indicate the presence of an ultraviolet fixed point", emergent dS-like universe, spectral dimension $\\approx 2$ at short scales; constructing observables for early-universe cosmology named as the open frontier.

Distinguishing prediction? None ESTABLISHED. Landscape action. §4: add the CDT↔FRG bridge to Mathematical status; cite 2604.05641 as the canonical status review; verdict text ("no proven continuum limit") stands verbatim. The bridge is also a new cross-program convergence datum for ../UNIFYING_PRINCIPLES.md. Tag unchanged: OPEN.

3. Causal sets: Hauptvermutung progress (real), everpresent-Λ status (worse), DESI confrontation (missing)

• ESTABLISHED — preprint theorems; not peer-reviewed Müller, On the Hauptvermutung of Causal Set Theory (arXiv:2503.01719, v1 Mar 2025 / v2 Dec 2025): formulates the Hauptvermutung two precise, inequivalent ways — one provably false, one provably true — and proves the conjecture true for countable sets. The H6 referee line "the Hauptvermutung is OPEN" is now too coarse; the physically standard finite/Poisson version remains effectively open in its strongest form, but the conjecture is no longer a single informal statement.
• ESTABLISHED — as the paper's findings Das–Nasiri–Yazdi, Aspects of Everpresent Λ (II) (arXiv:2307.13743, v2 Oct 2024): some Model-1 realizations fit SN Ia better than ΛCDM (small fluctuations at $z\\lesssim1.5$), but current implementations fail against the CMB — even with Λ suppressed near last scattering, $\\chi^2 \\gg \\chi^2_{\\Lambda\\rm CDM}$. The landscape's "fluctuating-Λ heuristic … varying dark energy" cell needs this caution.
• OPEN — negative finding, search-coverage-bounded No published confrontation of everpresent Λ with the DESI DR1/DR2 $w(z)$ hints exists as of 2026-06-10 (three independent search sweeps). The one program with a pre-1998 order-of-magnitude $\\Lambda \\sim 1/\\sqrt{V}$ near-prediction has not been tested against the first dataset that could favor it. Watchlist item: the first such paper, whichever way it cuts. (Context review: Yazdi, arXiv:2311.14881, Mod. Phys. Lett. A 2330003.)
• Sequential growth: no claim-moving 2023–2026 result found beyond the classical Rideout–Sorkin line OPEN; absence-of-evidence at search level.

Landscape action. §5: update Mathematical status (Müller) and Empirical status (CMB constraint); ../EXPERIMENT_WATCHLIST.md: add the everpresent-Λ/DESI confrontation watch item. Tag unchanged: OPEN.

4. LQG / spin foams: a numerical Lorentzian era, and a concrete black-hole metric feeding astrophysics pipelines

• ESTABLISHED — published machinery Complex critical points: Han–Liu–Qu (arXiv:2404.10563; PRD 111, 024021 (2025) per APS listing) — algorithm + Mathematica package for real and complex critical points of 4d Lorentzian spinfoam amplitudes (EPRL spacelike; Conrady–Hnybida timelike), single- and multi-simplex, with spinfoam-vs-Regge action comparison. Complex critical points extend large-$j$ asymptotics beyond Regge-like boundary data — a direct attack on the wiki's "OPEN continuum/large-spin limit".
• ESTABLISHED — computation Effective spin foams reach Lorentzian cosmology: Dittrich–Padua-Argüelles (arXiv:2306.06012; Universe 10, 296 (2024)) compute a finite time-evolution step of a Lorentzian quantum de Sitter universe, including no-boundary-like data, discrete-area effects, and Shanks acceleration of oscillatory Lorentzian sums.
• ESTABLISHED — within the model Quantum Oppenheimer–Snyder: Lewandowski–Ma–Yang–Zhang (arXiv:2210.02253; PRL 130, 101501 (2023)) derive from LQC dust collapse an effective quantum-corrected exterior, schematically $f(r) = 1 - \\tfrac{2GM}{r} + \\tfrac{\\alpha G^2M^2}{r^4}$ (with $\\alpha \\propto \\gamma^3\\ell_P^2$; check the exact coefficient against the paper before quoting), implying a minimal mass for dust-collapse black holes and a bounce. A 2023–2026 phenomenology wave (shadows, quasinormal modes, long-lived modes; e.g. arXiv:2409.16323, arXiv:2508.01183 unverified — titles from search listings only) followed. INFERENCE Corrections are Planck-suppressed for astrophysical masses; "observational contact" claims are model-dependent extrapolations with no positive signal. Black-to-white-hole transition phenomenology remains SPECULATIVE.

Distinguishing prediction? None gained; the QOS metric makes the LQG entry's phenomenology concrete but not testable at astrophysical masses INFERENCE. Landscape action. §2: one bullet on the numerical-Lorentzian turn; two sentences on QOS with the suppression caveat. Tag unchanged: OPEN.

5. Group field theory: the condensate assumption is no longer pure hypothesis

• ESTABLISHED Marchetti–Oriti–Pithis–Thürigen, Mean-field phase transitions in TGFT quantum gravity (arXiv:2211.12768; PRL 130, 141501 (2023)): mean-field theory of the condensate transition — the assumption beneath all GFT condensate cosmology — is justified in realistic quantum-geometric TGFT models, due specifically to combinatorially non-local interactions, matter d.o.f., and Lorentz group data. Follow-up: Landau–Ginzburg analysis of the causally complete Lorentzian Barrett–Crane model, PRD 111, 026014 (2025) [verified at APS-DOI-listing level; confirm authors before naming]. Context: the 2024 multi-author perspectives collection (arXiv:2411.12628) reframes the program around "hydrodynamics on superspace".
• OPEN — unchanged Whether the condensate phase is continuum GR-geometry remains the open question; the landscape's "recovery of full classical GR … not established" stands.

Landscape action. §10 Mathematical status: replace "proving the existence of a geometric (condensate) phase … unresolved" with "mean-field/Landau–Ginzburg evidence for a condensate transition now exists in realistic Lorentzian models (PRL 2023); whether that phase is geometric/continuum-GR remains OPEN". Tag unchanged: OPEN.

6. NEW ENTRY WARRANTED: classical–quantum hybrid ("postquantum") gravity

The landscape has no entry for the mathematically explicit "gravity stays classical" program, although 2026-06-08-tabletop-quantum-gravity.md already uses it as a loophole class. It now has every element of a landscape entry:

• Core math ESTABLISHED — published framework: Oppenheim (arXiv:1811.03116; PRX 13, 041040 (2023)) — linear, completely positive, trace-preserving dynamics coupling a classical metric to quantum matter; reduces to GR classically; consistency forces stochastic metric+matter evolution; decoherence is built in, no measurement postulate.
• Distinguishing prediction ESTABLISHED — theorem within the framework: the universal decoherence–diffusion trade-off (Oppenheim–Sparaciari–Šoda–Weller-Davies, arXiv:2203.01982; Nat. Commun. 14, 7910 (2023)): schematically $D_{\\rm diff}\\,\\lambda_{\\rm dec}\\gtrsim(\\text{coupling})^2$ — long quantum coherence times require gravitational force noise. Interferometry (decoherence side) and precision force/mass experiments (diffusion side) corner the theory from both directions.
• Experimental squeeze ESTABLISHED: Janse et al. (arXiv:2403.08912; Phys. Rev. Research 6, 033076 (2024)) — force-noise data from single atoms to kg masses bound spacetime diffusion ≥15 orders of magnitude below the initial benchmarks for explicit ultralocal models. INFERENCE The simplest realizations are near-excluded; the class is not. A claimed 2024 renormalisability proof circulates unverified this session.
• Honest framing INFERENCE: this is not a unification program — it is a rejection of the premise that gravity must be quantized, with the rare property of near-term laboratory leverage. By the wiki's own anti-crank standard it is more "physics" than most entries in the survey: it stakes a falsifiable claim and is being falsified-or-not in real time. This sharpens, by contrast, the NOT-YET-PHYSICS status of the wiki's central wager (see ../CONCLUSION.md): the demotion cannot be excused by "nothing in quantum gravity is testable".

Landscape action. New numbered section + comparative-table row: Maturity medium; Distinguishing test Yes (decoherence–diffusion trade-off; ultralocal models squeezed ~15 orders); Strength: consistency + testability; Weakness: stochasticity in tension with observed coherence, simplest models near-dead, no unification ambition. Tag: OPEN — testable, a virtue.

7. String theory: only the landscape-moving items

• Dark dimension SPECULATIVE framework; falsifiable consequences stated: Montero–Vafa–Valenzuela (arXiv:2205.12293; JHEP 02 (2023) 022): swampland distance/duality + observed $\\Lambda$ ⇒ one mesoscopic extra dimension, $\\ell \\sim \\lambda\\,\\Lambda^{-1/4}\\sim 0.1\\text{–}10\\,\\mu\\mathrm{m}$, KK graviton tower as dark matter, m_\\nu \\sim \\Lambda^{1/4} relations, species scale $\\sim10^{9\\text{–}10}$ GeV. Falsifier: micron-scale inverse-square-law deviations — torsion-balance experiments need ~1 order of magnitude improvement to reach the predicted band INFERENCE; O(1) ambiguities acknowledged. Extension: Bedroya–Obied–Vafa–Wu (arXiv:2507.03090, v3 May 2026) tie an evolving dark sector to the scenario and claim DESI and SN data independently favor non-zero couplings in the predicted O(1) range, mimicking phantom $w<-1$ CONTESTED — proponent fit. Bears on the wiki's ASSUME-ETERNAL-dS wrong-idealization hedge (2026-06-08-de-sitter-and-emergent-spacetime.md).
• KKLT explicit candidates ESTABLISHED — constructions; stability OPEN: McAllister–Moritz–Nally–Schachner, Candidate de Sitter Vacua (arXiv:2406.13751; PRD 111, 086015 (2025)): first assembly of all KKLT components in explicit Calabi–Yau orientifolds (exact flux superpotential, Euclidean D3 effects, Klebanov–Strassler throat + single anti-D3), yielding candidate metastable dS vacua at leading order in $\\alpha'$ and $g_s$. Candidate counts differ across digests (≈30 per arXiv-abstract digest; 5 uplifted of 33,371 compactifications per a PRD-page digest) — check the published abstract before quoting any number. Key open problem, stated by the authors themselves (Schachner, arXiv:2505.00149): stability against subleading corrections. Honest landscape summary moves from "no explicit construction" to "explicit candidates, control unestablished" — the §15.5 "quiet scandal" paragraph survives with one word changed.

Landscape action. §1: update the KKLT bullet; add a dark-dimension paragraph under Testability. ../EXPERIMENT_WATCHLIST.md: add micron-scale ISL tests. Tag unchanged: SPECULATIVE (as description of nature).

8. Negative sweep results (recorded so the next iteration does not re-search)

• Quantum-graphity successors / qubit-lattice geometrogenesis: no substantive 2024–2026 program found. Quantum graphity is dormant; nearest activity is combinatorial quantum gravity on random graphs via Ollivier curvature (Trugenberger line; low volume; e.g. Universe 9, 499 (2023) unverified) and a 2025 PRL essay (arXiv:2506.06595 unverified) — neither warrants a landscape entry. OPEN — absence at search-coverage level.
• Everpresent-Λ vs DESI: missing, as §3 above.
• No other genuinely new unification direction 2024–2026 with real math surfaced that the landscape lacks, beyond the classical–quantum hybrid program (§6). INFERENCE — bounded by this session's coverage.

9. What this does NOT change

ESTABLISHED — by inspection of the findings against the closed items Nothing here reopens OP-41 (dS first-law cardinality no-go), OP-46 (HYP-CKV-VACUITY; readout-independence), or OP-48(c). None of the surveyed programs supplies a signature-installation readout that Program A could borrow: CDT and causal sets assume causal/Lorentzian structure (foliation; partial order), and every Lorentzian asymptotic-safety route installs signature by hand (Wick rotation, foliation choice, or a fixed dS background) — consistent with, and mildly corroborating, the wiki's conclusion that signature is everywhere an input, not an output. The two hedges (OP-44/OP-CP1 crossed-product fate; OP-49 dS pseudo-entropy) receive no input from this track. The contrast-effect of findings §6 and §7 (programs that DO carry distinguishing tests) strengthens the wiki's NOT-YET-PHYSICS discipline rather than weakening it.

References

Verified this session (arXiv abstract page fetched, or authoritative listing as noted):

• E. D'Angelo, R. Ferrero, M. B. Fröb, De Sitter quantum gravity within the covariant Lorentzian approach to asymptotic safety, arXiv:2502.05135; Class. Quantum Grav. 42 (2025), DOI 10.1088/1361-6382/ade193.
• J. Fehre, D. F. Litim, J. M. Pawlowski, M. Reichert, Lorentzian quantum gravity and the graviton spectral function, arXiv:2111.13232 (published; journal volume not confirmed this session).
• F. Saueressig, J. Wang, Foliated asymptotically safe gravity…, arXiv:2501.03752; PRD 111, 106007 (2025).
• E. D'Angelo, Asymptotic safety in Lorentzian quantum gravity, arXiv:2310.20603; PRD 109, 066012 (2024).
• A. Baldazzi, K. Falls, Essential Quantum Einstein Gravity, Universe 7, 294 (2021) [Semantic-Scholar-listing verification].
• A. Baldazzi, R. Ben Ali Zinati, K. Falls, Essential renormalisation group, SciPost Phys. 13 (2022), arXiv:2105.11482 [search-listing verification].
• B. Knorr, C. Ripken, F. Saueressig, Form Factors in Asymptotically Safe Quantum Gravity, arXiv:2210.16072 (Handbook of Quantum Gravity chapter).
• A. Eichhorn, M. Schiffer, Asymptotic safety of gravity with matter, arXiv:2212.07456 (Handbook of Quantum Gravity chapter).
• M. Shaposhnikov, C. Wetterich, Asymptotic safety of gravity and the Higgs boson mass, arXiv:0912.0208; Phys. Lett. B 683, 196 (2010).
• M. Schiffer, Asymptotically safe quantum gravity: functional and lattice perspectives, arXiv:2509.26352 (proceedings).
• J. Ambjørn, J. Gizbert-Studnicki, A. Görlich, D. Németh, Is Lattice Quantum Gravity Asymptotically Safe?…, arXiv:2408.07808; PRD 110, 126006 (2024).
• J. Ambjørn, R. Loll, Causal Dynamical Triangulations: New Lattice Theory of Quantum Gravity, arXiv:2604.05641 (Scholarpedia, Apr 2026).
• O. Müller, On the Hauptvermutung of Causal Set Theory, arXiv:2503.01719 (preprint, not peer-reviewed).
• S. Das, A. Nasiri, Y. K. Yazdi, Aspects of Everpresent Λ (II): Cosmological Tests of Current Models, arXiv:2307.13743.
• Y. K. Yazdi, Everything You Always Wanted to Know About How Causal Set Theory Can Help with Open Questions in Cosmology…, arXiv:2311.14881; Mod. Phys. Lett. A 2330003 (2023).
• M. Han, H. Liu, D. Qu, A Mathematica program for … complex critical points in 4-dimensional Lorentzian spinfoam amplitude, arXiv:2404.10563; PRD 111, 024021 (2025) [APS-listing verification of journal ref].
• B. Dittrich, J. Padua-Argüelles, Lorentzian quantum cosmology from effective spin foams, arXiv:2306.06012; Universe 10, 296 (2024).
• J. Lewandowski, Y. Ma, J. Yang, C. Zhang, Quantum Oppenheimer-Snyder and Swiss Cheese models, arXiv:2210.02253; PRL 130, 101501 (2023).
• L. Marchetti, D. Oriti, A. G. A. Pithis, J. Thürigen, Mean-field phase transitions in TGFT quantum gravity, arXiv:2211.12768; PRL 130, 141501 (2023).
• Phase transitions in TGFT: Landau-Ginzburg analysis of the causally complete Lorentzian Barrett-Crane model, PRD 111, 026014 (2025) [APS-DOI-listing verification; authors not independently confirmed].
• J. Ben Achour, D. Benedetti, M. Bojowald, R. Brandenberger et al., Quantum Gravity, Hydrodynamics and Emergent Cosmology: A Collection of Perspectives, arXiv:2411.12628.
• J. Oppenheim, A postquantum theory of classical gravity?, arXiv:1811.03116; PRX 13, 041040 (2023) [PRX ref via APS DOI + UCL Discovery listings].
• J. Oppenheim, C. Sparaciari, B. Šoda, Z. Weller-Davies, Gravitationally induced decoherence vs space-time diffusion…, arXiv:2203.01982; Nat. Commun. 14, 7910 (2023).
• M. Janse, D. G. Uitenbroek, L. van Everdingen, J. Plugge, B. Hensen, T. H. Oosterkamp, Current experimental upper bounds on spacetime diffusion, arXiv:2403.08912; Phys. Rev. Research 6, 033076 (2024).
• M. Montero, C. Vafa, I. Valenzuela, The Dark Dimension and the Swampland, arXiv:2205.12293; JHEP 02 (2023) 022.
• A. Bedroya, G. Obied, C. Vafa, D. H. Wu, Evolving Dark Sector and the Dark Dimension Scenario, arXiv:2507.03090.
• L. McAllister, J. Moritz, R. Nally, A. Schachner, Candidate de Sitter Vacua, arXiv:2406.13751; PRD 111, 086015 (2025) [PRD ref via APS listing; candidate counts inconsistent across digests — verify before quoting].
• A. Schachner, Brief overview of Candidate de Sitter Vacua, arXiv:2505.00149 (proceedings).

unverified — surfaced in search listings only, abstracts not fetched: arXiv:2409.16323 (QOS shadows); arXiv:2508.01183 (QOS with Lorentz term, PRD 2025); arXiv:2406.19676 (tensor-network spin foam algorithms); arXiv:2311.17526 / Universe 9, 499 (2023) (combinatorial QG); arXiv:2506.06595 (PRL essay, 2025); the claimed 2024 CQ-gravity renormalisability paper.

Binding note. Where a correction in the referee verdict below conflicts with the body above, the referee correction governs; the body is the pre-referee submission, retained for the audit trail per house convention.

Referee verdict

Adversarial pass on all ten R4 findings: 14 arXiv abstract fetches plus 4 independent web searches this session; every load-bearing citation re-audited regardless of the finder's verified:true. All ten kept. No fabricated sources; the error class is detail-level misattribution and independence-inflation, all repairable. Nothing reopens or weakens the standing CONCLUSION; the signature-is-an-input closures are corroborated, not challenged.

[R4-F1] Lorentzian asymptotic safety consolidation — keep / minor. 2502.05135 (dS background flow, identity + content confirmed from abstract) and the Fehre et al. precedent (2111.13232; its abstract itself claims "first direct and non-perturbative computation of the graviton spectral function") both check; the attribution scoping of 2310.20603 to "first covariant Lorentzian background-flow fixed-point analysis" is correct and complies with the iter4 note's warning about 2501.03752. Correction: "three mutually independent technical routes" overstates — flat-covariant and dS-covariant share authorship and method; say "complementary routes." Keep OPEN overall, Lorentzian sub-claim CONTESTED.

[R4-F2] AS predictivity technology — keep / minor. Referee pinned the loose citation: Baldazzi–Falls = arXiv:2107.00671, Universe 7(8), 294 (2021). Eichhorn–Schiffer (2212.07456) confirmed for the ratios-as-derivations framing — but its abstract says nothing about top-mass sensitivity; that caveat belongs to Shaposhnikov–Wetterich (0912.0208) itself. Re-attribute before the sentence enters the landscape. The bottom line — "indirect SM-coupling hints (contested)" cell unchanged — is exactly right.

[R4-F3] CDT–FRG bridge — keep / none. Both anchors confirmed at near-verbatim level (2408.07808 incl. PRD ref, the dS-phase ↔ Gaussian/IR-FP identification, the "permit but not prove" UV-FP statement, and the correlation-length distinction; 2604.05641 is a real Apr 2026 Scholarpedia contribution stating "indicate," not "establish"). §4's "no proven continuum limit" verdict stands verbatim. Clean.

[R4-F4] Causal-set Hauptvermutung (Müller 2025) — keep / minor. Preprint real; abstract states exactly the claimed theorems (two precise inequivalent formulations, one false / one true; countable-set version true). Corrections: drop the word "faithful" — whether the proven variant captures the physically intended (finite, Poisson-sprinkled) conjecture is itself undecided; this is a 7-page unpublished preprint with unchecked proofs and must enter H6 with the [web-confirmed real / not peer-reviewed] rider and conditional phrasing.

[R4-F5] Everpresent Λ: CMB-disfavored + DESI gap — keep / minor. 2307.13743's SN-vs-CMB conclusions confirmed from abstract (χ² much larger than ΛCDM even with Λ suppressed near last scattering); note it has no journal ref — cite as preprint. The negative finding (no published everpresent-Λ vs DESI w0–wa confrontation) was independently re-searched by the referee and corroborated; keep the search-coverage rider. Correction: "pre-DESI" is loose (v2 postdates DR1); say "does not confront the DESI w0–wa posterior." The watchlist item is the track's best deliverable.

[R4-F6] Spin foams' numerical Lorentzian turn — keep / minor. Both papers confirmed from abstracts (complex critical points incl. timelike Conrady–Hnybida; first Lorentzian dS evolution step in effective spin foams, Shanks acceleration). Rider: the arXiv page for 2404.10563 shows no journal ref — do not print "PRD 111, 024021" without an APS check. Dynamics verdict and OPEN tag unchanged.

[R4-F7] Quantum Oppenheimer–Snyder phenomenology — keep / minor. PRL 130, 101501 confirmed (deformed Schwarzschild, minimal mass, Swiss Cheese). Corrections: the explicit $f(r)$ and $\alpha \propto \gamma^3 \ell_P^2$ are not abstract-verifiable — omit the formula from the wiki or verify against the paper body; the follow-up IDs (2409.16323, 2508.01183) are titles-only — cite the phenomenology wave generically with an unverified instances rider. The "do NOT present as observational contact" instruction is binding.

[R4-F8] GFT mean-field justification — keep / minor. PRL 130, 141501 confirmed including the exact justification clause (non-local interactions, matter, Lorentzian data / micro-causality). The §10 refinement is a genuine staleness fix, correctly split: condensate-transition evidence [published] vs geometricity of the phase OPEN. Rider: PRD 111, 026014 author list unverified — cite by title+journal only.

[R4-F9] NEW ENTRY: Oppenheim postquantum CQ gravity — keep / minor. All three pillars confirmed: PRX 13, 041040 (independently re-confirmed this session), Nat. Commun. 14, 7910 (trade-off, two-sided squeeze), PRResearch 6, 033076 ("at least 15 orders of magnitude" vs initial predictions for explicit models — say "explicit models," verify "ultralocal" before printing). No-go audit: linear CPTP dynamics violates none of Bell/PBR/KS; a BMV-positive would falsify the class, consistent with the tabletop note. Conditions: the renormalisability claim stays out (unverified); the new section's Problems axis must cite the published consistency critiques — entry, not advertisement. The meta-point (the anti-crank bar is passable in this field, sharpening the central wager's NOT-YET-PHYSICS demotion) is endorsed.

[R4-F10] Dark dimension + KKLT candidates — keep / minor. All four citations real and on-content; PRD 111, 086015 confirmed via DOI. Corrections: (i) KK-graviton dark matter is a separate follow-up (Gonzalo–Montero–Obied–Vafa, arXiv:2209.09249 [verify before citing]), not 2205.12293; (ii) abstract central value is ~1 μm — present 0.1–10 μm as the O(1)-λ spread, and phrase the ISL falsifier as "strongly disfavor, not logically exclude"; (iii) candidate count resolves to ~30 per the arXiv listing — the 33,371/5 digest figures stay out unless verified against the published abstract. The KKLT status upgrade ("no construction" → "explicit candidates, control unestablished") is accurate and leaves §15's "quiet scandal" paragraph intact; Bedroya et al. enters as CONTESTED — proponent fit supporting, not resolving, the ASSUME-ETERNAL-dS hedge.

Closure audit (whole track): checked against Weinberg–Witten, Coleman–Mandula/HLS, Haag, Bell/CHSH, PBR, Kochen–Specker, Reeh–Schlieder, singularity theorems, spin–statistics, unitarity/causality bounds, and the wiki's own closures (dS cardinality no-go / η-is-an-input; HYP-CKV-VACUITY readout-independence; OP-48c). No finding quietly contradicts any of them; no candidate reopening. CDT and causal sets input causal structure, Lorentzian AS installs signature via Wick rotation/foliation/background, CQ gravity keeps a classical Lorentzian metric by fiat — the track's own observation that signature is everywhere an input corroborates the standing closures. The CONCLUSION is untouched.