Manuscript Oai282-B@1 · Oai282-B.tex · section · f2956de5

Debugging and verification ledger

Debugging and verification ledger · lines 2244–2313

Potential error	Correction made in this manuscript
Wrong improvement sign	$T^{μ}_{μ} = - K$ , $□ Q = 2 K$ , $L = - Q /2$ , and the coefficient of $(η_{μν} □ - \partial_{μ} \partial_{ν}) Q$ is $+ 1/6$ .
Conservation called implementation	The elementary retarded contact and the compact-current commutator are calculated separately.
Descendants treated as primaries	The full prolonged jet formula (eq:jetaction) and derivative-of-delta contacts (eq:jetcontact) are retained.
Lie-bracket sign silently reversed	The positive point-field action $v_{X}$ is distinguished from the representation derivation $δ_{X} = - v_{X}$ .
Sharp-time quadratic charge assumed	Only smooth spacetime-smeared charges are operators. Sharp-time expressions compute weak linear-contraction commutators.
Hilbert density called a graph core	For $Q (f)$ , a separate number-bound approximation proves the core statement. No such inference is made for an arbitrary closed field realization.
Physical $L$ defined by a Green operator	The explicit Wick field and local quadratic approximants construct $L$ in the original net.
Finite fit called a global functional identity	The admissible stress class is fully enumerated and its complete residual span is proved before probes are applied.
Finite normal order called finite dimension	The Ward class uses constant homogeneous polynomial coefficients. No such reduction is assigned to the different distribution-valued characteristic ambiguity.
Ordered Ward action called a complete time-ordered scheme	Arbitrary renormalized time-ordered stress insertions and curved-background Weyl identities are excluded.
Global free conformality denied	The chart and deficiency examples establish logical separation only; they are not obstructions to the known free-model comparison frameworks.
Technical XV-B confused with admission exit	Version 2's interfaces are distinguished from the downstream exit requiring an admitted coefficient.
Restatement called verification	Supplied Cheung source descriptions remain documentary comparisons. No compilation, proof-assistant check, external referee review, or journal acceptance is asserted.