Verification run

Run 1270

promachina/iut-leanbranch mastertriggered via github_push

failedcommit 0c6fca4c90f4toolchain lean-v4-30-0prover leantook 2h 6m · finished 3w ago

lake build failed with exit code none (process did not exit cleanly) (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase lake build)

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

Attempting anonymous GitHub clone before installation-auth fallback

$ git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1716-source
exit_code=Some(128) duration_ms=239
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1716-source'...
error: unable to read askpass response from '/usr/bin/false'
fatal: could not read Username for 'https://github.com': terminal prompts disabled


$ git clone (github installation auth fallback)
exit_code=Some(0) duration_ms=4111
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1716-source'...


$ git checkout 0c6fca4c90f459016dbee2100497ec814e10bb12
exit_code=Some(0) duration_ms=276
stderr:
Note: switching to '0c6fca4c90f459016dbee2100497ec814e10bb12'.

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 0c6fca4 E23.3: audit scalar-currency correspondence (#956)

Resolved source revision: 0c6fca4c90f459016dbee2100497ec814e10bb12

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=0c6fca4c90f459016dbee2100497ec814e10bb12 provenance={"branch":"master","checked_out_revision":"0c6fca4c90f459016dbee2100497ec814e10bb12","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"0c6fca4c90f459016dbee2100497ec814e10bb12","used_missing_commit_fetch":false}
Resolved toolchain: lean-v4-30-0 (image: ghcr.io/gogopex/apodeixis/verifier-lean-base@sha256:0c31befa50c7261b818ef62dfad7f4ee9a1b0a0cf85cc8da68a532f5930ffe8d)
Skipped Lean workspace build cache for dependency-overlay execution
Lean dependency cache mode=oci_build_overlay source_clones=9 clone_duration_ms=5919 overlay_mounts=0 lower_files=0 lower_directories=0 lower_logical_bytes=0 snapshot_copy_bytes=0
Lean dependency overlay upper files=0 directories=0 logical_bytes=0 whiteouts=0 opaque_directories=0
Lean semantic module cache: pre-semantic phase failed; not running semantic extraction

$ lake exe cache get
exit_code=Some(0) duration_ms=331198
stdout:
Current branch: HEAD
Using cache (Azure) from origin: (some leanprover-community/mathlib4)
Attempting to download 8459 file(s) from leanprover-community/mathlib4 cache
Decompressed 8459 file(s)
Already decompressed 8459 file(s)

stderr:
✔ [8/25] Built Cache.Lean (1.1s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (119ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (151ms)
✔ [13/25] Built Cache.Lean:c.o (129ms)
✔ [15/25] Built Cache.Init (320ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (88ms)
✔ [18/25] Built Cache.IO:c.o (1.1s)
✔ [19/25] Built Cache.Hashing (986ms)
✔ [20/25] Built Cache.Hashing:c.o (393ms)
✔ [21/25] Built Cache.Requests (6.5s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (12s)
✔ [24/25] Built Cache.Main:c.o (574ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 5 KB/s], Decompressed: 13
Downloaded: 39 file(s) [attempted 39/8459 = 0%, 17 KB/s], Decompressed: 19
Downloaded: 65 file(s) [attempted 65/8459 = 0%, 203 KB/s], Decompressed: 26
Downloaded: 89 file(s) [attempted 89/8459 = 1%, 243 KB/s], Decompressed: 26
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 161 KB/s], Decompressed: 42
Downloaded: 152 file(s) [attempted 152/8459 = 1%, 98 KB/s], Decompressed: 42
Downloaded: 182 file(s) [attempted 182/8459 = 2%, 251 KB/s], Decompressed: 42
Downloaded: 220 file(s) [attempted 220/8459 = 2%, 95 KB/s], Decompressed: 42
Downloaded: 258 file(s) [attempted 258/8459 = 3%, 36 KB/s], Decompressed: 107
Downloaded: 289 file(s) [attempted 289/8459 = 3%, 130 KB/s], Decompressed: 107
Downloaded: 326 file(s) [attempted 326/8459 = 3%, 311 KB/s], Decompressed: 107
Downloaded: 367 file(s) [attempted 367/8459 = 4%, 612 KB/s], Decompressed: 107
Downloaded: 405 file(s) [attempted 405/8459 = 4%, 468 KB/s], Decompressed: 107
Downloaded: 443 file(s) [attempted 443/8459 = 5%, 243 KB/s], Decompressed: 241
Downloaded: 484 file(s) [attempted 484/8459 = 5%, 27 KB/s], Decompressed: 241
Downloaded: 522 file(s) [attempted 522/8459 = 6%, 1452 KB/s], Decompressed: 241
Downloaded: 563 file(s) [attempted 563/8459 = 6%, 556 KB/s], Decompressed: 241
Downloaded: 604 file(s) [attempted 604/8459 = 7%, 71 KB/s], Decompressed: 241
Downloaded: 645 file(s) [attempted 645/8459 = 7%, 149 KB/s], Decompressed: 429
Downloaded: 686 file(s) [attempted 686/8459 = 8%, 164 KB/s], Decompressed: 429
Downloaded: 727 file(s) [attempted 727/8459 = 8%, 101 KB/s], Decompressed: 429
Downloaded: 769 file(s) [attempted 769/8459 = 9%, 487 KB/s], Decompressed: 429
Downloaded: 810 file(s) [attempted 810/8459 = 9%, 130 KB/s], Decompressed: 429
Downloaded: 851 file(s) [attempted 851/8459 = 10%, 38 KB/s], Decompressed: 631
Downloaded: 892 file(s) [attempted 892/8459 = 10%, 86 KB/s], Decompressed: 631
Downloaded: 930 file(s) [attempted 930/8459 = 10%, 161 KB/s], Decompressed: 631
Downloaded: 971 file(s) [attempted 971/8459 = 11%, 550 KB/s], Decompressed: 631
Downloaded: 1009 file(s) [attempted 1009/8459 = 11%, 907 KB/s], Decompressed: 631
Downloaded: 1050 file(s) [attempted 1050/8459 = 12%, 633 KB/s], Decompressed: 631
Downloaded: 1087 file(s) [attempted 1087/8459 = 12%, 65 KB/s], Decompressed: 847
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 292 KB/s], Decompressed: 847
Downloaded: 1176 file(s) [attempted 1176/8459 = 13%, 640 KB/s], Decompressed: 847
Downloaded: 1217 file(s) [attempted 1217/8459 = 14%, 383 KB/s], Decompressed: 847
Downloaded: 1255 file(s) [attempted 1255/8459 = 14%, 43 KB/s], Decompressed: 847
Downloaded: 1296 file(s) [attempted 1296/8459 = 15%, 707 KB/s], Decompressed: 847
Downloaded: 1337 file(s) [attempted 1337/8459 = 15%, 325 KB/s], Decompressed: 847
Downloaded: 1378 file(s) [attempted 1378/8459 = 16%, 30 KB/s], Decompressed: 1084
Downloaded: 1423 file(s) [attempted 1423/8459 = 16%, 181 KB/s], Decompressed: 1084
Downloaded: 1464 file(s) [attempted 1464/8459 = 17%, 500 KB/s], Decompressed: 1084
Downloaded: 1502 file(s) [attempted 1502/8459 = 17%, 42 KB/s], Decompressed: 1084
Downloaded: 1539 file(s) [attempted 1539/8459 = 18%, 94 KB/s], Decompressed: 1084
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 462 KB/s], Decompressed: 1084
Downloaded: 1628 file(s) [attempted 1628/8459 = 19%, 81 KB/s], Decompressed: 1367
Downloaded: 1673 file(s) [attempted 1673/8459 = 19%, 118 KB/s], Decompressed: 1367
Downloaded: 1714 file(s) [attempted 1714/8459 = 20%, 166 KB/s], Decompressed: 1367
Downloaded: 1759 file(s) [attempted 1759/8459 = 20%, 115 KB/s], Decompressed: 1367
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 230 KB/s], Decompressed: 1367
Downloaded: 1834 file(s) [attempted 1834/8459 = 21%, 681 KB/s], Decompressed: 1367
Downloaded: 1875 file(s) [attempted 1875/8459 = 22%, 465 KB/s], Decompressed: 1628
Downloaded: 1920 file(s) [attempted 1920/8459 = 22%, 62 KB/s], Decompressed: 1628
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 170 KB/s], Decompressed: 1628
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 78 KB/s], Decompressed: 1628
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 55 KB/s], Decompressed: 1628
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 111 KB/s], Decompressed: 1861
Downloaded: 2122 file(s) [attempted 2122/8459 = 25%, 1219 KB/s], Decompressed: 1861
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 226 KB/s], Decompressed: 1861
Downloaded: 2207 file(s) [attempted 2207/8459 = 26%, 153 KB/s], Decompressed: 1861
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 401 KB/s], Decompressed: 1861
Downloaded: 2290 file(s) [attempted 2290/8459 = 27%, 22 KB/s], Decompressed: 1861
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 40 KB/s], Decompressed: 1861
Downloaded: 2361 file(s) [attempted 2361/8459 = 27%, 403 KB/s], Decompressed: 2077
Downloaded: 2399 file(s) [attempted 2399/8459 = 28%, 503 KB/s], Decompressed: 2077
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 69 KB/s], Decompressed: 2077
Downloaded: 2492 file(s) [attempted 2492/8459 = 29%, 385 KB/s], Decompressed: 2077
Downloaded: 2533 file(s) [attempted 2533/8459 = 29%, 528 KB/s], Decompressed: 2077
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 915 KB/s], Decompressed: 2077
Downloaded: 2608 file(s) [attempted 2608/8459 = 30%, 255 KB/s], Decompressed: 2077
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 51 KB/s], Decompressed: 2077
Downloaded: 2694 file(s) [attempted 2694/8459 = 31%, 379 KB/s], Decompressed: 2334
Downloaded: 2738 file(s) [attempted 2738/8459 = 32%, 122 KB/s], Decompressed: 2334
Downloaded: 2783 file(s) [attempted 2783/8459 = 32%, 54 KB/s], Decompressed: 2334
Downloaded: 2827 file(s) [attempted 2827/8459 = 33%, 587 KB/s], Decompressed: 2334
Downloaded: 2862 file(s) [attempted 2862/8459 = 33%, 255 KB/s], Decompressed: 2334
Downloaded: 2906 file(s) [attempted 2906/8459 = 34%, 120 KB/s], Decompressed: 2334
Downloaded: 2951 file(s) [attempted 2951/8459 = 34%, 661 KB/s], Decompressed: 2334
Downloaded: 2988 file(s) [attempted 2988/8459 = 35%, 294 KB/s], Decompressed: 2334
Downloaded: 3033 file(s) [attempted 3033/8459 = 35%, 51 KB/s], Decompressed: 2334
Downloaded: 3074 file(s) [attempted 3074/8459 = 36%, 199 KB/s], Decompressed: 2334
Downloaded: 3108 file(s) [attempted 3108/8459 = 36%, 77 KB/s], Decompressed: 2334
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 117 KB/s], Decompressed: 2334
Downloaded: 3194 file(s) [attempted 3194/8459 = 37%, 295 KB/s], Decompressed: 2677
Downloaded: 3231 file(s) [attempted 3231/8459 = 38%, 174 KB/s], Decompressed: 2677
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 254 KB/s], Decompressed: 2677
Downloaded: 3314 file(s) [attempted 3314/8459 = 39%, 281 KB/s], Decompressed: 2677
Downloaded: 3358 file(s) [attempted 3358/8459 = 39%, 366 KB/s], Decompressed: 2677
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 431 KB/s], Decompressed: 2677
Downloaded: 3444 file(s) [attempted 3444/8459 = 40%, 352 KB/s], Decompressed: 2677
Downloaded: 3485 file(s) [attempted 3485/8459 = 41%, 162 KB/s], Decompressed: 2677
Downloaded: 3529 file(s) [attempted 3529/8459 = 41%, 126 KB/s], Decompressed: 2677
Downloaded: 3567 file(s) [attempted 3567/8459 = 42%, 235 KB/s], Decompressed: 2677
Downloaded: 3612 file(s) [attempted 3612/8459 = 42%, 38 KB/s], Decompressed: 2677
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 327 KB/s], Decompressed: 2677
Downloaded: 3697 file(s) [attempted 3697/8459 = 43%, 439 KB/s], Decompressed: 2677
Downloaded: 3738 file(s) [attempted 3738/8459 = 44%, 278 KB/s], Decompressed: 2677
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 372 KB/s], Decompressed: 2677
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 375 KB/s], Decompressed: 2677
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 822 KB/s], Decompressed: 2677
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 172 KB/s], Decompressed: 3180
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 273 KB/s], Decompressed: 3180
Downloaded: 3988 file(s) [attempted 3988/8459 = 47%, 1589 KB/s], Decompressed: 3180
Downloaded: 4030 file(s) [attempted 4030/8459 = 47%, 278 KB/s], Decompressed: 3180
Downloaded: 4071 file(s) [attempted 4071/8459 = 48%, 253 KB/s], Decompressed: 3180
Downloaded: 4108 file(s) [attempted 4108/8459 = 48%, 375 KB/s], Decompressed: 3180
Downloaded: 4153 file(s) [attempted 4153/8459 = 49%, 133 KB/s], Decompressed: 3180
Downloaded: 4191 file(s) [attempted 4191/8459 = 49%, 340 KB/s], Decompressed: 3180
Downloaded: 4235 file(s) [attempted 4235/8459 = 50%, 183 KB/s], Decompressed: 3180
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 76 KB/s], Decompressed: 3180
Downloaded: 4315 file(s) [attempted 4315/8459 = 51%, 206 KB/s], Decompressed: 3180
Downloaded: 4355 file(s) [attempted 4355/8459 = 51%, 357 KB/s], Decompressed: 3180
Downloaded: 4396 file(s) [attempted 4396/8459 = 51%, 34 KB/s], Decompressed: 3180
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 715 KB/s], Decompressed: 3180
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 899 KB/s], Decompressed: 3180
Downloaded: 4519 file(s) [attempted 4519/8459 = 53%, 314 KB/s], Decompressed: 3180
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 72 KB/s], Decompressed: 3180
Downloaded: 4598 file(s) [attempted 4598/8459 = 54%, 735 KB/s], Decompressed: 3180
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 335 KB/s], Decompressed: 3893
Downloaded: 4680 file(s) [attempted 4680/8459 = 55%, 190 KB/s], Decompressed: 3893
Downloaded: 4721 file(s) [attempted 4721/8459 = 55%, 191 KB/s], Decompressed: 3893
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 1365 KB/s], Decompressed: 3893
Downloaded: 4804 file(s) [attempted 4804/8459 = 56%, 152 KB/s], Decompressed: 3893
Downloaded: 4845 file(s) [attempted 4845/8459 = 57%, 1832 KB/s], Decompressed: 3893
Downloaded: 4882 file(s) [attempted 4882/8459 = 57%, 274 KB/s], Decompressed: 3893
Downloaded: 4924 file(s) [attempted 4924/8459 = 58%, 454 KB/s], Decompressed: 3893
Downloaded: 4971 file(s) [attempted 4971/8459 = 58%, 105 KB/s], Decompressed: 3893
Downloaded: 5013 file(s) [attempted 5013/8459 = 59%, 86 KB/s], Decompressed: 3893
Downloaded: 5054 file(s) [attempted 5054/8459 = 59%, 385 KB/s], Decompressed: 3893
Downloaded: 5091 file(s) [attempted 5091/8459 = 60%, 986 KB/s], Decompressed: 3893
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 1393 KB/s], Decompressed: 3893
Downloaded: 5174 file(s) [attempted 5174/8459 = 61%, 110 KB/s], Decompressed: 3893
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 113 KB/s], Decompressed: 3893
Downloaded: 5256 file(s) [attempted 5256/8459 = 62%, 18 KB/s], Decompressed: 3893
Downloaded: 5307 file(s) [attempted 5307/8459 = 62%, 176 KB/s], Decompressed: 3893
Downloaded: 5355 file(s) [attempted 5355/8459 = 63%, 618 KB/s], Decompressed: 4639
Downloaded: 5407 file(s) [attempted 5407/8459 = 63%, 18 KB/s], Decompressed: 4639
Downloaded: 5455 file(s) [attempted 5455/8459 = 64%, 164 KB/s], Decompressed: 4639
Downloaded: 5503 file(s) [attempted 5503/8459 = 65%, 611 KB/s], Decompressed: 4639
Downloaded: 5550 file(s) [attempted 5550/8459 = 65%, 466 KB/s], Decompressed: 4639
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 669 KB/s], Decompressed: 4639
Downloaded: 5646 file(s) [attempted 5646/8459 = 66%, 551 KB/s], Decompressed: 4639
Downloaded: 5694 file(s) [attempted 5694/8459 = 67%, 351 KB/s], Decompressed: 4639
Downloaded: 5742 file(s) [attempted 5742/8459 = 67%, 39 KB/s], Decompressed: 4639
Downloaded: 5790 file(s) [attempted 5790/8459 = 68%, 134 KB/s], Decompressed: 4639
Downloaded: 5838 file(s) [attempted 5838/8459 = 69%, 163 KB/s], Decompressed: 4639
Downloaded: 5890 file(s) [attempted 5890/8459 = 69%, 50 KB/s], Decompressed: 4639
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 827 KB/s], Decompressed: 4639
Downloaded: 5989 file(s) [attempted 5989/8459 = 70%, 1535 KB/s], Decompressed: 4639
Downloaded: 6040 file(s) [attempted 6040/8459 = 71%, 227 KB/s], Decompressed: 5355
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 753 KB/s], Decompressed: 5355
Downloaded: 6136 file(s) [attempted 6136/8459 = 72%, 228 KB/s], Decompressed: 5355
Downloaded: 6170 file(s) [attempted 6170/8459 = 72%, 152 KB/s], Decompressed: 5355
Downloaded: 6208 file(s) [attempted 6208/8459 = 73%, 445 KB/s], Decompressed: 5355
Downloaded: 6246 file(s) [attempted 6246/8459 = 73%, 32 KB/s], Decompressed: 5355
Downloaded: 6294 file(s) [attempted 6294/8459 = 74%, 765 KB/s], Decompressed: 5355
Downloaded: 6342 file(s) [attempted 6342/8459 = 74%, 276 KB/s], Decompressed: 5355
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 371 KB/s], Decompressed: 5355
Downloaded: 6424 file(s) [attempted 6424/8459 = 75%, 148 KB/s], Decompressed: 5355
Downloaded: 6462 file(s) [attempted 6462/8459 = 76%, 892 KB/s], Decompressed: 5355
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 585 KB/s], Decompressed: 5355
Downloaded: 6544 file(s) [attempted 6544/8459 = 77%, 318 KB/s], Decompressed: 5355
Downloaded: 6595 file(s) [attempted 6595/8459 = 77%, 59 KB/s], Decompressed: 6020
Downloaded: 6640 file(s) [attempted 6640/8459 = 78%, 1065 KB/s], Decompressed: 6020
Downloaded: 6688 file(s) [attempted 6688/8459 = 79%, 146 KB/s], Decompressed: 6020
Downloaded: 6732 file(s) [attempted 6732/8459 = 79%, 916 KB/s], Decompressed: 6020
Downloaded: 6770 file(s) [attempted 6770/8459 = 80%, 457 KB/s], Decompressed: 6020
Downloaded: 6807 file(s) [attempted 6807/8459 = 80%, 44 KB/s], Decompressed: 6020
Downloaded: 6845 file(s) [attempted 6845/8459 = 80%, 395 KB/s], Decompressed: 6020
Downloaded: 6893 file(s) [attempted 6893/8459 = 81%, 298 KB/s], Decompressed: 6020
Downloaded: 6941 file(s) [attempted 6941/8459 = 82%, 251 KB/s], Decompressed: 6020
Downloaded: 6989 file(s) [attempted 6989/8459 = 82%, 869 KB/s], Decompressed: 6020
Downloaded: 7030 file(s) [attempted 7030/8459 = 83%, 461 KB/s], Decompressed: 6020
Downloaded: 7071 file(s) [attempted 7071/8459 = 83%, 789 KB/s], Decompressed: 6568
Downloaded: 7116 file(s) [attempted 7116/8459 = 84%, 286 KB/s], Decompressed: 6568
Downloaded: 7150 file(s) [attempted 7150/8459 = 84%, 79 KB/s], Decompressed: 6568
Downloaded: 7191 file(s) [attempted 7191/8459 = 85%, 286 KB/s], Decompressed: 6568
Downloaded: 7236 file(s) [attempted 7236/8459 = 85%, 1031 KB/s], Decompressed: 6568
Downloaded: 7280 file(s) [attempted 7280/8459 = 86%, 131 KB/s], Decompressed: 6568
Downloaded: 7321 file(s) [attempted 7321/8459 = 86%, 582 KB/s], Decompressed: 6568
Downloaded: 7369 file(s) [attempted 7369/8459 = 87%, 304 KB/s], Decompressed: 6568
Downloaded: 7407 file(s) [attempted 7407/8459 = 87%, 387 KB/s], Decompressed: 6568
Downloaded: 7441 file(s) [attempted 7441/8459 = 87%, 109 KB/s], Decompressed: 6568
Downloaded: 7486 file(s) [attempted 7486/8459 = 88%, 284 KB/s], Decompressed: 6568
Downloaded: 7527 file(s) [attempted 7527/8459 = 88%, 180 KB/s], Decompressed: 7058
Downloaded: 7571 file(s) [attempted 7571/8459 = 89%, 293 KB/s], Decompressed: 7058
Downloaded: 7616 file(s) [attempted 7616/8459 = 90%, 170 KB/s], Decompressed: 7058
Downloaded: 7653 file(s) [attempted 7653/8459 = 90%, 106 KB/s], Decompressed: 7058
Downloaded: 7688 file(s) [attempted 7688/8459 = 90%, 797 KB/s], Decompressed: 7058
Downloaded: 7729 file(s) [attempted 7729/8459 = 91%, 138 KB/s], Decompressed: 7058
Downloaded: 7773 file(s) [attempted 7773/8459 = 91%, 312 KB/s], Decompressed: 7058
Downloaded: 7818 file(s) [attempted 7818/8459 = 92%, 95 KB/s], Decompressed: 7058
Downloaded: 7859 file(s) [attempted 7859/8459 = 92%, 33 KB/s], Decompressed: 7058
Downloaded: 7893 file(s) [attempted 7893/8459 = 93%, 1259 KB/s], Decompressed: 7058
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 372 KB/s], Decompressed: 7517
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 386 KB/s], Decompressed: 7517
Downloaded: 8019 file(s) [attempted 8019/8459 = 94%, 176 KB/s], Decompressed: 7517
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 184 KB/s], Decompressed: 7517
Downloaded: 8099 file(s) [attempted 8099/8459 = 95%, 178 KB/s], Decompressed: 7517
Downloaded: 8136 file(s) [attempted 8136/8459 = 96%, 1042 KB/s], Decompressed: 7517
Downloaded: 8174 file(s) [attempted 8174/8459 = 96%, 299 KB/s], Decompressed: 7517
Downloaded: 8222 file(s) [attempted 8222/8459 = 97%, 81 KB/s], Decompressed: 7517
Downloaded: 8270 file(s) [attempted 8270/8459 = 97%, 245 KB/s], Decompressed: 7517
Downloaded: 8315 file(s) [attempted 8315/8459 = 98%, 161 KB/s], Decompressed: 7924
Downloaded: 8349 file(s) [attempted 8349/8459 = 98%, 81 KB/s], Decompressed: 7924
Downloaded: 8393 file(s) [attempted 8393/8459 = 99%, 335 KB/s], Decompressed: 7924
Downloaded: 8428 file(s) [attempted 8428/8459 = 99%, 346 KB/s], Decompressed: 7924
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 109 KB/s], Decompressed: 7924
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 109 KB/s], Decompressed: 7924

apx-runtime-resource-v1	apx-verifier-job-1716-runtime-lake_cache-3629789-1787396250923821317-0	3956736	4214784	21474836480	0	0	0	0	0	0	3790073856	4025851904	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7201479
stdout:
✔ [500/502] Built Iut.Foundations.Species (78s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (71s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (71s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (365s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (102s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (127s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (222s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (116s)
✔ [790/791] Built Iut.Foundations.QualitativeData (162s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (675s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (990s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1209s)
✔ [3963/3966] Built Iut.Foundations.OrbicurvePullback (1101s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (379s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (341s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (462s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1716-runtime-lean_checker-3629789-1787396582129248545-1 on attempt 2

$ lake build :blueprint
exit_code=Some(1) duration_ms=16131
stderr:
error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1716-runtime-blueprint_build-3629789-1787403826813978055-2	1150976	1392640	21474836480	0	0	0	0	0	0	882315264	985808896	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 239 ms · created 8/22/2026, 1:04:04 PM

git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1716-source

Cloning into '/var/lib/apodeixis/repos/job-1716-source'...
error: unable to read askpass response from '/usr/bin/false'
fatal: could not read Username for 'https://github.com': terminal prompts disabled

git_cloneexit 0duration 4s · created 8/22/2026, 1:04:04 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 276 ms · created 8/22/2026, 1:04:04 PM

git checkout 0c6fca4c90f459016dbee2100497ec814e10bb12

Note: switching to '0c6fca4c90f459016dbee2100497ec814e10bb12'.

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 0c6fca4 E23.3: audit scalar-currency correspondence (#956)

lake_cacheexit 0duration 5m 31s · created 8/22/2026, 1:04:04 PM

lake exe cache get

Current branch: HEAD
Using cache (Azure) from origin: (some leanprover-community/mathlib4)
Attempting to download 8459 file(s) from leanprover-community/mathlib4 cache
Decompressed 8459 file(s)
Already decompressed 8459 file(s)

✔ [8/25] Built Cache.Lean (1.1s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (119ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (151ms)
✔ [13/25] Built Cache.Lean:c.o (129ms)
✔ [15/25] Built Cache.Init (320ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (88ms)
✔ [18/25] Built Cache.IO:c.o (1.1s)
✔ [19/25] Built Cache.Hashing (986ms)
✔ [20/25] Built Cache.Hashing:c.o (393ms)
✔ [21/25] Built Cache.Requests (6.5s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (12s)
✔ [24/25] Built Cache.Main:c.o (574ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 5 KB/s], Decompressed: 13
Downloaded: 39 file(s) [attempted 39/8459 = 0%, 17 KB/s], Decompressed: 19
Downloaded: 65 file(s) [attempted 65/8459 = 0%, 203 KB/s], Decompressed: 26
Downloaded: 89 file(s) [attempted 89/8459 = 1%, 243 KB/s], Decompressed: 26
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 161 KB/s], Decompressed: 42
Downloaded: 152 file(s) [attempted 152/8459 = 1%, 98 KB/s], Decompressed: 42
Downloaded: 182 file(s) [attempted 182/8459 = 2%, 251 KB/s], Decompressed: 42
Downloaded: 220 file(s) [attempted 220/8459 = 2%, 95 KB/s], Decompressed: 42
Downloaded: 258 file(s) [attempted 258/8459 = 3%, 36 KB/s], Decompressed: 107
Downloaded: 289 file(s) [attempted 289/8459 = 3%, 130 KB/s], Decompressed: 107
Downloaded: 326 file(s) [attempted 326/8459 = 3%, 311 KB/s], Decompressed: 107
Downloaded: 367 file(s) [attempted 367/8459 = 4%, 612 KB/s], Decompressed: 107
Downloaded: 405 file(s) [attempted 405/8459 = 4%, 468 KB/s], Decompressed: 107
Downloaded: 443 file(s) [attempted 443/8459 = 5%, 243 KB/s], Decompressed: 241
Downloaded: 484 file(s) [attempted 484/8459 = 5%, 27 KB/s], Decompressed: 241
Downloaded: 522 file(s) [attempted 522/8459 = 6%, 1452 KB/s], Decompressed: 241
Downloaded: 563 file(s) [attempted 563/8459 = 6%, 556 KB/s], Decompressed: 241
Downloaded: 604 file(s) [attempted 604/8459 = 7%, 71 KB/s], Decompressed: 241
Downloaded: 645 file(s) [attempted 645/8459 = 7%, 149 KB/s], Decompressed: 429
Downloaded: 686 file(s) [attempted 686/8459 = 8%, 164 KB/s], Decompressed: 429
Downloaded: 727 file(s) [attempted 727/8459 = 8%, 101 KB/s], Decompressed: 429
Downloaded: 769 file(s) [attempted 769/8459 = 9%, 487 KB/s], Decompressed: 429
Downloaded: 810 file(s) [attempted 810/8459 = 9%, 130 KB/s], Decompressed: 429
Downloaded: 851 file(s) [attempted 851/8459 = 10%, 38 KB/s], Decompressed: 631
Downloaded: 892 file(s) [attempted 892/8459 = 10%, 86 KB/s], Decompressed: 631
Downloaded: 930 file(s) [attempted 930/8459 = 10%, 161 KB/s], Decompressed: 631
Downloaded: 971 file(s) [attempted 971/8459 = 11%, 550 KB/s], Decompressed: 631
Downloaded: 1009 file(s) [attempted 1009/8459 = 11%, 907 KB/s], Decompressed: 631
Downloaded: 1050 file(s) [attempted 1050/8459 = 12%, 633 KB/s], Decompressed: 631
Downloaded: 1087 file(s) [attempted 1087/8459 = 12%, 65 KB/s], Decompressed: 847
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 292 KB/s], Decompressed: 847
Downloaded: 1176 file(s) [attempted 1176/8459 = 13%, 640 KB/s], Decompressed: 847
Downloaded: 1217 file(s) [attempted 1217/8459 = 14%, 383 KB/s], Decompressed: 847
Downloaded: 1255 file(s) [attempted 1255/8459 = 14%, 43 KB/s], Decompressed: 847
Downloaded: 1296 file(s) [attempted 1296/8459 = 15%, 707 KB/s], Decompressed: 847
Downloaded: 1337 file(s) [attempted 1337/8459 = 15%, 325 KB/s], Decompressed: 847
Downloaded: 1378 file(s) [attempted 1378/8459 = 16%, 30 KB/s], Decompressed: 1084
Downloaded: 1423 file(s) [attempted 1423/8459 = 16%, 181 KB/s], Decompressed: 1084
Downloaded: 1464 file(s) [attempted 1464/8459 = 17%, 500 KB/s], Decompressed: 1084
Downloaded: 1502 file(s) [attempted 1502/8459 = 17%, 42 KB/s], Decompressed: 1084
Downloaded: 1539 file(s) [attempted 1539/8459 = 18%, 94 KB/s], Decompressed: 1084
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 462 KB/s], Decompressed: 1084
Downloaded: 1628 file(s) [attempted 1628/8459 = 19%, 81 KB/s], Decompressed: 1367
Downloaded: 1673 file(s) [attempted 1673/8459 = 19%, 118 KB/s], Decompressed: 1367
Downloaded: 1714 file(s) [attempted 1714/8459 = 20%, 166 KB/s], Decompressed: 1367
Downloaded: 1759 file(s) [attempted 1759/8459 = 20%, 115 KB/s], Decompressed: 1367
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 230 KB/s], Decompressed: 1367
Downloaded: 1834 file(s) [attempted 1834/8459 = 21%, 681 KB/s], Decompressed: 1367
Downloaded: 1875 file(s) [attempted 1875/8459 = 22%, 465 KB/s], Decompressed: 1628
Downloaded: 1920 file(s) [attempted 1920/8459 = 22%, 62 KB/s], Decompressed: 1628
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 170 KB/s], Decompressed: 1628
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 78 KB/s], Decompressed: 1628
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 55 KB/s], Decompressed: 1628
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 111 KB/s], Decompressed: 1861
Downloaded: 2122 file(s) [attempted 2122/8459 = 25%, 1219 KB/s], Decompressed: 1861
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 226 KB/s], Decompressed: 1861
Downloaded: 2207 file(s) [attempted 2207/8459 = 26%, 153 KB/s], Decompressed: 1861
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 401 KB/s], Decompressed: 1861
Downloaded: 2290 file(s) [attempted 2290/8459 = 27%, 22 KB/s], Decompressed: 1861
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 40 KB/s], Decompressed: 1861
Downloaded: 2361 file(s) [attempted 2361/8459 = 27%, 403 KB/s], Decompressed: 2077
Downloaded: 2399 file(s) [attempted 2399/8459 = 28%, 503 KB/s], Decompressed: 2077
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 69 KB/s], Decompressed: 2077
Downloaded: 2492 file(s) [attempted 2492/8459 = 29%, 385 KB/s], Decompressed: 2077
Downloaded: 2533 file(s) [attempted 2533/8459 = 29%, 528 KB/s], Decompressed: 2077
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 915 KB/s], Decompressed: 2077
Downloaded: 2608 file(s) [attempted 2608/8459 = 30%, 255 KB/s], Decompressed: 2077
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 51 KB/s], Decompressed: 2077
Downloaded: 2694 file(s) [attempted 2694/8459 = 31%, 379 KB/s], Decompressed: 2334
Downloaded: 2738 file(s) [attempted 2738/8459 = 32%, 122 KB/s], Decompressed: 2334
Downloaded: 2783 file(s) [attempted 2783/8459 = 32%, 54 KB/s], Decompressed: 2334
Downloaded: 2827 file(s) [attempted 2827/8459 = 33%, 587 KB/s], Decompressed: 2334
Downloaded: 2862 file(s) [attempted 2862/8459 = 33%, 255 KB/s], Decompressed: 2334
Downloaded: 2906 file(s) [attempted 2906/8459 = 34%, 120 KB/s], Decompressed: 2334
Downloaded: 2951 file(s) [attempted 2951/8459 = 34%, 661 KB/s], Decompressed: 2334
Downloaded: 2988 file(s) [attempted 2988/8459 = 35%, 294 KB/s], Decompressed: 2334
Downloaded: 3033 file(s) [attempted 3033/8459 = 35%, 51 KB/s], Decompressed: 2334
Downloaded: 3074 file(s) [attempted 3074/8459 = 36%, 199 KB/s], Decompressed: 2334
Downloaded: 3108 file(s) [attempted 3108/8459 = 36%, 77 KB/s], Decompressed: 2334
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 117 KB/s], Decompressed: 2334
Downloaded: 3194 file(s) [attempted 3194/8459 = 37%, 295 KB/s], Decompressed: 2677
Downloaded: 3231 file(s) [attempted 3231/8459 = 38%, 174 KB/s], Decompressed: 2677
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 254 KB/s], Decompressed: 2677
Downloaded: 3314 file(s) [attempted 3314/8459 = 39%, 281 KB/s], Decompressed: 2677
Downloaded: 3358 file(s) [attempted 3358/8459 = 39%, 366 KB/s], Decompressed: 2677
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 431 KB/s], Decompressed: 2677
Downloaded: 3444 file(s) [attempted 3444/8459 = 40%, 352 KB/s], Decompressed: 2677
Downloaded: 3485 file(s) [attempted 3485/8459 = 41%, 162 KB/s], Decompressed: 2677
Downloaded: 3529 file(s) [attempted 3529/8459 = 41%, 126 KB/s], Decompressed: 2677
Downloaded: 3567 file(s) [attempted 3567/8459 = 42%, 235 KB/s], Decompressed: 2677
Downloaded: 3612 file(s) [attempted 3612/8459 = 42%, 38 KB/s], Decompressed: 2677
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 327 KB/s], Decompressed: 2677
Downloaded: 3697 file(s) [attempted 3697/8459 = 43%, 439 KB/s], Decompressed: 2677
Downloaded: 3738 file(s) [attempted 3738/8459 = 44%, 278 KB/s], Decompressed: 2677
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 372 KB/s], Decompressed: 2677
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 375 KB/s], Decompressed: 2677
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 822 KB/s], Decompressed: 2677
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 172 KB/s], Decompressed: 3180
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 273 KB/s], Decompressed: 3180
Downloaded: 3988 file(s) [attempted 3988/8459 = 47%, 1589 KB/s], Decompressed: 3180
Downloaded: 4030 file(s) [attempted 4030/8459 = 47%, 278 KB/s], Decompressed: 3180
Downloaded: 4071 file(s) [attempted 4071/8459 = 48%, 253 KB/s], Decompressed: 3180
Downloaded: 4108 file(s) [attempted 4108/8459 = 48%, 375 KB/s], Decompressed: 3180
Downloaded: 4153 file(s) [attempted 4153/8459 = 49%, 133 KB/s], Decompressed: 3180
Downloaded: 4191 file(s) [attempted 4191/8459 = 49%, 340 KB/s], Decompressed: 3180
Downloaded: 4235 file(s) [attempted 4235/8459 = 50%, 183 KB/s], Decompressed: 3180
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 76 KB/s], Decompressed: 3180
Downloaded: 4315 file(s) [attempted 4315/8459 = 51%, 206 KB/s], Decompressed: 3180
Downloaded: 4355 file(s) [attempted 4355/8459 = 51%, 357 KB/s], Decompressed: 3180
Downloaded: 4396 file(s) [attempted 4396/8459 = 51%, 34 KB/s], Decompressed: 3180
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 715 KB/s], Decompressed: 3180
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 899 KB/s], Decompressed: 3180
Downloaded: 4519 file(s) [attempted 4519/8459 = 53%, 314 KB/s], Decompressed: 3180
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 72 KB/s], Decompressed: 3180
Downloaded: 4598 file(s) [attempted 4598/8459 = 54%, 735 KB/s], Decompressed: 3180
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 335 KB/s], Decompressed: 3893
Downloaded: 4680 file(s) [attempted 4680/8459 = 55%, 190 KB/s], Decompressed: 3893
Downloaded: 4721 file(s) [attempted 4721/8459 = 55%, 191 KB/s], Decompressed: 3893
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 1365 KB/s], Decompressed: 3893
Downloaded: 4804 file(s) [attempted 4804/8459 = 56%, 152 KB/s], Decompressed: 3893
Downloaded: 4845 file(s) [attempted 4845/8459 = 57%, 1832 KB/s], Decompressed: 3893
Downloaded: 4882 file(s) [attempted 4882/8459 = 57%, 274 KB/s], Decompressed: 3893
Downloaded: 4924 file(s) [attempted 4924/8459 = 58%, 454 KB/s], Decompressed: 3893
Downloaded: 4971 file(s) [attempted 4971/8459 = 58%, 105 KB/s], Decompressed: 3893
Downloaded: 5013 file(s) [attempted 5013/8459 = 59%, 86 KB/s], Decompressed: 3893
Downloaded: 5054 file(s) [attempted 5054/8459 = 59%, 385 KB/s], Decompressed: 3893
Downloaded: 5091 file(s) [attempted 5091/8459 = 60%, 986 KB/s], Decompressed: 3893
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 1393 KB/s], Decompressed: 3893
Downloaded: 5174 file(s) [attempted 5174/8459 = 61%, 110 KB/s], Decompressed: 3893
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 113 KB/s], Decompressed: 3893
Downloaded: 5256 file(s) [attempted 5256/8459 = 62%, 18 KB/s], Decompressed: 3893
Downloaded: 5307 file(s) [attempted 5307/8459 = 62%, 176 KB/s], Decompressed: 3893
Downloaded: 5355 file(s) [attempted 5355/8459 = 63%, 618 KB/s], Decompressed: 4639
Downloaded: 5407 file(s) [attempted 5407/8459 = 63%, 18 KB/s], Decompressed: 4639
Downloaded: 5455 file(s) [attempted 5455/8459 = 64%, 164 KB/s], Decompressed: 4639
Downloaded: 5503 file(s) [attempted 5503/8459 = 65%, 611 KB/s], Decompressed: 4639
Downloaded: 5550 file(s) [attempted 5550/8459 = 65%, 466 KB/s], Decompressed: 4639
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 669 KB/s], Decompressed: 4639
Downloaded: 5646 file(s) [attempted 5646/8459 = 66%, 551 KB/s], Decompressed: 4639
Downloaded: 5694 file(s) [attempted 5694/8459 = 67%, 351 KB/s], Decompressed: 4639
Downloaded: 5742 file(s) [attempted 5742/8459 = 67%, 39 KB/s], Decompressed: 4639
Downloaded: 5790 file(s) [attempted 5790/8459 = 68%, 134 KB/s], Decompressed: 4639
Downloaded: 5838 file(s) [attempted 5838/8459 = 69%, 163 KB/s], Decompressed: 4639
Downloaded: 5890 file(s) [attempted 5890/8459 = 69%, 50 KB/s], Decompressed: 4639
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 827 KB/s], Decompressed: 4639
Downloaded: 5989 file(s) [attempted 5989/8459 = 70%, 1535 KB/s], Decompressed: 4639
Downloaded: 6040 file(s) [attempted 6040/8459 = 71%, 227 KB/s], Decompressed: 5355
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 753 KB/s], Decompressed: 5355
Downloaded: 6136 file(s) [attempted 6136/8459 = 72%, 228 KB/s], Decompressed: 5355
Downloaded: 6170 file(s) [attempted 6170/8459 = 72%, 152 KB/s], Decompressed: 5355
Downloaded: 6208 file(s) [attempted 6208/8459 = 73%, 445 KB/s], Decompressed: 5355
Downloaded: 6246 file(s) [attempted 6246/8459 = 73%, 32 KB/s], Decompressed: 5355
Downloaded: 6294 file(s) [attempted 6294/8459 = 74%, 765 KB/s], Decompressed: 5355
Downloaded: 6342 file(s) [attempted 6342/8459 = 74%, 276 KB/s], Decompressed: 5355
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 371 KB/s], Decompressed: 5355
Downloaded: 6424 file(s) [attempted 6424/8459 = 75%, 148 KB/s], Decompressed: 5355
Downloaded: 6462 file(s) [attempted 6462/8459 = 76%, 892 KB/s], Decompressed: 5355
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 585 KB/s], Decompressed: 5355
Downloaded: 6544 file(s) [attempted 6544/8459 = 77%, 318 KB/s], Decompressed: 5355
Downloaded: 6595 file(s) [attempted 6595/8459 = 77%, 59 KB/s], Decompressed: 6020
Downloaded: 6640 file(s) [attempted 6640/8459 = 78%, 1065 KB/s], Decompressed: 6020
Downloaded: 6688 file(s) [attempted 6688/8459 = 79%, 146 KB/s], Decompressed: 6020
Downloaded: 6732 file(s) [attempted 6732/8459 = 79%, 916 KB/s], Decompressed: 6020
Downloaded: 6770 file(s) [attempted 6770/8459 = 80%, 457 KB/s], Decompressed: 6020
Downloaded: 6807 file(s) [attempted 6807/8459 = 80%, 44 KB/s], Decompressed: 6020
Downloaded: 6845 file(s) [attempted 6845/8459 = 80%, 395 KB/s], Decompressed: 6020
Downloaded: 6893 file(s) [attempted 6893/8459 = 81%, 298 KB/s], Decompressed: 6020
Downloaded: 6941 file(s) [attempted 6941/8459 = 82%, 251 KB/s], Decompressed: 6020
Downloaded: 6989 file(s) [attempted 6989/8459 = 82%, 869 KB/s], Decompressed: 6020
Downloaded: 7030 file(s) [attempted 7030/8459 = 83%, 461 KB/s], Decompressed: 6020
Downloaded: 7071 file(s) [attempted 7071/8459 = 83%, 789 KB/s], Decompressed: 6568
Downloaded: 7116 file(s) [attempted 7116/8459 = 84%, 286 KB/s], Decompressed: 6568
Downloaded: 7150 file(s) [attempted 7150/8459 = 84%, 79 KB/s], Decompressed: 6568
Downloaded: 7191 file(s) [attempted 7191/8459 = 85%, 286 KB/s], Decompressed: 6568
Downloaded: 7236 file(s) [attempted 7236/8459 = 85%, 1031 KB/s], Decompressed: 6568
Downloaded: 7280 file(s) [attempted 7280/8459 = 86%, 131 KB/s], Decompressed: 6568
Downloaded: 7321 file(s) [attempted 7321/8459 = 86%, 582 KB/s], Decompressed: 6568
Downloaded: 7369 file(s) [attempted 7369/8459 = 87%, 304 KB/s], Decompressed: 6568
Downloaded: 7407 file(s) [attempted 7407/8459 = 87%, 387 KB/s], Decompressed: 6568
Downloaded: 7441 file(s) [attempted 7441/8459 = 87%, 109 KB/s], Decompressed: 6568
Downloaded: 7486 file(s) [attempted 7486/8459 = 88%, 284 KB/s], Decompressed: 6568
Downloaded: 7527 file(s) [attempted 7527/8459 = 88%, 180 KB/s], Decompressed: 7058
Downloaded: 7571 file(s) [attempted 7571/8459 = 89%, 293 KB/s], Decompressed: 7058
Downloaded: 7616 file(s) [attempted 7616/8459 = 90%, 170 KB/s], Decompressed: 7058
Downloaded: 7653 file(s) [attempted 7653/8459 = 90%, 106 KB/s], Decompressed: 7058
Downloaded: 7688 file(s) [attempted 7688/8459 = 90%, 797 KB/s], Decompressed: 7058
Downloaded: 7729 file(s) [attempted 7729/8459 = 91%, 138 KB/s], Decompressed: 7058
Downloaded: 7773 file(s) [attempted 7773/8459 = 91%, 312 KB/s], Decompressed: 7058
Downloaded: 7818 file(s) [attempted 7818/8459 = 92%, 95 KB/s], Decompressed: 7058
Downloaded: 7859 file(s) [attempted 7859/8459 = 92%, 33 KB/s], Decompressed: 7058
Downloaded: 7893 file(s) [attempted 7893/8459 = 93%, 1259 KB/s], Decompressed: 7058
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 372 KB/s], Decompressed: 7517
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 386 KB/s], Decompressed: 7517
Downloaded: 8019 file(s) [attempted 8019/8459 = 94%, 176 KB/s], Decompressed: 7517
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 184 KB/s], Decompressed: 7517
Downloaded: 8099 file(s) [attempted 8099/8459 = 95%, 178 KB/s], Decompressed: 7517
Downloaded: 8136 file(s) [attempted 8136/8459 = 96%, 1042 KB/s], Decompressed: 7517
Downloaded: 8174 file(s) [attempted 8174/8459 = 96%, 299 KB/s], Decompressed: 7517
Downloaded: 8222 file(s) [attempted 8222/8459 = 97%, 81 KB/s], Decompressed: 7517
Downloaded: 8270 file(s) [attempted 8270/8459 = 97%, 245 KB/s], Decompressed: 7517
Downloaded: 8315 file(s) [attempted 8315/8459 = 98%, 161 KB/s], Decompressed: 7924
Downloaded: 8349 file(s) [attempted 8349/8459 = 98%, 81 KB/s], Decompressed: 7924
Downloaded: 8393 file(s) [attempted 8393/8459 = 99%, 335 KB/s], Decompressed: 7924
Downloaded: 8428 file(s) [attempted 8428/8459 = 99%, 346 KB/s], Decompressed: 7924
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 109 KB/s], Decompressed: 7924
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 109 KB/s], Decompressed: 7924

apx-runtime-resource-v1	apx-verifier-job-1716-runtime-lake_cache-3629789-1787396250923821317-0	3956736	4214784	21474836480	0	0	0	0	0	0	3790073856	4025851904	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/22/2026, 1:04:04 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (78s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (71s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (71s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (365s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (102s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (127s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (222s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (116s)
✔ [790/791] Built Iut.Foundations.QualitativeData (162s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (675s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (990s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1209s)
✔ [3963/3966] Built Iut.Foundations.OrbicurvePullback (1101s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (379s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (341s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (462s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1716-runtime-lean_checker-3629789-1787396582129248545-1 on attempt 2

blueprint_buildexit 1duration 16s · created 8/22/2026, 1:04:04 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1716-runtime-blueprint_build-3629789-1787403826813978055-2	1150976	1392640	21474836480	0	0	0	0	0	0	882315264	985808896	21474836480	0	0	0	0	0	0