Publish judge-readable native proof package

Restore leaderboard discovery tags

Add exact claim-by-claim verification certificates

Update logbook: Repro - Innovation in Language Models

initial commit