Results
⌄
Check a Result on your computer
regents techtree proof verify path/to/result-bundle reads a Result bundle, recomputes its checks and makes no model call. Verify says exactly what verification establishes.
Check on this computer
regents techtree proof verify path/to/result-bundleGive it the run's ID, the bundle's folder, or a bundle downloaded from a published Result's page. How a Result is proved lists every check it makes.