Debugging and logical audit

{@{}p{.31}p{.64}@{}} Potential error & Correction in this manuscript
Potential error & Correction in this manuscript

Three stages treated as independent constructions & The same host, carrier, covariance, parent, and first-stage values are used in order. Intermediate unresolved releases are retained.

The one-file instruction erases stage boundaries & The file contains three ordered parts with separate mathematical release statements. It does not claim three new registry entries have been installed.

The host is Minkowski space & Minkowski expressions are supported developing-chart comparison data on (eq:host).

The defect is a worldline & After adjoining the axial coordinate it is the two-dimensional worldsheet $\mathcal{W}$.

A compact observation patch determines the response & The entire truncated Cauchy past and a support margin are retained.

${\mathsf{E}}_0\square v=v$ constructs a conical inverse & It is a local zero-data identity for compact chart tests.

$H_{ww}=0$ kills the mixed kernel & $K$ is explicitly retained and has full distributional chart support.

Full support of $K$ gives support of its imaginary part & No such inference is used. Those are separate questions.

The reverse first-stage sign changes to $+2$ & It stays $-2$. The full word has two insertion signs, giving $+1$, and two middle-slot assignments.

A labelled tree expression is already a distribution & Existence is proved by nonzero comparable leaf covectors before polynomial admission is addressed.

Compact kernel existence proves metric admission & The explicit decomposition ${G^{\prime }}_h=e_{00}{m}_h+q_{a_h}$ and all finite directional descendants are checked.

Injectivity of $q_L$ proves injectivity of $p_L$ & A separate compact spatial-diagonal direction and three-metric-slot isolation prove the latter.

Two metric derivatives recover the degree-four kernel & Recovery needs one scalar derivative and three metric derivatives; complete metric polarization gives $3!$.

Regular nonconvergence proves sharp charge & An independent advanced-trace witness is constructed.

The old algebra has zero charge because it is called bulk & The microcausal condition and the timelike surface-wavefront argument prove that statement.

Pairwise zero overlaps prove whole-sum gluing & Species homogeneity proves the whole new sum direct; the anchored lemma separately kills its whole old overlap.

${\mathcal{C}}_{\mathrm{desc}}=\mathbb{R}$ already proves gluing & Scalar descent is evaluated in Part II. Gluing is evaluated only after Part III's separate overlap proof.

A scalar normalization repairs a nonconstant discrepancy & The coherence equations occur in different coefficient degrees and must each be satisfied.

The scalar parent enters the word at order two & It follows an order-one first-stage partial and an order-two second-stage coefficient, so enters at order three.