Verification run
Run 67
failed commit
16194cd55804 toolchain lean-v4-32-0-rc1 prover lean took 30m 8s · finished 3d ago runtime execution failed: successful stable shard extract-stable-superset-a reached the semantic RSS hard stop at 3791163392 / 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.