Add general probability-space proof certificates

Strengthen graphop Claims 1, 2, and 5 evidence

Publish exact six-claim graphop reproduction evidence