Debugging and quantifier audit

{@{}p{.35}p{.60}@{}} Potential overstatement & Correction in this source
Potential overstatement & Correction in this source

A new spacetime is constructed & The I-B/X-A-ST chart and host are retained.

Green operators live on the regular cone & They live on the separate Minkowski completion.

The singular defect is a worldline & The inherited product defect is a worldsheet.

The Einstein–Hilbert quadratic action is copied & It is derived from the first Palatini variation.

Plateau invariance means identical density values & It means invariant local action modulo a compact divergence; the density can change.

Gauge fixing is part of the invariant classical action & Only the free quantum graviton receives the declared flat gauge-fixing term.

A gauge-fixed solution solves the invariant equations & The switch-divergence compatibility condition can fail.

The entire coupled surface is empty & Specified-input fibres violating a necessary condition are empty; compatible zero data remain possible.

A geometric two-jet fixes $E_h$ through ${\kappa }^2$ & That coefficient needs a third metric jet. The invariant two-jet condition is stated using $JG-{\kappa }^{2}gJT$ modulo ${\kappa }^3$.

The covariant free carrier imposes $C[r]=0$ strongly & Its equation is ${\mathsf{P}}_{\mathrm{gr}}r=0$; this distinction is essential for the witness.

There is no quantum graviton block & A free block is present. It is not the VII-C block and is not a full interacting metric.

All tree coefficients are smooth tests in ${\mathcal{D}}_C$ & The complete cubic kernel is a compact distribution. Its smooth partial contractions lie in ${\mathcal{D}}_C$.

The cubic belongs to the degree-one quotient $Q_m$ & Only its contracted linear tests do. The cubic belongs to the polynomial carrier quotient.

The normal microlocal space is a smooth Fréchet stage & No such identification is made.

The tree has first-slot support in $K$ & Its scalar-response part can have first-slot support in $S$; the safe bound is $C\times S$.

A two-point bound proves cubic admission automatically & The repeated scalar point is inserted explicitly and its conormal covectors are retained.

The tree includes ${\kappa }^2$ twice & $\tau$ is the coefficient; the contribution is ${\kappa }^2\tau$.

The scalar second-order response is added again & It remains the single pair in (eq:completed).

The dressing formula omits off-shell stress divergence & The extra $g(P_{m}u)\partial u$ is removed only on the free scalar shell.

One vanishing pairing identifies source conservation & Only a global zero-past field identity permits that inference by applying ${\square }^2$.

The defect is nonzero for every fixed test & The identity holds for every admissible instance; nonzero detection is an explicitly quantified existence theorem.