An explicit off-diagonal nonvanishing test

If ${\chi }_{\mathrm{I}}=0$, every reduced block is zero. Even for nonzero ${\chi }_{\mathrm{I}}$, the preparation data may make the later contracted sum vanish; for example $f=0$ makes the root vanish. No universal nonvanishing claim is made.