Verification run

Run 1282

promachina/iut-leanbranch mastertriggered via poller

failedcommit 99e5277c2d34toolchain lean-v4-30-0prover leantook 2h 7m · 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-1732-source
exit_code=Some(128) duration_ms=242
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1732-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=3981
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1732-source'...


$ git checkout 99e5277c2d34279f25c138bc958061ca2b7456ee
exit_code=Some(0) duration_ms=145
stderr:
Note: switching to '99e5277c2d34279f25c138bc958061ca2b7456ee'.

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 99e5277 Merge pull request #970 from promachina/e23-3h-actual-root-cyclic-log-ray

Resolved source revision: 99e5277c2d34279f25c138bc958061ca2b7456ee

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=99e5277c2d34279f25c138bc958061ca2b7456ee provenance={"branch":"master","checked_out_revision":"99e5277c2d34279f25c138bc958061ca2b7456ee","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"99e5277c2d34279f25c138bc958061ca2b7456ee","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=13743 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=343332
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:
✔ [7/19] Built Cache.Lean (230s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.4s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (137ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (193ms)
✔ [13/25] Built Cache.Lean:c.o (123ms)
✔ [15/25] Built Cache.Init (682ms)
✔ [16/25] Built Cache.IO (7.4s)
✔ [17/25] Built Cache.Init:c.o (74ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (930ms)
✔ [20/25] Built Cache.Hashing:c.o (352ms)
✔ [21/25] Built Cache.Requests (2.0s)
✔ [22/25] Built Cache.Requests:c.o (1.9s)
✔ [23/25] Built Cache.Main (955ms)
✔ [24/25] Built Cache.Main:c.o (593ms)
✔ [25/25] Built cache:exe (17s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 2 KB/s], Decompressed: 6
Downloaded: 34 file(s) [attempted 34/8459 = 0%, 89 KB/s], Decompressed: 26
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 47 KB/s], Decompressed: 36
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 259 KB/s], Decompressed: 48
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 110 KB/s], Decompressed: 86
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 84 KB/s], Decompressed: 120
Downloaded: 172 file(s) [attempted 172/8459 = 2%, 354 KB/s], Decompressed: 141
Downloaded: 205 file(s) [attempted 205/8459 = 2%, 255 KB/s], Decompressed: 168
Downloaded: 233 file(s) [attempted 233/8459 = 2%, 176 KB/s], Decompressed: 192
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 168 KB/s], Decompressed: 247
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 384 KB/s], Decompressed: 274
Downloaded: 363 file(s) [attempted 363/8459 = 4%, 167 KB/s], Decompressed: 274
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 197 KB/s], Decompressed: 316
Downloaded: 432 file(s) [attempted 432/8459 = 5%, 269 KB/s], Decompressed: 367
Downloaded: 466 file(s) [attempted 466/8459 = 5%, 821 KB/s], Decompressed: 415
Downloaded: 506 file(s) [attempted 506/8459 = 5%, 101 KB/s], Decompressed: 415
Downloaded: 545 file(s) [attempted 545/8459 = 6%, 186 KB/s], Decompressed: 466
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 621 KB/s], Decompressed: 517
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 41 KB/s], Decompressed: 517
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 495 KB/s], Decompressed: 576
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 224 KB/s], Decompressed: 637
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 225 KB/s], Decompressed: 637
Downloaded: 784 file(s) [attempted 784/8459 = 9%, 376 KB/s], Decompressed: 699
Downloaded: 825 file(s) [attempted 825/8459 = 9%, 482 KB/s], Decompressed: 699
Downloaded: 867 file(s) [attempted 867/8459 = 10%, 271 KB/s], Decompressed: 760
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 618 KB/s], Decompressed: 829
Downloaded: 949 file(s) [attempted 949/8459 = 11%, 313 KB/s], Decompressed: 829
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 885 KB/s], Decompressed: 829
Downloaded: 1034 file(s) [attempted 1034/8459 = 12%, 1880 KB/s], Decompressed: 908
Downloaded: 1075 file(s) [attempted 1075/8459 = 12%, 90 KB/s], Decompressed: 993
Downloaded: 1116 file(s) [attempted 1116/8459 = 13%, 82 KB/s], Decompressed: 993
Downloaded: 1154 file(s) [attempted 1154/8459 = 13%, 2019 KB/s], Decompressed: 993
Downloaded: 1192 file(s) [attempted 1192/8459 = 14%, 111 KB/s], Decompressed: 1075
Downloaded: 1233 file(s) [attempted 1233/8459 = 14%, 1153 KB/s], Decompressed: 1075
Downloaded: 1280 file(s) [attempted 1280/8459 = 15%, 537 KB/s], Decompressed: 1164
Downloaded: 1325 file(s) [attempted 1325/8459 = 15%, 94 KB/s], Decompressed: 1164
Downloaded: 1366 file(s) [attempted 1366/8459 = 16%, 155 KB/s], Decompressed: 1250
Downloaded: 1407 file(s) [attempted 1407/8459 = 16%, 715 KB/s], Decompressed: 1250
Downloaded: 1445 file(s) [attempted 1445/8459 = 17%, 274 KB/s], Decompressed: 1339
Downloaded: 1482 file(s) [attempted 1482/8459 = 17%, 111 KB/s], Decompressed: 1339
Downloaded: 1523 file(s) [attempted 1523/8459 = 18%, 75 KB/s], Decompressed: 1339
Downloaded: 1571 file(s) [attempted 1571/8459 = 18%, 115 KB/s], Decompressed: 1434
Downloaded: 1609 file(s) [attempted 1609/8459 = 19%, 32 KB/s], Decompressed: 1434
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 232 KB/s], Decompressed: 1530
Downloaded: 1680 file(s) [attempted 1680/8459 = 19%, 396 KB/s], Decompressed: 1530
Downloaded: 1728 file(s) [attempted 1728/8459 = 20%, 294 KB/s], Decompressed: 1530
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 142 KB/s], Decompressed: 1629
Downloaded: 1814 file(s) [attempted 1814/8459 = 21%, 309 KB/s], Decompressed: 1629
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 215 KB/s], Decompressed: 1729
Downloaded: 1886 file(s) [attempted 1886/8459 = 22%, 316 KB/s], Decompressed: 1729
Downloaded: 1927 file(s) [attempted 1927/8459 = 22%, 73 KB/s], Decompressed: 1729
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 2346 KB/s], Decompressed: 1838
Downloaded: 2009 file(s) [attempted 2009/8459 = 23%, 23 KB/s], Decompressed: 1838
Downloaded: 2053 file(s) [attempted 2053/8459 = 24%, 688 KB/s], Decompressed: 1934
Downloaded: 2091 file(s) [attempted 2091/8459 = 24%, 668 KB/s], Decompressed: 1934
Downloaded: 2128 file(s) [attempted 2128/8459 = 25%, 1342 KB/s], Decompressed: 1934
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 53 KB/s], Decompressed: 2029
Downloaded: 2217 file(s) [attempted 2217/8459 = 26%, 346 KB/s], Decompressed: 2029
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 323 KB/s], Decompressed: 2142
Downloaded: 2303 file(s) [attempted 2303/8459 = 27%, 135 KB/s], Decompressed: 2142
Downloaded: 2340 file(s) [attempted 2340/8459 = 27%, 244 KB/s], Decompressed: 2142
Downloaded: 2378 file(s) [attempted 2378/8459 = 28%, 597 KB/s], Decompressed: 2255
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 464 KB/s], Decompressed: 2255
Downloaded: 2460 file(s) [attempted 2460/8459 = 29%, 355 KB/s], Decompressed: 2255
Downloaded: 2501 file(s) [attempted 2501/8459 = 29%, 209 KB/s], Decompressed: 2368
Downloaded: 2539 file(s) [attempted 2539/8459 = 30%, 164 KB/s], Decompressed: 2368
Downloaded: 2573 file(s) [attempted 2573/8459 = 30%, 160 KB/s], Decompressed: 2368
Downloaded: 2617 file(s) [attempted 2617/8459 = 30%, 291 KB/s], Decompressed: 2368
Downloaded: 2662 file(s) [attempted 2662/8459 = 31%, 1729 KB/s], Decompressed: 2487
Downloaded: 2703 file(s) [attempted 2703/8459 = 31%, 128 KB/s], Decompressed: 2487
Downloaded: 2744 file(s) [attempted 2744/8459 = 32%, 3292 KB/s], Decompressed: 2487
Downloaded: 2782 file(s) [attempted 2782/8459 = 32%, 124 KB/s], Decompressed: 2621
Downloaded: 2819 file(s) [attempted 2819/8459 = 33%, 229 KB/s], Decompressed: 2621
Downloaded: 2860 file(s) [attempted 2860/8459 = 33%, 491 KB/s], Decompressed: 2621
Downloaded: 2901 file(s) [attempted 2901/8459 = 34%, 151 KB/s], Decompressed: 2621
Downloaded: 2942 file(s) [attempted 2942/8459 = 34%, 261 KB/s], Decompressed: 2621
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 325 KB/s], Decompressed: 2621
Downloaded: 3028 file(s) [attempted 3028/8459 = 35%, 179 KB/s], Decompressed: 2778
Downloaded: 3072 file(s) [attempted 3072/8459 = 36%, 905 KB/s], Decompressed: 2778
Downloaded: 3117 file(s) [attempted 3117/8459 = 36%, 144 KB/s], Decompressed: 2778
Downloaded: 3151 file(s) [attempted 3151/8459 = 37%, 230 KB/s], Decompressed: 2778
Downloaded: 3188 file(s) [attempted 3188/8459 = 37%, 237 KB/s], Decompressed: 2778
Downloaded: 3230 file(s) [attempted 3230/8459 = 38%, 161 KB/s], Decompressed: 2778
Downloaded: 3274 file(s) [attempted 3274/8459 = 38%, 69 KB/s], Decompressed: 2778
Downloaded: 3312 file(s) [attempted 3312/8459 = 39%, 1128 KB/s], Decompressed: 2778
Downloaded: 3356 file(s) [attempted 3356/8459 = 39%, 49 KB/s], Decompressed: 3007
Downloaded: 3390 file(s) [attempted 3390/8459 = 40%, 262 KB/s], Decompressed: 3007
Downloaded: 3431 file(s) [attempted 3431/8459 = 40%, 113 KB/s], Decompressed: 3007
Downloaded: 3472 file(s) [attempted 3472/8459 = 41%, 46 KB/s], Decompressed: 3007
Downloaded: 3517 file(s) [attempted 3517/8459 = 41%, 104 KB/s], Decompressed: 3007
Downloaded: 3558 file(s) [attempted 3558/8459 = 42%, 206 KB/s], Decompressed: 3007
Downloaded: 3597 file(s) [attempted 3597/8459 = 42%, 209 KB/s], Decompressed: 3007
Downloaded: 3630 file(s) [attempted 3630/8459 = 42%, 337 KB/s], Decompressed: 3007
Downloaded: 3667 file(s) [attempted 3667/8459 = 43%, 578 KB/s], Decompressed: 3315
Downloaded: 3712 file(s) [attempted 3712/8459 = 43%, 63 KB/s], Decompressed: 3315
Downloaded: 3763 file(s) [attempted 3763/8459 = 44%, 50 KB/s], Decompressed: 3315
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 33 KB/s], Decompressed: 3315
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 109 KB/s], Decompressed: 3315
Downloaded: 3914 file(s) [attempted 3914/8459 = 46%, 2486 KB/s], Decompressed: 3633
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 78 KB/s], Decompressed: 3633
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 46 KB/s], Decompressed: 3633
Downloaded: 4057 file(s) [attempted 4057/8459 = 47%, 391 KB/s], Decompressed: 3633
Downloaded: 4102 file(s) [attempted 4102/8459 = 48%, 432 KB/s], Decompressed: 3633
Downloaded: 4143 file(s) [attempted 4143/8459 = 48%, 37 KB/s], Decompressed: 3633
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 70 KB/s], Decompressed: 3633
Downloaded: 4201 file(s) [attempted 4201/8459 = 49%, 332 KB/s], Decompressed: 3914
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 55 KB/s], Decompressed: 3914
Downloaded: 4293 file(s) [attempted 4293/8459 = 50%, 299 KB/s], Decompressed: 3914
Downloaded: 4338 file(s) [attempted 4338/8459 = 51%, 214 KB/s], Decompressed: 3914
Downloaded: 4382 file(s) [attempted 4382/8459 = 51%, 814 KB/s], Decompressed: 3914
Downloaded: 4417 file(s) [attempted 4417/8459 = 52%, 68 KB/s], Decompressed: 3914
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 510 KB/s], Decompressed: 4197
Downloaded: 4488 file(s) [attempted 4488/8459 = 53%, 208 KB/s], Decompressed: 4197
Downloaded: 4536 file(s) [attempted 4536/8459 = 53%, 1052 KB/s], Decompressed: 4197
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 160 KB/s], Decompressed: 4197
Downloaded: 4632 file(s) [attempted 4632/8459 = 54%, 1132 KB/s], Decompressed: 4197
Downloaded: 4679 file(s) [attempted 4679/8459 = 55%, 23 KB/s], Decompressed: 4440
Downloaded: 4721 file(s) [attempted 4721/8459 = 55%, 1639 KB/s], Decompressed: 4440
Downloaded: 4758 file(s) [attempted 4758/8459 = 56%, 88 KB/s], Decompressed: 4440
Downloaded: 4792 file(s) [attempted 4792/8459 = 56%, 51 KB/s], Decompressed: 4440
Downloaded: 4833 file(s) [attempted 4833/8459 = 57%, 49 KB/s], Decompressed: 4440
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 122 KB/s], Decompressed: 4652
Downloaded: 4919 file(s) [attempted 4919/8459 = 58%, 31 KB/s], Decompressed: 4652
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 281 KB/s], Decompressed: 4652
Downloaded: 4994 file(s) [attempted 4994/8459 = 59%, 1171 KB/s], Decompressed: 4652
Downloaded: 5035 file(s) [attempted 5035/8459 = 59%, 150 KB/s], Decompressed: 4652
Downloaded: 5080 file(s) [attempted 5080/8459 = 60%, 142 KB/s], Decompressed: 4871
Downloaded: 5127 file(s) [attempted 5127/8459 = 60%, 103 KB/s], Decompressed: 4871
Downloaded: 5172 file(s) [attempted 5172/8459 = 61%, 368 KB/s], Decompressed: 4871
Downloaded: 5210 file(s) [attempted 5210/8459 = 61%, 569 KB/s], Decompressed: 4871
Downloaded: 5251 file(s) [attempted 5251/8459 = 62%, 268 KB/s], Decompressed: 5062
Downloaded: 5298 file(s) [attempted 5298/8459 = 62%, 413 KB/s], Decompressed: 5062
Downloaded: 5339 file(s) [attempted 5339/8459 = 63%, 392 KB/s], Decompressed: 5062
Downloaded: 5377 file(s) [attempted 5377/8459 = 63%, 322 KB/s], Decompressed: 5216
Downloaded: 5411 file(s) [attempted 5411/8459 = 63%, 162 KB/s], Decompressed: 5216
Downloaded: 5456 file(s) [attempted 5456/8459 = 64%, 60 KB/s], Decompressed: 5216
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 278 KB/s], Decompressed: 5360
Downloaded: 5541 file(s) [attempted 5541/8459 = 65%, 302 KB/s], Decompressed: 5360
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 38 KB/s], Decompressed: 5360
Downloaded: 5613 file(s) [attempted 5613/8459 = 66%, 94 KB/s], Decompressed: 5497
Downloaded: 5657 file(s) [attempted 5657/8459 = 66%, 505 KB/s], Decompressed: 5497
Downloaded: 5702 file(s) [attempted 5702/8459 = 67%, 68 KB/s], Decompressed: 5497
Downloaded: 5743 file(s) [attempted 5743/8459 = 67%, 251 KB/s], Decompressed: 5608
Downloaded: 5781 file(s) [attempted 5781/8459 = 68%, 81 KB/s], Decompressed: 5608
Downloaded: 5822 file(s) [attempted 5822/8459 = 68%, 82 KB/s], Decompressed: 5709
Downloaded: 5860 file(s) [attempted 5860/8459 = 69%, 324 KB/s], Decompressed: 5709
Downloaded: 5904 file(s) [attempted 5904/8459 = 69%, 340 KB/s], Decompressed: 5709
Downloaded: 5952 file(s) [attempted 5952/8459 = 70%, 87 KB/s], Decompressed: 5805
Downloaded: 5993 file(s) [attempted 5993/8459 = 70%, 243 KB/s], Decompressed: 5805
Downloaded: 6030 file(s) [attempted 6030/8459 = 71%, 26 KB/s], Decompressed: 5805
Downloaded: 6071 file(s) [attempted 6071/8459 = 71%, 88 KB/s], Decompressed: 5921
Downloaded: 6116 file(s) [attempted 6116/8459 = 72%, 363 KB/s], Decompressed: 5921
Downloaded: 6153 file(s) [attempted 6153/8459 = 72%, 367 KB/s], Decompressed: 6047
Downloaded: 6198 file(s) [attempted 6198/8459 = 73%, 309 KB/s], Decompressed: 6047
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 647 KB/s], Decompressed: 6047
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 235 KB/s], Decompressed: 6153
Downloaded: 6314 file(s) [attempted 6314/8459 = 74%, 198 KB/s], Decompressed: 6153
Downloaded: 6348 file(s) [attempted 6348/8459 = 75%, 376 KB/s], Decompressed: 6252
Downloaded: 6393 file(s) [attempted 6393/8459 = 75%, 382 KB/s], Decompressed: 6252
Downloaded: 6434 file(s) [attempted 6434/8459 = 76%, 133 KB/s], Decompressed: 6252
Downloaded: 6478 file(s) [attempted 6478/8459 = 76%, 177 KB/s], Decompressed: 6348
Downloaded: 6519 file(s) [attempted 6519/8459 = 77%, 481 KB/s], Decompressed: 6348
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 284 KB/s], Decompressed: 6444
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 844 KB/s], Decompressed: 6444
Downloaded: 6635 file(s) [attempted 6635/8459 = 78%, 93 KB/s], Decompressed: 6536
Downloaded: 6683 file(s) [attempted 6683/8459 = 79%, 334 KB/s], Decompressed: 6536
Downloaded: 6731 file(s) [attempted 6731/8459 = 79%, 119 KB/s], Decompressed: 6629
Downloaded: 6772 file(s) [attempted 6772/8459 = 80%, 117 KB/s], Decompressed: 6629
Downloaded: 6813 file(s) [attempted 6813/8459 = 80%, 34 KB/s], Decompressed: 6714
Downloaded: 6854 file(s) [attempted 6854/8459 = 81%, 296 KB/s], Decompressed: 6714
Downloaded: 6899 file(s) [attempted 6899/8459 = 81%, 1856 KB/s], Decompressed: 6789
Downloaded: 6936 file(s) [attempted 6936/8459 = 81%, 303 KB/s], Decompressed: 6789
Downloaded: 6981 file(s) [attempted 6981/8459 = 82%, 160 KB/s], Decompressed: 6871
Downloaded: 7018 file(s) [attempted 7018/8459 = 82%, 113 KB/s], Decompressed: 6871
Downloaded: 7063 file(s) [attempted 7063/8459 = 83%, 1165 KB/s], Decompressed: 6953
Downloaded: 7100 file(s) [attempted 7100/8459 = 83%, 290 KB/s], Decompressed: 6953
Downloaded: 7138 file(s) [attempted 7138/8459 = 84%, 120 KB/s], Decompressed: 7036
Downloaded: 7179 file(s) [attempted 7179/8459 = 84%, 966 KB/s], Decompressed: 7036
Downloaded: 7220 file(s) [attempted 7220/8459 = 85%, 336 KB/s], Decompressed: 7114
Downloaded: 7261 file(s) [attempted 7261/8459 = 85%, 125 KB/s], Decompressed: 7114
Downloaded: 7302 file(s) [attempted 7302/8459 = 86%, 1972 KB/s], Decompressed: 7193
Downloaded: 7343 file(s) [attempted 7343/8459 = 86%, 112 KB/s], Decompressed: 7193
Downloaded: 7377 file(s) [attempted 7377/8459 = 87%, 421 KB/s], Decompressed: 7271
Downloaded: 7418 file(s) [attempted 7418/8459 = 87%, 121 KB/s], Decompressed: 7271
Downloaded: 7460 file(s) [attempted 7460/8459 = 88%, 460 KB/s], Decompressed: 7354
Downloaded: 7501 file(s) [attempted 7501/8459 = 88%, 152 KB/s], Decompressed: 7419
Downloaded: 7538 file(s) [attempted 7538/8459 = 89%, 159 KB/s], Decompressed: 7419
Downloaded: 7572 file(s) [attempted 7572/8459 = 89%, 270 KB/s], Decompressed: 7487
Downloaded: 7617 file(s) [attempted 7617/8459 = 90%, 535 KB/s], Decompressed: 7487
Downloaded: 7658 file(s) [attempted 7658/8459 = 90%, 469 KB/s], Decompressed: 7562
Downloaded: 7699 file(s) [attempted 7699/8459 = 91%, 98 KB/s], Decompressed: 7562
Downloaded: 7733 file(s) [attempted 7733/8459 = 91%, 28 KB/s], Decompressed: 7644
Downloaded: 7771 file(s) [attempted 7771/8459 = 91%, 174 KB/s], Decompressed: 7644
Downloaded: 7812 file(s) [attempted 7812/8459 = 92%, 242 KB/s], Decompressed: 7644
Downloaded: 7856 file(s) [attempted 7856/8459 = 92%, 23 KB/s], Decompressed: 7726
Downloaded: 7897 file(s) [attempted 7897/8459 = 93%, 4360 KB/s], Decompressed: 7726
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 626 KB/s], Decompressed: 7726
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 375 KB/s], Decompressed: 7836
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 207 KB/s], Decompressed: 7836
Downloaded: 8055 file(s) [attempted 8055/8459 = 95%, 181 KB/s], Decompressed: 7836
Downloaded: 8096 file(s) [attempted 8096/8459 = 95%, 156 KB/s], Decompressed: 7962
Downloaded: 8140 file(s) [attempted 8140/8459 = 96%, 303 KB/s], Decompressed: 7962
Downloaded: 8181 file(s) [attempted 8181/8459 = 96%, 52 KB/s], Decompressed: 7962
Downloaded: 8225 file(s) [attempted 8225/8459 = 97%, 311 KB/s], Decompressed: 7962
Downloaded: 8263 file(s) [attempted 8263/8459 = 97%, 1584 KB/s], Decompressed: 8096
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 1161 KB/s], Decompressed: 8096
Downloaded: 8345 file(s) [attempted 8345/8459 = 98%, 78 KB/s], Decompressed: 8096
Downloaded: 8386 file(s) [attempted 8386/8459 = 99%, 760 KB/s], Decompressed: 8096
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 257 KB/s], Decompressed: 8096
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 504 KB/s], Decompressed: 8260
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 504 KB/s], Decompressed: 8260

apx-runtime-resource-v1	apx-verifier-job-1732-runtime-lake_cache-4042190-1787658804364900635-0	4018176	4276224	21474836480	0	0	0	0	0	0	4715700224	4957638656	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7203940
stdout:
✔ [500/502] Built Iut.Foundations.Species (71s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (168s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (92s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (65s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (69s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (64s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (155s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (161s)
✔ [790/794] Built Iut.Foundations.QualitativeData (69s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (310s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1216s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1628s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1099s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (374s)
✔ [3974/3984] Built Iut.Foundations.SourceTateCurve (231s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (253s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1732-runtime-lean_checker-4042190-1787659147704673234-1 on attempt 2

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

apx-runtime-resource-v1	apx-verifier-job-1732-runtime-blueprint_build-4042190-1787666390198366928-2	942080	1449984	21474836480	0	0	0	0	0	0	888750080	992059392	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 242 ms · created 8/25/2026, 2:00:09 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1732-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/25/2026, 2:00:09 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 145 ms · created 8/25/2026, 2:00:09 PM

git checkout 99e5277c2d34279f25c138bc958061ca2b7456ee

Note: switching to '99e5277c2d34279f25c138bc958061ca2b7456ee'.

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 99e5277 Merge pull request #970 from promachina/e23-3h-actual-root-cyclic-log-ray

lake_cacheexit 0duration 5m 43s · created 8/25/2026, 2:00:09 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)

✔ [7/19] Built Cache.Lean (230s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.4s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (137ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (193ms)
✔ [13/25] Built Cache.Lean:c.o (123ms)
✔ [15/25] Built Cache.Init (682ms)
✔ [16/25] Built Cache.IO (7.4s)
✔ [17/25] Built Cache.Init:c.o (74ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (930ms)
✔ [20/25] Built Cache.Hashing:c.o (352ms)
✔ [21/25] Built Cache.Requests (2.0s)
✔ [22/25] Built Cache.Requests:c.o (1.9s)
✔ [23/25] Built Cache.Main (955ms)
✔ [24/25] Built Cache.Main:c.o (593ms)
✔ [25/25] Built cache:exe (17s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 2 KB/s], Decompressed: 6
Downloaded: 34 file(s) [attempted 34/8459 = 0%, 89 KB/s], Decompressed: 26
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 47 KB/s], Decompressed: 36
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 259 KB/s], Decompressed: 48
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 110 KB/s], Decompressed: 86
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 84 KB/s], Decompressed: 120
Downloaded: 172 file(s) [attempted 172/8459 = 2%, 354 KB/s], Decompressed: 141
Downloaded: 205 file(s) [attempted 205/8459 = 2%, 255 KB/s], Decompressed: 168
Downloaded: 233 file(s) [attempted 233/8459 = 2%, 176 KB/s], Decompressed: 192
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 168 KB/s], Decompressed: 247
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 384 KB/s], Decompressed: 274
Downloaded: 363 file(s) [attempted 363/8459 = 4%, 167 KB/s], Decompressed: 274
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 197 KB/s], Decompressed: 316
Downloaded: 432 file(s) [attempted 432/8459 = 5%, 269 KB/s], Decompressed: 367
Downloaded: 466 file(s) [attempted 466/8459 = 5%, 821 KB/s], Decompressed: 415
Downloaded: 506 file(s) [attempted 506/8459 = 5%, 101 KB/s], Decompressed: 415
Downloaded: 545 file(s) [attempted 545/8459 = 6%, 186 KB/s], Decompressed: 466
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 621 KB/s], Decompressed: 517
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 41 KB/s], Decompressed: 517
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 495 KB/s], Decompressed: 576
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 224 KB/s], Decompressed: 637
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 225 KB/s], Decompressed: 637
Downloaded: 784 file(s) [attempted 784/8459 = 9%, 376 KB/s], Decompressed: 699
Downloaded: 825 file(s) [attempted 825/8459 = 9%, 482 KB/s], Decompressed: 699
Downloaded: 867 file(s) [attempted 867/8459 = 10%, 271 KB/s], Decompressed: 760
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 618 KB/s], Decompressed: 829
Downloaded: 949 file(s) [attempted 949/8459 = 11%, 313 KB/s], Decompressed: 829
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 885 KB/s], Decompressed: 829
Downloaded: 1034 file(s) [attempted 1034/8459 = 12%, 1880 KB/s], Decompressed: 908
Downloaded: 1075 file(s) [attempted 1075/8459 = 12%, 90 KB/s], Decompressed: 993
Downloaded: 1116 file(s) [attempted 1116/8459 = 13%, 82 KB/s], Decompressed: 993
Downloaded: 1154 file(s) [attempted 1154/8459 = 13%, 2019 KB/s], Decompressed: 993
Downloaded: 1192 file(s) [attempted 1192/8459 = 14%, 111 KB/s], Decompressed: 1075
Downloaded: 1233 file(s) [attempted 1233/8459 = 14%, 1153 KB/s], Decompressed: 1075
Downloaded: 1280 file(s) [attempted 1280/8459 = 15%, 537 KB/s], Decompressed: 1164
Downloaded: 1325 file(s) [attempted 1325/8459 = 15%, 94 KB/s], Decompressed: 1164
Downloaded: 1366 file(s) [attempted 1366/8459 = 16%, 155 KB/s], Decompressed: 1250
Downloaded: 1407 file(s) [attempted 1407/8459 = 16%, 715 KB/s], Decompressed: 1250
Downloaded: 1445 file(s) [attempted 1445/8459 = 17%, 274 KB/s], Decompressed: 1339
Downloaded: 1482 file(s) [attempted 1482/8459 = 17%, 111 KB/s], Decompressed: 1339
Downloaded: 1523 file(s) [attempted 1523/8459 = 18%, 75 KB/s], Decompressed: 1339
Downloaded: 1571 file(s) [attempted 1571/8459 = 18%, 115 KB/s], Decompressed: 1434
Downloaded: 1609 file(s) [attempted 1609/8459 = 19%, 32 KB/s], Decompressed: 1434
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 232 KB/s], Decompressed: 1530
Downloaded: 1680 file(s) [attempted 1680/8459 = 19%, 396 KB/s], Decompressed: 1530
Downloaded: 1728 file(s) [attempted 1728/8459 = 20%, 294 KB/s], Decompressed: 1530
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 142 KB/s], Decompressed: 1629
Downloaded: 1814 file(s) [attempted 1814/8459 = 21%, 309 KB/s], Decompressed: 1629
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 215 KB/s], Decompressed: 1729
Downloaded: 1886 file(s) [attempted 1886/8459 = 22%, 316 KB/s], Decompressed: 1729
Downloaded: 1927 file(s) [attempted 1927/8459 = 22%, 73 KB/s], Decompressed: 1729
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 2346 KB/s], Decompressed: 1838
Downloaded: 2009 file(s) [attempted 2009/8459 = 23%, 23 KB/s], Decompressed: 1838
Downloaded: 2053 file(s) [attempted 2053/8459 = 24%, 688 KB/s], Decompressed: 1934
Downloaded: 2091 file(s) [attempted 2091/8459 = 24%, 668 KB/s], Decompressed: 1934
Downloaded: 2128 file(s) [attempted 2128/8459 = 25%, 1342 KB/s], Decompressed: 1934
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 53 KB/s], Decompressed: 2029
Downloaded: 2217 file(s) [attempted 2217/8459 = 26%, 346 KB/s], Decompressed: 2029
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 323 KB/s], Decompressed: 2142
Downloaded: 2303 file(s) [attempted 2303/8459 = 27%, 135 KB/s], Decompressed: 2142
Downloaded: 2340 file(s) [attempted 2340/8459 = 27%, 244 KB/s], Decompressed: 2142
Downloaded: 2378 file(s) [attempted 2378/8459 = 28%, 597 KB/s], Decompressed: 2255
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 464 KB/s], Decompressed: 2255
Downloaded: 2460 file(s) [attempted 2460/8459 = 29%, 355 KB/s], Decompressed: 2255
Downloaded: 2501 file(s) [attempted 2501/8459 = 29%, 209 KB/s], Decompressed: 2368
Downloaded: 2539 file(s) [attempted 2539/8459 = 30%, 164 KB/s], Decompressed: 2368
Downloaded: 2573 file(s) [attempted 2573/8459 = 30%, 160 KB/s], Decompressed: 2368
Downloaded: 2617 file(s) [attempted 2617/8459 = 30%, 291 KB/s], Decompressed: 2368
Downloaded: 2662 file(s) [attempted 2662/8459 = 31%, 1729 KB/s], Decompressed: 2487
Downloaded: 2703 file(s) [attempted 2703/8459 = 31%, 128 KB/s], Decompressed: 2487
Downloaded: 2744 file(s) [attempted 2744/8459 = 32%, 3292 KB/s], Decompressed: 2487
Downloaded: 2782 file(s) [attempted 2782/8459 = 32%, 124 KB/s], Decompressed: 2621
Downloaded: 2819 file(s) [attempted 2819/8459 = 33%, 229 KB/s], Decompressed: 2621
Downloaded: 2860 file(s) [attempted 2860/8459 = 33%, 491 KB/s], Decompressed: 2621
Downloaded: 2901 file(s) [attempted 2901/8459 = 34%, 151 KB/s], Decompressed: 2621
Downloaded: 2942 file(s) [attempted 2942/8459 = 34%, 261 KB/s], Decompressed: 2621
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 325 KB/s], Decompressed: 2621
Downloaded: 3028 file(s) [attempted 3028/8459 = 35%, 179 KB/s], Decompressed: 2778
Downloaded: 3072 file(s) [attempted 3072/8459 = 36%, 905 KB/s], Decompressed: 2778
Downloaded: 3117 file(s) [attempted 3117/8459 = 36%, 144 KB/s], Decompressed: 2778
Downloaded: 3151 file(s) [attempted 3151/8459 = 37%, 230 KB/s], Decompressed: 2778
Downloaded: 3188 file(s) [attempted 3188/8459 = 37%, 237 KB/s], Decompressed: 2778
Downloaded: 3230 file(s) [attempted 3230/8459 = 38%, 161 KB/s], Decompressed: 2778
Downloaded: 3274 file(s) [attempted 3274/8459 = 38%, 69 KB/s], Decompressed: 2778
Downloaded: 3312 file(s) [attempted 3312/8459 = 39%, 1128 KB/s], Decompressed: 2778
Downloaded: 3356 file(s) [attempted 3356/8459 = 39%, 49 KB/s], Decompressed: 3007
Downloaded: 3390 file(s) [attempted 3390/8459 = 40%, 262 KB/s], Decompressed: 3007
Downloaded: 3431 file(s) [attempted 3431/8459 = 40%, 113 KB/s], Decompressed: 3007
Downloaded: 3472 file(s) [attempted 3472/8459 = 41%, 46 KB/s], Decompressed: 3007
Downloaded: 3517 file(s) [attempted 3517/8459 = 41%, 104 KB/s], Decompressed: 3007
Downloaded: 3558 file(s) [attempted 3558/8459 = 42%, 206 KB/s], Decompressed: 3007
Downloaded: 3597 file(s) [attempted 3597/8459 = 42%, 209 KB/s], Decompressed: 3007
Downloaded: 3630 file(s) [attempted 3630/8459 = 42%, 337 KB/s], Decompressed: 3007
Downloaded: 3667 file(s) [attempted 3667/8459 = 43%, 578 KB/s], Decompressed: 3315
Downloaded: 3712 file(s) [attempted 3712/8459 = 43%, 63 KB/s], Decompressed: 3315
Downloaded: 3763 file(s) [attempted 3763/8459 = 44%, 50 KB/s], Decompressed: 3315
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 33 KB/s], Decompressed: 3315
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 109 KB/s], Decompressed: 3315
Downloaded: 3914 file(s) [attempted 3914/8459 = 46%, 2486 KB/s], Decompressed: 3633
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 78 KB/s], Decompressed: 3633
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 46 KB/s], Decompressed: 3633
Downloaded: 4057 file(s) [attempted 4057/8459 = 47%, 391 KB/s], Decompressed: 3633
Downloaded: 4102 file(s) [attempted 4102/8459 = 48%, 432 KB/s], Decompressed: 3633
Downloaded: 4143 file(s) [attempted 4143/8459 = 48%, 37 KB/s], Decompressed: 3633
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 70 KB/s], Decompressed: 3633
Downloaded: 4201 file(s) [attempted 4201/8459 = 49%, 332 KB/s], Decompressed: 3914
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 55 KB/s], Decompressed: 3914
Downloaded: 4293 file(s) [attempted 4293/8459 = 50%, 299 KB/s], Decompressed: 3914
Downloaded: 4338 file(s) [attempted 4338/8459 = 51%, 214 KB/s], Decompressed: 3914
Downloaded: 4382 file(s) [attempted 4382/8459 = 51%, 814 KB/s], Decompressed: 3914
Downloaded: 4417 file(s) [attempted 4417/8459 = 52%, 68 KB/s], Decompressed: 3914
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 510 KB/s], Decompressed: 4197
Downloaded: 4488 file(s) [attempted 4488/8459 = 53%, 208 KB/s], Decompressed: 4197
Downloaded: 4536 file(s) [attempted 4536/8459 = 53%, 1052 KB/s], Decompressed: 4197
Downloaded: 4584 file(s) [attempted 4584/8459 = 54%, 160 KB/s], Decompressed: 4197
Downloaded: 4632 file(s) [attempted 4632/8459 = 54%, 1132 KB/s], Decompressed: 4197
Downloaded: 4679 file(s) [attempted 4679/8459 = 55%, 23 KB/s], Decompressed: 4440
Downloaded: 4721 file(s) [attempted 4721/8459 = 55%, 1639 KB/s], Decompressed: 4440
Downloaded: 4758 file(s) [attempted 4758/8459 = 56%, 88 KB/s], Decompressed: 4440
Downloaded: 4792 file(s) [attempted 4792/8459 = 56%, 51 KB/s], Decompressed: 4440
Downloaded: 4833 file(s) [attempted 4833/8459 = 57%, 49 KB/s], Decompressed: 4440
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 122 KB/s], Decompressed: 4652
Downloaded: 4919 file(s) [attempted 4919/8459 = 58%, 31 KB/s], Decompressed: 4652
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 281 KB/s], Decompressed: 4652
Downloaded: 4994 file(s) [attempted 4994/8459 = 59%, 1171 KB/s], Decompressed: 4652
Downloaded: 5035 file(s) [attempted 5035/8459 = 59%, 150 KB/s], Decompressed: 4652
Downloaded: 5080 file(s) [attempted 5080/8459 = 60%, 142 KB/s], Decompressed: 4871
Downloaded: 5127 file(s) [attempted 5127/8459 = 60%, 103 KB/s], Decompressed: 4871
Downloaded: 5172 file(s) [attempted 5172/8459 = 61%, 368 KB/s], Decompressed: 4871
Downloaded: 5210 file(s) [attempted 5210/8459 = 61%, 569 KB/s], Decompressed: 4871
Downloaded: 5251 file(s) [attempted 5251/8459 = 62%, 268 KB/s], Decompressed: 5062
Downloaded: 5298 file(s) [attempted 5298/8459 = 62%, 413 KB/s], Decompressed: 5062
Downloaded: 5339 file(s) [attempted 5339/8459 = 63%, 392 KB/s], Decompressed: 5062
Downloaded: 5377 file(s) [attempted 5377/8459 = 63%, 322 KB/s], Decompressed: 5216
Downloaded: 5411 file(s) [attempted 5411/8459 = 63%, 162 KB/s], Decompressed: 5216
Downloaded: 5456 file(s) [attempted 5456/8459 = 64%, 60 KB/s], Decompressed: 5216
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 278 KB/s], Decompressed: 5360
Downloaded: 5541 file(s) [attempted 5541/8459 = 65%, 302 KB/s], Decompressed: 5360
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 38 KB/s], Decompressed: 5360
Downloaded: 5613 file(s) [attempted 5613/8459 = 66%, 94 KB/s], Decompressed: 5497
Downloaded: 5657 file(s) [attempted 5657/8459 = 66%, 505 KB/s], Decompressed: 5497
Downloaded: 5702 file(s) [attempted 5702/8459 = 67%, 68 KB/s], Decompressed: 5497
Downloaded: 5743 file(s) [attempted 5743/8459 = 67%, 251 KB/s], Decompressed: 5608
Downloaded: 5781 file(s) [attempted 5781/8459 = 68%, 81 KB/s], Decompressed: 5608
Downloaded: 5822 file(s) [attempted 5822/8459 = 68%, 82 KB/s], Decompressed: 5709
Downloaded: 5860 file(s) [attempted 5860/8459 = 69%, 324 KB/s], Decompressed: 5709
Downloaded: 5904 file(s) [attempted 5904/8459 = 69%, 340 KB/s], Decompressed: 5709
Downloaded: 5952 file(s) [attempted 5952/8459 = 70%, 87 KB/s], Decompressed: 5805
Downloaded: 5993 file(s) [attempted 5993/8459 = 70%, 243 KB/s], Decompressed: 5805
Downloaded: 6030 file(s) [attempted 6030/8459 = 71%, 26 KB/s], Decompressed: 5805
Downloaded: 6071 file(s) [attempted 6071/8459 = 71%, 88 KB/s], Decompressed: 5921
Downloaded: 6116 file(s) [attempted 6116/8459 = 72%, 363 KB/s], Decompressed: 5921
Downloaded: 6153 file(s) [attempted 6153/8459 = 72%, 367 KB/s], Decompressed: 6047
Downloaded: 6198 file(s) [attempted 6198/8459 = 73%, 309 KB/s], Decompressed: 6047
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 647 KB/s], Decompressed: 6047
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 235 KB/s], Decompressed: 6153
Downloaded: 6314 file(s) [attempted 6314/8459 = 74%, 198 KB/s], Decompressed: 6153
Downloaded: 6348 file(s) [attempted 6348/8459 = 75%, 376 KB/s], Decompressed: 6252
Downloaded: 6393 file(s) [attempted 6393/8459 = 75%, 382 KB/s], Decompressed: 6252
Downloaded: 6434 file(s) [attempted 6434/8459 = 76%, 133 KB/s], Decompressed: 6252
Downloaded: 6478 file(s) [attempted 6478/8459 = 76%, 177 KB/s], Decompressed: 6348
Downloaded: 6519 file(s) [attempted 6519/8459 = 77%, 481 KB/s], Decompressed: 6348
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 284 KB/s], Decompressed: 6444
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 844 KB/s], Decompressed: 6444
Downloaded: 6635 file(s) [attempted 6635/8459 = 78%, 93 KB/s], Decompressed: 6536
Downloaded: 6683 file(s) [attempted 6683/8459 = 79%, 334 KB/s], Decompressed: 6536
Downloaded: 6731 file(s) [attempted 6731/8459 = 79%, 119 KB/s], Decompressed: 6629
Downloaded: 6772 file(s) [attempted 6772/8459 = 80%, 117 KB/s], Decompressed: 6629
Downloaded: 6813 file(s) [attempted 6813/8459 = 80%, 34 KB/s], Decompressed: 6714
Downloaded: 6854 file(s) [attempted 6854/8459 = 81%, 296 KB/s], Decompressed: 6714
Downloaded: 6899 file(s) [attempted 6899/8459 = 81%, 1856 KB/s], Decompressed: 6789
Downloaded: 6936 file(s) [attempted 6936/8459 = 81%, 303 KB/s], Decompressed: 6789
Downloaded: 6981 file(s) [attempted 6981/8459 = 82%, 160 KB/s], Decompressed: 6871
Downloaded: 7018 file(s) [attempted 7018/8459 = 82%, 113 KB/s], Decompressed: 6871
Downloaded: 7063 file(s) [attempted 7063/8459 = 83%, 1165 KB/s], Decompressed: 6953
Downloaded: 7100 file(s) [attempted 7100/8459 = 83%, 290 KB/s], Decompressed: 6953
Downloaded: 7138 file(s) [attempted 7138/8459 = 84%, 120 KB/s], Decompressed: 7036
Downloaded: 7179 file(s) [attempted 7179/8459 = 84%, 966 KB/s], Decompressed: 7036
Downloaded: 7220 file(s) [attempted 7220/8459 = 85%, 336 KB/s], Decompressed: 7114
Downloaded: 7261 file(s) [attempted 7261/8459 = 85%, 125 KB/s], Decompressed: 7114
Downloaded: 7302 file(s) [attempted 7302/8459 = 86%, 1972 KB/s], Decompressed: 7193
Downloaded: 7343 file(s) [attempted 7343/8459 = 86%, 112 KB/s], Decompressed: 7193
Downloaded: 7377 file(s) [attempted 7377/8459 = 87%, 421 KB/s], Decompressed: 7271
Downloaded: 7418 file(s) [attempted 7418/8459 = 87%, 121 KB/s], Decompressed: 7271
Downloaded: 7460 file(s) [attempted 7460/8459 = 88%, 460 KB/s], Decompressed: 7354
Downloaded: 7501 file(s) [attempted 7501/8459 = 88%, 152 KB/s], Decompressed: 7419
Downloaded: 7538 file(s) [attempted 7538/8459 = 89%, 159 KB/s], Decompressed: 7419
Downloaded: 7572 file(s) [attempted 7572/8459 = 89%, 270 KB/s], Decompressed: 7487
Downloaded: 7617 file(s) [attempted 7617/8459 = 90%, 535 KB/s], Decompressed: 7487
Downloaded: 7658 file(s) [attempted 7658/8459 = 90%, 469 KB/s], Decompressed: 7562
Downloaded: 7699 file(s) [attempted 7699/8459 = 91%, 98 KB/s], Decompressed: 7562
Downloaded: 7733 file(s) [attempted 7733/8459 = 91%, 28 KB/s], Decompressed: 7644
Downloaded: 7771 file(s) [attempted 7771/8459 = 91%, 174 KB/s], Decompressed: 7644
Downloaded: 7812 file(s) [attempted 7812/8459 = 92%, 242 KB/s], Decompressed: 7644
Downloaded: 7856 file(s) [attempted 7856/8459 = 92%, 23 KB/s], Decompressed: 7726
Downloaded: 7897 file(s) [attempted 7897/8459 = 93%, 4360 KB/s], Decompressed: 7726
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 626 KB/s], Decompressed: 7726
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 375 KB/s], Decompressed: 7836
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 207 KB/s], Decompressed: 7836
Downloaded: 8055 file(s) [attempted 8055/8459 = 95%, 181 KB/s], Decompressed: 7836
Downloaded: 8096 file(s) [attempted 8096/8459 = 95%, 156 KB/s], Decompressed: 7962
Downloaded: 8140 file(s) [attempted 8140/8459 = 96%, 303 KB/s], Decompressed: 7962
Downloaded: 8181 file(s) [attempted 8181/8459 = 96%, 52 KB/s], Decompressed: 7962
Downloaded: 8225 file(s) [attempted 8225/8459 = 97%, 311 KB/s], Decompressed: 7962
Downloaded: 8263 file(s) [attempted 8263/8459 = 97%, 1584 KB/s], Decompressed: 8096
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 1161 KB/s], Decompressed: 8096
Downloaded: 8345 file(s) [attempted 8345/8459 = 98%, 78 KB/s], Decompressed: 8096
Downloaded: 8386 file(s) [attempted 8386/8459 = 99%, 760 KB/s], Decompressed: 8096
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 257 KB/s], Decompressed: 8096
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 504 KB/s], Decompressed: 8260
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 504 KB/s], Decompressed: 8260

apx-runtime-resource-v1	apx-verifier-job-1732-runtime-lake_cache-4042190-1787658804364900635-0	4018176	4276224	21474836480	0	0	0	0	0	0	4715700224	4957638656	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/25/2026, 2:00:09 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (71s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (168s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (92s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (65s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (69s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (64s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (155s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (161s)
✔ [790/794] Built Iut.Foundations.QualitativeData (69s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (310s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1216s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1628s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1099s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (374s)
✔ [3974/3984] Built Iut.Foundations.SourceTateCurve (231s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (253s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1732-runtime-lean_checker-4042190-1787659147704673234-1 on attempt 2

blueprint_buildexit 1duration 17s · created 8/25/2026, 2:00:09 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1732-runtime-blueprint_build-4042190-1787666390198366928-2	942080	1449984	21474836480	0	0	0	0	0	0	888750080	992059392	21474836480	0	0	0	0	0	0