OP-44/OP-CP1: nonperturbative fate of the crossed-product Type II structure

Status: ATTEMPT executed — OP-44 / OP-CP1 sharpened to a REGIME-DEPENDENT verdict with a located boundary (the would-be black-hole scale $N_\ast$); the algebraic-subregion description survives nonperturbatively only as an approximate / coarse-grained (QRF-relational) Type II structure for sub-black-hole dressing and degenerates for black-hole-scale dressing. Does not flip the headline "encodes-not-generates" verdict; didItMove = sharpened-obstruction. Medium confidence. Last updated: 2026-06-08 Iteration: 5

This note is the intended iteration-5 closing push on OP-44 / OP-CP1, one of the two named "genuinely-decidable analytical problems" carried out of iteration 4 (see 2026-06-08-iter4-synthesis.md, "Attack OP-44 / OP-CP1": does a von Neumann-algebraic subregion description survive once gravity is dynamical, or does Giddings' algebraic spacetime disruption replace it — and can "Type III$_1$ for any $\Lambda$" be a fixed core at all?). Iteration 3 logged OP-44 as [OPEN/CONTESTED] with "the III$\to$II story may be a perturbative truncation" (see 2026-06-08-iter3-merge-attempt-operational-substrate.md); iteration 4 noted the dynamical-gravity qualification of the Type III$_1$ "fixed core" (A-23; the iteration-3 red-team note 2026-06-08-iter3-redteam-demotion-and-derivation.md). This note separates the two distinct Giddings effects (a leading-order spacelike-noncommutativity and a nonperturbative spacetime-disruption), asks for each what algebraic object survives, locates the crossover, and folds in the three referee verdicts (attack on the furthest claim; on OP-CP1-R1; on A-CP-TYPE-III-R1).

Scope honesty (folded from referees, up front). Two quantitative gloss-claims below are the author's own, not Giddings': (1) the crossover scale $N_\ast \sim R/(2GE_f)$ is a dimensional / hoop-conjecture-type estimate, not a formula in either cited paper; (2) the "spacelike complement consumed $\Rightarrow$ commutant / Haag-duality degenerates" causal chain is the author's interpolation — Giddings states verbatim only that the structure "may in fact go beyond that of algebras." Both are tagged [INFERENCE] at point of use. Giddings' qualitative statements (truncation; leading-order noncommutativity; $N\to\infty$ consumes spacetime; network of Hilbert-space inclusions) are [ESTABLISHED, web-confirmed].

---

Goal

Decide whether a von Neumann-algebraic subregion description $\mathcal A(O) \subset \mathcal A(M)$ survives nonperturbatively once gravity is dynamical, or is replaced by Giddings' algebraic spacetime disruption (arXiv:2505.22708; 2510.24833). This in turn decides the framing question of OP-CP1: whether "Type III$_1$ for any $\Lambda$" can be a fixed nonperturbative core of the gravitational theory, or is only a kinematic / leading-order object. [goal]

Three admissible verdicts: (1) survives — a bona fide nonperturbative subregion factor and crossed product; (2) fails — a no-go, the subregion algebra is replaced by non-algebraic structure; (3) regime-dependent — a precisely located boundary between the two.

---

Setup (real math)

The kinematic starting algebra

A local relativistic-QFT algebra $\mathcal A(O)$ on a fixed background is the hyperfinite Type III$_1$ factor (Connes–Haag–Araki): no trace, no minimal projections, no density matrix, and no factorization $\mathcal H \ne \mathcal H_O \otimes \mathcal H_{O'}$. [ESTABLISHED] This property is fixed by the short-distance scaling limit of the net (Buchholz–D'Antoni–Fredenhagen, The universal structure of local algebras, CMP 111, 123 (1987)), which is insensitive to the cosmological constant $\Lambda$ (a curvature / IR scale): massive and massless free fields are locally quasiequivalent, and the dS static-patch algebra is likewise Type III$_1$. So $\Lambda$-independence of the Type III$_1$ property is [ESTABLISHED], not merely inferred (referee A-CP-TYPE-III-R1 upgrade). See ../domains/quantum-field-theory.md.

The CLPW/Witten crossed-product construction

The CLPW/Witten program adjoins an observer/clock and takes the crossed product by the modular automorphism group,

$$\mathcal A \rtimes_\sigma \mathbb R ,$$

yielding a Type II algebra — Type II$_\infty$ for the AdS / black-hole exterior, Type II$_1$ for the dS static patch — with a semifinite trace, density matrices, and a renormalized generalized entropy

$$S_{\rm gen} \;=\; \frac{\langle A\rangle}{4G} + S_{\rm out}.$$

[ESTABLISHED as mathematics; INFERENCE as physics] On any bifurcate Killing horizon the resulting Type II von Neumann entropy equals the generalized entropy (Kudler-Flam–Leutheusser–Satishchandran, KLS, arXiv:2309.15897, Phys. Rev. D 111, 025013 (2025)); for the dS static patch the Bunch–Davies state is the maximal-entropy state with $\mathrm{Tr}\,\mathbb 1 = 1$ (CLPW, arXiv:2206.10780, JHEP 02 (2023) 082). Both are semiclassical, fixed-background, and require a Killing field; the metric is an input. See 2026-06-08-algebraic-background-independence.md.

Giddings' gravitational dressing

A gauge / diffeomorphism-invariant operator must be gravitationally dressed:

$$\hat O \;\simeq\; e^{\,i\int d^3x\,\sqrt q\,n^\nu V^\mu T_{\mu\nu}}\; O\; e^{-i\int d^3x\,\sqrt q\,n^\nu V^\mu T_{\mu\nu}} ,$$

(2510.24833 eq. 5), with the dressing vector field $V^\mu = O(\kappa)$ and $\kappa^2 = 32\pi G$. [ESTABLISHED, web-confirmed] The Coulombic / Poincaré-moment tail of this dressing reaches spacelike-separated regions, so two dressed operators in spacelike $U, U'$ fail to commute already at leading order $O(\kappa)$ — the Donnelly–Giddings nonlocal algebra (arXiv:1607.01025, Phys. Rev. D 94, 104038 (2016)). [ESTABLISHED, web-confirmed]

For a black hole, the truncated dressing's modular generator is the geometric boost / Killing energy,

$$-P_t \;=\; \int_\Sigma d\Sigma\, n^\mu \xi_t^\nu T_{\mu\nu} \;=\; H,$$

(2505.22708 eq. 6.3), recovering the CLPW Type II$_\infty$ story. [ESTABLISHED, web-confirmed] Nonperturbatively, an $N$-particle dressed operator $\hat O_f^N$ creates "something like a large quantum black hole — which consumes all of spacetime in the limit $N \to \infty$" (the algebraic spacetime disruption). [ESTABLISHED, web-confirmed — verbatim Giddings]

Referee correction on the truncation (OP-CP1-R1): Giddings frames the III$\to$II crossed product as the truncation that retains the time-translation / modular dressing (whose crossed product gives the type transition) and drops the spatial dressing terms (the $\Delta V^0$, $V^k$ pieces of his eq. (31)). Both retained and dropped pieces are $O(\kappa)$ — so this is a truncation selective by generator, not an "$O(\kappa)$ leading-order term in a $\kappa$-expansion." The note does not characterize it as a $\kappa$-order truncation, and drops the word "faithful" (unearned in any operator-algebraic sense).

---

The attempt

I separate the two distinct Giddings effects and ask, for each, what algebraic object survives.

(i) Leading order — an approximate subalgebra survives

The dressed commutator $[\hat O(U), \hat O(U')]$ for spacelike $U, U'$ is $O(\kappa)$, sourced by the linearized gravitational (Poincaré-moment) field of the matter in $U$ being detectable in $U'$ (2510.24833: dressed observables "do not generally commute for such spacelike separated regions $U$ and $U'$"). [ESTABLISHED, web-confirmed] This is a controlled deformation: Giddings shows the dressing splits, $V^\mu = V_S^\mu + \dots$ (the "standard piece" $V_S^\mu$ depending only on a neighborhood), giving "gravitational splittings" and "an approximate notion of localization of information" — i.e. an approximate subalgebra with approximate (not exact) microcausality, controlled by powers of $\kappa$. In Giddings' own words the crossed-product Type II algebra is "recovered from a truncation of more general gravitational dressing constructions" and is "just a small part of a more profound modification."

So at leading order an approximate / coarse-grained algebra survives, exactly as CLPW assume; the III$_1 \to$ II transition is the truncation of Giddings' dressing that keeps the modular generator. [INFERENCE as the synthesis; ESTABLISHED for each cited fact]

(i′) The QRF / relational counter-line strengthens (i) but does not touch (ii)

I checked whether the quantum-reference-frame (QRF) / relational program rescues exact locality. De Vuyst–Eccles–Höhn–Kirklin (arXiv:2405.00114; 2412.15502) make the gravitational dressing a genuine QRF and recover a bona fide Type II crossed-product algebra with frame-relative (observer-dependent) entropy; Fewster–Janssen–Loveridge–Verch (CMP 2025) give the relational / measurement-scheme route to the local-algebra type. [ESTABLISHED, web-confirmed; FJLV physics-reading INFERENCE] But these are perturbative, the entropy is frame-relative, and none claims exact spacelike commutativity or a nonperturbative subregion factor. So the counter-line strengthens (i) — the approximate algebra is real, controlled, and operationally meaningful — but does not bear on the nonperturbative regime (ii).

(ii) Nonperturbative — stacking the dressing

Stack the dressing. The operator $\hat O_f^N$ has dressed energy $\sim N E_f$, hence (treating it as a mass) a Schwarzschild radius

$$r_s \;\sim\; 2 G N E_f .$$

When $r_s$ reaches the region scale $R$, i.e. at

$$\boxed{\,N_\ast \;\sim\; \frac{R}{2 G E_f}\,} \qquad\text{(}r_s = R\text{)},$$

the nonlinear dressing region equals the region itself; for $N > N_\ast$ the operator "create[s] a big quantum black hole," and "in the limit $N \to \infty$ this phenomenon consumes the entire spacetime." [INFERENCE — the scale $N_\ast$ is the author's own dimensional / hoop-conjecture-type estimate, NOT a formula in either Giddings paper; the qualitative $N\to\infty$ consumption is verbatim ESTABLISHED Giddings]

At that point there is no spacelike complement $U'$ left to host a commutant, so the very inclusion $\mathcal A(U) \subset \mathcal A(M)$ on which the crossed product and Haag duality rest degenerates. [INFERENCE — this commutant / Haag-duality causal chain is the author's interpolation; Giddings analyzes neither commutant nor Haag duality in these terms, stating only that the structure "may in fact go beyond that of algebras"]

---

Where it breaks / what moved

didItMove = sharpened-obstruction.

The attempt to promote the approximate, leading-order subalgebra to an exact, nonperturbative von Neumann subregion algebra breaks at the would-be black-hole scale. The break is a genuine regime boundary, not a derived theorem on either side.

BREAK — at the black-hole scale $N_\ast$

• Below $N_\ast$ ($r_s \ll R$): controlled $O(\kappa)$ approximate locality, a selective-by-generator truncation of the dressing — the algebra survives approximately (QRF-relational, coarse-grained, operationally meaningful).
• At and above $N_\ast$ ($r_s \gtrsim R$): the spacelike complement needed for a commutant / Haag duality is plausibly consumed by the would-be black hole, so the inclusion structure $\mathcal A(U) \subset \mathcal A(M)$ degenerates, and "the fundamental mathematical structure ... may in fact go beyond that of algebras" (Giddings). [verbatim quote ESTABLISHED; the consumed-complement mechanism INFERENCE]

Two epistemic caveats the referees insist on (load-bearing)

1. The source makes the consumption statement in the $N \to \infty$ limit. A sharp finite-$N$ degeneration of the commutant exactly at $N \sim N_\ast$ is plausible but is the author's extrapolation, not an explicit Giddings result. The "located boundary" is a dimensional estimate, not a derived threshold. (referee OP-CP1-R1, claim).
2. No theorem on either side. Giddings gives no quantitative all-orders control and no proof that an algebra (even approximate) survives past $N_\ast$; and conversely there is no no-go theorem proving it fails. The dichotomy "all-orders survival vs. nonperturbative failure" is [OPEN]. The rival (Witten/CLPW) lineage treats higher-order corrections as tractable and makes no claim the algebra must fail.

What moved

Iteration 3/4 logged OP-44 as [OPEN/CONTESTED] — "the III$\to$II story may be a perturbative truncation," with no constraint either way. Iteration 5 moves it to a regime-dependent answer with a quantitative boundary $N_\ast \sim R/(2GE_f)$, separating the established leading-order truncation (survival side) from the genuinely nonperturbative disruption (failure side), and recording the QRF counter-line as strengthening only the survival side. The obstruction is now located, not merely flagged.

---

Furthest defensible claim

[INFERENCE] The von Neumann-algebraic subregion description is regime-dependent under dynamical gravity. (a) [ESTABLISHED, fixed background] Before dressing, the local algebra is the hyperfinite Type III$_1$ factor for any sign of $\Lambda$ (Connes–Haag–Araki; $\Lambda$-independence from the scaling limit, BDF 1987); Giddings takes this as input. (b) [ESTABLISHED, leading order] Gravitational dressing replaces it by a crossed-product Type II algebra, recovered by Giddings (2505.22708; 2510.24833) as the selective-by-generator truncation that keeps the time-translation / modular dressing and drops the spatial dressings; spacelike-separated dressed observables already fail to commute at $O(\kappa)$, $\kappa^2 = 32\pi G$. (c) [INFERENCE — author's estimate, parametrically correct, NOT in Giddings] A multiparticle dressed operator $\hat O_f^N$ of $N$ quanta of energy $E_f$ has mass $\sim N E_f$ and $r_s \sim 2 G N E_f$, reaching $R$ at $N_\ast \sim R/(2GE_f)$. Below $N_\ast$: controlled $O(\kappa)$ approximate locality and an approximate / QRF-relational Type II structure. At/above $N_\ast$: the dressed operator forms "something like a large quantum black hole" that "consumes all of spacetime in the limit $N \to \infty$" (verbatim Giddings); plausibly the spacelike complement is consumed and a commutant / Haag-duality inclusion degenerates [INFERENCE — commutant mechanism is the author's; Giddings says only the structure "may go beyond that of algebras," e.g. a "network of Hilbert-space inclusions"]. (d) [ESTABLISHED meta] There is no all-orders survival proof and no no-go theorem on either side of $N_\ast$. Therefore "Type III$_1$ for any $\Lambda$" is a kinematic, fixed-background, leading-order input — NOT a demonstrated nonperturbative core. This sharpens OP-44 without resolving it and does not bear on (and does not flip) the encodes-not-generates headline verdict.

Tagging, per referees: the composite is [INFERENCE]; sub-facts (a), (b), (d-meta) are [ESTABLISHED]; the $N_\ast$ scale and the commutant-degeneration mechanism in (c) are [INFERENCE]; the all-orders survival/failure dichotomy is [OPEN]. Not a flat [ESTABLISHED] bundle. The source-JSON's framing of the threshold near Giddings risked reading as if Giddings supplied $N_\ast$; he did not — this note attributes only the qualitative degeneration to Giddings.

---

If it fails / weaker statement

The referees judged the failure mode to be on the survival side, not the disruption side.

• If a hidden obstruction kills even the approximate leading-order subalgebra — e.g. if the $O(\kappa)$ spacelike noncommutativity already destroys the conditional expectation / split property that the crossed product and the Faulkner–Speranza generalized second law (arXiv:2405.00847) silently require — then survival fails even perturbatively, and the verdict moves toward a settled no-go for any subregion algebra. [OPEN — the genuinely live downside risk]
• If a constructive all-orders dressing with a controlled remainder past $N_\ast$ is built (none exists today), the verdict pushes toward "survives" and would be the thing that could flip OP-CP1 to a positive answer. [OPEN]
• Weakest defensible fallback: independent of where the exact boundary sits, the honest floor is that the III$_1$ Type II crossed product is at most a controlled leading-order object — a kinematic / fixed-background input plus an $O(\kappa)$ truncation — and is not a demonstrated nonperturbative invariant. This floor holds regardless of the $N_\ast$ estimate's precision.
• dS tolerance question (carried open): the dS Type II$_1$ case (normalizable max-entropy Bunch–Davies, $\mathrm{Tr}\,\mathbb 1 = 1$) may have a higher tolerance to algebraic spacetime disruption than the II$_\infty$ black-hole case, since the static patch is already bounded by a cosmological horizon — i.e. $N_\ast$ may be effectively set by the dS radius, possibly making "Type III$_1$/II$_1$ for $\Lambda > 0$" more robust than for $\Lambda \le 0$. [OPEN]

---

Proposed registry items (with referee verdicts)

[OP-CP1-R1] — gap-refinement — keep (severity: MINOR) — refined

Proposed statement. OP-44 / OP-CP1 resolves as REGIME-DEPENDENT with a located boundary: the von Neumann-algebraic subregion description survives nonperturbatively only as an approximate / coarse-grained (QRF-relational) Type II structure for sub-black-hole dressing ($r_s \ll R$, $N \ll N_\ast \sim R/2GE_f$), with the CLPW/KLS/Witten III$_1 \to$ II crossed product the leading-order truncation of Giddings' dressing (2510.24833); it FAILS at black-hole-scale dressing ($N \gtrsim N_\ast$), where the spacelike complement is consumed (algebraic spacetime disruption, 2505.22708) and the inclusion / commutant structure degenerates, with Giddings' "network of Hilbert-space inclusions" / non-algebraic structure the (preliminary) proposed replacement. No no-go theorem and no all-orders survival proof exists on either side of $N_\ast$.

Referee verdict — keep: true; severity: MINOR. Both Giddings papers verified real and on-point (2510.24833: crossed product as truncation of fuller dressing, $\kappa^2 = 32\pi G$ verified; 2505.22708: spacetime disruption, $N\to\infty$ consumption, "network of Hilbert-space inclusions" — Giddings' long-standing proposal, back to arXiv:1503.08207). CLPW and KLS are real authors of real crossed-product / Type II papers. Three fixes: (1) mischaracterized truncation — replace "faithful leading-order ($O(\kappa)$) truncation" with "a truncation that drops the spatial dressing terms while retaining the time-translation / modular dressing"; both are $O(\kappa)$, so do not label it a $\kappa$-order truncation, and drop "faithful." (2) unsourced scale — tag $N_\ast \sim R/(2GE_f)$ explicitly as the author's dimensional heuristic (Schwarzschild radius reaching region size), not a result in the cited papers. (3) overstated commutant collapse — the source makes the consumption statement in the $N \to \infty$ limit; finite-$N$ commutant collapse at $N \sim N_\ast$ is inference. Note: the item makes no claim to derive emergent Lorentzian geometry and does not flip any Lorentzian-emergence headline — and cannot, since the crossed product itself presupposes a modular flow / time-translation (an imported notion of time).

Refined statement (adopted). OP-44 / OP-CP1 resolves as REGIME-DEPENDENT. [ESTABLISHED, from 2510.24833] The CLPW/KLS/Witten III$_1 \to$ II crossed-product subregion description is recovered as a truncation of Giddings' fuller gravitational dressing — the truncation that retains the time-translation / modular dressing (whose crossed product yields the Type II algebra) and drops the spatial dressing terms; $\kappa^2 = 32\pi G$. (Not an "$O(\kappa)$ leading-order" truncation — the dropped spatial dressings are also $O(\kappa)$.) [INFERENCE — author's heuristic, NOT in the cited papers] A black-hole-scale threshold is estimated dimensionally as $N_\ast \sim R/(2GE_f)$ (Schwarzschild radius reaching region size $R$); for sub-black-hole dressing ($r_s \ll R$, $N \ll N_\ast$) the Type II / QRF-relational structure survives as an approximate / coarse-grained description. [ESTABLISHED limit-statement, from 2505.22708] At strong dressing the dressing eventually consumes the spacelike complement (and, in the $N \to \infty$ limit, the entire spacetime); Giddings proposes a "network of Hilbert-space inclusions" as the replacement. [INFERENCE] A sharp finite-$N$ degeneration of the inclusion / commutant structure at $N \sim N_\ast$ is plausible but is the author's extrapolation. [OPEN] No no-go theorem and no all-orders survival proof exists on either side. Does not bear on, and does not flip, any emergent-Lorentzian-geometry headline. Bundle tag: MIXED (ESTABLISHED meta-resolution with an INFERENCE boundary and an OPEN all-orders dichotomy). Refines OP-CP1 from "open, no constraint either way" to a regime-dependent answer with a quantitative boundary.

[A-CP-TYPE-III-R1] — hypothesis-/assumption-refinement — keep (severity: MINOR) — refined

Proposed statement. "Type III$_1$ for any $\Lambda$" is a robust kinematic input (the exact-locality / Haag-duality starting algebra of QFT on any fixed background, $\Lambda$-independent) and a controlled leading-order structure under dynamical gravity, but it is NOT a fixed nonperturbative core of the gravitational theory: dynamical gravity deforms exact microcausality to approximate ($O(\kappa)$) locality and disrupts the subregion-algebra structure entirely at black-hole-scale dressing.

Referee verdict — keep: true; severity: MINOR — tag MIXED, not uniform inference. The item makes three clauses of unequal epistemic status that must be tagged separately. (1) Tag mismatch: "disrupts the subregion-algebra structure ENTIRELY at black-hole-scale dressing" is Giddings' nonperturbative disruption, which Giddings himself flags "tentative"; a conjunction inherits its weakest conjunct, so the flat "inference" tag over-credits the weak clause and under-credits the two ESTABLISHED ones. (2) Citation conflation: the leading-order $O(\kappa)$ noncommutativity is arXiv:2510.24833; the nonperturbative "consumes all of spacetime" effect is arXiv:2505.22708 — two different effects from two different papers (2510.24833's abstract contains no black-hole-formation / spacetime-consumption language). Do not attribute "entirely disrupts" to the leading-order result. (3) Scope on "NOT a fixed nonperturbative core": correct directionally but only as strong as Giddings' contested critique; read "is not demonstrably a fixed nonperturbative core (contested / open)," not a settled negative. Does not flip the encodes-not-generates headline; if anything reinforces it (the Type III$_1$ starting point is itself only a leading-order object). This refines assumption A-23 and the iteration-3 "Type III$_1$ fixed core" qualification (see ../ASSUMPTIONS_LEDGER.md).

Refined statement (adopted), MIXED tag. "Type III$_1$ for any $\Lambda$" decomposes into three graded clauses. (a) [ESTABLISHED] Robust, $\Lambda$-independent kinematic input: the Type III$_1$ hyperfinite-factor structure of local algebras follows from the short-distance scaling limit (Buchholz–D'Antoni–Fredenhagen, CMP 111, 123 (1987); Hadamard / regular-scaling-limit criteria), insensitive to $\Lambda$; the dS static-patch algebra is likewise Type III$_1$. (b) [ESTABLISHED math / INFERENCE physics] Under dynamical gravity it is a controlled leading-order object: the crossed-product III$_1 \to$ II transition is a truncation of more general gravitational dressing (Giddings, arXiv:2510.24833), and exact microcausality is deformed to approximate $O(\kappa)$ locality, with spacelike-separated dressed observables failing to commute already at leading order ($\kappa^2 = 32\pi G$). (c) [CONTESTED / OPEN] Whether dynamical gravity disrupts the subregion-algebra structure entirely is the nonperturbative algebraic spacetime disruption conjecture (the $\hat O_f^N$ operator that "consumes all of spacetime" as $N \to \infty$; Giddings, arXiv:2505.22708), self-described as "tentative"; the alternative — order-by-order survival — is held by the Witten/CLPW lineage, and no no-go theorem decides it. Net: Type III$_1$ is a $\Lambda$-independent kinematic starting point and a controlled leading-order structure, but its status as a fixed nonperturbative core is [OPEN / contested], not refuted. Does not flip the headline (still: encode / reconstruct, not generate geometry).

---

Verdict

REGIME-DEPENDENT (medium confidence). Does not flip the headline "encodes-not-generates" verdict; it sharpens the OP-CP1 obstruction by locating its boundary.

• Survival side ($r_s \ll R$, $N \ll N_\ast$). The algebraic-subregion framework survives nonperturbatively only as an approximate, coarse-grained, QRF-relational Type II structure. The CLPW/KLS crossed product is the (selective-by-generator) truncation of Giddings' dressing that keeps the modular generator, and the QRF line (De Vuyst–Eccles–Höhn–Kirklin; Fewster–Janssen–Loveridge–Verch) makes that approximate algebra genuine and operational. [ESTABLISHED inputs; INFERENCE synthesis]
• Failure side ($N \gtrsim N_\ast \sim R/2GE_f$). Giddings' algebraic spacetime disruption consumes the spacelike complement (sharply, in the $N \to \infty$ limit) and plausibly degenerates the inclusion / commutant structure, with a "network of Hilbert-space inclusions" the (very preliminary) proposed replacement. [ESTABLISHED limit-statement; INFERENCE finite-$N$ mechanism; $N_\ast$ is the author's estimate]
• Consequence for OP-CP1. "Type III$_1$ for any $\Lambda$" is a robust kinematic input and a controlled leading-order structure, NOT a demonstrated fixed nonperturbative core.

The two literatures do not logically contradict: the crossed-product results make no nonperturbative claim, and Giddings makes no claim that the leading-order truncation is wrong. So this is regime-dependence, not a settled no-go, and there is no theorem on either side of $N_\ast$. Confidence medium (the structural facts (a)/(b)/(d-meta) are ESTABLISHED; the $N_\ast$ scale and the commutant-degeneration mechanism are INFERENCE; the all-orders dichotomy is OPEN).

This is the crossed-product / subregion-algebra counterpart of the iteration-4 modular-flow finding (2026-06-08-iter4-modular-circularity.md) and the GPT-composition finding (2026-06-08-iter4-gpt-type3-resolution.md): the algebraic structure is rigorous and operationally meaningful where geometry is already pre-installed (here: sub-black-hole, fixed-background-like), and loses its footing exactly where one demands it carry the nonperturbative gravitational content. [INFERENCE]

---

Open subquestions

1. Is the $O(\kappa)$ leading-order spacelike noncommutativity compatible with the conditional expectation / split property that the crossed-product GSL (Faulkner–Speranza, arXiv:2405.00847) silently requires, or does approximate locality already strain those structures at first order — pushing the verdict toward a perturbative no-go? [OPEN — the live downside]
2. Can a controlled all-orders dressing with a bounded remainder be constructed for $N < N_\ast$, upgrading "approximate algebra survives" from inference to theorem — and does it have a sharp breakdown exactly at $r_s = R$? [OPEN — the live upside; would flip OP-CP1 positive]
3. Is Giddings' "network of Hilbert-space inclusions" a genuine mathematical structure (with its own analog of Haag duality / commutant) or only a heuristic — i.e. is the $N \gtrsim N_\ast$ regime describable at all, or is it the true edge of the framework? [OPEN]
4. Does the dS II$_1$ case (normalizable max-entropy Bunch–Davies, $\mathrm{Tr}\,\mathbb 1 = 1$) have a higher tolerance to algebraic spacetime disruption than the II$_\infty$ black-hole case, since the static patch is already bounded by a cosmological horizon — i.e. is $N_\ast$ effectively set by the dS radius, making "Type III$_1$/II$_1$ for $\Lambda > 0$" more robust than for $\Lambda \le 0$? [OPEN]
5. Is there a measurement-theoretic (Fewster–Verch local-measurement) bound forbidding the $\hat O_f^N$ construction operationally, which would make the disruption unphysical rather than a genuine obstruction? [OPEN]

---

See also

• 2026-06-08-iter4-synthesis.md — names OP-44/OP-CP1 as one of the two genuinely-decidable analytical targets; this note executes it.
• 2026-06-08-iter4-gpt-type3-resolution.md — sibling: split-property factorization of the Type III$_1$ factor; same "approximate-where-geometry-pre-installed" pattern at the composition layer.
• 2026-06-08-iter4-modular-circularity.md — sibling: Borchers–Wiesbrock / CKV; geometry only where a symmetry is pre-installed — the modular-flow counterpart of this crossed-product finding.
• 2026-06-08-iter3-merge-attempt-operational-substrate.md — where OP-44 was first flagged "the III$\to$II story may be a perturbative truncation."
• 2026-06-08-iter3-redteam-demotion-and-derivation.md — the iteration-3 red-team that first qualified the Type III$_1$ "fixed core"; A-CP-TYPE-III-R1 refines it.
• 2026-06-08-iter3-encode-vs-generate-criterion.md — the encodes-not-generates criterion this finding reinforces (algebra is at most a leading-order object).
• 2026-06-08-algebraic-background-independence.md — Program A; CLPW crossed product; "rigorous reorganization, not derivation."
• 2026-06-08-de-sitter-and-emergent-spacetime.md — dS static-patch II$_1$; the $\Lambda > 0$ robustness subquestion (#4).
• ../OPEN_PROBLEMS.md — OP-44 (this track); OP-CP1; OP-46.
• ../ASSUMPTIONS_LEDGER.md — A-23 (geometric modular flow imported) and the iteration-3 Type III$_1$ "fixed core" qualification; A-CP-TYPE-III-R1 refines both.
• ../HYPOTHESES.md — H4 (geometry/time from algebra); the crossed-product sublayer this constrains.
• ../GAPS_AND_CONTRADICTIONS.md — reorganization vs. generation; the nonperturbative-fate gap now located.
• ../EPISTEMICS.md — tag taxonomy (ESTABLISHED / INFERENCE / CONTESTED / OPEN); no-go vs. regime-dependence.
• ../FINDINGS.md — consolidated findings (Type III$_1$ non-factorization; crossed product; Giddings dressing).
• ../domains/quantum-field-theory.md — Type III$_1$ local algebras; modular theory; Haag duality; KLS / CLPW crossed product.
• ../domains/general-relativity.md — gravitational dressing; diffeomorphism-invariant observables; hoop conjecture / Schwarzschild radius.
• ../domains/mathematics.md — von Neumann algebras; crossed products; Type II$_\infty$/II$_1$; commutant / Haag duality.
• ../domains/information-theory.md — QRFs; relational / frame-relative entropy; generalized entropy.

Key results cited

• Giddings, "Quantum gravity observables: observation, algebras, and mathematical structure," arXiv:2505.22708, J. Phys. A 58 (2025) 415401 — crossed product is "just a small part of a more profound modification"; black-hole modular generator = Killing energy ($-P_t = \int_\Sigma d\Sigma\, n^\mu \xi^\nu T_{\mu\nu} = H$, eq. 6.3); $N \to \infty$ dressed operator "consumes the entire spacetime"; proposes "network of Hilbert-space inclusions" (flagged "very preliminarily discussed"); structure "may in fact go beyond that of algebras." [ESTABLISHED — web-confirmed]
• Giddings, "Gravitational dressing: from the crossed product to more general algebraic and mathematical structure," arXiv:2510.24833 (v3, rev. 9 Jan 2026) — "the crossed product ... is recovered from a truncation of more general gravitational dressing constructions"; leading-order dressed observables "do not generally commute for such spacelike separated regions $U$ and $U'$" ($O(\kappa)$, $\kappa^2 = 32\pi G$, eq. 5); "gravitational splittings" give "approximate ... localization"; large-$N$ operator creates "something like a large quantum black hole — which consumes all of spacetime in the limit $N \to \infty$"; "algebraic spacetime disruption." [ESTABLISHED — web-confirmed]
• Donnelly–Giddings, "Diffeomorphism-invariant observables and their nonlocal algebra," arXiv:1607.01025, Phys. Rev. D 94, 104038 (2016) — gravitationally dressed diff-invariant observables form a nonlocal algebra; spacelike-separated dressed observables fail to commute at leading order in $G_N$ (antecedent of the 2025 leading-order effect). [ESTABLISHED — web-confirmed]
• Chandrasekaran–Longo–Penington–Witten (CLPW), arXiv:2206.10780, JHEP 02 (2023) 082 — dS static-patch crossed product gives Type II$_1$ with finite trace and Bunch–Davies = max-entropy state; perturbative in $G_N$, metric is input. [ESTABLISHED]
• Kudler-Flam–Leutheusser–Satishchandran (KLS), arXiv:2309.15897, Phys. Rev. D 111, 025013 (2025) — Type II factor / vN entropy = generalized entropy on any bifurcate Killing horizon (collapse, Kerr, Schwarzschild–de Sitter); semiclassical, fixed background, requires a Killing field. [ESTABLISHED]
• De Vuyst–Eccles–Höhn–Kirklin, arXiv:2405.00114; arXiv:2412.15502 — gravitational dressing as a quantum reference frame; recovers a genuine Type II crossed-product algebra with frame-relative (observer-dependent) entropy; perturbative, no claim of exact spacelike commutativity. [ESTABLISHED — web-confirmed]
• Fewster–Janssen–Loveridge–Verch, "Quantum reference frames, measurement schemes and the type of local algebras in QFT," Commun. Math. Phys. (2025) — relational / measurement-scheme route to the local-algebra type. [ESTABLISHED reference; physics-reading INFERENCE]
• Faulkner–Speranza, "Gravitational algebras and the generalized second law," arXiv:2405.00847 — crossed-product GSL; uses a conditional expectation / split structure (subquestion #1). [ESTABLISHED reference]
• Buchholz–D'Antoni–Fredenhagen, "The universal structure of local algebras," CMP 111, 123 (1987) — Type III$_1$ from the short-distance scaling limit; $\Lambda$-independence. [ESTABLISHED — web-confirmed]
• Connes–Haag–Araki (structural) — local QFT algebra = hyperfinite Type III$_1$ factor: no trace, no minimal projections, no density matrix, no factorization. [ESTABLISHED]