Q1: global membership inside the locked class

1: global membership inside the locked class{ Determine either:

1. constants $\alpha \in {\mathbb{R}}^{15120}$ such that

   $$m=\sum _{\ell }{\alpha }_{\ell }{n}_{\ell }\text{on all of }\mathcal{X};$$

2. an admissible finite $S^{\prime }$, complete evaluated coverage, and

   $$z{N}_{S^{\prime }}=0,z{m}_{S^{\prime }}\ne 0.$$

The current certificate proves neither alternative. It proves $H{|}_S=0$ for one candidate $H$.}