Browse runs, rankings, ontology coverage, and candidate-level proof pressure.

This interface is wired directly to the mechanism-engine run artifacts, so you can inspect the current batches without digging through JSON and markdown files manually.