Verification run

Run 1289

promachina/iut-leanbranch mastertriggered via github_push

failedcommit a9aba76441a6toolchain lean-v4-30-0prover leantook 2h 2m · 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-1743-source
exit_code=Some(128) duration_ms=366
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1743-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=15050
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1743-source'...
Updating files:  78% (1105/1404)
Updating files:  79% (1110/1404)
Updating files:  79% (1115/1404)
Updating files:  79% (1118/1404)
Updating files:  79% (1121/1404)
Updating files:  79% (1123/1404)
Updating files:  80% (1124/1404)
Updating files:  80% (1125/1404)
Updating files:  80% (1126/1404)
Updating files:  80% (1127/1404)
Updating files:  80% (1128/1404)
Updating files:  81% (1138/1404)
Updating files:  82% (1152/1404)
Updating files:  83% (1166/1404)
Updating files:  84% (1180/1404)
Updating files:  85% (1194/1404)
Updating files:  85% (1204/1404)
Updating files:  86% (1208/1404)
Updating files:  87% (1222/1404)
Updating files:  88% (1236/1404)
Updating files:  89% (1250/1404)
Updating files:  90% (1264/1404)
Updating files:  91% (1278/1404)
Updating files:  92% (1292/1404)
Updating files:  93% (1306/1404)
Updating files:  94% (1320/1404)
Updating files:  95% (1334/1404)
Updating files:  96% (1348/1404)
Updating files:  97% (1362/1404)
Updating files:  98% (1376/1404)
Updating files:  99% (1390/1404)
Updating files: 100% (1404/1404)
Updating files: 100% (1404/1404), done.


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

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 a9aba76 Merge pull request #975 from promachina/e23-3m-example63-picard-common-currency

Resolved source revision: a9aba76441a6550a7e08c091b44935d6625d982c

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=a9aba76441a6550a7e08c091b44935d6625d982c provenance={"branch":"master","checked_out_revision":"a9aba76441a6550a7e08c091b44935d6625d982c","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"a9aba76441a6550a7e08c091b44935d6625d982c","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=5261 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=114776
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 (12s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (131ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (155ms)
✔ [13/25] Built Cache.Lean:c.o (151ms)
✔ [15/25] Built Cache.Init (812ms)
✔ [16/25] Built Cache.IO (7.6s)
✔ [17/25] Built Cache.Init:c.o (103ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (987ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (909ms)
✔ [24/25] Built Cache.Main:c.o (527ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 12 KB/s], Decompressed: 0
Downloaded: 14 file(s) [attempted 14/8459 = 0%, 6 KB/s], Decompressed: 7
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 23 KB/s], Decompressed: 28
Downloaded: 56 file(s) [attempted 56/8459 = 0%, 28 KB/s], Decompressed: 53
Downloaded: 80 file(s) [attempted 80/8459 = 0%, 63 KB/s], Decompressed: 70
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 121 KB/s], Decompressed: 80
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 367 KB/s], Decompressed: 114
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 302 KB/s], Decompressed: 138
Downloaded: 208 file(s) [attempted 208/8459 = 2%, 336 KB/s], Decompressed: 162
Downloaded: 237 file(s) [attempted 237/8459 = 2%, 168 KB/s], Decompressed: 192
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 948 KB/s], Decompressed: 192
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 167 KB/s], Decompressed: 233
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 569 KB/s], Decompressed: 278
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 214 KB/s], Decompressed: 333
Downloaded: 428 file(s) [attempted 428/8459 = 5%, 247 KB/s], Decompressed: 333
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 884 KB/s], Decompressed: 384
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 107 KB/s], Decompressed: 435
Downloaded: 552 file(s) [attempted 552/8459 = 6%, 291 KB/s], Decompressed: 483
Downloaded: 593 file(s) [attempted 593/8459 = 7%, 269 KB/s], Decompressed: 483
Downloaded: 630 file(s) [attempted 630/8459 = 7%, 176 KB/s], Decompressed: 548
Downloaded: 671 file(s) [attempted 671/8459 = 7%, 321 KB/s], Decompressed: 606
Downloaded: 709 file(s) [attempted 709/8459 = 8%, 27 KB/s], Decompressed: 606
Downloaded: 750 file(s) [attempted 750/8459 = 8%, 62 KB/s], Decompressed: 666
Downloaded: 798 file(s) [attempted 798/8459 = 9%, 536 KB/s], Decompressed: 736
Downloaded: 846 file(s) [attempted 846/8459 = 10%, 142 KB/s], Decompressed: 736
Downloaded: 887 file(s) [attempted 887/8459 = 10%, 50 KB/s], Decompressed: 798
Downloaded: 921 file(s) [attempted 921/8459 = 10%, 1233 KB/s], Decompressed: 860
Downloaded: 962 file(s) [attempted 962/8459 = 11%, 170 KB/s], Decompressed: 860
Downloaded: 1007 file(s) [attempted 1007/8459 = 11%, 212 KB/s], Decompressed: 918
Downloaded: 1051 file(s) [attempted 1051/8459 = 12%, 184 KB/s], Decompressed: 979
Downloaded: 1096 file(s) [attempted 1096/8459 = 12%, 553 KB/s], Decompressed: 979
Downloaded: 1133 file(s) [attempted 1133/8459 = 13%, 287 KB/s], Decompressed: 1038
Downloaded: 1171 file(s) [attempted 1171/8459 = 13%, 264 KB/s], Decompressed: 1099
Downloaded: 1209 file(s) [attempted 1209/8459 = 14%, 310 KB/s], Decompressed: 1099
Downloaded: 1253 file(s) [attempted 1253/8459 = 14%, 41 KB/s], Decompressed: 1161
Downloaded: 1294 file(s) [attempted 1294/8459 = 15%, 167 KB/s], Decompressed: 1161
Downloaded: 1332 file(s) [attempted 1332/8459 = 15%, 51 KB/s], Decompressed: 1229
Downloaded: 1373 file(s) [attempted 1373/8459 = 16%, 1185 KB/s], Decompressed: 1301
Downloaded: 1414 file(s) [attempted 1414/8459 = 16%, 312 KB/s], Decompressed: 1301
Downloaded: 1451 file(s) [attempted 1451/8459 = 17%, 148 KB/s], Decompressed: 1373
Downloaded: 1492 file(s) [attempted 1492/8459 = 17%, 259 KB/s], Decompressed: 1373
Downloaded: 1530 file(s) [attempted 1530/8459 = 18%, 25 KB/s], Decompressed: 1441
Downloaded: 1571 file(s) [attempted 1571/8459 = 18%, 90 KB/s], Decompressed: 1506
Downloaded: 1619 file(s) [attempted 1619/8459 = 19%, 339 KB/s], Decompressed: 1506
Downloaded: 1663 file(s) [attempted 1663/8459 = 19%, 151 KB/s], Decompressed: 1571
Downloaded: 1698 file(s) [attempted 1698/8459 = 20%, 339 KB/s], Decompressed: 1639
Downloaded: 1735 file(s) [attempted 1735/8459 = 20%, 191 KB/s], Decompressed: 1639
Downloaded: 1780 file(s) [attempted 1780/8459 = 21%, 256 KB/s], Decompressed: 1698
Downloaded: 1824 file(s) [attempted 1824/8459 = 21%, 269 KB/s], Decompressed: 1756
Downloaded: 1865 file(s) [attempted 1865/8459 = 22%, 283 KB/s], Decompressed: 1810
Downloaded: 1910 file(s) [attempted 1910/8459 = 22%, 144 KB/s], Decompressed: 1851
Downloaded: 1944 file(s) [attempted 1944/8459 = 22%, 24 KB/s], Decompressed: 1882
Downloaded: 1981 file(s) [attempted 1981/8459 = 23%, 125 KB/s], Decompressed: 1923
Downloaded: 2019 file(s) [attempted 2019/8459 = 23%, 390 KB/s], Decompressed: 1923
Downloaded: 2063 file(s) [attempted 2063/8459 = 24%, 125 KB/s], Decompressed: 1964
Downloaded: 2108 file(s) [attempted 2108/8459 = 24%, 947 KB/s], Decompressed: 2029
Downloaded: 2152 file(s) [attempted 2152/8459 = 25%, 174 KB/s], Decompressed: 2029
Downloaded: 2190 file(s) [attempted 2190/8459 = 25%, 117 KB/s], Decompressed: 2108
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 105 KB/s], Decompressed: 2108
Downloaded: 2265 file(s) [attempted 2265/8459 = 26%, 342 KB/s], Decompressed: 2180
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 132 KB/s], Decompressed: 2252
Downloaded: 2354 file(s) [attempted 2354/8459 = 27%, 900 KB/s], Decompressed: 2252
Downloaded: 2395 file(s) [attempted 2395/8459 = 28%, 88 KB/s], Decompressed: 2310
Downloaded: 2429 file(s) [attempted 2429/8459 = 28%, 612 KB/s], Decompressed: 2364
Downloaded: 2470 file(s) [attempted 2470/8459 = 29%, 474 KB/s], Decompressed: 2364
Downloaded: 2511 file(s) [attempted 2511/8459 = 29%, 48 KB/s], Decompressed: 2419
Downloaded: 2552 file(s) [attempted 2552/8459 = 30%, 229 KB/s], Decompressed: 2419
Downloaded: 2597 file(s) [attempted 2597/8459 = 30%, 1848 KB/s], Decompressed: 2419
Downloaded: 2638 file(s) [attempted 2638/8459 = 31%, 90 KB/s], Decompressed: 2494
Downloaded: 2676 file(s) [attempted 2676/8459 = 31%, 849 KB/s], Decompressed: 2494
Downloaded: 2717 file(s) [attempted 2717/8459 = 32%, 1142 KB/s], Decompressed: 2494
Downloaded: 2758 file(s) [attempted 2758/8459 = 32%, 104 KB/s], Decompressed: 2600
Downloaded: 2802 file(s) [attempted 2802/8459 = 33%, 130 KB/s], Decompressed: 2600
Downloaded: 2840 file(s) [attempted 2840/8459 = 33%, 337 KB/s], Decompressed: 2600
Downloaded: 2881 file(s) [attempted 2881/8459 = 34%, 37 KB/s], Decompressed: 2720
Downloaded: 2922 file(s) [attempted 2922/8459 = 34%, 605 KB/s], Decompressed: 2720
Downloaded: 2963 file(s) [attempted 2963/8459 = 35%, 423 KB/s], Decompressed: 2720
Downloaded: 3007 file(s) [attempted 3007/8459 = 35%, 331 KB/s], Decompressed: 2857
Downloaded: 3055 file(s) [attempted 3055/8459 = 36%, 30 KB/s], Decompressed: 2857
Downloaded: 3093 file(s) [attempted 3093/8459 = 36%, 187 KB/s], Decompressed: 2857
Downloaded: 3130 file(s) [attempted 3130/8459 = 37%, 150 KB/s], Decompressed: 3000
Downloaded: 3171 file(s) [attempted 3171/8459 = 37%, 149 KB/s], Decompressed: 3000
Downloaded: 3212 file(s) [attempted 3212/8459 = 37%, 83 KB/s], Decompressed: 3000
Downloaded: 3257 file(s) [attempted 3257/8459 = 38%, 581 KB/s], Decompressed: 3120
Downloaded: 3301 file(s) [attempted 3301/8459 = 39%, 161 KB/s], Decompressed: 3120
Downloaded: 3335 file(s) [attempted 3335/8459 = 39%, 92 KB/s], Decompressed: 3120
Downloaded: 3377 file(s) [attempted 3377/8459 = 39%, 499 KB/s], Decompressed: 3240
Downloaded: 3414 file(s) [attempted 3414/8459 = 40%, 1295 KB/s], Decompressed: 3240
Downloaded: 3459 file(s) [attempted 3459/8459 = 40%, 678 KB/s], Decompressed: 3240
Downloaded: 3503 file(s) [attempted 3503/8459 = 41%, 1619 KB/s], Decompressed: 3356
Downloaded: 3543 file(s) [attempted 3543/8459 = 41%, 39 KB/s], Decompressed: 3356
Downloaded: 3578 file(s) [attempted 3578/8459 = 42%, 273 KB/s], Decompressed: 3356
Downloaded: 3619 file(s) [attempted 3619/8459 = 42%, 587 KB/s], Decompressed: 3469
Downloaded: 3667 file(s) [attempted 3667/8459 = 43%, 102 KB/s], Decompressed: 3469
Downloaded: 3708 file(s) [attempted 3708/8459 = 43%, 85 KB/s], Decompressed: 3582
Downloaded: 3749 file(s) [attempted 3749/8459 = 44%, 198 KB/s], Decompressed: 3582
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 357 KB/s], Decompressed: 3582
Downloaded: 3821 file(s) [attempted 3821/8459 = 45%, 492 KB/s], Decompressed: 3691
Downloaded: 3866 file(s) [attempted 3866/8459 = 45%, 1303 KB/s], Decompressed: 3691
Downloaded: 3907 file(s) [attempted 3907/8459 = 46%, 655 KB/s], Decompressed: 3804
Downloaded: 3948 file(s) [attempted 3948/8459 = 46%, 220 KB/s], Decompressed: 3804
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 675 KB/s], Decompressed: 3804
Downloaded: 4023 file(s) [attempted 4023/8459 = 47%, 626 KB/s], Decompressed: 3896
Downloaded: 4064 file(s) [attempted 4064/8459 = 48%, 605 KB/s], Decompressed: 3896
Downloaded: 4108 file(s) [attempted 4108/8459 = 48%, 199 KB/s], Decompressed: 3995
Downloaded: 4149 file(s) [attempted 4149/8459 = 49%, 545 KB/s], Decompressed: 3995
Downloaded: 4190 file(s) [attempted 4190/8459 = 49%, 315 KB/s], Decompressed: 4091
Downloaded: 4231 file(s) [attempted 4231/8459 = 50%, 505 KB/s], Decompressed: 4091
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 226 KB/s], Decompressed: 4091
Downloaded: 4313 file(s) [attempted 4313/8459 = 50%, 360 KB/s], Decompressed: 4190
Downloaded: 4351 file(s) [attempted 4351/8459 = 51%, 980 KB/s], Decompressed: 4190
Downloaded: 4392 file(s) [attempted 4392/8459 = 51%, 229 KB/s], Decompressed: 4190
Downloaded: 4433 file(s) [attempted 4433/8459 = 52%, 126 KB/s], Decompressed: 4190
Downloaded: 4474 file(s) [attempted 4474/8459 = 52%, 128 KB/s], Decompressed: 4303
Downloaded: 4515 file(s) [attempted 4515/8459 = 53%, 107 KB/s], Decompressed: 4303
Downloaded: 4556 file(s) [attempted 4556/8459 = 53%, 182 KB/s], Decompressed: 4303
Downloaded: 4594 file(s) [attempted 4594/8459 = 54%, 481 KB/s], Decompressed: 4303
Downloaded: 4638 file(s) [attempted 4638/8459 = 54%, 338 KB/s], Decompressed: 4303
Downloaded: 4679 file(s) [attempted 4679/8459 = 55%, 23 KB/s], Decompressed: 4447
Downloaded: 4720 file(s) [attempted 4720/8459 = 55%, 122 KB/s], Decompressed: 4447
Downloaded: 4761 file(s) [attempted 4761/8459 = 56%, 23 KB/s], Decompressed: 4447
Downloaded: 4799 file(s) [attempted 4799/8459 = 56%, 391 KB/s], Decompressed: 4447
Downloaded: 4844 file(s) [attempted 4844/8459 = 57%, 307 KB/s], Decompressed: 4447
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 125 KB/s], Decompressed: 4447
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 383 KB/s], Decompressed: 4447
Downloaded: 4960 file(s) [attempted 4960/8459 = 58%, 90 KB/s], Decompressed: 4669
Downloaded: 4997 file(s) [attempted 4997/8459 = 59%, 447 KB/s], Decompressed: 4669
Downloaded: 5042 file(s) [attempted 5042/8459 = 59%, 305 KB/s], Decompressed: 4669
Downloaded: 5083 file(s) [attempted 5083/8459 = 60%, 344 KB/s], Decompressed: 4669
Downloaded: 5124 file(s) [attempted 5124/8459 = 60%, 486 KB/s], Decompressed: 4669
Downloaded: 5162 file(s) [attempted 5162/8459 = 61%, 449 KB/s], Decompressed: 4669
Downloaded: 5203 file(s) [attempted 5203/8459 = 61%, 26 KB/s], Decompressed: 4669
Downloaded: 5244 file(s) [attempted 5244/8459 = 61%, 96 KB/s], Decompressed: 4946
Downloaded: 5281 file(s) [attempted 5281/8459 = 62%, 1240 KB/s], Decompressed: 4946
Downloaded: 5326 file(s) [attempted 5326/8459 = 62%, 47 KB/s], Decompressed: 4946
Downloaded: 5363 file(s) [attempted 5363/8459 = 63%, 147 KB/s], Decompressed: 4946
Downloaded: 5404 file(s) [attempted 5404/8459 = 63%, 373 KB/s], Decompressed: 4946
Downloaded: 5445 file(s) [attempted 5445/8459 = 64%, 785 KB/s], Decompressed: 4946
Downloaded: 5486 file(s) [attempted 5486/8459 = 64%, 231 KB/s], Decompressed: 5216
Downloaded: 5531 file(s) [attempted 5531/8459 = 65%, 26 KB/s], Decompressed: 5216
Downloaded: 5575 file(s) [attempted 5575/8459 = 65%, 156 KB/s], Decompressed: 5216
Downloaded: 5616 file(s) [attempted 5616/8459 = 66%, 108 KB/s], Decompressed: 5216
Downloaded: 5657 file(s) [attempted 5657/8459 = 66%, 902 KB/s], Decompressed: 5216
Downloaded: 5695 file(s) [attempted 5695/8459 = 67%, 278 KB/s], Decompressed: 5216
Downloaded: 5736 file(s) [attempted 5736/8459 = 67%, 71 KB/s], Decompressed: 5476
Downloaded: 5777 file(s) [attempted 5777/8459 = 68%, 729 KB/s], Decompressed: 5476
Downloaded: 5822 file(s) [attempted 5822/8459 = 68%, 99 KB/s], Decompressed: 5476
Downloaded: 5866 file(s) [attempted 5866/8459 = 69%, 74 KB/s], Decompressed: 5476
Downloaded: 5904 file(s) [attempted 5904/8459 = 69%, 1962 KB/s], Decompressed: 5476
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 663 KB/s], Decompressed: 5476
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 1587 KB/s], Decompressed: 5476
Downloaded: 6020 file(s) [attempted 6020/8459 = 71%, 63 KB/s], Decompressed: 5476
Downloaded: 6064 file(s) [attempted 6064/8459 = 71%, 225 KB/s], Decompressed: 5722
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 733 KB/s], Decompressed: 5722
Downloaded: 6119 file(s) [attempted 6119/8459 = 72%, 400 KB/s], Decompressed: 5722
Downloaded: 6157 file(s) [attempted 6157/8459 = 72%, 80 KB/s], Decompressed: 5722
Downloaded: 6205 file(s) [attempted 6205/8459 = 73%, 221 KB/s], Decompressed: 5722
Downloaded: 6256 file(s) [attempted 6256/8459 = 73%, 5 KB/s], Decompressed: 5722
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 33 KB/s], Decompressed: 5722
Downloaded: 6355 file(s) [attempted 6355/8459 = 75%, 79 KB/s], Decompressed: 5722
Downloaded: 6403 file(s) [attempted 6403/8459 = 75%, 514 KB/s], Decompressed: 6037
Downloaded: 6451 file(s) [attempted 6451/8459 = 76%, 1214 KB/s], Decompressed: 6037
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 1688 KB/s], Decompressed: 6037
Downloaded: 6547 file(s) [attempted 6547/8459 = 77%, 51 KB/s], Decompressed: 6037
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 87 KB/s], Decompressed: 6037
Downloaded: 6642 file(s) [attempted 6642/8459 = 78%, 496 KB/s], Decompressed: 6037
Downloaded: 6687 file(s) [attempted 6687/8459 = 79%, 2426 KB/s], Decompressed: 6037
Downloaded: 6735 file(s) [attempted 6735/8459 = 79%, 414 KB/s], Decompressed: 6037
Downloaded: 6782 file(s) [attempted 6782/8459 = 80%, 78 KB/s], Decompressed: 6403
Downloaded: 6824 file(s) [attempted 6824/8459 = 80%, 328 KB/s], Decompressed: 6403
Downloaded: 6858 file(s) [attempted 6858/8459 = 81%, 393 KB/s], Decompressed: 6403
Downloaded: 6897 file(s) [attempted 6897/8459 = 81%, 535 KB/s], Decompressed: 6403
Downloaded: 6940 file(s) [attempted 6940/8459 = 82%, 286 KB/s], Decompressed: 6403
Downloaded: 6984 file(s) [attempted 6984/8459 = 82%, 247 KB/s], Decompressed: 6403
Downloaded: 7025 file(s) [attempted 7025/8459 = 83%, 695 KB/s], Decompressed: 6741
Downloaded: 7070 file(s) [attempted 7070/8459 = 83%, 145 KB/s], Decompressed: 6741
Downloaded: 7104 file(s) [attempted 7104/8459 = 83%, 142 KB/s], Decompressed: 6741
Downloaded: 7142 file(s) [attempted 7142/8459 = 84%, 74 KB/s], Decompressed: 6741
Downloaded: 7183 file(s) [attempted 7183/8459 = 84%, 920 KB/s], Decompressed: 6741
Downloaded: 7227 file(s) [attempted 7227/8459 = 85%, 154 KB/s], Decompressed: 6741
Downloaded: 7271 file(s) [attempted 7271/8459 = 85%, 604 KB/s], Decompressed: 7025
Downloaded: 7306 file(s) [attempted 7306/8459 = 86%, 144 KB/s], Decompressed: 7025
Downloaded: 7350 file(s) [attempted 7350/8459 = 86%, 897 KB/s], Decompressed: 7025
Downloaded: 7391 file(s) [attempted 7391/8459 = 87%, 88 KB/s], Decompressed: 7025
Downloaded: 7432 file(s) [attempted 7432/8459 = 87%, 556 KB/s], Decompressed: 7237
Downloaded: 7473 file(s) [attempted 7473/8459 = 88%, 171 KB/s], Decompressed: 7237
Downloaded: 7514 file(s) [attempted 7514/8459 = 88%, 198 KB/s], Decompressed: 7237
Downloaded: 7555 file(s) [attempted 7555/8459 = 89%, 622 KB/s], Decompressed: 7419
Downloaded: 7596 file(s) [attempted 7596/8459 = 89%, 221 KB/s], Decompressed: 7419
Downloaded: 7637 file(s) [attempted 7637/8459 = 90%, 172 KB/s], Decompressed: 7419
Downloaded: 7678 file(s) [attempted 7678/8459 = 90%, 629 KB/s], Decompressed: 7552
Downloaded: 7723 file(s) [attempted 7723/8459 = 91%, 728 KB/s], Decompressed: 7552
Downloaded: 7764 file(s) [attempted 7764/8459 = 91%, 298 KB/s], Decompressed: 7552
Downloaded: 7801 file(s) [attempted 7801/8459 = 92%, 595 KB/s], Decompressed: 7672
Downloaded: 7843 file(s) [attempted 7843/8459 = 92%, 286 KB/s], Decompressed: 7672
Downloaded: 7884 file(s) [attempted 7884/8459 = 93%, 844 KB/s], Decompressed: 7771
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 102 KB/s], Decompressed: 7771
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 186 KB/s], Decompressed: 7856
Downloaded: 8000 file(s) [attempted 8000/8459 = 94%, 167 KB/s], Decompressed: 7856
Downloaded: 8044 file(s) [attempted 8044/8459 = 95%, 531 KB/s], Decompressed: 7935
Downloaded: 8085 file(s) [attempted 8085/8459 = 95%, 21 KB/s], Decompressed: 8007
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 365 KB/s], Decompressed: 8007
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 335 KB/s], Decompressed: 8075
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 252 KB/s], Decompressed: 8075
Downloaded: 8243 file(s) [attempted 8243/8459 = 97%, 156 KB/s], Decompressed: 8140
Downloaded: 8280 file(s) [attempted 8280/8459 = 97%, 84 KB/s], Decompressed: 8208
Downloaded: 8328 file(s) [attempted 8328/8459 = 98%, 220 KB/s], Decompressed: 8208
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 133 KB/s], Decompressed: 8280
Downloaded: 8403 file(s) [attempted 8403/8459 = 99%, 117 KB/s], Decompressed: 8280
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 111 KB/s], Decompressed: 8355
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 269 KB/s], Decompressed: 8355
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 269 KB/s], Decompressed: 8355

apx-runtime-resource-v1	apx-verifier-job-1743-runtime-lake_cache-17566-1787744563274016207-0	3805184	4214784	21474836480	0	0	0	0	0	0	2765524992	3764228096	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200006
stdout:
✔ [500/502] Built Iut.Foundations.Species (94s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (68s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (138s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (101s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (110s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (73s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (139s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (167s)
✔ [790/791] Built Iut.Foundations.QualitativeData (163s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (378s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1111s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (978s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1207s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (313s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (298s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (256s)
✔ [3982/3986] Built Iut.Foundations.SourceAnabelioid (1082s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1743-runtime-lean_checker-17566-1787744678057086693-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1743-runtime-blueprint_build-17566-1787751878730801705-2	950272	1314816	21474836480	0	0	0	0	0	0	823435264	926650368	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 366 ms · created 8/26/2026, 1:45:00 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1743-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 15s · created 8/26/2026, 1:45:00 PM

git clone (github installation auth fallback)

Cloning into '/var/lib/apodeixis/repos/job-1743-source'...
Updating files:  78% (1105/1404)
Updating files:  79% (1110/1404)
Updating files:  79% (1115/1404)
Updating files:  79% (1118/1404)
Updating files:  79% (1121/1404)
Updating files:  79% (1123/1404)
Updating files:  80% (1124/1404)
Updating files:  80% (1125/1404)
Updating files:  80% (1126/1404)
Updating files:  80% (1127/1404)
Updating files:  80% (1128/1404)
Updating files:  81% (1138/1404)
Updating files:  82% (1152/1404)
Updating files:  83% (1166/1404)
Updating files:  84% (1180/1404)
Updating files:  85% (1194/1404)
Updating files:  85% (1204/1404)
Updating files:  86% (1208/1404)
Updating files:  87% (1222/1404)
Updating files:  88% (1236/1404)
Updating files:  89% (1250/1404)
Updating files:  90% (1264/1404)
Updating files:  91% (1278/1404)
Updating files:  92% (1292/1404)
Updating files:  93% (1306/1404)
Updating files:  94% (1320/1404)
Updating files:  95% (1334/1404)
Updating files:  96% (1348/1404)
Updating files:  97% (1362/1404)
Updating files:  98% (1376/1404)
Updating files:  99% (1390/1404)
Updating files: 100% (1404/1404)
Updating files: 100% (1404/1404), done.

git_checkoutexit 0duration 147 ms · created 8/26/2026, 1:45:00 PM

git checkout a9aba76441a6550a7e08c091b44935d6625d982c

Note: switching to 'a9aba76441a6550a7e08c091b44935d6625d982c'.

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 a9aba76 Merge pull request #975 from promachina/e23-3m-example63-picard-common-currency

lake_cacheexit 0duration 1m 55s · created 8/26/2026, 1:45:00 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 (12s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (131ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (155ms)
✔ [13/25] Built Cache.Lean:c.o (151ms)
✔ [15/25] Built Cache.Init (812ms)
✔ [16/25] Built Cache.IO (7.6s)
✔ [17/25] Built Cache.Init:c.o (103ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (987ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (909ms)
✔ [24/25] Built Cache.Main:c.o (527ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 12 KB/s], Decompressed: 0
Downloaded: 14 file(s) [attempted 14/8459 = 0%, 6 KB/s], Decompressed: 7
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 23 KB/s], Decompressed: 28
Downloaded: 56 file(s) [attempted 56/8459 = 0%, 28 KB/s], Decompressed: 53
Downloaded: 80 file(s) [attempted 80/8459 = 0%, 63 KB/s], Decompressed: 70
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 121 KB/s], Decompressed: 80
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 367 KB/s], Decompressed: 114
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 302 KB/s], Decompressed: 138
Downloaded: 208 file(s) [attempted 208/8459 = 2%, 336 KB/s], Decompressed: 162
Downloaded: 237 file(s) [attempted 237/8459 = 2%, 168 KB/s], Decompressed: 192
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 948 KB/s], Decompressed: 192
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 167 KB/s], Decompressed: 233
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 569 KB/s], Decompressed: 278
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 214 KB/s], Decompressed: 333
Downloaded: 428 file(s) [attempted 428/8459 = 5%, 247 KB/s], Decompressed: 333
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 884 KB/s], Decompressed: 384
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 107 KB/s], Decompressed: 435
Downloaded: 552 file(s) [attempted 552/8459 = 6%, 291 KB/s], Decompressed: 483
Downloaded: 593 file(s) [attempted 593/8459 = 7%, 269 KB/s], Decompressed: 483
Downloaded: 630 file(s) [attempted 630/8459 = 7%, 176 KB/s], Decompressed: 548
Downloaded: 671 file(s) [attempted 671/8459 = 7%, 321 KB/s], Decompressed: 606
Downloaded: 709 file(s) [attempted 709/8459 = 8%, 27 KB/s], Decompressed: 606
Downloaded: 750 file(s) [attempted 750/8459 = 8%, 62 KB/s], Decompressed: 666
Downloaded: 798 file(s) [attempted 798/8459 = 9%, 536 KB/s], Decompressed: 736
Downloaded: 846 file(s) [attempted 846/8459 = 10%, 142 KB/s], Decompressed: 736
Downloaded: 887 file(s) [attempted 887/8459 = 10%, 50 KB/s], Decompressed: 798
Downloaded: 921 file(s) [attempted 921/8459 = 10%, 1233 KB/s], Decompressed: 860
Downloaded: 962 file(s) [attempted 962/8459 = 11%, 170 KB/s], Decompressed: 860
Downloaded: 1007 file(s) [attempted 1007/8459 = 11%, 212 KB/s], Decompressed: 918
Downloaded: 1051 file(s) [attempted 1051/8459 = 12%, 184 KB/s], Decompressed: 979
Downloaded: 1096 file(s) [attempted 1096/8459 = 12%, 553 KB/s], Decompressed: 979
Downloaded: 1133 file(s) [attempted 1133/8459 = 13%, 287 KB/s], Decompressed: 1038
Downloaded: 1171 file(s) [attempted 1171/8459 = 13%, 264 KB/s], Decompressed: 1099
Downloaded: 1209 file(s) [attempted 1209/8459 = 14%, 310 KB/s], Decompressed: 1099
Downloaded: 1253 file(s) [attempted 1253/8459 = 14%, 41 KB/s], Decompressed: 1161
Downloaded: 1294 file(s) [attempted 1294/8459 = 15%, 167 KB/s], Decompressed: 1161
Downloaded: 1332 file(s) [attempted 1332/8459 = 15%, 51 KB/s], Decompressed: 1229
Downloaded: 1373 file(s) [attempted 1373/8459 = 16%, 1185 KB/s], Decompressed: 1301
Downloaded: 1414 file(s) [attempted 1414/8459 = 16%, 312 KB/s], Decompressed: 1301
Downloaded: 1451 file(s) [attempted 1451/8459 = 17%, 148 KB/s], Decompressed: 1373
Downloaded: 1492 file(s) [attempted 1492/8459 = 17%, 259 KB/s], Decompressed: 1373
Downloaded: 1530 file(s) [attempted 1530/8459 = 18%, 25 KB/s], Decompressed: 1441
Downloaded: 1571 file(s) [attempted 1571/8459 = 18%, 90 KB/s], Decompressed: 1506
Downloaded: 1619 file(s) [attempted 1619/8459 = 19%, 339 KB/s], Decompressed: 1506
Downloaded: 1663 file(s) [attempted 1663/8459 = 19%, 151 KB/s], Decompressed: 1571
Downloaded: 1698 file(s) [attempted 1698/8459 = 20%, 339 KB/s], Decompressed: 1639
Downloaded: 1735 file(s) [attempted 1735/8459 = 20%, 191 KB/s], Decompressed: 1639
Downloaded: 1780 file(s) [attempted 1780/8459 = 21%, 256 KB/s], Decompressed: 1698
Downloaded: 1824 file(s) [attempted 1824/8459 = 21%, 269 KB/s], Decompressed: 1756
Downloaded: 1865 file(s) [attempted 1865/8459 = 22%, 283 KB/s], Decompressed: 1810
Downloaded: 1910 file(s) [attempted 1910/8459 = 22%, 144 KB/s], Decompressed: 1851
Downloaded: 1944 file(s) [attempted 1944/8459 = 22%, 24 KB/s], Decompressed: 1882
Downloaded: 1981 file(s) [attempted 1981/8459 = 23%, 125 KB/s], Decompressed: 1923
Downloaded: 2019 file(s) [attempted 2019/8459 = 23%, 390 KB/s], Decompressed: 1923
Downloaded: 2063 file(s) [attempted 2063/8459 = 24%, 125 KB/s], Decompressed: 1964
Downloaded: 2108 file(s) [attempted 2108/8459 = 24%, 947 KB/s], Decompressed: 2029
Downloaded: 2152 file(s) [attempted 2152/8459 = 25%, 174 KB/s], Decompressed: 2029
Downloaded: 2190 file(s) [attempted 2190/8459 = 25%, 117 KB/s], Decompressed: 2108
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 105 KB/s], Decompressed: 2108
Downloaded: 2265 file(s) [attempted 2265/8459 = 26%, 342 KB/s], Decompressed: 2180
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 132 KB/s], Decompressed: 2252
Downloaded: 2354 file(s) [attempted 2354/8459 = 27%, 900 KB/s], Decompressed: 2252
Downloaded: 2395 file(s) [attempted 2395/8459 = 28%, 88 KB/s], Decompressed: 2310
Downloaded: 2429 file(s) [attempted 2429/8459 = 28%, 612 KB/s], Decompressed: 2364
Downloaded: 2470 file(s) [attempted 2470/8459 = 29%, 474 KB/s], Decompressed: 2364
Downloaded: 2511 file(s) [attempted 2511/8459 = 29%, 48 KB/s], Decompressed: 2419
Downloaded: 2552 file(s) [attempted 2552/8459 = 30%, 229 KB/s], Decompressed: 2419
Downloaded: 2597 file(s) [attempted 2597/8459 = 30%, 1848 KB/s], Decompressed: 2419
Downloaded: 2638 file(s) [attempted 2638/8459 = 31%, 90 KB/s], Decompressed: 2494
Downloaded: 2676 file(s) [attempted 2676/8459 = 31%, 849 KB/s], Decompressed: 2494
Downloaded: 2717 file(s) [attempted 2717/8459 = 32%, 1142 KB/s], Decompressed: 2494
Downloaded: 2758 file(s) [attempted 2758/8459 = 32%, 104 KB/s], Decompressed: 2600
Downloaded: 2802 file(s) [attempted 2802/8459 = 33%, 130 KB/s], Decompressed: 2600
Downloaded: 2840 file(s) [attempted 2840/8459 = 33%, 337 KB/s], Decompressed: 2600
Downloaded: 2881 file(s) [attempted 2881/8459 = 34%, 37 KB/s], Decompressed: 2720
Downloaded: 2922 file(s) [attempted 2922/8459 = 34%, 605 KB/s], Decompressed: 2720
Downloaded: 2963 file(s) [attempted 2963/8459 = 35%, 423 KB/s], Decompressed: 2720
Downloaded: 3007 file(s) [attempted 3007/8459 = 35%, 331 KB/s], Decompressed: 2857
Downloaded: 3055 file(s) [attempted 3055/8459 = 36%, 30 KB/s], Decompressed: 2857
Downloaded: 3093 file(s) [attempted 3093/8459 = 36%, 187 KB/s], Decompressed: 2857
Downloaded: 3130 file(s) [attempted 3130/8459 = 37%, 150 KB/s], Decompressed: 3000
Downloaded: 3171 file(s) [attempted 3171/8459 = 37%, 149 KB/s], Decompressed: 3000
Downloaded: 3212 file(s) [attempted 3212/8459 = 37%, 83 KB/s], Decompressed: 3000
Downloaded: 3257 file(s) [attempted 3257/8459 = 38%, 581 KB/s], Decompressed: 3120
Downloaded: 3301 file(s) [attempted 3301/8459 = 39%, 161 KB/s], Decompressed: 3120
Downloaded: 3335 file(s) [attempted 3335/8459 = 39%, 92 KB/s], Decompressed: 3120
Downloaded: 3377 file(s) [attempted 3377/8459 = 39%, 499 KB/s], Decompressed: 3240
Downloaded: 3414 file(s) [attempted 3414/8459 = 40%, 1295 KB/s], Decompressed: 3240
Downloaded: 3459 file(s) [attempted 3459/8459 = 40%, 678 KB/s], Decompressed: 3240
Downloaded: 3503 file(s) [attempted 3503/8459 = 41%, 1619 KB/s], Decompressed: 3356
Downloaded: 3543 file(s) [attempted 3543/8459 = 41%, 39 KB/s], Decompressed: 3356
Downloaded: 3578 file(s) [attempted 3578/8459 = 42%, 273 KB/s], Decompressed: 3356
Downloaded: 3619 file(s) [attempted 3619/8459 = 42%, 587 KB/s], Decompressed: 3469
Downloaded: 3667 file(s) [attempted 3667/8459 = 43%, 102 KB/s], Decompressed: 3469
Downloaded: 3708 file(s) [attempted 3708/8459 = 43%, 85 KB/s], Decompressed: 3582
Downloaded: 3749 file(s) [attempted 3749/8459 = 44%, 198 KB/s], Decompressed: 3582
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 357 KB/s], Decompressed: 3582
Downloaded: 3821 file(s) [attempted 3821/8459 = 45%, 492 KB/s], Decompressed: 3691
Downloaded: 3866 file(s) [attempted 3866/8459 = 45%, 1303 KB/s], Decompressed: 3691
Downloaded: 3907 file(s) [attempted 3907/8459 = 46%, 655 KB/s], Decompressed: 3804
Downloaded: 3948 file(s) [attempted 3948/8459 = 46%, 220 KB/s], Decompressed: 3804
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 675 KB/s], Decompressed: 3804
Downloaded: 4023 file(s) [attempted 4023/8459 = 47%, 626 KB/s], Decompressed: 3896
Downloaded: 4064 file(s) [attempted 4064/8459 = 48%, 605 KB/s], Decompressed: 3896
Downloaded: 4108 file(s) [attempted 4108/8459 = 48%, 199 KB/s], Decompressed: 3995
Downloaded: 4149 file(s) [attempted 4149/8459 = 49%, 545 KB/s], Decompressed: 3995
Downloaded: 4190 file(s) [attempted 4190/8459 = 49%, 315 KB/s], Decompressed: 4091
Downloaded: 4231 file(s) [attempted 4231/8459 = 50%, 505 KB/s], Decompressed: 4091
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 226 KB/s], Decompressed: 4091
Downloaded: 4313 file(s) [attempted 4313/8459 = 50%, 360 KB/s], Decompressed: 4190
Downloaded: 4351 file(s) [attempted 4351/8459 = 51%, 980 KB/s], Decompressed: 4190
Downloaded: 4392 file(s) [attempted 4392/8459 = 51%, 229 KB/s], Decompressed: 4190
Downloaded: 4433 file(s) [attempted 4433/8459 = 52%, 126 KB/s], Decompressed: 4190
Downloaded: 4474 file(s) [attempted 4474/8459 = 52%, 128 KB/s], Decompressed: 4303
Downloaded: 4515 file(s) [attempted 4515/8459 = 53%, 107 KB/s], Decompressed: 4303
Downloaded: 4556 file(s) [attempted 4556/8459 = 53%, 182 KB/s], Decompressed: 4303
Downloaded: 4594 file(s) [attempted 4594/8459 = 54%, 481 KB/s], Decompressed: 4303
Downloaded: 4638 file(s) [attempted 4638/8459 = 54%, 338 KB/s], Decompressed: 4303
Downloaded: 4679 file(s) [attempted 4679/8459 = 55%, 23 KB/s], Decompressed: 4447
Downloaded: 4720 file(s) [attempted 4720/8459 = 55%, 122 KB/s], Decompressed: 4447
Downloaded: 4761 file(s) [attempted 4761/8459 = 56%, 23 KB/s], Decompressed: 4447
Downloaded: 4799 file(s) [attempted 4799/8459 = 56%, 391 KB/s], Decompressed: 4447
Downloaded: 4844 file(s) [attempted 4844/8459 = 57%, 307 KB/s], Decompressed: 4447
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 125 KB/s], Decompressed: 4447
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 383 KB/s], Decompressed: 4447
Downloaded: 4960 file(s) [attempted 4960/8459 = 58%, 90 KB/s], Decompressed: 4669
Downloaded: 4997 file(s) [attempted 4997/8459 = 59%, 447 KB/s], Decompressed: 4669
Downloaded: 5042 file(s) [attempted 5042/8459 = 59%, 305 KB/s], Decompressed: 4669
Downloaded: 5083 file(s) [attempted 5083/8459 = 60%, 344 KB/s], Decompressed: 4669
Downloaded: 5124 file(s) [attempted 5124/8459 = 60%, 486 KB/s], Decompressed: 4669
Downloaded: 5162 file(s) [attempted 5162/8459 = 61%, 449 KB/s], Decompressed: 4669
Downloaded: 5203 file(s) [attempted 5203/8459 = 61%, 26 KB/s], Decompressed: 4669
Downloaded: 5244 file(s) [attempted 5244/8459 = 61%, 96 KB/s], Decompressed: 4946
Downloaded: 5281 file(s) [attempted 5281/8459 = 62%, 1240 KB/s], Decompressed: 4946
Downloaded: 5326 file(s) [attempted 5326/8459 = 62%, 47 KB/s], Decompressed: 4946
Downloaded: 5363 file(s) [attempted 5363/8459 = 63%, 147 KB/s], Decompressed: 4946
Downloaded: 5404 file(s) [attempted 5404/8459 = 63%, 373 KB/s], Decompressed: 4946
Downloaded: 5445 file(s) [attempted 5445/8459 = 64%, 785 KB/s], Decompressed: 4946
Downloaded: 5486 file(s) [attempted 5486/8459 = 64%, 231 KB/s], Decompressed: 5216
Downloaded: 5531 file(s) [attempted 5531/8459 = 65%, 26 KB/s], Decompressed: 5216
Downloaded: 5575 file(s) [attempted 5575/8459 = 65%, 156 KB/s], Decompressed: 5216
Downloaded: 5616 file(s) [attempted 5616/8459 = 66%, 108 KB/s], Decompressed: 5216
Downloaded: 5657 file(s) [attempted 5657/8459 = 66%, 902 KB/s], Decompressed: 5216
Downloaded: 5695 file(s) [attempted 5695/8459 = 67%, 278 KB/s], Decompressed: 5216
Downloaded: 5736 file(s) [attempted 5736/8459 = 67%, 71 KB/s], Decompressed: 5476
Downloaded: 5777 file(s) [attempted 5777/8459 = 68%, 729 KB/s], Decompressed: 5476
Downloaded: 5822 file(s) [attempted 5822/8459 = 68%, 99 KB/s], Decompressed: 5476
Downloaded: 5866 file(s) [attempted 5866/8459 = 69%, 74 KB/s], Decompressed: 5476
Downloaded: 5904 file(s) [attempted 5904/8459 = 69%, 1962 KB/s], Decompressed: 5476
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 663 KB/s], Decompressed: 5476
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 1587 KB/s], Decompressed: 5476
Downloaded: 6020 file(s) [attempted 6020/8459 = 71%, 63 KB/s], Decompressed: 5476
Downloaded: 6064 file(s) [attempted 6064/8459 = 71%, 225 KB/s], Decompressed: 5722
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 733 KB/s], Decompressed: 5722
Downloaded: 6119 file(s) [attempted 6119/8459 = 72%, 400 KB/s], Decompressed: 5722
Downloaded: 6157 file(s) [attempted 6157/8459 = 72%, 80 KB/s], Decompressed: 5722
Downloaded: 6205 file(s) [attempted 6205/8459 = 73%, 221 KB/s], Decompressed: 5722
Downloaded: 6256 file(s) [attempted 6256/8459 = 73%, 5 KB/s], Decompressed: 5722
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 33 KB/s], Decompressed: 5722
Downloaded: 6355 file(s) [attempted 6355/8459 = 75%, 79 KB/s], Decompressed: 5722
Downloaded: 6403 file(s) [attempted 6403/8459 = 75%, 514 KB/s], Decompressed: 6037
Downloaded: 6451 file(s) [attempted 6451/8459 = 76%, 1214 KB/s], Decompressed: 6037
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 1688 KB/s], Decompressed: 6037
Downloaded: 6547 file(s) [attempted 6547/8459 = 77%, 51 KB/s], Decompressed: 6037
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 87 KB/s], Decompressed: 6037
Downloaded: 6642 file(s) [attempted 6642/8459 = 78%, 496 KB/s], Decompressed: 6037
Downloaded: 6687 file(s) [attempted 6687/8459 = 79%, 2426 KB/s], Decompressed: 6037
Downloaded: 6735 file(s) [attempted 6735/8459 = 79%, 414 KB/s], Decompressed: 6037
Downloaded: 6782 file(s) [attempted 6782/8459 = 80%, 78 KB/s], Decompressed: 6403
Downloaded: 6824 file(s) [attempted 6824/8459 = 80%, 328 KB/s], Decompressed: 6403
Downloaded: 6858 file(s) [attempted 6858/8459 = 81%, 393 KB/s], Decompressed: 6403
Downloaded: 6897 file(s) [attempted 6897/8459 = 81%, 535 KB/s], Decompressed: 6403
Downloaded: 6940 file(s) [attempted 6940/8459 = 82%, 286 KB/s], Decompressed: 6403
Downloaded: 6984 file(s) [attempted 6984/8459 = 82%, 247 KB/s], Decompressed: 6403
Downloaded: 7025 file(s) [attempted 7025/8459 = 83%, 695 KB/s], Decompressed: 6741
Downloaded: 7070 file(s) [attempted 7070/8459 = 83%, 145 KB/s], Decompressed: 6741
Downloaded: 7104 file(s) [attempted 7104/8459 = 83%, 142 KB/s], Decompressed: 6741
Downloaded: 7142 file(s) [attempted 7142/8459 = 84%, 74 KB/s], Decompressed: 6741
Downloaded: 7183 file(s) [attempted 7183/8459 = 84%, 920 KB/s], Decompressed: 6741
Downloaded: 7227 file(s) [attempted 7227/8459 = 85%, 154 KB/s], Decompressed: 6741
Downloaded: 7271 file(s) [attempted 7271/8459 = 85%, 604 KB/s], Decompressed: 7025
Downloaded: 7306 file(s) [attempted 7306/8459 = 86%, 144 KB/s], Decompressed: 7025
Downloaded: 7350 file(s) [attempted 7350/8459 = 86%, 897 KB/s], Decompressed: 7025
Downloaded: 7391 file(s) [attempted 7391/8459 = 87%, 88 KB/s], Decompressed: 7025
Downloaded: 7432 file(s) [attempted 7432/8459 = 87%, 556 KB/s], Decompressed: 7237
Downloaded: 7473 file(s) [attempted 7473/8459 = 88%, 171 KB/s], Decompressed: 7237
Downloaded: 7514 file(s) [attempted 7514/8459 = 88%, 198 KB/s], Decompressed: 7237
Downloaded: 7555 file(s) [attempted 7555/8459 = 89%, 622 KB/s], Decompressed: 7419
Downloaded: 7596 file(s) [attempted 7596/8459 = 89%, 221 KB/s], Decompressed: 7419
Downloaded: 7637 file(s) [attempted 7637/8459 = 90%, 172 KB/s], Decompressed: 7419
Downloaded: 7678 file(s) [attempted 7678/8459 = 90%, 629 KB/s], Decompressed: 7552
Downloaded: 7723 file(s) [attempted 7723/8459 = 91%, 728 KB/s], Decompressed: 7552
Downloaded: 7764 file(s) [attempted 7764/8459 = 91%, 298 KB/s], Decompressed: 7552
Downloaded: 7801 file(s) [attempted 7801/8459 = 92%, 595 KB/s], Decompressed: 7672
Downloaded: 7843 file(s) [attempted 7843/8459 = 92%, 286 KB/s], Decompressed: 7672
Downloaded: 7884 file(s) [attempted 7884/8459 = 93%, 844 KB/s], Decompressed: 7771
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 102 KB/s], Decompressed: 7771
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 186 KB/s], Decompressed: 7856
Downloaded: 8000 file(s) [attempted 8000/8459 = 94%, 167 KB/s], Decompressed: 7856
Downloaded: 8044 file(s) [attempted 8044/8459 = 95%, 531 KB/s], Decompressed: 7935
Downloaded: 8085 file(s) [attempted 8085/8459 = 95%, 21 KB/s], Decompressed: 8007
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 365 KB/s], Decompressed: 8007
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 335 KB/s], Decompressed: 8075
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 252 KB/s], Decompressed: 8075
Downloaded: 8243 file(s) [attempted 8243/8459 = 97%, 156 KB/s], Decompressed: 8140
Downloaded: 8280 file(s) [attempted 8280/8459 = 97%, 84 KB/s], Decompressed: 8208
Downloaded: 8328 file(s) [attempted 8328/8459 = 98%, 220 KB/s], Decompressed: 8208
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 133 KB/s], Decompressed: 8280
Downloaded: 8403 file(s) [attempted 8403/8459 = 99%, 117 KB/s], Decompressed: 8280
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 111 KB/s], Decompressed: 8355
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 269 KB/s], Decompressed: 8355
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 269 KB/s], Decompressed: 8355

apx-runtime-resource-v1	apx-verifier-job-1743-runtime-lake_cache-17566-1787744563274016207-0	3805184	4214784	21474836480	0	0	0	0	0	0	2765524992	3764228096	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/26/2026, 1:45:00 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (94s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (68s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (138s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (101s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (110s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (73s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (139s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (167s)
✔ [790/791] Built Iut.Foundations.QualitativeData (163s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (378s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1111s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (978s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1207s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (313s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (298s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (256s)
✔ [3982/3986] Built Iut.Foundations.SourceAnabelioid (1082s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1743-runtime-lean_checker-17566-1787744678057086693-1 on attempt 1

blueprint_buildexit 1duration 20s · created 8/26/2026, 1:45:00 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1743-runtime-blueprint_build-17566-1787751878730801705-2	950272	1314816	21474836480	0	0	0	0	0	0	823435264	926650368	21474836480	0	0	0	0	0	0