Manuscript XVI-P@p23 · XVI-P.tex · section · 9b0037a7
D11 (certificate P18\ D11.json) and the full slot (P18\ hh\ slot.json)
P.5 calculation, step 4 (p18): M2 discharged, D11 evaluated, the full hh slot › D11 (certificate P18\ D11.json) and the full slot (P18\ hh\ slot.json) · lines 618–631
^{}2*(d*a\^{}.b\^{}*c\^{}.p - 3*a\^{}.b\^{}*c\^{}.p + a\^{}.c\^{}*b\^{}.p + a\^{}.p*b\^{}.c\^{})/(16*(d - 1))} & -p.p\^{}2*(d*a\^{}.b\^{}*c\^{}.p - 3*a\^{}.b\^{}*c\^{}.p + a\^{}.c\^{}*b\^{}.p + a\^{}.p*b\^{}.c\^{})/(16*(d - 1)) & 0 & 0
c tilde, h hat & 0 & 0 & 0 & 0
c tilde, h mixed & 0 & 0 & 0 & 0
c hat, h mixed & 0 & 0 & 0 & 0
all tilde & 0 & 0 & 0 & 0
c hat, h tilde & a .b *c\^{}.p*p.p\^{}2/16 & -a .b *c\^{}.p*p.p\^{}2/16 & 0 & 0
Full-row verdict: DECOUPLED (proof, full row): p_m G = 0 exactly in d for D11 by itself and for D01 + D03 as a sum; no evanescent structure survives in the slot.