Verification run

Run 1278

promachina/iut-leanbranch mastertriggered via poller

failedcommit 2565ff58a998toolchain lean-v4-30-0prover leantook 2h 9m · 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-1727-source
exit_code=Some(128) duration_ms=232
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1727-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=4021
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1727-source'...


$ git checkout 2565ff58a99855f2ecd8f7035fc282ba45c2630a
exit_code=Some(0) duration_ms=302
stderr:
Note: switching to '2565ff58a99855f2ecd8f7035fc282ba45c2630a'.

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 2565ff5 Merge pull request #966 from promachina/e23-3d-paper-family-common-rho-boundary

Resolved source revision: 2565ff58a99855f2ecd8f7035fc282ba45c2630a

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=2565ff58a99855f2ecd8f7035fc282ba45c2630a provenance={"branch":"master","checked_out_revision":"2565ff58a99855f2ecd8f7035fc282ba45c2630a","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"2565ff58a99855f2ecd8f7035fc282ba45c2630a","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=5696 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=435218
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 (9.5s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (99ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (152ms)
✔ [13/25] Built Cache.Lean:c.o (123ms)
✔ [15/25] Built Cache.Init (367ms)
✔ [16/25] Built Cache.IO (7.4s)
✔ [17/25] Built Cache.Init:c.o (78ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (997ms)
✔ [20/25] Built Cache.Hashing:c.o (362ms)
✔ [21/25] Built Cache.Requests (80s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (11s)
✔ [24/25] Built Cache.Main:c.o (537ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 13 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 4 KB/s], Decompressed: 9
Downloaded: 42 file(s) [attempted 42/8459 = 0%, 12 KB/s], Decompressed: 16
Downloaded: 66 file(s) [attempted 66/8459 = 0%, 28 KB/s], Decompressed: 44
Downloaded: 93 file(s) [attempted 93/8459 = 1%, 366 KB/s], Decompressed: 64
Downloaded: 127 file(s) [attempted 127/8459 = 1%, 376 KB/s], Decompressed: 83
Downloaded: 158 file(s) [attempted 158/8459 = 1%, 91 KB/s], Decompressed: 117
Downloaded: 193 file(s) [attempted 193/8459 = 2%, 526 KB/s], Decompressed: 117
Downloaded: 230 file(s) [attempted 230/8459 = 2%, 624 KB/s], Decompressed: 158
Downloaded: 261 file(s) [attempted 261/8459 = 3%, 145 KB/s], Decompressed: 206
Downloaded: 299 file(s) [attempted 299/8459 = 3%, 84 KB/s], Decompressed: 206
Downloaded: 340 file(s) [attempted 340/8459 = 4%, 37 KB/s], Decompressed: 247
Downloaded: 385 file(s) [attempted 385/8459 = 4%, 567 KB/s], Decompressed: 302
Downloaded: 422 file(s) [attempted 422/8459 = 4%, 1116 KB/s], Decompressed: 354
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 219 KB/s], Decompressed: 395
Downloaded: 505 file(s) [attempted 505/8459 = 5%, 103 KB/s], Decompressed: 433
Downloaded: 546 file(s) [attempted 546/8459 = 6%, 66 KB/s], Decompressed: 477
Downloaded: 583 file(s) [attempted 583/8459 = 6%, 32 KB/s], Decompressed: 525
Downloaded: 625 file(s) [attempted 625/8459 = 7%, 156 KB/s], Decompressed: 573
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 64 KB/s], Decompressed: 573
Downloaded: 714 file(s) [attempted 714/8459 = 8%, 288 KB/s], Decompressed: 625
Downloaded: 751 file(s) [attempted 751/8459 = 8%, 223 KB/s], Decompressed: 676
Downloaded: 796 file(s) [attempted 796/8459 = 9%, 289 KB/s], Decompressed: 733
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 76 KB/s], Decompressed: 786
Downloaded: 871 file(s) [attempted 871/8459 = 10%, 37 KB/s], Decompressed: 786
Downloaded: 916 file(s) [attempted 916/8459 = 10%, 885 KB/s], Decompressed: 834
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 827 KB/s], Decompressed: 878
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 289 KB/s], Decompressed: 923
Downloaded: 1043 file(s) [attempted 1043/8459 = 12%, 44 KB/s], Decompressed: 964
Downloaded: 1080 file(s) [attempted 1080/8459 = 12%, 215 KB/s], Decompressed: 1005
Downloaded: 1118 file(s) [attempted 1118/8459 = 13%, 253 KB/s], Decompressed: 1046
Downloaded: 1159 file(s) [attempted 1159/8459 = 13%, 455 KB/s], Decompressed: 1087
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 278 KB/s], Decompressed: 1125
Downloaded: 1248 file(s) [attempted 1248/8459 = 14%, 101 KB/s], Decompressed: 1166
Downloaded: 1293 file(s) [attempted 1293/8459 = 15%, 823 KB/s], Decompressed: 1207
Downloaded: 1334 file(s) [attempted 1334/8459 = 15%, 53 KB/s], Decompressed: 1253
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 134 KB/s], Decompressed: 1300
Downloaded: 1413 file(s) [attempted 1413/8459 = 16%, 314 KB/s], Decompressed: 1351
Downloaded: 1454 file(s) [attempted 1454/8459 = 17%, 242 KB/s], Decompressed: 1402
Downloaded: 1495 file(s) [attempted 1495/8459 = 17%, 219 KB/s], Decompressed: 1450
Downloaded: 1539 file(s) [attempted 1539/8459 = 18%, 481 KB/s], Decompressed: 1450
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 386 KB/s], Decompressed: 1495
Downloaded: 1622 file(s) [attempted 1622/8459 = 19%, 213 KB/s], Decompressed: 1550
Downloaded: 1659 file(s) [attempted 1659/8459 = 19%, 130 KB/s], Decompressed: 1608
Downloaded: 1707 file(s) [attempted 1707/8459 = 20%, 273 KB/s], Decompressed: 1659
Downloaded: 1752 file(s) [attempted 1752/8459 = 20%, 240 KB/s], Decompressed: 1659
Downloaded: 1793 file(s) [attempted 1793/8459 = 21%, 383 KB/s], Decompressed: 1707
Downloaded: 1834 file(s) [attempted 1834/8459 = 21%, 472 KB/s], Decompressed: 1707
Downloaded: 1872 file(s) [attempted 1872/8459 = 22%, 551 KB/s], Decompressed: 1769
Downloaded: 1913 file(s) [attempted 1913/8459 = 22%, 274 KB/s], Decompressed: 1844
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 71 KB/s], Decompressed: 1844
Downloaded: 1992 file(s) [attempted 1992/8459 = 23%, 132 KB/s], Decompressed: 1906
Downloaded: 2033 file(s) [attempted 2033/8459 = 24%, 679 KB/s], Decompressed: 1906
Downloaded: 2070 file(s) [attempted 2070/8459 = 24%, 882 KB/s], Decompressed: 1971
Downloaded: 2111 file(s) [attempted 2111/8459 = 24%, 82 KB/s], Decompressed: 1971
Downloaded: 2153 file(s) [attempted 2153/8459 = 25%, 179 KB/s], Decompressed: 2043
Downloaded: 2194 file(s) [attempted 2194/8459 = 25%, 441 KB/s], Decompressed: 2043
Downloaded: 2231 file(s) [attempted 2231/8459 = 26%, 163 KB/s], Decompressed: 2122
Downloaded: 2272 file(s) [attempted 2272/8459 = 26%, 106 KB/s], Decompressed: 2122
Downloaded: 2314 file(s) [attempted 2314/8459 = 27%, 312 KB/s], Decompressed: 2197
Downloaded: 2355 file(s) [attempted 2355/8459 = 27%, 859 KB/s], Decompressed: 2279
Downloaded: 2396 file(s) [attempted 2396/8459 = 28%, 302 KB/s], Decompressed: 2279
Downloaded: 2430 file(s) [attempted 2430/8459 = 28%, 578 KB/s], Decompressed: 2355
Downloaded: 2471 file(s) [attempted 2471/8459 = 29%, 332 KB/s], Decompressed: 2355
Downloaded: 2509 file(s) [attempted 2509/8459 = 29%, 146 KB/s], Decompressed: 2427
Downloaded: 2553 file(s) [attempted 2553/8459 = 30%, 100 KB/s], Decompressed: 2427
Downloaded: 2598 file(s) [attempted 2598/8459 = 30%, 442 KB/s], Decompressed: 2502
Downloaded: 2629 file(s) [attempted 2629/8459 = 31%, 24 KB/s], Decompressed: 2569
Downloaded: 2670 file(s) [attempted 2670/8459 = 31%, 267 KB/s], Decompressed: 2569
Downloaded: 2711 file(s) [attempted 2711/8459 = 32%, 1059 KB/s], Decompressed: 2629
Downloaded: 2752 file(s) [attempted 2752/8459 = 32%, 203 KB/s], Decompressed: 2629
Downloaded: 2796 file(s) [attempted 2796/8459 = 33%, 468 KB/s], Decompressed: 2701
Downloaded: 2834 file(s) [attempted 2834/8459 = 33%, 263 KB/s], Decompressed: 2701
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 2452 KB/s], Decompressed: 2773
Downloaded: 2912 file(s) [attempted 2912/8459 = 34%, 224 KB/s], Decompressed: 2846
Downloaded: 2954 file(s) [attempted 2954/8459 = 34%, 1051 KB/s], Decompressed: 2846
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 430 KB/s], Decompressed: 2910
Downloaded: 3036 file(s) [attempted 3036/8459 = 35%, 351 KB/s], Decompressed: 2910
Downloaded: 3070 file(s) [attempted 3070/8459 = 36%, 137 KB/s], Decompressed: 2975
Downloaded: 3108 file(s) [attempted 3108/8459 = 36%, 63 KB/s], Decompressed: 3043
Downloaded: 3153 file(s) [attempted 3153/8459 = 37%, 414 KB/s], Decompressed: 3043
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 40 KB/s], Decompressed: 3108
Downloaded: 3238 file(s) [attempted 3238/8459 = 38%, 203 KB/s], Decompressed: 3108
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 252 KB/s], Decompressed: 3180
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 157 KB/s], Decompressed: 3180
Downloaded: 3358 file(s) [attempted 3358/8459 = 39%, 80 KB/s], Decompressed: 3255
Downloaded: 3399 file(s) [attempted 3399/8459 = 40%, 123 KB/s], Decompressed: 3327
Downloaded: 3444 file(s) [attempted 3444/8459 = 40%, 91 KB/s], Decompressed: 3327
Downloaded: 3485 file(s) [attempted 3485/8459 = 41%, 241 KB/s], Decompressed: 3399
Downloaded: 3523 file(s) [attempted 3523/8459 = 41%, 386 KB/s], Decompressed: 3399
Downloaded: 3564 file(s) [attempted 3564/8459 = 42%, 405 KB/s], Decompressed: 3468
Downloaded: 3605 file(s) [attempted 3605/8459 = 42%, 123 KB/s], Decompressed: 3533
Downloaded: 3649 file(s) [attempted 3649/8459 = 43%, 130 KB/s], Decompressed: 3588
Downloaded: 3687 file(s) [attempted 3687/8459 = 43%, 683 KB/s], Decompressed: 3588
Downloaded: 3735 file(s) [attempted 3735/8459 = 44%, 228 KB/s], Decompressed: 3639
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 101 KB/s], Decompressed: 3701
Downloaded: 3824 file(s) [attempted 3824/8459 = 45%, 456 KB/s], Decompressed: 3759
Downloaded: 3858 file(s) [attempted 3858/8459 = 45%, 797 KB/s], Decompressed: 3759
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 119 KB/s], Decompressed: 3814
Downloaded: 3940 file(s) [attempted 3940/8459 = 46%, 940 KB/s], Decompressed: 3868
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 1646 KB/s], Decompressed: 3923
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 108 KB/s], Decompressed: 3923
Downloaded: 4064 file(s) [attempted 4064/8459 = 48%, 296 KB/s], Decompressed: 3985
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 448 KB/s], Decompressed: 3985
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 38 KB/s], Decompressed: 4050
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 1335 KB/s], Decompressed: 4050
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 490 KB/s], Decompressed: 4050
Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 169 KB/s], Decompressed: 4050
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 244 KB/s], Decompressed: 4050
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 853 KB/s], Decompressed: 4050
Downloaded: 4386 file(s) [attempted 4386/8459 = 51%, 368 KB/s], Decompressed: 4050
Downloaded: 4427 file(s) [attempted 4427/8459 = 52%, 767 KB/s], Decompressed: 4050
Downloaded: 4465 file(s) [attempted 4465/8459 = 52%, 104 KB/s], Decompressed: 4050
Downloaded: 4506 file(s) [attempted 4506/8459 = 53%, 408 KB/s], Decompressed: 4115
Downloaded: 4547 file(s) [attempted 4547/8459 = 53%, 115 KB/s], Decompressed: 4115
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 161 KB/s], Decompressed: 4115
Downloaded: 4626 file(s) [attempted 4626/8459 = 54%, 246 KB/s], Decompressed: 4115
Downloaded: 4667 file(s) [attempted 4667/8459 = 55%, 71 KB/s], Decompressed: 4115
Downloaded: 4711 file(s) [attempted 4711/8459 = 55%, 180 KB/s], Decompressed: 4115
Downloaded: 4752 file(s) [attempted 4752/8459 = 56%, 168 KB/s], Decompressed: 4115
Downloaded: 4793 file(s) [attempted 4793/8459 = 56%, 292 KB/s], Decompressed: 4115
Downloaded: 4838 file(s) [attempted 4838/8459 = 57%, 180 KB/s], Decompressed: 4115
Downloaded: 4879 file(s) [attempted 4879/8459 = 57%, 122 KB/s], Decompressed: 4115
Downloaded: 4920 file(s) [attempted 4920/8459 = 58%, 32 KB/s], Decompressed: 4115
Downloaded: 4965 file(s) [attempted 4965/8459 = 58%, 39 KB/s], Decompressed: 4115
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 153 KB/s], Decompressed: 4482
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 186 KB/s], Decompressed: 4482
Downloaded: 5085 file(s) [attempted 5085/8459 = 60%, 135 KB/s], Decompressed: 4482
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 1056 KB/s], Decompressed: 4482
Downloaded: 5167 file(s) [attempted 5167/8459 = 61%, 462 KB/s], Decompressed: 4482
Downloaded: 5208 file(s) [attempted 5208/8459 = 61%, 48 KB/s], Decompressed: 4482
Downloaded: 5249 file(s) [attempted 5249/8459 = 62%, 414 KB/s], Decompressed: 4482
Downloaded: 5287 file(s) [attempted 5287/8459 = 62%, 347 KB/s], Decompressed: 4482
Downloaded: 5328 file(s) [attempted 5328/8459 = 62%, 319 KB/s], Decompressed: 4482
Downloaded: 5369 file(s) [attempted 5369/8459 = 63%, 1105 KB/s], Decompressed: 4482
Downloaded: 5410 file(s) [attempted 5410/8459 = 63%, 241 KB/s], Decompressed: 4482
Downloaded: 5448 file(s) [attempted 5448/8459 = 64%, 658 KB/s], Decompressed: 4995
Downloaded: 5489 file(s) [attempted 5489/8459 = 64%, 128 KB/s], Decompressed: 4995
Downloaded: 5526 file(s) [attempted 5526/8459 = 65%, 83 KB/s], Decompressed: 4995
Downloaded: 5567 file(s) [attempted 5567/8459 = 65%, 97 KB/s], Decompressed: 4995
Downloaded: 5606 file(s) [attempted 5606/8459 = 66%, 190 KB/s], Decompressed: 4995
Downloaded: 5646 file(s) [attempted 5646/8459 = 66%, 211 KB/s], Decompressed: 4995
Downloaded: 5691 file(s) [attempted 5691/8459 = 67%, 427 KB/s], Decompressed: 4995
Downloaded: 5735 file(s) [attempted 5735/8459 = 67%, 567 KB/s], Decompressed: 4995
Downloaded: 5776 file(s) [attempted 5776/8459 = 68%, 102 KB/s], Decompressed: 4995
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 109 KB/s], Decompressed: 5427
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 118 KB/s], Decompressed: 5427
Downloaded: 5896 file(s) [attempted 5896/8459 = 69%, 1049 KB/s], Decompressed: 5427
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 361 KB/s], Decompressed: 5427
Downloaded: 5982 file(s) [attempted 5982/8459 = 70%, 787 KB/s], Decompressed: 5427
Downloaded: 6026 file(s) [attempted 6026/8459 = 71%, 27 KB/s], Decompressed: 5427
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 366 KB/s], Decompressed: 5427
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 69 KB/s], Decompressed: 5427
Downloaded: 6146 file(s) [attempted 6146/8459 = 72%, 67 KB/s], Decompressed: 5787
Downloaded: 6191 file(s) [attempted 6191/8459 = 73%, 68 KB/s], Decompressed: 5787
Downloaded: 6232 file(s) [attempted 6232/8459 = 73%, 702 KB/s], Decompressed: 5787
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 107 KB/s], Decompressed: 5787
Downloaded: 6311 file(s) [attempted 6311/8459 = 74%, 505 KB/s], Decompressed: 5787
Downloaded: 6348 file(s) [attempted 6348/8459 = 75%, 388 KB/s], Decompressed: 5787
Downloaded: 6393 file(s) [attempted 6393/8459 = 75%, 472 KB/s], Decompressed: 5787
Downloaded: 6437 file(s) [attempted 6437/8459 = 76%, 1287 KB/s], Decompressed: 5787
Downloaded: 6482 file(s) [attempted 6482/8459 = 76%, 1040 KB/s], Decompressed: 5787
Downloaded: 6520 file(s) [attempted 6520/8459 = 77%, 256 KB/s], Decompressed: 5787
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 174 KB/s], Decompressed: 5787
Downloaded: 6598 file(s) [attempted 6598/8459 = 77%, 110 KB/s], Decompressed: 5787
Downloaded: 6636 file(s) [attempted 6636/8459 = 78%, 28 KB/s], Decompressed: 6139
Downloaded: 6681 file(s) [attempted 6681/8459 = 78%, 93 KB/s], Decompressed: 6139
Downloaded: 6725 file(s) [attempted 6725/8459 = 79%, 177 KB/s], Decompressed: 6139
Downloaded: 6766 file(s) [attempted 6766/8459 = 79%, 108 KB/s], Decompressed: 6139
Downloaded: 6807 file(s) [attempted 6807/8459 = 80%, 546 KB/s], Decompressed: 6139
Downloaded: 6849 file(s) [attempted 6849/8459 = 80%, 115 KB/s], Decompressed: 6139
Downloaded: 6886 file(s) [attempted 6886/8459 = 81%, 74 KB/s], Decompressed: 6139
Downloaded: 6931 file(s) [attempted 6931/8459 = 81%, 245 KB/s], Decompressed: 6139
Downloaded: 6975 file(s) [attempted 6975/8459 = 82%, 532 KB/s], Decompressed: 6139
Downloaded: 7016 file(s) [attempted 7016/8459 = 82%, 127 KB/s], Decompressed: 6139
Downloaded: 7057 file(s) [attempted 7057/8459 = 83%, 102 KB/s], Decompressed: 6139
Downloaded: 7095 file(s) [attempted 7095/8459 = 83%, 523 KB/s], Decompressed: 6139
Downloaded: 7133 file(s) [attempted 7133/8459 = 84%, 119 KB/s], Decompressed: 6139
Downloaded: 7177 file(s) [attempted 7177/8459 = 84%, 110 KB/s], Decompressed: 6139
Downloaded: 7218 file(s) [attempted 7218/8459 = 85%, 654 KB/s], Decompressed: 6139
Downloaded: 7266 file(s) [attempted 7266/8459 = 85%, 736 KB/s], Decompressed: 6139
Downloaded: 7307 file(s) [attempted 7307/8459 = 86%, 411 KB/s], Decompressed: 6139
Downloaded: 7349 file(s) [attempted 7349/8459 = 86%, 107 KB/s], Decompressed: 6612
Downloaded: 7390 file(s) [attempted 7390/8459 = 87%, 90 KB/s], Decompressed: 6612
Downloaded: 7434 file(s) [attempted 7434/8459 = 87%, 964 KB/s], Decompressed: 6612
Downloaded: 7475 file(s) [attempted 7475/8459 = 88%, 185 KB/s], Decompressed: 6612
Downloaded: 7520 file(s) [attempted 7520/8459 = 88%, 456 KB/s], Decompressed: 6612
Downloaded: 7558 file(s) [attempted 7558/8459 = 89%, 701 KB/s], Decompressed: 6612
Downloaded: 7605 file(s) [attempted 7605/8459 = 89%, 149 KB/s], Decompressed: 6612
Downloaded: 7653 file(s) [attempted 7653/8459 = 90%, 253 KB/s], Decompressed: 6612
Downloaded: 7695 file(s) [attempted 7695/8459 = 90%, 100 KB/s], Decompressed: 6612
Downloaded: 7732 file(s) [attempted 7732/8459 = 91%, 134 KB/s], Decompressed: 6612
Downloaded: 7770 file(s) [attempted 7770/8459 = 91%, 169 KB/s], Decompressed: 6612
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 94 KB/s], Decompressed: 6612
Downloaded: 7869 file(s) [attempted 7869/8459 = 93%, 24 KB/s], Decompressed: 6612
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 171 KB/s], Decompressed: 6612
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 373 KB/s], Decompressed: 6612
Downloaded: 8020 file(s) [attempted 8020/8459 = 94%, 242 KB/s], Decompressed: 6612
Downloaded: 8064 file(s) [attempted 8064/8459 = 95%, 82 KB/s], Decompressed: 6612
Downloaded: 8102 file(s) [attempted 8102/8459 = 95%, 602 KB/s], Decompressed: 6612
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 71 KB/s], Decompressed: 6612
Downloaded: 8174 file(s) [attempted 8174/8459 = 96%, 153 KB/s], Decompressed: 7328
Downloaded: 8222 file(s) [attempted 8222/8459 = 97%, 314 KB/s], Decompressed: 7328
Downloaded: 8267 file(s) [attempted 8267/8459 = 97%, 259 KB/s], Decompressed: 7328
Downloaded: 8311 file(s) [attempted 8311/8459 = 98%, 483 KB/s], Decompressed: 7328
Downloaded: 8356 file(s) [attempted 8356/8459 = 98%, 1119 KB/s], Decompressed: 7328
Downloaded: 8397 file(s) [attempted 8397/8459 = 99%, 200 KB/s], Decompressed: 7328
Downloaded: 8424 file(s) [attempted 8424/8459 = 99%, 67 KB/s], Decompressed: 7328
Downloaded: 8445 file(s) [attempted 8445/8459 = 99%, 148 KB/s], Decompressed: 7328
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 30 KB/s], Decompressed: 7328
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 30 KB/s], Decompressed: 7328

apx-runtime-resource-v1	apx-verifier-job-1727-runtime-lake_cache-3954018-1787605571093872952-0	3899392	4038656	21474836480	0	0	0	0	0	0	1245835264	5319405568	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7222938
stdout:
✔ [500/502] Built Iut.Foundations.Species (172s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (76s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (72s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (100s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (134s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (89s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (105s)
✔ [790/791] Built Iut.Foundations.QualitativeData (190s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (408s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1412s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (2171s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1777s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup failed for verifier container apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: attempt 1: exit_code=None stderr=/usr/bin/podman timed out after 15s; attempt 1: container absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; attempt 2: exit_code=None stderr=/usr/bin/podman timed out after 15s; attempt 2: container absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; attempt 3: exit_code=None stderr=/usr/bin/podman timed out after 15s; attempt 3: container absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; initial final absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; final verification cleanup: podman cleanup removed verifier container apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1727-runtime-blueprint_build-3954018-1787613305169999251-2	1097728	1343488	21474836480	0	0	0	0	0	0	886837248	990769152	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 232 ms · created 8/24/2026, 11:15:23 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1727-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/24/2026, 11:15:23 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 302 ms · created 8/24/2026, 11:15:23 PM

git checkout 2565ff58a99855f2ecd8f7035fc282ba45c2630a

Note: switching to '2565ff58a99855f2ecd8f7035fc282ba45c2630a'.

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 2565ff5 Merge pull request #966 from promachina/e23-3d-paper-family-common-rho-boundary

lake_cacheexit 0duration 7m 15s · created 8/24/2026, 11:15:23 PM

lake exe cache get

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

✔ [8/25] Built Cache.Lean (9.5s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (99ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (152ms)
✔ [13/25] Built Cache.Lean:c.o (123ms)
✔ [15/25] Built Cache.Init (367ms)
✔ [16/25] Built Cache.IO (7.4s)
✔ [17/25] Built Cache.Init:c.o (78ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (997ms)
✔ [20/25] Built Cache.Hashing:c.o (362ms)
✔ [21/25] Built Cache.Requests (80s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (11s)
✔ [24/25] Built Cache.Main:c.o (537ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 13 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 4 KB/s], Decompressed: 9
Downloaded: 42 file(s) [attempted 42/8459 = 0%, 12 KB/s], Decompressed: 16
Downloaded: 66 file(s) [attempted 66/8459 = 0%, 28 KB/s], Decompressed: 44
Downloaded: 93 file(s) [attempted 93/8459 = 1%, 366 KB/s], Decompressed: 64
Downloaded: 127 file(s) [attempted 127/8459 = 1%, 376 KB/s], Decompressed: 83
Downloaded: 158 file(s) [attempted 158/8459 = 1%, 91 KB/s], Decompressed: 117
Downloaded: 193 file(s) [attempted 193/8459 = 2%, 526 KB/s], Decompressed: 117
Downloaded: 230 file(s) [attempted 230/8459 = 2%, 624 KB/s], Decompressed: 158
Downloaded: 261 file(s) [attempted 261/8459 = 3%, 145 KB/s], Decompressed: 206
Downloaded: 299 file(s) [attempted 299/8459 = 3%, 84 KB/s], Decompressed: 206
Downloaded: 340 file(s) [attempted 340/8459 = 4%, 37 KB/s], Decompressed: 247
Downloaded: 385 file(s) [attempted 385/8459 = 4%, 567 KB/s], Decompressed: 302
Downloaded: 422 file(s) [attempted 422/8459 = 4%, 1116 KB/s], Decompressed: 354
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 219 KB/s], Decompressed: 395
Downloaded: 505 file(s) [attempted 505/8459 = 5%, 103 KB/s], Decompressed: 433
Downloaded: 546 file(s) [attempted 546/8459 = 6%, 66 KB/s], Decompressed: 477
Downloaded: 583 file(s) [attempted 583/8459 = 6%, 32 KB/s], Decompressed: 525
Downloaded: 625 file(s) [attempted 625/8459 = 7%, 156 KB/s], Decompressed: 573
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 64 KB/s], Decompressed: 573
Downloaded: 714 file(s) [attempted 714/8459 = 8%, 288 KB/s], Decompressed: 625
Downloaded: 751 file(s) [attempted 751/8459 = 8%, 223 KB/s], Decompressed: 676
Downloaded: 796 file(s) [attempted 796/8459 = 9%, 289 KB/s], Decompressed: 733
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 76 KB/s], Decompressed: 786
Downloaded: 871 file(s) [attempted 871/8459 = 10%, 37 KB/s], Decompressed: 786
Downloaded: 916 file(s) [attempted 916/8459 = 10%, 885 KB/s], Decompressed: 834
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 827 KB/s], Decompressed: 878
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 289 KB/s], Decompressed: 923
Downloaded: 1043 file(s) [attempted 1043/8459 = 12%, 44 KB/s], Decompressed: 964
Downloaded: 1080 file(s) [attempted 1080/8459 = 12%, 215 KB/s], Decompressed: 1005
Downloaded: 1118 file(s) [attempted 1118/8459 = 13%, 253 KB/s], Decompressed: 1046
Downloaded: 1159 file(s) [attempted 1159/8459 = 13%, 455 KB/s], Decompressed: 1087
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 278 KB/s], Decompressed: 1125
Downloaded: 1248 file(s) [attempted 1248/8459 = 14%, 101 KB/s], Decompressed: 1166
Downloaded: 1293 file(s) [attempted 1293/8459 = 15%, 823 KB/s], Decompressed: 1207
Downloaded: 1334 file(s) [attempted 1334/8459 = 15%, 53 KB/s], Decompressed: 1253
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 134 KB/s], Decompressed: 1300
Downloaded: 1413 file(s) [attempted 1413/8459 = 16%, 314 KB/s], Decompressed: 1351
Downloaded: 1454 file(s) [attempted 1454/8459 = 17%, 242 KB/s], Decompressed: 1402
Downloaded: 1495 file(s) [attempted 1495/8459 = 17%, 219 KB/s], Decompressed: 1450
Downloaded: 1539 file(s) [attempted 1539/8459 = 18%, 481 KB/s], Decompressed: 1450
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 386 KB/s], Decompressed: 1495
Downloaded: 1622 file(s) [attempted 1622/8459 = 19%, 213 KB/s], Decompressed: 1550
Downloaded: 1659 file(s) [attempted 1659/8459 = 19%, 130 KB/s], Decompressed: 1608
Downloaded: 1707 file(s) [attempted 1707/8459 = 20%, 273 KB/s], Decompressed: 1659
Downloaded: 1752 file(s) [attempted 1752/8459 = 20%, 240 KB/s], Decompressed: 1659
Downloaded: 1793 file(s) [attempted 1793/8459 = 21%, 383 KB/s], Decompressed: 1707
Downloaded: 1834 file(s) [attempted 1834/8459 = 21%, 472 KB/s], Decompressed: 1707
Downloaded: 1872 file(s) [attempted 1872/8459 = 22%, 551 KB/s], Decompressed: 1769
Downloaded: 1913 file(s) [attempted 1913/8459 = 22%, 274 KB/s], Decompressed: 1844
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 71 KB/s], Decompressed: 1844
Downloaded: 1992 file(s) [attempted 1992/8459 = 23%, 132 KB/s], Decompressed: 1906
Downloaded: 2033 file(s) [attempted 2033/8459 = 24%, 679 KB/s], Decompressed: 1906
Downloaded: 2070 file(s) [attempted 2070/8459 = 24%, 882 KB/s], Decompressed: 1971
Downloaded: 2111 file(s) [attempted 2111/8459 = 24%, 82 KB/s], Decompressed: 1971
Downloaded: 2153 file(s) [attempted 2153/8459 = 25%, 179 KB/s], Decompressed: 2043
Downloaded: 2194 file(s) [attempted 2194/8459 = 25%, 441 KB/s], Decompressed: 2043
Downloaded: 2231 file(s) [attempted 2231/8459 = 26%, 163 KB/s], Decompressed: 2122
Downloaded: 2272 file(s) [attempted 2272/8459 = 26%, 106 KB/s], Decompressed: 2122
Downloaded: 2314 file(s) [attempted 2314/8459 = 27%, 312 KB/s], Decompressed: 2197
Downloaded: 2355 file(s) [attempted 2355/8459 = 27%, 859 KB/s], Decompressed: 2279
Downloaded: 2396 file(s) [attempted 2396/8459 = 28%, 302 KB/s], Decompressed: 2279
Downloaded: 2430 file(s) [attempted 2430/8459 = 28%, 578 KB/s], Decompressed: 2355
Downloaded: 2471 file(s) [attempted 2471/8459 = 29%, 332 KB/s], Decompressed: 2355
Downloaded: 2509 file(s) [attempted 2509/8459 = 29%, 146 KB/s], Decompressed: 2427
Downloaded: 2553 file(s) [attempted 2553/8459 = 30%, 100 KB/s], Decompressed: 2427
Downloaded: 2598 file(s) [attempted 2598/8459 = 30%, 442 KB/s], Decompressed: 2502
Downloaded: 2629 file(s) [attempted 2629/8459 = 31%, 24 KB/s], Decompressed: 2569
Downloaded: 2670 file(s) [attempted 2670/8459 = 31%, 267 KB/s], Decompressed: 2569
Downloaded: 2711 file(s) [attempted 2711/8459 = 32%, 1059 KB/s], Decompressed: 2629
Downloaded: 2752 file(s) [attempted 2752/8459 = 32%, 203 KB/s], Decompressed: 2629
Downloaded: 2796 file(s) [attempted 2796/8459 = 33%, 468 KB/s], Decompressed: 2701
Downloaded: 2834 file(s) [attempted 2834/8459 = 33%, 263 KB/s], Decompressed: 2701
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 2452 KB/s], Decompressed: 2773
Downloaded: 2912 file(s) [attempted 2912/8459 = 34%, 224 KB/s], Decompressed: 2846
Downloaded: 2954 file(s) [attempted 2954/8459 = 34%, 1051 KB/s], Decompressed: 2846
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 430 KB/s], Decompressed: 2910
Downloaded: 3036 file(s) [attempted 3036/8459 = 35%, 351 KB/s], Decompressed: 2910
Downloaded: 3070 file(s) [attempted 3070/8459 = 36%, 137 KB/s], Decompressed: 2975
Downloaded: 3108 file(s) [attempted 3108/8459 = 36%, 63 KB/s], Decompressed: 3043
Downloaded: 3153 file(s) [attempted 3153/8459 = 37%, 414 KB/s], Decompressed: 3043
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 40 KB/s], Decompressed: 3108
Downloaded: 3238 file(s) [attempted 3238/8459 = 38%, 203 KB/s], Decompressed: 3108
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 252 KB/s], Decompressed: 3180
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 157 KB/s], Decompressed: 3180
Downloaded: 3358 file(s) [attempted 3358/8459 = 39%, 80 KB/s], Decompressed: 3255
Downloaded: 3399 file(s) [attempted 3399/8459 = 40%, 123 KB/s], Decompressed: 3327
Downloaded: 3444 file(s) [attempted 3444/8459 = 40%, 91 KB/s], Decompressed: 3327
Downloaded: 3485 file(s) [attempted 3485/8459 = 41%, 241 KB/s], Decompressed: 3399
Downloaded: 3523 file(s) [attempted 3523/8459 = 41%, 386 KB/s], Decompressed: 3399
Downloaded: 3564 file(s) [attempted 3564/8459 = 42%, 405 KB/s], Decompressed: 3468
Downloaded: 3605 file(s) [attempted 3605/8459 = 42%, 123 KB/s], Decompressed: 3533
Downloaded: 3649 file(s) [attempted 3649/8459 = 43%, 130 KB/s], Decompressed: 3588
Downloaded: 3687 file(s) [attempted 3687/8459 = 43%, 683 KB/s], Decompressed: 3588
Downloaded: 3735 file(s) [attempted 3735/8459 = 44%, 228 KB/s], Decompressed: 3639
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 101 KB/s], Decompressed: 3701
Downloaded: 3824 file(s) [attempted 3824/8459 = 45%, 456 KB/s], Decompressed: 3759
Downloaded: 3858 file(s) [attempted 3858/8459 = 45%, 797 KB/s], Decompressed: 3759
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 119 KB/s], Decompressed: 3814
Downloaded: 3940 file(s) [attempted 3940/8459 = 46%, 940 KB/s], Decompressed: 3868
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 1646 KB/s], Decompressed: 3923
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 108 KB/s], Decompressed: 3923
Downloaded: 4064 file(s) [attempted 4064/8459 = 48%, 296 KB/s], Decompressed: 3985
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 448 KB/s], Decompressed: 3985
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 38 KB/s], Decompressed: 4050
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 1335 KB/s], Decompressed: 4050
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 490 KB/s], Decompressed: 4050
Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 169 KB/s], Decompressed: 4050
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 244 KB/s], Decompressed: 4050
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 853 KB/s], Decompressed: 4050
Downloaded: 4386 file(s) [attempted 4386/8459 = 51%, 368 KB/s], Decompressed: 4050
Downloaded: 4427 file(s) [attempted 4427/8459 = 52%, 767 KB/s], Decompressed: 4050
Downloaded: 4465 file(s) [attempted 4465/8459 = 52%, 104 KB/s], Decompressed: 4050
Downloaded: 4506 file(s) [attempted 4506/8459 = 53%, 408 KB/s], Decompressed: 4115
Downloaded: 4547 file(s) [attempted 4547/8459 = 53%, 115 KB/s], Decompressed: 4115
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 161 KB/s], Decompressed: 4115
Downloaded: 4626 file(s) [attempted 4626/8459 = 54%, 246 KB/s], Decompressed: 4115
Downloaded: 4667 file(s) [attempted 4667/8459 = 55%, 71 KB/s], Decompressed: 4115
Downloaded: 4711 file(s) [attempted 4711/8459 = 55%, 180 KB/s], Decompressed: 4115
Downloaded: 4752 file(s) [attempted 4752/8459 = 56%, 168 KB/s], Decompressed: 4115
Downloaded: 4793 file(s) [attempted 4793/8459 = 56%, 292 KB/s], Decompressed: 4115
Downloaded: 4838 file(s) [attempted 4838/8459 = 57%, 180 KB/s], Decompressed: 4115
Downloaded: 4879 file(s) [attempted 4879/8459 = 57%, 122 KB/s], Decompressed: 4115
Downloaded: 4920 file(s) [attempted 4920/8459 = 58%, 32 KB/s], Decompressed: 4115
Downloaded: 4965 file(s) [attempted 4965/8459 = 58%, 39 KB/s], Decompressed: 4115
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 153 KB/s], Decompressed: 4482
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 186 KB/s], Decompressed: 4482
Downloaded: 5085 file(s) [attempted 5085/8459 = 60%, 135 KB/s], Decompressed: 4482
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 1056 KB/s], Decompressed: 4482
Downloaded: 5167 file(s) [attempted 5167/8459 = 61%, 462 KB/s], Decompressed: 4482
Downloaded: 5208 file(s) [attempted 5208/8459 = 61%, 48 KB/s], Decompressed: 4482
Downloaded: 5249 file(s) [attempted 5249/8459 = 62%, 414 KB/s], Decompressed: 4482
Downloaded: 5287 file(s) [attempted 5287/8459 = 62%, 347 KB/s], Decompressed: 4482
Downloaded: 5328 file(s) [attempted 5328/8459 = 62%, 319 KB/s], Decompressed: 4482
Downloaded: 5369 file(s) [attempted 5369/8459 = 63%, 1105 KB/s], Decompressed: 4482
Downloaded: 5410 file(s) [attempted 5410/8459 = 63%, 241 KB/s], Decompressed: 4482
Downloaded: 5448 file(s) [attempted 5448/8459 = 64%, 658 KB/s], Decompressed: 4995
Downloaded: 5489 file(s) [attempted 5489/8459 = 64%, 128 KB/s], Decompressed: 4995
Downloaded: 5526 file(s) [attempted 5526/8459 = 65%, 83 KB/s], Decompressed: 4995
Downloaded: 5567 file(s) [attempted 5567/8459 = 65%, 97 KB/s], Decompressed: 4995
Downloaded: 5606 file(s) [attempted 5606/8459 = 66%, 190 KB/s], Decompressed: 4995
Downloaded: 5646 file(s) [attempted 5646/8459 = 66%, 211 KB/s], Decompressed: 4995
Downloaded: 5691 file(s) [attempted 5691/8459 = 67%, 427 KB/s], Decompressed: 4995
Downloaded: 5735 file(s) [attempted 5735/8459 = 67%, 567 KB/s], Decompressed: 4995
Downloaded: 5776 file(s) [attempted 5776/8459 = 68%, 102 KB/s], Decompressed: 4995
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 109 KB/s], Decompressed: 5427
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 118 KB/s], Decompressed: 5427
Downloaded: 5896 file(s) [attempted 5896/8459 = 69%, 1049 KB/s], Decompressed: 5427
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 361 KB/s], Decompressed: 5427
Downloaded: 5982 file(s) [attempted 5982/8459 = 70%, 787 KB/s], Decompressed: 5427
Downloaded: 6026 file(s) [attempted 6026/8459 = 71%, 27 KB/s], Decompressed: 5427
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 366 KB/s], Decompressed: 5427
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 69 KB/s], Decompressed: 5427
Downloaded: 6146 file(s) [attempted 6146/8459 = 72%, 67 KB/s], Decompressed: 5787
Downloaded: 6191 file(s) [attempted 6191/8459 = 73%, 68 KB/s], Decompressed: 5787
Downloaded: 6232 file(s) [attempted 6232/8459 = 73%, 702 KB/s], Decompressed: 5787
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 107 KB/s], Decompressed: 5787
Downloaded: 6311 file(s) [attempted 6311/8459 = 74%, 505 KB/s], Decompressed: 5787
Downloaded: 6348 file(s) [attempted 6348/8459 = 75%, 388 KB/s], Decompressed: 5787
Downloaded: 6393 file(s) [attempted 6393/8459 = 75%, 472 KB/s], Decompressed: 5787
Downloaded: 6437 file(s) [attempted 6437/8459 = 76%, 1287 KB/s], Decompressed: 5787
Downloaded: 6482 file(s) [attempted 6482/8459 = 76%, 1040 KB/s], Decompressed: 5787
Downloaded: 6520 file(s) [attempted 6520/8459 = 77%, 256 KB/s], Decompressed: 5787
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 174 KB/s], Decompressed: 5787
Downloaded: 6598 file(s) [attempted 6598/8459 = 77%, 110 KB/s], Decompressed: 5787
Downloaded: 6636 file(s) [attempted 6636/8459 = 78%, 28 KB/s], Decompressed: 6139
Downloaded: 6681 file(s) [attempted 6681/8459 = 78%, 93 KB/s], Decompressed: 6139
Downloaded: 6725 file(s) [attempted 6725/8459 = 79%, 177 KB/s], Decompressed: 6139
Downloaded: 6766 file(s) [attempted 6766/8459 = 79%, 108 KB/s], Decompressed: 6139
Downloaded: 6807 file(s) [attempted 6807/8459 = 80%, 546 KB/s], Decompressed: 6139
Downloaded: 6849 file(s) [attempted 6849/8459 = 80%, 115 KB/s], Decompressed: 6139
Downloaded: 6886 file(s) [attempted 6886/8459 = 81%, 74 KB/s], Decompressed: 6139
Downloaded: 6931 file(s) [attempted 6931/8459 = 81%, 245 KB/s], Decompressed: 6139
Downloaded: 6975 file(s) [attempted 6975/8459 = 82%, 532 KB/s], Decompressed: 6139
Downloaded: 7016 file(s) [attempted 7016/8459 = 82%, 127 KB/s], Decompressed: 6139
Downloaded: 7057 file(s) [attempted 7057/8459 = 83%, 102 KB/s], Decompressed: 6139
Downloaded: 7095 file(s) [attempted 7095/8459 = 83%, 523 KB/s], Decompressed: 6139
Downloaded: 7133 file(s) [attempted 7133/8459 = 84%, 119 KB/s], Decompressed: 6139
Downloaded: 7177 file(s) [attempted 7177/8459 = 84%, 110 KB/s], Decompressed: 6139
Downloaded: 7218 file(s) [attempted 7218/8459 = 85%, 654 KB/s], Decompressed: 6139
Downloaded: 7266 file(s) [attempted 7266/8459 = 85%, 736 KB/s], Decompressed: 6139
Downloaded: 7307 file(s) [attempted 7307/8459 = 86%, 411 KB/s], Decompressed: 6139
Downloaded: 7349 file(s) [attempted 7349/8459 = 86%, 107 KB/s], Decompressed: 6612
Downloaded: 7390 file(s) [attempted 7390/8459 = 87%, 90 KB/s], Decompressed: 6612
Downloaded: 7434 file(s) [attempted 7434/8459 = 87%, 964 KB/s], Decompressed: 6612
Downloaded: 7475 file(s) [attempted 7475/8459 = 88%, 185 KB/s], Decompressed: 6612
Downloaded: 7520 file(s) [attempted 7520/8459 = 88%, 456 KB/s], Decompressed: 6612
Downloaded: 7558 file(s) [attempted 7558/8459 = 89%, 701 KB/s], Decompressed: 6612
Downloaded: 7605 file(s) [attempted 7605/8459 = 89%, 149 KB/s], Decompressed: 6612
Downloaded: 7653 file(s) [attempted 7653/8459 = 90%, 253 KB/s], Decompressed: 6612
Downloaded: 7695 file(s) [attempted 7695/8459 = 90%, 100 KB/s], Decompressed: 6612
Downloaded: 7732 file(s) [attempted 7732/8459 = 91%, 134 KB/s], Decompressed: 6612
Downloaded: 7770 file(s) [attempted 7770/8459 = 91%, 169 KB/s], Decompressed: 6612
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 94 KB/s], Decompressed: 6612
Downloaded: 7869 file(s) [attempted 7869/8459 = 93%, 24 KB/s], Decompressed: 6612
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 171 KB/s], Decompressed: 6612
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 373 KB/s], Decompressed: 6612
Downloaded: 8020 file(s) [attempted 8020/8459 = 94%, 242 KB/s], Decompressed: 6612
Downloaded: 8064 file(s) [attempted 8064/8459 = 95%, 82 KB/s], Decompressed: 6612
Downloaded: 8102 file(s) [attempted 8102/8459 = 95%, 602 KB/s], Decompressed: 6612
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 71 KB/s], Decompressed: 6612
Downloaded: 8174 file(s) [attempted 8174/8459 = 96%, 153 KB/s], Decompressed: 7328
Downloaded: 8222 file(s) [attempted 8222/8459 = 97%, 314 KB/s], Decompressed: 7328
Downloaded: 8267 file(s) [attempted 8267/8459 = 97%, 259 KB/s], Decompressed: 7328
Downloaded: 8311 file(s) [attempted 8311/8459 = 98%, 483 KB/s], Decompressed: 7328
Downloaded: 8356 file(s) [attempted 8356/8459 = 98%, 1119 KB/s], Decompressed: 7328
Downloaded: 8397 file(s) [attempted 8397/8459 = 99%, 200 KB/s], Decompressed: 7328
Downloaded: 8424 file(s) [attempted 8424/8459 = 99%, 67 KB/s], Decompressed: 7328
Downloaded: 8445 file(s) [attempted 8445/8459 = 99%, 148 KB/s], Decompressed: 7328
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 30 KB/s], Decompressed: 7328
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 30 KB/s], Decompressed: 7328

apx-runtime-resource-v1	apx-verifier-job-1727-runtime-lake_cache-3954018-1787605571093872952-0	3899392	4038656	21474836480	0	0	0	0	0	0	1245835264	5319405568	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/24/2026, 11:15:23 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (172s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (76s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (72s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (100s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (134s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (89s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (105s)
✔ [790/791] Built Iut.Foundations.QualitativeData (190s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (408s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1412s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (2171s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1777s)

/usr/bin/podman timed out after 7200s
podman cleanup failed for verifier container apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: attempt 1: exit_code=None stderr=/usr/bin/podman timed out after 15s; attempt 1: container absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; attempt 2: exit_code=None stderr=/usr/bin/podman timed out after 15s; attempt 2: container absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; attempt 3: exit_code=None stderr=/usr/bin/podman timed out after 15s; attempt 3: container absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; initial final absence check failed: podman container exists failed for apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1: exit_code=None stderr=/usr/bin/podman timed out after 2s; final verification cleanup: podman cleanup removed verifier container apx-verifier-job-1727-runtime-lean_checker-3954018-1787606006317717346-1 on attempt 1

blueprint_buildexit 1duration 16s · created 8/24/2026, 11:15:23 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1727-runtime-blueprint_build-3954018-1787613305169999251-2	1097728	1343488	21474836480	0	0	0	0	0	0	886837248	990769152	21474836480	0	0	0	0	0	0