Verification run

Run 1249

promachina/iut-leanbranch mastertriggered via poller

failedcommit aec609b07e36toolchain lean-v4-30-0prover leantook 2h 3m · finished 4w 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-1682-source
exit_code=Some(128) duration_ms=332
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1682-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=5319
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1682-source'...


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

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 aec609b E19.4: attach certified Tate Kummer coordinates (#893)

Resolved source revision: aec609b07e364325446c9212683a71382cbab46b

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=aec609b07e364325446c9212683a71382cbab46b provenance={"branch":"master","checked_out_revision":"aec609b07e364325446c9212683a71382cbab46b","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"aec609b07e364325446c9212683a71382cbab46b","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=8376 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=163669
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 (10s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (154ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (190ms)
✔ [13/25] Built Cache.Lean:c.o (149ms)
✔ [15/25] Built Cache.Init (5.8s)
✔ [16/25] Built Cache.IO (10s)
✔ [17/25] Built Cache.Init:c.o (1.2s)
✔ [18/25] Built Cache.IO:c.o (1.3s)
✔ [19/25] Built Cache.Hashing (17s)
✔ [20/25] Built Cache.Hashing:c.o (1.4s)
✔ [21/25] Built Cache.Requests (9.9s)
✔ [22/25] Built Cache.Requests:c.o (1.0s)
✔ [23/25] Built Cache.Main (1.2s)
✔ [24/25] Built Cache.Main:c.o (569ms)
✔ [25/25] Built cache:exe (6.2s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 4 KB/s], Decompressed: 11
Downloaded: 38 file(s) [attempted 38/8459 = 0%, 26 KB/s], Decompressed: 18
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 295 KB/s], Decompressed: 39
Downloaded: 89 file(s) [attempted 89/8459 = 1%, 244 KB/s], Decompressed: 61
Downloaded: 124 file(s) [attempted 124/8459 = 1%, 154 KB/s], Decompressed: 86
Downloaded: 155 file(s) [attempted 155/8459 = 1%, 166 KB/s], Decompressed: 114
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 157 KB/s], Decompressed: 138
Downloaded: 220 file(s) [attempted 220/8459 = 2%, 626 KB/s], Decompressed: 169
Downloaded: 254 file(s) [attempted 254/8459 = 3%, 434 KB/s], Decompressed: 206
Downloaded: 289 file(s) [attempted 289/8459 = 3%, 189 KB/s], Decompressed: 206
Downloaded: 326 file(s) [attempted 326/8459 = 3%, 97 KB/s], Decompressed: 247
Downloaded: 367 file(s) [attempted 367/8459 = 4%, 602 KB/s], Decompressed: 295
Downloaded: 405 file(s) [attempted 405/8459 = 4%, 129 KB/s], Decompressed: 295
Downloaded: 443 file(s) [attempted 443/8459 = 5%, 247 KB/s], Decompressed: 357
Downloaded: 481 file(s) [attempted 481/8459 = 5%, 1090 KB/s], Decompressed: 357
Downloaded: 518 file(s) [attempted 518/8459 = 6%, 225 KB/s], Decompressed: 429
Downloaded: 556 file(s) [attempted 556/8459 = 6%, 975 KB/s], Decompressed: 429
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 332 KB/s], Decompressed: 429
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 285 KB/s], Decompressed: 511
Downloaded: 679 file(s) [attempted 679/8459 = 8%, 68 KB/s], Decompressed: 511
Downloaded: 724 file(s) [attempted 724/8459 = 8%, 427 KB/s], Decompressed: 511
Downloaded: 765 file(s) [attempted 765/8459 = 9%, 221 KB/s], Decompressed: 604
Downloaded: 803 file(s) [attempted 803/8459 = 9%, 59 KB/s], Decompressed: 604
Downloaded: 841 file(s) [attempted 841/8459 = 9%, 22 KB/s], Decompressed: 604
Downloaded: 882 file(s) [attempted 882/8459 = 10%, 248 KB/s], Decompressed: 604
Downloaded: 919 file(s) [attempted 919/8459 = 10%, 597 KB/s], Decompressed: 755
Downloaded: 961 file(s) [attempted 961/8459 = 11%, 168 KB/s], Decompressed: 755
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 273 KB/s], Decompressed: 755
Downloaded: 1039 file(s) [attempted 1039/8459 = 12%, 1137 KB/s], Decompressed: 755
Downloaded: 1080 file(s) [attempted 1080/8459 = 12%, 250 KB/s], Decompressed: 895
Downloaded: 1125 file(s) [attempted 1125/8459 = 13%, 374 KB/s], Decompressed: 895
Downloaded: 1166 file(s) [attempted 1166/8459 = 13%, 1529 KB/s], Decompressed: 895
Downloaded: 1204 file(s) [attempted 1204/8459 = 14%, 338 KB/s], Decompressed: 895
Downloaded: 1241 file(s) [attempted 1241/8459 = 14%, 33 KB/s], Decompressed: 1053
Downloaded: 1284 file(s) [attempted 1284/8459 = 15%, 1137 KB/s], Decompressed: 1053
Downloaded: 1324 file(s) [attempted 1324/8459 = 15%, 1073 KB/s], Decompressed: 1053
Downloaded: 1368 file(s) [attempted 1368/8459 = 16%, 282 KB/s], Decompressed: 1053
Downloaded: 1406 file(s) [attempted 1406/8459 = 16%, 237 KB/s], Decompressed: 1217
Downloaded: 1444 file(s) [attempted 1444/8459 = 17%, 152 KB/s], Decompressed: 1217
Downloaded: 1485 file(s) [attempted 1485/8459 = 17%, 1010 KB/s], Decompressed: 1217
Downloaded: 1529 file(s) [attempted 1529/8459 = 18%, 329 KB/s], Decompressed: 1217
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 278 KB/s], Decompressed: 1217
Downloaded: 1611 file(s) [attempted 1611/8459 = 19%, 326 KB/s], Decompressed: 1385
Downloaded: 1652 file(s) [attempted 1652/8459 = 19%, 497 KB/s], Decompressed: 1385
Downloaded: 1690 file(s) [attempted 1690/8459 = 19%, 35 KB/s], Decompressed: 1385
Downloaded: 1731 file(s) [attempted 1731/8459 = 20%, 84 KB/s], Decompressed: 1385
Downloaded: 1772 file(s) [attempted 1772/8459 = 20%, 170 KB/s], Decompressed: 1385
Downloaded: 1813 file(s) [attempted 1813/8459 = 21%, 321 KB/s], Decompressed: 1577
Downloaded: 1855 file(s) [attempted 1855/8459 = 21%, 149 KB/s], Decompressed: 1577
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 821 KB/s], Decompressed: 1577
Downloaded: 1926 file(s) [attempted 1926/8459 = 22%, 86 KB/s], Decompressed: 1577
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 428 KB/s], Decompressed: 1577
Downloaded: 2012 file(s) [attempted 2012/8459 = 23%, 66 KB/s], Decompressed: 1577
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 180 KB/s], Decompressed: 1577
Downloaded: 2094 file(s) [attempted 2094/8459 = 24%, 121 KB/s], Decompressed: 1800
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 955 KB/s], Decompressed: 1800
Downloaded: 2169 file(s) [attempted 2169/8459 = 25%, 558 KB/s], Decompressed: 1800
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 849 KB/s], Decompressed: 1800
Downloaded: 2252 file(s) [attempted 2252/8459 = 26%, 670 KB/s], Decompressed: 1800
Downloaded: 2293 file(s) [attempted 2293/8459 = 27%, 981 KB/s], Decompressed: 1800
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 1019 KB/s], Decompressed: 1800
Downloaded: 2368 file(s) [attempted 2368/8459 = 27%, 267 KB/s], Decompressed: 1800
Downloaded: 2409 file(s) [attempted 2409/8459 = 28%, 259 KB/s], Decompressed: 2064
Downloaded: 2451 file(s) [attempted 2451/8459 = 28%, 3108 KB/s], Decompressed: 2064
Downloaded: 2492 file(s) [attempted 2492/8459 = 29%, 277 KB/s], Decompressed: 2064
Downloaded: 2533 file(s) [attempted 2533/8459 = 29%, 1073 KB/s], Decompressed: 2064
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 917 KB/s], Decompressed: 2064
Downloaded: 2615 file(s) [attempted 2615/8459 = 30%, 419 KB/s], Decompressed: 2064
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 49 KB/s], Decompressed: 2064
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 57 KB/s], Decompressed: 2064
Downloaded: 2731 file(s) [attempted 2731/8459 = 32%, 70 KB/s], Decompressed: 2064
Downloaded: 2769 file(s) [attempted 2769/8459 = 32%, 332 KB/s], Decompressed: 2064
Downloaded: 2810 file(s) [attempted 2810/8459 = 33%, 62 KB/s], Decompressed: 2064
Downloaded: 2844 file(s) [attempted 2844/8459 = 33%, 76 KB/s], Decompressed: 2389
Downloaded: 2886 file(s) [attempted 2886/8459 = 34%, 41 KB/s], Decompressed: 2389
Downloaded: 2927 file(s) [attempted 2927/8459 = 34%, 76 KB/s], Decompressed: 2389
Downloaded: 2968 file(s) [attempted 2968/8459 = 35%, 244 KB/s], Decompressed: 2389
Downloaded: 3012 file(s) [attempted 3012/8459 = 35%, 643 KB/s], Decompressed: 2389
Downloaded: 3048 file(s) [attempted 3048/8459 = 36%, 1242 KB/s], Decompressed: 2389
Downloaded: 3088 file(s) [attempted 3088/8459 = 36%, 311 KB/s], Decompressed: 2389
Downloaded: 3125 file(s) [attempted 3125/8459 = 36%, 890 KB/s], Decompressed: 2389
Downloaded: 3166 file(s) [attempted 3166/8459 = 37%, 63 KB/s], Decompressed: 2389
Downloaded: 3211 file(s) [attempted 3211/8459 = 37%, 86 KB/s], Decompressed: 2389
Downloaded: 3252 file(s) [attempted 3252/8459 = 38%, 1430 KB/s], Decompressed: 2389
Downloaded: 3286 file(s) [attempted 3286/8459 = 38%, 212 KB/s], Decompressed: 2389
Downloaded: 3327 file(s) [attempted 3327/8459 = 39%, 105 KB/s], Decompressed: 2389
Downloaded: 3368 file(s) [attempted 3368/8459 = 39%, 313 KB/s], Decompressed: 2389
Downloaded: 3410 file(s) [attempted 3410/8459 = 40%, 202 KB/s], Decompressed: 2841
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 231 KB/s], Decompressed: 2841
Downloaded: 3495 file(s) [attempted 3495/8459 = 41%, 391 KB/s], Decompressed: 2841
Downloaded: 3531 file(s) [attempted 3531/8459 = 41%, 70 KB/s], Decompressed: 2841
Downloaded: 3571 file(s) [attempted 3571/8459 = 42%, 520 KB/s], Decompressed: 2841
Downloaded: 3615 file(s) [attempted 3615/8459 = 42%, 1341 KB/s], Decompressed: 2841
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 605 KB/s], Decompressed: 2841
Downloaded: 3697 file(s) [attempted 3697/8459 = 43%, 648 KB/s], Decompressed: 2841
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 73 KB/s], Decompressed: 2841
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 135 KB/s], Decompressed: 2841
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 383 KB/s], Decompressed: 2841
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 1054 KB/s], Decompressed: 2841
Downloaded: 3899 file(s) [attempted 3899/8459 = 46%, 201 KB/s], Decompressed: 2841
Downloaded: 3947 file(s) [attempted 3947/8459 = 46%, 416 KB/s], Decompressed: 3379
Downloaded: 3992 file(s) [attempted 3992/8459 = 47%, 192 KB/s], Decompressed: 3379
Downloaded: 4033 file(s) [attempted 4033/8459 = 47%, 930 KB/s], Decompressed: 3379
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 273 KB/s], Decompressed: 3379
Downloaded: 4108 file(s) [attempted 4108/8459 = 48%, 206 KB/s], Decompressed: 3379
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 64 KB/s], Decompressed: 3379
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 2054 KB/s], Decompressed: 3379
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 46 KB/s], Decompressed: 3379
Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 534 KB/s], Decompressed: 3379
Downloaded: 4314 file(s) [attempted 4314/8459 = 50%, 261 KB/s], Decompressed: 3379
Downloaded: 4352 file(s) [attempted 4352/8459 = 51%, 158 KB/s], Decompressed: 3379
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 437 KB/s], Decompressed: 3379
Downloaded: 4434 file(s) [attempted 4434/8459 = 52%, 104 KB/s], Decompressed: 3379
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 365 KB/s], Decompressed: 3379
Downloaded: 4513 file(s) [attempted 4513/8459 = 53%, 283 KB/s], Decompressed: 3936
Downloaded: 4554 file(s) [attempted 4554/8459 = 53%, 106 KB/s], Decompressed: 3936
Downloaded: 4588 file(s) [attempted 4588/8459 = 54%, 340 KB/s], Decompressed: 3936
Downloaded: 4629 file(s) [attempted 4629/8459 = 54%, 1035 KB/s], Decompressed: 3936
Downloaded: 4674 file(s) [attempted 4674/8459 = 55%, 215 KB/s], Decompressed: 3936
Downloaded: 4718 file(s) [attempted 4718/8459 = 55%, 674 KB/s], Decompressed: 3936
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 190 KB/s], Decompressed: 3936
Downloaded: 4800 file(s) [attempted 4800/8459 = 56%, 184 KB/s], Decompressed: 3936
Downloaded: 4831 file(s) [attempted 4831/8459 = 57%, 120 KB/s], Decompressed: 3936
Downloaded: 4876 file(s) [attempted 4876/8459 = 57%, 181 KB/s], Decompressed: 3936
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 277 KB/s], Decompressed: 3936
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 120 KB/s], Decompressed: 3936
Downloaded: 4995 file(s) [attempted 4995/8459 = 59%, 86 KB/s], Decompressed: 3936
Downloaded: 5037 file(s) [attempted 5037/8459 = 59%, 559 KB/s], Decompressed: 3936
Downloaded: 5071 file(s) [attempted 5071/8459 = 59%, 64 KB/s], Decompressed: 3936
Downloaded: 5115 file(s) [attempted 5115/8459 = 60%, 48 KB/s], Decompressed: 3936
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 1217 KB/s], Decompressed: 3936
Downloaded: 5201 file(s) [attempted 5201/8459 = 61%, 26 KB/s], Decompressed: 4513
Downloaded: 5242 file(s) [attempted 5242/8459 = 61%, 74 KB/s], Decompressed: 4513
Downloaded: 5280 file(s) [attempted 5280/8459 = 62%, 370 KB/s], Decompressed: 4513
Downloaded: 5317 file(s) [attempted 5317/8459 = 62%, 1236 KB/s], Decompressed: 4513
Downloaded: 5354 file(s) [attempted 5354/8459 = 63%, 112 KB/s], Decompressed: 4513
Downloaded: 5396 file(s) [attempted 5396/8459 = 63%, 183 KB/s], Decompressed: 4513
Downloaded: 5437 file(s) [attempted 5437/8459 = 64%, 69 KB/s], Decompressed: 4513
Downloaded: 5478 file(s) [attempted 5478/8459 = 64%, 197 KB/s], Decompressed: 4513
Downloaded: 5520 file(s) [attempted 5520/8459 = 65%, 170 KB/s], Decompressed: 4513
Downloaded: 5554 file(s) [attempted 5554/8459 = 65%, 223 KB/s], Decompressed: 4513
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 161 KB/s], Decompressed: 4513
Downloaded: 5639 file(s) [attempted 5639/8459 = 66%, 163 KB/s], Decompressed: 4513
Downloaded: 5684 file(s) [attempted 5684/8459 = 67%, 206 KB/s], Decompressed: 4513
Downloaded: 5725 file(s) [attempted 5725/8459 = 67%, 158 KB/s], Decompressed: 4513
Downloaded: 5759 file(s) [attempted 5759/8459 = 68%, 2122 KB/s], Decompressed: 4513
Downloaded: 5797 file(s) [attempted 5797/8459 = 68%, 41 KB/s], Decompressed: 5163
Downloaded: 5838 file(s) [attempted 5838/8459 = 69%, 126 KB/s], Decompressed: 5163
Downloaded: 5879 file(s) [attempted 5879/8459 = 69%, 47 KB/s], Decompressed: 5163
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 632 KB/s], Decompressed: 5163
Downloaded: 5965 file(s) [attempted 5965/8459 = 70%, 95 KB/s], Decompressed: 5163
Downloaded: 6003 file(s) [attempted 6003/8459 = 70%, 283 KB/s], Decompressed: 5163
Downloaded: 6037 file(s) [attempted 6037/8459 = 71%, 59 KB/s], Decompressed: 5163
Downloaded: 6078 file(s) [attempted 6078/8459 = 71%, 252 KB/s], Decompressed: 5163
Downloaded: 6122 file(s) [attempted 6122/8459 = 72%, 922 KB/s], Decompressed: 5163
Downloaded: 6165 file(s) [attempted 6165/8459 = 72%, 260 KB/s], Decompressed: 5163
Downloaded: 6198 file(s) [attempted 6198/8459 = 73%, 408 KB/s], Decompressed: 5163
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 152 KB/s], Decompressed: 5163
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 159 KB/s], Decompressed: 5163
Downloaded: 6314 file(s) [attempted 6314/8459 = 74%, 624 KB/s], Decompressed: 5163
Downloaded: 6355 file(s) [attempted 6355/8459 = 75%, 353 KB/s], Decompressed: 5163
Downloaded: 6393 file(s) [attempted 6393/8459 = 75%, 56 KB/s], Decompressed: 5163
Downloaded: 6431 file(s) [attempted 6431/8459 = 76%, 159 KB/s], Decompressed: 5163
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 247 KB/s], Decompressed: 5794
Downloaded: 6513 file(s) [attempted 6513/8459 = 76%, 1564 KB/s], Decompressed: 5794
Downloaded: 6551 file(s) [attempted 6551/8459 = 77%, 304 KB/s], Decompressed: 5794
Downloaded: 6588 file(s) [attempted 6588/8459 = 77%, 994 KB/s], Decompressed: 5794
Downloaded: 6633 file(s) [attempted 6633/8459 = 78%, 54 KB/s], Decompressed: 5794
Downloaded: 6677 file(s) [attempted 6677/8459 = 78%, 535 KB/s], Decompressed: 5794
Downloaded: 6715 file(s) [attempted 6715/8459 = 79%, 569 KB/s], Decompressed: 5794
Downloaded: 6749 file(s) [attempted 6749/8459 = 79%, 105 KB/s], Decompressed: 5794
Downloaded: 6790 file(s) [attempted 6790/8459 = 80%, 282 KB/s], Decompressed: 5794
Downloaded: 6835 file(s) [attempted 6835/8459 = 80%, 278 KB/s], Decompressed: 5794
Downloaded: 6879 file(s) [attempted 6879/8459 = 81%, 37 KB/s], Decompressed: 5794
Downloaded: 6924 file(s) [attempted 6924/8459 = 81%, 354 KB/s], Decompressed: 5794
Downloaded: 6965 file(s) [attempted 6965/8459 = 82%, 43 KB/s], Decompressed: 5794
Downloaded: 6996 file(s) [attempted 6996/8459 = 82%, 1639 KB/s], Decompressed: 5794
Downloaded: 7037 file(s) [attempted 7037/8459 = 83%, 875 KB/s], Decompressed: 5794
Downloaded: 7073 file(s) [attempted 7073/8459 = 83%, 1189 KB/s], Decompressed: 5794
Downloaded: 7119 file(s) [attempted 7119/8459 = 84%, 77 KB/s], Decompressed: 5794
Downloaded: 7167 file(s) [attempted 7167/8459 = 84%, 152 KB/s], Decompressed: 5794
Downloaded: 7212 file(s) [attempted 7212/8459 = 85%, 656 KB/s], Decompressed: 6438
Downloaded: 7253 file(s) [attempted 7253/8459 = 85%, 382 KB/s], Decompressed: 6438
Downloaded: 7287 file(s) [attempted 7287/8459 = 86%, 335 KB/s], Decompressed: 6438
Downloaded: 7325 file(s) [attempted 7325/8459 = 86%, 229 KB/s], Decompressed: 6438
Downloaded: 7366 file(s) [attempted 7366/8459 = 87%, 80 KB/s], Decompressed: 6438
Downloaded: 7400 file(s) [attempted 7400/8459 = 87%, 377 KB/s], Decompressed: 6438
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 217 KB/s], Decompressed: 6438
Downloaded: 7486 file(s) [attempted 7486/8459 = 88%, 136 KB/s], Decompressed: 6438
Downloaded: 7523 file(s) [attempted 7523/8459 = 88%, 315 KB/s], Decompressed: 6438
Downloaded: 7564 file(s) [attempted 7564/8459 = 89%, 1316 KB/s], Decompressed: 6438
Downloaded: 7599 file(s) [attempted 7599/8459 = 89%, 149 KB/s], Decompressed: 6438
Downloaded: 7633 file(s) [attempted 7633/8459 = 90%, 74 KB/s], Decompressed: 6438
Downloaded: 7674 file(s) [attempted 7674/8459 = 90%, 144 KB/s], Decompressed: 6438
Downloaded: 7708 file(s) [attempted 7708/8459 = 91%, 433 KB/s], Decompressed: 6438
Downloaded: 7743 file(s) [attempted 7743/8459 = 91%, 496 KB/s], Decompressed: 6438
Downloaded: 7784 file(s) [attempted 7784/8459 = 92%, 881 KB/s], Decompressed: 6438
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 865 KB/s], Decompressed: 6438
Downloaded: 7852 file(s) [attempted 7852/8459 = 92%, 34 KB/s], Decompressed: 7177
Downloaded: 7886 file(s) [attempted 7886/8459 = 93%, 1236 KB/s], Decompressed: 7177
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 88 KB/s], Decompressed: 7177
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 90 KB/s], Decompressed: 7177
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 53 KB/s], Decompressed: 7177
Downloaded: 8030 file(s) [attempted 8030/8459 = 94%, 818 KB/s], Decompressed: 7177
Downloaded: 8058 file(s) [attempted 8058/8459 = 95%, 1883 KB/s], Decompressed: 7177
Downloaded: 8088 file(s) [attempted 8088/8459 = 95%, 157 KB/s], Decompressed: 7177
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 1036 KB/s], Decompressed: 7177
Downloaded: 8160 file(s) [attempted 8160/8459 = 96%, 59 KB/s], Decompressed: 7177
Downloaded: 8201 file(s) [attempted 8201/8459 = 96%, 29 KB/s], Decompressed: 7177
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 202 KB/s], Decompressed: 7177
Downloaded: 8273 file(s) [attempted 8273/8459 = 97%, 1057 KB/s], Decompressed: 7177
Downloaded: 8311 file(s) [attempted 8311/8459 = 98%, 164 KB/s], Decompressed: 7177
Downloaded: 8352 file(s) [attempted 8352/8459 = 98%, 316 KB/s], Decompressed: 7177
Downloaded: 8393 file(s) [attempted 8393/8459 = 99%, 325 KB/s], Decompressed: 7177
Downloaded: 8429 file(s) [attempted 8429/8459 = 99%, 184 KB/s], Decompressed: 7177
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 632 KB/s], Decompressed: 7838
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 632 KB/s], Decompressed: 7838

apx-runtime-resource-v1	apx-verifier-job-1682-runtime-lake_cache-3148345-1787123110961508100-0	3858432	4100096	21474836480	0	0	0	0	0	0	646258688	1261322240	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200010
stdout:
✔ [500/502] Built Iut.Foundations.Species (97s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (37s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (69s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (60s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (63s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (61s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (62s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (54s)
✔ [790/794] Built Iut.Foundations.QualitativeData (64s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (252s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (777s)
✔ [3956/3966] Built Iut.Foundations.InitialThetaData (520s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (553s)
✔ [3965/3978] Built Iut.Foundations.EtaleThetaCovers (142s)
✔ [3974/3984] Built Iut.Foundations.SourceTateCurve (121s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (102s)
✔ [3983/3989] Built Iut.Foundations.SourceAnabelioid (501s)
✔ [3985/3989] Built Iut.Foundations.SourceInitialThetaData (571s)
✔ [4130/4135] Built Iut.Foundations.Frobenioid (52s)
✔ [4131/4136] Built Iut.Foundations.SourceInitialThetaDefinition (612s)
✔ [4148/4157] Built Iut.Foundations.SourceAutHolomorphic (130s)
✔ [4156/4169] Built Iut.Foundations.SourceArchimedeanSemiGerm (129s)
✔ [4158/4169] Built Iut.Foundations.Procession (29s)
✔ [4159/4169] Built Iut.Foundations.SourceArchimedeanLocalGeometry (560s)
✔ [4160/4169] Built Iut.Foundations.SourceSemiGraph (38s)
✔ [4163/4170] Built Iut.Foundations.SourceSemiGraphAction (15s)
✔ [4166/4170] Built Iut.Foundations.SourceSemiGraphOfSubgroups (3.0s)
✔ [4167/4170] Built Iut.Foundations.SourceProfiniteCosetSystem (32s)
✔ [4168/4170] Built Iut.Foundations.SourceAutHolomorphicRigidity (128s)
✔ [4169/4175] Built Iut.Foundations.SourceProfiniteSemiGraphSystem (194s)
✔ [4203/4213] Built Iut.Foundations.GaloisComplement (75s)
✔ [4204/4213] Built Iut.Foundations.SourceSemiGraphOfAnabelioids (407s)
✔ [4205/4214] Built Iut.Foundations.SourceTemperedSemigraph (113s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1682-runtime-lean_checker-3148345-1787123274639056745-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1682-runtime-blueprint_build-3148345-1787130475404241659-2	1204224	1449984	21474836480	0	0	0	0	0	0	564432896	669044736	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 332 ms · created 8/19/2026, 9:08:07 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1682-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 5s · created 8/19/2026, 9:08:07 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 263 ms · created 8/19/2026, 9:08:07 AM

git checkout aec609b07e364325446c9212683a71382cbab46b

Note: switching to 'aec609b07e364325446c9212683a71382cbab46b'.

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 aec609b E19.4: attach certified Tate Kummer coordinates (#893)

lake_cacheexit 0duration 2m 44s · created 8/19/2026, 9:08:07 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 (10s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (154ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (190ms)
✔ [13/25] Built Cache.Lean:c.o (149ms)
✔ [15/25] Built Cache.Init (5.8s)
✔ [16/25] Built Cache.IO (10s)
✔ [17/25] Built Cache.Init:c.o (1.2s)
✔ [18/25] Built Cache.IO:c.o (1.3s)
✔ [19/25] Built Cache.Hashing (17s)
✔ [20/25] Built Cache.Hashing:c.o (1.4s)
✔ [21/25] Built Cache.Requests (9.9s)
✔ [22/25] Built Cache.Requests:c.o (1.0s)
✔ [23/25] Built Cache.Main (1.2s)
✔ [24/25] Built Cache.Main:c.o (569ms)
✔ [25/25] Built cache:exe (6.2s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 4 KB/s], Decompressed: 11
Downloaded: 38 file(s) [attempted 38/8459 = 0%, 26 KB/s], Decompressed: 18
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 295 KB/s], Decompressed: 39
Downloaded: 89 file(s) [attempted 89/8459 = 1%, 244 KB/s], Decompressed: 61
Downloaded: 124 file(s) [attempted 124/8459 = 1%, 154 KB/s], Decompressed: 86
Downloaded: 155 file(s) [attempted 155/8459 = 1%, 166 KB/s], Decompressed: 114
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 157 KB/s], Decompressed: 138
Downloaded: 220 file(s) [attempted 220/8459 = 2%, 626 KB/s], Decompressed: 169
Downloaded: 254 file(s) [attempted 254/8459 = 3%, 434 KB/s], Decompressed: 206
Downloaded: 289 file(s) [attempted 289/8459 = 3%, 189 KB/s], Decompressed: 206
Downloaded: 326 file(s) [attempted 326/8459 = 3%, 97 KB/s], Decompressed: 247
Downloaded: 367 file(s) [attempted 367/8459 = 4%, 602 KB/s], Decompressed: 295
Downloaded: 405 file(s) [attempted 405/8459 = 4%, 129 KB/s], Decompressed: 295
Downloaded: 443 file(s) [attempted 443/8459 = 5%, 247 KB/s], Decompressed: 357
Downloaded: 481 file(s) [attempted 481/8459 = 5%, 1090 KB/s], Decompressed: 357
Downloaded: 518 file(s) [attempted 518/8459 = 6%, 225 KB/s], Decompressed: 429
Downloaded: 556 file(s) [attempted 556/8459 = 6%, 975 KB/s], Decompressed: 429
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 332 KB/s], Decompressed: 429
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 285 KB/s], Decompressed: 511
Downloaded: 679 file(s) [attempted 679/8459 = 8%, 68 KB/s], Decompressed: 511
Downloaded: 724 file(s) [attempted 724/8459 = 8%, 427 KB/s], Decompressed: 511
Downloaded: 765 file(s) [attempted 765/8459 = 9%, 221 KB/s], Decompressed: 604
Downloaded: 803 file(s) [attempted 803/8459 = 9%, 59 KB/s], Decompressed: 604
Downloaded: 841 file(s) [attempted 841/8459 = 9%, 22 KB/s], Decompressed: 604
Downloaded: 882 file(s) [attempted 882/8459 = 10%, 248 KB/s], Decompressed: 604
Downloaded: 919 file(s) [attempted 919/8459 = 10%, 597 KB/s], Decompressed: 755
Downloaded: 961 file(s) [attempted 961/8459 = 11%, 168 KB/s], Decompressed: 755
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 273 KB/s], Decompressed: 755
Downloaded: 1039 file(s) [attempted 1039/8459 = 12%, 1137 KB/s], Decompressed: 755
Downloaded: 1080 file(s) [attempted 1080/8459 = 12%, 250 KB/s], Decompressed: 895
Downloaded: 1125 file(s) [attempted 1125/8459 = 13%, 374 KB/s], Decompressed: 895
Downloaded: 1166 file(s) [attempted 1166/8459 = 13%, 1529 KB/s], Decompressed: 895
Downloaded: 1204 file(s) [attempted 1204/8459 = 14%, 338 KB/s], Decompressed: 895
Downloaded: 1241 file(s) [attempted 1241/8459 = 14%, 33 KB/s], Decompressed: 1053
Downloaded: 1284 file(s) [attempted 1284/8459 = 15%, 1137 KB/s], Decompressed: 1053
Downloaded: 1324 file(s) [attempted 1324/8459 = 15%, 1073 KB/s], Decompressed: 1053
Downloaded: 1368 file(s) [attempted 1368/8459 = 16%, 282 KB/s], Decompressed: 1053
Downloaded: 1406 file(s) [attempted 1406/8459 = 16%, 237 KB/s], Decompressed: 1217
Downloaded: 1444 file(s) [attempted 1444/8459 = 17%, 152 KB/s], Decompressed: 1217
Downloaded: 1485 file(s) [attempted 1485/8459 = 17%, 1010 KB/s], Decompressed: 1217
Downloaded: 1529 file(s) [attempted 1529/8459 = 18%, 329 KB/s], Decompressed: 1217
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 278 KB/s], Decompressed: 1217
Downloaded: 1611 file(s) [attempted 1611/8459 = 19%, 326 KB/s], Decompressed: 1385
Downloaded: 1652 file(s) [attempted 1652/8459 = 19%, 497 KB/s], Decompressed: 1385
Downloaded: 1690 file(s) [attempted 1690/8459 = 19%, 35 KB/s], Decompressed: 1385
Downloaded: 1731 file(s) [attempted 1731/8459 = 20%, 84 KB/s], Decompressed: 1385
Downloaded: 1772 file(s) [attempted 1772/8459 = 20%, 170 KB/s], Decompressed: 1385
Downloaded: 1813 file(s) [attempted 1813/8459 = 21%, 321 KB/s], Decompressed: 1577
Downloaded: 1855 file(s) [attempted 1855/8459 = 21%, 149 KB/s], Decompressed: 1577
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 821 KB/s], Decompressed: 1577
Downloaded: 1926 file(s) [attempted 1926/8459 = 22%, 86 KB/s], Decompressed: 1577
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 428 KB/s], Decompressed: 1577
Downloaded: 2012 file(s) [attempted 2012/8459 = 23%, 66 KB/s], Decompressed: 1577
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 180 KB/s], Decompressed: 1577
Downloaded: 2094 file(s) [attempted 2094/8459 = 24%, 121 KB/s], Decompressed: 1800
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 955 KB/s], Decompressed: 1800
Downloaded: 2169 file(s) [attempted 2169/8459 = 25%, 558 KB/s], Decompressed: 1800
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 849 KB/s], Decompressed: 1800
Downloaded: 2252 file(s) [attempted 2252/8459 = 26%, 670 KB/s], Decompressed: 1800
Downloaded: 2293 file(s) [attempted 2293/8459 = 27%, 981 KB/s], Decompressed: 1800
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 1019 KB/s], Decompressed: 1800
Downloaded: 2368 file(s) [attempted 2368/8459 = 27%, 267 KB/s], Decompressed: 1800
Downloaded: 2409 file(s) [attempted 2409/8459 = 28%, 259 KB/s], Decompressed: 2064
Downloaded: 2451 file(s) [attempted 2451/8459 = 28%, 3108 KB/s], Decompressed: 2064
Downloaded: 2492 file(s) [attempted 2492/8459 = 29%, 277 KB/s], Decompressed: 2064
Downloaded: 2533 file(s) [attempted 2533/8459 = 29%, 1073 KB/s], Decompressed: 2064
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 917 KB/s], Decompressed: 2064
Downloaded: 2615 file(s) [attempted 2615/8459 = 30%, 419 KB/s], Decompressed: 2064
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 49 KB/s], Decompressed: 2064
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 57 KB/s], Decompressed: 2064
Downloaded: 2731 file(s) [attempted 2731/8459 = 32%, 70 KB/s], Decompressed: 2064
Downloaded: 2769 file(s) [attempted 2769/8459 = 32%, 332 KB/s], Decompressed: 2064
Downloaded: 2810 file(s) [attempted 2810/8459 = 33%, 62 KB/s], Decompressed: 2064
Downloaded: 2844 file(s) [attempted 2844/8459 = 33%, 76 KB/s], Decompressed: 2389
Downloaded: 2886 file(s) [attempted 2886/8459 = 34%, 41 KB/s], Decompressed: 2389
Downloaded: 2927 file(s) [attempted 2927/8459 = 34%, 76 KB/s], Decompressed: 2389
Downloaded: 2968 file(s) [attempted 2968/8459 = 35%, 244 KB/s], Decompressed: 2389
Downloaded: 3012 file(s) [attempted 3012/8459 = 35%, 643 KB/s], Decompressed: 2389
Downloaded: 3048 file(s) [attempted 3048/8459 = 36%, 1242 KB/s], Decompressed: 2389
Downloaded: 3088 file(s) [attempted 3088/8459 = 36%, 311 KB/s], Decompressed: 2389
Downloaded: 3125 file(s) [attempted 3125/8459 = 36%, 890 KB/s], Decompressed: 2389
Downloaded: 3166 file(s) [attempted 3166/8459 = 37%, 63 KB/s], Decompressed: 2389
Downloaded: 3211 file(s) [attempted 3211/8459 = 37%, 86 KB/s], Decompressed: 2389
Downloaded: 3252 file(s) [attempted 3252/8459 = 38%, 1430 KB/s], Decompressed: 2389
Downloaded: 3286 file(s) [attempted 3286/8459 = 38%, 212 KB/s], Decompressed: 2389
Downloaded: 3327 file(s) [attempted 3327/8459 = 39%, 105 KB/s], Decompressed: 2389
Downloaded: 3368 file(s) [attempted 3368/8459 = 39%, 313 KB/s], Decompressed: 2389
Downloaded: 3410 file(s) [attempted 3410/8459 = 40%, 202 KB/s], Decompressed: 2841
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 231 KB/s], Decompressed: 2841
Downloaded: 3495 file(s) [attempted 3495/8459 = 41%, 391 KB/s], Decompressed: 2841
Downloaded: 3531 file(s) [attempted 3531/8459 = 41%, 70 KB/s], Decompressed: 2841
Downloaded: 3571 file(s) [attempted 3571/8459 = 42%, 520 KB/s], Decompressed: 2841
Downloaded: 3615 file(s) [attempted 3615/8459 = 42%, 1341 KB/s], Decompressed: 2841
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 605 KB/s], Decompressed: 2841
Downloaded: 3697 file(s) [attempted 3697/8459 = 43%, 648 KB/s], Decompressed: 2841
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 73 KB/s], Decompressed: 2841
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 135 KB/s], Decompressed: 2841
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 383 KB/s], Decompressed: 2841
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 1054 KB/s], Decompressed: 2841
Downloaded: 3899 file(s) [attempted 3899/8459 = 46%, 201 KB/s], Decompressed: 2841
Downloaded: 3947 file(s) [attempted 3947/8459 = 46%, 416 KB/s], Decompressed: 3379
Downloaded: 3992 file(s) [attempted 3992/8459 = 47%, 192 KB/s], Decompressed: 3379
Downloaded: 4033 file(s) [attempted 4033/8459 = 47%, 930 KB/s], Decompressed: 3379
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 273 KB/s], Decompressed: 3379
Downloaded: 4108 file(s) [attempted 4108/8459 = 48%, 206 KB/s], Decompressed: 3379
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 64 KB/s], Decompressed: 3379
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 2054 KB/s], Decompressed: 3379
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 46 KB/s], Decompressed: 3379
Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 534 KB/s], Decompressed: 3379
Downloaded: 4314 file(s) [attempted 4314/8459 = 50%, 261 KB/s], Decompressed: 3379
Downloaded: 4352 file(s) [attempted 4352/8459 = 51%, 158 KB/s], Decompressed: 3379
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 437 KB/s], Decompressed: 3379
Downloaded: 4434 file(s) [attempted 4434/8459 = 52%, 104 KB/s], Decompressed: 3379
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 365 KB/s], Decompressed: 3379
Downloaded: 4513 file(s) [attempted 4513/8459 = 53%, 283 KB/s], Decompressed: 3936
Downloaded: 4554 file(s) [attempted 4554/8459 = 53%, 106 KB/s], Decompressed: 3936
Downloaded: 4588 file(s) [attempted 4588/8459 = 54%, 340 KB/s], Decompressed: 3936
Downloaded: 4629 file(s) [attempted 4629/8459 = 54%, 1035 KB/s], Decompressed: 3936
Downloaded: 4674 file(s) [attempted 4674/8459 = 55%, 215 KB/s], Decompressed: 3936
Downloaded: 4718 file(s) [attempted 4718/8459 = 55%, 674 KB/s], Decompressed: 3936
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 190 KB/s], Decompressed: 3936
Downloaded: 4800 file(s) [attempted 4800/8459 = 56%, 184 KB/s], Decompressed: 3936
Downloaded: 4831 file(s) [attempted 4831/8459 = 57%, 120 KB/s], Decompressed: 3936
Downloaded: 4876 file(s) [attempted 4876/8459 = 57%, 181 KB/s], Decompressed: 3936
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 277 KB/s], Decompressed: 3936
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 120 KB/s], Decompressed: 3936
Downloaded: 4995 file(s) [attempted 4995/8459 = 59%, 86 KB/s], Decompressed: 3936
Downloaded: 5037 file(s) [attempted 5037/8459 = 59%, 559 KB/s], Decompressed: 3936
Downloaded: 5071 file(s) [attempted 5071/8459 = 59%, 64 KB/s], Decompressed: 3936
Downloaded: 5115 file(s) [attempted 5115/8459 = 60%, 48 KB/s], Decompressed: 3936
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 1217 KB/s], Decompressed: 3936
Downloaded: 5201 file(s) [attempted 5201/8459 = 61%, 26 KB/s], Decompressed: 4513
Downloaded: 5242 file(s) [attempted 5242/8459 = 61%, 74 KB/s], Decompressed: 4513
Downloaded: 5280 file(s) [attempted 5280/8459 = 62%, 370 KB/s], Decompressed: 4513
Downloaded: 5317 file(s) [attempted 5317/8459 = 62%, 1236 KB/s], Decompressed: 4513
Downloaded: 5354 file(s) [attempted 5354/8459 = 63%, 112 KB/s], Decompressed: 4513
Downloaded: 5396 file(s) [attempted 5396/8459 = 63%, 183 KB/s], Decompressed: 4513
Downloaded: 5437 file(s) [attempted 5437/8459 = 64%, 69 KB/s], Decompressed: 4513
Downloaded: 5478 file(s) [attempted 5478/8459 = 64%, 197 KB/s], Decompressed: 4513
Downloaded: 5520 file(s) [attempted 5520/8459 = 65%, 170 KB/s], Decompressed: 4513
Downloaded: 5554 file(s) [attempted 5554/8459 = 65%, 223 KB/s], Decompressed: 4513
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 161 KB/s], Decompressed: 4513
Downloaded: 5639 file(s) [attempted 5639/8459 = 66%, 163 KB/s], Decompressed: 4513
Downloaded: 5684 file(s) [attempted 5684/8459 = 67%, 206 KB/s], Decompressed: 4513
Downloaded: 5725 file(s) [attempted 5725/8459 = 67%, 158 KB/s], Decompressed: 4513
Downloaded: 5759 file(s) [attempted 5759/8459 = 68%, 2122 KB/s], Decompressed: 4513
Downloaded: 5797 file(s) [attempted 5797/8459 = 68%, 41 KB/s], Decompressed: 5163
Downloaded: 5838 file(s) [attempted 5838/8459 = 69%, 126 KB/s], Decompressed: 5163
Downloaded: 5879 file(s) [attempted 5879/8459 = 69%, 47 KB/s], Decompressed: 5163
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 632 KB/s], Decompressed: 5163
Downloaded: 5965 file(s) [attempted 5965/8459 = 70%, 95 KB/s], Decompressed: 5163
Downloaded: 6003 file(s) [attempted 6003/8459 = 70%, 283 KB/s], Decompressed: 5163
Downloaded: 6037 file(s) [attempted 6037/8459 = 71%, 59 KB/s], Decompressed: 5163
Downloaded: 6078 file(s) [attempted 6078/8459 = 71%, 252 KB/s], Decompressed: 5163
Downloaded: 6122 file(s) [attempted 6122/8459 = 72%, 922 KB/s], Decompressed: 5163
Downloaded: 6165 file(s) [attempted 6165/8459 = 72%, 260 KB/s], Decompressed: 5163
Downloaded: 6198 file(s) [attempted 6198/8459 = 73%, 408 KB/s], Decompressed: 5163
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 152 KB/s], Decompressed: 5163
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 159 KB/s], Decompressed: 5163
Downloaded: 6314 file(s) [attempted 6314/8459 = 74%, 624 KB/s], Decompressed: 5163
Downloaded: 6355 file(s) [attempted 6355/8459 = 75%, 353 KB/s], Decompressed: 5163
Downloaded: 6393 file(s) [attempted 6393/8459 = 75%, 56 KB/s], Decompressed: 5163
Downloaded: 6431 file(s) [attempted 6431/8459 = 76%, 159 KB/s], Decompressed: 5163
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 247 KB/s], Decompressed: 5794
Downloaded: 6513 file(s) [attempted 6513/8459 = 76%, 1564 KB/s], Decompressed: 5794
Downloaded: 6551 file(s) [attempted 6551/8459 = 77%, 304 KB/s], Decompressed: 5794
Downloaded: 6588 file(s) [attempted 6588/8459 = 77%, 994 KB/s], Decompressed: 5794
Downloaded: 6633 file(s) [attempted 6633/8459 = 78%, 54 KB/s], Decompressed: 5794
Downloaded: 6677 file(s) [attempted 6677/8459 = 78%, 535 KB/s], Decompressed: 5794
Downloaded: 6715 file(s) [attempted 6715/8459 = 79%, 569 KB/s], Decompressed: 5794
Downloaded: 6749 file(s) [attempted 6749/8459 = 79%, 105 KB/s], Decompressed: 5794
Downloaded: 6790 file(s) [attempted 6790/8459 = 80%, 282 KB/s], Decompressed: 5794
Downloaded: 6835 file(s) [attempted 6835/8459 = 80%, 278 KB/s], Decompressed: 5794
Downloaded: 6879 file(s) [attempted 6879/8459 = 81%, 37 KB/s], Decompressed: 5794
Downloaded: 6924 file(s) [attempted 6924/8459 = 81%, 354 KB/s], Decompressed: 5794
Downloaded: 6965 file(s) [attempted 6965/8459 = 82%, 43 KB/s], Decompressed: 5794
Downloaded: 6996 file(s) [attempted 6996/8459 = 82%, 1639 KB/s], Decompressed: 5794
Downloaded: 7037 file(s) [attempted 7037/8459 = 83%, 875 KB/s], Decompressed: 5794
Downloaded: 7073 file(s) [attempted 7073/8459 = 83%, 1189 KB/s], Decompressed: 5794
Downloaded: 7119 file(s) [attempted 7119/8459 = 84%, 77 KB/s], Decompressed: 5794
Downloaded: 7167 file(s) [attempted 7167/8459 = 84%, 152 KB/s], Decompressed: 5794
Downloaded: 7212 file(s) [attempted 7212/8459 = 85%, 656 KB/s], Decompressed: 6438
Downloaded: 7253 file(s) [attempted 7253/8459 = 85%, 382 KB/s], Decompressed: 6438
Downloaded: 7287 file(s) [attempted 7287/8459 = 86%, 335 KB/s], Decompressed: 6438
Downloaded: 7325 file(s) [attempted 7325/8459 = 86%, 229 KB/s], Decompressed: 6438
Downloaded: 7366 file(s) [attempted 7366/8459 = 87%, 80 KB/s], Decompressed: 6438
Downloaded: 7400 file(s) [attempted 7400/8459 = 87%, 377 KB/s], Decompressed: 6438
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 217 KB/s], Decompressed: 6438
Downloaded: 7486 file(s) [attempted 7486/8459 = 88%, 136 KB/s], Decompressed: 6438
Downloaded: 7523 file(s) [attempted 7523/8459 = 88%, 315 KB/s], Decompressed: 6438
Downloaded: 7564 file(s) [attempted 7564/8459 = 89%, 1316 KB/s], Decompressed: 6438
Downloaded: 7599 file(s) [attempted 7599/8459 = 89%, 149 KB/s], Decompressed: 6438
Downloaded: 7633 file(s) [attempted 7633/8459 = 90%, 74 KB/s], Decompressed: 6438
Downloaded: 7674 file(s) [attempted 7674/8459 = 90%, 144 KB/s], Decompressed: 6438
Downloaded: 7708 file(s) [attempted 7708/8459 = 91%, 433 KB/s], Decompressed: 6438
Downloaded: 7743 file(s) [attempted 7743/8459 = 91%, 496 KB/s], Decompressed: 6438
Downloaded: 7784 file(s) [attempted 7784/8459 = 92%, 881 KB/s], Decompressed: 6438
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 865 KB/s], Decompressed: 6438
Downloaded: 7852 file(s) [attempted 7852/8459 = 92%, 34 KB/s], Decompressed: 7177
Downloaded: 7886 file(s) [attempted 7886/8459 = 93%, 1236 KB/s], Decompressed: 7177
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 88 KB/s], Decompressed: 7177
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 90 KB/s], Decompressed: 7177
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 53 KB/s], Decompressed: 7177
Downloaded: 8030 file(s) [attempted 8030/8459 = 94%, 818 KB/s], Decompressed: 7177
Downloaded: 8058 file(s) [attempted 8058/8459 = 95%, 1883 KB/s], Decompressed: 7177
Downloaded: 8088 file(s) [attempted 8088/8459 = 95%, 157 KB/s], Decompressed: 7177
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 1036 KB/s], Decompressed: 7177
Downloaded: 8160 file(s) [attempted 8160/8459 = 96%, 59 KB/s], Decompressed: 7177
Downloaded: 8201 file(s) [attempted 8201/8459 = 96%, 29 KB/s], Decompressed: 7177
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 202 KB/s], Decompressed: 7177
Downloaded: 8273 file(s) [attempted 8273/8459 = 97%, 1057 KB/s], Decompressed: 7177
Downloaded: 8311 file(s) [attempted 8311/8459 = 98%, 164 KB/s], Decompressed: 7177
Downloaded: 8352 file(s) [attempted 8352/8459 = 98%, 316 KB/s], Decompressed: 7177
Downloaded: 8393 file(s) [attempted 8393/8459 = 99%, 325 KB/s], Decompressed: 7177
Downloaded: 8429 file(s) [attempted 8429/8459 = 99%, 184 KB/s], Decompressed: 7177
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 632 KB/s], Decompressed: 7838
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 632 KB/s], Decompressed: 7838

apx-runtime-resource-v1	apx-verifier-job-1682-runtime-lake_cache-3148345-1787123110961508100-0	3858432	4100096	21474836480	0	0	0	0	0	0	646258688	1261322240	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/19/2026, 9:08:07 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (97s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (37s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (69s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (60s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (63s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (61s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (62s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (54s)
✔ [790/794] Built Iut.Foundations.QualitativeData (64s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (252s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (777s)
✔ [3956/3966] Built Iut.Foundations.InitialThetaData (520s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (553s)
✔ [3965/3978] Built Iut.Foundations.EtaleThetaCovers (142s)
✔ [3974/3984] Built Iut.Foundations.SourceTateCurve (121s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (102s)
✔ [3983/3989] Built Iut.Foundations.SourceAnabelioid (501s)
✔ [3985/3989] Built Iut.Foundations.SourceInitialThetaData (571s)
✔ [4130/4135] Built Iut.Foundations.Frobenioid (52s)
✔ [4131/4136] Built Iut.Foundations.SourceInitialThetaDefinition (612s)
✔ [4148/4157] Built Iut.Foundations.SourceAutHolomorphic (130s)
✔ [4156/4169] Built Iut.Foundations.SourceArchimedeanSemiGerm (129s)
✔ [4158/4169] Built Iut.Foundations.Procession (29s)
✔ [4159/4169] Built Iut.Foundations.SourceArchimedeanLocalGeometry (560s)
✔ [4160/4169] Built Iut.Foundations.SourceSemiGraph (38s)
✔ [4163/4170] Built Iut.Foundations.SourceSemiGraphAction (15s)
✔ [4166/4170] Built Iut.Foundations.SourceSemiGraphOfSubgroups (3.0s)
✔ [4167/4170] Built Iut.Foundations.SourceProfiniteCosetSystem (32s)
✔ [4168/4170] Built Iut.Foundations.SourceAutHolomorphicRigidity (128s)
✔ [4169/4175] Built Iut.Foundations.SourceProfiniteSemiGraphSystem (194s)
✔ [4203/4213] Built Iut.Foundations.GaloisComplement (75s)
✔ [4204/4213] Built Iut.Foundations.SourceSemiGraphOfAnabelioids (407s)
✔ [4205/4214] Built Iut.Foundations.SourceTemperedSemigraph (113s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1682-runtime-lean_checker-3148345-1787123274639056745-1 on attempt 1

blueprint_buildexit 1duration 11s · created 8/19/2026, 9:08:07 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1682-runtime-blueprint_build-3148345-1787130475404241659-2	1204224	1449984	21474836480	0	0	0	0	0	0	564432896	669044736	21474836480	0	0	0	0	0	0