Oai282-A Finite Local-Ward Certificates and Scale–Conformal Separation: Improvement, Global Actions, Modular Data, and Recovery

We develop a self-contained companion to the supplied Family 282-01 record, Scale and conformal symmetry in four-dimensional operational quantum field theory, dated 26 September 2026. Its conditional scale-to-local-conformal theorem is recorded, not independently verified and not used as a premise.

Our mathematical input is instead a declared stress tensor, virial field, improvement scalar, common field domain, and specified Ward-insertion distributions. We prove the flat-space improvement identities, conservation of conformal-Killing currents, and conditional preservation of local affine Ward actions. We then give an exact finite local-Ward certificate with an explicit contact-defect ledger. A finite admissible correction space has a complete linear-algebraic feasibility test; extension from finite tests requires an independently proved coverage condition. An optional bounded-score validation theorem certifies only the declared finite residuals and tolerances.

Explicit examples distinguish current conservation from Ward contact identities, infinitesimal actions from global implementation, modular standardness from invariant-vector uniqueness, and fixed scaling or modular records from full-code recovery and entropy histories. The free massless scalar improvement is calculated with its sign and normalization fixed. No new improvement scalar is reconstructed from the Family 282 hypotheses.

All stages of the proposed comparison are addressed. No global conformal action on the entire bounded net, gravitational dictionary, Einstein dynamics, ultraviolet completion of the supplied series, Page curve, or inherited characteristic quantum coefficient is constructed.

. Scale symmetry; conformal symmetry; stress tensor; improvement; Ward identity; contact term; finite certificate; modular inclusion; complete complement; operational comparison.

Stress-tensor improvement and the distinction between scale and conformal symmetry are established mathematical questions in quantum field theory. The improved tensor of Callan–Coleman–Jackiw and Polchinski's analysis are central background references CCJ,Polchinski. Four-dimensional arguments based on dilatons, renormalization-group flows, and additional assumptions form a separate literature KomargodskiSchwimmer,LPR,DKST,DFKLP.

The supplied Family 282-01 record claims a local enhancement theorem in a specified bounded-local-net and physical-field framework OpenAI282. This companion does not verify that claim. Its main results concern independently supplied distributions, finite tests, and explicit comparison interfaces.

Cheung's supplied manuscripts distinguish an algebraic identity, a representation on a domain, a measurement construction, and a complete reference-preserving channel CheungII,CheungIII,CheungVI,CheungEn05C, CheungEn07A,CheungOai290A. We retain those distinctions. Their model-specific conclusions are not imported as unchecked premises.

The following qualifications are indispensable.

1. Conservation is not a complete Ward identity. A symmetric conserved traceless tensor gives conserved conformal-Killing currents. It does not, without a specified contact or local-charge argument, prove that these currents implement the intended transformations on every field.

2. Finite validation is not universal symmetry. A certificate on finitely many tests and matrix elements proves those tests and matrix elements. Extension to all tests requires coverage, continuity on a dense test family, or another independently proved completeness statement.

3. Local-to-global is an additional construction, not a universal impossibility. The correct conclusion is that this finite certificate does not supply a global action. Some theories, including the free massless scalar, have independently constructed conformal implementations HislopLongo,BGL. We do not assert that integration is impossible.

4. Global conformal geometry must be specified. Special conformal flows are not everywhere-defined flows on one Minkowski chart. A global formulation may require the conformal compactification or its covering space.

5. Charge preservation needs a locality or boundary argument. A total divergence does not automatically justify an unrestricted spatial integral of an operator-valued distribution. We prove local affine Ward-action preservation under an explicit spacelike-collar contract. Global charge equality remains conditional on the required limits.

6. Flat improvement is not a prohibition on gravitational coupling. An improved matter tensor can enter a separately specified curved background or gravitational theory. What is absent here is the identification and dynamical construction needed for that use CCJ,HollandsWald.

7. Deleting a scalar label is not necessarily deleting its descendants. Removing the name $Q=:{\varphi }^2:$ while retaining ${\partial }_{\mu }Q$ leaves the virial current available. A reduced field list must be examined explicitly.

8. Scaling dimensions are field labels, not automatically Hilbert-space energies. Finite scaling multiplicity is not a finite code dimension, a phase-space estimate, or an entropy history.

9. Cyclic and separating is not unique invariant vacuum. Modular standardness and uniqueness of an invariant vector are different assertions.

10. The En06-A theorem has an observable-limit contract. Its :algmicro uses product-preserving observable comparisons, not merely commuting channels CheungEn06A.

11. No ultraviolet identification is inferred. A conformal QFT can be relevant to an ultraviolet problem in an additional model. The Family 282 record does not itself construct an ultraviolet completion or matching theorem for Cheung's specified low-energy programme.

12. No reconstruction is hidden in our assumptions. The scalar $L$, its mixed products, and any required affiliated realizations are inputs to our local results. Their existence is not deduced from the Family 282 record.

We distinguish:

A source label does not convert a documentary record into a hypothesis satisfied by an application.

The web catalogue confirms the Family 282 title, source date, local conclusion, and absence of a Lean scope note OpenAI282. The accessible page also reports that its full manuscript source is loading. We therefore do not claim that a complete independent source audit has been performed. The detailed theorem and framework attribution below use the user-supplied statement and excerpts Dossier.

The supplied :framework concerns an already specified theory on

Its reported inputs include:

1. a local unitary positive-energy vacuum representation, with a Poincaré- and scale-invariant vacuum;

2. an original physical field-label space

   $$\mathcal{F}=\underset{\Delta \in \Sigma }{⨁}{\mathcal{F}}_{\Delta },$$

   with discrete, bounded-below, locally finite scaling grades and finite Lorentz multiplicities;

3. finite scaling support for every original field;

4. compatible realizations of the original fields and their adjoints affiliated with a fixed covariant causally commuting bounded local net;

5. a physical local dilatation current implementing scale transformations through its local Ward identities;

6. the source's original-product, domain, and physical-field admission conventions.

The reported assumptions do not separately impose uniqueness of the invariant vector, Haag duality, the split property, a phase-space estimate, or field-operator energy bounds OpenAI282,Dossier. This list is a scoped account of the supplied framework, not a replacement for every clause of the original assumption.

Under its full :framework, the supplied preprint claims that the physical stress tensor has a symmetric conserved traceless local improvement with unchanged translation and Lorentz Ward charges.

After selecting Hermitian dimension-four and dimension-three components ${T^{(4)}}_{\mu \nu }$ and ${V^{(3)}}_{\mu }$, it claims a Hermitian physical scalar $L$ of dimension two satisfying

such that

is symmetric, conserved, and traceless. It further claims unbroken local Ward identities for $X^{\nu }{t}_{\mu \nu }$, for conformal Killing fields $X$.

The conclusion is local. Integration to a global conformal action on the whole bounded net is left as a separate question OpenAI282,Dossier.

The source claims to derive the scalar condition from a more general improvement problem, rather than assuming it. Our conditional calculations below do not reproduce that derivation.

In the supplied statement, admitting $L$ to the original physical field algebra requires sharply localized reconstructions, all finite mixed products, a common invariant domain containing ${\mathcal{D}}_{\mathrm{old}}$, and compatible affiliation to the original net.

A scalar distribution satisfying $\square L=T^{\mu }{}_{\mu }$ in some larger distribution space would not establish those requirements. A formal solution obtained by a Green operator need not be a local physical field.

The reported proof route uses wedge modular data, half-sided modular inclusions, control of a critical scalar tail, cone modular identification, scalar-wave extraction, and mixed-product reconstruction Dossier. Those operations are recorded here, not reconstructed or independently validated.

The catalogue reports no Lean scope note for Family 282 OpenAI282. This is a documentary statement about the reported repository scope, not a proof of the theorem or a proof that no other formalization could exist.

Family 280's reported Lean file and Family 290-02's reported scope cannot be transferred to this theorem Dossier. No checker, source build, or proof-assistant execution is asserted.

The following objects must not be identified:

1. local identities for field insertions and current smears;

2. a strongly continuous unitary group representation, together with covariance of the bounded net;

3. a construction of the spacetime metric from other data.

A global implementation, if proposed, must specify its group or covering group, region action, Hilbert-space representation, domains of generators, and covariance:

whenever the geometric and algebraic expression is defined. If $gO$ leaves the Minkowski chart, an appropriate extension of the net must be supplied.

A local Ward certificate below does not supply these objects.

For

the corresponding flow need not be complete on $M$.

Proof. Take $b=(b^0,0,0,0)$, $b^0>0$, and start on the time axis at $x^0(0)=t_0>0$. The flow remains on that axis and solves

Therefore

which leaves the chart at $s=(b^0{t}_0{)}^{-1}$.

This is a geometric chart limitation, not an obstruction to a conformal action on a compactification.

There is a densely defined symmetric infinitesimal generator satisfying the one-dimensional Lie-algebra relations that has no self-adjoint extension and hence no unitary one-parameter implementation extending it.

Proof. On $L^2(0,\infty )$, let

Integration by parts proves symmetry. Its adjoint deficiency equations are

The first has the square-integrable solutions $c{e}^{-x}$, while the second has no nonzero square-integrable solution. The deficiency indices are $(1,0)$, so no self-adjoint extension exists. Stone's theorem rules out the claimed unitary group.

The Lie algebra has one generator and its only bracket is zero, so the formal bracket condition is satisfied.

This elementary example is not a counterexample to the full Family 282 framework. It shows why a formal infinitesimal representation cannot substitute for the missing domain and integration argument. Analytic-vector criteria provide established sufficient integration tools under their own hypotheses Nelson; those hypotheses are not silently added here.

A finite schedule with site algebras and complete block channels has a backward support ledger. If $N_T(Y)=Y$ and

then

Indeed, an adjoint block map on an identity factor preserves that identity; backward induction gives the inclusion.

This is the finite comparison in the supplied En05-A and En03-A records CheungEn05A,CheungEn03A. A diameter bound $\Delta$ and tick duration $\tau$ give the declared envelope speed $\Delta /\tau$. They do not generate special conformal transformations or derive the Minkowski metric.

En06-B's complete payload-transport identity likewise retains its prescribed geometry, routes, ports, and speed CheungEn06B.

Commuting CPTP maps do not imply that their associated observables or arbitrarily assigned region algebras commute.

Proof. On one qubit, the conjugation channels ${\mathrm{Ad}}_X$ and ${\mathrm{Ad}}_Z$ commute because $XZ=-ZX$. The observables $X,Z$ do not commute. Assigning both to separately named regions does not alter that fact. A compatible observable localization is additional data.

The actual En06-A observable-limit theorem requires eventually commuting bounded generators, norm-convergent comparisons, and asymptotic preservation of both cross-products CheungEn06A. Under those requirements,

Channel commutation alone supplies none of that comparison.

Similarly, common-domain commutation of unbounded fields is not bounded-net causal commutation. The latter is an input in the Family 282 record, not an output of the finite transport ledger.

Let $A_{\mathrm{in}}\subseteq M_{\mathrm{in}}$ and $A_{\mathrm{out}}\subseteq M_{\mathrm{out}}$ be unital $C^{\ast }$-subalgebras, and let $T:M_{\mathrm{out}}\to M_{\mathrm{in}}$ be UCP.

For $h=h^{\ast }\in M$ and a unital $C^{\ast }$-subalgebra $A\subseteq M$,

if and only if $\omega (h)=\nu (h)$ for every pair of states with $\omega {|}_A=\nu {|}_A$.

Proof. Membership gives equality by restriction. If $h\notin A$, real Hahn–Banach separation gives a bounded Hermitian functional $f$ vanishing on $A$, with $f(h)\ne 0$. Write $f=f_{+}-f_{-}$ using its Jordan decomposition. Because $1\in A$,

The states $f_{+}/m$ and $f_{-}/m$ have equal snapshots and different values on $h$, a contradiction. The Jordan decomposition used here is standard $C^{\ast }$-algebraic background Pedersen.

The following are equivalent:

1. $T{|}_{A_{\mathrm{out}}}$ factors through a UCP map $K:A_{\mathrm{out}}\to A_{\mathrm{in}}$;

2. equal input restrictions to $A_{\mathrm{in}}$ imply equal output restrictions to $A_{\mathrm{out}}$;

3. $T(A_{\mathrm{out}})\subseteq A_{\mathrm{in}}$.

The factor $K$ is unique. No spatial complementary factor or state-extension channel is required.

Proof. Factorization implies the other two assertions. State comparison applied to every self-adjoint output element, followed by Lemma lem:snapshot, gives containment. Under containment, restriction defines $K$. Positivity at every matrix level is reflected by the subalgebra inclusion, so $K$ is completely positive; it is unital and unique.

This is the finite-interface comparison stated in En05-C CheungEn05C. It compares already declared algebras and maps. It does not construct a local net, a stress tensor, a Ward current, or a conformal action. A restricted preparation class need not separate the algebra and cannot replace the universal state quantifier without another theorem.

Let $\mathcal{E}$ be a dense common invariant field domain. An operator-valued distribution below means a linear test-function map whose matrix elements on $\mathcal{E}$ are distributions. All derivatives are distributional. We make no evaluation at a singular spacetime point.

Independently supply:

1. Hermitian field distributions $T_{\mu \nu }=T_{\nu \mu }$, $V_{\mu }$, and a Hermitian scalar $L$, with their specified actions on $\mathcal{E}$;

2. the distributional identities

   $${\partial }^{\mu }{T}_{\mu \nu }=0,T^{\mu }{}_{\mu }={\partial }^{\mu }{V}_{\mu }=\square L;$$

3. whenever physical-net conclusions are sought, the necessary mixed products, locality identities on $\mathcal{E}$, and compatible closed affiliated realizations of the smears involved.

When scaling grades are used, $T,V,L$ are declared to have grades $4,3,2$, respectively.

The existence and physical membership of $L$ are assumed here. They are not deduced from Record record:main. Nor do distributional sums automatically prove the affiliated realization required in item three.

Set

Under Assumption ass:improvement, $t$ is Hermitian, symmetric, conserved, and traceless as a field distribution on $\mathcal{E}$. More generally, without assuming $T^{\mu }{}_{\mu }=\square L$,

Proof. Distributional derivatives commute, so

In four dimensions,

The remaining assertions follow directly from the declared Hermitian and symmetry properties.

The coefficient is the familiar four-dimensional scalar improvement normalization CCJ,Polchinski. In dimension $d>1$, the corresponding coefficient is $1/(d-1)$.

This theorem solves the improvement calculation once the scalar is supplied. It does not classify all tensor-potential improvements and does not prove the source's scalar-extraction step.

A conformal Killing field satisfies

Translations and Lorentz transformations have ${\sigma }_X=0$; dilations have ${\sigma }_X=1$; special conformal fields have ${\sigma }_{X_b}=2b\cdot x$.

For any symmetric tensor distribution $s_{\mu \nu }$,

Consequently the currents $j_{X,\mu }=X^{\nu }{t}_{\mu \nu }$ are conserved under Assumption ass:improvement.

Proof. Apply the product rule. Symmetry of $s$ annihilates the antisymmetric part of ${\partial }^{\mu }{X}^{\nu }$, and the conformal Killing equation contracts the remaining part to ${\sigma }_X{s}^{\mu }{}_{\mu }$.

Conservation is the conclusion of this proposition. Its action on other fields is a different question, addressed through the declared Ward-insertion contract in Section sec:certificate.

For an affine Killing field

define

The distribution $B_{\rho \mu }$ is antisymmetric, and

Proof. The first term is $(X_{\rho }{\partial }_{\mu }L-X_{\mu }{\partial }_{\rho }L)/3$; the second is antisymmetric because $X$ is Killing. Thus $B_{\rho \mu }=-B_{\mu \rho }$.

Moreover,

Since ${\partial }_{\rho }{X}_{\mu }$ is constant and ${\partial }_{\rho }{X}^{\rho }=0$, differentiating (eq:affine-superpotential) gives

The derivative of the second term cancels the last expression.

Let $F$ be a declared local field polynomial on $\mathcal{E}$. Choose $h\in {C_c}^{\infty }(\mathbb{R})$ and a spatial cutoff $\chi \in {C_c}^{\infty }({\mathbb{R}}^3)$ equal to one on the relevant spatial neighborhood. Suppose that:

1. the current smears and their commutators with $F$ are defined on $\mathcal{E}$;

2. the support of $h(t)\nabla \chi (\mathbf{x})$ is spacelike separated from the localization of $F$;

3. the superpotential smears on that collar commute with $F$ on $\mathcal{E}$.

Then the affine-current smears formed from $T$ and $t$ have the same commutator with $F$.

Proof. By Lemma lem:affine, their difference is

Because $B_{00}=0$, the time derivative of $h$ contributes nothing. Every remaining term is supported on the spacelike collar. Item three makes its commutator with $F$ vanish.

Compatible affiliation in causally commuting regional algebras, together with the required invariant-domain products, is one way to justify item three. The proposition does not infer it from weak field commutation alone.

If global affine charges are separately defined by suitable spatial limits and their collar terms vanish, the same argument gives equality of those charges. No unrestricted charge integral or boundary limit is constructed here.

The conditions of symmetry, conservation, and zero trace do not imply

for the metric on which the tensor was calculated.

Proof. Consider the classical massless scalar $\varphi =a{x}^0$, $a\ne 0$, on $g=\eta$. Its canonical stress tensor, improved by

has constant components

It is symmetric, conserved, and traceless. However $G_{\mu \nu }(\eta )=0$, whereas $t\ne 0$. For $G_{\mathrm{N}}>0$, the displayed Einstein equation fails.

This is a counterexample to the algebraic implication, not a counterexample to the quantum framework of the source.

The covariant replacement of the flat formula also requires care. With the curvature convention

one has

Thus flat conservation cannot simply be promoted to curved conservation without additional terms and hypotheses.

A curved-space matter action, its metric variation, a gravitational action, a state prescription, and renormalization conditions are additional inputs. The stress-tensor and time-ordered-product constraints in curved perturbative QFT illustrate this distinction HollandsWald. Flat local conformal Ward identities do not assert the absence of Weyl anomalies on arbitrary curved backgrounds.

The certificate must keep operator identities and insertion identities distinct.

For each member $r$ of a finite list, let

be the current coordinate and the declared spectator coordinates. Supply matrix-valued distributions

on an open joint-test domain $U_r$. Their values lie in $M_q(\mathbb{C})$, for a specified finite probe space of dimension $q$.

They may be obtained from declared matrix elements or correlation insertions, but their product prescription is part of the input. The contact distributions $\mathcal{P},\mathcal{S},{\mathcal{C}}_X$ include all contact terms that the claimed identity requires.

If time-ordered products are used, differentiating a field inside time ordering is not automatically the same operation as differentiating the time-ordered distribution. The chosen derivative and contact prescription must justify the improved insertion below. Any discrepancy belongs in the contact ledger HollandsWald.

For each $r$:

1. ${{\mathcal{T}}^r}_{\mu \nu }={{\mathcal{T}}^r}_{\nu \mu }$;

2. all displayed distributions, derivatives, and products with smooth functions are defined on $U_r$;

3. the improved insertion is declared by

   $${t^r}_{\mu \nu }={{\mathcal{T}}^r}_{\mu \nu }+\frac{1}{3}({\partial }_{\mu }{\partial }_{\nu }-{\eta }_{\mu \nu }{\square }_x){\mathcal{L}}^r;$$

4. a finite list of conformal Killing fields $X_a$ and compact joint tests $f_{raj}\in {C_c}^{\infty }(U_r)$ is fixed;

5. the intended Ward-contact assignment $X\mapsto {{\mathcal{C}}^r}_X$ is specified, and is linear on the tested real span of the $X_a$.

This contract is not the full :framework of Family 282. It neither reconstructs $L$ nor asserts all physical mixed products.

Define the divergence, trace, and contact-matching defects:

The finite Ward residual is

Under Assumption ass:ward,

Consequently:

1. vanishing of the right side certifies exactly the named finite Ward residual;

2. if the individual tested defects vanish, every named residual vanishes;

3. if their operator norms are bounded respectively by $a_{raj,\nu }$, $b_{raj}$, and $c_{raj}$, then

   $$\Vert W_{raj}{\Vert }_{\mathrm{op}}\le \sum _{\nu }{a}_{raj,\nu }+b_{raj}+c_{raj};$$

4. the result extends to linear combinations of the declared tests and conformal Killing fields, with the corresponding linearly specified contacts.

The theorem does not assert untested Ward identities, a global net action, Einstein dynamics, or recovery of a code.

Proof. The distributional improvement identities give

Apply Proposition prop:current, substitute (eq:divdefect)–(eq:contactdefect), and evaluate on $f_{raj}$. This proves (eq:wardtransfer). The remaining claims follow by the triangle inequality and linearity.

Multiplication by ${X_a}^{\nu }$ and ${\sigma }_{X_a}$ preserves compact support. Thus the complete finite input-test family must include

rather than only the original tests.

The theorem retains contacts instead of inferring them from off-diagonal conservation. It permits cancellation among the tested defects; requiring each defect to vanish is sufficient, not necessary.

Suppose the $q\times q$ distributions are defined from an orthonormal family $u_1,\dots ,u_q\subset \mathcal{E}$. Vanishing of $W_{raj}$ proves the named matrix elements and, by sesquilinearity, every such matrix element between vectors in their span.

It does not prove that the uncompressed residual vanishes on all of $\mathcal{E}$, or that any closed generator has the expected graph domain.

An entrywise estimate

gives

This is a finite matrix norm estimate, not a field-operator energy bound.

Suppose all correction freedom allowed for this finite task has been independently parameterized by a real affine family

Reality preserves the specified Hermitian convention. Additional exact linear admissibility conditions may first be absorbed into a parameterization of the permitted affine space.

Let $E$ evaluate all named matrix residuals, splitting complex entries into real and imaginary parts. Write

A permitted correction makes every named residual zero if and only if

Equivalently,

When $c_{\ast }$ is one solution, all solutions are $c_{\ast }+\ker N$.

Proof. The evaluated residual is $w_0+Nc$, so exact feasibility is the equation $Nc=-w_0$. The orthogonal complement of $\mathrm{im}N$ is $\ker N^{\mathsf{T}}$. The final assertion is the usual affine solution-space description.

This is a finite linear-algebra theorem. It does not select a physical counterterm class that has not been supplied. It does not classify every characteristic prescription or define an absent product. Cheung's Landmark II makes the analogous distinction between a finite evaluated fit and a global functional identity CheungII.

Let $\mathcal{V}$ be an independently specified finite-dimensional space containing every admissible residual distribution for the claim being tested. If

is injective, then $E(W)=0$ implies $W=0$ in $\mathcal{V}$.

Without such a coverage condition, vanishing of the finite evaluations does not generally imply a distributional identity.

Proof. The first assertion is injectivity. For the second, any nonzero element of $\mathcal{V}\cap \ker E$, when it exists, is invisible to every declared evaluation.

Injectivity is a sufficient coverage condition. A particular target decision can sometimes be complete under weaker conditions. No statement about an unavailable defect family is made by writing down the evaluation matrix.

For any finite family of compact linear test evaluations, there is a nonzero smooth compactly supported symmetric conserved tensor perturbation invisible to that family but with nonzero trace. This assertion concerns the unrestricted smooth tensor-distribution class, not the full Family 282 framework.

Proof. Choose a nonempty relatively compact open set $U\subset M$. For $h\in {C_c}^{\infty }(U)$, put

It is symmetric and conserved. Every declared finite evaluation of $S[h]$, including a tested current divergence, is a linear functional of $h$. The common kernel of finitely many such functionals in the infinite-dimensional space ${C_c}^{\infty }(U)$ contains a nonzero $h$.

Its trace is $-3\square h$. A compactly supported smooth solution of $\square h=0$ is zero: it has zero Cauchy data before its compact time support, and uniqueness of the wave equation forces zero. Thus the chosen perturbation has nonzero trace.

The perturbation is not claimed to be a translation-covariant physical stress tensor with the source's scaling spectrum. It establishes the finite-test limitation without manufacturing a counterexample to the conditional enhancement theorem.

A Ward residual is not automatically a bounded observable. To obtain a statistical certificate, an independently justified measurement bridge is required.

Index the real and imaginary parts of all evaluated matrix entries by $k=1,\dots ,m$. Let the target real residual coordinate be $w_k$. Supply a scale $a_k>0$, complete scores $Z_{ki}\in [-1,1]$, and allowances $b_k\ge 0$.

Conditional on a declared calibration record $\mathcal{Z}$:

1. each $n_k\ge 1$ is fixed before validation data are read;

2. scores within coordinate $k$ are independent and have a common mean $m_k$;

3. on an event $G$, with failure probability at most $\beta$,

   $$|w_k-a_k{m}_k|\le b_k\text{for every }k.$$

All outcomes, losses, rejections, and failure flags have a predeclared score. No successful branch is substituted for the complete attempted-run law.

For $0<{\alpha }_{\mathrm{s}}<1$, set

Under Assumption ass:statistics,

Therefore, if a tolerance ${ϵ}_k$ is certified only when

the probability of certifying while some $|w_k|>{ϵ}_k$ is at most ${\alpha }_{\mathrm{s}}+\beta$.

Proof. Conditional Hoeffding inequalities give

A union bound, integration over $\mathcal{Z}$, and intersection with $G$ prove simultaneous coverage. Every invalid acceptance lies outside that event.

Independence between coordinates is unnecessary for the union bound. Unaccounted adaptive stopping is not covered. The deterministic bridge allowance $b_k$ is added to the statistical radius, not inferred from the data.

The theorem is frequentist coverage, not a posterior probability conditional on acceptance. Positive finite radii certify tolerance, not exact equality. The bounded-statistic architecture is consistent with the scoped validation contracts in En01-B and Oai265-B CheungEn01B,CheungOai265B.

No field measurement bridge, calibration, score dataset, or laboratory execution is supplied here. An unbounded field smear cannot be treated as a bounded score merely by rescaling it.

For a von Neumann algebra $\mathcal{M}$ and a cyclic separating vector $\Omega$, Tomita–Takesaki theory supplies modular unitaries ${{\Delta }_{\mathcal{M}}}^{it}$. A half-sided modular inclusion is an inclusion $\mathcal{N}\subseteq \mathcal{M}$ with a specified standard vector and a one-sided modular invariance condition. Under its precise hypotheses, this structure yields an associated one-parameter group and positivity properties Wiesbrock,ArakiZsido.

Wedge modular geometry has established QFT examples and hypotheses BisognanoWichmann,BGL. The Family 282 record reports a further use of these structures in its scalar reconstruction. That use is not verified here.

A modular group or positive null-cut generator is not yet a channel from a declared logical code to a declared accessible output. It does not select an environment, receiver, or deterministic quantum-return map.

Cyclicity and separation of $\Omega$ for a von Neumann algebra do not imply that the modular unitary group has a unique invariant vector.

Proof. Let $\mathcal{M}=M_2(\mathbb{C})$ act by left multiplication on the Hilbert–Schmidt space $H=M_2(\mathbb{C})$, and choose

where $\rho$ is a strictly positive density matrix. Invertibility makes $\Omega$ cyclic and separating. The modular operator acts by

Every matrix commuting with $\rho$ is fixed by ${\Delta }^{it}$. For diagonal $\rho$, the diagonal subspace already has dimension two.

This example separates two modular assertions. It is not a counterexample to a QFT vacuum-uniqueness theorem, and it does not identify modular invariance with Poincaré invariance. Those are additional groups and hypotheses.

Let $C\cong {\mathbb{C}}^d$, $d\ge 2$, and supply a finite isometry

Define its accessible channel and complete complement:

The complement includes every inaccessible output and any preparation purification.

There exists a deterministic CPTP map $D:\mathcal{B}(R)\to \mathcal{B}(C)$ with $D\mathcal{N}={\mathrm{id}}_C$ if and only if

for a fixed state ${\tau }_B$. If $r=\mathrm{rank}{\tau }_B$, then

Recovery preserves every independent external reference.

Proof. Dilate an exact decoder by an isometry $U:R\to C\otimes G$. Then $Z=(U\otimes I_B)W$ dilates identity. Purity of the decoded basis outputs gives

Exact recovery of off-diagonal matrix units gives $⟨{\chi }_j,{\chi }_i⟩=1$; all normalized ${\chi }_i$ coincide. Tracing $CG$ proves constancy of $\mathcal{C}$.

Conversely, diagonalize

Write

The complementary matrix-unit equations imply

Thus $R$ contains $dr$ orthonormal vectors. Define the isometry $A:C\otimes {\mathbb{C}}^r\to R$ by $A(|i⟩|a⟩)=u_{ia}$. For any fixed code state ${\omega }_C$,

is CPTP and recovers every matrix unit. Equality of linear maps extends after tensoring with every reference.

This is the standard exact-correction structure KnillLaflamme,Watrous, restated in the supplied En07-A/B, Hawk04-A/B, and Oai290-A interfaces CheungEn07A,CheungEn07B,CheungHawk04,CheungOai290A. It is not a modular-Ward theorem.

Fix any declared Ward, scaling, or modular record. An independent finite completion appends an isometry $W:C\to R\otimes B$ without a physical identification theorem connecting it to that record.

An operational quantity is determined by the record alone only if it has the same value in every such completion with the logical and output dimensions fixed.

For any fixed record and $d\ge 2$, there are independent completions with identical $d$-dimensional accessible and complementary spaces, one exactly recoverable and one not recoverable. Their selected accessible entropy is zero for every pure logical input.

Proof. Set

The first accessible channel is identity and its complement is constant. The second accessible channel is constant and its complement is identity. Theorem thm:recovery separates their recovery verdicts.

For each pure input, both accessible outputs are pure. All original Ward and modular record entries remain fixed.

These completions are not claimed to be realizations of the source QFT or its null cuts. They specify the quantifiers of the record-only nonidentification claim.

With

every decoder of the bad completion has error at least $1-d^{-2}$: its Bell-input output is a replacement product, with Bell overlap $d^{-2}$. Thus the failure is reference-sensitive, not merely a distinguishability convention.

The supplied Oai290-A record distinguishes an exact finite-channel criterion from a modular-band witness under its own centralizer and spectral hypotheses CheungOai290A,Dossier. The latter needs its specified algebra, state, centralizer, operator, modular action, averaging, and band conditions.

A null-cut modular inclusion does not automatically verify those conditions. In Proposition prop:standard, for example, the faithful-state centralizer contains the diagonal algebra and is not scalar.

The reported Lean note names Family 290-02 only Dossier. It is not evidence that the lemma has been instantiated on the modular objects of Family 282. No such instantiation or checker execution is asserted.

The four same-model endpoint obligations reported in En07-B remain additional: preparation and code, complete evolution, justified outgoing access and endpoint identification, and a constant or quantitatively decoupled complete complement CheungEn07B. They are not constructed by the Ward certificate.

The label equation

describes transformation properties of fields. It is not an assertion that the Hilbert-space dilation generator has that point spectrum.

On $L^2({\mathbb{R}}_{+},dp/p)$, let

The coordinate $y=\log p$ identifies this representation with translations on $L^2(\mathbb{R},dy)$. Its self-adjoint generator is unitarily equivalent, up to the chosen sign convention, to $-id/dy$, with spectrum $\mathbb{R}$.

This is an elementary representation-theoretic illustration. It does not assign a new scaling spectrum to the source theory. It shows why field-label multiplicity cannot be read as a Hilbert-space energy multiplicity.

A scaling record contains no selected density matrix, radiation access factor, emission sequence, or decoder. The Family 282 assumptions also do not separately impose a split property. One cannot simply append a spatial partial trace to a bounded local algebra without declaring the relevant realization.

For a finite code, the capacity inequality in Theorem thm:recovery counts actual orthonormal syndrome vectors. It is not an area law. A count of field dimensions is not that syndrome count either.

A fixed scaling or Ward record does not determine the entropy history of an independently appended finite release process.

Proof. Append qubits $B,R_1,R_2,R_3$, all initially zero, and release $R_j$ at tick $j$.

One completion uses identity evolution, giving accessible-prefix entropy $(0,0,0)$.

Another first prepares a Bell pair on $B{R}_1$, then swaps $B$ with $R_2$, and finally performs identity. Its accessible-prefix entropy is $(1,0,0)$.

The initial spaces, preparation, release dimensions, and original record agree. Only the independently supplied evolution differs.

This designed finite turnover is not a gravitational Page curve. The construction proves nonselection of a history, not an evaporation theorem.

Cheung's Oai265-A records the analogous separation for a static lattice area-law record CheungOai265A. Family 265's reported gapped ground-state setting and Family 260's reported initial-data enclosing area are different mathematical objects Dossier. Neither is the trace $T^{\mu }{}_{\mu }$, a scaling multiplicity, or a decoder criterion.

Independently supply the four-dimensional free massless scalar on Minkowski space, its vacuum Wick fields, and their invariant polynomial domain. Let

The free equation is $\square \varphi =0$.

On the supplied Wick domain,

Thus

satisfy $T^{\mu }{}_{\mu }={\partial }^{\mu }{V}_{\mu }=\square L$, and

is symmetric, conserved, and traceless.

Proof. Contraction in four dimensions gives $T^{\mu }{}_{\mu }=(1-2)K=-K$. The Wick derivative rule and the free equation give

The definitions of $V,L$ therefore give the trace relation. Substitution into (eq:improvement) gives (eq:free-improvement). Conservation of $T$ follows from the free equation, and Theorem thm:improvement completes the calculation.

The grades are

This is the standard scalar improvement example CCJ,Polchinski. Its Wick and net realizations are supplied example data, not reconstructed by this proposition.

No all-product Ward normalization is derived by the two displayed Wick identities alone. Such an assertion requires the contact or local-charge analysis appropriate to the chosen products.

Deleting the label $Q$ does not remove the virial current if the declared field list still contains ${\partial }_{\mu }Q$. A list omitting both $Q$ and the needed bilinear descendants can fail to contain the displayed physical virial current.

Proof. The identity

proves the first assertion.

For the second, a linear field-label list consisting only of the identity, the linear field $\varphi$ and its descendants, and $T_{\mu \nu }$ and its descendants need not contain the bilinear dimension-three vector $:\varphi {\partial }_{\mu }\varphi :$. It is neither a linear-field descendant nor a dimension-four stress-tensor descendant. This is a restricted label space, not a claim that it is closed under Wick products or coincident products.

If a reduced list lacks the physical scale current, it no longer meets that reported hypothesis of Family 282. It is therefore not a counterexample to the conditional source claim. Conversely, a derivative-closed physical algebra requires a more careful deletion argument than removing one printed name.

Physical-field membership, a distributional identity, and documentary source status are not identical notions. Their shared discipline is only that the necessary membership or hypothesis must be established before it is used.

Em02-E's lapse is a relational metric quantity on a declared Einstein–scalar background. Its reported second-order coefficients include clock and spatial-rod corrections CheungEm02E. They are not $L=-Q/2$.

Em03-A's scalar lives on a fixed normalized Schwarzschild exterior, with its specified state and radial scattering problem. Its reported surface gravity is $\kappa =1/(4GM)$, and bulk Unruh identification is an external input in that manuscript CheungEm03A. Those geometry and state data are not the Minkowski example.

A local equivalence of field equations in one coordinate patch would not identify the states, local algebras, horizon geometry, or complete channels of the two constructions. No such identification is supplied here.

The chiral circle-net correspondence reported by Family 280 is a different dimension and framework; the preceding Oai280-A draft retains it as a source record Oai280A,Dossier. Family 211's planar-map and metric-measure limits and the Oai211-A comparison likewise do not supply this four-dimensional Ward identity Oai211A,Dossier.

For the independently declared contracts in this paper:

1. a supplied scalar trace potential yields the exact flat-space improvement identities of Theorem thm:improvement;

2. conformal-Killing current conservation follows from symmetry, conservation, and zero trace;

3. affine local Ward actions are unchanged under the spacelike-collar contract of Proposition prop:affine-ward;

4. the named finite Ward identities have the exact defect decomposition and quantitative certificate of Theorem thm:ward;

5. finite admissible correction feasibility is decided by Proposition prop:finitefit, while extension beyond the tested family requires a coverage argument;

6. the optional bounded-score contract gives the simultaneous finite tolerance certificate of Theorem thm:statistics;

7. fixed Ward, modular, or scaling records do not determine the independently appended code recovery or entropy histories of Definition def:completion.

These results do not prove the existence or physical admission of a new $L$ under the Family 282 hypotheses. They do not construct a global conformal action on the entire bounded net, Einstein dynamics, an ultraviolet matching theorem, a gravitational endpoint, or the inherited characteristic quantum coefficient.

Proof. Items one through six are the cited local calculations and finite-interface theorems. Item seven is Propositions prop:recovery-separation and prop:history.

The additional conclusions would require mathematical objects not constructed by those arguments: scalar reconstruction and all mixed-product admission, generator integration and net covariance, a gravitational action and identification, an ultraviolet-to-low-energy matching map, or the separately named characteristic graph construction. The Family 282 statement appears only as Record record:main.

Every derivative, trace, conformal Killing equation, support comparison, and improvement formula above uses the declared $\eta$. The certificate does not determine a metric from arbitrary finite Ward values. It verifies identities relative to that supplied metric.

This does not deny that geometric data can be encoded in sufficiently rich physical observations under additional reconstruction hypotheses. No such inverse problem or uniqueness theorem is part of this paper.

Cheung's III and VI use declared classical equation spaces, gauge groups, and relational constructions CheungIII,CheungVI. VI's supplied second-order descent follows from the coordinate composition identity

on its stated formal domain. That mechanism is not a derivation from the current $D_{\mu }$.

The gravitational equations included in those models are not derived from the flat trace improvement. The supplied quantum finite-renormalization status of VI remains RG-open CheungVI. No assertion here changes it.

An ultraviolet application would need a named high-energy theory, a low-energy target, matching observables and states, a regulator and renormalization prescription where relevant, approximation topology, error or remainder control, and symmetry compatibility. A scale-to-conformal statement about an already supplied QFT does not construct that package for another model.

The prepared-source and reduced-sector records XVI-A, XVI-H, XVI-I, and XVI-P retain their stated domains and imported hypotheses CheungXVIPrepared,CheungXVIP. A witness, compact kernel, extension family, two-point sector, or graph inventory is not the missing complete ultraviolet matching theorem.

The source's improvement cannot alter the hypotheses or prepared insertion of the conditional XVI-N obstruction CheungXVIN. The same word “massless” does not identify its observable with the free scalar of Section sec:stage5.

The supplied status ledger remains:

\boxed{
 \begin{gathered}
 \texttt{\detokenize{O.1}}:\ \texttt{\detokenize{NOT_CLOSED}},\\
 \text{series Route B: not discharged},\\
 \text{XVI-N remaining obligations: not discharged},\\
 \text{XV-B downstream admission exit: not opened},\\
 Q_HR_1^{(1)}\in\mathscr E_H:\ \text{not asserted}.
 \end{gathered}}

XVI-P is a reported registered technical record, not a premise of this proof CheungXVIP.

The technical manuscript XV-B version 2 exists and proves specified lifting and extension interfaces. Its existence is distinct from opening a downstream quantum-admission exit CheungXVB. The full inherited map remains unconstructed in the supplied I3/J2/B1 accounts CheungXIVI,CheungXIVJ,CheungXVB.

No tensor $t_{\mu \nu }$ in this paper is identified with that characteristic graph. No differential is applied to its absent coefficient, and no quantum Ward defect for it is formed.

Enter retains its declared destructive-readout meaning CheungI. A returned classical record is not an arbitrary reference-entangled quantum return. The local Ward calculations construct no field instrument.

The comparison stages are complete as conditional local results and separations. The following mathematical extensions are not proved.

1. Local-to-global implementation. Construct the required generators or automorphisms, prove their integration, identify the appropriate conformal covering group, and establish covariance on the whole bounded net or its specified extension. The source explicitly leaves this separate.

2. Infinite scaling support or accumulation. Dropping finite scaling support or local finiteness requires new convergence and domain control. Finite field-label expansions do not justify an unrestricted infinite expansion.

3. Vacuum uniqueness. A conclusion about standard cone algebras does not establish a unique Poincaré- and scale-invariant vector. Any uniqueness theorem requires its own hypotheses.

4. Gauge-theory enlargement. An application beyond the chosen gauge-invariant local algebra must identify physical fields, currents, constraints, domains, and observable-net realizations. Gauge-dependent formal potentials cannot replace physical membership.

5. {Comparison with dilaton and $a$-theorem arguments.} Such a comparison should explicitly identify the state, scattering or analyticity assumptions, anomaly conventions, and improvement freedom. The papers KomargodskiSchwimmer,LPR,DKST,DFKLP are external approaches, not automatic premises of the reported modular proof.

6. Comparison with Family 280. Chiral circle nets and four-dimensional bounded nets have different geometric and representation-theoretic interfaces. A comparison may be useful, but neither source statement derives the other merely by sharing the word “conformal”.

No item is completed by naming it. None becomes a Page curve, metric derivation, or gravitational endpoint without additional identified constructions.

The supplied dossier also contains a six-step analytic programme. It is not a prerequisite of the finite Ward proof and is not discharged by it.

A linear map $\tilde{M}:\mathcal{P}\to {\mathcal{D}}^{\prime }(W)$ defines a unique map $M:\mathcal{K}\to {\mathcal{D}}^{\prime }(W)$ with $\tilde{M}=M\mathrm{Rec}$ if and only if

Proof. Factorization annihilates the reconstruction kernel. Conversely, two equal reconstructions differ by an element of that kernel, so the condition makes their images equal and defines the unique induced map.

For example,

With the supplied reconstruction convention,

although its degree-zero and degree-one terms reconstruct to nonzero opposite distributions. A representative-dependent highest degree is therefore not automatically an intrinsic reconstructed symbol CheungXIVJ,CheungXVB.

This proves a necessary algebraic interface. It constructs no cross-line characteristic product.

{ {}1.15

}

The supplied supported sector $K_6+K_8+K_9$ is not the full sum $K_{47}+K_5+K_6+K_8+K_9$. The two $K_5$ placements and the remaining retained branches cannot be dropped CheungXIVI,CheungXIVJ.

The historical H2 stop, the reported internal advancement at I2, and the missing full map at I3/J2 are different statements CheungXIVH,CheungXIVI,CheungXIVJ. Failure to construct the map is not a theorem that every permitted construction is impossible.

Neither a finite-dimensional Ward correction fit nor a source improvement scalar supplies the absent distribution. The full analytic programme is preserved as an open contract.

The Family 282 catalogue page establishes its attribution, source date, stated scope, and reported absence of a Lean note OpenAI282. The detailed source formulas and internal labels in this manuscript are attributed to the supplied dossier Dossier.

Cheung manuscripts are cited with identifiers and supplied versions. Where only excerpts or summaries are available, no independent verification of the entire manuscript is claimed. The Enter Calculus Companion describes itself as a searchable companion, not a proof checker CheungPortal.

Family 260, 265, 280, 290-02, 211, 362, and 376 are used only as the supplied documentary comparisons Dossier. Their models, backgrounds, equations, regulators, or theorem dependencies are not identified with this one.

This manuscript asserts no:

• independent verification of Family 282;

• reconstruction of a new physical $L$ from its framework;

• global conformal implementation on every bounded local algebra;

• derivation of Minkowski space or another metric;

• Einstein equation, gravitational backreaction, or mass-loss law;

• ultraviolet completion or Wilson matching for the supplied series;

• holographic dictionary, island, or entanglement wedge;

• Page curve or gravitational endpoint;

• inherited characteristic quantum coefficient.

These are scope statements, not universal impossibility theorems. A later bridge theorem with additional identified hypotheses is not excluded.

No successful execution, Lean checking, symbolic-code execution, statistical dataset validation, laboratory calibration, independent manuscript-proof verification, referee approval, or journal acceptance is asserted.

The file is written for pdfLaTeX with a self-contained bibliography. Build commands are instructions, not execution evidence. The locally claimed mathematical results are the explicit proofs above.

The completed finite implication is

With an independently supplied bounded-score bridge, the same finite task has a tolerance certificate with simultaneous coverage.

The proof does not reconstruct the source's scalar, replace its bounded locality, or integrate its Ward currents. It does not determine a complete-complement channel or a gravitational model.

All Stages 0–6 have been addressed with local calculations, finite certificates, explicit separations, and unchanged open boundaries. Family 282 remains an external source record. .1 remains _CLOSED.

CCJ

C. G. Callan, Jr., S. Coleman, and R. Jackiw. A new improved energy-momentum tensor. Annals of Physics 59 (1970), 42–73. doi:10.1016/0003-4916(70)90394-5.

Polchinski

J. Polchinski. Scale and conformal invariance in quantum field theory. Nuclear Physics B 303 (1988), 226–236. doi:10.1016/0550-3213(88)90179-4.

KomargodskiSchwimmer

Z. Komargodski and A. Schwimmer. On Renormalization Group Flows in Four Dimensions. arXiv:1107.3987. Cited for the independently stated dilaton and anomaly framework, not as a premise of Family 282.

LPR

M. A. Luty, J. Polchinski, and R. Rattazzi. {The $a$-theorem and the Asymptotics of 4D Quantum Field Theory}. arXiv:1204.5221. The hypotheses and scope of that approach are retained.

DKST

A. Dymarsky, Z. Komargodski, A. Schwimmer, and S. Theisen. On Scale and Conformal Invariance in Four Dimensions. arXiv:1309.2921.

DFKLP

A. Dymarsky, K. Farnsworth, Z. Komargodski, M. A. Luty, and V. Prilepina. Scale Invariance, Conformality, and Generalized Free Fields. arXiv:1402.6322. Additional assumptions and improvement questions are not erased.

HollandsWald

S. Hollands and R. M. Wald. Conservation of the stress tensor in perturbative interacting quantum field theory in curved spacetimes. arXiv:gr-qc/0404074. Wick products, time-ordered products, and their conservation and derivative-normalization conditions.

Nelson

E. Nelson. Analytic vectors. Annals of Mathematics 70 (1959), 572–615. doi:10.2307/1970331. Cited for sufficient integration and operator-domain tools, not applied without their hypotheses.

HislopLongo

P. D. Hislop and R. Longo. Modular structure of the local algebras associated with the free massless scalar field theory. Communications in Mathematical Physics 84 (1982), 71–85. doi:10.1007/BF01208372.

BGL

R. Brunetti, D. Guido, and R. Longo. Modular structure and duality in conformal quantum field theory. Communications in Mathematical Physics 156 (1993), 201–219. arXiv:funct-an/9302008.

BisognanoWichmann

J. J. Bisognano and E. H. Wichmann. On the duality condition for a Hermitian scalar field. Journal of Mathematical Physics 16 (1975), 985–1007. doi:10.1063/1.522605.

Wiesbrock

H.-W. Wiesbrock. Half-sided modular inclusions of von-Neumann-algebras. Communications in Mathematical Physics 157 (1993), 83–92. doi:10.1007/BF02098019.

ArakiZsido

H. Araki and L. Zsidó. Extension of the structure theorem of Borchers and its application to half-sided modular inclusions. Reviews in Mathematical Physics 17 (2005), 491–543. arXiv:math/0412061.

Pedersen

G. K. Pedersen. {$C^{\ast }$-Algebras and Their Automorphism Groups}. Academic Press, 1979.

KnillLaflamme

E. Knill and R. Laflamme. Theory of quantum error-correcting codes. Physical Review A 55 (1997), 900–911. doi:10.1103/PhysRevA.55.900. arXiv:quant-ph/9604034.

Watrous

J. Watrous. The Theory of Quantum Information. Cambridge University Press, 2018. Finite-dimensional channels, Choi matrices, references, and completely bounded trace norms.

Hoeffding

W. Hoeffding. Probability inequalities for sums of bounded random variables. Journal of the American Statistical Association 58 (1963), 13–30. doi:10.1080/01621459.1963.10500830.

OpenAI282

OpenAI, as attributed in the supplied source and catalogue. Scale and conformal symmetry in four-dimensional operational quantum field theory. 26 September 2026. Family 282-01. Catalogue: https://enter.grok.me/openai/282-01. The catalogue and supplied :main account are documentary records, not independently verified premises. The catalogue reports no Lean scope note for this family.

Dossier

User-supplied Oai282-A development plan and comparative source dossier. Includes Family 282 framework and theorem statements, source excerpts, standing status records, and comparative family descriptions. Retrieval label 6f2e9611. No comprehensive corpus scan or independent source-proof verification is asserted.

CheungPortal

N. Cheung. Enter Calculus Companion. https://enter.grok.me. Searchable companion, not a proof checker. Individual manuscript identifiers and supplied versions govern the attributions below.

CheungII

N. Cheung. Landmark II, version 2. Supplied manuscript .tex. Finite contact-membership certificate and its stated coverage boundaries. A finite fit is not a global functional identity. Enter Calculus Companion.

CheungIII

N. Cheung. Descent of first-order relational scalars and the free-product obstruction: Classical equation spaces, retarded sections, and compact Ward observables. Landmark III, version 2. Supplied .tex excerpts. Classical quotient and coupled-jet results on their declared equation spaces; companion comparisons are not premises. Enter Calculus Companion.

CheungVI

N. Cheung. Relational Einstein–scalar observables at second order: Classical descent and a compact-switch obstruction. Landmark VI, version 1. Supplied .tex excerpts. Especially :descent. Second-order classical relational descent; the supplied quantum certificate remains RG-open. Enter Calculus Companion.

CheungEn05C

N. Cheung. En05-C, version 1. Supplied 05-C.tex excerpts. Especially :comparison. Tensor-free snapshot–channel–adjoint equivalence for declared unital local algebras. Enter Calculus Companion.

CheungEn05A

N. Cheung. En05-A, version 1. Supplied 05-A.tex excerpts. Especially :cone and :comparison. Schedule-past support and a prescribed metric envelope. Enter Calculus Companion.

CheungEn03A

N. Cheung. En03-A, version 1. Supplied 03-A.tex excerpts. Especially :locality. Complete finite schedule support, not a derived field-theoretic causal structure. Enter Calculus Companion.

CheungEn06A

N. Cheung. En06-A, version 1. Supplied 06-A.tex excerpts. Especially :algmicro and its localized observable-limit hypotheses. Cross-product preservation is not replaced by channel commutation. Enter Calculus Companion.

CheungEn06B

N. Cheung. En06-B, version 1. Supplied 06-B.tex excerpts. Especially :identity. Complete finite instrument transport with prescribed routes, ports, and speed. Enter Calculus Companion.

CheungEn01B

N. Cheung. En01-B, version 2. Supplied 01-B-v2.tex excerpts. Especially :bounded. Bounded complete-record validation under a declared statistical contract. Enter Calculus Companion.

CheungOai265B

N. Cheung. Oai265-B, version 2. Supplied 265-B-v2.tex record. Finite-confidence certification for one implemented qubit decoder; coverage is not a posterior or a field-instrument construction. Enter Calculus Companion.

CheungEn07A

N. Cheung. En07-A, version 1. Supplied 07-A.tex excerpts. Especially :exact. Complete-complement recovery and the separation of operational discard, quantum return, and holographic terminology. Enter Calculus Companion.

CheungEn07B

N. Cheung. En07-B, version 1. Supplied 07-B.tex excerpts. Especially :exact and :endpoint. Finite endpoint statements retain their four same-model obligations. Enter Calculus Companion.

CheungHawk04

N. Cheung. Hawk04-A, version 1, and Hawk04-B, version 2. Supplied manuscript excerpts. Exact complete-complement recovery, complete preservation, and classical-record limitations. No gravitational evaporation interface is imported. Enter Calculus Companion.

CheungOai290A

N. Cheung. Oai290-A, version 1. Supplied 290-A.tex excerpts. Especially :exact, :bounded, and :assembly. Finite channel decisions and a modular-band witness are separately typed. No application to the Family 282 null cuts is supplied. Enter Calculus Companion.

CheungOai265A

N. Cheung. Oai265-A, version 1. Supplied 265-A.tex excerpts. Especially :determination and :separation. Static area-law records, selected entropy, recovery, and histories remain separate. Enter Calculus Companion.

CheungEm02E

N. Cheung. Em02-E, version 1. Supplied 02-E-v1.tex excerpts. Especially :lapse and :release. Relational lapse on a declared Einstein–scalar background. Not the scalar improvement field $L$. Enter Calculus Companion.

CheungEm03A

N. Cheung. Em03-A, version 1. Supplied 03-A-v1.tex excerpts. Especially :main and :release. Fixed-background scalar emission and its stated exterior, state, scattering, and normalization inputs. Enter Calculus Companion.

CheungXVIPrepared

N. Cheung. XVI-A, version 1; XVI-H, version 1; and XVI-I, version 1. Supplied manuscript excerpts. Prepared-source declarations, a conditional compact polarized kernel, and a reduced two-edge extension family. Their normalization and admission boundaries are retained. Enter Calculus Companion.

CheungXVIN

N. Cheung. XVI-N, version r12. Supplied -N.tex excerpts. Especially :massless-obstruction. Conditional prepared-insertion obstruction; the spatially compact Route B is not discharged. Enter Calculus Companion.

CheungXVIP

N. Cheung. XVI-P, version p23. Supplied -P.tex excerpt and status record. Technical subsector and build-report provenance are documentary. .1 remains _CLOSED. No execution is independently reproduced here. Enter Calculus Companion.

CheungXIVH

N. Cheung. Landmark XIV-H: Internal kernel relations on the operator route, version 1. Supplied -H.tex excerpts. Historical H2 amplitude boundary and exact internal kernel maps. Enter Calculus Companion.

CheungXIVI

N. Cheung. Landmark XIV-I, version 1. Supplied -I.tex excerpts. Especially :I2, :I3, and :release. Internal reconstruction is not the full characteristic composition. Enter Calculus Companion.

CheungXIVJ

N. Cheung. Landmark XIV-J, version 1. Supplied -J.tex excerpts. Especially :descent, :reference, :J2, and :noadmission. The full joint map remains unconstructed in the supplied release. Enter Calculus Companion.

CheungXVB

N. Cheung. XV-B, version 2. Supplied -B.tex excerpts. Relative lifting, finite normal-jet null tests, and conditional extension interfaces; the inherited full graph remains unresolved at B1 in the supplied account. The technical manuscript is distinct from the closed downstream quantum-admission exit. Enter Calculus Companion.

CheungI

N. Cheung. Landmark I, version 2. Supplied .tex excerpts. Especially :main. Born strategy and destructive projective residuals inside a stated finite strategy class. No field instrument or stress-tensor Ward theorem is imported. Enter Calculus Companion.

Oai280A

Oai280-A: Sector-Label Certificates and VOA–Net Separation. Earlier conversation draft. Cited only for its scoped source-record and operational comparison architecture. No independent registration, build, or proof verification is asserted.

Oai211A

Oai211-A. Earlier comparison draft as described in the supplied dossier. Conditional path-sum and metric-measure comparison only. No derivation of four-dimensional conformal symmetry is imported.