AlphaDiana: A Measurement System for Agents in Verifiable Reasoning Tasks | AIChainDay