Abstract page for arXiv paper 2610.20675: AlphaDiana: A Measurement System for Agents in Verifiable Reasoning Tasks