feat(benchmarks): official-metric leaderboard — extraction-verified head-to-head + the instrument-quality ledger#533

drewstone merged 1 commit into

maintangle-network/agent-eval:mainfrom

frontier/official-leaderboardtangle-network/agent-eval:frontier/official-leaderboardCopy head branch name to clipboard