Show HN: Prove your code produced your claims without making reviewers rerun it — Blankdot