Expose Claim 4 checker values inline and enforce display audit

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