For every fixed locality k and local dimension d, is the commuting-projector local-Hamiltonian promise problem in NP? The input has polynomially many commuting k-local projectors with finite rational/algebraic descriptions and inverse-polynomially separated ground-energy thresholds; no interaction geometry is assumed.