Debugging and quantifier audit

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

Nilpotence constructs a differential on the free quotient & Ideal preservation is separately required and fails for the natural scalar rule.

Compact plateau ghosts are nonzero homogeneous free ghosts & Spacetime-compact free wave solutions vanish.

A compact antighost restriction is automatically tangent & The auxiliary field must obey the matching restriction because $s\bar{c}=b$.

A local action density is a finite global action & Only variational classes and compact evaluation sectors are used.

An arbitrary smearing evaluates a divergence class & It can introduce boundary terms. The complete compact variational integral is evaluated instead.

The quadratic and cubic gravitational terms suffice for the second-order master action & The ${\kappa }^2$ action coefficient contains the fourth geometric Einstein–Hilbert coefficient.

One unweighted antifield coupling works with the stated bracket & The factor $(-1{)}^{|{\Phi }^A|}$ is checked on every field parity.

Off-shell backgrounds can have their leading tadpole deleted & The reference action retains $⟨r,\mathsf{A}h⟩$; deleting it changes the model.

The reference BV action realizes the unchanged X-F source law & No such identification is made; its exact variational upgrade is obstructed.

The positive reciprocity pairing is the master residual & They have different parity, ghost number, and arguments.

Every nonconstant onset background has the same defect & A specified witness excludes an all-background upgrade.

An instrument measures a Grassmann-odd quantity directly & It reads a supplied real coefficient extraction with a finite encoding.

A dictionary of zero reports proves the universal identity & The identity is proved analytically; the dictionary reports selected supplied evaluations.

The word “residual” identifies the master residual with the unmeasured quantum output & One is an analytical functional; the other is a finite returned register state.

A finite word returns an arbitrary real number exactly & It returns an installed identifier, rational report, or certified enclosure.

Nearby numerical words imply nearby deterministic channels & Orthogonal encodings can have unit channel distance. No such continuity is claimed.

A local fish counterterm cancels the total quantum residual & The full nonlocal residual and its permitted normalizations must first be constructed.

An absent quantum residual can be encoded as zero & Its status is _CONSTRUCTED, not PASS.

An action master identity proves relational observable closure & The observable's BV variation is a separate problem.

The table instrument consumes geometric time & Only finite measured clock names are consumed.