Verification run

Run 10

ImperialCollegeLondon/FLT branch main triggered via poller

failed commit 1d474b9788e3 queued 6w ago

held: FLT auto-rebuild paused (degenerate extraction risk); FLT indexed at job 48

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.