Verification run
Run 34
succeededcommit
7dc5aeb267bctoolchain lean-v4-30-0prover leantook 3h 27m · finished 15w agoIndexed output
failedindex job 11theorems 0edges 0
semantic_artifact_missing: cannot read semantic extraction artifact at /var/lib/apodeixis/repos/job-58-source/.apodeixis/semantic-extraction.json: No such file or directory (os error 2). remediation: verify semantic_extract command emits .apodeixis/semantic-extraction.json
No indexed output recorded for this job yet.
This section populates after theorem extraction persists an indexing run with counts and diagnostics.