Landmark XVIII-A Prepared Relational Observables: Non-Determination, Normalization Compatibility, and Conditional Ultraviolet Matching

We separate construction of a fixed-order interacting relational observable in a specified Einstein–scalar model from its matching to a specified ultraviolet candidate. The contribution is a self-contained collection of interface results. Pure-trace witness contractions do not determine a compact three-slot kernel, its free-shell class, or its microcausal admission; non-determination already occurs among smooth compact kernels. Density weighting retains preparation derivatives, and late source agreement does not imply agreement of retarded responses. We prove compact balanced-forest composition, reconstruction descent, conditional class-obstruction transfer, and coefficientwise separation of classical defects from positive formal orders in Planck's constant. For a completely specified affine Ward-normalization problem, exact cancellation is equivalent to vanishing in the quotient by the actual image of the admissible counterterm map. Finite probes, bounded normal order, and projected RG fixed points do not supply the corresponding unrestricted conclusions. Conditional assembly and continuum matching preserve a specified symmetry identity once their analytical hypotheses are supplied.

The operational framing distinguishes destructive classical readout from quantum-return decoding, complete preservation from subsystem recovery, and observable matching from spacetime or holographic reconstruction. Version-qualified comparisons with Cheung's manuscripts and a supplied OpenAI catalogue record are documentary constraints, not theorem premises. No complete gravitational characteristic coefficient, evaluated interacting one-loop observable, bulk BV restoration, or ultraviolet completion is established.

. The working designation is XVIII-A, version 2. The supplied companion separately identifies XVII-A as a finite-matrix AdS${}_2$ reconstruction benchmark CheungRegisteredXVIIA. The present manuscript neither replaces that sheet nor imports its reconstruction maps. The designation here does not assert registration or authorization of authorship.

status. Every unconditional mathematical result below is proved from its printed definitions. Every conditional application states its hypotheses explicitly. A source record, comparison, continuation, or quoted stopping rule is not an independently verified theorem premise. An unconstructed object is described as unresolved, not as universally nonexistent.

The programme separates definition of relational observables, construction and normalization of their interacting products, and ultraviolet completion. A classical identity, an admitted free product, or a numerical finite part of one distribution does not by itself construct the interacting observable CheungVI,CheungVIIC,CheungVIID,CheungXG.

Locally covariant perturbative gravity provides an external effective-theory framework BFR. Relational-coordinate contributions can be essential in an observable calculation: Fröb's scalar correlator calculation is an external example FrobCorrelation. Neither reference verifies an Enter manuscript or identifies its observables with the objects here.

The fixed-order target is one named renormalized interacting relational correlator or response in a frozen Einstein–scalar specification, at stated orders in the gravitational coupling and $\hslash$, with:

1. an admitted coefficient in a declared output space;

2. a complete contribution inventory at that order;

3. a compatible and completely parameterized counterterm prescription;

4. a proved gauge, background, or BRST/BV identity on its stated domain;

5. a specified physical state or representation whenever an expectation is claimed.

If a classical record is claimed, a separately declared measurement instrument and its comparison to that correlator or response are additionally required.

The ultraviolet target is a continuum theory with a controlled high-scale construction, a physically acceptable state space and evolution, finitely many independent essential physical inputs, and a connecting theorem recovering the same prepared low-energy observable with a stated remainder.

The second target includes obligations not discharged by the first. Conversely, proposing a ultraviolet action does not define the composite relational observable needed for the first.

The mathematical contribution has eight components, summarized in thm:release. It includes independent separation and compatibility results, together with conditional assembly and matching implications. It does not evaluate the concrete gravitational endpoint.

The Philosophy of Enter is used here as a discipline of interfaces and non-identification, not as a gravitational theorem. Under the finite computational-basis convention, destructive readout consumes the measured quantum name and returns a classical record. For a measured factor $S$ and surviving complement $B$, its record–residual interface can be written

The output names are $R$ and $B$, not the consumed factor $S$. This is a specified finite readout convention, not a field-theoretic instrument construction or a measurement uniqueness theorem CheungI.

A decoder instead is a quantum-return map from a declared accessible factor to a declared quantum code, with correctness tested on all required inputs and reference correlations. A classical record is not such a return interface CheungHawk04B. Complete unitary or isometric preservation does not imply recovery from a selected subsystem CheungHawk04A. For example, the isometry

preserves every input globally while its $Q$ output is constant. Recovering from $Q$ alone is a different task.

The fixed-order target is therefore a correlator or response; its operational interpretation, if separately realized, is a classical record after a declared measurement. It is not a decoder, a quantum-return map, or subsystem code recovery. Moreover, a formal perturbative coefficient is not by itself a positive probability law or a self-adjoint measurable effect. Representation, instrument construction, and control of the operational approximation remain separate obligations.

The ultraviolet connecting theorem compares that same prepared observable. It does not reconstruct spacetime, derive a metric, identify an entanglement wedge, or construct a Page curve or an island. The bounded-effect reconstruction and time-band statement of the separately identified XVII-A benchmark are not imported as any of those identifications CheungRegisteredXVIIA.

comparisons. Every comparison with a Cheung sheet or an OpenAI family is an analogy retaining its own version, model, domain, and allowed changes. It is not a theorem premise here. Similar notation does not identify distinct kernels, source laws, states, normalizations, or gauge complexes.

boundaries. This manuscript does not open the inherited XV-B quantum-admission exit, discharge XVI-N or its Route B, restore the missing bulk BV construction, or admit the inherited characteristic quantum coefficient. The separately recorded status O.1 remains NOT_CLOSED. These are scope statements, not new nonexistence theorems. No successful compilation is asserted, and the package is not spacetime emergence.

For the independent kernel results, use

Tensor components and covectors at different points are compared in the fixed Minkowski trivialization. Distributions are paired using the fixed coordinate density. No corresponding identification on a general curved spacetime is assumed.

A future interacting application must specify Einstein–scalar field content together with the ghosts and auxiliary fields of its gauge prescription. Changing the scalar coupling, field parametrization, or gauge complex changes that application.

Before constructing an interacting coefficient, specify:

1. the action, density representatives, field parametrization, gauge fixing, graded signs, and inverse normalization;

2. the background, equations, configuration domains, initial or final data, and gauge-parameter support class;

3. one preparation prescription, a fixed $\epsilon >0$, its switch ${\sigma }_{\epsilon }$, and the compact observation smearing;

4. the quantum two-point product data and their transport, separately from the physical state;

5. the bare relational observable and its complete expansion;

6. interaction switches and perturbative-order conventions;

7. the output space, topology, equation quotient, and any representation domain;

8. admissible bulk, insertion, preparation, and switch counterterms, with their coherence and descent relations;

9. the exact symmetry identity and its normalization conditions;

10. any ultraviolet regularization, cutoff-removal limit, and intended observable-level matching theorem.

A measurement claim also requires the separately specified instrument and surviving-output interface of def:targets.

Keep

distinct. Below, $k$ is an RG coarse-graining scale and $\lambda$ is a classical witness frequency.

Preparation width is not automatically a ultraviolet regulator. A cutoff is not automatically an RG scale. None is identified with a witness frequency. A positive-parameter damping used to represent an existing distribution is not automatically a regularization prescription for a new graph product. Each role and any comparison map must be stated explicitly.

The designation “regulator width” in a documentary source does not override the role fixed in the present specification. No joint large-$\lambda$, small-$\epsilon$, or large-cutoff limit is inferred from separate one-parameter statements.

For comparison only, the supplied XVI-A convention records

Here $q$ is the source's metric notation, $R$ its curvature scalar, and ${\ell }_3$ its fixed unintegrated cubic density. These displayed conventions are not a definition here of the full cubic component arrays or gauge complex CheungXVIA,CheungXIIC.

The cubic-only density weight matters: weighting the entire Einstein–Hilbert density would alter lower orders and would not preserve the same frozen specification CheungXIIC. For a time-only weight, the documentary source residual is

The arrays $C_2,M_2$ are source-defined coefficients, not derived from their names in this paper.

Nor are these conventions equated with the X-track inverse $-4\mathsf{P}{E}_0^{\mathrm{R}}$. Comparing the two normalizations requires an explicit transport of fields, vertices, products, and observables CheungXE,CheungXF.

Write

Every coefficient must distinguish quantum fields, classical backgrounds, and external preparation data. Smooth evaluation on one configuration is not a distributional definition on arbitrary joint tests.

Hadamard two-point data used to define products do not alone select a physical state. In a gauge-fixed theory, positivity must be formulated on an appropriate physical algebra or representation, not assumed for the full ghost–auxiliary multiplet FRBV,BFR,CheungXG. An expectation and a complete measurement output are different interfaces.

Let $E_h=S^2{T}^{\ast }M$. Let $\mathcal{K}$ consist of compactly supported distributional kernels on $M^3$ with two dual symmetric-tensor slots and one scalar slot, symmetric under exchange of the tensor slots. Fixed trivializations make the component description unambiguous. Compact support allows pairing with arbitrary smooth configurations.

Let ${\tilde{V}}_{\pm }$ be the future or past causal covector cone with zero adjoined. Define

This is a wavefront admission condition, not a gauge identity.

For $|\mathbf{n}|=1$ and $\lambda >0$, put

where $k_a\cdot x$ denotes the covector pairing. The covectors are null, so $\square {{\gamma }_a}^{\lambda }=0$. The scalar partial contraction is

The pairing is defined by compact support. It does not assert existence of a quantum contraction.

Define the free-shell null space

It is a vector subspace. Its quotient class is $[u{]}_{\mathrm{sol}}=u+{\mathcal{I}}_{\mathrm{sol}}$. These free equations are not the coupled Einstein equations.

The complete family eq:witnessmap, for all $\lambda >0$, unit $\mathbf{n}$, and scalar compact smooth tests, does not determine:

1. the compact three-slot kernel;

2. its membership in ${\mathcal{K}}_{\mathrm{mc}}$;

3. its class modulo ${\mathcal{I}}_{\mathrm{sol}}$.

Proof. Choose a nonzero constant contravariant symmetric tensor $A$ such that $A^{\mu \nu }{\eta }_{\mu \nu }=0$, for example $A^{12}=A^{21}=1$ with other components zero. Fix $y_0\in M$. Choose a nonzero nonnegative $v\in {C_c}^{\infty }(M)$ supported where ${\varphi }_m(t,\mathbf{x})=\cos (mt)>0$; for $m=0$, take ${\varphi }_0=1$. Define

This is a nonzero symmetric compact kernel. Since $A:\eta =0$, every pure-trace witness contraction of $w$ vanishes. Thus $w$ and zero have identical witness data, proving (i).

At a point where $v(x_3)\ne 0$, the wavefront set of the two point deltas contains two nonzero future causal covectors in the tensor slots and zero in the scalar slot. Consequently $w\notin {\mathcal{K}}_{\mathrm{mc}}$, while $0\in {\mathcal{K}}_{\mathrm{mc}}$, proving (ii).

Choose a constant tensor $H$ with $A:H\ne 0$. Then $\square H=0$ and $P_m{\varphi }_m=0$, but

Hence $w\notin {\mathcal{I}}_{\mathrm{sol}}$. Its class differs from the zero class, proving (iii).

The witness map has nontrivial kernel even among ${C_c}^{\infty }$ kernels, all of which satisfy eq:microcausal.

Proof. Replace both deltas in eq:invisiblekernel by the same nonzero nonnegative $f\in {C_c}^{\infty }(M)$. The resulting nonzero smooth compact kernel is still annihilated by every pure-trace witness. Its wavefront set is empty.

XVI-H records a general-test compact kernel under its stated root inputs and a partial contraction equal to $j_{\lambda }$. It does not report the full-kernel wavefront or class-admission calculation CheungXVIH. The theorem above does not show that its complete root construction is nonunique. It only excludes reconstruction from the displayed witness family alone.

XI-G's class obstruction has different, frozen quantifiers: its detecting witnesses are free-shell tests, not a decision on the Einstein subshell CheungXIG. Neither a universal no-go nor that physical class obstruction is assumed in the theorem.

For $\sigma \in C^{\infty }(M)$ and a compact smooth vector field $J$,

When $\mathrm{d}\sigma$ is nonzero, the right side need not vanish. Thus an unweighted total-divergence equivalence does not imply equality after density weighting.

Proof. The integral of ${\partial }_{\mu }(\sigma J^{\mu })$ vanishes by compact support. The product rule gives the identity.

If ${\partial }_{\nu }\sigma$ is nonzero on an open set, choose a nonnegative nonzero compact test $\chi$ there. Set $J^{\nu }=\chi {\partial }_{\nu }\sigma$ and other components zero. The residual equals $-\int \chi ({\partial }_{\nu }\sigma {)}^2{\mathrm{d}}^{4}x\ne 0$.

This elementary residual explains why the preparation derivatives must be retained in the specification. It neither derives the component arrays in eq:doclayer nor identifies a source with an observable kernel CheungXVIB,CheungXIIC.

There are smooth sources $s_1,s_2$ agreeing for every $t\ge \epsilon$ whose zero-data retarded solutions

differ for every $t>\epsilon$.

Proof. Take nonzero $a\ge 0$ in ${C_c}^{\infty }((0,\epsilon ))$ and set $s_1=a$, $s_2=0$. For $t\ge \epsilon$,

Here $M_0>0$ and $M_1<\epsilon M_0$, so the difference is strictly positive for $t>\epsilon$.

A gravitational application must compare the complete prepared response and completed insertion, not merely late sources. Source, propagated response, coordinate completion, scalar completion, and compact class kernel are different stages.

XVI-D's supplied witness response $U_{\mathrm{D}}=-\mathsf{P}{V}_{\lambda }$ retains its separate coordinate-identification hypotheses CheungXVID. The proposition supplies no new identification of those stages.

Changing $\epsilon$, initial data, smearing, or state generally changes the preparation or experiment. It is not declared an admissible finite renormalization merely because a subtraction scale is also present. Scheme comparisons below hold at fixed preparation unless an independent equivalence is proved.

We use the standard wavefront criteria for products, pullbacks, and proper pushforwards. Their topological implementation must respect the relevant continuity or hypocontinuity hypotheses BDHintro,BDHops. These analytical tools are not substitutes for an undefined characteristic graph product.

For $u\in {\mathcal{D}}^{\prime }(X)$ and $a\in C^{\infty }(X)$, let $U=\{a\ne 0\}$. Then

Proof. Smooth multiplication does not enlarge wavefront. On $U$, $a^{-1}$ is smooth and $u=a^{-1}(au)$, giving the reverse local inclusion.

A switch can remove a distribution on an open region where it vanishes. The lemma only excludes local regularization by multiplication with a nonvanishing smooth switch.

A bidistribution $L_e$ on $M^2$ is balanced if

in the fixed flat trivialization.

Let a finite forest have vertex set $V$ and edge set $E$. Give every edge a balanced bidistribution and pull it back to $M^V$ by its endpoint projection. Multiply by a compact smooth joint weight. Then:

1. the finite edge product is defined;

2. its pushforward over any set of internal vertices is defined by proper support;

3. for $n\ge 1$ external slots, the output wavefront is contained in

   $$Z_n=\left\{(x_1,p_1;\dots ;x_n,p_n):{\sum _{a=1}}^n{p}_a=0\right\}\setminus 0.$$

Finite differentiations and smooth multiplications preserve this bound. It excludes an all-future or all-past nonzero causal tuple, and therefore implies the corresponding microcausal kernel condition. With no external slots, the compact pushforward is a scalar.

Proof. Endpoint projections are submersions, so their pullbacks exist. A forbidden product cancellation would assign nonzero edge covectors, with opposite signs at their endpoints, whose sum at every vertex is zero.

The participating edges form a subforest. A leaf of that subforest has one participating incident edge, so its vertex equation forces that edge covector to vanish. Removing the edge and repeating forces every participating covector to vanish, a contradiction. The product criterion therefore applies.

The compact smooth weight makes the product compactly supported. Projection is then proper on its support. For a pushforward wavefront point, the internal covectors are zero. Summing the vertex covectors cancels each edge pair, leaving zero total external covector. This proves eq:Zn. Differentiation and smooth multiplication do not enlarge that bound.

Finally, future and past causal cones are pointed. A tuple contained entirely in either cone with zero sum must have every covector zero, which is excluded.

The same forest mechanism occurs in the supplied finite-width free construction of VII-I CheungVIII. Its use here is independently proved and does not transfer that paper's model or quantum algebra.

Two parallel delta lines between two vertices lead formally to $\delta (r{)}^2$. Take a nonzero real $\rho \in {C_c}^{\infty }(\mathbb{R})$ and ${\rho }_{\tau }(r)={\tau }^{-1}\rho (r/\tau )$. For $\varphi (0)>0$,

The raw regularization diverges. This does not exclude a separately authorized renormalized extension. It shows why the forest argument alone supplies no loop product.

There are smooth compact $u_{\tau }$ with $\mathrm{WF}(u_{\tau })=\varnothing$ for every $\tau >0$ such that $u_{\tau }\to {\delta }_0$ in ${\mathcal{D}}^{\prime }({\mathbb{R}}^d)$.

Proof. Let $\rho \in {C_c}^{\infty }({\mathbb{R}}^d)$ with integral one and set $u_{\tau }(x)={\tau }^{-d}\rho (x/\tau )$. For every compact smooth test,

The limit has every nonzero covector in its wavefront at zero.

Positive-regulator admission and weak convergence thus do not give admission of the limit. A limit theorem needs uniform microlocal control in a suitable wavefront-restricted topology. The distinction is explicitly retained in XIII-E and Em02-E CheungXIIIE,CheungEmIIE.

Let $P,K,Y$ be vector spaces, $\mathrm{Rec}:P\to K$ a surjective linear map, and $\tilde{M}:P\to Y$ linear. A unique linear map $M:K\to Y$ with $\tilde{M}=M\mathrm{Rec}$ exists if and only if

If $K$ has the quotient topology induced by $\mathrm{Rec}$ and $\tilde{M}$ is continuous, the descended map is continuous.

Proof. Necessity follows by applying $M\mathrm{Rec}$ to a null presentation. For sufficiency, define $M(\mathrm{Rec}p)=\tilde{M}(p)$. Presentations with equal reconstruction differ by an element of $\ker \mathrm{Rec}$, so the definition is independent of the presentation. Surjectivity gives uniqueness. The quotient topology gives continuity.

The criterion has documentary counterparts in XIV-J and XV-B CheungXIVJ,CheungXVB. Agreement on a smaller open reference domain does not prove the global condition: a nonzero distribution supported outside that domain is invisible to restriction there.

For a nonzero distribution $R(r)$ in independent variables,

The two summands separately are nonzero and opposite. Thus a chosen polynomial-degree splitting of a presentation does not automatically descend to reconstructed kernels.

This does not rule out a quotient filtration defined from images of filtered presentation spaces. It rules out treating a representative-dependent highest term as an intrinsic joint symbol without the required descent theorem CheungXIVJ,CheungXVB.

Suppose $u_0\in \mathcal{K}$ satisfies

If a constructed prepared kernel $u_{\mathrm{D}}$ obeys $u_{\mathrm{D}}-u_0\in {\mathcal{I}}_{\mathrm{sol}}$, then

A proof that $u_{\mathrm{D}}$ belongs to a different class removes this transfer argument; it does not establish that the new class intersects ${\mathcal{K}}_{\mathrm{mc}}$. Admission of that class requires a separate proof.

Proof. Since ${\mathcal{I}}_{\mathrm{sol}}$ is a subspace,

The assumed empty intersection therefore transfers.

The calculation uses equality of classes, not a criterion for a different class. Merely distinguishing classes contains no wavefront or representative-existence assertion, so it supplies no admission conclusion.

The transfer logic is elementary. Its documentary appearance in XVI-A/B does not import XI-G's physical obstruction or decide its applicability to a prepared observable CheungXVIA,CheungXVIB,CheungXIG.

Let $A$ be a vector space or an $\hslash$-independent quotient. A nonzero $a_0\in A$ cannot be cancelled in $A[[\hslash ]]$ by positive formal powers:

If $Q_{\ell }$ are well-defined linear maps on the declared coefficient domain and

then $QO=0$ implies $Q_0{O}_0=0$.

Proof. Formal series are equal coefficientwise. The coefficient at ${\hslash }^0$ proves both assertions.

A nonzero classical defect must be repaired at classical order by a completed classical expression, an explicitly changed model, or a justified quotient. It cannot be cancelled by an asserted positive-$\hslash$ loop. This is a formal-series statement, not a claim about numerical cancellation at one nonzero value of $\hslash$.

In $\mathbb{C}[[\hslash ]]$, $(\hslash )$ contains $\hslash 1$ but not $1$. A commutator proportional to $\hslash 1$ therefore does not alone prove that a formal quotient is the zero algebra. Inverting $\hslash$ changes the problem.

The supplied X-G sheet separately constructs a free causal BRST differential and excludes its specified exact source-preserving variational upgrade. It leaves the interacting quantum BRST construction unresolved CheungXG. Neither that upgrade nor an interacting identity is inferred from the formal-order proposition.

Free products, time ordering, and normalized retarded maps have different domains and normalization obligations FR,FRBV,CheungIXD. A name for any of these operations does not define it on a nonlocal insertion.

For the arguments used below, normalized multilinear maps $R_n$ have been constructed, with

Their distributional domains, causal normalization, graded signs, and required equation-ideal descent are proved. They have nonnegative formal $\hslash$ expansions.

The maps have no additional hidden $\kappa$ dependence; any such dependence has first been expanded and included in the coefficient inventory. Interaction arguments are even, and the factorial convention is the one displayed.

If

is used, divisibility of the numerator by $\hslash$ is proved on the declared pair.

Let

The entries may have their own nonnegative $\hslash$ expansions.

Under ass:retarded,

Proof. Multilinearity gives

Two interaction arguments contribute $\frac{1}{2}{R}_2(V_1,V_1;O_{0,\epsilon })$. Three or more begin at ${\kappa }^3$. The direct insertion contributes $O_{2,\epsilon }$. Extracting $[\hslash ]$ proves the formula.

The formula is an inventory identity, not an evaluation or a proof that every listed map exists. Ghost vertices, quartic vertices, preparation derivatives, insertion normalizations, and Wick-ordering corrections must appear in the specified entries. A claimed one-loop interpretation also needs its graph-counting convention; the notation $[\hslash ]$ alone does not prove a graph inventory.

If a numerator is $N(\hslash )=\hslash N_1+{\hslash }^2{N}_2+\cdots$, then $[\hslash ](\mathrm{i}N/\hslash )=\mathrm{i}{N}_2$. Thus the first positive-$\hslash$ coefficient of a normalized retarded map requires the numerator through order ${\hslash }^2$, not only its leading term CheungIXD.

For a formal linear map ${\mathcal{C}}_{\kappa }=\mathrm{id}+\kappa L+O({\kappa }^2)$,

Applying the same completion again to an already completed insertion therefore requires an explicit subtraction or factorization accounting for the extra term.

Proof. Multiply the two series and compare their linear coefficients.

X-F's supplied identity is at ${\kappa }^2{\hslash }^0$ on its plateau-supported transformations; X-E's one-tree defect belongs to its own truncated expression CheungXE,CheungXF. They provide no loop counterterms for eq:completecoefficient.

XVI-L's complete-source contribution is one specified two-edge graph, conditional on its root inputs. Completing its source is not completing the one-loop inventory, and its scale family is not a physical beta function or a BRST/BV/Ward identity CheungXVIL.

At the selected order, let $C$ be the full allowed counterterm vector space after reconstruction relations, exchange symmetry, derivative identities, reality, support, and locked subgraph normalizations are imposed.

A bookkeeping decomposition

need not be direct. Integration by parts and field redefinitions are used only when authorized in this space.

A collision-supported tensor is not automatically the Euler derivative of a local bulk functional. Variational integrability and symmetry compatibility are separate tests CheungXVIL,CheungXVIM.

All contributions and extensions at the selected order have already been defined. The reference prescription has defect $a\in Y^1$. Specified linear maps are

and the exact counterterm law is

Consistency has been proved:

The spaces, maps, domains, and exhaustion of allowed changes are part of the application data.

A renormalized BV or BRST interpretation needs the corresponding constructed operations and anomaly identities FRBV,FrobWard; those are not supplied merely by naming the affine problem.

Under ass:ward, let

Then:

1. a counterterm $c$ with $a(c)=0$ exists exactly when $[a]=0$ in ${H_{\mathrm{adm}}}^1$;

2. if $c_0$ is one solution, all solutions are $c_0+\ker L$;

3. replacing the reference prescription by an admissible change preserves the obstruction class.

Here $\mathrm{im}L$ is the actual image, not its closure.

This is a restricted algebraic obstruction quotient. Identifying it with ambient BRST cohomology requires an identification of $C,L,d_1$, their domains, and their relations with that complex. The theorem does not provide the unresolved interacting quantum BRST construction of X-G.

Proof. Since $d_{1}L=0$, the quotient is defined. The equation $a+Lc=0$ is equivalent to $a\in \mathrm{im}L$, proving (i).

Given $c_0$, the equation for $c$ reduces to $L(c-c_0)=0$, proving (ii). A reference change sends $a$ to $a+L{c}_{\ast }$, preserving its quotient class, proving (iii).

If topological spaces are used and $\mathrm{im}L$ is not closed, the quotient need not be Hausdorff. Membership in $\overline{\mathrm{im}L}$ can support approximation but not an exact solution. An approximate Ward theorem requires its own norm, error bound, and admissible family.

Let $D_0$ be a vector space of possible defects and $P:D_0\to {\mathbb{C}}^m$ a linear test map. The implication

holds exactly when $P$ is injective. No finite test map is injective on an infinite-dimensional $D_0$.

Proof. The first assertion is $\ker P=\{0\}$. If $D_0$ is infinite-dimensional, choose $m+1$ linearly independent elements. Their images are dependent, giving a nonzero element of $\ker P$.

Injectivity on a vector space containing every possible defect is a sufficient global coverage certificate. It need not be necessary when testing only a smaller affine reachable family: there the exact condition is that its intersection with $\ker P$ contain no nonzero reachable defect. Thus the proposition does not replace an affine-family analysis by a stronger unstated requirement.

Let $C=\mathbb{R}$, $Y^1={\mathbb{R}}^2$, $Lc=(c,0)$, and $a=(0,1)$. The first-coordinate test vanishes at $c=0$, but the full defect is never zero. The second coordinate separates $a$ from every allowed adjustment.

When the complete spaces and bases are finite-dimensional, exact cancellation is equivalent to

This matrix test is decisive only after coverage and the full allowed-change space are established. It does not define an absent distributional product.

The two-probe coverage in Oai282-B concerns one homogeneous free-scalar stress class, with its own improvement scalar $L=-Q/2$ and ordered Wick algebra. Oai282-A's finite Ward tests are likewise restricted to their declared data CheungOaiIIA,CheungOaiIIB. Neither supplies the gravitational map $L:C\to Y^1$ here. The identical letter $L$ is not an identification of objects.

The supplied Oai069-A summary is a further comparison for finite free-scalar defect bookkeeping, not an imported theorem or a chiral-to-four-dimensional bridge CheungOai069A. Family 282's recorded local-Ward conclusion does not establish global conformal integration or Einstein–scalar scale-to-conformal enhancement Catalogue.

Suppose a constructed coefficient changes by

with $B$ linear. If $c_0+\ker L$ is the solution set, define

The algebraic class of $F(c)$ in $E_{\mathrm{out}}/{\mathcal{A}}_{\mathrm{phys}}$ is independent of the compatible prescription. A linear test $\ell$ is invariant under all compatible changes exactly when

Proof. Two solutions differ by an element of $\ker L$, and their coefficients differ by its image under $B$. The test is invariant exactly when it annihilates every such difference.

If a topological quotient is intended, its topology and any closedness requirement must also be supplied. This result does not assert that the gravitational spaces $C,L,B$ have been evaluated.

At fixed preparation, a prediction may be written $P(g(\mu ),\mu )$. A scale-independence statement concerns the total transport, for example

with operator mixing and state transport when required. Its explicit derivative at fixed $g$ is not that total derivative BDF.

If

then the explicit derivative is one while the total derivative along the running trajectory is zero.

A subtraction-scale family for one graph is not thereby the physical beta function of a complete quantity. The supplied VI audit remains RG-open; XVI-M's degree-four curvature-span obstruction is graph-specific, and its broader matched-scale release is not established by an unspecified cutoff CheungVI,CheungXVIM.

Let $S=\{r=0\}$ in $Y\times {\mathbb{R}}^c$, where $c\ge 1$ and $Y$ contains a positive-dimensional open coordinate set. The order-zero space

is infinite-dimensional. A finite normal derivative-order bound therefore does not imply finite-dimensional ambiguity.

Proof. Choose arbitrarily many independent compact smooth functions $a_j$ on $Y$. If ${\sum }_j{b}_j{a}_j(y)\delta (r)=0$, test with $\psi (y)\chi (r)$ where $\chi (0)=1$. This gives ${\sum }_j{b}_j{a}_j=0$, forcing every $b_j=0$.

The positive-dimensional qualification matters: at a single point, jets through a fixed finite order are finite-dimensional. For a general stratum, an expression

has finitely many normal labels but may have infinitely many tangential coefficients. Locality, covariance, dimension, field degree, and admissible normalization constraints must be checked before counting parameters.

The distributions ${{\delta }_0}^{(n)}$, $n\ge 0$, on $\mathbb{R}$ are linearly independent. Nevertheless, if a parent prescription changes by $u\mapsto u+c{\delta }_0$ and derivative compatibility is imposed, then

uses the same parameter $c$ for every $n$.

Proof. In a nontrivial finite relation, let $N$ be the largest index with coefficient $b_N\ne 0$. Test with a function equal to $x^N$ near zero. Lower derivatives vanish there while the $N$th derivative is $N!$, a contradiction. The parameter statement follows by differentiating the single parent change.

This separates distribution-orbit dimension from the number of independent normalization parameters. It is the parent-versus-descendant distinction documented in IX-B CheungIXB, not a parameter count for a gravitational continuum theory.

Extension theorems apply to distributions already defined on their stated reference domains and satisfying their extension hypotheses BF,Dang. A theorem about collision extension cannot substitute for an undefined noncoincident characteristic product. Extending one primitive also does not prove compatibility with every singular spectator.

At the fixed selected order, the application supplies:

1. a complete finite contribution inventory for eq:completecoefficient;

2. actual joint distributions for every graph operation, including tests crossing required noncoincident characteristic loci;

3. coherent extensions on collision strata, reference agreement, locked normalization, and reconstruction descent;

4. checked wavefront conditions for every multiplication, pullback, singular-spectator composition, and attachment;

5. proper support for every projection and a proved admission bound for each final contribution or the complete summed output;

6. continuity in a declared topology, with the required bounded-set or hypocontinuity qualifications;

7. a constructed and complete affine Ward problem satisfying ass:ward, with an exact solution.

Under ass:retarded,ass:analytic, the finite assembled sum defines an admitted coefficient at the selected order and satisfies the selected Ward identity. A continuous state functional on its declared physical output domain gives a well-defined expectation.

This conclusion is an observable-level construction. It does not itself construct a measurement instrument or a quantum-return channel.

Proof. A2–A4 make every graph operation an actual distributional operation. A3 guarantees authorized presentation independence. A5 permits the projections and proves admission. A1 identifies the resulting finite sum with the formal inventory, and A6 supplies its claimed continuity.

A7 and thm:ward give the exact equation $a+Lc=0$, which is the selected identity. A continuous state functional can then be evaluated on a coefficient in its domain. No instrument or channel construction occurs in these steps.

These assumptions are substantive. They have not been discharged for the inherited characteristic graph. Compact support, a retarded-pole representation, or an unnormalized extension family does not supply the missing joint map or output theorem.

A regulator route additionally needs convergence in an appropriate fixed wavefront-restricted space, not merely weak convergence. Product and pushforward limit passage must use their actual topological hypotheses BDHops.

Asymptotic safety is one possible candidate mechanism. The gravitational flow framework and fixed-point programme of Reuter and Reuter–Saueressig are external ReuterFlow,ReuterSaueressig. They do not verify an Enter sheet or construct the present relational insertion.

An exact candidate theory space must include or justify excluding operators generated by its flow. Keeping Einstein–scalar field content does not mean retaining only the Einstein–Hilbert and scalar quadratic action terms. Higher-curvature, matter, vacuum, and insertion terms require a declared treatment.

For an exact essential-coupling flow, write

Redundant directions must be identified before essential physical inputs are counted.

For a specified exact flow with fixed point $g_{\ast }$, the ultraviolet critical family consists of trajectories existing for all sufficiently large $t$ and approaching $g_{\ast }$ as $t\to +\infty$, modulo the stated redundant identifications. A finite-dimensionality claim concerns that exact flow and essential quotient.

For every $N\ge 1$, a smooth flow on ${\mathbb{R}}^{N+1}$ can have a projected fixed point in its first $N$ coordinates but no full fixed point. Two flows can also have the same projection and different dimensions of their ultraviolet-attracted families.

Consequently, a critical-family dimension claim requires a theorem about the exact flow and essential quotient, not only an eigenvalue count in a truncation.

Proof. Write $(x,y)\in {\mathbb{R}}^N\times \mathbb{R}$. The vector field

has no zero, while its projected flow $-x$ has fixed point zero.

Next compare

Both project to $-x$ and have fixed point $(0,0)$. Every trajectory of the first approaches it, whereas approach for the second requires $y=0$. Their attracted families have dimensions $N+1$ and $N$.

The proposition is a logical projection counterexample, not an argument against asymptotic safety. Truncation stability can be evidence, but does not replace control of omitted directions.

Let $E_{\mathrm{out}}$ and $Y$ be Hausdorff locally convex spaces. After explicit comparison maps, let $F_{\Lambda }\in E_{\mathrm{out}}$ be the candidate's complete prepared observable. Preparation width $\epsilon >0$ is fixed.

The application supplies:

1. specified cutoff theories, physical states or representations, and complete prepared observables;

2. interpretation- and access-preserving comparison maps placing the observables in one $E_{\mathrm{out}}$;

3. convergence $F_{\Lambda }\to F_{\infty }$ in that topology as ${\Lambda }_{\mathrm{UV}}\to \infty$;

4. a continuous target symmetry map $Q:E_{\mathrm{out}}\to Y$ and transported defects $A_{\Lambda }$ with

   $$A_{\Lambda }\to 0,Q{F}_{\Lambda }-A_{\Lambda }\to 0;$$

5. a low-energy comparison with an independently constructed prepared EFT observable, including the density-weighting residual, all preparation and switch derivatives, propagated layer data, and both required completion legs, with a controlled truncation remainder;

6. a theorem fixing independent physical parameters and any independent observable calibrations.

If a physical record is compared, the instrument and its observable comparison must additionally be specified. Matching the bulk action alone does not discharge U5.

Under ass:matching,

For every continuous linear test $\ell$ whose constructed low-energy comparison gives

the continuum observable recovers that prepared EFT prediction to the stated error.

Exact equality with a finite perturbative truncation does not follow unless its remainder vanishes. Nor does this observable comparison establish equality of complete instruments or quantum channels.

Proof. Continuity gives $Q{F}_{\Lambda }\to Q{F}_{\infty }$. The two limits in eq:wardmatching give $Q{F}_{\Lambda }\to 0$. Hausdorffness yields $Q{F}_{\infty }=0$.

Continuity of $\ell$ permits evaluation of the limit. The displayed remainder is precisely the controlled comparison supplied by U5; it is not identified with zero. No complete-instrument hypothesis is implied by a linear-observable estimate alone.

The preparation residual cannot be dropped by appealing to an unweighted divergence. The missing quantum contraction and remainder questions in Em02-E are a documentary model for the type of error control U5 needs, not that control itself CheungXVIB,CheungEmIIE.

Let $\mathfrak{A}$ be one common unital $\ast$-algebra. If normalized positive functionals ${\omega }_{\Lambda }$ converge pointwise on $\mathfrak{A}$ to ${\omega }_{\infty }$, then ${\omega }_{\infty }$ is linear, normalized, and positive.

The common physical algebra is essential. This is not a positivity theorem for the full gauge-fixed ghost algebra. Hadamard product data alone do not supply the positive functionals in the hypothesis.

Proof. Linearity passes through pointwise limits. Also ${\omega }_{\infty }(1)=1$, and for every $a\in \mathfrak{A}$,

Changing products, domains, or identifications requires compatible transport before this proposition applies. In gauge-fixed field theory, positivity must be stated on the physical algebra or representation. Formal coefficientwise expectations alone are not an ordinary positive measurement law.

If an exact construction depends only on a parameter in a specified finite-dimensional manifold, and its observable, state, and dynamics are all determined by that same parameter, the limit introduces no new independent parameters. This is conditional dependence, not existence of such a construction.

Relational insertion normalizations must be fixed by calibration or controlled within the same exact critical family. Counting bulk couplings alone is insufficient. Conversely, the infinitely many possible measurement test functions are not automatically independent couplings of the theory.

None of the supplied Cheung records or catalogue comparisons used here proves a asymptotic-safety fixed point for this prepared Einstein–scalar target. No exhaustive assertion about every manuscript in either corpus is made. Family 282 is not the missing fixed-point theorem.

Each row records a comparison licensed by the supplied version or excerpt and the conclusion that is not imported. The table is not a dependency graph, an exhaustive corpus audit, or verification of its source proofs. Generic titles are retained where complete metadata was not supplied.

{@{}P{.47}P{.47}@{}} Sheet and comparison used & What is not imported
Sheet and comparison used & What is not imported

I, v2 CheungI. Destructive computational-basis readout and consumption of the measured name. & No field instrument, apparatus limit, record-free uniqueness, or gravitational coefficient.

Hawk04-A, v1 CheungHawk04A. Complete preservation is distinguished from recovery through declared access. & No subsystem recovery, physical evaporation, or holographic identification follows from global unitarity alone.

Hawk04-B, v2 CheungHawk04B. Classical-output processing is distinguished from quantum-return decoding. & No decoder is supplied by a classical record, and no recovery task is assigned to the present correlator.

XVII-A, v1 CheungRegisteredXVIIA. The separate finite-matrix bounded-effect benchmark resolves the identifier collision. & Its reconstruction maps and time band are not this observable, an entanglement wedge, or spacetime emergence.

VI, v1 CheungVI. Classical relational descent and the RG-open quantum finite-renormalization audit remain distinct. & No complete quantum counterterm space, Ward identity, or RG certificate.

VII-C, v1 CheungVIIC. One logarithmic obstruction under its specified old-product and continuity requirements. & No universal obstruction to all algebras, topologies, or interacting constructions.

VII-D, v1 CheungVIID. One strong numerical finite part with a quantitative test-function remainder. & A finite part is not a binary algebra product or the present gravitational characteristic coefficient.

VII-H, v1 CheungVIIH. A free-field contact-ambiguity and invariant-test benchmark. & No identification with the reflected triangle, the inherited graph, or ultraviolet completion.

VII-I, v1 CheungVIII. Balanced forests and finite-width free constructions illustrate separate admission questions. & No transfer of sharp-product agreement, interacting BRST, or complete loop composition.

IX-B, v2 CheungIXB. One parent prescription can control an infinite derivative orbit. & No count of gravitational essential inputs or second-stage sharp multiplication.

IX-D, v3 CheungIXD. Free wordwise coherence, causal factorization, and normalized retarded orders are distinct. & No sharp $T_2$, normalized $R_1$, or $R_2$ on the unconstructed sector.

X-A-conv, v1 CheungXAconv. The particular frozen convolution has a covariance obstruction. & No successful ultraviolet-regulator identification and no theorem forbidding every convolution regularization.

X-E, v1 CheungXE. The one-tree defect belongs to its fixed model and normalization. & No complete one-loop inventory or loop counterterms.

X-F, v1 CheungXF. The plateau-supported all-tree identity is at ${\kappa }^2{\hslash }^0$. & No ${\hslash }^1$ identity, ghost completion, bulk BV restoration, or identification with the XII–XIV track.

X-G, v1 CheungXG. Free BRST, the specified variational-upgrade obstruction, formal-order qualifications, and loop-domain gaps. & No interacting quantum BRST upgrade or positive-$\hslash$ cancellation of a nonzero classical coefficient.

XI-E, v1 CheungXIE. Named polynomial Hadamard admission has its own domain. & No admission of every later response or loop product.

XI-G, v1 CheungXIG. The detecting free-shell class has a reported microcausal-representative obstruction. & No universal no-go, imported obstruction hypothesis, or decision on the Einstein subshell.

XII-C, v1 CheungXIIC. The cubic-only density weight retains the actual source derivatives without changing the lower-order freeze. & No derivation here of its component arrays, metric response, or observable-kernel admission.

XIII-E, v1 CheungXIIIE. Positive-regulator admission and good-set convergence precede the unfinished characteristic-set limit at E1. & No characteristic-limit theorem, uniform transverse estimates, or admitted coefficient linear in $\hslash$.

XIV-H, v1 CheungXIVH. Exact internal maps and regular charts stop at its uniform-amplitude gate H2. & No joint cross-line product or common characteristic representation from kernel existence alone.

XIV-I, v1 CheungXIVI. Its internal amplitude is constructed at I2; the joint characteristic map remains unresolved at I3. & Internal frequency estimates are not transverse estimates, a new graph regulator, or quantum admission.

XIV-J, v1 CheungXIVJ. Reconstruction-null relations and the supported $K_6+K_8+K_9$ reference are precise local constraints. & No full six-branch map across the characteristic locus, joint section, output theorem, or J2 closure.

XV-B, v2 CheungXVB. Technical relative lifting and finite normal-jet interfaces sharpen descent tests. & These technical theorems do not open the downstream quantum-admission exit or construct the inherited full map.

XV-F, supplied v3 record CheungXVF. The source-recovery audit preserves its F0 stop. & No graph completion by documentary patches or canonical-domain equality.

XVI-A, v1 CheungXVIA. Normalization and retarded-slot obligations are recorded separately from source notation. & No constructed retarded quantum coefficient.

XVI-B, v1 CheungXVIB. Source, response, root, auxiliary evaluation, and class-kernel pairing are different objects. & No source-to-observable identification, late-response equivalence, or class admission from a source change.

XVI-D, v1 CheungXVID. A smooth prepared witness response has a separate coordinate-compatibility condition. & No ultraviolet subtraction, full joint kernel, or discharge of I3/J2.

XVI-H, supplied v1 record CheungXVIH. A compact general-test kernel and partial witness recovery are reported under root inputs. & No full-kernel wavefront or class comparison is transferred; no claim that its root construction is nonunique.

XVI-I, v1 CheungXVII. A reduced two-edge sector has an extension family under imported cone hypotheses. & No selected interacting coefficient or ultraviolet completion from that family.

XVI-J, v1 CheungXVIJ. One narrowed undifferentiated square has a selected extension. & No equality with the entire XVI-I family or full interaction.

XVI-K, v1 CheungXVIK. A full Hessian is retained inside its specified selected sector. & Constant-slot regression is not the complete one-loop inventory.

XVI-L, v1 CheungXVIL. The complete source is retained in one two-edge contribution and a subtraction-scale family. & No full one-loop observable, physical beta function, Wilson match, or BRST/BV/Ward conclusion.

XVI-M, supplied v1 record CheungXVIM. A degree-four component lies outside its declared curvature-square span. & The graph-specific obstruction and divergence statement are not broad renormalizability or a Ward identity.

XVI-N, r12 CheungXVIN. Theorem 11 treats one conditional massless special family of antifield-linear completions. & No arbitrary-$m>0$ theorem, Route B discharge, prepared BV complex, or ultraviolet conclusion.

XVI-O, o70-sync CheungXVIO. The kernel counterterm has a stated prescription and a separate subsector verdict. & No bulk BV restoration; O.1 remains NOT_CLOSED.

XVI-P, supplied p23 record CheungXVIP. A renormalized ${\kappa }^2$ two-point sector and external-leg scheme are recorded separately. & QdS is not a de Sitter state, the frozen insertion is not completed, and O.1 is not closed.

Em01-C, v3 CheungEmIC. Characteristic coordinates, source reduction, and conditional fixed-kernel scale criteria. & The physical complete-sum origin coefficient and crossing-locus limit remain unevaluated.

Em02-E, v1 CheungEmIIE. The classical relational lapse and incomplete quantum audit provide a regulator-removal checklist. & No quantum covariance, state, counterterm classification, remainder, or gauge closure is constructed by this comparison.

Oai282-A, v1 CheungOaiIIA. Finite local Ward residuals retain contacts and coverage conditions. & No unrestricted identity, Family 282 verification, or gravitational counterterm map.

Oai282-B, v1 CheungOaiIIB. The ordered free-scalar Wick class has its own $L=-Q/2$ and two-probe stress coverage. & No interacting improvement, unrestricted tensor coverage, global conformal action, or identification with the XIV programme's objects.

Oai069-A, supplied summary CheungOai069A. A described finite free-scalar Ward-defect comparison. & No full theorem is imported from the unavailable source; no positive-channel or gravitational interpretation of its finite-monodromy decoder.

OpenAI catalogue / Family 282, supplied record Catalogue. A recorded local-Ward scope comparison. & No independent attribution audit, proof verification, global action, gravitational fixed point, or ultraviolet match; no corpus-wide exclusivity claim.

The cited external articles provide wavefront calculus, extension methods, causal perturbation theory, BV anomaly analysis, relational-correlator examples, and RG frameworks BDHintro,BDHops,BF,Dang,FR,FRBV,FrobWard,BDF,BFR, FrobCorrelation,ReuterFlow,ReuterSaueressig. Their hypotheses must be checked at each use. None verifies a companion sheet or supplies the missing characteristic product by analogy.

In particular, an extension theorem starts with an actual distribution on its stated reference domain. It cannot manufacture an undefined joint characteristic operation.

XVI-E/F/G are referenced within the supplied documentary material, but their full auditable versions are not supplied as mathematical inputs here. Later reports of witness compatibility do not establish full-kernel admission. Earlier unresolved labels are not reinstated after a later source reports a narrower closure.

For Oai069-A, the supplied material gives a scope summary, not a full theorem and proof. Its row therefore records only that requested comparison.

For XV-B, “not opened” refers to the inherited quantum-admission exit, not nonexistence of the separately supplied technical manuscript or its interface theorems. Likewise, XIV-H's H2 stop is version-local: XIV-I reports its named internal I2 advance while retaining I3 as the different missing operation.

No catalogue counts, release-date claims, formalization percentages, or current-status claims are needed by any proof here.

These are proposed acceptance conditions, not completed constructions. Passing one gate does not pass the others or change a separately inherited admission status.

Complete req:contract. Select exact versions of every proposed comparison and reproduce or separately assume each analytical input needed in the application. Retain the preparation derivatives exposed by prop:weighted and the cubic-only freeze of XII-C.

condition. A reproducible target definition, configuration domain, allowed-change catalogue, and applicability verdict for each imported estimate.

not release. Specification and source identities do not define a response, full class kernel, field instrument, or interacting quantum product.

Construct the kernel on arbitrary joint tests. Prove support, slot symmetry, wavefront or trisolution control, and every all-free-triples comparison used for class transfer. Pure-trace witness recovery is insufficient by thm:witness,cor:smoothwitness.

condition. An admitted full kernel in its stated topology, or an exhaustive obstruction for a precisely fixed candidate class. Missing information alone gives an unresolved verdict.

not release. Changing a class removes a transfer argument but does not prove microcausal admission. Kernel admission is not observable closure, measurement, or quantum graph composition.

Construct the joint map on tests meeting the characteristic locus, then its joint section and controlled remainder, uniform transverse estimates, contact compatibility, and complete output wavefront theorem.

The required full internal sum retains

with both $K_5$ placements. The supported $K_6+K_8+K_9$ reference is not the full map. Internal pole estimates do not define the subsequent grouped cross-line operation CheungXIVH,CheungXIVI,CheungXIVJ.

Em01-C's crossing-locus target and XIII-E's alternative characteristic-limit target also retain their own missing hypotheses CheungEmIC,CheungXIIIE. VII-C's obstruction and VII-D's finite part are separate comparisons, not substitutes CheungVIIC,CheungVIID.

condition. Actual joint distributions, reconstruction descent, coherent extensions, spectator compatibility, and admitted final outputs for the same complete coefficient.

not release. A defined internal line, proper projection, finite normal jet, or collision extension theorem does not define an absent characteristic product. A completed mathematical graph still does not by itself establish a Ward identity or open an inherited exit without its exact admission and comparison obligations.

Evaluate every entry of eq:completecoefficient, including ghosts, preparation terms, and insertion normalizations. Count scalar completion once. Construct the full defect and admissible counterterm map before applying thm:ward.

If the leading classical coefficient fails, its repair must be classical; positive-$\hslash$ cancellation is excluded by prop:hbar.

condition. One complete fixed-order interacting correlator or response with one proved symmetry identity on its declared domain.

not release. The abstract affine quotient is not an interacting BRST complex. A result for a newly specified model does not admit the inherited companion quantum coefficient without an explicit identification theorem.

Determine $B(\ker L)$ and a physically calibrated quotient class or invariant test. Keep preparation fixed. Prove the total RG transport, including insertion and state transport, instead of reading a beta function from explicit $\mu$ dependence.

condition. A complete finite-renormalization ledger and a proved statement of what survives all compatible changes.

not release. A graph-specific curvature-span obstruction, divergence formula, or subtraction-scale family is not a full renormalizability theorem, physical beta function, or broad matched-scale release.

If asymptotic safety is selected, construct the exact flow, essential quotient, omitted-direction control, and critical-family theorem. Include the relational insertion's flow and mixing, not only bulk action flow. State the physical state or representation and its cutoff transport.

condition. A named candidate with a controlled continuum construction and an exact parameter statement.

not release. A finite truncation is not the exact flow. No result here discharges XVI-N, repairs Route B, restores bulk BV symmetry, or closes O.1. Family 282 is not the required gravitational fixed point.

Supply ass:matching. Retain the preparation residual, propagated response data, physical state, symmetry transport, and low-energy remainder. Cutoff removal is separate from $\epsilon \downarrow 0$ and from an adiabatic limit.

condition. A connecting theorem recovering the same prepared Einstein–scalar observable with controlled errors and no unexplained independent calibration inputs.

not release. Matching a correlator is not a decoder or complete-instrument comparison. It does not automatically open XV-B, admit the separately inherited coefficient, or construct spacetime emergence, an entanglement wedge, a Page curve, or an island.

The substantive debugging corrections are:

1. The identifier is consistently XVIII-A, version 2; the separate XVII-A benchmark is not overwritten.

2. Readout, observable representation, quantum return, and physical recovery are kept distinct.

3. Smooth witness non-determination is explicit; the singular example is used for failure of wavefront determination.

4. Class difference is not promoted to class admission.

5. Exact Ward cancellation uses the actual counterterm image, not its closure.

6. Finite-probe injectivity is stated on its declared vector space, with the weaker affine-family qualification kept separate.

7. Positive formal quantum orders do not repair a nonzero classical coefficient.

8. Normalized retarded extraction accounts for division by $\hslash$ and any explicit coupling dependence of the maps.

9. Balanced forests are not treated as loop products, and weak convergence is not wavefront convergence.

10. Finite normal-order ambiguity is distinguished from finite-dimensional ambiguity; point support is distinguished from positive-dimensional support.

11. Observable matching retains preparation residuals and a nonzero perturbative remainder.

12. Documentary stopping rules remain version-local; neither catalogue analogies nor technical lifting theorems change an inherited admission status.

This manuscript establishes:

1. pure-trace witness non-determination of compact kernels, microcausal admission, and free-shell classes, including smooth compact non-determination;

2. the weighted-divergence residual and the late-source/retarded-response non-implication;

3. local wavefront equality under nonvanishing smooth multiplication and compact balanced-forest composition;

4. reconstruction descent, conditional class-obstruction transfer, and formal-order separation;

5. exact formal coefficient inventory under a declared normalized retarded family;

6. exact affine Ward compatibility and the quotient invariant under compatible finite changes;

7. finite-probe, bounded-normal-order, and projected-flow non-implications;

8. conditional fixed-order assembly and symmetry-preserving continuum observable matching.

The independence or conditionality stated in each result is retained. No complete inherited gravitational characteristic coefficient, evaluated interacting one-loop observable, bulk BV restoration, or ultraviolet completion is established.

Proof. Item (i) is thm:witness,cor:smoothwitness; (ii) is prop:weighted,prop:lateresponse; (iii) is lem:switchWF,thm:forest; (iv) is prop:descent,prop:classtransfer,prop:hbar; (v) is prop:inventory; (vi) is thm:ward,cor:scheme; (vii) is prop:finitevalidation,prop:normalorder,prop:truncation; and (viii) is thm:assembly,thm:matching.

The final sentence states the boundary of the constructions. The substantive hypotheses of the conditional theorems have not been supplied for the concrete inherited gravitational target.

documentary statuses. XV-B's inherited admission exit is not opened. XVI-N and Route B are not discharged. No inherited characteristic quantum coefficient is admitted. O.1 remains NOT_CLOSED. These statements delimit the present work; they are not additional mathematical nonexistence theorems.

scope. The source is a standalone analytical interface manuscript. Its submission claim must be the theorem package printed here, not a completed gravitational one-loop or ultraviolet construction. Responsible author metadata and independent technical review remain necessary.

scope. Cheung references identify supplied versions, excerpts, or summaries. Their full parent proofs and artifacts are not independently certified. The supplied OpenAI catalogue attribution is not authenticated here and is not a premise. Stable archival sources should accompany actual review.

. Elementary linear-algebra, distributional, and formal-series arguments are not claimed as new foundational theorems. Corresponding supplied arguments are attributed. The contribution is their coherent proof package and application contract.

scope. No field instrument, calibrated apparatus, quantum-return decoder, or physical code-recovery task is constructed. A correlator coefficient is not automatically a probability law; measurement implementation remains separate.

scope. No new metric, gravitational Hamiltonian, de Sitter state, spacetime-emergence theorem, entanglement wedge, island, Page curve, or evaporation model is derived.

. No successful pdflatex build, numerical or symbolic execution, proof-assistant verification, independent referee validation, registration, or journal acceptance is asserted.

. Citing N. Cheung does not attribute authorship of this revision to that author. Authorship authorization must be supplied by the submitting author.

CheungI

N. Cheung, Landmark I, version 2, unpublished manuscript, n.d. Supplied .tex; destructive-readout semantics and scope. Enter Calculus Companion, https://enter.grok.me.

CheungHawk04A

N. Cheung, Hawk04-A, version 1, unpublished manuscript, n.d. Supplied 04-A.tex; complete preservation versus declared-output recovery. https://enter.grok.me.

CheungHawk04B

N. Cheung, Hawk04-B, version 2, unpublished manuscript, n.d. Supplied 04-B.tex, :classical; classical-output recovery boundary. https://enter.grok.me.

CheungRegisteredXVIIA

N. Cheung, XVII-A: One boundary reconstruction is not holographic emergence, version 1, unpublished manuscript, n.d. Supplied -A.tex, :timeband, and :release; separate finite-matrix AdS${}_2$ benchmark. https://enter.grok.me/browse/XVII-A.

CheungVI

N. Cheung, Landmark VI, version 1, unpublished manuscript, n.d. Supplied classical relational-descent and quantum finite-renormalization/RG audit. https://enter.grok.me.

CheungVIIC

N. Cheung, VII-C: A mixed-Wick obstruction to a normal-topology boundary extension for sharp Cauchy harmonic insertions, version 1, unpublished manuscript, n.d. Supplied :main; specified continuity obstruction. https://enter.grok.me.

CheungVIID

N. Cheung, VII-D: Finite part of the regulated Cauchy-reflection triangle, version 1, unpublished manuscript, n.d. Supplied :finitepart; numerical distributional finite part. https://enter.grok.me.

CheungVIIH

N. Cheung, VII-H: Normalization-independent connected quantum responses: complete ambiguity, observable descent, and a nonzero free-field benchmark, version 1, unpublished manuscript, n.d. Supplied contact-normalization and physical-matching ledger. https://enter.grok.me.

CheungVIII

N. Cheung, Landmark VII-I, version 1, unpublished manuscript, n.d. Supplied :tree, :rampadmission, and :release. https://enter.grok.me.

CheungIXB

N. Cheung, Landmark IX-B, version 2, unpublished manuscript, n.d. Supplied parent finite-part conversion and derivative-orbit distinction; :descendants, :conversion. https://enter.grok.me.

CheungIXD

N. Cheung, Landmark IX-D, version 3, unpublished manuscript, n.d. Supplied :release; free, time-ordered, and normalized retarded interfaces. https://enter.grok.me.

CheungXAconv

N. Cheung, X-A-conv, version 1, unpublished manuscript, n.d. Supplied fixed-convolution covariance comparison. https://enter.grok.me.

CheungXE

N. Cheung, Landmark X-E, version 1, unpublished manuscript, n.d. Supplied :release; fixed-normalization one-tree construction and truncation defect. https://enter.grok.me.

CheungXF

N. Cheung, Landmark X-F, version 1, unpublished manuscript, n.d. Supplied :release; plateau-supported ${\kappa }^2{\hslash }^0$ tree identity. https://enter.grok.me.

CheungXG

N. Cheung, Landmark X-G, version 1, unpublished manuscript, n.d. Supplied :release; free BRST, variational-upgrade obstruction, and unresolved interacting interfaces. https://enter.grok.me.

CheungXIE

N. Cheung, Landmark XI-E, version 1, unpublished manuscript, n.d. Supplied :domain, :star, and release. https://enter.grok.me.

CheungXIG

N. Cheung, Landmark XI-G, version 1, unpublished manuscript, n.d. Supplied :class, :criterion, and :obstruction; detecting free-shell class. https://enter.grok.me.

CheungXIIC

N. Cheung, XII-C: One declared cubic weighting: actual Euler source, changed Noether identity, and the coupled-jet question, version 1, unpublished manuscript, n.d. Supplied cubic-only freeze and unintegrated density-source convention. https://enter.grok.me.

CheungXIIIE

N. Cheung, Landmark XIII-E, version 1, unpublished manuscript, n.d. Supplied :finite, :good-limit, :E1-missing, and :release. https://enter.grok.me.

CheungXIVH

N. Cheung, XIV-H: Internal kernel relations on the operator route, version 1, unpublished manuscript, n.d. Supplied :H2, :K5exact, and :release. https://enter.grok.me.

CheungXIVI

N. Cheung, Landmark XIV-I, version 1, unpublished manuscript, n.d. Supplied :I2, :I3, :canonical, and :release. https://enter.grok.me.

CheungXIVJ

N. Cheung, Landmark XIV-J, version 1, unpublished manuscript, n.d. Supplied :descent, :null, :reference, :J2, and :noadmission. https://enter.grok.me.

CheungXVB

N. Cheung, Landmark XV-B, version 2, unpublished manuscript, n.d. Supplied :lifting, :jetnull, and :release; technical reconstruction interfaces. https://enter.grok.me.

CheungXVF

N. Cheung, Landmark XV-F, supplied version 3 record, unpublished manuscript, n.d. Source-recovery audit and unresolved F0 package. https://enter.grok.me.

CheungXVIA

N. Cheung, Landmark XVI-A, version 1, unpublished manuscript, n.d. Supplied normalization, class-transfer audit, and retarded-slot obligations. https://enter.grok.me.

CheungXVIB

N. Cheung, Landmark XVI-B, version 1, unpublished manuscript, n.d. Supplied :transfer and fixed-width complete-pairing specification. https://enter.grok.me.

CheungXVID

N. Cheung, Landmark XVI-D, version 1, unpublished manuscript, n.d. Supplied :response-package; prepared witness response. https://enter.grok.me.

CheungXVIH

N. Cheung, XVI-H: Compact polarized kernel and witness recovery, supplied version 1 record, unpublished manuscript, n.d. Supplied :trep, :tmatch, and full-kernel wavefront/class boundary. https://enter.grok.me/browse/XVI-H.

CheungXVII

N. Cheung, Landmark XVI-I, version 1, unpublished manuscript, n.d. Supplied reduced two-edge sector and unnormalized extension family. https://enter.grok.me.

CheungXVIJ

N. Cheung, Landmark XVI-J, version 1, unpublished manuscript, n.d. Supplied narrowed square and conditional root attachment. https://enter.grok.me.

CheungXVIK

N. Cheung, Landmark XVI-K, version 1, unpublished manuscript, n.d. Supplied selected-sector full Hessian and constant-slot regression. https://enter.grok.me.

CheungXVIL

N. Cheung, Landmark XVI-L, version 1, unpublished manuscript, n.d. Supplied :Lmain, complete-source two-edge contribution, scale-family scope, and L.8 matching questions. https://enter.grok.me.

CheungXVIM

N. Cheung, Landmark XVI-M, supplied version 1 record, unpublished manuscript, n.d. Supplied :wpB-dp, :wpB-MC, and top-versus-full scale-tensor qualifications. https://enter.grok.me.

CheungXVIN

N. Cheung, Landmark XVI-N, revision r12, unpublished manuscript, n.d. Supplied :massless-obstruction; Theorem 11 and Route A/Route B qualifications. https://enter.grok.me.

CheungXVIO

N. Cheung, Landmark XVI-O, revision o70-sync, unpublished manuscript, n.d. Supplied kernel-prescription verdict and separate unresolved bulk O.1 status. https://enter.grok.me.

CheungXVIP

N. Cheung, Landmark XVI-P, supplied p23 record, unpublished manuscript, n.d. Selected two-point sector, external-leg scheme, and retained bulk-restoration boundary. https://enter.grok.me.

CheungEmIC

N. Cheung, Em01-C, version 3, unpublished manuscript, n.d. Supplied 01-C-v3.tex, :coordinates, and :release; physical complete-sum limit remains unevaluated. https://enter.grok.me.

CheungEmIIE

N. Cheung, Em02-E, version 1, unpublished manuscript, n.d. Supplied classical relational-lapse release and incomplete quantum regulator-removal audit. https://enter.grok.me.

CheungOaiIIA

N. Cheung, Oai282-A, version 1, unpublished manuscript, n.d. Supplied :ward; finite local-Ward insertion contract and coverage conditions. https://enter.grok.me.

CheungOaiIIB

N. Cheung, Oai282-B, version 1, unpublished manuscript, n.d. Supplied :coverage and :release; ordered free-scalar Wick class and homogeneous stress coverage. https://enter.grok.me.

CheungOai069A

N. Cheung, Oai069-A, unpublished manuscript, n.d.; version not supplied. Cited only through the supplied scope summary concerning a finite free-scalar Ward-defect comparison. No full theorem or finite-monodromy implementation is assumed or independently verified here. https://enter.grok.me.

Catalogue

OpenAI mathematics catalogue / Family 282, attributed to OpenAI in the supplied companion record. Documentary summary only; attribution and mathematical proofs are not independently authenticated here. No catalogue result is a premise. https://enter.grok.me/OpenAI.

BDHintro

C. Brouder, N. V. Dang, and F. Hélein, “A smooth introduction to the wavefront set,” Journal of Physics A: Mathematical and Theoretical 47 (2014), 443001. https://arxiv.org/abs/1404.1778.

BDHops

C. Brouder, N. V. Dang, and F. Hélein, “Continuity of the fundamental operations on distributions having a specified wave front set (with a counter example by Semyon Alesker),” Studia Mathematica 232 (2016), 201–226. https://arxiv.org/abs/1409.7662.

BF

R. Brunetti and K. Fredenhagen, “Microlocal analysis and interacting quantum field theories: Renormalization on physical backgrounds,” Communications in Mathematical Physics 208 (2000), 623–661. https://arxiv.org/abs/math-ph/9903028.

Dang

N. V. Dang, “The extension of distributions on manifolds, a microlocal approach,” Annales Henri Poincaré 17 (2016), 819–859. https://arxiv.org/abs/1412.2808.

FR

K. Fredenhagen and K. Rejzner, Perturbative algebraic quantum field theory, lecture notes, revised 2013. https://arxiv.org/abs/1208.1428.

FRBV

K. Fredenhagen and K. Rejzner, “Batalin–Vilkovisky formalism in perturbative algebraic quantum field theory,” Communications in Mathematical Physics 317 (2013), 697–725. https://arxiv.org/abs/1110.5232.

FrobWard

M. B. Fröb, “Anomalies in time-ordered products and applications to the BV-BRST formulation of quantum gauge theories,” Communications in Mathematical Physics 372 (2019), 281–341. https://arxiv.org/abs/1803.10235.

BDF

R. Brunetti, M. Dütsch, and K. Fredenhagen, “Perturbative algebraic quantum field theory and the renormalization groups,” Advances in Theoretical and Mathematical Physics 13 (2009), 1541–1599. https://arxiv.org/abs/0901.2038.

BFR

R. Brunetti, K. Fredenhagen, and K. Rejzner, “Quantum gravity from the point of view of locally covariant quantum field theory,” Communications in Mathematical Physics 345 (2016), 741–779. https://arxiv.org/abs/1306.1058.

FrobCorrelation

M. B. Fröb, “Gauge-invariant quantum gravitational corrections to correlation functions,” Classical and Quantum Gravity 35 (2018), 055006. https://arxiv.org/abs/1710.00839.

ReuterFlow

M. Reuter, “Nonperturbative evolution equation for quantum gravity,” Physical Review D 57 (1998), 971–985. https://arxiv.org/abs/hep-th/9605030.

ReuterSaueressig

M. Reuter and F. Saueressig, “Quantum Einstein Gravity,” New Journal of Physics 14 (2012), 055022. https://arxiv.org/abs/1202.2274.