Verification run

Run 1254

promachina/iut-leanbranch mastertriggered via poller

failedcommit b2c8e372adcbtoolchain 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-1691-source
exit_code=Some(128) duration_ms=219
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1691-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=4464
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1691-source'...


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

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 b2c8e37 E20.3: exclude the fixed value over global measured outputs (#920)

Resolved source revision: b2c8e372adcb92a3c54fe17f2244c69315c4ee52

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=b2c8e372adcb92a3c54fe17f2244c69315c4ee52 provenance={"branch":"master","checked_out_revision":"b2c8e372adcb92a3c54fe17f2244c69315c4ee52","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"b2c8e372adcb92a3c54fe17f2244c69315c4ee52","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=6192 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=165684
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 (8.2s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (121ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (190ms)
✔ [13/25] Built Cache.Lean:c.o (137ms)
✔ [15/25] Built Cache.Init (321ms)
✔ [16/25] Built Cache.IO (6.5s)
✔ [17/25] Built Cache.Init:c.o (95ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (919ms)
✔ [20/25] Built Cache.Hashing:c.o (378ms)
✔ [21/25] Built Cache.Requests (22s)
✔ [22/25] Built Cache.Requests:c.o (2.8s)
✔ [23/25] Built Cache.Main (1.4s)
✔ [24/25] Built Cache.Main:c.o (551ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 2 KB/s], Decompressed: 11
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 13 KB/s], Decompressed: 25
Downloaded: 63 file(s) [attempted 63/8459 = 0%, 28 KB/s], Decompressed: 38
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 123 KB/s], Decompressed: 65
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 53 KB/s], Decompressed: 79
Downloaded: 151 file(s) [attempted 151/8459 = 1%, 72 KB/s], Decompressed: 121
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 151 KB/s], Decompressed: 165
Downloaded: 230 file(s) [attempted 230/8459 = 2%, 54 KB/s], Decompressed: 189
Downloaded: 265 file(s) [attempted 265/8459 = 3%, 54 KB/s], Decompressed: 223
Downloaded: 299 file(s) [attempted 299/8459 = 3%, 62 KB/s], Decompressed: 254
Downloaded: 330 file(s) [attempted 330/8459 = 3%, 138 KB/s], Decompressed: 284
Downloaded: 367 file(s) [attempted 367/8459 = 4%, 289 KB/s], Decompressed: 323
Downloaded: 409 file(s) [attempted 409/8459 = 4%, 404 KB/s], Decompressed: 364
Downloaded: 446 file(s) [attempted 446/8459 = 5%, 57 KB/s], Decompressed: 405
Downloaded: 487 file(s) [attempted 487/8459 = 5%, 1202 KB/s], Decompressed: 446
Downloaded: 518 file(s) [attempted 518/8459 = 6%, 1468 KB/s], Decompressed: 446
Downloaded: 559 file(s) [attempted 559/8459 = 6%, 246 KB/s], Decompressed: 487
Downloaded: 598 file(s) [attempted 598/8459 = 7%, 874 KB/s], Decompressed: 532
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 864 KB/s], Decompressed: 587
Downloaded: 683 file(s) [attempted 683/8459 = 8%, 339 KB/s], Decompressed: 587
Downloaded: 724 file(s) [attempted 724/8459 = 8%, 89 KB/s], Decompressed: 638
Downloaded: 758 file(s) [attempted 758/8459 = 8%, 224 KB/s], Decompressed: 690
Downloaded: 803 file(s) [attempted 803/8459 = 9%, 947 KB/s], Decompressed: 738
Downloaded: 844 file(s) [attempted 844/8459 = 9%, 21 KB/s], Decompressed: 738
Downloaded: 882 file(s) [attempted 882/8459 = 10%, 45 KB/s], Decompressed: 799
Downloaded: 923 file(s) [attempted 923/8459 = 10%, 1234 KB/s], Decompressed: 858
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 808 KB/s], Decompressed: 858
Downloaded: 1005 file(s) [attempted 1005/8459 = 11%, 499 KB/s], Decompressed: 916
Downloaded: 1046 file(s) [attempted 1046/8459 = 12%, 587 KB/s], Decompressed: 985
Downloaded: 1087 file(s) [attempted 1087/8459 = 12%, 682 KB/s], Decompressed: 985
Downloaded: 1125 file(s) [attempted 1125/8459 = 13%, 369 KB/s], Decompressed: 1046
Downloaded: 1163 file(s) [attempted 1163/8459 = 13%, 324 KB/s], Decompressed: 1046
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 266 KB/s], Decompressed: 1104
Downloaded: 1241 file(s) [attempted 1241/8459 = 14%, 1089 KB/s], Decompressed: 1104
Downloaded: 1279 file(s) [attempted 1279/8459 = 15%, 95 KB/s], Decompressed: 1176
Downloaded: 1324 file(s) [attempted 1324/8459 = 15%, 724 KB/s], Decompressed: 1176
Downloaded: 1354 file(s) [attempted 1354/8459 = 16%, 626 KB/s], Decompressed: 1248
Downloaded: 1392 file(s) [attempted 1392/8459 = 16%, 116 KB/s], Decompressed: 1248
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 59 KB/s], Decompressed: 1327
Downloaded: 1478 file(s) [attempted 1478/8459 = 17%, 132 KB/s], Decompressed: 1399
Downloaded: 1522 file(s) [attempted 1522/8459 = 17%, 89 KB/s], Decompressed: 1399
Downloaded: 1553 file(s) [attempted 1553/8459 = 18%, 360 KB/s], Decompressed: 1474
Downloaded: 1594 file(s) [attempted 1594/8459 = 18%, 136 KB/s], Decompressed: 1474
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 27 KB/s], Decompressed: 1543
Downloaded: 1676 file(s) [attempted 1676/8459 = 19%, 1009 KB/s], Decompressed: 1611
Downloaded: 1721 file(s) [attempted 1721/8459 = 20%, 121 KB/s], Decompressed: 1611
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 350 KB/s], Decompressed: 1676
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 240 KB/s], Decompressed: 1676
Downloaded: 1837 file(s) [attempted 1837/8459 = 21%, 215 KB/s], Decompressed: 1745
Downloaded: 1876 file(s) [attempted 1876/8459 = 22%, 283 KB/s], Decompressed: 1745
Downloaded: 1913 file(s) [attempted 1913/8459 = 22%, 115 KB/s], Decompressed: 1824
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 69 KB/s], Decompressed: 1824
Downloaded: 1995 file(s) [attempted 1995/8459 = 23%, 129 KB/s], Decompressed: 1896
Downloaded: 2036 file(s) [attempted 2036/8459 = 24%, 635 KB/s], Decompressed: 1896
Downloaded: 2074 file(s) [attempted 2074/8459 = 24%, 58 KB/s], Decompressed: 1971
Downloaded: 2108 file(s) [attempted 2108/8459 = 24%, 132 KB/s], Decompressed: 1971
Downloaded: 2149 file(s) [attempted 2149/8459 = 25%, 77 KB/s], Decompressed: 2043
Downloaded: 2194 file(s) [attempted 2194/8459 = 25%, 412 KB/s], Decompressed: 2111
Downloaded: 2238 file(s) [attempted 2238/8459 = 26%, 684 KB/s], Decompressed: 2111
Downloaded: 2276 file(s) [attempted 2276/8459 = 26%, 630 KB/s], Decompressed: 2183
Downloaded: 2314 file(s) [attempted 2314/8459 = 27%, 198 KB/s], Decompressed: 2248
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 391 KB/s], Decompressed: 2248
Downloaded: 2396 file(s) [attempted 2396/8459 = 28%, 323 KB/s], Decompressed: 2303
Downloaded: 2440 file(s) [attempted 2440/8459 = 28%, 387 KB/s], Decompressed: 2303
Downloaded: 2485 file(s) [attempted 2485/8459 = 29%, 54 KB/s], Decompressed: 2375
Downloaded: 2522 file(s) [attempted 2522/8459 = 29%, 255 KB/s], Decompressed: 2375
Downloaded: 2564 file(s) [attempted 2564/8459 = 30%, 669 KB/s], Decompressed: 2461
Downloaded: 2605 file(s) [attempted 2605/8459 = 30%, 115 KB/s], Decompressed: 2461
Downloaded: 2642 file(s) [attempted 2642/8459 = 31%, 25 KB/s], Decompressed: 2550
Downloaded: 2680 file(s) [attempted 2680/8459 = 31%, 218 KB/s], Decompressed: 2550
Downloaded: 2725 file(s) [attempted 2725/8459 = 32%, 311 KB/s], Decompressed: 2625
Downloaded: 2769 file(s) [attempted 2769/8459 = 32%, 66 KB/s], Decompressed: 2625
Downloaded: 2810 file(s) [attempted 2810/8459 = 33%, 413 KB/s], Decompressed: 2625
Downloaded: 2851 file(s) [attempted 2851/8459 = 33%, 267 KB/s], Decompressed: 2718
Downloaded: 2886 file(s) [attempted 2886/8459 = 34%, 429 KB/s], Decompressed: 2718
Downloaded: 2927 file(s) [attempted 2927/8459 = 34%, 761 KB/s], Decompressed: 2824
Downloaded: 2968 file(s) [attempted 2968/8459 = 35%, 174 KB/s], Decompressed: 2824
Downloaded: 3009 file(s) [attempted 3009/8459 = 35%, 155 KB/s], Decompressed: 2920
Downloaded: 3050 file(s) [attempted 3050/8459 = 36%, 31 KB/s], Decompressed: 2920
Downloaded: 3091 file(s) [attempted 3091/8459 = 36%, 391 KB/s], Decompressed: 2920
Downloaded: 3136 file(s) [attempted 3136/8459 = 37%, 98 KB/s], Decompressed: 3009
Downloaded: 3173 file(s) [attempted 3173/8459 = 37%, 156 KB/s], Decompressed: 3009
Downloaded: 3214 file(s) [attempted 3214/8459 = 37%, 42 KB/s], Decompressed: 3108
Downloaded: 3255 file(s) [attempted 3255/8459 = 38%, 322 KB/s], Decompressed: 3108
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 215 KB/s], Decompressed: 3194
Downloaded: 3345 file(s) [attempted 3345/8459 = 39%, 172 KB/s], Decompressed: 3194
Downloaded: 3382 file(s) [attempted 3382/8459 = 39%, 49 KB/s], Decompressed: 3279
Downloaded: 3423 file(s) [attempted 3423/8459 = 40%, 309 KB/s], Decompressed: 3279
Downloaded: 3461 file(s) [attempted 3461/8459 = 40%, 312 KB/s], Decompressed: 3358
Downloaded: 3502 file(s) [attempted 3502/8459 = 41%, 133 KB/s], Decompressed: 3434
Downloaded: 3540 file(s) [attempted 3540/8459 = 41%, 154 KB/s], Decompressed: 3434
Downloaded: 3584 file(s) [attempted 3584/8459 = 42%, 116 KB/s], Decompressed: 3499
Downloaded: 3619 file(s) [attempted 3619/8459 = 42%, 720 KB/s], Decompressed: 3499
Downloaded: 3660 file(s) [attempted 3660/8459 = 43%, 572 KB/s], Decompressed: 3565
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 310 KB/s], Decompressed: 3622
Downloaded: 3745 file(s) [attempted 3745/8459 = 44%, 663 KB/s], Decompressed: 3622
Downloaded: 3786 file(s) [attempted 3786/8459 = 44%, 85 KB/s], Decompressed: 3684
Downloaded: 3827 file(s) [attempted 3827/8459 = 45%, 121 KB/s], Decompressed: 3749
Downloaded: 3869 file(s) [attempted 3869/8459 = 45%, 93 KB/s], Decompressed: 3804
Downloaded: 3906 file(s) [attempted 3906/8459 = 46%, 388 KB/s], Decompressed: 3855
Downloaded: 3947 file(s) [attempted 3947/8459 = 46%, 259 KB/s], Decompressed: 3855
Downloaded: 3988 file(s) [attempted 3988/8459 = 47%, 26 KB/s], Decompressed: 3906
Downloaded: 4030 file(s) [attempted 4030/8459 = 47%, 105 KB/s], Decompressed: 3961
Downloaded: 4071 file(s) [attempted 4071/8459 = 48%, 1215 KB/s], Decompressed: 3961
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 334 KB/s], Decompressed: 4019
Downloaded: 4154 file(s) [attempted 4154/8459 = 49%, 127 KB/s], Decompressed: 4019
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 345 KB/s], Decompressed: 4091
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 487 KB/s], Decompressed: 4091
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 217 KB/s], Decompressed: 4173
Downloaded: 4321 file(s) [attempted 4321/8459 = 51%, 193 KB/s], Decompressed: 4173
Downloaded: 4362 file(s) [attempted 4362/8459 = 51%, 102 KB/s], Decompressed: 4173
Downloaded: 4399 file(s) [attempted 4399/8459 = 52%, 960 KB/s], Decompressed: 4266
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 174 KB/s], Decompressed: 4266
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 884 KB/s], Decompressed: 4365
Downloaded: 4523 file(s) [attempted 4523/8459 = 53%, 168 KB/s], Decompressed: 4365
Downloaded: 4564 file(s) [attempted 4564/8459 = 53%, 321 KB/s], Decompressed: 4465
Downloaded: 4602 file(s) [attempted 4602/8459 = 54%, 154 KB/s], Decompressed: 4465
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 66 KB/s], Decompressed: 4465
Downloaded: 4680 file(s) [attempted 4680/8459 = 55%, 1084 KB/s], Decompressed: 4554
Downloaded: 4718 file(s) [attempted 4718/8459 = 55%, 1340 KB/s], Decompressed: 4554
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 1272 KB/s], Decompressed: 4554
Downloaded: 4804 file(s) [attempted 4804/8459 = 56%, 111 KB/s], Decompressed: 4554
Downloaded: 4841 file(s) [attempted 4841/8459 = 57%, 237 KB/s], Decompressed: 4554
Downloaded: 4882 file(s) [attempted 4882/8459 = 57%, 226 KB/s], Decompressed: 4677
Downloaded: 4924 file(s) [attempted 4924/8459 = 58%, 75 KB/s], Decompressed: 4677
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 90 KB/s], Decompressed: 4677
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 194 KB/s], Decompressed: 4677
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 360 KB/s], Decompressed: 4677
Downloaded: 5085 file(s) [attempted 5085/8459 = 60%, 100 KB/s], Decompressed: 4677
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 1063 KB/s], Decompressed: 4848
Downloaded: 5163 file(s) [attempted 5163/8459 = 61%, 432 KB/s], Decompressed: 4848
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 25 KB/s], Decompressed: 4848
Downloaded: 5246 file(s) [attempted 5246/8459 = 62%, 745 KB/s], Decompressed: 4848
Downloaded: 5287 file(s) [attempted 5287/8459 = 62%, 505 KB/s], Decompressed: 4848
Downloaded: 5324 file(s) [attempted 5324/8459 = 62%, 49 KB/s], Decompressed: 4848
Downloaded: 5365 file(s) [attempted 5365/8459 = 63%, 2807 KB/s], Decompressed: 5105
Downloaded: 5407 file(s) [attempted 5407/8459 = 63%, 308 KB/s], Decompressed: 5105
Downloaded: 5444 file(s) [attempted 5444/8459 = 64%, 1028 KB/s], Decompressed: 5105
Downloaded: 5485 file(s) [attempted 5485/8459 = 64%, 151 KB/s], Decompressed: 5105
Downloaded: 5526 file(s) [attempted 5526/8459 = 65%, 597 KB/s], Decompressed: 5105
Downloaded: 5564 file(s) [attempted 5564/8459 = 65%, 153 KB/s], Decompressed: 5105
Downloaded: 5605 file(s) [attempted 5605/8459 = 66%, 192 KB/s], Decompressed: 5348
Downloaded: 5646 file(s) [attempted 5646/8459 = 66%, 630 KB/s], Decompressed: 5348
Downloaded: 5691 file(s) [attempted 5691/8459 = 67%, 110 KB/s], Decompressed: 5348
Downloaded: 5728 file(s) [attempted 5728/8459 = 67%, 288 KB/s], Decompressed: 5348
Downloaded: 5766 file(s) [attempted 5766/8459 = 68%, 768 KB/s], Decompressed: 5348
Downloaded: 5807 file(s) [attempted 5807/8459 = 68%, 119 KB/s], Decompressed: 5348
Downloaded: 5848 file(s) [attempted 5848/8459 = 69%, 118 KB/s], Decompressed: 5588
Downloaded: 5893 file(s) [attempted 5893/8459 = 69%, 464 KB/s], Decompressed: 5588
Downloaded: 5934 file(s) [attempted 5934/8459 = 70%, 34 KB/s], Decompressed: 5588
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 259 KB/s], Decompressed: 5588
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 48 KB/s], Decompressed: 5588
Downloaded: 6044 file(s) [attempted 6044/8459 = 71%, 390 KB/s], Decompressed: 5818
Downloaded: 6071 file(s) [attempted 6071/8459 = 71%, 156 KB/s], Decompressed: 5818
Downloaded: 6098 file(s) [attempted 6098/8459 = 72%, 954 KB/s], Decompressed: 5818
Downloaded: 6122 file(s) [attempted 6122/8459 = 72%, 65 KB/s], Decompressed: 5818
Downloaded: 6143 file(s) [attempted 6143/8459 = 72%, 690 KB/s], Decompressed: 5818
Downloaded: 6160 file(s) [attempted 6160/8459 = 72%, 166 KB/s], Decompressed: 6033
Downloaded: 6174 file(s) [attempted 6174/8459 = 72%, 41 KB/s], Decompressed: 6033
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 132 KB/s], Decompressed: 6033
Downloaded: 6194 file(s) [attempted 6194/8459 = 73%, 139 KB/s], Decompressed: 6033
Downloaded: 6198 file(s) [attempted 6198/8459 = 73%, 366 KB/s], Decompressed: 6033
Downloaded: 6208 file(s) [attempted 6208/8459 = 73%, 312 KB/s], Decompressed: 6153
Downloaded: 6215 file(s) [attempted 6215/8459 = 73%, 37 KB/s], Decompressed: 6153
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 116 KB/s], Decompressed: 6208
Downloaded: 6225 file(s) [attempted 6225/8459 = 73%, 298 KB/s], Decompressed: 6208
Downloaded: 6232 file(s) [attempted 6232/8459 = 73%, 166 KB/s], Decompressed: 6222
Downloaded: 6239 file(s) [attempted 6239/8459 = 73%, 43 KB/s], Decompressed: 6232
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 44 KB/s], Decompressed: 6232
Downloaded: 6270 file(s) [attempted 6270/8459 = 74%, 105 KB/s], Decompressed: 6239
Downloaded: 6321 file(s) [attempted 6321/8459 = 74%, 897 KB/s], Decompressed: 6239
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 261 KB/s], Decompressed: 6270
Downloaded: 6420 file(s) [attempted 6420/8459 = 75%, 25 KB/s], Decompressed: 6270
Downloaded: 6468 file(s) [attempted 6468/8459 = 76%, 77 KB/s], Decompressed: 6270
Downloaded: 6520 file(s) [attempted 6520/8459 = 77%, 41 KB/s], Decompressed: 6369
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 20 KB/s], Decompressed: 6369
Downloaded: 6619 file(s) [attempted 6619/8459 = 78%, 6 KB/s], Decompressed: 6369
Downloaded: 6667 file(s) [attempted 6667/8459 = 78%, 656 KB/s], Decompressed: 6369
Downloaded: 6719 file(s) [attempted 6719/8459 = 79%, 512 KB/s], Decompressed: 6520
Downloaded: 6770 file(s) [attempted 6770/8459 = 80%, 1344 KB/s], Decompressed: 6520
Downloaded: 6818 file(s) [attempted 6818/8459 = 80%, 167 KB/s], Decompressed: 6520
Downloaded: 6869 file(s) [attempted 6869/8459 = 81%, 101 KB/s], Decompressed: 6520
Downloaded: 6917 file(s) [attempted 6917/8459 = 81%, 391 KB/s], Decompressed: 6520
Downloaded: 6969 file(s) [attempted 6969/8459 = 82%, 132 KB/s], Decompressed: 6719
Downloaded: 7017 file(s) [attempted 7017/8459 = 82%, 62 KB/s], Decompressed: 6719
Downloaded: 7065 file(s) [attempted 7065/8459 = 83%, 235 KB/s], Decompressed: 6719
Downloaded: 7099 file(s) [attempted 7099/8459 = 83%, 1008 KB/s], Decompressed: 6719
Downloaded: 7133 file(s) [attempted 7133/8459 = 84%, 149 KB/s], Decompressed: 6719
Downloaded: 7174 file(s) [attempted 7174/8459 = 84%, 168 KB/s], Decompressed: 6934
Downloaded: 7222 file(s) [attempted 7222/8459 = 85%, 161 KB/s], Decompressed: 6934
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 171 KB/s], Decompressed: 6934
Downloaded: 7297 file(s) [attempted 7297/8459 = 86%, 198 KB/s], Decompressed: 6934
Downloaded: 7335 file(s) [attempted 7335/8459 = 86%, 385 KB/s], Decompressed: 6934
Downloaded: 7380 file(s) [attempted 7380/8459 = 87%, 594 KB/s], Decompressed: 7164
Downloaded: 7424 file(s) [attempted 7424/8459 = 87%, 230 KB/s], Decompressed: 7164
Downloaded: 7469 file(s) [attempted 7469/8459 = 88%, 649 KB/s], Decompressed: 7164
Downloaded: 7500 file(s) [attempted 7500/8459 = 88%, 21 KB/s], Decompressed: 7164
Downloaded: 7537 file(s) [attempted 7537/8459 = 89%, 139 KB/s], Decompressed: 7164
Downloaded: 7582 file(s) [attempted 7582/8459 = 89%, 686 KB/s], Decompressed: 7380
Downloaded: 7626 file(s) [attempted 7626/8459 = 90%, 567 KB/s], Decompressed: 7380
Downloaded: 7674 file(s) [attempted 7674/8459 = 90%, 64 KB/s], Decompressed: 7380
Downloaded: 7715 file(s) [attempted 7715/8459 = 91%, 431 KB/s], Decompressed: 7380
Downloaded: 7756 file(s) [attempted 7756/8459 = 91%, 339 KB/s], Decompressed: 7571
Downloaded: 7794 file(s) [attempted 7794/8459 = 92%, 48 KB/s], Decompressed: 7571
Downloaded: 7835 file(s) [attempted 7835/8459 = 92%, 25 KB/s], Decompressed: 7571
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 291 KB/s], Decompressed: 7571
Downloaded: 7924 file(s) [attempted 7924/8459 = 93%, 715 KB/s], Decompressed: 7571
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 186 KB/s], Decompressed: 7746
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 289 KB/s], Decompressed: 7746
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 428 KB/s], Decompressed: 7746
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 116 KB/s], Decompressed: 7746
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 350 KB/s], Decompressed: 7746
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 24 KB/s], Decompressed: 7948
Downloaded: 8198 file(s) [attempted 8198/8459 = 96%, 128 KB/s], Decompressed: 7948
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 202 KB/s], Decompressed: 7948
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 481 KB/s], Decompressed: 7948
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 80 KB/s], Decompressed: 8140
Downloaded: 8373 file(s) [attempted 8373/8459 = 98%, 108 KB/s], Decompressed: 8140
Downloaded: 8418 file(s) [attempted 8418/8459 = 99%, 255 KB/s], Decompressed: 8140
Downloaded: 8445 file(s) [attempted 8445/8459 = 99%, 453 KB/s], Decompressed: 8140
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 146 KB/s], Decompressed: 8328
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 146 KB/s], Decompressed: 8328

apx-runtime-resource-v1	apx-verifier-job-1691-runtime-lake_cache-3311868-1787210275377049732-0	1527808	2043904	21474836480	0	0	0	0	0	0	2365870080	4095053824	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200007
stdout:
✔ [500/502] Built Iut.Foundations.Species (77s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (62s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (168s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (66s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (246s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (164s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (173s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (138s)
✔ [790/791] Built Iut.Foundations.QualitativeData (68s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (341s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1025s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1062s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (842s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (228s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (240s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (217s)
✔ [3982/3986] Built Iut.Foundations.SourceAnabelioid (843s)
✔ [3984/3986] Built Iut.Foundations.SourceInitialThetaData (1150s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1691-runtime-lean_checker-3311868-1787210441067006352-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1691-runtime-blueprint_build-3311868-1787217641691918759-2	1495040	2011136	21474836480	0	0	0	0	0	0	881926144	985747456	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 219 ms · created 8/20/2026, 9:21:00 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1691-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/20/2026, 9:21:00 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 278 ms · created 8/20/2026, 9:21:00 AM

git checkout b2c8e372adcb92a3c54fe17f2244c69315c4ee52

Note: switching to 'b2c8e372adcb92a3c54fe17f2244c69315c4ee52'.

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 b2c8e37 E20.3: exclude the fixed value over global measured outputs (#920)

lake_cacheexit 0duration 2m 46s · created 8/20/2026, 9:21:00 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 (8.2s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (121ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (190ms)
✔ [13/25] Built Cache.Lean:c.o (137ms)
✔ [15/25] Built Cache.Init (321ms)
✔ [16/25] Built Cache.IO (6.5s)
✔ [17/25] Built Cache.Init:c.o (95ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (919ms)
✔ [20/25] Built Cache.Hashing:c.o (378ms)
✔ [21/25] Built Cache.Requests (22s)
✔ [22/25] Built Cache.Requests:c.o (2.8s)
✔ [23/25] Built Cache.Main (1.4s)
✔ [24/25] Built Cache.Main:c.o (551ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 2 KB/s], Decompressed: 11
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 13 KB/s], Decompressed: 25
Downloaded: 63 file(s) [attempted 63/8459 = 0%, 28 KB/s], Decompressed: 38
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 123 KB/s], Decompressed: 65
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 53 KB/s], Decompressed: 79
Downloaded: 151 file(s) [attempted 151/8459 = 1%, 72 KB/s], Decompressed: 121
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 151 KB/s], Decompressed: 165
Downloaded: 230 file(s) [attempted 230/8459 = 2%, 54 KB/s], Decompressed: 189
Downloaded: 265 file(s) [attempted 265/8459 = 3%, 54 KB/s], Decompressed: 223
Downloaded: 299 file(s) [attempted 299/8459 = 3%, 62 KB/s], Decompressed: 254
Downloaded: 330 file(s) [attempted 330/8459 = 3%, 138 KB/s], Decompressed: 284
Downloaded: 367 file(s) [attempted 367/8459 = 4%, 289 KB/s], Decompressed: 323
Downloaded: 409 file(s) [attempted 409/8459 = 4%, 404 KB/s], Decompressed: 364
Downloaded: 446 file(s) [attempted 446/8459 = 5%, 57 KB/s], Decompressed: 405
Downloaded: 487 file(s) [attempted 487/8459 = 5%, 1202 KB/s], Decompressed: 446
Downloaded: 518 file(s) [attempted 518/8459 = 6%, 1468 KB/s], Decompressed: 446
Downloaded: 559 file(s) [attempted 559/8459 = 6%, 246 KB/s], Decompressed: 487
Downloaded: 598 file(s) [attempted 598/8459 = 7%, 874 KB/s], Decompressed: 532
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 864 KB/s], Decompressed: 587
Downloaded: 683 file(s) [attempted 683/8459 = 8%, 339 KB/s], Decompressed: 587
Downloaded: 724 file(s) [attempted 724/8459 = 8%, 89 KB/s], Decompressed: 638
Downloaded: 758 file(s) [attempted 758/8459 = 8%, 224 KB/s], Decompressed: 690
Downloaded: 803 file(s) [attempted 803/8459 = 9%, 947 KB/s], Decompressed: 738
Downloaded: 844 file(s) [attempted 844/8459 = 9%, 21 KB/s], Decompressed: 738
Downloaded: 882 file(s) [attempted 882/8459 = 10%, 45 KB/s], Decompressed: 799
Downloaded: 923 file(s) [attempted 923/8459 = 10%, 1234 KB/s], Decompressed: 858
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 808 KB/s], Decompressed: 858
Downloaded: 1005 file(s) [attempted 1005/8459 = 11%, 499 KB/s], Decompressed: 916
Downloaded: 1046 file(s) [attempted 1046/8459 = 12%, 587 KB/s], Decompressed: 985
Downloaded: 1087 file(s) [attempted 1087/8459 = 12%, 682 KB/s], Decompressed: 985
Downloaded: 1125 file(s) [attempted 1125/8459 = 13%, 369 KB/s], Decompressed: 1046
Downloaded: 1163 file(s) [attempted 1163/8459 = 13%, 324 KB/s], Decompressed: 1046
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 266 KB/s], Decompressed: 1104
Downloaded: 1241 file(s) [attempted 1241/8459 = 14%, 1089 KB/s], Decompressed: 1104
Downloaded: 1279 file(s) [attempted 1279/8459 = 15%, 95 KB/s], Decompressed: 1176
Downloaded: 1324 file(s) [attempted 1324/8459 = 15%, 724 KB/s], Decompressed: 1176
Downloaded: 1354 file(s) [attempted 1354/8459 = 16%, 626 KB/s], Decompressed: 1248
Downloaded: 1392 file(s) [attempted 1392/8459 = 16%, 116 KB/s], Decompressed: 1248
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 59 KB/s], Decompressed: 1327
Downloaded: 1478 file(s) [attempted 1478/8459 = 17%, 132 KB/s], Decompressed: 1399
Downloaded: 1522 file(s) [attempted 1522/8459 = 17%, 89 KB/s], Decompressed: 1399
Downloaded: 1553 file(s) [attempted 1553/8459 = 18%, 360 KB/s], Decompressed: 1474
Downloaded: 1594 file(s) [attempted 1594/8459 = 18%, 136 KB/s], Decompressed: 1474
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 27 KB/s], Decompressed: 1543
Downloaded: 1676 file(s) [attempted 1676/8459 = 19%, 1009 KB/s], Decompressed: 1611
Downloaded: 1721 file(s) [attempted 1721/8459 = 20%, 121 KB/s], Decompressed: 1611
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 350 KB/s], Decompressed: 1676
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 240 KB/s], Decompressed: 1676
Downloaded: 1837 file(s) [attempted 1837/8459 = 21%, 215 KB/s], Decompressed: 1745
Downloaded: 1876 file(s) [attempted 1876/8459 = 22%, 283 KB/s], Decompressed: 1745
Downloaded: 1913 file(s) [attempted 1913/8459 = 22%, 115 KB/s], Decompressed: 1824
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 69 KB/s], Decompressed: 1824
Downloaded: 1995 file(s) [attempted 1995/8459 = 23%, 129 KB/s], Decompressed: 1896
Downloaded: 2036 file(s) [attempted 2036/8459 = 24%, 635 KB/s], Decompressed: 1896
Downloaded: 2074 file(s) [attempted 2074/8459 = 24%, 58 KB/s], Decompressed: 1971
Downloaded: 2108 file(s) [attempted 2108/8459 = 24%, 132 KB/s], Decompressed: 1971
Downloaded: 2149 file(s) [attempted 2149/8459 = 25%, 77 KB/s], Decompressed: 2043
Downloaded: 2194 file(s) [attempted 2194/8459 = 25%, 412 KB/s], Decompressed: 2111
Downloaded: 2238 file(s) [attempted 2238/8459 = 26%, 684 KB/s], Decompressed: 2111
Downloaded: 2276 file(s) [attempted 2276/8459 = 26%, 630 KB/s], Decompressed: 2183
Downloaded: 2314 file(s) [attempted 2314/8459 = 27%, 198 KB/s], Decompressed: 2248
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 391 KB/s], Decompressed: 2248
Downloaded: 2396 file(s) [attempted 2396/8459 = 28%, 323 KB/s], Decompressed: 2303
Downloaded: 2440 file(s) [attempted 2440/8459 = 28%, 387 KB/s], Decompressed: 2303
Downloaded: 2485 file(s) [attempted 2485/8459 = 29%, 54 KB/s], Decompressed: 2375
Downloaded: 2522 file(s) [attempted 2522/8459 = 29%, 255 KB/s], Decompressed: 2375
Downloaded: 2564 file(s) [attempted 2564/8459 = 30%, 669 KB/s], Decompressed: 2461
Downloaded: 2605 file(s) [attempted 2605/8459 = 30%, 115 KB/s], Decompressed: 2461
Downloaded: 2642 file(s) [attempted 2642/8459 = 31%, 25 KB/s], Decompressed: 2550
Downloaded: 2680 file(s) [attempted 2680/8459 = 31%, 218 KB/s], Decompressed: 2550
Downloaded: 2725 file(s) [attempted 2725/8459 = 32%, 311 KB/s], Decompressed: 2625
Downloaded: 2769 file(s) [attempted 2769/8459 = 32%, 66 KB/s], Decompressed: 2625
Downloaded: 2810 file(s) [attempted 2810/8459 = 33%, 413 KB/s], Decompressed: 2625
Downloaded: 2851 file(s) [attempted 2851/8459 = 33%, 267 KB/s], Decompressed: 2718
Downloaded: 2886 file(s) [attempted 2886/8459 = 34%, 429 KB/s], Decompressed: 2718
Downloaded: 2927 file(s) [attempted 2927/8459 = 34%, 761 KB/s], Decompressed: 2824
Downloaded: 2968 file(s) [attempted 2968/8459 = 35%, 174 KB/s], Decompressed: 2824
Downloaded: 3009 file(s) [attempted 3009/8459 = 35%, 155 KB/s], Decompressed: 2920
Downloaded: 3050 file(s) [attempted 3050/8459 = 36%, 31 KB/s], Decompressed: 2920
Downloaded: 3091 file(s) [attempted 3091/8459 = 36%, 391 KB/s], Decompressed: 2920
Downloaded: 3136 file(s) [attempted 3136/8459 = 37%, 98 KB/s], Decompressed: 3009
Downloaded: 3173 file(s) [attempted 3173/8459 = 37%, 156 KB/s], Decompressed: 3009
Downloaded: 3214 file(s) [attempted 3214/8459 = 37%, 42 KB/s], Decompressed: 3108
Downloaded: 3255 file(s) [attempted 3255/8459 = 38%, 322 KB/s], Decompressed: 3108
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 215 KB/s], Decompressed: 3194
Downloaded: 3345 file(s) [attempted 3345/8459 = 39%, 172 KB/s], Decompressed: 3194
Downloaded: 3382 file(s) [attempted 3382/8459 = 39%, 49 KB/s], Decompressed: 3279
Downloaded: 3423 file(s) [attempted 3423/8459 = 40%, 309 KB/s], Decompressed: 3279
Downloaded: 3461 file(s) [attempted 3461/8459 = 40%, 312 KB/s], Decompressed: 3358
Downloaded: 3502 file(s) [attempted 3502/8459 = 41%, 133 KB/s], Decompressed: 3434
Downloaded: 3540 file(s) [attempted 3540/8459 = 41%, 154 KB/s], Decompressed: 3434
Downloaded: 3584 file(s) [attempted 3584/8459 = 42%, 116 KB/s], Decompressed: 3499
Downloaded: 3619 file(s) [attempted 3619/8459 = 42%, 720 KB/s], Decompressed: 3499
Downloaded: 3660 file(s) [attempted 3660/8459 = 43%, 572 KB/s], Decompressed: 3565
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 310 KB/s], Decompressed: 3622
Downloaded: 3745 file(s) [attempted 3745/8459 = 44%, 663 KB/s], Decompressed: 3622
Downloaded: 3786 file(s) [attempted 3786/8459 = 44%, 85 KB/s], Decompressed: 3684
Downloaded: 3827 file(s) [attempted 3827/8459 = 45%, 121 KB/s], Decompressed: 3749
Downloaded: 3869 file(s) [attempted 3869/8459 = 45%, 93 KB/s], Decompressed: 3804
Downloaded: 3906 file(s) [attempted 3906/8459 = 46%, 388 KB/s], Decompressed: 3855
Downloaded: 3947 file(s) [attempted 3947/8459 = 46%, 259 KB/s], Decompressed: 3855
Downloaded: 3988 file(s) [attempted 3988/8459 = 47%, 26 KB/s], Decompressed: 3906
Downloaded: 4030 file(s) [attempted 4030/8459 = 47%, 105 KB/s], Decompressed: 3961
Downloaded: 4071 file(s) [attempted 4071/8459 = 48%, 1215 KB/s], Decompressed: 3961
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 334 KB/s], Decompressed: 4019
Downloaded: 4154 file(s) [attempted 4154/8459 = 49%, 127 KB/s], Decompressed: 4019
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 345 KB/s], Decompressed: 4091
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 487 KB/s], Decompressed: 4091
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 217 KB/s], Decompressed: 4173
Downloaded: 4321 file(s) [attempted 4321/8459 = 51%, 193 KB/s], Decompressed: 4173
Downloaded: 4362 file(s) [attempted 4362/8459 = 51%, 102 KB/s], Decompressed: 4173
Downloaded: 4399 file(s) [attempted 4399/8459 = 52%, 960 KB/s], Decompressed: 4266
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 174 KB/s], Decompressed: 4266
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 884 KB/s], Decompressed: 4365
Downloaded: 4523 file(s) [attempted 4523/8459 = 53%, 168 KB/s], Decompressed: 4365
Downloaded: 4564 file(s) [attempted 4564/8459 = 53%, 321 KB/s], Decompressed: 4465
Downloaded: 4602 file(s) [attempted 4602/8459 = 54%, 154 KB/s], Decompressed: 4465
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 66 KB/s], Decompressed: 4465
Downloaded: 4680 file(s) [attempted 4680/8459 = 55%, 1084 KB/s], Decompressed: 4554
Downloaded: 4718 file(s) [attempted 4718/8459 = 55%, 1340 KB/s], Decompressed: 4554
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 1272 KB/s], Decompressed: 4554
Downloaded: 4804 file(s) [attempted 4804/8459 = 56%, 111 KB/s], Decompressed: 4554
Downloaded: 4841 file(s) [attempted 4841/8459 = 57%, 237 KB/s], Decompressed: 4554
Downloaded: 4882 file(s) [attempted 4882/8459 = 57%, 226 KB/s], Decompressed: 4677
Downloaded: 4924 file(s) [attempted 4924/8459 = 58%, 75 KB/s], Decompressed: 4677
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 90 KB/s], Decompressed: 4677
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 194 KB/s], Decompressed: 4677
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 360 KB/s], Decompressed: 4677
Downloaded: 5085 file(s) [attempted 5085/8459 = 60%, 100 KB/s], Decompressed: 4677
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 1063 KB/s], Decompressed: 4848
Downloaded: 5163 file(s) [attempted 5163/8459 = 61%, 432 KB/s], Decompressed: 4848
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 25 KB/s], Decompressed: 4848
Downloaded: 5246 file(s) [attempted 5246/8459 = 62%, 745 KB/s], Decompressed: 4848
Downloaded: 5287 file(s) [attempted 5287/8459 = 62%, 505 KB/s], Decompressed: 4848
Downloaded: 5324 file(s) [attempted 5324/8459 = 62%, 49 KB/s], Decompressed: 4848
Downloaded: 5365 file(s) [attempted 5365/8459 = 63%, 2807 KB/s], Decompressed: 5105
Downloaded: 5407 file(s) [attempted 5407/8459 = 63%, 308 KB/s], Decompressed: 5105
Downloaded: 5444 file(s) [attempted 5444/8459 = 64%, 1028 KB/s], Decompressed: 5105
Downloaded: 5485 file(s) [attempted 5485/8459 = 64%, 151 KB/s], Decompressed: 5105
Downloaded: 5526 file(s) [attempted 5526/8459 = 65%, 597 KB/s], Decompressed: 5105
Downloaded: 5564 file(s) [attempted 5564/8459 = 65%, 153 KB/s], Decompressed: 5105
Downloaded: 5605 file(s) [attempted 5605/8459 = 66%, 192 KB/s], Decompressed: 5348
Downloaded: 5646 file(s) [attempted 5646/8459 = 66%, 630 KB/s], Decompressed: 5348
Downloaded: 5691 file(s) [attempted 5691/8459 = 67%, 110 KB/s], Decompressed: 5348
Downloaded: 5728 file(s) [attempted 5728/8459 = 67%, 288 KB/s], Decompressed: 5348
Downloaded: 5766 file(s) [attempted 5766/8459 = 68%, 768 KB/s], Decompressed: 5348
Downloaded: 5807 file(s) [attempted 5807/8459 = 68%, 119 KB/s], Decompressed: 5348
Downloaded: 5848 file(s) [attempted 5848/8459 = 69%, 118 KB/s], Decompressed: 5588
Downloaded: 5893 file(s) [attempted 5893/8459 = 69%, 464 KB/s], Decompressed: 5588
Downloaded: 5934 file(s) [attempted 5934/8459 = 70%, 34 KB/s], Decompressed: 5588
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 259 KB/s], Decompressed: 5588
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 48 KB/s], Decompressed: 5588
Downloaded: 6044 file(s) [attempted 6044/8459 = 71%, 390 KB/s], Decompressed: 5818
Downloaded: 6071 file(s) [attempted 6071/8459 = 71%, 156 KB/s], Decompressed: 5818
Downloaded: 6098 file(s) [attempted 6098/8459 = 72%, 954 KB/s], Decompressed: 5818
Downloaded: 6122 file(s) [attempted 6122/8459 = 72%, 65 KB/s], Decompressed: 5818
Downloaded: 6143 file(s) [attempted 6143/8459 = 72%, 690 KB/s], Decompressed: 5818
Downloaded: 6160 file(s) [attempted 6160/8459 = 72%, 166 KB/s], Decompressed: 6033
Downloaded: 6174 file(s) [attempted 6174/8459 = 72%, 41 KB/s], Decompressed: 6033
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 132 KB/s], Decompressed: 6033
Downloaded: 6194 file(s) [attempted 6194/8459 = 73%, 139 KB/s], Decompressed: 6033
Downloaded: 6198 file(s) [attempted 6198/8459 = 73%, 366 KB/s], Decompressed: 6033
Downloaded: 6208 file(s) [attempted 6208/8459 = 73%, 312 KB/s], Decompressed: 6153
Downloaded: 6215 file(s) [attempted 6215/8459 = 73%, 37 KB/s], Decompressed: 6153
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 116 KB/s], Decompressed: 6208
Downloaded: 6225 file(s) [attempted 6225/8459 = 73%, 298 KB/s], Decompressed: 6208
Downloaded: 6232 file(s) [attempted 6232/8459 = 73%, 166 KB/s], Decompressed: 6222
Downloaded: 6239 file(s) [attempted 6239/8459 = 73%, 43 KB/s], Decompressed: 6232
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 44 KB/s], Decompressed: 6232
Downloaded: 6270 file(s) [attempted 6270/8459 = 74%, 105 KB/s], Decompressed: 6239
Downloaded: 6321 file(s) [attempted 6321/8459 = 74%, 897 KB/s], Decompressed: 6239
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 261 KB/s], Decompressed: 6270
Downloaded: 6420 file(s) [attempted 6420/8459 = 75%, 25 KB/s], Decompressed: 6270
Downloaded: 6468 file(s) [attempted 6468/8459 = 76%, 77 KB/s], Decompressed: 6270
Downloaded: 6520 file(s) [attempted 6520/8459 = 77%, 41 KB/s], Decompressed: 6369
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 20 KB/s], Decompressed: 6369
Downloaded: 6619 file(s) [attempted 6619/8459 = 78%, 6 KB/s], Decompressed: 6369
Downloaded: 6667 file(s) [attempted 6667/8459 = 78%, 656 KB/s], Decompressed: 6369
Downloaded: 6719 file(s) [attempted 6719/8459 = 79%, 512 KB/s], Decompressed: 6520
Downloaded: 6770 file(s) [attempted 6770/8459 = 80%, 1344 KB/s], Decompressed: 6520
Downloaded: 6818 file(s) [attempted 6818/8459 = 80%, 167 KB/s], Decompressed: 6520
Downloaded: 6869 file(s) [attempted 6869/8459 = 81%, 101 KB/s], Decompressed: 6520
Downloaded: 6917 file(s) [attempted 6917/8459 = 81%, 391 KB/s], Decompressed: 6520
Downloaded: 6969 file(s) [attempted 6969/8459 = 82%, 132 KB/s], Decompressed: 6719
Downloaded: 7017 file(s) [attempted 7017/8459 = 82%, 62 KB/s], Decompressed: 6719
Downloaded: 7065 file(s) [attempted 7065/8459 = 83%, 235 KB/s], Decompressed: 6719
Downloaded: 7099 file(s) [attempted 7099/8459 = 83%, 1008 KB/s], Decompressed: 6719
Downloaded: 7133 file(s) [attempted 7133/8459 = 84%, 149 KB/s], Decompressed: 6719
Downloaded: 7174 file(s) [attempted 7174/8459 = 84%, 168 KB/s], Decompressed: 6934
Downloaded: 7222 file(s) [attempted 7222/8459 = 85%, 161 KB/s], Decompressed: 6934
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 171 KB/s], Decompressed: 6934
Downloaded: 7297 file(s) [attempted 7297/8459 = 86%, 198 KB/s], Decompressed: 6934
Downloaded: 7335 file(s) [attempted 7335/8459 = 86%, 385 KB/s], Decompressed: 6934
Downloaded: 7380 file(s) [attempted 7380/8459 = 87%, 594 KB/s], Decompressed: 7164
Downloaded: 7424 file(s) [attempted 7424/8459 = 87%, 230 KB/s], Decompressed: 7164
Downloaded: 7469 file(s) [attempted 7469/8459 = 88%, 649 KB/s], Decompressed: 7164
Downloaded: 7500 file(s) [attempted 7500/8459 = 88%, 21 KB/s], Decompressed: 7164
Downloaded: 7537 file(s) [attempted 7537/8459 = 89%, 139 KB/s], Decompressed: 7164
Downloaded: 7582 file(s) [attempted 7582/8459 = 89%, 686 KB/s], Decompressed: 7380
Downloaded: 7626 file(s) [attempted 7626/8459 = 90%, 567 KB/s], Decompressed: 7380
Downloaded: 7674 file(s) [attempted 7674/8459 = 90%, 64 KB/s], Decompressed: 7380
Downloaded: 7715 file(s) [attempted 7715/8459 = 91%, 431 KB/s], Decompressed: 7380
Downloaded: 7756 file(s) [attempted 7756/8459 = 91%, 339 KB/s], Decompressed: 7571
Downloaded: 7794 file(s) [attempted 7794/8459 = 92%, 48 KB/s], Decompressed: 7571
Downloaded: 7835 file(s) [attempted 7835/8459 = 92%, 25 KB/s], Decompressed: 7571
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 291 KB/s], Decompressed: 7571
Downloaded: 7924 file(s) [attempted 7924/8459 = 93%, 715 KB/s], Decompressed: 7571
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 186 KB/s], Decompressed: 7746
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 289 KB/s], Decompressed: 7746
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 428 KB/s], Decompressed: 7746
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 116 KB/s], Decompressed: 7746
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 350 KB/s], Decompressed: 7746
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 24 KB/s], Decompressed: 7948
Downloaded: 8198 file(s) [attempted 8198/8459 = 96%, 128 KB/s], Decompressed: 7948
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 202 KB/s], Decompressed: 7948
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 481 KB/s], Decompressed: 7948
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 80 KB/s], Decompressed: 8140
Downloaded: 8373 file(s) [attempted 8373/8459 = 98%, 108 KB/s], Decompressed: 8140
Downloaded: 8418 file(s) [attempted 8418/8459 = 99%, 255 KB/s], Decompressed: 8140
Downloaded: 8445 file(s) [attempted 8445/8459 = 99%, 453 KB/s], Decompressed: 8140
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 146 KB/s], Decompressed: 8328
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 146 KB/s], Decompressed: 8328

apx-runtime-resource-v1	apx-verifier-job-1691-runtime-lake_cache-3311868-1787210275377049732-0	1527808	2043904	21474836480	0	0	0	0	0	0	2365870080	4095053824	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/20/2026, 9:21:00 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (77s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (62s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (168s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (66s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (246s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (164s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (173s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (138s)
✔ [790/791] Built Iut.Foundations.QualitativeData (68s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (341s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1025s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1062s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (842s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (228s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (240s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (217s)
✔ [3982/3986] Built Iut.Foundations.SourceAnabelioid (843s)
✔ [3984/3986] Built Iut.Foundations.SourceInitialThetaData (1150s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1691-runtime-lean_checker-3311868-1787210441067006352-1 on attempt 1

blueprint_buildexit 1duration 18s · created 8/20/2026, 9:21:00 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1691-runtime-blueprint_build-3311868-1787217641691918759-2	1495040	2011136	21474836480	0	0	0	0	0	0	881926144	985747456	21474836480	0	0	0	0	0	0