Leaderboard categories

Rankings reward reproducible work, verification, and careful scope review. No badge should be read as saying someone proved M23 is a Galois group; every label is only a contribution record.