A general verification framework that scores agent trajectories for best-of-N selection, progress tracking, and test-time scaling.