A New Interaction Concept for Interactive and Autoactive Program Verification (ArXiv cs.LO Recent Papers, 2026)