Verification run
Run 8
failed commit
manual took 34m 18s · finished 6w ago orphaned by #85 auto-deploy restart; re-queued
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.