Every run leaves a receipt

Runs are kept for this browser session. Each receipt contains the live inputs, the raw solver output, the comparators and the synthetic-data provenance.