Verification run

Run 345

promachina/iut-leanbranch mastertriggered via github_backfill

failedcommit b8234fca80f8took 2m 50s · finished 13w ago

deferred while exact IUT semantic cache retry dogfood runs

Indexed output

missingtheorems 0edges 0

No indexed output recorded for this job yet.

This section populates after theorem extraction persists an indexing run with counts and diagnostics.