Iteration 6, Track A1 — A Distinguishing Prediction for the Geometry-from-Algebra Wager: Found or Refused

Status: Attack track, concluded. Verdict (B): no distinguishing test exists in the published literature even in principle, and the absence is now derived (ENCODING-SCREEN), not merely observed. One watchlist addition (GQuEST) and one new theorem-shaped open problem (OP-50, "reverse Weinberg–Witten") proposed.\nLast updated: 2026-06-10\nIteration: 6\n\nThis note attacks the project's highest-value object: find, or rigorously refuse, an observable that distinguishes the central wager — causal/algebraic/entanglement structure precedes metric geometry — from a world in which metric geometry is fundamental and the algebraic structure is derived. The standing verdict (../CONCLUSION.md §7) asserts no such test exists even in principle; the watchlist (../EXPERIMENT_WATCHLIST.md) carries this as a caveat block. Iteration 6 stress-tested that sentence against the 2019–2026 literature, including channels the wiki has never covered (Verlinde–Zurek/GQuEST; Danielson–Satishchandran–Wald). The sentence survives — and comes out stronger, because the two standing obstacles (no generation; no test) turn out to be one fact.\n\n---\n\n## 1. The wager, and what "distinguishing" must mean\n\nThe wager (W), maximally precise. In our $\\Lambda>0$ universe the fundamental description is a non-geometric structure — a net of von Neumann algebras with states $(\\mathcal{A},\\omega)$ , equivalently a causal order plus modular/entanglement data — and the Lorentzian metric $(M,g)$ , including its Einstein dynamics, is derived from it by some readout $\\Phi$ . The rival (G): metric geometry (possibly quantized, possibly discrete) is fundamental; the algebraic structure is the derived one (Haag–Kastler nets built on geometry). Both are constrained to reproduce the established cores: Hilbert-space QM with exact linearity, the SM, GR at tested precision, ΛCDM.\n\nDefinition (class-level distinguishing test). INFERENCE Let $\\mathcal{T}_A$ , $\\mathcal{T}_G$ be the classes of theories realizing W resp. G under the core constraints. A distinguishing test is an observable $O$ and outcome set $S$ with\n $\\inf_{T\\in\\mathcal{T}_A} P_T(O\\in S) \\;>\\; \\sup_{T\\in\\mathcal{T}_G} P_T(O\\in S)$ \n(or with $A\\leftrightarrow G$ ). Member-level separation is trivial (any UV model predicts something); class-level separation is what "tests the wager" means, and it is the standard the wiki's anti-crank protocol (../EPISTEMICS.md) implicitly uses.\n\nThe null hypothesis, taken seriously. The wager is a claim about derivational order — which description is fundamental. Derivational order is not an observable. Any observable feature of the prior structure (discreteness, exotic vacua, noise spectra, decoherence rates, fluctuating $\\Lambda$ ) can in principle be re-housed as a feature of a fundamental-geometry theory. If that re-housing always succeeds, W and G are empirically equivalent reorganizations. The burden of this track was to find a feature that provably cannot be re-housed. None was found; §6 explains why none currently can be.\n\n---\n\n## 2. Prime candidate: Verlinde–Zurek modular-fluctuation noise and GQuEST\n\nThe one live experimental program marketed in wager-adjacent language ("gravity from the quantum entanglement of space-time") is the geontropic-noise search. The wiki has never covered it; here is the full chain, link-tagged per the mission protocol — (a) follows from the wager, (b) independent conjecture, (c) established physics.\n\n**(c0) The anchor — a real theorem-grade input, but a property of the encoding.** In holographic CFTs, the vacuum modular Hamiltonian $K$ of a ball-shaped region has fluctuations equal to its mean, both given by the RT area:\n $\\langle \\Delta K^2\\rangle \\;=\\; \\langle K\\rangle \\;=\\; \\frac{A(\\partial\\Sigma)}{4G}.$ \n[ESTABLISHED within AdS/CFT, large $N$ , Einstein gravity — Verlinde–Zurek, JHEP 04 (2020) 209 (arXiv:1911.02018); reproduced from 't Hooft-commutator shockwave dynamics in PRD 106, 106011 (2022) (arXiv:2208.01059); causal-diamond quantum mechanics in arXiv:2408.11094; cf. Banks–Fischler arXiv:2311.18049.] Note what this is: a vacuum-subregion modular statement on a fixed background — i.e. part of the encoding that $\\mathcal{T}_A$ and $\\mathcal{T}_G$ share wherever it is derived. It is $g_2/g_3$ -dependent in the smuggling checklist of 2026-06-08-iter3-encode-vs-generate-criterion.md.\n\n**(C1) Flat-space extrapolation.** SPECULATIVE — independent conjecture The same area law is postulated for finite causal diamonds in 4D Minkowski space, with the holographic entropy of the diamond's bounding lightsheet ('t Hooft-like holographic assumption; no flat-space holographic dual exists). This is the AdS-to-flat extrapolation step.\n\n**(C2) Gravitation of modular fluctuations — the load-bearing conjecture.** SPECULATIVE $\\Delta K$ fluctuations are postulated to backreact as a coherent spherically-symmetric (s-wave) metric breathing mode — modeled as a thermally occupied scalar, the "pixellon" — so that light crossing the diamond accumulates\n $\\delta L^2 \\;\\simeq\\; \\frac{\\ell_p L}{4\\pi},$ \nwith strong transverse angular correlations (Zurek, Snowmass white paper arXiv:2205.01799; interferometer response: Li–Lee–Chen–Zurek, PRD 107, 024002 (2023), arXiv:2209.07543). Two 2025–2026 results localize the entire discriminating power inside C2:\n- Aalsma–Bak (arXiv:2503.04886): the VZ scaling is recovered iff an effective spherically symmetric perturbation is quantized; "whether such a mode exists in the vacuum of any theory of quantum gravity remains an open question." The s-wave quantization choice is the prediction.\n- Carney–Karydas–Sivaramakrishnan (PRD 113, 106002 (2026), arXiv:2409.03894): in the minimal model — effective QFT of gravitons — the interferometer-measured length variation is "unambiguously" $\\delta L^2\\sim\\ell_p^2$ , with no IR divergence signaling breakdown. So VZ noise is not an EFT prediction; it is an EFT-breakdown conjecture. A detection "would signal a severe breakdown of effective quantum field theory in low energy quantum gravity." ESTABLISHED as their published result\n\n**(a) What does the wager itself contribute? Nothing.** No link c0→C1→C2 follows from W. W is compatible with $\\delta L^2\\sim\\ell_p^2$ (the crossed-product/CLPW reorganization of Program A makes no backreaction-noise commitment whatsoever) and with $\\delta L^2\\sim\\ell_p L$ . Conversely C1 and C2 are formulated as statements about observables and are therefore portable into $\\mathcal{T}_G$ : a geometry-first holographer ('t Hooft/Susskind reading — holography as a property of quantized geometry) can adopt both; and Freidel–Oberfrank (arXiv:2601.17849) show the noise PSD depends on the graviton quantum state, so even within plain geometry-first EFT a non-vacuum (squeezed/thermal) graviton state modulates the spectrum — a standing confound for any positive signal. INFERENCE, high\n\nGQuEST decision content. The experiment (photon-counting Michelson interferometers; design: Vermeulen et al., PRX 15, 011034 (2025), arXiv:2404.07524; ≥100× faster signal accrual than conventional readout; apparatus under construction at Caltech, no science results as of 2026-06-10) targets exactly the pixellon benchmark. The decision table:\n\n| Outcome | Minimal graviton EFT | VZ holographic UV (C1+C2) | Geometry-first exotic UV (squeezed/thermal graviton states; discreteness) | The wager W |\n|---|---|---|---|---|\n| Detection at $\\ell_p L/4\\pi$ + predicted correlations | excluded | confirmed | available (re-housing) | silent |\n| Null at design sensitivity | confirmed | $\\alpha\\sim O(1)$ benchmark excluded | unconstrained | silent |\n\nA detection would be one of the great results of the century — falsifying the minimal-EFT IR noise floor and demonstrating Planck-normalized, transversely correlated UV-IR mixing — and it would be a striking abductive success for holographic modular counting (natural geometric-EFT priors put essentially zero weight on that magnitude; VZ derived it). The correlation-class taxonomy of Sharmila–Vermeulen–Datta (Nat. Commun. 2025, DOI 10.1038/s41467-025-67313-3, arXiv:2505.22892) sharpens what a signal pins down: the symmetry/decay class of the noise two-point function. But all of that is a property of an effective noise model, portable across the W/G boundary. There is no reading — detection or null — under which GQuEST adjudicates algebra-first vs geometry-first. INFERENCE, high A null kills only the $\\alpha\\sim O(1)$ normalization; earlier tabletop work (Cardiff twin 3D interferometers, Vermeulen et al., CQG 2021, arXiv:2008.04957; Fermilab Holometer) bounds related but not identical correlation classes.\n\n---\n\n## 3. The briefer candidates\n\n3a. Danielson–Satishchandran–Wald horizon decoherence. [chain: all (c)-links] A charged/massive body held in superposition near a Killing horizon decoheres in finite time: its long-range field registers which-path information on the horizon as a growing flux of soft photons/gravitons (arXiv:2205.06279; arXiv:2301.00026; local description PRD 111, 025014 (2025), arXiv:2407.02567). Discriminating power for W: zero, on three grounds. (i) The derivation is semiclassical EFT on a horizon background — identical in $\\mathcal{T}_G$ . (ii) It is not even horizon-distinctive qualitatively: Biggs–Maldacena (arXiv:2405.02227) get the same decoherence from any finite-temperature quantum system; DSW's refinement preserves a quantitative difference only (low-frequency dipole/quadrupole fluctuation spectra; no decoherence outside a static star), and the rate is reproduced holographically (JHEP 01 (2026) 154, arXiv:2505.17450). (iii) In-principle observation would bear on the gate (the gravitational field carries which-path quantum information — the BMV logical slot), not on priority. The irony is diagnostic: DSW is the nearest thing in the literature to an operational shadow of Program A's horizon-algebra structure, and it is exactly EFT-derivable — ENCODING-SCREEN in the wild. INFERENCE, high\n\n3b. Everpresent $\\Lambda$ . The causal-set/unimodular heuristic ( $\\Lambda$ conjugate to $V$ ; $\\Delta N\\sim\\sqrt N$ ⇒ $\\Delta\\Lambda\\sim V^{-1/2}$ ) is the one surveyed case where a structure-first substrate yields a statistical signature leaning on structure beyond the encoding (the counting). It is the best existing template of a wager-class prediction — and it still fails class separation: (i) it is an ansatz family, not an entailment ( $\\mathcal{T}_A$ does not predict it; causal-set dynamics is unsolved — ../HYPOTHESES.md H6); (ii) the $V^{-1/2}$ statistics separate [discrete counting] from [continuum], not [order-first] from [geometry-first] — discrete geometric theories re-house it. Empirically, current concrete models are now disfavored: Das–Nasiri–Yazdi (arXiv:2307.13743) find Model-1-type realizations fit CMB data much worse than ΛCDM even with recombination-era suppression, with only atypical small-fluctuation realizations competitive on SN Ia. The H1/H6 "live discriminator" framing should be downgraded accordingly. ESTABLISHED for the published constraints; INFERENCE for the class analysis\n\n3c. Entanglement-equilibrium deviations. No experimental channel of this name exists in the literature (orchestrator-lead correction). Jacobson 2015 is calibrated to reproduce the Einstein equation exactly, with $\\eta=1/4G$ as input (HYP-dS-CARDINALITY-R1); "deviations" have no signature independent of ordinary tests of the Einstein equations, which both classes predict identically. INFERENCE\n\n3d. Modular-temperature (Unruh-type) channels. Bisognano–Wichmann-type entanglement-Hamiltonian structure has now actually been measured in the lab — 51-ion entanglement-Hamiltonian learning on subsystems up to 20 sites (Joshi et al., Nature 2023, arXiv:2306.00057) — and analog Unruh/Hawking systems probe the same physics. These confirm precisely the $g_3$ -symmetric modular structure that is a theorem in both classes (the encoding's input). The channel is class-blind by construction; so would be any observation of non-geometric modular flow for non-symmetric states (also a shared QFT prediction). ESTABLISHED for the experiment; INFERENCE for the diagnosis\n\n3e. Search-surfaced extras. (i) Franzmann–Jovancic–Lawson (PRD 107, 066008 (2023), arXiv:2210.14875) address Bell pairs in emergent-distance scenarios but explicitly propose no observable separating emergent from fundamental spacetime — screened. (ii) The Oppenheim–Sparaciari–Šoda–Weller-Davies trade-off theorem (Nat. Commun. 2023, arXiv:2203.01982) — any consistent classical-spacetime/quantum-matter coupling forces decoherence-vs-metric-diffusion, squeezed by existing data — is a genuine currently running gate channel complementary to BMV, and should be added to the watchlist as such. Neither touches the wager.\n\n---\n\n## 4. The screening argument (verdict B), made precise\n\nProposition (ENCODING-SCREEN). INFERENCE — near-definitional given the encode-only classification Let $\\Phi$ be encode-only in the OP-46 sense: it consumes background data ( $g_1$ – $g_5$ of the smuggling checklist) and outputs no metric data beyond input ( $\\Delta_{\\rm geo}\\le 0$ ). Let $T_A=(\\mathcal{A},\\omega;\\Phi)\\in\\mathcal{T}_A$ be a theory whose entire bridge to spacetime observables passes through $\\Phi$ . Then the prediction map factors\n $(\\mathcal{A},\\omega)\\;\\xrightarrow{\\ \\Phi^{-1}\\text{-side}\\ }\\;E\\;\\longrightarrow\\;\\{P(O)\\},$ \nwhere $E$ is the semiclassical EFT whose background $\\Phi$ consumed and the first arrow inverts $E$ 's own Haag–Kastler/GNS construction (the algebra was built from $E$ 's fields on $E$ 's background). The composite is the identity on $E$ 's predictive content: $P_{T_A}(O)=P_E(O)$ for every observable $O$ , and $T_A$ defines no observables beyond $E$ 's. Hence no observable separates $T_A$ from any $\\mathcal{T}_G$ member with IR limit $E$ .\n\nThe proposition is close to analytic; the physics is the classification fact, established in iterations 3–5 and readout-independent, that every current Program-A construction is encode-only (2026-06-08-iter5-synthesis.md). The screen converts that classification into the empirical no-test verdict.\n\nCorollary 1 (coincidence of reopening conditions). A class-level test exists iff some wager-true theory has a non-factoring bridge — a generative $\\Phi$ ( $\\Delta_{\\rm geo}>0$ from non-geometric input) whose output over-constrains geometry relative to every fixed-background EFT: a derived $\\eta=1/4G$ , a derived Lorentzian signature, a derived state-dependence of $g$ . These are exactly the things the standing no-gos say no construction delivers (HYP-dS-CARDINALITY-R1: $\\eta$ always input; HYP-CKV-VACUITY: signature always installed). The OP-46 verdict-flipper of ../CONCLUSION.md §8 and the missing distinguishing experiment of §7 are the same object. A construction that generates would, generically, also predict: e.g. a derived $\\eta$ fixes Newton's constant in terms of substrate data (a consistency relation no geometry-first theory is obliged to satisfy); a derived signature-installation step would dictate where Lorentzian structure degrades.\n\nCorollary 2 (UV-portability). Any conjecture formulated as a statement about observables — a noise PSD (VZ), a decoherence rate (DSW), a $w(z)$ statistic (everpresent $\\Lambda$ ) — is portable between $\\mathcal{T}_A$ and $\\mathcal{T}_G$ . Confirming it yields Bayesian abduction over UV completions, never class separation.\n\nThe theorem-shaped statement that would void the screen (proposed OP-50). A distinguishing prediction requires a result of the form:\n> There exists an observable $X$ (with outcome set $S$ ) realizable in some theory with no fundamental metric degrees of freedom, such that no theory with fundamental metric degrees of freedom satisfying the cores can realize $X\\in S$ .\nCall this a reverse Weinberg–Witten: Weinberg–Witten itself is the nearest known relative and runs the other way (it constrains massless spin-2 in same-spacetime QFTs with covariant $T_{\\mu\\nu}$ , and is evaded by holography). No theorem of the reverse shape exists or has, to this track's knowledge, been attempted. OPEN\n\nLoopholes, honestly stated. (L1) A future generative construction — so the screen inherits the OP-46 MEDIUM hedge and is not a theorem; this should be listed as a third explicit hedge in the capstone. (L2) A provable non-portability result for a specific observable; none is known, and for the VZ observable Freidel–Oberfrank's graviton-state dependence is direct evidence portability holds. (L3) Substrate-fixed initial-condition statistics (the everpresent- $\\Lambda$ template): currently fails on both entailment and data (§3b). (L4) Type III $_1$ operational signatures (universal embezzlement, van Luijk et al. — see OP-48c): not observable by any finite-energy protocol, since the split property furnishes Type-I approximants to every finite-precision experiment; and III $_1$ -locality is in any case asserted by both classes on a background. INFERENCE\n\nRed-team of the screen itself. (i) "Too definitional": conceded — the content is the encode-only classification plus the recognition that the no-test fact is its corollary; the value is unification and a precise reopening condition. (ii) "Abduction is not nothing": conceded explicitly — a GQuEST detection at the VZ magnitude and correlation class would massively shift credence toward holographic modular counting and reopen the entire landscape; the claim defended here is only that it cannot achieve class-level separation, which is what "tests the wager" means under §1. (iii) "Consistency predictions" (GSL, QNEC exactness): shared — both classes derive them in the semiclassical regime. None of these objections survives as a counterexample. INFERENCE, high\n\n---\n\n## 5. Proposed amendments (verbatim drafts)\n\n**../CONCLUSION.md §7, after "...no distinguishing experimental test even in principle.":\n> This is not an additional brute fact: it is a corollary of §4. A program whose constructions only encode a semiclassical EFT has exactly that EFT's observable content, so every candidate signal — Verlinde–Zurek interferometer noise, horizon decoherence, everpresent- $\\Lambda$ statistics — factors through physics equally available to a geometry-first description (ENCODING-SCREEN; see this note). A class-separating prediction would require precisely the generative construction whose absence §4 records; the empirical reopening condition therefore coincides with the analytical one in §8. This corollary inherits the OP-46 MEDIUM hedge — it is exactly as strong as the encode-only classification.\n\n../CONCLUSION.md §8, after the BMV sentence:\n> Likewise, a GQuEST-class detection of Planck-normalized correlated interferometer noise would falsify the minimal graviton-EFT noise floor (PRD 113, 106002 (2026)) and reopen the UV landscape — abductively favoring holographic modular counting — but, by the screen above, would still not adjudicate algebra-first vs geometry-first.\n\n../EXPERIMENT_WATCHLIST.md, new table row:\n> | Geontropic / VZ noise (GQuEST; QUEST; Holometer-class) | An adjacent, portable UV conjecture: do modular fluctuations $\\langle\\Delta K^2\\rangle=\\langle K\\rangle$ gravitate as Planck-normalized, transversely correlated arm-length noise $\\delta L^2\\sim\\ell_p L/4\\pi$ ? Decides [minimal graviton-EFT IR noise $\\sim\\ell_p^2$ ] vs [exotic UV-IR mixing] | Design published (PRX 15, 011034 (2025)); apparatus under construction; EFT null prediction sharp (PRD 113, 106002 (2026)); no data yet | ~2–5 yr | Detection: minimal-EFT noise floor falsified; abductive (not deductive) support for holographic modular counting; graviton-state confound (arXiv:2601.17849) blocks a wager reading. Null: kills the $\\alpha\\sim O(1)$ pixellon benchmark only. Neither outcome tests the wager (ENCODING-SCREEN). |\n\n../EXPERIMENT_WATCHLIST.md, new gate row:\n> | Classical-quantum trade-off (decoherence vs metric diffusion) | The gate, from the classical side: any consistent fundamentally-classical spacetime coupled to quantum matter forces a decoherence-vs-diffusion trade-off (Nat. Commun. 2023, arXiv:2203.01982) | Squeezed from both sides by existing coherence and precision-mass data; running now | 0–10 yr | Closing the trade-off window excludes fundamentally classical gravity without waiting for BMV-scale technology. Gate only; not the wager. |\n\nRegistry items.** HYP-ENCODING-SCREEN INFERENCE, high, hedged by OP-46 residual: as §4 above. OP-50 — reverse Weinberg–Witten OPEN: exhibit an observable realizable only in theories without fundamental metric degrees of freedom (under the cores), or prove no such observable exists. Either resolution is decisive: existence creates the wager's first in-principle test; non-existence makes the not-yet-physics verdict permanent in principle rather than contingent. Watchlist channel-note: DSW + Biggs–Maldacena as theory-watch (gate-adjacent; no near-term experiment); modular/Unruh lab channels class-blind (Joshi et al. Nature 2023); 'entanglement-equilibrium deviations' recorded as a non-channel.\n\n---\n\n## 6. Verdict\n\n**(B).** No candidate distinguishing test exists in the published literature, and none is constructible from current Program-A materials: every empirical channel — gate (BMV, CQ trade-off, DSW-in-principle), cores (collapse, LIV/EP), target ( $w(z)$ ), and the newly surveyed adjacent-UV channel (VZ/GQuEST) — either tests surrounding physics or tests a portable UV conjecture. The deep reason is structural: a theory that only encodes cannot out-predict the thing it encodes. The no-test fact is the experimental face of encodes-not-generates; the wager, as a priority claim about derivational order, is screened off from observation unless and until a generative construction (or a reverse Weinberg–Witten theorem) exists. The standing verdict's sharpest sentence survives its strongest available attack, with one upgrade (corollary status), one new hedge (the screen inherits OP-46's MEDIUM), and two watchlist additions.\n\n---\n\n## References\n\nAll verified on the web this session (arXiv abstract page or authoritative journal/index page fetched or surfaced with title+authors confirmed), except where bracketed.\n\n- E. Verlinde, K. M. Zurek, Observational signatures of quantum gravity in interferometers, Phys. Lett. B 822, 136663 (2021), arXiv:1902.08207.\n- E. Verlinde, K. M. Zurek, Spacetime fluctuations in AdS/CFT, JHEP 04 (2020) 209, arXiv:1911.02018.\n- E. Verlinde, K. M. Zurek, Modular fluctuations from shockwave geometries, Phys. Rev. D 106, 106011 (2022), arXiv:2208.01059.\n- D. Li, V. S. H. Lee, Y. Chen, K. M. Zurek, Interferometer response to geontropic fluctuations, Phys. Rev. D 107, 024002 (2023), arXiv:2209.07543.\n- K. M. Zurek, Snowmass 2021 white paper: Observational signatures of quantum gravity, arXiv:2205.01799.\n- M. W. Bub, T. He, P. Mitra, Y. Zhang, K. M. Zurek, The quantum mechanics of a spherically symmetric causal diamond in Minkowski spacetime, arXiv:2408.11094.\n- T. Banks, W. Fischler, Fluctuations and correlations in causal diamonds, arXiv:2311.18049.\n- S. M. Vermeulen et al., Photon-counting interferometry to detect geontropic space-time fluctuations with GQuEST, Phys. Rev. X 15, 011034 (2025), arXiv:2404.07524.\n- S. M. Vermeulen et al., An experiment for observing quantum gravity phenomena using twin table-top 3D interferometers, Class. Quantum Grav. (2021), arXiv:2008.04957 [volume/page unverified].\n- D. Carney, M. Karydas, A. Sivaramakrishnan, Response of interferometers to the vacuum of quantum gravity, Phys. Rev. D 113, 106002 (2026), arXiv:2409.03894.\n- L. Freidel, R. Oberfrank, Geometric noise spectrum in interferometers, arXiv:2601.17849 (2026).\n- L. Aalsma, S.-E. Bak, Modular fluctuations in cosmology, arXiv:2503.04886 (2025).\n- B. Sharmila, S. M. Vermeulen, A. Datta, Signatures of correlation of spacetime fluctuations in laser interferometers, Nat. Commun. (2025), DOI 10.1038/s41467-025-67313-3, arXiv:2505.22892.\n- D. L. Danielson, G. Satishchandran, R. M. Wald, Black holes decohere quantum superpositions, arXiv:2205.06279 (2022).\n- D. L. Danielson, G. Satishchandran, R. M. Wald, Killing horizons decohere quantum superpositions, arXiv:2301.00026 (2023) [journal volume unverified].\n- D. L. Danielson, G. Satishchandran, R. M. Wald, Local description of decoherence of quantum superpositions by black holes and other bodies, Phys. Rev. D 111, 025014 (2025), arXiv:2407.02567.\n- A. Biggs, J. Maldacena, Comparing the decoherence effects due to black holes versus ordinary matter, arXiv:2405.02227 (2024).\n- Decoherence by black holes via holography, JHEP 01 (2026) 154, arXiv:2505.17450 [authors not recorded this session].\n- S. Das, A. Nasiri, Y. K. Yazdi, Aspects of Everpresent Λ (II): Cosmological tests of current models, arXiv:2307.13743 (2023, rev. 2024).\n- J. Oppenheim, C. Sparaciari, B. Šoda, Z. Weller-Davies, Gravitationally induced decoherence vs space-time diffusion: testing the quantum nature of gravity, Nat. Commun. (2023), DOI 10.1038/s41467-023-43348-2, arXiv:2203.01982.\n- M. K. Joshi et al., Exploring large-scale entanglement in quantum simulation, Nature (2023), DOI 10.1038/s41586-023-06768-0, arXiv:2306.00057.\n- G. Franzmann, S. M. D. Jovancic, M. Lawson, On the relative distance of entangled systems in emergent spacetime scenarios, Phys. Rev. D 107, 066008 (2023), arXiv:2210.14875.\n\n## See also\n\n- ../CONCLUSION.md §§4, 7, 8 — the sentences this note grounds and amends.\n- ../EXPERIMENT_WATCHLIST.md — caveat block; proposed new rows.\n- ../HYPOTHESES.md — H0/H2/H4 (the encode-only constructions); H1/H6 (everpresent-Λ downgrade).\n- ../OPEN_PROBLEMS.md — OP-46 (the coinciding reopening condition); proposed OP-50.\n- 2026-06-08-iter3-encode-vs-generate-criterion.md — the $\\Delta_{\\rm geo}$ / $g_i$ apparatus the screen reuses.\n- 2026-06-08-iter5-synthesis.md — the readout-independent encode-only classification.\n- ../EPISTEMICS.md — tag discipline.\n\n

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

Track: A1-distinguishing-prediction (Iteration 6). Stance: adversarial; every load-bearing citation web-checked 2026-06-10. Net: 8/8 kept; one MAJOR (R6-F7, theorem-clothes + a wrong 'iff'); one inaccurate citation use (R6-F4); the headline's 'derivable rather than observed' must be softened to 'derivable given the encode-only classification' — the no-test claim inherits the OP-46 MEDIUM hedge, exactly as the track's own clause (3) concedes.

R6-F1 — class-separation definition. KEEP — severity MINOR. The inf/sup class-separation criterion is well-formed and should enter GLOSSARY.md. One overclaim corrected: 'any observable feature can be re-housed' is universal portability, which is R6-F7 Corollary 2 and carries the MEDIUM hedge; scope to the surveyed list. No no-go engaged; consistent with the watchlist caveat block.

R6-F2 — VZ chain dissection. KEEP — severity MINOR. All eight citations real; Aalsma–Bak's load-bearing quotation verified verbatim. Two fixes: (i) c0 (<ΔK²>==A/4G) retagged INFERENCE within AdS/CFT, high, not ESTABLISHED — it is a derived holographic computation, parts of the program explicitly controversial; (ii) arXiv:2408.11094 is published PRL 134, 121501 (2025) and is phase-space/Iyer–Wald material — 'cf.' support, not a reproduction of the variance formula. The c0/C1/C2 link-tagging and the localization of the load in C2 survive scrutiny.

R6-F3 — GQuEST decision content. KEEP — severity MINOR. Carney et al. PRD 113, 106002 (2026) confirmed on the arXiv listing with the 'unambiguously predicts'/'severe breakdown' language verbatim; GQuEST status (design PRX 15, 011034 (2025); under construction; no science results) independently confirmed. Corrections: the detection arm must be disjunctive — detection ⇒ either severe EFT breakdown (Carney) or a non-vacuum graviton state within EFT (Freidel–Oberfrank, arXiv:2601.17849, verified real, Jan 2026) — the finding's own confound (ii) belongs in the conclusion, not only the caveats. Bibliographic: Sharmila–Vermeulen–Datta is Nat. Commun. 17, 701 (2026) (DOI as cited). The 'decision-grade for EFT-vs-UV/IR-mixing, silent on the wager' verdict stands.

R6-F4 — DSW horizon decoherence. KEEP — severity MINOR. DSW trilogy, Biggs–Maldacena, and PRD 111, 025014 all verified, including the static-star and thermal-mimic statements. One inaccurate citation use: arXiv:2505.17450 / JHEP 01 (2026) 154 (Kawamoto–Lee–Yeh — authors now recorded) is a Lifshitz moving-mirror holographic analogue, not an independent reproduction of the DSW rate; demoted to 'qualitative corroboration in a dual setting'. The three-ground factor-through diagnosis and the 'ENCODING-SCREEN in the wild' irony survive.

R6-F5 — everpresent Λ. KEEP — severity NONE. Das–Nasiri–Yazdi (arXiv:2307.13743) verified in detail; every empirical statement matches the abstract. The template-but-not-separator analysis is sound and the H1/H6 w(z) downgrade is a legitimate Lint correction consistent with H6's existing 'heuristic, contested' framing.

R6-F6 — trapped-ion Bisognano–Wichmann. KEEP — severity MINOR. Joshi et al., Nature 624, 539–544 (2023) verified. Precision fix: BW is a theorem for Wightman-QFT wedges; for lattice ground states it is an adapted, approximate prediction with 'compelling evidence' — don't transfer 'theorem' verbatim. The class-blindness diagnosis (channel verifies the shared g3 input) is correct and watchlist-worthy.

R6-F7 — ENCODING-SCREEN + reverse Weinberg–Witten. KEEP — severity MAJOR (corrected). The track's real contribution, kept with three repairs. (1) Theorem clothes: 'derivable rather than observed' overstates — the conditional schema is near-definitional, but the corollary requires that every wager-true theory's bridge is encode-only, which is the survey-scoped iter-3 classification (whose own referee rated OP-46-CRIT a regulative checklist, not a decision procedure) plus the OP-46 MEDIUM residual. Status: INFERENCE, medium-high, a corollary given the classification — the third hedge, to be written into CONCLUSION §6/§7 explicitly. (2) Corollary 1's 'iff' is wrong: a generative bridge is necessary for a class-level test given the screen; sufficiency is unargued and OPEN. The verdict-flipper and the missing experiment coincide as obstructions, not as guarantees. (3) 'No reverse-WW theorem exists' is a literature-absence claim — tag OPEN, as of 2026-06. WW itself is correctly characterized. No conflict with the dS cardinality no-go, HYP-CKV-VACUITY, or OP-48(c) — the screen builds on all three; loophole L3 rightly preserves the everpresent-Λ-shaped counting-statistics escape. Register OP-50 and HYP-ENCODING-SCREEN with the corrected statement.

R6-F8 — watchlist deltas. KEEP — severity MINOR. Oppenheim et al. Nat. Commun. 14, 7910 (2023) verified; correctly filed as a gate channel (it constrains the classical-gravity corner, not the wager). Phrasing fix: the CQ squeeze is a data-driven constraint from existing measurements, not a running dedicated experiment. The entanglement-equilibrium non-channel correction to the orchestrator lead is right (Jacobson 2015 is calibrated; η is an input — consistent with the standing closure). GQuEST row enters with the disjunctive detection arm from R6-F3.

Verdict-bearing summary. The standing CONCLUSION verdict survives and is strengthened in the corrected form: the §7 no-test sentence becomes a corollary of the encode-only classification at that classification's confidence (a third explicit hedge), §8's analytical and empirical reopening conditions coincide as obstructions (one-way), and the watchlist gains two rows (GQuEST/geontropic; CQ decoherence-diffusion) plus one recorded non-channel. Nothing found bears against OP-41, HYP-CKV-VACUITY, or OP-48(c); they remain closed as recorded.