Verification run

Run 1298

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

failedcommit 0fe9e073e073toolchain lean-v4-30-0prover leantook 2h 5m · 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-1757-source
exit_code=Some(128) duration_ms=319
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1757-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=66708
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1757-source'...


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

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 0fe9e07 expose the explicit unprojected carrier target

Resolved source revision: 0fe9e073e073f4e5b512371a3c35fc9a73b81709

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=0fe9e073e073f4e5b512371a3c35fc9a73b81709 provenance={"branch":"e21-924-checkpoint-target","checked_out_revision":"0fe9e073e073f4e5b512371a3c35fc9a73b81709","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"0fe9e073e073f4e5b512371a3c35fc9a73b81709","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=5036 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=231491
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 (21s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (137ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (165ms)
✔ [13/25] Built Cache.Lean:c.o (137ms)
✔ [15/25] Built Cache.Init (775ms)
✔ [16/25] Built Cache.IO (7.5s)
✔ [17/25] Built Cache.Init:c.o (75ms)
✔ [18/25] Built Cache.IO:c.o (1.1s)
✔ [19/25] Built Cache.Hashing (961ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (518ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 12 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 3 KB/s], Decompressed: 1
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 16 KB/s], Decompressed: 8
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 349 KB/s], Decompressed: 8
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 192 KB/s], Decompressed: 19
Downloaded: 120 file(s) [attempted 120/8459 = 1%, 253 KB/s], Decompressed: 19
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 350 KB/s], Decompressed: 75
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 125 KB/s], Decompressed: 75
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 92 KB/s], Decompressed: 138
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 310 KB/s], Decompressed: 138
Downloaded: 281 file(s) [attempted 281/8459 = 3%, 100 KB/s], Decompressed: 138
Downloaded: 322 file(s) [attempted 322/8459 = 3%, 364 KB/s], Decompressed: 138
Downloaded: 360 file(s) [attempted 360/8459 = 4%, 194 KB/s], Decompressed: 209
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 610 KB/s], Decompressed: 209
Downloaded: 435 file(s) [attempted 435/8459 = 5%, 85 KB/s], Decompressed: 209
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 417 KB/s], Decompressed: 329
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 621 KB/s], Decompressed: 329
Downloaded: 548 file(s) [attempted 548/8459 = 6%, 1407 KB/s], Decompressed: 329
Downloaded: 582 file(s) [attempted 582/8459 = 6%, 276 KB/s], Decompressed: 446
Downloaded: 627 file(s) [attempted 627/8459 = 7%, 152 KB/s], Decompressed: 446
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 95 KB/s], Decompressed: 446
Downloaded: 709 file(s) [attempted 709/8459 = 8%, 441 KB/s], Decompressed: 446
Downloaded: 750 file(s) [attempted 750/8459 = 8%, 83 KB/s], Decompressed: 582
Downloaded: 788 file(s) [attempted 788/8459 = 9%, 347 KB/s], Decompressed: 582
Downloaded: 825 file(s) [attempted 825/8459 = 9%, 462 KB/s], Decompressed: 582
Downloaded: 867 file(s) [attempted 867/8459 = 10%, 516 KB/s], Decompressed: 582
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 53 KB/s], Decompressed: 582
Downloaded: 949 file(s) [attempted 949/8459 = 11%, 863 KB/s], Decompressed: 733
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 222 KB/s], Decompressed: 733
Downloaded: 1027 file(s) [attempted 1027/8459 = 12%, 251 KB/s], Decompressed: 733
Downloaded: 1068 file(s) [attempted 1068/8459 = 12%, 248 KB/s], Decompressed: 733
Downloaded: 1113 file(s) [attempted 1113/8459 = 13%, 212 KB/s], Decompressed: 918
Downloaded: 1154 file(s) [attempted 1154/8459 = 13%, 56 KB/s], Decompressed: 918
Downloaded: 1192 file(s) [attempted 1192/8459 = 14%, 116 KB/s], Decompressed: 918
Downloaded: 1233 file(s) [attempted 1233/8459 = 14%, 1188 KB/s], Decompressed: 918
Downloaded: 1270 file(s) [attempted 1270/8459 = 15%, 122 KB/s], Decompressed: 1099
Downloaded: 1311 file(s) [attempted 1311/8459 = 15%, 23 KB/s], Decompressed: 1099
Downloaded: 1352 file(s) [attempted 1352/8459 = 15%, 51 KB/s], Decompressed: 1099
Downloaded: 1390 file(s) [attempted 1390/8459 = 16%, 37 KB/s], Decompressed: 1099
Downloaded: 1431 file(s) [attempted 1431/8459 = 16%, 87 KB/s], Decompressed: 1099
Downloaded: 1468 file(s) [attempted 1468/8459 = 17%, 110 KB/s], Decompressed: 1099
Downloaded: 1510 file(s) [attempted 1510/8459 = 17%, 136 KB/s], Decompressed: 1263
Downloaded: 1547 file(s) [attempted 1547/8459 = 18%, 199 KB/s], Decompressed: 1263
Downloaded: 1595 file(s) [attempted 1595/8459 = 18%, 131 KB/s], Decompressed: 1263
Downloaded: 1643 file(s) [attempted 1643/8459 = 19%, 324 KB/s], Decompressed: 1263
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 139 KB/s], Decompressed: 1263
Downloaded: 1722 file(s) [attempted 1722/8459 = 20%, 137 KB/s], Decompressed: 1489
Downloaded: 1763 file(s) [attempted 1763/8459 = 20%, 294 KB/s], Decompressed: 1489
Downloaded: 1800 file(s) [attempted 1800/8459 = 21%, 35 KB/s], Decompressed: 1489
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 857 KB/s], Decompressed: 1489
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 3294 KB/s], Decompressed: 1489
Downloaded: 1931 file(s) [attempted 1931/8459 = 22%, 729 KB/s], Decompressed: 1694
Downloaded: 1964 file(s) [attempted 1964/8459 = 23%, 95 KB/s], Decompressed: 1694
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 135 KB/s], Decompressed: 1694
Downloaded: 2046 file(s) [attempted 2046/8459 = 24%, 313 KB/s], Decompressed: 1694
Downloaded: 2091 file(s) [attempted 2091/8459 = 24%, 128 KB/s], Decompressed: 1899
Downloaded: 2128 file(s) [attempted 2128/8459 = 25%, 589 KB/s], Decompressed: 1899
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 1285 KB/s], Decompressed: 1899
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 605 KB/s], Decompressed: 1899
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 1004 KB/s], Decompressed: 1899
Downloaded: 2289 file(s) [attempted 2289/8459 = 27%, 316 KB/s], Decompressed: 2087
Downloaded: 2330 file(s) [attempted 2330/8459 = 27%, 38 KB/s], Decompressed: 2087
Downloaded: 2371 file(s) [attempted 2371/8459 = 28%, 231 KB/s], Decompressed: 2087
Downloaded: 2409 file(s) [attempted 2409/8459 = 28%, 262 KB/s], Decompressed: 2252
Downloaded: 2453 file(s) [attempted 2453/8459 = 28%, 356 KB/s], Decompressed: 2252
Downloaded: 2491 file(s) [attempted 2491/8459 = 29%, 184 KB/s], Decompressed: 2252
Downloaded: 2535 file(s) [attempted 2535/8459 = 29%, 28 KB/s], Decompressed: 2392
Downloaded: 2573 file(s) [attempted 2573/8459 = 30%, 159 KB/s], Decompressed: 2392
Downloaded: 2614 file(s) [attempted 2614/8459 = 30%, 376 KB/s], Decompressed: 2392
Downloaded: 2655 file(s) [attempted 2655/8459 = 31%, 87 KB/s], Decompressed: 2518
Downloaded: 2696 file(s) [attempted 2696/8459 = 31%, 59 KB/s], Decompressed: 2518
Downloaded: 2734 file(s) [attempted 2734/8459 = 32%, 41 KB/s], Decompressed: 2631
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 286 KB/s], Decompressed: 2631
Downloaded: 2816 file(s) [attempted 2816/8459 = 33%, 516 KB/s], Decompressed: 2631
Downloaded: 2857 file(s) [attempted 2857/8459 = 33%, 31 KB/s], Decompressed: 2730
Downloaded: 2894 file(s) [attempted 2894/8459 = 34%, 129 KB/s], Decompressed: 2730
Downloaded: 2935 file(s) [attempted 2935/8459 = 34%, 570 KB/s], Decompressed: 2819
Downloaded: 2976 file(s) [attempted 2976/8459 = 35%, 97 KB/s], Decompressed: 2898
Downloaded: 3014 file(s) [attempted 3014/8459 = 35%, 202 KB/s], Decompressed: 2898
Downloaded: 3052 file(s) [attempted 3052/8459 = 36%, 159 KB/s], Decompressed: 2898
Downloaded: 3089 file(s) [attempted 3089/8459 = 36%, 322 KB/s], Decompressed: 2976
Downloaded: 3130 file(s) [attempted 3130/8459 = 37%, 151 KB/s], Decompressed: 2976
Downloaded: 3175 file(s) [attempted 3175/8459 = 37%, 23 KB/s], Decompressed: 3055
Downloaded: 3216 file(s) [attempted 3216/8459 = 38%, 163 KB/s], Decompressed: 3055
Downloaded: 3253 file(s) [attempted 3253/8459 = 38%, 22 KB/s], Decompressed: 3137
Downloaded: 3291 file(s) [attempted 3291/8459 = 38%, 303 KB/s], Decompressed: 3137
Downloaded: 3332 file(s) [attempted 3332/8459 = 39%, 69 KB/s], Decompressed: 3223
Downloaded: 3373 file(s) [attempted 3373/8459 = 39%, 110 KB/s], Decompressed: 3223
Downloaded: 3414 file(s) [attempted 3414/8459 = 40%, 165 KB/s], Decompressed: 3305
Downloaded: 3455 file(s) [attempted 3455/8459 = 40%, 226 KB/s], Decompressed: 3305
Downloaded: 3496 file(s) [attempted 3496/8459 = 41%, 389 KB/s], Decompressed: 3387
Downloaded: 3537 file(s) [attempted 3537/8459 = 41%, 254 KB/s], Decompressed: 3465
Downloaded: 3585 file(s) [attempted 3585/8459 = 42%, 781 KB/s], Decompressed: 3465
Downloaded: 3630 file(s) [attempted 3630/8459 = 42%, 1670 KB/s], Decompressed: 3537
Downloaded: 3664 file(s) [attempted 3664/8459 = 43%, 234 KB/s], Decompressed: 3537
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 1717 KB/s], Decompressed: 3537
Downloaded: 3739 file(s) [attempted 3739/8459 = 44%, 189 KB/s], Decompressed: 3609
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 100 KB/s], Decompressed: 3609
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 379 KB/s], Decompressed: 3609
Downloaded: 3852 file(s) [attempted 3852/8459 = 45%, 209 KB/s], Decompressed: 3609
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 243 KB/s], Decompressed: 3609
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 42 KB/s], Decompressed: 3738
Downloaded: 3976 file(s) [attempted 3976/8459 = 47%, 72 KB/s], Decompressed: 3738
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 741 KB/s], Decompressed: 3738
Downloaded: 4054 file(s) [attempted 4054/8459 = 47%, 1443 KB/s], Decompressed: 3738
Downloaded: 4101 file(s) [attempted 4101/8459 = 48%, 639 KB/s], Decompressed: 3738
Downloaded: 4143 file(s) [attempted 4143/8459 = 48%, 69 KB/s], Decompressed: 3738
Downloaded: 4180 file(s) [attempted 4180/8459 = 49%, 182 KB/s], Decompressed: 3931
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 46 KB/s], Decompressed: 3931
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 92 KB/s], Decompressed: 3931
Downloaded: 4324 file(s) [attempted 4324/8459 = 51%, 340 KB/s], Decompressed: 3931
Downloaded: 4355 file(s) [attempted 4355/8459 = 51%, 354 KB/s], Decompressed: 3931
Downloaded: 4396 file(s) [attempted 4396/8459 = 51%, 480 KB/s], Decompressed: 4149
Downloaded: 4440 file(s) [attempted 4440/8459 = 52%, 152 KB/s], Decompressed: 4149
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 362 KB/s], Decompressed: 4149
Downloaded: 4519 file(s) [attempted 4519/8459 = 53%, 529 KB/s], Decompressed: 4149
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 505 KB/s], Decompressed: 4358
Downloaded: 4601 file(s) [attempted 4601/8459 = 54%, 545 KB/s], Decompressed: 4358
Downloaded: 4642 file(s) [attempted 4642/8459 = 54%, 150 KB/s], Decompressed: 4358
Downloaded: 4683 file(s) [attempted 4683/8459 = 55%, 96 KB/s], Decompressed: 4358
Downloaded: 4720 file(s) [attempted 4720/8459 = 55%, 269 KB/s], Decompressed: 4539
Downloaded: 4761 file(s) [attempted 4761/8459 = 56%, 569 KB/s], Decompressed: 4539
Downloaded: 4803 file(s) [attempted 4803/8459 = 56%, 116 KB/s], Decompressed: 4539
Downloaded: 4840 file(s) [attempted 4840/8459 = 57%, 243 KB/s], Decompressed: 4539
Downloaded: 4881 file(s) [attempted 4881/8459 = 57%, 169 KB/s], Decompressed: 4700
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 397 KB/s], Decompressed: 4700
Downloaded: 4963 file(s) [attempted 4963/8459 = 58%, 87 KB/s], Decompressed: 4700
Downloaded: 5008 file(s) [attempted 5008/8459 = 59%, 129 KB/s], Decompressed: 4850
Downloaded: 5038 file(s) [attempted 5038/8459 = 59%, 261 KB/s], Decompressed: 4850
Downloaded: 5080 file(s) [attempted 5080/8459 = 60%, 114 KB/s], Decompressed: 4850
Downloaded: 5117 file(s) [attempted 5117/8459 = 60%, 71 KB/s], Decompressed: 4987
Downloaded: 5158 file(s) [attempted 5158/8459 = 60%, 62 KB/s], Decompressed: 4987
Downloaded: 5196 file(s) [attempted 5196/8459 = 61%, 281 KB/s], Decompressed: 4987
Downloaded: 5233 file(s) [attempted 5233/8459 = 61%, 246 KB/s], Decompressed: 5103
Downloaded: 5274 file(s) [attempted 5274/8459 = 62%, 1558 KB/s], Decompressed: 5103
Downloaded: 5315 file(s) [attempted 5315/8459 = 62%, 23 KB/s], Decompressed: 5206
Downloaded: 5354 file(s) [attempted 5354/8459 = 63%, 1115 KB/s], Decompressed: 5206
Downloaded: 5394 file(s) [attempted 5394/8459 = 63%, 117 KB/s], Decompressed: 5206
Downloaded: 5435 file(s) [attempted 5435/8459 = 64%, 222 KB/s], Decompressed: 5206
Downloaded: 5476 file(s) [attempted 5476/8459 = 64%, 149 KB/s], Decompressed: 5315
Downloaded: 5517 file(s) [attempted 5517/8459 = 65%, 1319 KB/s], Decompressed: 5315
Downloaded: 5558 file(s) [attempted 5558/8459 = 65%, 79 KB/s], Decompressed: 5315
Downloaded: 5599 file(s) [attempted 5599/8459 = 66%, 327 KB/s], Decompressed: 5442
Downloaded: 5640 file(s) [attempted 5640/8459 = 66%, 31 KB/s], Decompressed: 5442
Downloaded: 5681 file(s) [attempted 5681/8459 = 67%, 545 KB/s], Decompressed: 5442
Downloaded: 5726 file(s) [attempted 5726/8459 = 67%, 151 KB/s], Decompressed: 5442
Downloaded: 5770 file(s) [attempted 5770/8459 = 68%, 440 KB/s], Decompressed: 5589
Downloaded: 5804 file(s) [attempted 5804/8459 = 68%, 116 KB/s], Decompressed: 5589
Downloaded: 5842 file(s) [attempted 5842/8459 = 69%, 143 KB/s], Decompressed: 5589
Downloaded: 5883 file(s) [attempted 5883/8459 = 69%, 56 KB/s], Decompressed: 5589
Downloaded: 5924 file(s) [attempted 5924/8459 = 70%, 221 KB/s], Decompressed: 5589
Downloaded: 5969 file(s) [attempted 5969/8459 = 70%, 226 KB/s], Decompressed: 5589
Downloaded: 6006 file(s) [attempted 6006/8459 = 71%, 1033 KB/s], Decompressed: 5589
Downloaded: 6040 file(s) [attempted 6040/8459 = 71%, 668 KB/s], Decompressed: 5589
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 226 KB/s], Decompressed: 5589
Downloaded: 6181 file(s) [attempted 6181/8459 = 73%, 10 KB/s], Decompressed: 5770
Downloaded: 6229 file(s) [attempted 6229/8459 = 73%, 45 KB/s], Decompressed: 5770
Downloaded: 6280 file(s) [attempted 6280/8459 = 74%, 71 KB/s], Decompressed: 5770
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 117 KB/s], Decompressed: 5770
Downloaded: 6376 file(s) [attempted 6376/8459 = 75%, 367 KB/s], Decompressed: 5770
Downloaded: 6427 file(s) [attempted 6427/8459 = 75%, 135 KB/s], Decompressed: 5770
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 226 KB/s], Decompressed: 5770
Downloaded: 6523 file(s) [attempted 6523/8459 = 77%, 102 KB/s], Decompressed: 5770
Downloaded: 6574 file(s) [attempted 6574/8459 = 77%, 179 KB/s], Decompressed: 5770
Downloaded: 6622 file(s) [attempted 6622/8459 = 78%, 505 KB/s], Decompressed: 5770
Downloaded: 6670 file(s) [attempted 6670/8459 = 78%, 1178 KB/s], Decompressed: 5770
Downloaded: 6718 file(s) [attempted 6718/8459 = 79%, 123 KB/s], Decompressed: 6181
Downloaded: 6765 file(s) [attempted 6765/8459 = 79%, 466 KB/s], Decompressed: 6181
Downloaded: 6813 file(s) [attempted 6813/8459 = 80%, 374 KB/s], Decompressed: 6181
Downloaded: 6861 file(s) [attempted 6861/8459 = 81%, 73 KB/s], Decompressed: 6181
Downloaded: 6902 file(s) [attempted 6902/8459 = 81%, 168 KB/s], Decompressed: 6181
Downloaded: 6940 file(s) [attempted 6940/8459 = 82%, 297 KB/s], Decompressed: 6181
Downloaded: 6971 file(s) [attempted 6971/8459 = 82%, 540 KB/s], Decompressed: 6181
Downloaded: 7015 file(s) [attempted 7015/8459 = 82%, 141 KB/s], Decompressed: 6181
Downloaded: 7060 file(s) [attempted 7060/8459 = 83%, 88 KB/s], Decompressed: 6181
Downloaded: 7104 file(s) [attempted 7104/8459 = 83%, 187 KB/s], Decompressed: 6181
Downloaded: 7138 file(s) [attempted 7138/8459 = 84%, 261 KB/s], Decompressed: 6181
Downloaded: 7176 file(s) [attempted 7176/8459 = 84%, 33 KB/s], Decompressed: 6181
Downloaded: 7217 file(s) [attempted 7217/8459 = 85%, 632 KB/s], Decompressed: 6181
Downloaded: 7261 file(s) [attempted 7261/8459 = 85%, 104 KB/s], Decompressed: 6181
Downloaded: 7302 file(s) [attempted 7302/8459 = 86%, 25 KB/s], Decompressed: 6181
Downloaded: 7343 file(s) [attempted 7343/8459 = 86%, 942 KB/s], Decompressed: 6707
Downloaded: 7381 file(s) [attempted 7381/8459 = 87%, 63 KB/s], Decompressed: 6707
Downloaded: 7422 file(s) [attempted 7422/8459 = 87%, 530 KB/s], Decompressed: 6707
Downloaded: 7470 file(s) [attempted 7470/8459 = 88%, 297 KB/s], Decompressed: 6707
Downloaded: 7507 file(s) [attempted 7507/8459 = 88%, 80 KB/s], Decompressed: 6707
Downloaded: 7552 file(s) [attempted 7552/8459 = 89%, 92 KB/s], Decompressed: 6707
Downloaded: 7593 file(s) [attempted 7593/8459 = 89%, 165 KB/s], Decompressed: 6707
Downloaded: 7627 file(s) [attempted 7627/8459 = 90%, 1154 KB/s], Decompressed: 6707
Downloaded: 7668 file(s) [attempted 7668/8459 = 90%, 374 KB/s], Decompressed: 6707
Downloaded: 7713 file(s) [attempted 7713/8459 = 91%, 128 KB/s], Decompressed: 6707
Downloaded: 7754 file(s) [attempted 7754/8459 = 91%, 1069 KB/s], Decompressed: 6707
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 164 KB/s], Decompressed: 6707
Downloaded: 7836 file(s) [attempted 7836/8459 = 92%, 741 KB/s], Decompressed: 6707
Downloaded: 7873 file(s) [attempted 7873/8459 = 93%, 87 KB/s], Decompressed: 6707
Downloaded: 7914 file(s) [attempted 7914/8459 = 93%, 803 KB/s], Decompressed: 6707
Downloaded: 7955 file(s) [attempted 7955/8459 = 94%, 514 KB/s], Decompressed: 6707
Downloaded: 8000 file(s) [attempted 8000/8459 = 94%, 313 KB/s], Decompressed: 7309
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 29 KB/s], Decompressed: 7309
Downloaded: 8075 file(s) [attempted 8075/8459 = 95%, 464 KB/s], Decompressed: 7309
Downloaded: 8116 file(s) [attempted 8116/8459 = 95%, 122 KB/s], Decompressed: 7309
Downloaded: 8157 file(s) [attempted 8157/8459 = 96%, 116 KB/s], Decompressed: 7309
Downloaded: 8202 file(s) [attempted 8202/8459 = 96%, 324 KB/s], Decompressed: 7309
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 149 KB/s], Decompressed: 7309
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 122 KB/s], Decompressed: 7309
Downloaded: 8318 file(s) [attempted 8318/8459 = 98%, 69 KB/s], Decompressed: 7309
Downloaded: 8359 file(s) [attempted 8359/8459 = 98%, 907 KB/s], Decompressed: 7309
Downloaded: 8403 file(s) [attempted 8403/8459 = 99%, 235 KB/s], Decompressed: 7309
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 771 KB/s], Decompressed: 7309
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 46 KB/s], Decompressed: 7965
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 46 KB/s], Decompressed: 7965

apx-runtime-resource-v1	apx-verifier-job-1757-runtime-lake_cache-800695-1788239807632797882-0	4067328	4317184	21474836480	0	0	0	0	0	0	593801216	3815366656	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200007
stdout:
✔ [500/502] Built Iut.Foundations.Species (99s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (83s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (100s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (113s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (86s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (79s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (140s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (109s)
✔ [790/794] Built Iut.Foundations.QualitativeData (106s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (307s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1148s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (2130s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1560s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (765s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1757-runtime-lean_checker-800695-1788240039131465914-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1757-runtime-blueprint_build-800695-1788247239794222910-2	950272	1384448	21474836480	0	0	0	0	0	0	794513408	892674048	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 319 ms · created 9/1/2026, 7:21:05 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1757-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 1m 7s · created 9/1/2026, 7:21:05 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 306 ms · created 9/1/2026, 7:21:05 AM

git checkout 0fe9e073e073f4e5b512371a3c35fc9a73b81709

Note: switching to '0fe9e073e073f4e5b512371a3c35fc9a73b81709'.

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 0fe9e07 expose the explicit unprojected carrier target

lake_cacheexit 0duration 3m 51s · created 9/1/2026, 7:21:05 AM

lake exe cache get

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

✔ [8/25] Built Cache.Lean (21s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (137ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (165ms)
✔ [13/25] Built Cache.Lean:c.o (137ms)
✔ [15/25] Built Cache.Init (775ms)
✔ [16/25] Built Cache.IO (7.5s)
✔ [17/25] Built Cache.Init:c.o (75ms)
✔ [18/25] Built Cache.IO:c.o (1.1s)
✔ [19/25] Built Cache.Hashing (961ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (518ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 12 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 3 KB/s], Decompressed: 1
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 16 KB/s], Decompressed: 8
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 349 KB/s], Decompressed: 8
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 192 KB/s], Decompressed: 19
Downloaded: 120 file(s) [attempted 120/8459 = 1%, 253 KB/s], Decompressed: 19
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 350 KB/s], Decompressed: 75
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 125 KB/s], Decompressed: 75
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 92 KB/s], Decompressed: 138
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 310 KB/s], Decompressed: 138
Downloaded: 281 file(s) [attempted 281/8459 = 3%, 100 KB/s], Decompressed: 138
Downloaded: 322 file(s) [attempted 322/8459 = 3%, 364 KB/s], Decompressed: 138
Downloaded: 360 file(s) [attempted 360/8459 = 4%, 194 KB/s], Decompressed: 209
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 610 KB/s], Decompressed: 209
Downloaded: 435 file(s) [attempted 435/8459 = 5%, 85 KB/s], Decompressed: 209
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 417 KB/s], Decompressed: 329
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 621 KB/s], Decompressed: 329
Downloaded: 548 file(s) [attempted 548/8459 = 6%, 1407 KB/s], Decompressed: 329
Downloaded: 582 file(s) [attempted 582/8459 = 6%, 276 KB/s], Decompressed: 446
Downloaded: 627 file(s) [attempted 627/8459 = 7%, 152 KB/s], Decompressed: 446
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 95 KB/s], Decompressed: 446
Downloaded: 709 file(s) [attempted 709/8459 = 8%, 441 KB/s], Decompressed: 446
Downloaded: 750 file(s) [attempted 750/8459 = 8%, 83 KB/s], Decompressed: 582
Downloaded: 788 file(s) [attempted 788/8459 = 9%, 347 KB/s], Decompressed: 582
Downloaded: 825 file(s) [attempted 825/8459 = 9%, 462 KB/s], Decompressed: 582
Downloaded: 867 file(s) [attempted 867/8459 = 10%, 516 KB/s], Decompressed: 582
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 53 KB/s], Decompressed: 582
Downloaded: 949 file(s) [attempted 949/8459 = 11%, 863 KB/s], Decompressed: 733
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 222 KB/s], Decompressed: 733
Downloaded: 1027 file(s) [attempted 1027/8459 = 12%, 251 KB/s], Decompressed: 733
Downloaded: 1068 file(s) [attempted 1068/8459 = 12%, 248 KB/s], Decompressed: 733
Downloaded: 1113 file(s) [attempted 1113/8459 = 13%, 212 KB/s], Decompressed: 918
Downloaded: 1154 file(s) [attempted 1154/8459 = 13%, 56 KB/s], Decompressed: 918
Downloaded: 1192 file(s) [attempted 1192/8459 = 14%, 116 KB/s], Decompressed: 918
Downloaded: 1233 file(s) [attempted 1233/8459 = 14%, 1188 KB/s], Decompressed: 918
Downloaded: 1270 file(s) [attempted 1270/8459 = 15%, 122 KB/s], Decompressed: 1099
Downloaded: 1311 file(s) [attempted 1311/8459 = 15%, 23 KB/s], Decompressed: 1099
Downloaded: 1352 file(s) [attempted 1352/8459 = 15%, 51 KB/s], Decompressed: 1099
Downloaded: 1390 file(s) [attempted 1390/8459 = 16%, 37 KB/s], Decompressed: 1099
Downloaded: 1431 file(s) [attempted 1431/8459 = 16%, 87 KB/s], Decompressed: 1099
Downloaded: 1468 file(s) [attempted 1468/8459 = 17%, 110 KB/s], Decompressed: 1099
Downloaded: 1510 file(s) [attempted 1510/8459 = 17%, 136 KB/s], Decompressed: 1263
Downloaded: 1547 file(s) [attempted 1547/8459 = 18%, 199 KB/s], Decompressed: 1263
Downloaded: 1595 file(s) [attempted 1595/8459 = 18%, 131 KB/s], Decompressed: 1263
Downloaded: 1643 file(s) [attempted 1643/8459 = 19%, 324 KB/s], Decompressed: 1263
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 139 KB/s], Decompressed: 1263
Downloaded: 1722 file(s) [attempted 1722/8459 = 20%, 137 KB/s], Decompressed: 1489
Downloaded: 1763 file(s) [attempted 1763/8459 = 20%, 294 KB/s], Decompressed: 1489
Downloaded: 1800 file(s) [attempted 1800/8459 = 21%, 35 KB/s], Decompressed: 1489
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 857 KB/s], Decompressed: 1489
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 3294 KB/s], Decompressed: 1489
Downloaded: 1931 file(s) [attempted 1931/8459 = 22%, 729 KB/s], Decompressed: 1694
Downloaded: 1964 file(s) [attempted 1964/8459 = 23%, 95 KB/s], Decompressed: 1694
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 135 KB/s], Decompressed: 1694
Downloaded: 2046 file(s) [attempted 2046/8459 = 24%, 313 KB/s], Decompressed: 1694
Downloaded: 2091 file(s) [attempted 2091/8459 = 24%, 128 KB/s], Decompressed: 1899
Downloaded: 2128 file(s) [attempted 2128/8459 = 25%, 589 KB/s], Decompressed: 1899
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 1285 KB/s], Decompressed: 1899
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 605 KB/s], Decompressed: 1899
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 1004 KB/s], Decompressed: 1899
Downloaded: 2289 file(s) [attempted 2289/8459 = 27%, 316 KB/s], Decompressed: 2087
Downloaded: 2330 file(s) [attempted 2330/8459 = 27%, 38 KB/s], Decompressed: 2087
Downloaded: 2371 file(s) [attempted 2371/8459 = 28%, 231 KB/s], Decompressed: 2087
Downloaded: 2409 file(s) [attempted 2409/8459 = 28%, 262 KB/s], Decompressed: 2252
Downloaded: 2453 file(s) [attempted 2453/8459 = 28%, 356 KB/s], Decompressed: 2252
Downloaded: 2491 file(s) [attempted 2491/8459 = 29%, 184 KB/s], Decompressed: 2252
Downloaded: 2535 file(s) [attempted 2535/8459 = 29%, 28 KB/s], Decompressed: 2392
Downloaded: 2573 file(s) [attempted 2573/8459 = 30%, 159 KB/s], Decompressed: 2392
Downloaded: 2614 file(s) [attempted 2614/8459 = 30%, 376 KB/s], Decompressed: 2392
Downloaded: 2655 file(s) [attempted 2655/8459 = 31%, 87 KB/s], Decompressed: 2518
Downloaded: 2696 file(s) [attempted 2696/8459 = 31%, 59 KB/s], Decompressed: 2518
Downloaded: 2734 file(s) [attempted 2734/8459 = 32%, 41 KB/s], Decompressed: 2631
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 286 KB/s], Decompressed: 2631
Downloaded: 2816 file(s) [attempted 2816/8459 = 33%, 516 KB/s], Decompressed: 2631
Downloaded: 2857 file(s) [attempted 2857/8459 = 33%, 31 KB/s], Decompressed: 2730
Downloaded: 2894 file(s) [attempted 2894/8459 = 34%, 129 KB/s], Decompressed: 2730
Downloaded: 2935 file(s) [attempted 2935/8459 = 34%, 570 KB/s], Decompressed: 2819
Downloaded: 2976 file(s) [attempted 2976/8459 = 35%, 97 KB/s], Decompressed: 2898
Downloaded: 3014 file(s) [attempted 3014/8459 = 35%, 202 KB/s], Decompressed: 2898
Downloaded: 3052 file(s) [attempted 3052/8459 = 36%, 159 KB/s], Decompressed: 2898
Downloaded: 3089 file(s) [attempted 3089/8459 = 36%, 322 KB/s], Decompressed: 2976
Downloaded: 3130 file(s) [attempted 3130/8459 = 37%, 151 KB/s], Decompressed: 2976
Downloaded: 3175 file(s) [attempted 3175/8459 = 37%, 23 KB/s], Decompressed: 3055
Downloaded: 3216 file(s) [attempted 3216/8459 = 38%, 163 KB/s], Decompressed: 3055
Downloaded: 3253 file(s) [attempted 3253/8459 = 38%, 22 KB/s], Decompressed: 3137
Downloaded: 3291 file(s) [attempted 3291/8459 = 38%, 303 KB/s], Decompressed: 3137
Downloaded: 3332 file(s) [attempted 3332/8459 = 39%, 69 KB/s], Decompressed: 3223
Downloaded: 3373 file(s) [attempted 3373/8459 = 39%, 110 KB/s], Decompressed: 3223
Downloaded: 3414 file(s) [attempted 3414/8459 = 40%, 165 KB/s], Decompressed: 3305
Downloaded: 3455 file(s) [attempted 3455/8459 = 40%, 226 KB/s], Decompressed: 3305
Downloaded: 3496 file(s) [attempted 3496/8459 = 41%, 389 KB/s], Decompressed: 3387
Downloaded: 3537 file(s) [attempted 3537/8459 = 41%, 254 KB/s], Decompressed: 3465
Downloaded: 3585 file(s) [attempted 3585/8459 = 42%, 781 KB/s], Decompressed: 3465
Downloaded: 3630 file(s) [attempted 3630/8459 = 42%, 1670 KB/s], Decompressed: 3537
Downloaded: 3664 file(s) [attempted 3664/8459 = 43%, 234 KB/s], Decompressed: 3537
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 1717 KB/s], Decompressed: 3537
Downloaded: 3739 file(s) [attempted 3739/8459 = 44%, 189 KB/s], Decompressed: 3609
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 100 KB/s], Decompressed: 3609
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 379 KB/s], Decompressed: 3609
Downloaded: 3852 file(s) [attempted 3852/8459 = 45%, 209 KB/s], Decompressed: 3609
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 243 KB/s], Decompressed: 3609
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 42 KB/s], Decompressed: 3738
Downloaded: 3976 file(s) [attempted 3976/8459 = 47%, 72 KB/s], Decompressed: 3738
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 741 KB/s], Decompressed: 3738
Downloaded: 4054 file(s) [attempted 4054/8459 = 47%, 1443 KB/s], Decompressed: 3738
Downloaded: 4101 file(s) [attempted 4101/8459 = 48%, 639 KB/s], Decompressed: 3738
Downloaded: 4143 file(s) [attempted 4143/8459 = 48%, 69 KB/s], Decompressed: 3738
Downloaded: 4180 file(s) [attempted 4180/8459 = 49%, 182 KB/s], Decompressed: 3931
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 46 KB/s], Decompressed: 3931
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 92 KB/s], Decompressed: 3931
Downloaded: 4324 file(s) [attempted 4324/8459 = 51%, 340 KB/s], Decompressed: 3931
Downloaded: 4355 file(s) [attempted 4355/8459 = 51%, 354 KB/s], Decompressed: 3931
Downloaded: 4396 file(s) [attempted 4396/8459 = 51%, 480 KB/s], Decompressed: 4149
Downloaded: 4440 file(s) [attempted 4440/8459 = 52%, 152 KB/s], Decompressed: 4149
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 362 KB/s], Decompressed: 4149
Downloaded: 4519 file(s) [attempted 4519/8459 = 53%, 529 KB/s], Decompressed: 4149
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 505 KB/s], Decompressed: 4358
Downloaded: 4601 file(s) [attempted 4601/8459 = 54%, 545 KB/s], Decompressed: 4358
Downloaded: 4642 file(s) [attempted 4642/8459 = 54%, 150 KB/s], Decompressed: 4358
Downloaded: 4683 file(s) [attempted 4683/8459 = 55%, 96 KB/s], Decompressed: 4358
Downloaded: 4720 file(s) [attempted 4720/8459 = 55%, 269 KB/s], Decompressed: 4539
Downloaded: 4761 file(s) [attempted 4761/8459 = 56%, 569 KB/s], Decompressed: 4539
Downloaded: 4803 file(s) [attempted 4803/8459 = 56%, 116 KB/s], Decompressed: 4539
Downloaded: 4840 file(s) [attempted 4840/8459 = 57%, 243 KB/s], Decompressed: 4539
Downloaded: 4881 file(s) [attempted 4881/8459 = 57%, 169 KB/s], Decompressed: 4700
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 397 KB/s], Decompressed: 4700
Downloaded: 4963 file(s) [attempted 4963/8459 = 58%, 87 KB/s], Decompressed: 4700
Downloaded: 5008 file(s) [attempted 5008/8459 = 59%, 129 KB/s], Decompressed: 4850
Downloaded: 5038 file(s) [attempted 5038/8459 = 59%, 261 KB/s], Decompressed: 4850
Downloaded: 5080 file(s) [attempted 5080/8459 = 60%, 114 KB/s], Decompressed: 4850
Downloaded: 5117 file(s) [attempted 5117/8459 = 60%, 71 KB/s], Decompressed: 4987
Downloaded: 5158 file(s) [attempted 5158/8459 = 60%, 62 KB/s], Decompressed: 4987
Downloaded: 5196 file(s) [attempted 5196/8459 = 61%, 281 KB/s], Decompressed: 4987
Downloaded: 5233 file(s) [attempted 5233/8459 = 61%, 246 KB/s], Decompressed: 5103
Downloaded: 5274 file(s) [attempted 5274/8459 = 62%, 1558 KB/s], Decompressed: 5103
Downloaded: 5315 file(s) [attempted 5315/8459 = 62%, 23 KB/s], Decompressed: 5206
Downloaded: 5354 file(s) [attempted 5354/8459 = 63%, 1115 KB/s], Decompressed: 5206
Downloaded: 5394 file(s) [attempted 5394/8459 = 63%, 117 KB/s], Decompressed: 5206
Downloaded: 5435 file(s) [attempted 5435/8459 = 64%, 222 KB/s], Decompressed: 5206
Downloaded: 5476 file(s) [attempted 5476/8459 = 64%, 149 KB/s], Decompressed: 5315
Downloaded: 5517 file(s) [attempted 5517/8459 = 65%, 1319 KB/s], Decompressed: 5315
Downloaded: 5558 file(s) [attempted 5558/8459 = 65%, 79 KB/s], Decompressed: 5315
Downloaded: 5599 file(s) [attempted 5599/8459 = 66%, 327 KB/s], Decompressed: 5442
Downloaded: 5640 file(s) [attempted 5640/8459 = 66%, 31 KB/s], Decompressed: 5442
Downloaded: 5681 file(s) [attempted 5681/8459 = 67%, 545 KB/s], Decompressed: 5442
Downloaded: 5726 file(s) [attempted 5726/8459 = 67%, 151 KB/s], Decompressed: 5442
Downloaded: 5770 file(s) [attempted 5770/8459 = 68%, 440 KB/s], Decompressed: 5589
Downloaded: 5804 file(s) [attempted 5804/8459 = 68%, 116 KB/s], Decompressed: 5589
Downloaded: 5842 file(s) [attempted 5842/8459 = 69%, 143 KB/s], Decompressed: 5589
Downloaded: 5883 file(s) [attempted 5883/8459 = 69%, 56 KB/s], Decompressed: 5589
Downloaded: 5924 file(s) [attempted 5924/8459 = 70%, 221 KB/s], Decompressed: 5589
Downloaded: 5969 file(s) [attempted 5969/8459 = 70%, 226 KB/s], Decompressed: 5589
Downloaded: 6006 file(s) [attempted 6006/8459 = 71%, 1033 KB/s], Decompressed: 5589
Downloaded: 6040 file(s) [attempted 6040/8459 = 71%, 668 KB/s], Decompressed: 5589
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 226 KB/s], Decompressed: 5589
Downloaded: 6181 file(s) [attempted 6181/8459 = 73%, 10 KB/s], Decompressed: 5770
Downloaded: 6229 file(s) [attempted 6229/8459 = 73%, 45 KB/s], Decompressed: 5770
Downloaded: 6280 file(s) [attempted 6280/8459 = 74%, 71 KB/s], Decompressed: 5770
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 117 KB/s], Decompressed: 5770
Downloaded: 6376 file(s) [attempted 6376/8459 = 75%, 367 KB/s], Decompressed: 5770
Downloaded: 6427 file(s) [attempted 6427/8459 = 75%, 135 KB/s], Decompressed: 5770
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 226 KB/s], Decompressed: 5770
Downloaded: 6523 file(s) [attempted 6523/8459 = 77%, 102 KB/s], Decompressed: 5770
Downloaded: 6574 file(s) [attempted 6574/8459 = 77%, 179 KB/s], Decompressed: 5770
Downloaded: 6622 file(s) [attempted 6622/8459 = 78%, 505 KB/s], Decompressed: 5770
Downloaded: 6670 file(s) [attempted 6670/8459 = 78%, 1178 KB/s], Decompressed: 5770
Downloaded: 6718 file(s) [attempted 6718/8459 = 79%, 123 KB/s], Decompressed: 6181
Downloaded: 6765 file(s) [attempted 6765/8459 = 79%, 466 KB/s], Decompressed: 6181
Downloaded: 6813 file(s) [attempted 6813/8459 = 80%, 374 KB/s], Decompressed: 6181
Downloaded: 6861 file(s) [attempted 6861/8459 = 81%, 73 KB/s], Decompressed: 6181
Downloaded: 6902 file(s) [attempted 6902/8459 = 81%, 168 KB/s], Decompressed: 6181
Downloaded: 6940 file(s) [attempted 6940/8459 = 82%, 297 KB/s], Decompressed: 6181
Downloaded: 6971 file(s) [attempted 6971/8459 = 82%, 540 KB/s], Decompressed: 6181
Downloaded: 7015 file(s) [attempted 7015/8459 = 82%, 141 KB/s], Decompressed: 6181
Downloaded: 7060 file(s) [attempted 7060/8459 = 83%, 88 KB/s], Decompressed: 6181
Downloaded: 7104 file(s) [attempted 7104/8459 = 83%, 187 KB/s], Decompressed: 6181
Downloaded: 7138 file(s) [attempted 7138/8459 = 84%, 261 KB/s], Decompressed: 6181
Downloaded: 7176 file(s) [attempted 7176/8459 = 84%, 33 KB/s], Decompressed: 6181
Downloaded: 7217 file(s) [attempted 7217/8459 = 85%, 632 KB/s], Decompressed: 6181
Downloaded: 7261 file(s) [attempted 7261/8459 = 85%, 104 KB/s], Decompressed: 6181
Downloaded: 7302 file(s) [attempted 7302/8459 = 86%, 25 KB/s], Decompressed: 6181
Downloaded: 7343 file(s) [attempted 7343/8459 = 86%, 942 KB/s], Decompressed: 6707
Downloaded: 7381 file(s) [attempted 7381/8459 = 87%, 63 KB/s], Decompressed: 6707
Downloaded: 7422 file(s) [attempted 7422/8459 = 87%, 530 KB/s], Decompressed: 6707
Downloaded: 7470 file(s) [attempted 7470/8459 = 88%, 297 KB/s], Decompressed: 6707
Downloaded: 7507 file(s) [attempted 7507/8459 = 88%, 80 KB/s], Decompressed: 6707
Downloaded: 7552 file(s) [attempted 7552/8459 = 89%, 92 KB/s], Decompressed: 6707
Downloaded: 7593 file(s) [attempted 7593/8459 = 89%, 165 KB/s], Decompressed: 6707
Downloaded: 7627 file(s) [attempted 7627/8459 = 90%, 1154 KB/s], Decompressed: 6707
Downloaded: 7668 file(s) [attempted 7668/8459 = 90%, 374 KB/s], Decompressed: 6707
Downloaded: 7713 file(s) [attempted 7713/8459 = 91%, 128 KB/s], Decompressed: 6707
Downloaded: 7754 file(s) [attempted 7754/8459 = 91%, 1069 KB/s], Decompressed: 6707
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 164 KB/s], Decompressed: 6707
Downloaded: 7836 file(s) [attempted 7836/8459 = 92%, 741 KB/s], Decompressed: 6707
Downloaded: 7873 file(s) [attempted 7873/8459 = 93%, 87 KB/s], Decompressed: 6707
Downloaded: 7914 file(s) [attempted 7914/8459 = 93%, 803 KB/s], Decompressed: 6707
Downloaded: 7955 file(s) [attempted 7955/8459 = 94%, 514 KB/s], Decompressed: 6707
Downloaded: 8000 file(s) [attempted 8000/8459 = 94%, 313 KB/s], Decompressed: 7309
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 29 KB/s], Decompressed: 7309
Downloaded: 8075 file(s) [attempted 8075/8459 = 95%, 464 KB/s], Decompressed: 7309
Downloaded: 8116 file(s) [attempted 8116/8459 = 95%, 122 KB/s], Decompressed: 7309
Downloaded: 8157 file(s) [attempted 8157/8459 = 96%, 116 KB/s], Decompressed: 7309
Downloaded: 8202 file(s) [attempted 8202/8459 = 96%, 324 KB/s], Decompressed: 7309
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 149 KB/s], Decompressed: 7309
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 122 KB/s], Decompressed: 7309
Downloaded: 8318 file(s) [attempted 8318/8459 = 98%, 69 KB/s], Decompressed: 7309
Downloaded: 8359 file(s) [attempted 8359/8459 = 98%, 907 KB/s], Decompressed: 7309
Downloaded: 8403 file(s) [attempted 8403/8459 = 99%, 235 KB/s], Decompressed: 7309
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 771 KB/s], Decompressed: 7309
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 46 KB/s], Decompressed: 7965
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 46 KB/s], Decompressed: 7965

apx-runtime-resource-v1	apx-verifier-job-1757-runtime-lake_cache-800695-1788239807632797882-0	4067328	4317184	21474836480	0	0	0	0	0	0	593801216	3815366656	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 9/1/2026, 7:21:05 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (99s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (83s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (100s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (113s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (86s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (79s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (140s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (109s)
✔ [790/794] Built Iut.Foundations.QualitativeData (106s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (307s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1148s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (2130s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1560s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (765s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1757-runtime-lean_checker-800695-1788240039131465914-1 on attempt 1

blueprint_buildexit 1duration 22s · created 9/1/2026, 7:21:05 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1757-runtime-blueprint_build-800695-1788247239794222910-2	950272	1384448	21474836480	0	0	0	0	0	0	794513408	892674048	21474836480	0	0	0	0	0	0