Verification run
Run 7
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
Source PRs
Queue build-checked theorem source patches from this job page by selecting a theorem extracted for the current repository commit. If the selected theorem already has a healthy managed source PR, Apodeixis reuses that branch instead of spraying a new one.
No theorem candidates matched commit 070867aa3bf698a3f98b5678d6049338c485e750 yet. Once theorem
extraction publishes rows for this commit, this job page can queue theorem-scoped source PR
runs directly.
Publish files
Publishes files from a successful run after project policy checks.