The quadratic normalization

XX-A; Em02-E & Their own lapse backgrounds, not this conical host. No lapse attachment is needed for the release.

XII-C & A later changed cubic weighting and changed Noether identity, not an input to (eq:EH).

XI-B & Receives the six-object classical handoff. Its propagator and multiplet are not imported.

X-B, X-C, X-D; X-E & Non-inputs of this classical transfer; no normalization, sharp limit, quantum map, or tree is borrowed.

Unspecified source versions and unretrieved full proofs are not certified by their appearance in this table.

and acceptance audit

{@{}p{.40}p{.54}@{}} Potential error & Required correction
Potential error & Required correction

Identifying $q$ with the conical host $G$ & $q$ is an analysis field around $\eta$; the host is unchanged metadata.

Changing the action sign to match host notation & Retain ${\iota }^{\ast }G=-\eta$ and the XI-A action normalization.

Using X-E or X-L-ST's free operator & The XI-A quadratic operator is $-\square {\mathsf{P}}_{\mathrm{tr}}$ with $S_{\mathrm{gf}}=\int D^2$.

Switching the Einstein density by the ramp & The Einstein action remains unswitched.

Putting $\partial g$ in the minimal metric derivative & Such derivatives belong to the scalar equation and source divergence, not (eq:eexact).

Dropping cubic or quartic classical coefficients & Retain the full generating action before projection.

Replacing the Noether adjoint by a raw divergence & Use (eq:N); retain its factor two and nonlinear term.

Removing gauge-fixing breaking on the plateau & Only ${\mathcal{B}}_{\nu }$ vanishes there.

Calling (eq:covariance) a new ramp theorem & It is XI-A's Euler-density covariance; X-A-ST's relational theorem is only cited.

Making the positive bump a plateau test & Its support is in the switching region, where ${\partial }_{t}g>0$.

Renaming completion-jet emptiness as all local emptiness & Keep Definition def:jet and Proposition prop:localdetector separate.

Repairing the source with a conformal or pure-gauge ansatz & Neither changes the nonzero compatibility pairing.

Equating a wave solution with an Einstein jet & Equation (eq:constraintbreaking) retains its nonzero constraint source.

Inferring all residuals vanish from a finite table & Prove residual-space coverage and probe injectivity.

Inferring a small channel error from nearby printed labels & Use the common probability encoding and the actual bound (eq:tablebound).

Treating a supplied value as acquired field data & An acquisition interface is additional and absent.

Reading one Bernoulli code as an exact real number & The code is one random outcome; no finite-shot inference is asserted.

Consuming the time axis with the clock & Only measured quantum names are removed.