Verification run
Run 34
succeeded commit
7dc5aeb267bc toolchain lean-v4-30-0 prover lean took 3h 27m · finished 6w ago
Indexed output
failed index job 11 theorems 0 edges 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.