Verification run

Run 7

ImperialCollegeLondon/FLT branch main triggered via poller

failed commit 070867aa3bf6 toolchain lean-v4-31-0-rc1 prover lean took 14m 51s · finished 6w ago

lean semantic extraction artifact validation failed: semantic_commit_sha_mismatch: semantic commit_sha c4d4c2e8323150cb677ad6d771dcad039079dfe2 does not match expected 070867aa3bf698a3f98b5678d6049338c485e750. remediation: inspect semantic_extract command output and ensure .apodeixis/semantic-extraction.json exists with valid schema and repository context

Open project

Indexed output

missing theorems 0 edges 0

Extractor output and theorem indexing diagnostics recorded for this verification run.

Outcome: failed
Extractor: lean-semantic v1
Prover: lean
Commit: 070867aa3bf698a3f98b5678d6049338c485e750
Duration: 0 ms

declarations 0 dependencies 0 resolved 0 unresolved 0 ambiguous 0

error semantic_commit_sha_mismatch extractor

diag #1

semantic commit_sha c4d4c2e8323150cb677ad6d771dcad039079dfe2 does not match expected 070867aa3bf698a3f98b5678d6049338c485e750

.apodeixis/semantic-extraction.json