ProVer improves agentic RL through pivotal decision credit assignment | HACKOBAR_