Manuscript X-A-ST@1 · X-A-ST.tex · section · d9ccbde1

Debugging and scope audit

Debugging and scope audit · lines 2417–2506

Back to manuscript

{@{}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.

Nearby in this section