Publish Common Proof guided case study with reproducible checks 4965925 citispire commited on 3 days ago