Publish judge-readable native proof package

Add exact claim-by-claim verification certificates

Update logbook: Repro - Innovation in Language Models