Verification run

Run 66

ImperialCollegeLondon/FLT branch main triggered via poller

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

Open project

Package inputs

This verification run did not include a theorem package lock. Its inputs depend only on repository, toolchain, image, and command inputs.

Trust verification

Recomputes trust checks from the recorded attestations, manifest, and command history.

(verification not run)

Manifest

Loads the published files manifest and location metadata for this job.

(manifest not loaded)

Verifier log excerpt

$ git clone --depth 1 --branch main --single-branch https://github.com/ImperialCollegeLondon/FLT.git /var/lib/apodeixis/repos/job-1286-source
exit_code=Some(0) duration_ms=1203
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1286-source'...


$ git checkout 9eceacd3099760bdcdb5103de724e6f6813bb5a2
exit_code=Some(0) duration_ms=26
stderr:
Note: switching to '9eceacd3099760bdcdb5103de724e6f6813bb5a2'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at 9eceacd chore: Bump `mathlib` dependency to 4efb186 (#1117)

Resolved source revision: 9eceacd3099760bdcdb5103de724e6f6813bb5a2

Detected prover: lean
Detected requested toolchain: lean-v4-32-0-rc1
Materialized Lean semantic helper assets
Prepared source: revision=9eceacd3099760bdcdb5103de724e6f6813bb5a2 provenance={"branch":"main","checked_out_revision":"9eceacd3099760bdcdb5103de724e6f6813bb5a2","clone_url_hash":"26972c4fa07707e04a8d064eb61ea9ced3487bda0b6c5e8ecd8face933c5481e","credential_mode":"none","local_clone":false,"requested_commit_sha":"9eceacd3099760bdcdb5103de724e6f6813bb5a2","used_missing_commit_fetch":false}
Resolved toolchain: lean-v4-32-0-rc1 (image: ghcr.io/gogopex/apodeixis/verifier-lean-base:elan)
Restored Lean workspace build cache
Restored 8 Lean dependency package snapshot(s)
Prepared 8 shared Lean git mirror alias(es)

Command runs

git_checkout exit 0 duration 26 ms · created 7/12/2026, 11:04:45 PM

git checkout 9eceacd3099760bdcdb5103de724e6f6813bb5a2

Note: switching to '9eceacd3099760bdcdb5103de724e6f6813bb5a2'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at 9eceacd chore: Bump `mathlib` dependency to 4efb186 (#1117)

git_clone exit 0 duration 1s · created 7/12/2026, 11:04:45 PM

git clone --depth 1 --branch main --single-branch https://github.com/ImperialCollegeLondon/FLT.git /var/lib/apodeixis/repos/job-1286-source

Cloning into '/var/lib/apodeixis/repos/job-1286-source'...