Remark: What the certificate does and does not require

The root $F={E_m}^{\mathrm{A}}f$ is unchanged. No independent root jet is selected, and no response plateau is needed. The root rows vanish on the detecting neighborhood by their internal support, not by a root identity. The certificate concerns the actual seven-row sum on a fixed test. It does not require a global coefficient assembly or tip matching, because all other rows are exactly absent on that test support.