Verification run
Run 35
failed commit
a93ce56091e0 took 7m 10s · finished 5w ago deferred after post-deploy checkpoint verification; PNT cache rows preserved while IUT retry dogfood 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.