Publish claim-by-claim theorem audit and evaluator-visible evidence

cbbc874

verified

DineshAI commited on 6 days ago