Remark: Status of the residue

Theorem thm:M6-S2 uses Input (S-bv), which is certified by Theorem thm:wpA-Sbv; the logic does not run the other way (the residue does not certify the gate), and matching played no role in the certification (Remark rem:Sbv-status). The explicit value $r=-i/(8{\pi }^2)$ fills, as a result about XVI-L objects, the Unresolved stretch of XVI-L, rem:Lressretch, for the $S^2$ kernel; XVI-L itself is not edited. Higher graded residues ($N\ge 1$) are computed in Section sec:wpB: exact and $\varpi$-independent at top order, $\varpi$-dependent at lower orders.