Verification run

Run 1263

promachina/iut-leanbranch mastertriggered via github_push

failedcommit 18fb83821b30toolchain lean-v4-30-0prover leantook 3h 14m · 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-1706-source
exit_code=Some(128) duration_ms=304
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1706-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=4451
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1706-source'...


$ git checkout 18fb83821b302602fa5ce214ecc64011117fc931
exit_code=Some(0) duration_ms=266
stderr:
Note: switching to '18fb83821b302602fa5ce214ecc64011117fc931'.

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 18fb838 E21.5a: construct the selected-place local-global Galois map (#951)

Resolved source revision: 18fb83821b302602fa5ce214ecc64011117fc931

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=18fb83821b302602fa5ce214ecc64011117fc931 provenance={"branch":"master","checked_out_revision":"18fb83821b302602fa5ce214ecc64011117fc931","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"18fb83821b302602fa5ce214ecc64011117fc931","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=5792 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=4366627
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 (997ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (112ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (167ms)
✔ [13/25] Built Cache.Lean:c.o (152ms)
✔ [15/25] Built Cache.Init (342ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (81ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (1.0s)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (86s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (12s)
✔ [24/25] Built Cache.Main:c.o (559ms)
✔ [25/25] Built cache:exe (4.8s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 1 KB/s], Decompressed: 13
Downloaded: 40 file(s) [attempted 40/8459 = 0%, 15 KB/s], Decompressed: 32
Downloaded: 65 file(s) [attempted 65/8459 = 0%, 54 KB/s], Decompressed: 40
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 180 KB/s], Decompressed: 54
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 409 KB/s], Decompressed: 93
Downloaded: 158 file(s) [attempted 158/8459 = 1%, 96 KB/s], Decompressed: 121
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 509 KB/s], Decompressed: 121
Downloaded: 227 file(s) [attempted 227/8459 = 2%, 54 KB/s], Decompressed: 158
Downloaded: 265 file(s) [attempted 265/8459 = 3%, 177 KB/s], Decompressed: 196
Downloaded: 302 file(s) [attempted 302/8459 = 3%, 89 KB/s], Decompressed: 234
Downloaded: 343 file(s) [attempted 343/8459 = 4%, 243 KB/s], Decompressed: 275
Downloaded: 388 file(s) [attempted 388/8459 = 4%, 1077 KB/s], Decompressed: 323
Downloaded: 422 file(s) [attempted 422/8459 = 4%, 690 KB/s], Decompressed: 367
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 211 KB/s], Decompressed: 367
Downloaded: 501 file(s) [attempted 501/8459 = 5%, 804 KB/s], Decompressed: 419
Downloaded: 539 file(s) [attempted 539/8459 = 6%, 72 KB/s], Decompressed: 419
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 795 KB/s], Decompressed: 484
Downloaded: 618 file(s) [attempted 618/8459 = 7%, 171 KB/s], Decompressed: 546
Downloaded: 662 file(s) [attempted 662/8459 = 7%, 143 KB/s], Decompressed: 546
Downloaded: 700 file(s) [attempted 700/8459 = 8%, 266 KB/s], Decompressed: 614
Downloaded: 745 file(s) [attempted 745/8459 = 8%, 377 KB/s], Decompressed: 679
Downloaded: 775 file(s) [attempted 775/8459 = 9%, 371 KB/s], Decompressed: 679
Downloaded: 817 file(s) [attempted 817/8459 = 9%, 139 KB/s], Decompressed: 745
Downloaded: 861 file(s) [attempted 861/8459 = 10%, 114 KB/s], Decompressed: 745
Downloaded: 902 file(s) [attempted 902/8459 = 10%, 181 KB/s], Decompressed: 803
Downloaded: 947 file(s) [attempted 947/8459 = 11%, 169 KB/s], Decompressed: 803
Downloaded: 988 file(s) [attempted 988/8459 = 11%, 506 KB/s], Decompressed: 885
Downloaded: 1026 file(s) [attempted 1026/8459 = 12%, 267 KB/s], Decompressed: 885
Downloaded: 1070 file(s) [attempted 1070/8459 = 12%, 97 KB/s], Decompressed: 974
Downloaded: 1111 file(s) [attempted 1111/8459 = 13%, 355 KB/s], Decompressed: 974
Downloaded: 1149 file(s) [attempted 1149/8459 = 13%, 177 KB/s], Decompressed: 1056
Downloaded: 1193 file(s) [attempted 1193/8459 = 14%, 57 KB/s], Decompressed: 1056
Downloaded: 1231 file(s) [attempted 1231/8459 = 14%, 87 KB/s], Decompressed: 1142
Downloaded: 1272 file(s) [attempted 1272/8459 = 15%, 264 KB/s], Decompressed: 1142
Downloaded: 1310 file(s) [attempted 1310/8459 = 15%, 264 KB/s], Decompressed: 1142
Downloaded: 1344 file(s) [attempted 1344/8459 = 15%, 69 KB/s], Decompressed: 1231
Downloaded: 1389 file(s) [attempted 1389/8459 = 16%, 104 KB/s], Decompressed: 1231
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 61 KB/s], Decompressed: 1324
Downloaded: 1474 file(s) [attempted 1474/8459 = 17%, 24 KB/s], Decompressed: 1324
Downloaded: 1515 file(s) [attempted 1515/8459 = 17%, 87 KB/s], Decompressed: 1416
Downloaded: 1560 file(s) [attempted 1560/8459 = 18%, 61 KB/s], Decompressed: 1416
Downloaded: 1594 file(s) [attempted 1594/8459 = 18%, 351 KB/s], Decompressed: 1495
Downloaded: 1635 file(s) [attempted 1635/8459 = 19%, 46 KB/s], Decompressed: 1495
Downloaded: 1680 file(s) [attempted 1680/8459 = 19%, 96 KB/s], Decompressed: 1577
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 161 KB/s], Decompressed: 1577
Downloaded: 1765 file(s) [attempted 1765/8459 = 20%, 144 KB/s], Decompressed: 1663
Downloaded: 1803 file(s) [attempted 1803/8459 = 21%, 49 KB/s], Decompressed: 1663
Downloaded: 1841 file(s) [attempted 1841/8459 = 21%, 108 KB/s], Decompressed: 1735
Downloaded: 1875 file(s) [attempted 1875/8459 = 22%, 228 KB/s], Decompressed: 1735
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 510 KB/s], Decompressed: 1813
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 634 KB/s], Decompressed: 1813
Downloaded: 1998 file(s) [attempted 1998/8459 = 23%, 523 KB/s], Decompressed: 1896
Downloaded: 2036 file(s) [attempted 2036/8459 = 24%, 468 KB/s], Decompressed: 1896
Downloaded: 2074 file(s) [attempted 2074/8459 = 24%, 36 KB/s], Decompressed: 1968
Downloaded: 2118 file(s) [attempted 2118/8459 = 25%, 77 KB/s], Decompressed: 1968
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 208 KB/s], Decompressed: 2060
Downloaded: 2204 file(s) [attempted 2204/8459 = 26%, 90 KB/s], Decompressed: 2060
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 302 KB/s], Decompressed: 2153
Downloaded: 2283 file(s) [attempted 2283/8459 = 26%, 337 KB/s], Decompressed: 2153
Downloaded: 2320 file(s) [attempted 2320/8459 = 27%, 95 KB/s], Decompressed: 2242
Downloaded: 2365 file(s) [attempted 2365/8459 = 27%, 105 KB/s], Decompressed: 2242
Downloaded: 2409 file(s) [attempted 2409/8459 = 28%, 283 KB/s], Decompressed: 2320
Downloaded: 2451 file(s) [attempted 2451/8459 = 28%, 94 KB/s], Decompressed: 2320
Downloaded: 2488 file(s) [attempted 2488/8459 = 29%, 117 KB/s], Decompressed: 2320
Downloaded: 2526 file(s) [attempted 2526/8459 = 29%, 262 KB/s], Decompressed: 2406
Downloaded: 2570 file(s) [attempted 2570/8459 = 30%, 31 KB/s], Decompressed: 2406
Downloaded: 2615 file(s) [attempted 2615/8459 = 30%, 102 KB/s], Decompressed: 2509
Downloaded: 2653 file(s) [attempted 2653/8459 = 31%, 91 KB/s], Decompressed: 2509
Downloaded: 2694 file(s) [attempted 2694/8459 = 31%, 378 KB/s], Decompressed: 2509
Downloaded: 2735 file(s) [attempted 2735/8459 = 32%, 51 KB/s], Decompressed: 2608
Downloaded: 2773 file(s) [attempted 2773/8459 = 32%, 1302 KB/s], Decompressed: 2608
Downloaded: 2817 file(s) [attempted 2817/8459 = 33%, 65 KB/s], Decompressed: 2701
Downloaded: 2858 file(s) [attempted 2858/8459 = 33%, 523 KB/s], Decompressed: 2701
Downloaded: 2896 file(s) [attempted 2896/8459 = 34%, 539 KB/s], Decompressed: 2701
Downloaded: 2940 file(s) [attempted 2940/8459 = 34%, 959 KB/s], Decompressed: 2793
Downloaded: 2988 file(s) [attempted 2988/8459 = 35%, 754 KB/s], Decompressed: 2793
Downloaded: 3029 file(s) [attempted 3029/8459 = 35%, 386 KB/s], Decompressed: 2898
Downloaded: 3074 file(s) [attempted 3074/8459 = 36%, 355 KB/s], Decompressed: 2992
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 661 KB/s], Decompressed: 2992
Downloaded: 3149 file(s) [attempted 3149/8459 = 37%, 553 KB/s], Decompressed: 3074
Downloaded: 3190 file(s) [attempted 3190/8459 = 37%, 1242 KB/s], Decompressed: 3074
Downloaded: 3231 file(s) [attempted 3231/8459 = 38%, 1057 KB/s], Decompressed: 3149
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 2723 KB/s], Decompressed: 3149
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 387 KB/s], Decompressed: 3225
Downloaded: 3358 file(s) [attempted 3358/8459 = 39%, 230 KB/s], Decompressed: 3225
Downloaded: 3399 file(s) [attempted 3399/8459 = 40%, 72 KB/s], Decompressed: 3297
Downloaded: 3440 file(s) [attempted 3440/8459 = 40%, 391 KB/s], Decompressed: 3297
Downloaded: 3482 file(s) [attempted 3482/8459 = 41%, 93 KB/s], Decompressed: 3372
Downloaded: 3519 file(s) [attempted 3519/8459 = 41%, 189 KB/s], Decompressed: 3372
Downloaded: 3560 file(s) [attempted 3560/8459 = 42%, 203 KB/s], Decompressed: 3458
Downloaded: 3605 file(s) [attempted 3605/8459 = 42%, 102 KB/s], Decompressed: 3458
Downloaded: 3643 file(s) [attempted 3643/8459 = 43%, 46 KB/s], Decompressed: 3540
Downloaded: 3687 file(s) [attempted 3687/8459 = 43%, 29 KB/s], Decompressed: 3540
Downloaded: 3728 file(s) [attempted 3728/8459 = 44%, 1020 KB/s], Decompressed: 3615
Downloaded: 3762 file(s) [attempted 3762/8459 = 44%, 111 KB/s], Decompressed: 3615
Downloaded: 3804 file(s) [attempted 3804/8459 = 44%, 55 KB/s], Decompressed: 3690
Downloaded: 3845 file(s) [attempted 3845/8459 = 45%, 55 KB/s], Decompressed: 3690
Downloaded: 3886 file(s) [attempted 3886/8459 = 45%, 142 KB/s], Decompressed: 3769
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 154 KB/s], Decompressed: 3848
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 104 KB/s], Decompressed: 3848
Downloaded: 4002 file(s) [attempted 4002/8459 = 47%, 79 KB/s], Decompressed: 3923
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 76 KB/s], Decompressed: 3923
Downloaded: 4095 file(s) [attempted 4095/8459 = 48%, 1019 KB/s], Decompressed: 3999
Downloaded: 4132 file(s) [attempted 4132/8459 = 48%, 327 KB/s], Decompressed: 3999
Downloaded: 4170 file(s) [attempted 4170/8459 = 49%, 235 KB/s], Decompressed: 4074
Downloaded: 4218 file(s) [attempted 4218/8459 = 49%, 313 KB/s], Decompressed: 4074
Downloaded: 4259 file(s) [attempted 4259/8459 = 50%, 207 KB/s], Decompressed: 4156
Downloaded: 4297 file(s) [attempted 4297/8459 = 50%, 389 KB/s], Decompressed: 4156
Downloaded: 4338 file(s) [attempted 4338/8459 = 51%, 222 KB/s], Decompressed: 4239
Downloaded: 4379 file(s) [attempted 4379/8459 = 51%, 1027 KB/s], Decompressed: 4239
Downloaded: 4423 file(s) [attempted 4423/8459 = 52%, 142 KB/s], Decompressed: 4331
Downloaded: 4465 file(s) [attempted 4465/8459 = 52%, 609 KB/s], Decompressed: 4331
Downloaded: 4499 file(s) [attempted 4499/8459 = 53%, 605 KB/s], Decompressed: 4331
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 145 KB/s], Decompressed: 4423
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 221 KB/s], Decompressed: 4423
Downloaded: 4629 file(s) [attempted 4629/8459 = 54%, 145 KB/s], Decompressed: 4519
Downloaded: 4674 file(s) [attempted 4674/8459 = 55%, 221 KB/s], Decompressed: 4519
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 24 KB/s], Decompressed: 4519
Downloaded: 4752 file(s) [attempted 4752/8459 = 56%, 82 KB/s], Decompressed: 4619
Downloaded: 4790 file(s) [attempted 4790/8459 = 56%, 667 KB/s], Decompressed: 4619
Downloaded: 4831 file(s) [attempted 4831/8459 = 57%, 51 KB/s], Decompressed: 4619
Downloaded: 4876 file(s) [attempted 4876/8459 = 57%, 106 KB/s], Decompressed: 4718
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 273 KB/s], Decompressed: 4718
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 394 KB/s], Decompressed: 4718
Downloaded: 4999 file(s) [attempted 4999/8459 = 59%, 268 KB/s], Decompressed: 4718
Downloaded: 5037 file(s) [attempted 5037/8459 = 59%, 101 KB/s], Decompressed: 4718
Downloaded: 5078 file(s) [attempted 5078/8459 = 60%, 488 KB/s], Decompressed: 4869
Downloaded: 5122 file(s) [attempted 5122/8459 = 60%, 477 KB/s], Decompressed: 4869
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 27 KB/s], Decompressed: 4869
Downloaded: 5194 file(s) [attempted 5194/8459 = 61%, 224 KB/s], Decompressed: 4869
Downloaded: 5235 file(s) [attempted 5235/8459 = 61%, 998 KB/s], Decompressed: 4869
Downloaded: 5276 file(s) [attempted 5276/8459 = 62%, 79 KB/s], Decompressed: 4869
Downloaded: 5317 file(s) [attempted 5317/8459 = 62%, 1890 KB/s], Decompressed: 4869
Downloaded: 5356 file(s) [attempted 5356/8459 = 63%, 154 KB/s], Decompressed: 5078
Downloaded: 5396 file(s) [attempted 5396/8459 = 63%, 190 KB/s], Decompressed: 5078
Downloaded: 5437 file(s) [attempted 5437/8459 = 64%, 243 KB/s], Decompressed: 5078
Downloaded: 5482 file(s) [attempted 5482/8459 = 64%, 62 KB/s], Decompressed: 5078
Downloaded: 5520 file(s) [attempted 5520/8459 = 65%, 430 KB/s], Decompressed: 5078
Downloaded: 5561 file(s) [attempted 5561/8459 = 65%, 165 KB/s], Decompressed: 5078
Downloaded: 5595 file(s) [attempted 5595/8459 = 66%, 335 KB/s], Decompressed: 5345
Downloaded: 5639 file(s) [attempted 5639/8459 = 66%, 118 KB/s], Decompressed: 5345
Downloaded: 5681 file(s) [attempted 5681/8459 = 67%, 594 KB/s], Decompressed: 5345
Downloaded: 5725 file(s) [attempted 5725/8459 = 67%, 502 KB/s], Decompressed: 5345
Downloaded: 5759 file(s) [attempted 5759/8459 = 68%, 362 KB/s], Decompressed: 5345
Downloaded: 5800 file(s) [attempted 5800/8459 = 68%, 106 KB/s], Decompressed: 5345
Downloaded: 5842 file(s) [attempted 5842/8459 = 69%, 360 KB/s], Decompressed: 5591
Downloaded: 5883 file(s) [attempted 5883/8459 = 69%, 234 KB/s], Decompressed: 5591
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 748 KB/s], Decompressed: 5591
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 452 KB/s], Decompressed: 5591
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 292 KB/s], Decompressed: 5591
Downloaded: 6040 file(s) [attempted 6040/8459 = 71%, 56 KB/s], Decompressed: 5814
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 334 KB/s], Decompressed: 5814
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 159 KB/s], Decompressed: 5814
Downloaded: 6167 file(s) [attempted 6167/8459 = 72%, 177 KB/s], Decompressed: 5814
Downloaded: 6205 file(s) [attempted 6205/8459 = 73%, 523 KB/s], Decompressed: 6009
Downloaded: 6246 file(s) [attempted 6246/8459 = 73%, 186 KB/s], Decompressed: 6009
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 127 KB/s], Decompressed: 6009
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 109 KB/s], Decompressed: 6009
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 522 KB/s], Decompressed: 6184
Downloaded: 6410 file(s) [attempted 6410/8459 = 75%, 88 KB/s], Decompressed: 6184
Downloaded: 6448 file(s) [attempted 6448/8459 = 76%, 37 KB/s], Decompressed: 6184
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 422 KB/s], Decompressed: 6184
Downloaded: 6533 file(s) [attempted 6533/8459 = 77%, 46 KB/s], Decompressed: 6348
Downloaded: 6575 file(s) [attempted 6575/8459 = 77%, 190 KB/s], Decompressed: 6348
Downloaded: 6612 file(s) [attempted 6612/8459 = 78%, 616 KB/s], Decompressed: 6348
Downloaded: 6650 file(s) [attempted 6650/8459 = 78%, 279 KB/s], Decompressed: 6348
Downloaded: 6691 file(s) [attempted 6691/8459 = 79%, 980 KB/s], Decompressed: 6513
Downloaded: 6732 file(s) [attempted 6732/8459 = 79%, 302 KB/s], Decompressed: 6513
Downloaded: 6773 file(s) [attempted 6773/8459 = 80%, 106 KB/s], Decompressed: 6513
Downloaded: 6814 file(s) [attempted 6814/8459 = 80%, 651 KB/s], Decompressed: 6513
Downloaded: 6852 file(s) [attempted 6852/8459 = 81%, 302 KB/s], Decompressed: 6513
Downloaded: 6893 file(s) [attempted 6893/8459 = 81%, 227 KB/s], Decompressed: 6513
Downloaded: 6934 file(s) [attempted 6934/8459 = 81%, 299 KB/s], Decompressed: 6670
Downloaded: 6975 file(s) [attempted 6975/8459 = 82%, 115 KB/s], Decompressed: 6670
Downloaded: 7016 file(s) [attempted 7016/8459 = 82%, 119 KB/s], Decompressed: 6670
Downloaded: 7061 file(s) [attempted 7061/8459 = 83%, 89 KB/s], Decompressed: 6670
Downloaded: 7102 file(s) [attempted 7102/8459 = 83%, 147 KB/s], Decompressed: 6670
Downloaded: 7136 file(s) [attempted 7136/8459 = 84%, 480 KB/s], Decompressed: 6670
Downloaded: 7181 file(s) [attempted 7181/8459 = 84%, 933 KB/s], Decompressed: 6670
Downloaded: 7222 file(s) [attempted 7222/8459 = 85%, 319 KB/s], Decompressed: 6897
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 120 KB/s], Decompressed: 6897
Downloaded: 7301 file(s) [attempted 7301/8459 = 86%, 163 KB/s], Decompressed: 6897
Downloaded: 7342 file(s) [attempted 7342/8459 = 86%, 578 KB/s], Decompressed: 6897
Downloaded: 7383 file(s) [attempted 7383/8459 = 87%, 577 KB/s], Decompressed: 6897
Downloaded: 7424 file(s) [attempted 7424/8459 = 87%, 23 KB/s], Decompressed: 6897
Downloaded: 7472 file(s) [attempted 7472/8459 = 88%, 291 KB/s], Decompressed: 7208
Downloaded: 7506 file(s) [attempted 7506/8459 = 88%, 251 KB/s], Decompressed: 7208
Downloaded: 7547 file(s) [attempted 7547/8459 = 89%, 2164 KB/s], Decompressed: 7208
Downloaded: 7585 file(s) [attempted 7585/8459 = 89%, 154 KB/s], Decompressed: 7208
Downloaded: 7626 file(s) [attempted 7626/8459 = 90%, 176 KB/s], Decompressed: 7208
Downloaded: 7671 file(s) [attempted 7671/8459 = 90%, 81 KB/s], Decompressed: 7208
Downloaded: 7708 file(s) [attempted 7708/8459 = 91%, 66 KB/s], Decompressed: 7208
Downloaded: 7746 file(s) [attempted 7746/8459 = 91%, 81 KB/s], Decompressed: 7472
Downloaded: 7787 file(s) [attempted 7787/8459 = 92%, 893 KB/s], Decompressed: 7472
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 298 KB/s], Decompressed: 7472
Downloaded: 7862 file(s) [attempted 7862/8459 = 92%, 91 KB/s], Decompressed: 7472
Downloaded: 7903 file(s) [attempted 7903/8459 = 93%, 620 KB/s], Decompressed: 7472
Downloaded: 7948 file(s) [attempted 7948/8459 = 93%, 1718 KB/s], Decompressed: 7472
Downloaded: 7986 file(s) [attempted 7986/8459 = 94%, 206 KB/s], Decompressed: 7472
Downloaded: 8023 file(s) [attempted 8023/8459 = 94%, 191 KB/s], Decompressed: 7472
Downloaded: 8064 file(s) [attempted 8064/8459 = 95%, 235 KB/s], Decompressed: 7472
Downloaded: 8085 file(s) [attempted 8085/8459 = 95%, 115 KB/s], Decompressed: 7472
Downloaded: 8116 file(s) [attempted 8116/8459 = 95%, 107 KB/s], Decompressed: 7472
Downloaded: 8136 file(s) [attempted 8136/8459 = 96%, 122 KB/s], Decompressed: 7472
Downloaded: 8184 file(s) [attempted 8184/8459 = 96%, 89 KB/s], Decompressed: 7746
Downloaded: 8236 file(s) [attempted 8236/8459 = 97%, 299 KB/s], Decompressed: 7746
Downloaded: 8284 file(s) [attempted 8284/8459 = 97%, 312 KB/s], Decompressed: 7746
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 21 KB/s], Decompressed: 7746
Downloaded: 8383 file(s) [attempted 8383/8459 = 99%, 15 KB/s], Decompressed: 7746
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 80 KB/s], Decompressed: 7746
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 97 KB/s], Decompressed: 7746
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 97 KB/s], Decompressed: 7746

apx-runtime-resource-v1	apx-verifier-job-1706-runtime-lake_cache-3424476-1787274045230029906-0	3960832	4214784	21474836480	0	0	0	0	0	0	498298880	5022334976	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200011
stdout:
✔ [500/502] Built Iut.Foundations.Species (142s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (118s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (181s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (127s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (204s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (269s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (121s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (98s)
✔ [790/794] Built Iut.Foundations.QualitativeData (197s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (505s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1417s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1330s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (2107s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1706-runtime-lean_checker-3424476-1787278411868316073-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1706-runtime-blueprint_build-3424476-1787285612611251590-2	950272	1441792	21474836480	0	0	0	0	0	0	875933696	979775488	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 304 ms · created 8/21/2026, 4:14:40 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1706-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/21/2026, 4:14:40 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 266 ms · created 8/21/2026, 4:14:40 AM

git checkout 18fb83821b302602fa5ce214ecc64011117fc931

Note: switching to '18fb83821b302602fa5ce214ecc64011117fc931'.

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 18fb838 E21.5a: construct the selected-place local-global Galois map (#951)

lake_cacheexit 0duration 1h 12m · created 8/21/2026, 4:14:40 AM

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 (997ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (112ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (167ms)
✔ [13/25] Built Cache.Lean:c.o (152ms)
✔ [15/25] Built Cache.Init (342ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (81ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (1.0s)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (86s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (12s)
✔ [24/25] Built Cache.Main:c.o (559ms)
✔ [25/25] Built cache:exe (4.8s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 1 KB/s], Decompressed: 13
Downloaded: 40 file(s) [attempted 40/8459 = 0%, 15 KB/s], Decompressed: 32
Downloaded: 65 file(s) [attempted 65/8459 = 0%, 54 KB/s], Decompressed: 40
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 180 KB/s], Decompressed: 54
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 409 KB/s], Decompressed: 93
Downloaded: 158 file(s) [attempted 158/8459 = 1%, 96 KB/s], Decompressed: 121
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 509 KB/s], Decompressed: 121
Downloaded: 227 file(s) [attempted 227/8459 = 2%, 54 KB/s], Decompressed: 158
Downloaded: 265 file(s) [attempted 265/8459 = 3%, 177 KB/s], Decompressed: 196
Downloaded: 302 file(s) [attempted 302/8459 = 3%, 89 KB/s], Decompressed: 234
Downloaded: 343 file(s) [attempted 343/8459 = 4%, 243 KB/s], Decompressed: 275
Downloaded: 388 file(s) [attempted 388/8459 = 4%, 1077 KB/s], Decompressed: 323
Downloaded: 422 file(s) [attempted 422/8459 = 4%, 690 KB/s], Decompressed: 367
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 211 KB/s], Decompressed: 367
Downloaded: 501 file(s) [attempted 501/8459 = 5%, 804 KB/s], Decompressed: 419
Downloaded: 539 file(s) [attempted 539/8459 = 6%, 72 KB/s], Decompressed: 419
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 795 KB/s], Decompressed: 484
Downloaded: 618 file(s) [attempted 618/8459 = 7%, 171 KB/s], Decompressed: 546
Downloaded: 662 file(s) [attempted 662/8459 = 7%, 143 KB/s], Decompressed: 546
Downloaded: 700 file(s) [attempted 700/8459 = 8%, 266 KB/s], Decompressed: 614
Downloaded: 745 file(s) [attempted 745/8459 = 8%, 377 KB/s], Decompressed: 679
Downloaded: 775 file(s) [attempted 775/8459 = 9%, 371 KB/s], Decompressed: 679
Downloaded: 817 file(s) [attempted 817/8459 = 9%, 139 KB/s], Decompressed: 745
Downloaded: 861 file(s) [attempted 861/8459 = 10%, 114 KB/s], Decompressed: 745
Downloaded: 902 file(s) [attempted 902/8459 = 10%, 181 KB/s], Decompressed: 803
Downloaded: 947 file(s) [attempted 947/8459 = 11%, 169 KB/s], Decompressed: 803
Downloaded: 988 file(s) [attempted 988/8459 = 11%, 506 KB/s], Decompressed: 885
Downloaded: 1026 file(s) [attempted 1026/8459 = 12%, 267 KB/s], Decompressed: 885
Downloaded: 1070 file(s) [attempted 1070/8459 = 12%, 97 KB/s], Decompressed: 974
Downloaded: 1111 file(s) [attempted 1111/8459 = 13%, 355 KB/s], Decompressed: 974
Downloaded: 1149 file(s) [attempted 1149/8459 = 13%, 177 KB/s], Decompressed: 1056
Downloaded: 1193 file(s) [attempted 1193/8459 = 14%, 57 KB/s], Decompressed: 1056
Downloaded: 1231 file(s) [attempted 1231/8459 = 14%, 87 KB/s], Decompressed: 1142
Downloaded: 1272 file(s) [attempted 1272/8459 = 15%, 264 KB/s], Decompressed: 1142
Downloaded: 1310 file(s) [attempted 1310/8459 = 15%, 264 KB/s], Decompressed: 1142
Downloaded: 1344 file(s) [attempted 1344/8459 = 15%, 69 KB/s], Decompressed: 1231
Downloaded: 1389 file(s) [attempted 1389/8459 = 16%, 104 KB/s], Decompressed: 1231
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 61 KB/s], Decompressed: 1324
Downloaded: 1474 file(s) [attempted 1474/8459 = 17%, 24 KB/s], Decompressed: 1324
Downloaded: 1515 file(s) [attempted 1515/8459 = 17%, 87 KB/s], Decompressed: 1416
Downloaded: 1560 file(s) [attempted 1560/8459 = 18%, 61 KB/s], Decompressed: 1416
Downloaded: 1594 file(s) [attempted 1594/8459 = 18%, 351 KB/s], Decompressed: 1495
Downloaded: 1635 file(s) [attempted 1635/8459 = 19%, 46 KB/s], Decompressed: 1495
Downloaded: 1680 file(s) [attempted 1680/8459 = 19%, 96 KB/s], Decompressed: 1577
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 161 KB/s], Decompressed: 1577
Downloaded: 1765 file(s) [attempted 1765/8459 = 20%, 144 KB/s], Decompressed: 1663
Downloaded: 1803 file(s) [attempted 1803/8459 = 21%, 49 KB/s], Decompressed: 1663
Downloaded: 1841 file(s) [attempted 1841/8459 = 21%, 108 KB/s], Decompressed: 1735
Downloaded: 1875 file(s) [attempted 1875/8459 = 22%, 228 KB/s], Decompressed: 1735
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 510 KB/s], Decompressed: 1813
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 634 KB/s], Decompressed: 1813
Downloaded: 1998 file(s) [attempted 1998/8459 = 23%, 523 KB/s], Decompressed: 1896
Downloaded: 2036 file(s) [attempted 2036/8459 = 24%, 468 KB/s], Decompressed: 1896
Downloaded: 2074 file(s) [attempted 2074/8459 = 24%, 36 KB/s], Decompressed: 1968
Downloaded: 2118 file(s) [attempted 2118/8459 = 25%, 77 KB/s], Decompressed: 1968
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 208 KB/s], Decompressed: 2060
Downloaded: 2204 file(s) [attempted 2204/8459 = 26%, 90 KB/s], Decompressed: 2060
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 302 KB/s], Decompressed: 2153
Downloaded: 2283 file(s) [attempted 2283/8459 = 26%, 337 KB/s], Decompressed: 2153
Downloaded: 2320 file(s) [attempted 2320/8459 = 27%, 95 KB/s], Decompressed: 2242
Downloaded: 2365 file(s) [attempted 2365/8459 = 27%, 105 KB/s], Decompressed: 2242
Downloaded: 2409 file(s) [attempted 2409/8459 = 28%, 283 KB/s], Decompressed: 2320
Downloaded: 2451 file(s) [attempted 2451/8459 = 28%, 94 KB/s], Decompressed: 2320
Downloaded: 2488 file(s) [attempted 2488/8459 = 29%, 117 KB/s], Decompressed: 2320
Downloaded: 2526 file(s) [attempted 2526/8459 = 29%, 262 KB/s], Decompressed: 2406
Downloaded: 2570 file(s) [attempted 2570/8459 = 30%, 31 KB/s], Decompressed: 2406
Downloaded: 2615 file(s) [attempted 2615/8459 = 30%, 102 KB/s], Decompressed: 2509
Downloaded: 2653 file(s) [attempted 2653/8459 = 31%, 91 KB/s], Decompressed: 2509
Downloaded: 2694 file(s) [attempted 2694/8459 = 31%, 378 KB/s], Decompressed: 2509
Downloaded: 2735 file(s) [attempted 2735/8459 = 32%, 51 KB/s], Decompressed: 2608
Downloaded: 2773 file(s) [attempted 2773/8459 = 32%, 1302 KB/s], Decompressed: 2608
Downloaded: 2817 file(s) [attempted 2817/8459 = 33%, 65 KB/s], Decompressed: 2701
Downloaded: 2858 file(s) [attempted 2858/8459 = 33%, 523 KB/s], Decompressed: 2701
Downloaded: 2896 file(s) [attempted 2896/8459 = 34%, 539 KB/s], Decompressed: 2701
Downloaded: 2940 file(s) [attempted 2940/8459 = 34%, 959 KB/s], Decompressed: 2793
Downloaded: 2988 file(s) [attempted 2988/8459 = 35%, 754 KB/s], Decompressed: 2793
Downloaded: 3029 file(s) [attempted 3029/8459 = 35%, 386 KB/s], Decompressed: 2898
Downloaded: 3074 file(s) [attempted 3074/8459 = 36%, 355 KB/s], Decompressed: 2992
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 661 KB/s], Decompressed: 2992
Downloaded: 3149 file(s) [attempted 3149/8459 = 37%, 553 KB/s], Decompressed: 3074
Downloaded: 3190 file(s) [attempted 3190/8459 = 37%, 1242 KB/s], Decompressed: 3074
Downloaded: 3231 file(s) [attempted 3231/8459 = 38%, 1057 KB/s], Decompressed: 3149
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 2723 KB/s], Decompressed: 3149
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 387 KB/s], Decompressed: 3225
Downloaded: 3358 file(s) [attempted 3358/8459 = 39%, 230 KB/s], Decompressed: 3225
Downloaded: 3399 file(s) [attempted 3399/8459 = 40%, 72 KB/s], Decompressed: 3297
Downloaded: 3440 file(s) [attempted 3440/8459 = 40%, 391 KB/s], Decompressed: 3297
Downloaded: 3482 file(s) [attempted 3482/8459 = 41%, 93 KB/s], Decompressed: 3372
Downloaded: 3519 file(s) [attempted 3519/8459 = 41%, 189 KB/s], Decompressed: 3372
Downloaded: 3560 file(s) [attempted 3560/8459 = 42%, 203 KB/s], Decompressed: 3458
Downloaded: 3605 file(s) [attempted 3605/8459 = 42%, 102 KB/s], Decompressed: 3458
Downloaded: 3643 file(s) [attempted 3643/8459 = 43%, 46 KB/s], Decompressed: 3540
Downloaded: 3687 file(s) [attempted 3687/8459 = 43%, 29 KB/s], Decompressed: 3540
Downloaded: 3728 file(s) [attempted 3728/8459 = 44%, 1020 KB/s], Decompressed: 3615
Downloaded: 3762 file(s) [attempted 3762/8459 = 44%, 111 KB/s], Decompressed: 3615
Downloaded: 3804 file(s) [attempted 3804/8459 = 44%, 55 KB/s], Decompressed: 3690
Downloaded: 3845 file(s) [attempted 3845/8459 = 45%, 55 KB/s], Decompressed: 3690
Downloaded: 3886 file(s) [attempted 3886/8459 = 45%, 142 KB/s], Decompressed: 3769
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 154 KB/s], Decompressed: 3848
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 104 KB/s], Decompressed: 3848
Downloaded: 4002 file(s) [attempted 4002/8459 = 47%, 79 KB/s], Decompressed: 3923
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 76 KB/s], Decompressed: 3923
Downloaded: 4095 file(s) [attempted 4095/8459 = 48%, 1019 KB/s], Decompressed: 3999
Downloaded: 4132 file(s) [attempted 4132/8459 = 48%, 327 KB/s], Decompressed: 3999
Downloaded: 4170 file(s) [attempted 4170/8459 = 49%, 235 KB/s], Decompressed: 4074
Downloaded: 4218 file(s) [attempted 4218/8459 = 49%, 313 KB/s], Decompressed: 4074
Downloaded: 4259 file(s) [attempted 4259/8459 = 50%, 207 KB/s], Decompressed: 4156
Downloaded: 4297 file(s) [attempted 4297/8459 = 50%, 389 KB/s], Decompressed: 4156
Downloaded: 4338 file(s) [attempted 4338/8459 = 51%, 222 KB/s], Decompressed: 4239
Downloaded: 4379 file(s) [attempted 4379/8459 = 51%, 1027 KB/s], Decompressed: 4239
Downloaded: 4423 file(s) [attempted 4423/8459 = 52%, 142 KB/s], Decompressed: 4331
Downloaded: 4465 file(s) [attempted 4465/8459 = 52%, 609 KB/s], Decompressed: 4331
Downloaded: 4499 file(s) [attempted 4499/8459 = 53%, 605 KB/s], Decompressed: 4331
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 145 KB/s], Decompressed: 4423
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 221 KB/s], Decompressed: 4423
Downloaded: 4629 file(s) [attempted 4629/8459 = 54%, 145 KB/s], Decompressed: 4519
Downloaded: 4674 file(s) [attempted 4674/8459 = 55%, 221 KB/s], Decompressed: 4519
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 24 KB/s], Decompressed: 4519
Downloaded: 4752 file(s) [attempted 4752/8459 = 56%, 82 KB/s], Decompressed: 4619
Downloaded: 4790 file(s) [attempted 4790/8459 = 56%, 667 KB/s], Decompressed: 4619
Downloaded: 4831 file(s) [attempted 4831/8459 = 57%, 51 KB/s], Decompressed: 4619
Downloaded: 4876 file(s) [attempted 4876/8459 = 57%, 106 KB/s], Decompressed: 4718
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 273 KB/s], Decompressed: 4718
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 394 KB/s], Decompressed: 4718
Downloaded: 4999 file(s) [attempted 4999/8459 = 59%, 268 KB/s], Decompressed: 4718
Downloaded: 5037 file(s) [attempted 5037/8459 = 59%, 101 KB/s], Decompressed: 4718
Downloaded: 5078 file(s) [attempted 5078/8459 = 60%, 488 KB/s], Decompressed: 4869
Downloaded: 5122 file(s) [attempted 5122/8459 = 60%, 477 KB/s], Decompressed: 4869
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 27 KB/s], Decompressed: 4869
Downloaded: 5194 file(s) [attempted 5194/8459 = 61%, 224 KB/s], Decompressed: 4869
Downloaded: 5235 file(s) [attempted 5235/8459 = 61%, 998 KB/s], Decompressed: 4869
Downloaded: 5276 file(s) [attempted 5276/8459 = 62%, 79 KB/s], Decompressed: 4869
Downloaded: 5317 file(s) [attempted 5317/8459 = 62%, 1890 KB/s], Decompressed: 4869
Downloaded: 5356 file(s) [attempted 5356/8459 = 63%, 154 KB/s], Decompressed: 5078
Downloaded: 5396 file(s) [attempted 5396/8459 = 63%, 190 KB/s], Decompressed: 5078
Downloaded: 5437 file(s) [attempted 5437/8459 = 64%, 243 KB/s], Decompressed: 5078
Downloaded: 5482 file(s) [attempted 5482/8459 = 64%, 62 KB/s], Decompressed: 5078
Downloaded: 5520 file(s) [attempted 5520/8459 = 65%, 430 KB/s], Decompressed: 5078
Downloaded: 5561 file(s) [attempted 5561/8459 = 65%, 165 KB/s], Decompressed: 5078
Downloaded: 5595 file(s) [attempted 5595/8459 = 66%, 335 KB/s], Decompressed: 5345
Downloaded: 5639 file(s) [attempted 5639/8459 = 66%, 118 KB/s], Decompressed: 5345
Downloaded: 5681 file(s) [attempted 5681/8459 = 67%, 594 KB/s], Decompressed: 5345
Downloaded: 5725 file(s) [attempted 5725/8459 = 67%, 502 KB/s], Decompressed: 5345
Downloaded: 5759 file(s) [attempted 5759/8459 = 68%, 362 KB/s], Decompressed: 5345
Downloaded: 5800 file(s) [attempted 5800/8459 = 68%, 106 KB/s], Decompressed: 5345
Downloaded: 5842 file(s) [attempted 5842/8459 = 69%, 360 KB/s], Decompressed: 5591
Downloaded: 5883 file(s) [attempted 5883/8459 = 69%, 234 KB/s], Decompressed: 5591
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 748 KB/s], Decompressed: 5591
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 452 KB/s], Decompressed: 5591
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 292 KB/s], Decompressed: 5591
Downloaded: 6040 file(s) [attempted 6040/8459 = 71%, 56 KB/s], Decompressed: 5814
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 334 KB/s], Decompressed: 5814
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 159 KB/s], Decompressed: 5814
Downloaded: 6167 file(s) [attempted 6167/8459 = 72%, 177 KB/s], Decompressed: 5814
Downloaded: 6205 file(s) [attempted 6205/8459 = 73%, 523 KB/s], Decompressed: 6009
Downloaded: 6246 file(s) [attempted 6246/8459 = 73%, 186 KB/s], Decompressed: 6009
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 127 KB/s], Decompressed: 6009
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 109 KB/s], Decompressed: 6009
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 522 KB/s], Decompressed: 6184
Downloaded: 6410 file(s) [attempted 6410/8459 = 75%, 88 KB/s], Decompressed: 6184
Downloaded: 6448 file(s) [attempted 6448/8459 = 76%, 37 KB/s], Decompressed: 6184
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 422 KB/s], Decompressed: 6184
Downloaded: 6533 file(s) [attempted 6533/8459 = 77%, 46 KB/s], Decompressed: 6348
Downloaded: 6575 file(s) [attempted 6575/8459 = 77%, 190 KB/s], Decompressed: 6348
Downloaded: 6612 file(s) [attempted 6612/8459 = 78%, 616 KB/s], Decompressed: 6348
Downloaded: 6650 file(s) [attempted 6650/8459 = 78%, 279 KB/s], Decompressed: 6348
Downloaded: 6691 file(s) [attempted 6691/8459 = 79%, 980 KB/s], Decompressed: 6513
Downloaded: 6732 file(s) [attempted 6732/8459 = 79%, 302 KB/s], Decompressed: 6513
Downloaded: 6773 file(s) [attempted 6773/8459 = 80%, 106 KB/s], Decompressed: 6513
Downloaded: 6814 file(s) [attempted 6814/8459 = 80%, 651 KB/s], Decompressed: 6513
Downloaded: 6852 file(s) [attempted 6852/8459 = 81%, 302 KB/s], Decompressed: 6513
Downloaded: 6893 file(s) [attempted 6893/8459 = 81%, 227 KB/s], Decompressed: 6513
Downloaded: 6934 file(s) [attempted 6934/8459 = 81%, 299 KB/s], Decompressed: 6670
Downloaded: 6975 file(s) [attempted 6975/8459 = 82%, 115 KB/s], Decompressed: 6670
Downloaded: 7016 file(s) [attempted 7016/8459 = 82%, 119 KB/s], Decompressed: 6670
Downloaded: 7061 file(s) [attempted 7061/8459 = 83%, 89 KB/s], Decompressed: 6670
Downloaded: 7102 file(s) [attempted 7102/8459 = 83%, 147 KB/s], Decompressed: 6670
Downloaded: 7136 file(s) [attempted 7136/8459 = 84%, 480 KB/s], Decompressed: 6670
Downloaded: 7181 file(s) [attempted 7181/8459 = 84%, 933 KB/s], Decompressed: 6670
Downloaded: 7222 file(s) [attempted 7222/8459 = 85%, 319 KB/s], Decompressed: 6897
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 120 KB/s], Decompressed: 6897
Downloaded: 7301 file(s) [attempted 7301/8459 = 86%, 163 KB/s], Decompressed: 6897
Downloaded: 7342 file(s) [attempted 7342/8459 = 86%, 578 KB/s], Decompressed: 6897
Downloaded: 7383 file(s) [attempted 7383/8459 = 87%, 577 KB/s], Decompressed: 6897
Downloaded: 7424 file(s) [attempted 7424/8459 = 87%, 23 KB/s], Decompressed: 6897
Downloaded: 7472 file(s) [attempted 7472/8459 = 88%, 291 KB/s], Decompressed: 7208
Downloaded: 7506 file(s) [attempted 7506/8459 = 88%, 251 KB/s], Decompressed: 7208
Downloaded: 7547 file(s) [attempted 7547/8459 = 89%, 2164 KB/s], Decompressed: 7208
Downloaded: 7585 file(s) [attempted 7585/8459 = 89%, 154 KB/s], Decompressed: 7208
Downloaded: 7626 file(s) [attempted 7626/8459 = 90%, 176 KB/s], Decompressed: 7208
Downloaded: 7671 file(s) [attempted 7671/8459 = 90%, 81 KB/s], Decompressed: 7208
Downloaded: 7708 file(s) [attempted 7708/8459 = 91%, 66 KB/s], Decompressed: 7208
Downloaded: 7746 file(s) [attempted 7746/8459 = 91%, 81 KB/s], Decompressed: 7472
Downloaded: 7787 file(s) [attempted 7787/8459 = 92%, 893 KB/s], Decompressed: 7472
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 298 KB/s], Decompressed: 7472
Downloaded: 7862 file(s) [attempted 7862/8459 = 92%, 91 KB/s], Decompressed: 7472
Downloaded: 7903 file(s) [attempted 7903/8459 = 93%, 620 KB/s], Decompressed: 7472
Downloaded: 7948 file(s) [attempted 7948/8459 = 93%, 1718 KB/s], Decompressed: 7472
Downloaded: 7986 file(s) [attempted 7986/8459 = 94%, 206 KB/s], Decompressed: 7472
Downloaded: 8023 file(s) [attempted 8023/8459 = 94%, 191 KB/s], Decompressed: 7472
Downloaded: 8064 file(s) [attempted 8064/8459 = 95%, 235 KB/s], Decompressed: 7472
Downloaded: 8085 file(s) [attempted 8085/8459 = 95%, 115 KB/s], Decompressed: 7472
Downloaded: 8116 file(s) [attempted 8116/8459 = 95%, 107 KB/s], Decompressed: 7472
Downloaded: 8136 file(s) [attempted 8136/8459 = 96%, 122 KB/s], Decompressed: 7472
Downloaded: 8184 file(s) [attempted 8184/8459 = 96%, 89 KB/s], Decompressed: 7746
Downloaded: 8236 file(s) [attempted 8236/8459 = 97%, 299 KB/s], Decompressed: 7746
Downloaded: 8284 file(s) [attempted 8284/8459 = 97%, 312 KB/s], Decompressed: 7746
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 21 KB/s], Decompressed: 7746
Downloaded: 8383 file(s) [attempted 8383/8459 = 99%, 15 KB/s], Decompressed: 7746
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 80 KB/s], Decompressed: 7746
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 97 KB/s], Decompressed: 7746
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 97 KB/s], Decompressed: 7746

apx-runtime-resource-v1	apx-verifier-job-1706-runtime-lake_cache-3424476-1787274045230029906-0	3960832	4214784	21474836480	0	0	0	0	0	0	498298880	5022334976	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/21/2026, 4:14:40 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (142s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (118s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (181s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (127s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (204s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (269s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (121s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (98s)
✔ [790/794] Built Iut.Foundations.QualitativeData (197s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (505s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1417s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1330s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (2107s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1706-runtime-lean_checker-3424476-1787278411868316073-1 on attempt 1

blueprint_buildexit 1duration 1m 6s · created 8/21/2026, 4:14:40 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1706-runtime-blueprint_build-3424476-1787285612611251590-2	950272	1441792	21474836480	0	0	0	0	0	0	875933696	979775488	21474836480	0	0	0	0	0	0