Manuscript X-A-ST@1 · X-A-ST.tex · section · d9ccbde1
Debugging and scope audit
Debugging and scope audit · lines 2417–2506
{@{}p{.34}p{.61}@{}}
Potential error & Correction in this manuscript
Potential error & Correction in this manuscript
Treating the regular cone as globally hyperbolic &
A noncompact diamond is exhibited. All Cauchy equations
are on the separately declared flat completion.
Calling the defect a worldline &
The added -direction makes the defect a worldsheet.
Replacing the parent signature silently &
The host has signature ;
the analytical completion retains
and the positive Duhamel convention.
Calling a plateau a compact open set &
The plateau is open and relatively compact, with its
closure inside the supported post-ramp switch plateau.
Replacing the switched action by a multiplied equation &
The derivative-of- terms are explicitly retained.
Replacing the coordinate ramp by convolution &
The ramp multiplies the density deviation inside a
divergence. No convolution operator is used.
Dropping the ramp derivative &
The term is present in the
first coordinate equation.
Using only in a quadratic proof &
The transformation of , including
, is retained.
Reading preflight as unrestricted covariance &
The edge witness disproves that extension. The frozen
plateau group was selected before the calculation.
Claiming every ramp-supported gauge fails &
Only a specified nonzero witness and the failure of
a universal extension are proved.
Identifying action symmetry with observable invariance &
The auxiliary coordinate identity, Cauchy uniqueness,
formal inverse, and fixed label test are also required.
Omitting the scalar response &
The dynamical coefficient contains
and , not dressing alone.
Calling the unsmeared coordinate kernel smooth &
Smoothness is proved after observation smearing.
The wave operator's unsmeared kernel is distributional.
Adding to the divergence-form
smeared kernel &
That term belongs to the different multiplied-equation
prescription. The actual kernel is
.
Inferring a quantum product from smooth first derivatives &
No joint quantum admission, contraction, or extension
theorem is proved.
Keeping a nonempty original plateau when &
The zero-switch case is a diagnostic specialization;
its plateau algebra is trivial.
Removing a classical first-order defect by a later term &
Formal powers of and keep the
nonzero lower-order coefficient unchanged.
Treating a completion change outside a chart as harmless
for every inverse &
Only agreement near the full retained causal past,
with the same data, gives the proved patch agreement.
Treating a table as a field detector &
It stores supplied evaluations; no continuum-field
acquisition map is constructed.