Reading an official Hugging Face leaderboard: protocols, majority vote and reproducibility

What the benchmark:official tag means, how .eval_results files feed leaderboards, and the evaluation protocol behind Darwin-180B-RSI's five #1 scores.