Verification run
Run 160
succeeded commit
6739793850d3 toolchain lean-v4-31-0 prover lean took 10s · finished 4d ago
Indexed output
failed index job 94 theorems 0 edges 0
semantic_artifact_missing: cannot read semantic extraction artifact at /var/lib/apodeixis/repos/job-1223-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.