Debugging checklist

{p{.30}p{.63}} Potential incorrect inference & Correction used here
Potential incorrect inference & Correction used here

The host is ${\mathbb{R}}^{1+3}$ & The host is (eq:host). Flat formulae are supplied in one supported developing chart.

The four-dimensional defect is a worldline & The completed product defect has coordinates $(T,z)$ and is a worldsheet.

An observation patch determines the response & The full truncated Cauchy past is included, with a positive support margin.

The local Cauchy prescription constructs a conical covariance & The comparison covariance is separate supplied data. No global host inverse or state is constructed.

The residue lies on an equality diagonal & It lies on the reflected relation $\mathcal{R}$. Its intersection with ${\Delta }_{13}$ has one less dimension, and the local density has no $\delta (t-t^{\prime })$.

$H_{ww}=0$ implies $K=0$ & The mixed reflected covariance (eq:K) remains nonzero.

The factor $2$ is an adjustable normalization & It counts the two assignments of middle metric slots. The first-stage sign is separately fixed to $-2$.

Eight skeletons define every decorated graph & The inventory is combinatorial. Distributional decorations have their own existence conditions.

Order $64+d$ is a scaling degree & It is a test-seminorm order. It is not a transverse or ultraviolet scaling degree.

The derivative transfer re-proves VII-D & The parent theorem, including its intersection estimate, is an explicit analytic input.

All derivative operations are interchangeable & Observation, configuration-direction, and unsmeared functional-slot derivatives have different extension claims.

A time-coordinate derivative changes the host & It differentiates a numerical kernel argument in fixed coordinates. No metric-update or clock operation follows.

$\mathbb{R}r$ contains every descendant & The derivative orbit is infinite-dimensional. Compatibility can still impose one common parent parameter.

Arbitrary weights are admissible & The weighted-class proposition is a warning, not an admissibility declaration.

Regularized associativity gives sharp factorization & The theorem evaluates one old-domain scalar coefficient. The sharp binary maps remain undefined here.

A sharp-only finite value repairs continuity & The unchanged regular sequence still diverges in the VII-C normal-continuity comparison.

A regulator command evolves curvature & It replaces a catalogue label on a fixed host.

A table acquires the residue or a continuum field & It stores supplied evaluations and certified enclosures. No acquisition map is present.

Close real labels give close quantum channels & The complete-channel bound requires the same output labels and fixed interface. Orthogonal relabelling is different.

Equal records determine the residual source & Full residual-effect identities are stronger than equal record effects; finite source records need not separate all configurations.