Verification run

Run 1293

promachina/iut-leanbranch e21-924-checkpoint-targettriggered via github_push

failedcommit db4441ccbaa0toolchain lean-v4-30-0prover leantook 2h 4m · finished 2w 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 e21-924-checkpoint-target --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1752-source
exit_code=Some(128) duration_ms=346
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1752-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=3592
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1752-source'...


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

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 db4441c e21-924-checkpoint-target | attach identity first point source to overlap

Resolved source revision: db4441ccbaa01a5110be0079bf0a9df21f53025f

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=db4441ccbaa01a5110be0079bf0a9df21f53025f provenance={"branch":"e21-924-checkpoint-target","checked_out_revision":"db4441ccbaa01a5110be0079bf0a9df21f53025f","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"db4441ccbaa01a5110be0079bf0a9df21f53025f","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=6141 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=165299
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 (975ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.4s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (135ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (151ms)
✔ [13/25] Built Cache.Lean:c.o (120ms)
✔ [15/25] Built Cache.Init (316ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (115ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (835ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.3s)
✔ [22/25] Built Cache.Requests:c.o (3.8s)
✔ [23/25] Built Cache.Main (15s)
✔ [24/25] Built Cache.Main:c.o (1.0s)
✔ [25/25] Built cache:exe (4.7s)

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: 12
Downloaded: 37 file(s) [attempted 37/8459 = 0%, 16 KB/s], Decompressed: 24
Downloaded: 62 file(s) [attempted 62/8459 = 0%, 46 KB/s], Decompressed: 41
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 26 KB/s], Decompressed: 68
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 426 KB/s], Decompressed: 79
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 356 KB/s], Decompressed: 117
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 627 KB/s], Decompressed: 141
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 524 KB/s], Decompressed: 172
Downloaded: 237 file(s) [attempted 237/8459 = 2%, 123 KB/s], Decompressed: 172
Downloaded: 271 file(s) [attempted 271/8459 = 3%, 159 KB/s], Decompressed: 209
Downloaded: 312 file(s) [attempted 312/8459 = 3%, 154 KB/s], Decompressed: 261
Downloaded: 353 file(s) [attempted 353/8459 = 4%, 220 KB/s], Decompressed: 261
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 188 KB/s], Decompressed: 312
Downloaded: 435 file(s) [attempted 435/8459 = 5%, 252 KB/s], Decompressed: 367
Downloaded: 466 file(s) [attempted 466/8459 = 5%, 821 KB/s], Decompressed: 418
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 97 KB/s], Decompressed: 418
Downloaded: 548 file(s) [attempted 548/8459 = 6%, 181 KB/s], Decompressed: 466
Downloaded: 589 file(s) [attempted 589/8459 = 6%, 279 KB/s], Decompressed: 511
Downloaded: 630 file(s) [attempted 630/8459 = 7%, 153 KB/s], Decompressed: 565
Downloaded: 671 file(s) [attempted 671/8459 = 7%, 440 KB/s], Decompressed: 617
Downloaded: 713 file(s) [attempted 713/8459 = 8%, 380 KB/s], Decompressed: 617
Downloaded: 754 file(s) [attempted 754/8459 = 8%, 58 KB/s], Decompressed: 671
Downloaded: 795 file(s) [attempted 795/8459 = 9%, 540 KB/s], Decompressed: 726
Downloaded: 832 file(s) [attempted 832/8459 = 9%, 394 KB/s], Decompressed: 726
Downloaded: 873 file(s) [attempted 873/8459 = 10%, 1008 KB/s], Decompressed: 784
Downloaded: 918 file(s) [attempted 918/8459 = 10%, 398 KB/s], Decompressed: 849
Downloaded: 962 file(s) [attempted 962/8459 = 11%, 220 KB/s], Decompressed: 849
Downloaded: 997 file(s) [attempted 997/8459 = 11%, 222 KB/s], Decompressed: 849
Downloaded: 1044 file(s) [attempted 1044/8459 = 12%, 1288 KB/s], Decompressed: 918
Downloaded: 1089 file(s) [attempted 1089/8459 = 12%, 479 KB/s], Decompressed: 1003
Downloaded: 1130 file(s) [attempted 1130/8459 = 13%, 247 KB/s], Decompressed: 1003
Downloaded: 1174 file(s) [attempted 1174/8459 = 13%, 815 KB/s], Decompressed: 1079
Downloaded: 1209 file(s) [attempted 1209/8459 = 14%, 254 KB/s], Decompressed: 1079
Downloaded: 1250 file(s) [attempted 1250/8459 = 14%, 93 KB/s], Decompressed: 1150
Downloaded: 1291 file(s) [attempted 1291/8459 = 15%, 170 KB/s], Decompressed: 1150
Downloaded: 1332 file(s) [attempted 1332/8459 = 15%, 140 KB/s], Decompressed: 1229
Downloaded: 1376 file(s) [attempted 1376/8459 = 16%, 1130 KB/s], Decompressed: 1229
Downloaded: 1417 file(s) [attempted 1417/8459 = 16%, 581 KB/s], Decompressed: 1304
Downloaded: 1458 file(s) [attempted 1458/8459 = 17%, 327 KB/s], Decompressed: 1304
Downloaded: 1496 file(s) [attempted 1496/8459 = 17%, 215 KB/s], Decompressed: 1386
Downloaded: 1537 file(s) [attempted 1537/8459 = 18%, 121 KB/s], Decompressed: 1386
Downloaded: 1578 file(s) [attempted 1578/8459 = 18%, 431 KB/s], Decompressed: 1472
Downloaded: 1622 file(s) [attempted 1622/8459 = 19%, 1489 KB/s], Decompressed: 1544
Downloaded: 1663 file(s) [attempted 1663/8459 = 19%, 151 KB/s], Decompressed: 1544
Downloaded: 1704 file(s) [attempted 1704/8459 = 20%, 502 KB/s], Decompressed: 1612
Downloaded: 1742 file(s) [attempted 1742/8459 = 20%, 234 KB/s], Decompressed: 1674
Downloaded: 1783 file(s) [attempted 1783/8459 = 21%, 292 KB/s], Decompressed: 1674
Downloaded: 1828 file(s) [attempted 1828/8459 = 21%, 288 KB/s], Decompressed: 1735
Downloaded: 1872 file(s) [attempted 1872/8459 = 22%, 687 KB/s], Decompressed: 1735
Downloaded: 1910 file(s) [attempted 1910/8459 = 22%, 140 KB/s], Decompressed: 1807
Downloaded: 1949 file(s) [attempted 1949/8459 = 23%, 437 KB/s], Decompressed: 1875
Downloaded: 1985 file(s) [attempted 1985/8459 = 23%, 1230 KB/s], Decompressed: 1875
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 521 KB/s], Decompressed: 1947
Downloaded: 2067 file(s) [attempted 2067/8459 = 24%, 87 KB/s], Decompressed: 1947
Downloaded: 2105 file(s) [attempted 2105/8459 = 24%, 131 KB/s], Decompressed: 2022
Downloaded: 2149 file(s) [attempted 2149/8459 = 25%, 108 KB/s], Decompressed: 2022
Downloaded: 2190 file(s) [attempted 2190/8459 = 25%, 105 KB/s], Decompressed: 2022
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 282 KB/s], Decompressed: 2105
Downloaded: 2265 file(s) [attempted 2265/8459 = 26%, 199 KB/s], Decompressed: 2105
Downloaded: 2306 file(s) [attempted 2306/8459 = 27%, 1396 KB/s], Decompressed: 2105
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 638 KB/s], Decompressed: 2204
Downloaded: 2392 file(s) [attempted 2392/8459 = 28%, 467 KB/s], Decompressed: 2204
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 227 KB/s], Decompressed: 2310
Downloaded: 2470 file(s) [attempted 2470/8459 = 29%, 231 KB/s], Decompressed: 2310
Downloaded: 2511 file(s) [attempted 2511/8459 = 29%, 47 KB/s], Decompressed: 2399
Downloaded: 2552 file(s) [attempted 2552/8459 = 30%, 105 KB/s], Decompressed: 2399
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 157 KB/s], Decompressed: 2494
Downloaded: 2638 file(s) [attempted 2638/8459 = 31%, 758 KB/s], Decompressed: 2494
Downloaded: 2672 file(s) [attempted 2672/8459 = 31%, 404 KB/s], Decompressed: 2576
Downloaded: 2713 file(s) [attempted 2713/8459 = 32%, 1033 KB/s], Decompressed: 2576
Downloaded: 2754 file(s) [attempted 2754/8459 = 32%, 192 KB/s], Decompressed: 2652
Downloaded: 2799 file(s) [attempted 2799/8459 = 33%, 154 KB/s], Decompressed: 2652
Downloaded: 2843 file(s) [attempted 2843/8459 = 33%, 107 KB/s], Decompressed: 2737
Downloaded: 2884 file(s) [attempted 2884/8459 = 34%, 188 KB/s], Decompressed: 2737
Downloaded: 2918 file(s) [attempted 2918/8459 = 34%, 125 KB/s], Decompressed: 2812
Downloaded: 2963 file(s) [attempted 2963/8459 = 35%, 437 KB/s], Decompressed: 2812
Downloaded: 3004 file(s) [attempted 3004/8459 = 35%, 95 KB/s], Decompressed: 2898
Downloaded: 3045 file(s) [attempted 3045/8459 = 35%, 1415 KB/s], Decompressed: 2898
Downloaded: 3089 file(s) [attempted 3089/8459 = 36%, 316 KB/s], Decompressed: 2983
Downloaded: 3134 file(s) [attempted 3134/8459 = 37%, 101 KB/s], Decompressed: 2983
Downloaded: 3175 file(s) [attempted 3175/8459 = 37%, 84 KB/s], Decompressed: 3059
Downloaded: 3212 file(s) [attempted 3212/8459 = 37%, 1217 KB/s], Decompressed: 3059
Downloaded: 3253 file(s) [attempted 3253/8459 = 38%, 1390 KB/s], Decompressed: 3141
Downloaded: 3294 file(s) [attempted 3294/8459 = 38%, 1063 KB/s], Decompressed: 3219
Downloaded: 3335 file(s) [attempted 3335/8459 = 39%, 104 KB/s], Decompressed: 3219
Downloaded: 3380 file(s) [attempted 3380/8459 = 39%, 258 KB/s], Decompressed: 3294
Downloaded: 3414 file(s) [attempted 3414/8459 = 40%, 351 KB/s], Decompressed: 3294
Downloaded: 3455 file(s) [attempted 3455/8459 = 40%, 43 KB/s], Decompressed: 3373
Downloaded: 3496 file(s) [attempted 3496/8459 = 41%, 306 KB/s], Decompressed: 3373
Downloaded: 3541 file(s) [attempted 3541/8459 = 41%, 71 KB/s], Decompressed: 3452
Downloaded: 3585 file(s) [attempted 3585/8459 = 42%, 781 KB/s], Decompressed: 3452
Downloaded: 3623 file(s) [attempted 3623/8459 = 42%, 767 KB/s], Decompressed: 3537
Downloaded: 3663 file(s) [attempted 3663/8459 = 43%, 257 KB/s], Decompressed: 3537
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 462 KB/s], Decompressed: 3616
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 800 KB/s], Decompressed: 3616
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 355 KB/s], Decompressed: 3695
Downloaded: 3821 file(s) [attempted 3821/8459 = 45%, 339 KB/s], Decompressed: 3695
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 470 KB/s], Decompressed: 3773
Downloaded: 3907 file(s) [attempted 3907/8459 = 46%, 83 KB/s], Decompressed: 3838
Downloaded: 3941 file(s) [attempted 3941/8459 = 46%, 153 KB/s], Decompressed: 3838
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 324 KB/s], Decompressed: 3893
Downloaded: 4030 file(s) [attempted 4030/8459 = 47%, 285 KB/s], Decompressed: 3958
Downloaded: 4067 file(s) [attempted 4067/8459 = 48%, 284 KB/s], Decompressed: 3958
Downloaded: 4106 file(s) [attempted 4106/8459 = 48%, 450 KB/s], Decompressed: 3958
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 92 KB/s], Decompressed: 4026
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 354 KB/s], Decompressed: 4026
Downloaded: 4231 file(s) [attempted 4231/8459 = 50%, 343 KB/s], Decompressed: 4026
Downloaded: 4272 file(s) [attempted 4272/8459 = 50%, 1217 KB/s], Decompressed: 4026
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 256 KB/s], Decompressed: 4139
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 874 KB/s], Decompressed: 4139
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 436 KB/s], Decompressed: 4139
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 115 KB/s], Decompressed: 4139
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 53 KB/s], Decompressed: 4290
Downloaded: 4505 file(s) [attempted 4505/8459 = 53%, 133 KB/s], Decompressed: 4290
Downloaded: 4549 file(s) [attempted 4549/8459 = 53%, 308 KB/s], Decompressed: 4290
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 160 KB/s], Decompressed: 4290
Downloaded: 4628 file(s) [attempted 4628/8459 = 54%, 43 KB/s], Decompressed: 4457
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 403 KB/s], Decompressed: 4457
Downloaded: 4714 file(s) [attempted 4714/8459 = 55%, 320 KB/s], Decompressed: 4457
Downloaded: 4755 file(s) [attempted 4755/8459 = 56%, 128 KB/s], Decompressed: 4457
Downloaded: 4799 file(s) [attempted 4799/8459 = 56%, 171 KB/s], Decompressed: 4621
Downloaded: 4837 file(s) [attempted 4837/8459 = 57%, 271 KB/s], Decompressed: 4621
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 181 KB/s], Decompressed: 4621
Downloaded: 4919 file(s) [attempted 4919/8459 = 58%, 31 KB/s], Decompressed: 4775
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 1328 KB/s], Decompressed: 4775
Downloaded: 4997 file(s) [attempted 4997/8459 = 59%, 735 KB/s], Decompressed: 4775
Downloaded: 5038 file(s) [attempted 5038/8459 = 59%, 230 KB/s], Decompressed: 4775
Downloaded: 5076 file(s) [attempted 5076/8459 = 60%, 486 KB/s], Decompressed: 4919
Downloaded: 5117 file(s) [attempted 5117/8459 = 60%, 495 KB/s], Decompressed: 4919
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 1302 KB/s], Decompressed: 4919
Downloaded: 5192 file(s) [attempted 5192/8459 = 61%, 152 KB/s], Decompressed: 5056
Downloaded: 5233 file(s) [attempted 5233/8459 = 61%, 94 KB/s], Decompressed: 5056
Downloaded: 5278 file(s) [attempted 5278/8459 = 62%, 256 KB/s], Decompressed: 5056
Downloaded: 5319 file(s) [attempted 5319/8459 = 62%, 1193 KB/s], Decompressed: 5182
Downloaded: 5360 file(s) [attempted 5360/8459 = 63%, 190 KB/s], Decompressed: 5182
Downloaded: 5401 file(s) [attempted 5401/8459 = 63%, 83 KB/s], Decompressed: 5182
Downloaded: 5442 file(s) [attempted 5442/8459 = 64%, 144 KB/s], Decompressed: 5309
Downloaded: 5480 file(s) [attempted 5480/8459 = 64%, 70 KB/s], Decompressed: 5309
Downloaded: 5521 file(s) [attempted 5521/8459 = 65%, 243 KB/s], Decompressed: 5309
Downloaded: 5562 file(s) [attempted 5562/8459 = 65%, 438 KB/s], Decompressed: 5428
Downloaded: 5603 file(s) [attempted 5603/8459 = 66%, 1173 KB/s], Decompressed: 5428
Downloaded: 5644 file(s) [attempted 5644/8459 = 66%, 552 KB/s], Decompressed: 5428
Downloaded: 5681 file(s) [attempted 5681/8459 = 67%, 755 KB/s], Decompressed: 5545
Downloaded: 5722 file(s) [attempted 5722/8459 = 67%, 217 KB/s], Decompressed: 5545
Downloaded: 5763 file(s) [attempted 5763/8459 = 68%, 174 KB/s], Decompressed: 5651
Downloaded: 5804 file(s) [attempted 5804/8459 = 68%, 197 KB/s], Decompressed: 5651
Downloaded: 5849 file(s) [attempted 5849/8459 = 69%, 435 KB/s], Decompressed: 5746
Downloaded: 5886 file(s) [attempted 5886/8459 = 69%, 93 KB/s], Decompressed: 5746
Downloaded: 5924 file(s) [attempted 5924/8459 = 70%, 28 KB/s], Decompressed: 5839
Downloaded: 5965 file(s) [attempted 5965/8459 = 70%, 93 KB/s], Decompressed: 5839
Downloaded: 6008 file(s) [attempted 6008/8459 = 71%, 407 KB/s], Decompressed: 5914
Downloaded: 6047 file(s) [attempted 6047/8459 = 71%, 40 KB/s], Decompressed: 5914
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 318 KB/s], Decompressed: 5914
Downloaded: 6129 file(s) [attempted 6129/8459 = 72%, 876 KB/s], Decompressed: 5914
Downloaded: 6163 file(s) [attempted 6163/8459 = 72%, 126 KB/s], Decompressed: 5986
Downloaded: 6201 file(s) [attempted 6201/8459 = 73%, 103 KB/s], Decompressed: 5986
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 190 KB/s], Decompressed: 5986
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 183 KB/s], Decompressed: 5986
Downloaded: 6321 file(s) [attempted 6321/8459 = 74%, 457 KB/s], Decompressed: 5986
Downloaded: 6358 file(s) [attempted 6358/8459 = 75%, 83 KB/s], Decompressed: 6153
Downloaded: 6396 file(s) [attempted 6396/8459 = 75%, 728 KB/s], Decompressed: 6153
Downloaded: 6440 file(s) [attempted 6440/8459 = 76%, 609 KB/s], Decompressed: 6153
Downloaded: 6488 file(s) [attempted 6488/8459 = 76%, 174 KB/s], Decompressed: 6153
Downloaded: 6526 file(s) [attempted 6526/8459 = 77%, 536 KB/s], Decompressed: 6153
Downloaded: 6560 file(s) [attempted 6560/8459 = 77%, 505 KB/s], Decompressed: 6153
Downloaded: 6601 file(s) [attempted 6601/8459 = 78%, 432 KB/s], Decompressed: 6153
Downloaded: 6642 file(s) [attempted 6642/8459 = 78%, 226 KB/s], Decompressed: 6358
Downloaded: 6687 file(s) [attempted 6687/8459 = 79%, 99 KB/s], Decompressed: 6358
Downloaded: 6730 file(s) [attempted 6730/8459 = 79%, 997 KB/s], Decompressed: 6358
Downloaded: 6765 file(s) [attempted 6765/8459 = 79%, 108 KB/s], Decompressed: 6358
Downloaded: 6806 file(s) [attempted 6806/8459 = 80%, 564 KB/s], Decompressed: 6358
Downloaded: 6844 file(s) [attempted 6844/8459 = 80%, 230 KB/s], Decompressed: 6358
Downloaded: 6882 file(s) [attempted 6882/8459 = 81%, 675 KB/s], Decompressed: 6628
Downloaded: 6923 file(s) [attempted 6923/8459 = 81%, 258 KB/s], Decompressed: 6628
Downloaded: 6964 file(s) [attempted 6964/8459 = 82%, 42 KB/s], Decompressed: 6628
Downloaded: 6998 file(s) [attempted 6998/8459 = 82%, 175 KB/s], Decompressed: 6628
Downloaded: 7032 file(s) [attempted 7032/8459 = 83%, 953 KB/s], Decompressed: 6628
Downloaded: 7073 file(s) [attempted 7073/8459 = 83%, 65 KB/s], Decompressed: 6861
Downloaded: 7114 file(s) [attempted 7114/8459 = 84%, 261 KB/s], Decompressed: 6861
Downloaded: 7155 file(s) [attempted 7155/8459 = 84%, 234 KB/s], Decompressed: 6861
Downloaded: 7193 file(s) [attempted 7193/8459 = 85%, 54 KB/s], Decompressed: 6861
Downloaded: 7230 file(s) [attempted 7230/8459 = 85%, 179 KB/s], Decompressed: 6861
Downloaded: 7275 file(s) [attempted 7275/8459 = 86%, 38 KB/s], Decompressed: 7066
Downloaded: 7316 file(s) [attempted 7316/8459 = 86%, 173 KB/s], Decompressed: 7066
Downloaded: 7357 file(s) [attempted 7357/8459 = 86%, 1415 KB/s], Decompressed: 7066
Downloaded: 7398 file(s) [attempted 7398/8459 = 87%, 1353 KB/s], Decompressed: 7066
Downloaded: 7436 file(s) [attempted 7436/8459 = 87%, 138 KB/s], Decompressed: 7066
Downloaded: 7477 file(s) [attempted 7477/8459 = 88%, 106 KB/s], Decompressed: 7258
Downloaded: 7518 file(s) [attempted 7518/8459 = 88%, 464 KB/s], Decompressed: 7258
Downloaded: 7555 file(s) [attempted 7555/8459 = 89%, 116 KB/s], Decompressed: 7258
Downloaded: 7596 file(s) [attempted 7596/8459 = 89%, 161 KB/s], Decompressed: 7258
Downloaded: 7634 file(s) [attempted 7634/8459 = 90%, 152 KB/s], Decompressed: 7258
Downloaded: 7675 file(s) [attempted 7675/8459 = 90%, 478 KB/s], Decompressed: 7439
Downloaded: 7716 file(s) [attempted 7716/8459 = 91%, 79 KB/s], Decompressed: 7439
Downloaded: 7760 file(s) [attempted 7760/8459 = 91%, 367 KB/s], Decompressed: 7439
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 37 KB/s], Decompressed: 7439
Downloaded: 7836 file(s) [attempted 7836/8459 = 92%, 749 KB/s], Decompressed: 7648
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 77 KB/s], Decompressed: 7648
Downloaded: 7918 file(s) [attempted 7918/8459 = 93%, 379 KB/s], Decompressed: 7648
Downloaded: 7959 file(s) [attempted 7959/8459 = 94%, 97 KB/s], Decompressed: 7648
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 369 KB/s], Decompressed: 7648
Downloaded: 8034 file(s) [attempted 8034/8459 = 94%, 545 KB/s], Decompressed: 7648
Downloaded: 8072 file(s) [attempted 8072/8459 = 95%, 291 KB/s], Decompressed: 7648
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 111 KB/s], Decompressed: 7648
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 50 KB/s], Decompressed: 7648
Downloaded: 8160 file(s) [attempted 8160/8459 = 96%, 296 KB/s], Decompressed: 7648
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 47 KB/s], Decompressed: 7829
Downloaded: 8260 file(s) [attempted 8260/8459 = 97%, 225 KB/s], Decompressed: 7829
Downloaded: 8311 file(s) [attempted 8311/8459 = 98%, 261 KB/s], Decompressed: 7829
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 66 KB/s], Decompressed: 7829
Downloaded: 8410 file(s) [attempted 8410/8459 = 99%, 119 KB/s], Decompressed: 7829
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 119 KB/s], Decompressed: 7829

apx-runtime-resource-v1	apx-verifier-job-1752-runtime-lake_cache-725911-1788197597642633004-0	3960832	4218880	21474836480	0	0	0	0	0	0	612560896	5175398400	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200705
stdout:
✔ [500/502] Built Iut.Foundations.Species (152s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (68s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (69s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (77s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (171s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (62s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (110s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (70s)
✔ [790/794] Built Iut.Foundations.QualitativeData (104s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (501s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1985s)
✔ [3956/3960] Built Iut.Foundations.InitialThetaData (1619s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1343s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (286s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1752-runtime-lean_checker-725911-1788197762947307955-1 on attempt 3

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

apx-runtime-resource-v1	apx-verifier-job-1752-runtime-blueprint_build-725911-1788205033476789975-2	962560	1474560	21474836480	0	0	0	0	0	0	886317056	990494720	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 346 ms · created 8/31/2026, 7:37:32 PM

git clone --depth 1 --branch e21-924-checkpoint-target --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1752-source

Cloning into '/var/lib/apodeixis/repos/job-1752-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/31/2026, 7:37:32 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 315 ms · created 8/31/2026, 7:37:32 PM

git checkout db4441ccbaa01a5110be0079bf0a9df21f53025f

Note: switching to 'db4441ccbaa01a5110be0079bf0a9df21f53025f'.

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 db4441c e21-924-checkpoint-target | attach identity first point source to overlap

lake_cacheexit 0duration 2m 45s · created 8/31/2026, 7:37:32 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 (975ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.4s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (135ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (151ms)
✔ [13/25] Built Cache.Lean:c.o (120ms)
✔ [15/25] Built Cache.Init (316ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (115ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (835ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.3s)
✔ [22/25] Built Cache.Requests:c.o (3.8s)
✔ [23/25] Built Cache.Main (15s)
✔ [24/25] Built Cache.Main:c.o (1.0s)
✔ [25/25] Built cache:exe (4.7s)

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: 12
Downloaded: 37 file(s) [attempted 37/8459 = 0%, 16 KB/s], Decompressed: 24
Downloaded: 62 file(s) [attempted 62/8459 = 0%, 46 KB/s], Decompressed: 41
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 26 KB/s], Decompressed: 68
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 426 KB/s], Decompressed: 79
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 356 KB/s], Decompressed: 117
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 627 KB/s], Decompressed: 141
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 524 KB/s], Decompressed: 172
Downloaded: 237 file(s) [attempted 237/8459 = 2%, 123 KB/s], Decompressed: 172
Downloaded: 271 file(s) [attempted 271/8459 = 3%, 159 KB/s], Decompressed: 209
Downloaded: 312 file(s) [attempted 312/8459 = 3%, 154 KB/s], Decompressed: 261
Downloaded: 353 file(s) [attempted 353/8459 = 4%, 220 KB/s], Decompressed: 261
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 188 KB/s], Decompressed: 312
Downloaded: 435 file(s) [attempted 435/8459 = 5%, 252 KB/s], Decompressed: 367
Downloaded: 466 file(s) [attempted 466/8459 = 5%, 821 KB/s], Decompressed: 418
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 97 KB/s], Decompressed: 418
Downloaded: 548 file(s) [attempted 548/8459 = 6%, 181 KB/s], Decompressed: 466
Downloaded: 589 file(s) [attempted 589/8459 = 6%, 279 KB/s], Decompressed: 511
Downloaded: 630 file(s) [attempted 630/8459 = 7%, 153 KB/s], Decompressed: 565
Downloaded: 671 file(s) [attempted 671/8459 = 7%, 440 KB/s], Decompressed: 617
Downloaded: 713 file(s) [attempted 713/8459 = 8%, 380 KB/s], Decompressed: 617
Downloaded: 754 file(s) [attempted 754/8459 = 8%, 58 KB/s], Decompressed: 671
Downloaded: 795 file(s) [attempted 795/8459 = 9%, 540 KB/s], Decompressed: 726
Downloaded: 832 file(s) [attempted 832/8459 = 9%, 394 KB/s], Decompressed: 726
Downloaded: 873 file(s) [attempted 873/8459 = 10%, 1008 KB/s], Decompressed: 784
Downloaded: 918 file(s) [attempted 918/8459 = 10%, 398 KB/s], Decompressed: 849
Downloaded: 962 file(s) [attempted 962/8459 = 11%, 220 KB/s], Decompressed: 849
Downloaded: 997 file(s) [attempted 997/8459 = 11%, 222 KB/s], Decompressed: 849
Downloaded: 1044 file(s) [attempted 1044/8459 = 12%, 1288 KB/s], Decompressed: 918
Downloaded: 1089 file(s) [attempted 1089/8459 = 12%, 479 KB/s], Decompressed: 1003
Downloaded: 1130 file(s) [attempted 1130/8459 = 13%, 247 KB/s], Decompressed: 1003
Downloaded: 1174 file(s) [attempted 1174/8459 = 13%, 815 KB/s], Decompressed: 1079
Downloaded: 1209 file(s) [attempted 1209/8459 = 14%, 254 KB/s], Decompressed: 1079
Downloaded: 1250 file(s) [attempted 1250/8459 = 14%, 93 KB/s], Decompressed: 1150
Downloaded: 1291 file(s) [attempted 1291/8459 = 15%, 170 KB/s], Decompressed: 1150
Downloaded: 1332 file(s) [attempted 1332/8459 = 15%, 140 KB/s], Decompressed: 1229
Downloaded: 1376 file(s) [attempted 1376/8459 = 16%, 1130 KB/s], Decompressed: 1229
Downloaded: 1417 file(s) [attempted 1417/8459 = 16%, 581 KB/s], Decompressed: 1304
Downloaded: 1458 file(s) [attempted 1458/8459 = 17%, 327 KB/s], Decompressed: 1304
Downloaded: 1496 file(s) [attempted 1496/8459 = 17%, 215 KB/s], Decompressed: 1386
Downloaded: 1537 file(s) [attempted 1537/8459 = 18%, 121 KB/s], Decompressed: 1386
Downloaded: 1578 file(s) [attempted 1578/8459 = 18%, 431 KB/s], Decompressed: 1472
Downloaded: 1622 file(s) [attempted 1622/8459 = 19%, 1489 KB/s], Decompressed: 1544
Downloaded: 1663 file(s) [attempted 1663/8459 = 19%, 151 KB/s], Decompressed: 1544
Downloaded: 1704 file(s) [attempted 1704/8459 = 20%, 502 KB/s], Decompressed: 1612
Downloaded: 1742 file(s) [attempted 1742/8459 = 20%, 234 KB/s], Decompressed: 1674
Downloaded: 1783 file(s) [attempted 1783/8459 = 21%, 292 KB/s], Decompressed: 1674
Downloaded: 1828 file(s) [attempted 1828/8459 = 21%, 288 KB/s], Decompressed: 1735
Downloaded: 1872 file(s) [attempted 1872/8459 = 22%, 687 KB/s], Decompressed: 1735
Downloaded: 1910 file(s) [attempted 1910/8459 = 22%, 140 KB/s], Decompressed: 1807
Downloaded: 1949 file(s) [attempted 1949/8459 = 23%, 437 KB/s], Decompressed: 1875
Downloaded: 1985 file(s) [attempted 1985/8459 = 23%, 1230 KB/s], Decompressed: 1875
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 521 KB/s], Decompressed: 1947
Downloaded: 2067 file(s) [attempted 2067/8459 = 24%, 87 KB/s], Decompressed: 1947
Downloaded: 2105 file(s) [attempted 2105/8459 = 24%, 131 KB/s], Decompressed: 2022
Downloaded: 2149 file(s) [attempted 2149/8459 = 25%, 108 KB/s], Decompressed: 2022
Downloaded: 2190 file(s) [attempted 2190/8459 = 25%, 105 KB/s], Decompressed: 2022
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 282 KB/s], Decompressed: 2105
Downloaded: 2265 file(s) [attempted 2265/8459 = 26%, 199 KB/s], Decompressed: 2105
Downloaded: 2306 file(s) [attempted 2306/8459 = 27%, 1396 KB/s], Decompressed: 2105
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 638 KB/s], Decompressed: 2204
Downloaded: 2392 file(s) [attempted 2392/8459 = 28%, 467 KB/s], Decompressed: 2204
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 227 KB/s], Decompressed: 2310
Downloaded: 2470 file(s) [attempted 2470/8459 = 29%, 231 KB/s], Decompressed: 2310
Downloaded: 2511 file(s) [attempted 2511/8459 = 29%, 47 KB/s], Decompressed: 2399
Downloaded: 2552 file(s) [attempted 2552/8459 = 30%, 105 KB/s], Decompressed: 2399
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 157 KB/s], Decompressed: 2494
Downloaded: 2638 file(s) [attempted 2638/8459 = 31%, 758 KB/s], Decompressed: 2494
Downloaded: 2672 file(s) [attempted 2672/8459 = 31%, 404 KB/s], Decompressed: 2576
Downloaded: 2713 file(s) [attempted 2713/8459 = 32%, 1033 KB/s], Decompressed: 2576
Downloaded: 2754 file(s) [attempted 2754/8459 = 32%, 192 KB/s], Decompressed: 2652
Downloaded: 2799 file(s) [attempted 2799/8459 = 33%, 154 KB/s], Decompressed: 2652
Downloaded: 2843 file(s) [attempted 2843/8459 = 33%, 107 KB/s], Decompressed: 2737
Downloaded: 2884 file(s) [attempted 2884/8459 = 34%, 188 KB/s], Decompressed: 2737
Downloaded: 2918 file(s) [attempted 2918/8459 = 34%, 125 KB/s], Decompressed: 2812
Downloaded: 2963 file(s) [attempted 2963/8459 = 35%, 437 KB/s], Decompressed: 2812
Downloaded: 3004 file(s) [attempted 3004/8459 = 35%, 95 KB/s], Decompressed: 2898
Downloaded: 3045 file(s) [attempted 3045/8459 = 35%, 1415 KB/s], Decompressed: 2898
Downloaded: 3089 file(s) [attempted 3089/8459 = 36%, 316 KB/s], Decompressed: 2983
Downloaded: 3134 file(s) [attempted 3134/8459 = 37%, 101 KB/s], Decompressed: 2983
Downloaded: 3175 file(s) [attempted 3175/8459 = 37%, 84 KB/s], Decompressed: 3059
Downloaded: 3212 file(s) [attempted 3212/8459 = 37%, 1217 KB/s], Decompressed: 3059
Downloaded: 3253 file(s) [attempted 3253/8459 = 38%, 1390 KB/s], Decompressed: 3141
Downloaded: 3294 file(s) [attempted 3294/8459 = 38%, 1063 KB/s], Decompressed: 3219
Downloaded: 3335 file(s) [attempted 3335/8459 = 39%, 104 KB/s], Decompressed: 3219
Downloaded: 3380 file(s) [attempted 3380/8459 = 39%, 258 KB/s], Decompressed: 3294
Downloaded: 3414 file(s) [attempted 3414/8459 = 40%, 351 KB/s], Decompressed: 3294
Downloaded: 3455 file(s) [attempted 3455/8459 = 40%, 43 KB/s], Decompressed: 3373
Downloaded: 3496 file(s) [attempted 3496/8459 = 41%, 306 KB/s], Decompressed: 3373
Downloaded: 3541 file(s) [attempted 3541/8459 = 41%, 71 KB/s], Decompressed: 3452
Downloaded: 3585 file(s) [attempted 3585/8459 = 42%, 781 KB/s], Decompressed: 3452
Downloaded: 3623 file(s) [attempted 3623/8459 = 42%, 767 KB/s], Decompressed: 3537
Downloaded: 3663 file(s) [attempted 3663/8459 = 43%, 257 KB/s], Decompressed: 3537
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 462 KB/s], Decompressed: 3616
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 800 KB/s], Decompressed: 3616
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 355 KB/s], Decompressed: 3695
Downloaded: 3821 file(s) [attempted 3821/8459 = 45%, 339 KB/s], Decompressed: 3695
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 470 KB/s], Decompressed: 3773
Downloaded: 3907 file(s) [attempted 3907/8459 = 46%, 83 KB/s], Decompressed: 3838
Downloaded: 3941 file(s) [attempted 3941/8459 = 46%, 153 KB/s], Decompressed: 3838
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 324 KB/s], Decompressed: 3893
Downloaded: 4030 file(s) [attempted 4030/8459 = 47%, 285 KB/s], Decompressed: 3958
Downloaded: 4067 file(s) [attempted 4067/8459 = 48%, 284 KB/s], Decompressed: 3958
Downloaded: 4106 file(s) [attempted 4106/8459 = 48%, 450 KB/s], Decompressed: 3958
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 92 KB/s], Decompressed: 4026
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 354 KB/s], Decompressed: 4026
Downloaded: 4231 file(s) [attempted 4231/8459 = 50%, 343 KB/s], Decompressed: 4026
Downloaded: 4272 file(s) [attempted 4272/8459 = 50%, 1217 KB/s], Decompressed: 4026
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 256 KB/s], Decompressed: 4139
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 874 KB/s], Decompressed: 4139
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 436 KB/s], Decompressed: 4139
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 115 KB/s], Decompressed: 4139
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 53 KB/s], Decompressed: 4290
Downloaded: 4505 file(s) [attempted 4505/8459 = 53%, 133 KB/s], Decompressed: 4290
Downloaded: 4549 file(s) [attempted 4549/8459 = 53%, 308 KB/s], Decompressed: 4290
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 160 KB/s], Decompressed: 4290
Downloaded: 4628 file(s) [attempted 4628/8459 = 54%, 43 KB/s], Decompressed: 4457
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 403 KB/s], Decompressed: 4457
Downloaded: 4714 file(s) [attempted 4714/8459 = 55%, 320 KB/s], Decompressed: 4457
Downloaded: 4755 file(s) [attempted 4755/8459 = 56%, 128 KB/s], Decompressed: 4457
Downloaded: 4799 file(s) [attempted 4799/8459 = 56%, 171 KB/s], Decompressed: 4621
Downloaded: 4837 file(s) [attempted 4837/8459 = 57%, 271 KB/s], Decompressed: 4621
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 181 KB/s], Decompressed: 4621
Downloaded: 4919 file(s) [attempted 4919/8459 = 58%, 31 KB/s], Decompressed: 4775
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 1328 KB/s], Decompressed: 4775
Downloaded: 4997 file(s) [attempted 4997/8459 = 59%, 735 KB/s], Decompressed: 4775
Downloaded: 5038 file(s) [attempted 5038/8459 = 59%, 230 KB/s], Decompressed: 4775
Downloaded: 5076 file(s) [attempted 5076/8459 = 60%, 486 KB/s], Decompressed: 4919
Downloaded: 5117 file(s) [attempted 5117/8459 = 60%, 495 KB/s], Decompressed: 4919
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 1302 KB/s], Decompressed: 4919
Downloaded: 5192 file(s) [attempted 5192/8459 = 61%, 152 KB/s], Decompressed: 5056
Downloaded: 5233 file(s) [attempted 5233/8459 = 61%, 94 KB/s], Decompressed: 5056
Downloaded: 5278 file(s) [attempted 5278/8459 = 62%, 256 KB/s], Decompressed: 5056
Downloaded: 5319 file(s) [attempted 5319/8459 = 62%, 1193 KB/s], Decompressed: 5182
Downloaded: 5360 file(s) [attempted 5360/8459 = 63%, 190 KB/s], Decompressed: 5182
Downloaded: 5401 file(s) [attempted 5401/8459 = 63%, 83 KB/s], Decompressed: 5182
Downloaded: 5442 file(s) [attempted 5442/8459 = 64%, 144 KB/s], Decompressed: 5309
Downloaded: 5480 file(s) [attempted 5480/8459 = 64%, 70 KB/s], Decompressed: 5309
Downloaded: 5521 file(s) [attempted 5521/8459 = 65%, 243 KB/s], Decompressed: 5309
Downloaded: 5562 file(s) [attempted 5562/8459 = 65%, 438 KB/s], Decompressed: 5428
Downloaded: 5603 file(s) [attempted 5603/8459 = 66%, 1173 KB/s], Decompressed: 5428
Downloaded: 5644 file(s) [attempted 5644/8459 = 66%, 552 KB/s], Decompressed: 5428
Downloaded: 5681 file(s) [attempted 5681/8459 = 67%, 755 KB/s], Decompressed: 5545
Downloaded: 5722 file(s) [attempted 5722/8459 = 67%, 217 KB/s], Decompressed: 5545
Downloaded: 5763 file(s) [attempted 5763/8459 = 68%, 174 KB/s], Decompressed: 5651
Downloaded: 5804 file(s) [attempted 5804/8459 = 68%, 197 KB/s], Decompressed: 5651
Downloaded: 5849 file(s) [attempted 5849/8459 = 69%, 435 KB/s], Decompressed: 5746
Downloaded: 5886 file(s) [attempted 5886/8459 = 69%, 93 KB/s], Decompressed: 5746
Downloaded: 5924 file(s) [attempted 5924/8459 = 70%, 28 KB/s], Decompressed: 5839
Downloaded: 5965 file(s) [attempted 5965/8459 = 70%, 93 KB/s], Decompressed: 5839
Downloaded: 6008 file(s) [attempted 6008/8459 = 71%, 407 KB/s], Decompressed: 5914
Downloaded: 6047 file(s) [attempted 6047/8459 = 71%, 40 KB/s], Decompressed: 5914
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 318 KB/s], Decompressed: 5914
Downloaded: 6129 file(s) [attempted 6129/8459 = 72%, 876 KB/s], Decompressed: 5914
Downloaded: 6163 file(s) [attempted 6163/8459 = 72%, 126 KB/s], Decompressed: 5986
Downloaded: 6201 file(s) [attempted 6201/8459 = 73%, 103 KB/s], Decompressed: 5986
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 190 KB/s], Decompressed: 5986
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 183 KB/s], Decompressed: 5986
Downloaded: 6321 file(s) [attempted 6321/8459 = 74%, 457 KB/s], Decompressed: 5986
Downloaded: 6358 file(s) [attempted 6358/8459 = 75%, 83 KB/s], Decompressed: 6153
Downloaded: 6396 file(s) [attempted 6396/8459 = 75%, 728 KB/s], Decompressed: 6153
Downloaded: 6440 file(s) [attempted 6440/8459 = 76%, 609 KB/s], Decompressed: 6153
Downloaded: 6488 file(s) [attempted 6488/8459 = 76%, 174 KB/s], Decompressed: 6153
Downloaded: 6526 file(s) [attempted 6526/8459 = 77%, 536 KB/s], Decompressed: 6153
Downloaded: 6560 file(s) [attempted 6560/8459 = 77%, 505 KB/s], Decompressed: 6153
Downloaded: 6601 file(s) [attempted 6601/8459 = 78%, 432 KB/s], Decompressed: 6153
Downloaded: 6642 file(s) [attempted 6642/8459 = 78%, 226 KB/s], Decompressed: 6358
Downloaded: 6687 file(s) [attempted 6687/8459 = 79%, 99 KB/s], Decompressed: 6358
Downloaded: 6730 file(s) [attempted 6730/8459 = 79%, 997 KB/s], Decompressed: 6358
Downloaded: 6765 file(s) [attempted 6765/8459 = 79%, 108 KB/s], Decompressed: 6358
Downloaded: 6806 file(s) [attempted 6806/8459 = 80%, 564 KB/s], Decompressed: 6358
Downloaded: 6844 file(s) [attempted 6844/8459 = 80%, 230 KB/s], Decompressed: 6358
Downloaded: 6882 file(s) [attempted 6882/8459 = 81%, 675 KB/s], Decompressed: 6628
Downloaded: 6923 file(s) [attempted 6923/8459 = 81%, 258 KB/s], Decompressed: 6628
Downloaded: 6964 file(s) [attempted 6964/8459 = 82%, 42 KB/s], Decompressed: 6628
Downloaded: 6998 file(s) [attempted 6998/8459 = 82%, 175 KB/s], Decompressed: 6628
Downloaded: 7032 file(s) [attempted 7032/8459 = 83%, 953 KB/s], Decompressed: 6628
Downloaded: 7073 file(s) [attempted 7073/8459 = 83%, 65 KB/s], Decompressed: 6861
Downloaded: 7114 file(s) [attempted 7114/8459 = 84%, 261 KB/s], Decompressed: 6861
Downloaded: 7155 file(s) [attempted 7155/8459 = 84%, 234 KB/s], Decompressed: 6861
Downloaded: 7193 file(s) [attempted 7193/8459 = 85%, 54 KB/s], Decompressed: 6861
Downloaded: 7230 file(s) [attempted 7230/8459 = 85%, 179 KB/s], Decompressed: 6861
Downloaded: 7275 file(s) [attempted 7275/8459 = 86%, 38 KB/s], Decompressed: 7066
Downloaded: 7316 file(s) [attempted 7316/8459 = 86%, 173 KB/s], Decompressed: 7066
Downloaded: 7357 file(s) [attempted 7357/8459 = 86%, 1415 KB/s], Decompressed: 7066
Downloaded: 7398 file(s) [attempted 7398/8459 = 87%, 1353 KB/s], Decompressed: 7066
Downloaded: 7436 file(s) [attempted 7436/8459 = 87%, 138 KB/s], Decompressed: 7066
Downloaded: 7477 file(s) [attempted 7477/8459 = 88%, 106 KB/s], Decompressed: 7258
Downloaded: 7518 file(s) [attempted 7518/8459 = 88%, 464 KB/s], Decompressed: 7258
Downloaded: 7555 file(s) [attempted 7555/8459 = 89%, 116 KB/s], Decompressed: 7258
Downloaded: 7596 file(s) [attempted 7596/8459 = 89%, 161 KB/s], Decompressed: 7258
Downloaded: 7634 file(s) [attempted 7634/8459 = 90%, 152 KB/s], Decompressed: 7258
Downloaded: 7675 file(s) [attempted 7675/8459 = 90%, 478 KB/s], Decompressed: 7439
Downloaded: 7716 file(s) [attempted 7716/8459 = 91%, 79 KB/s], Decompressed: 7439
Downloaded: 7760 file(s) [attempted 7760/8459 = 91%, 367 KB/s], Decompressed: 7439
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 37 KB/s], Decompressed: 7439
Downloaded: 7836 file(s) [attempted 7836/8459 = 92%, 749 KB/s], Decompressed: 7648
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 77 KB/s], Decompressed: 7648
Downloaded: 7918 file(s) [attempted 7918/8459 = 93%, 379 KB/s], Decompressed: 7648
Downloaded: 7959 file(s) [attempted 7959/8459 = 94%, 97 KB/s], Decompressed: 7648
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 369 KB/s], Decompressed: 7648
Downloaded: 8034 file(s) [attempted 8034/8459 = 94%, 545 KB/s], Decompressed: 7648
Downloaded: 8072 file(s) [attempted 8072/8459 = 95%, 291 KB/s], Decompressed: 7648
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 111 KB/s], Decompressed: 7648
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 50 KB/s], Decompressed: 7648
Downloaded: 8160 file(s) [attempted 8160/8459 = 96%, 296 KB/s], Decompressed: 7648
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 47 KB/s], Decompressed: 7829
Downloaded: 8260 file(s) [attempted 8260/8459 = 97%, 225 KB/s], Decompressed: 7829
Downloaded: 8311 file(s) [attempted 8311/8459 = 98%, 261 KB/s], Decompressed: 7829
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 66 KB/s], Decompressed: 7829
Downloaded: 8410 file(s) [attempted 8410/8459 = 99%, 119 KB/s], Decompressed: 7829
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 119 KB/s], Decompressed: 7829

apx-runtime-resource-v1	apx-verifier-job-1752-runtime-lake_cache-725911-1788197597642633004-0	3960832	4218880	21474836480	0	0	0	0	0	0	612560896	5175398400	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/31/2026, 7:37:32 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (152s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (68s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (69s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (77s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (171s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (62s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (110s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (70s)
✔ [790/794] Built Iut.Foundations.QualitativeData (104s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (501s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1985s)
✔ [3956/3960] Built Iut.Foundations.InitialThetaData (1619s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1343s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (286s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1752-runtime-lean_checker-725911-1788197762947307955-1 on attempt 3

blueprint_buildexit 1duration 16s · created 8/31/2026, 7:37:32 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1752-runtime-blueprint_build-725911-1788205033476789975-2	962560	1474560	21474836480	0	0	0	0	0	0	886317056	990494720	21474836480	0	0	0	0	0	0