Correction release (p20): erratum to p19

{D11 normalisation pin (P20_D11_pin.json).}

• Derived from package data. The 4D UV pole of D11 (P18_D11.json, package orbit convention; transverse; only spin-2 and spin-0s parts) has Barnes–Rivers coefficients $c_2=-i/240$ and $c_0=-i/24$, so $c_0:c_2=10$. The quadratic forms on $g=\eta +h$ are derived here from linearised curvature: $C^2\to \frac{1}{2}{p}^{4}h{P}_{2}h$, $R^2\to 3p^{4}h{P}_0^{s}h$, and Gauss–Bonnet $\to 0$.

• External literature. The $a_2$ coefficient of a minimally coupled real scalar is $\frac{1}{120}{C}^2+\frac{1}{72}{R}^2$ (Birrell–Davies 6.2; 't Hooft–Veltman 1974). This predicts $\frac{1}{240}:\frac{1}{24}=1:10$.

• Ratio pin: PASS. Drop D11 gives $c_2=c_0=0$ and is detected, and so is a swap of the two $gg$ structures.

• Absolute pin: OPEN [superseded in p21: the absolute pin was derived and verified, sign and magnitude (P21, section 1; certificates/P20_D11_pin.json, absolute_pin_status PASS); the text below is the p20 statement, kept for the record]. The magnitudes agree up to a common factor $-i$, but the map from $\hat{G}$ to $a_2$ (phase, $N_{ϵ}$, $\kappa$ normalisation, sign of $\Gamma$) is not derived. An overall $\times 2$ error is caught only by this open pin and by M2 (P18).

1 wording. The $\mathbb{Q}(i)$ counts are the real dimensions under a compatible real structure. The earlier wording, “the physical field”, is replaced.

and gate. The static scan is still a pattern check, not a proof. It now also flags:

• Add(*listcomp over e.args);

• an aliased Poly import;

• Poly.__call__;

• as_coefficients_dict;

• a functools.reduce rebuild;

• Symbol(name=);

• an explicit-constructor rebuild.

A standalone reject of the p19 or p20 gate no longer leaves a stale RELEASE_STATUS.json.

. independent_rebuild_passed_p19 is true (bound to the p19 tree and zip; same box). The p20 independent rebuild is pending.