Debugging and quantifier audit

{@{}p{.35}p{.60}@{}} Potential error & Correction
Potential error & Correction

Constructing another cone & The host and chart are the inherited X-A-ST/I-B instance, unchanged.

Using a Cauchy theorem on the regular cone & All analytical Cauchy and Green problems are on the declared Minkowski completion.

Changing signatures in the Euler equations & The host keeps $(-,+,+,+)$; the analysis keeps $(+,-,-,-)$.

Calling the added defect a worldline & The inherited product defect is a worldsheet.

Importing the X-D limit as a premise & The layer estimate, velocities, propagation, and test convergence are proved in this file.

Estimating ${\sigma }_{\epsilon }^{\prime }$ before integrating & The flux estimate removes that derivative from the controlling bounds.

Discarding half the quadratic layer term & Both normal-source contributions are retained; their sum gives ${a_{\Sigma }}^{00}{a_{\Sigma }}^{0\rho }$.

Choosing the limiting velocities independently & They are derived exit data and characterize the transmission problem.

Confusing profile independence with no profile corrections & Interior moments occur at order $\epsilon$ in positions and can affect error constants.

Claiming smooth convergence across $t=0$ & Coordinate velocities need not converge uniformly there. Scalar test supports stay separated from it.

Replacing ${\mathcal{D}}_C$ by smooth functions on $C$ & The tests are ambient smooth functions with support in the fixed compact set.

Inventing a universal Green derivative-loss count & Continuity supplies some finite seminorm estimate on each fixed test stage.

Using a quotient seminorm to rescue divergent tests & The representatives converge first, in ${\mathcal{D}}_C$.

Adding ${\rho }_{2,g}$ again & Its one copy is already represented by the X-C-ST second-order pair in (eq:completed).

Calling the limit the unchanged zero-velocity insertion & Its normal-flux velocities and its kernel differ from that prescription in general.

Interpreting no surface delta as smoothness & The kernel can jump; its derivatives and wavefront still require attention.

Treating a smeared kernel as an unsmeared smooth propagator & Only the stated observation-smeared linear kernel has the displayed bounded representative.

Inferring joint metric admission from fixed-background tests & The theorem constructs no joint quantum metric kernel or sharp contraction domain.

Claiming every edge defect persists for fixed generators & A fixed compact interior generator eventually lies above the shrinking ramp.

Using a moving edge family against the fixed-input rate & Its backgrounds generally have growing derivatives and leave the fixed-input hypothesis.

Isolating an interaction-plateau edge in the present tail & Here $g=0$ near the shrinking layer, so the switch defect cannot be suppressed that way.