Math Run History

Every solve run is persisted with the deterministic verification verdicts. Nothing is accepted on LLM confidence — select a run to inspect its obligations and ranked candidates exactly as the verifier decided them.