$rm P$ has polynomial-time finite-state verifiers (Discrete Mathematics & Theoretical Computer Science, 2025)