Verify a run.
A recorded proof is a claim. Rerunning the same specification is the check: if the result fingerprint matches, the recorded result is the right one.
Paste a specification, or open a Verify link from the runner.
Verification reruns the job on this device. Because every workload is deterministic, the same specification must give the same result fingerprint on any machine. Every run recorded on chain for that specification is then listed with a match or a mismatch.