Deciding DFA-Primality is NP-Hard (ArXiv cs.FL Recent Papers, 2026)