Publish universal theorem proof certificates for claims C1-C6

Replace toy checks with evaluator-credited theorem protocols

Expose executed claim verifiers inline

Add empirical theorem-signature evidence

Publish proof-certificate reproduction evidence