Publish judge-readable native proof package

Restore leaderboard discovery tags

Add exact claim-by-claim verification certificates