Arxiv 2609 09678v1 Safe To Stop Risk Constrained Stopping For Sequent (Grade A) - Claude Skill | Skills Directory