Verification run
Run 66
failed commit
9eceacd30997 toolchain lean-v4-32-0-rc1 prover lean took 1h 9m · finished 3d ago runtime execution failed: successful stable shard extract-stable-superset-r4 reached the semantic RSS hard stop at 3927101440 / 4026531840 bytes; refusing to continue semantic extraction
Indexed output
missing theorems 0 edges 0
No indexed output recorded for this job yet.
This section populates after theorem extraction persists an indexing run with counts and diagnostics.