Debugging and quantifier audit

{@{}p{.36}p{.59}@{}} Potential error & Correction
Potential error & Correction

Using Cauchy theory on the regular cone & All global free equations are on the declared Minkowski completion.

Replacing the worldsheet by a worldline & The inherited product defect and laboratory separation are unchanged.

Importing XI-B's factors & The fermion $\int \bar{c}(C-b)$ gives $-\bar{c}\square c$ and the X-E/X-F operator $-{\mathsf{P}}_{\mathrm{tr}}\square /4$.

Eliminating $b$ before claiming off-shell nilpotence & The independent field is retained for that theorem. The eliminated antighost rule squares to $\square c/2$.

Making the antighost compact but its variation unrestricted & All configurations are ambient smooth; only tests and variations are compact.

Confusing the scalar equation inverse and action inverse & They are ${{\mathsf{E}}_{\mathsf{m}}}^{\mathrm{R}/\mathrm{A}}$ and $-{{\mathsf{E}}_{\mathsf{m}}}^{\mathrm{R}/\mathrm{A}}$, respectively.

Treating causal compatibility as time ordering & The theorem concerns generator equations and graded causal brackets only.

Reusing an unmatched Wick presentation & No smooth ordering change is claimed to repair a different antisymmetric causal part.

Confining all switched breaking to $\mathrm{supp}\mathrm{d}g$ & The full off-shell coefficient includes $-(1-g)(P_m\varphi )\partial \varphi$.

Treating a compact ghost test as a free ghost solution & The matter witness tests an off-shell action identity.

Locating every switch transition in the laboratory & Supported matter detection requires its explicit transition-support certificate.

Using a ramp vector as a plateau transformation & ${\xi }_{\mathrm{on}}$ defines the obstructing background; it is not in ${\mathfrak{g}}_p$.

Using only an off-shell adjoint mismatch & The positive reciprocity pairing is evaluated on genuine free metric inputs.

Cutting off the free solutions themselves & Compact Cauchy data are used to retain the free equations near the detecting support.

Declaring a variational map by renaming a source response & The upgrade has an explicit all-input equality requirement and fails reciprocity.

Repairing a classical coefficient by positive powers of $\hslash$ & Formal coefficients are compared order by order.

Re-cancelling the X-E-ST truncation defect & The existing mixed tree supplies that cancellation once; X-G-ST retains it.

Calling a scalar product-criterion failure nonexistence & Only failure of a sufficient ordinary criterion is proved.

Promoting a local fish extension to the nonlocal loop & Their extension loci and required operations differ.

Using the two-graph inventory as a normalization theorem & Its ordering convention excludes tadpoles and explicit quantum counterterms; it constructs no missing map.

Equating a supplied table with field acquisition & The evaluations and enclosures are installed inputs.