Verification run
Run 34
failed commit
2a8fd8079ac7 toolchain lean-v4-30-0 prover lean queued 5w ago deferred after semantic cache checkpoint; PNT cache rows preserved while IUT runs
Indexed output
missing theorems 0 edges 0
No indexed output recorded for this job yet.
This section populates after theorem extraction persists an indexing run with counts and diagnostics.