Verification run

Run 1296

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

failedcommit d7a9b4b14f3btoolchain 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-atlas --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1755-source
exit_code=Some(128) duration_ms=231
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1755-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=3524
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1755-source'...


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

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 d7a9b4b split the scalar extension cover into strict sheets

Resolved source revision: d7a9b4b14f3bb18829818e208ed7582da31d8a30

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=d7a9b4b14f3bb18829818e208ed7582da31d8a30 provenance={"branch":"e21-924-checkpoint-atlas","checked_out_revision":"d7a9b4b14f3bb18829818e208ed7582da31d8a30","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"d7a9b4b14f3bb18829818e208ed7582da31d8a30","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=6420 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=188816
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 (49s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (111ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (180ms)
✔ [13/25] Built Cache.Lean:c.o (120ms)
✔ [15/25] Built Cache.Init (396ms)
✔ [16/25] Built Cache.IO (7.7s)
✔ [17/25] Built Cache.Init:c.o (79ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (940ms)
✔ [20/25] Built Cache.Hashing:c.o (393ms)
✔ [21/25] Built Cache.Requests (2.2s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (559ms)
✔ [25/25] Built cache:exe (9.2s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 12 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 11 KB/s], Decompressed: 10
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 23 KB/s], Decompressed: 24
Downloaded: 59 file(s) [attempted 59/8459 = 0%, 30 KB/s], Decompressed: 32
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 187 KB/s], Decompressed: 46
Downloaded: 107 file(s) [attempted 107/8459 = 1%, 116 KB/s], Decompressed: 85
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 255 KB/s], Decompressed: 107
Downloaded: 172 file(s) [attempted 172/8459 = 2%, 681 KB/s], Decompressed: 134
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 337 KB/s], Decompressed: 168
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 302 KB/s], Decompressed: 168
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 172 KB/s], Decompressed: 209
Downloaded: 309 file(s) [attempted 309/8459 = 3%, 490 KB/s], Decompressed: 250
Downloaded: 350 file(s) [attempted 350/8459 = 4%, 850 KB/s], Decompressed: 288
Downloaded: 387 file(s) [attempted 387/8459 = 4%, 1139 KB/s], Decompressed: 329
Downloaded: 432 file(s) [attempted 432/8459 = 5%, 277 KB/s], Decompressed: 374
Downloaded: 466 file(s) [attempted 466/8459 = 5%, 156 KB/s], Decompressed: 374
Downloaded: 504 file(s) [attempted 504/8459 = 5%, 105 KB/s], Decompressed: 418
Downloaded: 541 file(s) [attempted 541/8459 = 6%, 345 KB/s], Decompressed: 470
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 295 KB/s], Decompressed: 470
Downloaded: 624 file(s) [attempted 624/8459 = 7%, 157 KB/s], Decompressed: 528
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 331 KB/s], Decompressed: 582
Downloaded: 702 file(s) [attempted 702/8459 = 8%, 271 KB/s], Decompressed: 582
Downloaded: 742 file(s) [attempted 742/8459 = 8%, 450 KB/s], Decompressed: 641
Downloaded: 778 file(s) [attempted 778/8459 = 9%, 71 KB/s], Decompressed: 641
Downloaded: 822 file(s) [attempted 822/8459 = 9%, 172 KB/s], Decompressed: 713
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 527 KB/s], Decompressed: 781
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 54 KB/s], Decompressed: 781
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 177 KB/s], Decompressed: 853
Downloaded: 986 file(s) [attempted 986/8459 = 11%, 112 KB/s], Decompressed: 853
Downloaded: 1027 file(s) [attempted 1027/8459 = 12%, 299 KB/s], Decompressed: 928
Downloaded: 1068 file(s) [attempted 1068/8459 = 12%, 290 KB/s], Decompressed: 1000
Downloaded: 1113 file(s) [attempted 1113/8459 = 13%, 438 KB/s], Decompressed: 1000
Downloaded: 1150 file(s) [attempted 1150/8459 = 13%, 362 KB/s], Decompressed: 1068
Downloaded: 1188 file(s) [attempted 1188/8459 = 14%, 942 KB/s], Decompressed: 1068
Downloaded: 1229 file(s) [attempted 1229/8459 = 14%, 288 KB/s], Decompressed: 1140
Downloaded: 1274 file(s) [attempted 1274/8459 = 15%, 116 KB/s], Decompressed: 1140
Downloaded: 1315 file(s) [attempted 1315/8459 = 15%, 23 KB/s], Decompressed: 1222
Downloaded: 1352 file(s) [attempted 1352/8459 = 15%, 353 KB/s], Decompressed: 1222
Downloaded: 1393 file(s) [attempted 1393/8459 = 16%, 789 KB/s], Decompressed: 1308
Downloaded: 1434 file(s) [attempted 1434/8459 = 16%, 683 KB/s], Decompressed: 1308
Downloaded: 1479 file(s) [attempted 1479/8459 = 17%, 1428 KB/s], Decompressed: 1393
Downloaded: 1520 file(s) [attempted 1520/8459 = 17%, 271 KB/s], Decompressed: 1393
Downloaded: 1564 file(s) [attempted 1564/8459 = 18%, 133 KB/s], Decompressed: 1472
Downloaded: 1605 file(s) [attempted 1605/8459 = 18%, 439 KB/s], Decompressed: 1540
Downloaded: 1645 file(s) [attempted 1645/8459 = 19%, 199 KB/s], Decompressed: 1540
Downloaded: 1684 file(s) [attempted 1684/8459 = 19%, 575 KB/s], Decompressed: 1605
Downloaded: 1722 file(s) [attempted 1722/8459 = 20%, 82 KB/s], Decompressed: 1605
Downloaded: 1766 file(s) [attempted 1766/8459 = 20%, 129 KB/s], Decompressed: 1667
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 244 KB/s], Decompressed: 1732
Downloaded: 1851 file(s) [attempted 1851/8459 = 21%, 478 KB/s], Decompressed: 1732
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 64 KB/s], Decompressed: 1800
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 297 KB/s], Decompressed: 1865
Downloaded: 1971 file(s) [attempted 1971/8459 = 23%, 99 KB/s], Decompressed: 1865
Downloaded: 2009 file(s) [attempted 2009/8459 = 23%, 267 KB/s], Decompressed: 1927
Downloaded: 2050 file(s) [attempted 2050/8459 = 24%, 115 KB/s], Decompressed: 1927
Downloaded: 2091 file(s) [attempted 2091/8459 = 24%, 130 KB/s], Decompressed: 1927
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 947 KB/s], Decompressed: 1999
Downloaded: 2176 file(s) [attempted 2176/8459 = 25%, 474 KB/s], Decompressed: 1999
Downloaded: 2217 file(s) [attempted 2217/8459 = 26%, 414 KB/s], Decompressed: 1999
Downloaded: 2258 file(s) [attempted 2258/8459 = 26%, 279 KB/s], Decompressed: 2108
Downloaded: 2299 file(s) [attempted 2299/8459 = 27%, 208 KB/s], Decompressed: 2108
Downloaded: 2337 file(s) [attempted 2337/8459 = 27%, 84 KB/s], Decompressed: 2108
Downloaded: 2378 file(s) [attempted 2378/8459 = 28%, 98 KB/s], Decompressed: 2108
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 114 KB/s], Decompressed: 2234
Downloaded: 2460 file(s) [attempted 2460/8459 = 29%, 357 KB/s], Decompressed: 2234
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 89 KB/s], Decompressed: 2234
Downloaded: 2542 file(s) [attempted 2542/8459 = 30%, 464 KB/s], Decompressed: 2234
Downloaded: 2583 file(s) [attempted 2583/8459 = 30%, 34 KB/s], Decompressed: 2405
Downloaded: 2624 file(s) [attempted 2624/8459 = 31%, 430 KB/s], Decompressed: 2405
Downloaded: 2665 file(s) [attempted 2665/8459 = 31%, 128 KB/s], Decompressed: 2405
Downloaded: 2706 file(s) [attempted 2706/8459 = 31%, 120 KB/s], Decompressed: 2563
Downloaded: 2751 file(s) [attempted 2751/8459 = 32%, 125 KB/s], Decompressed: 2563
Downloaded: 2792 file(s) [attempted 2792/8459 = 33%, 110 KB/s], Decompressed: 2563
Downloaded: 2833 file(s) [attempted 2833/8459 = 33%, 70 KB/s], Decompressed: 2700
Downloaded: 2874 file(s) [attempted 2874/8459 = 33%, 549 KB/s], Decompressed: 2700
Downloaded: 2908 file(s) [attempted 2908/8459 = 34%, 252 KB/s], Decompressed: 2700
Downloaded: 2953 file(s) [attempted 2953/8459 = 34%, 289 KB/s], Decompressed: 2700
Downloaded: 2976 file(s) [attempted 2976/8459 = 35%, 98 KB/s], Decompressed: 2700
Downloaded: 2977 file(s) [attempted 2977/8459 = 35%, 488 KB/s], Decompressed: 2700
Downloaded: 2997 file(s) [attempted 2997/8459 = 35%, 175 KB/s], Decompressed: 2833
Downloaded: 3041 file(s) [attempted 3041/8459 = 35%, 70 KB/s], Decompressed: 2833
Downloaded: 3042 file(s) [attempted 3042/8459 = 35%, 87 KB/s], Decompressed: 2833
Downloaded: 3093 file(s) [attempted 3093/8459 = 36%, 119 KB/s], Decompressed: 2833
Downloaded: 3144 file(s) [attempted 3144/8459 = 37%, 650 KB/s], Decompressed: 2997
Downloaded: 3192 file(s) [attempted 3192/8459 = 37%, 24 KB/s], Decompressed: 2997
Downloaded: 3243 file(s) [attempted 3243/8459 = 38%, 39 KB/s], Decompressed: 2997
Downloaded: 3291 file(s) [attempted 3291/8459 = 38%, 311 KB/s], Decompressed: 2997
Downloaded: 3342 file(s) [attempted 3342/8459 = 39%, 473 KB/s], Decompressed: 3144
Downloaded: 3394 file(s) [attempted 3394/8459 = 40%, 533 KB/s], Decompressed: 3144
Downloaded: 3442 file(s) [attempted 3442/8459 = 40%, 66 KB/s], Decompressed: 3144
Downloaded: 3493 file(s) [attempted 3493/8459 = 41%, 1674 KB/s], Decompressed: 3301
Downloaded: 3541 file(s) [attempted 3541/8459 = 41%, 150 KB/s], Decompressed: 3301
Downloaded: 3582 file(s) [attempted 3582/8459 = 42%, 697 KB/s], Decompressed: 3301
Downloaded: 3609 file(s) [attempted 3609/8459 = 42%, 40 KB/s], Decompressed: 3452
Downloaded: 3650 file(s) [attempted 3650/8459 = 43%, 212 KB/s], Decompressed: 3452
Downloaded: 3695 file(s) [attempted 3695/8459 = 43%, 232 KB/s], Decompressed: 3452
Downloaded: 3739 file(s) [attempted 3739/8459 = 44%, 482 KB/s], Decompressed: 3595
Downloaded: 3777 file(s) [attempted 3777/8459 = 44%, 103 KB/s], Decompressed: 3595
Downloaded: 3811 file(s) [attempted 3811/8459 = 45%, 133 KB/s], Decompressed: 3595
Downloaded: 3859 file(s) [attempted 3859/8459 = 45%, 773 KB/s], Decompressed: 3712
Downloaded: 3896 file(s) [attempted 3896/8459 = 46%, 138 KB/s], Decompressed: 3712
Downloaded: 3937 file(s) [attempted 3937/8459 = 46%, 883 KB/s], Decompressed: 3712
Downloaded: 3978 file(s) [attempted 3978/8459 = 47%, 293 KB/s], Decompressed: 3835
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 317 KB/s], Decompressed: 3835
Downloaded: 4057 file(s) [attempted 4057/8459 = 47%, 272 KB/s], Decompressed: 3835
Downloaded: 4098 file(s) [attempted 4098/8459 = 48%, 148 KB/s], Decompressed: 3961
Downloaded: 4139 file(s) [attempted 4139/8459 = 48%, 56 KB/s], Decompressed: 3961
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 291 KB/s], Decompressed: 3961
Downloaded: 4218 file(s) [attempted 4218/8459 = 49%, 308 KB/s], Decompressed: 3961
Downloaded: 4262 file(s) [attempted 4262/8459 = 50%, 406 KB/s], Decompressed: 4095
Downloaded: 4310 file(s) [attempted 4310/8459 = 50%, 247 KB/s], Decompressed: 4095
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 311 KB/s], Decompressed: 4095
Downloaded: 4409 file(s) [attempted 4409/8459 = 52%, 86 KB/s], Decompressed: 4255
Downloaded: 4457 file(s) [attempted 4457/8459 = 52%, 218 KB/s], Decompressed: 4255
Downloaded: 4508 file(s) [attempted 4508/8459 = 53%, 398 KB/s], Decompressed: 4255
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 1478 KB/s], Decompressed: 4409
Downloaded: 4608 file(s) [attempted 4608/8459 = 54%, 3537 KB/s], Decompressed: 4409
Downloaded: 4652 file(s) [attempted 4652/8459 = 54%, 501 KB/s], Decompressed: 4409
Downloaded: 4693 file(s) [attempted 4693/8459 = 55%, 1348 KB/s], Decompressed: 4553
Downloaded: 4724 file(s) [attempted 4724/8459 = 55%, 680 KB/s], Decompressed: 4553
Downloaded: 4764 file(s) [attempted 4764/8459 = 56%, 623 KB/s], Decompressed: 4662
Downloaded: 4809 file(s) [attempted 4809/8459 = 56%, 480 KB/s], Decompressed: 4662
Downloaded: 4857 file(s) [attempted 4857/8459 = 57%, 63 KB/s], Decompressed: 4762
Downloaded: 4905 file(s) [attempted 4905/8459 = 57%, 171 KB/s], Decompressed: 4762
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 194 KB/s], Decompressed: 4857
Downloaded: 5004 file(s) [attempted 5004/8459 = 59%, 81 KB/s], Decompressed: 4857
Downloaded: 5056 file(s) [attempted 5056/8459 = 59%, 97 KB/s], Decompressed: 4956
Downloaded: 5103 file(s) [attempted 5103/8459 = 60%, 2102 KB/s], Decompressed: 4956
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 127 KB/s], Decompressed: 4956
Downloaded: 5199 file(s) [attempted 5199/8459 = 61%, 171 KB/s], Decompressed: 5056
Downloaded: 5240 file(s) [attempted 5240/8459 = 61%, 50 KB/s], Decompressed: 5056
Downloaded: 5278 file(s) [attempted 5278/8459 = 62%, 261 KB/s], Decompressed: 5172
Downloaded: 5312 file(s) [attempted 5312/8459 = 62%, 302 KB/s], Decompressed: 5172
Downloaded: 5357 file(s) [attempted 5357/8459 = 63%, 3012 KB/s], Decompressed: 5278
Downloaded: 5404 file(s) [attempted 5404/8459 = 63%, 215 KB/s], Decompressed: 5278
Downloaded: 5449 file(s) [attempted 5449/8459 = 64%, 100 KB/s], Decompressed: 5278
Downloaded: 5490 file(s) [attempted 5490/8459 = 64%, 125 KB/s], Decompressed: 5357
Downloaded: 5527 file(s) [attempted 5527/8459 = 65%, 599 KB/s], Decompressed: 5357
Downloaded: 5569 file(s) [attempted 5569/8459 = 65%, 831 KB/s], Decompressed: 5459
Downloaded: 5610 file(s) [attempted 5610/8459 = 66%, 280 KB/s], Decompressed: 5459
Downloaded: 5654 file(s) [attempted 5654/8459 = 66%, 1418 KB/s], Decompressed: 5555
Downloaded: 5695 file(s) [attempted 5695/8459 = 67%, 110 KB/s], Decompressed: 5555
Downloaded: 5736 file(s) [attempted 5736/8459 = 67%, 99 KB/s], Decompressed: 5654
Downloaded: 5774 file(s) [attempted 5774/8459 = 68%, 199 KB/s], Decompressed: 5654
Downloaded: 5818 file(s) [attempted 5818/8459 = 68%, 201 KB/s], Decompressed: 5733
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 364 KB/s], Decompressed: 5733
Downloaded: 5897 file(s) [attempted 5897/8459 = 69%, 781 KB/s], Decompressed: 5801
Downloaded: 5934 file(s) [attempted 5934/8459 = 70%, 34 KB/s], Decompressed: 5863
Downloaded: 5975 file(s) [attempted 5975/8459 = 70%, 554 KB/s], Decompressed: 5917
Downloaded: 6023 file(s) [attempted 6023/8459 = 71%, 278 KB/s], Decompressed: 5917
Downloaded: 6064 file(s) [attempted 6064/8459 = 71%, 225 KB/s], Decompressed: 5972
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 68 KB/s], Decompressed: 6027
Downloaded: 6140 file(s) [attempted 6140/8459 = 72%, 265 KB/s], Decompressed: 6081
Downloaded: 6177 file(s) [attempted 6177/8459 = 73%, 674 KB/s], Decompressed: 6081
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 132 KB/s], Decompressed: 6136
Downloaded: 6266 file(s) [attempted 6266/8459 = 74%, 376 KB/s], Decompressed: 6194
Downloaded: 6307 file(s) [attempted 6307/8459 = 74%, 501 KB/s], Decompressed: 6194
Downloaded: 6345 file(s) [attempted 6345/8459 = 75%, 57 KB/s], Decompressed: 6256
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 382 KB/s], Decompressed: 6311
Downloaded: 6427 file(s) [attempted 6427/8459 = 75%, 739 KB/s], Decompressed: 6311
Downloaded: 6471 file(s) [attempted 6471/8459 = 76%, 268 KB/s], Decompressed: 6372
Downloaded: 6519 file(s) [attempted 6519/8459 = 77%, 257 KB/s], Decompressed: 6444
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 581 KB/s], Decompressed: 6444
Downloaded: 6598 file(s) [attempted 6598/8459 = 77%, 113 KB/s], Decompressed: 6444
Downloaded: 6633 file(s) [attempted 6633/8459 = 78%, 251 KB/s], Decompressed: 6519
Downloaded: 6676 file(s) [attempted 6676/8459 = 78%, 533 KB/s], Decompressed: 6519
Downloaded: 6721 file(s) [attempted 6721/8459 = 79%, 359 KB/s], Decompressed: 6605
Downloaded: 6758 file(s) [attempted 6758/8459 = 79%, 1135 KB/s], Decompressed: 6680
Downloaded: 6796 file(s) [attempted 6796/8459 = 80%, 86 KB/s], Decompressed: 6680
Downloaded: 6837 file(s) [attempted 6837/8459 = 80%, 41 KB/s], Decompressed: 6758
Downloaded: 6878 file(s) [attempted 6878/8459 = 81%, 648 KB/s], Decompressed: 6758
Downloaded: 6926 file(s) [attempted 6926/8459 = 81%, 189 KB/s], Decompressed: 6830
Downloaded: 6967 file(s) [attempted 6967/8459 = 82%, 189 KB/s], Decompressed: 6830
Downloaded: 7008 file(s) [attempted 7008/8459 = 82%, 108 KB/s], Decompressed: 6906
Downloaded: 7046 file(s) [attempted 7046/8459 = 83%, 1920 KB/s], Decompressed: 6977
Downloaded: 7083 file(s) [attempted 7083/8459 = 83%, 796 KB/s], Decompressed: 6977
Downloaded: 7128 file(s) [attempted 7128/8459 = 84%, 1290 KB/s], Decompressed: 7042
Downloaded: 7172 file(s) [attempted 7172/8459 = 84%, 37 KB/s], Decompressed: 7107
Downloaded: 7210 file(s) [attempted 7210/8459 = 85%, 169 KB/s], Decompressed: 7107
Downloaded: 7254 file(s) [attempted 7254/8459 = 85%, 39 KB/s], Decompressed: 7172
Downloaded: 7292 file(s) [attempted 7292/8459 = 86%, 36 KB/s], Decompressed: 7172
Downloaded: 7330 file(s) [attempted 7330/8459 = 86%, 157 KB/s], Decompressed: 7234
Downloaded: 7374 file(s) [attempted 7374/8459 = 87%, 367 KB/s], Decompressed: 7234
Downloaded: 7412 file(s) [attempted 7412/8459 = 87%, 48 KB/s], Decompressed: 7302
Downloaded: 7449 file(s) [attempted 7449/8459 = 88%, 263 KB/s], Decompressed: 7302
Downloaded: 7491 file(s) [attempted 7491/8459 = 88%, 291 KB/s], Decompressed: 7302
Downloaded: 7531 file(s) [attempted 7531/8459 = 89%, 580 KB/s], Decompressed: 7401
Downloaded: 7576 file(s) [attempted 7576/8459 = 89%, 65 KB/s], Decompressed: 7401
Downloaded: 7617 file(s) [attempted 7617/8459 = 90%, 33 KB/s], Decompressed: 7401
Downloaded: 7654 file(s) [attempted 7654/8459 = 90%, 103 KB/s], Decompressed: 7401
Downloaded: 7695 file(s) [attempted 7695/8459 = 90%, 112 KB/s], Decompressed: 7524
Downloaded: 7736 file(s) [attempted 7736/8459 = 91%, 123 KB/s], Decompressed: 7524
Downloaded: 7777 file(s) [attempted 7777/8459 = 91%, 183 KB/s], Decompressed: 7524
Downloaded: 7815 file(s) [attempted 7815/8459 = 92%, 22 KB/s], Decompressed: 7524
Downloaded: 7856 file(s) [attempted 7856/8459 = 92%, 23 KB/s], Decompressed: 7524
Downloaded: 7894 file(s) [attempted 7894/8459 = 93%, 1228 KB/s], Decompressed: 7678
Downloaded: 7938 file(s) [attempted 7938/8459 = 93%, 321 KB/s], Decompressed: 7678
Downloaded: 7979 file(s) [attempted 7979/8459 = 94%, 882 KB/s], Decompressed: 7678
Downloaded: 8020 file(s) [attempted 8020/8459 = 94%, 45 KB/s], Decompressed: 7678
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 478 KB/s], Decompressed: 7678
Downloaded: 8102 file(s) [attempted 8102/8459 = 95%, 59 KB/s], Decompressed: 7890
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 100 KB/s], Decompressed: 7890
Downloaded: 8184 file(s) [attempted 8184/8459 = 96%, 358 KB/s], Decompressed: 7890
Downloaded: 8229 file(s) [attempted 8229/8459 = 97%, 295 KB/s], Decompressed: 7890
Downloaded: 8266 file(s) [attempted 8266/8459 = 97%, 1112 KB/s], Decompressed: 7890
Downloaded: 8307 file(s) [attempted 8307/8459 = 98%, 63 KB/s], Decompressed: 8085
Downloaded: 8349 file(s) [attempted 8349/8459 = 98%, 888 KB/s], Decompressed: 8085
Downloaded: 8390 file(s) [attempted 8390/8459 = 99%, 86 KB/s], Decompressed: 8085
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 417 KB/s], Decompressed: 8085
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 112 KB/s], Decompressed: 8284
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 112 KB/s], Decompressed: 8284

apx-runtime-resource-v1	apx-verifier-job-1755-runtime-lake_cache-769351-1788220898629328622-0	3760128	4014080	21474836480	0	0	0	0	0	0	5218115584	5456187392	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200008
stdout:
✔ [500/502] Built Iut.Foundations.Species (76s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (77s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (215s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (230s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (115s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (204s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (136s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (118s)
✔ [790/794] Built Iut.Foundations.QualitativeData (189s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (487s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (880s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1025s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1280s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (434s)
✔ [3971/3990] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapHomotopy (1008s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1755-runtime-lean_checker-769351-1788221087454006876-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1755-runtime-blueprint_build-769351-1788228288155563405-2	929792	1441792	21474836480	0	0	0	0	0	0	793702400	891424768	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 231 ms · created 9/1/2026, 2:05:37 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1755-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 9/1/2026, 2:05:37 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 359 ms · created 9/1/2026, 2:05:37 AM

git checkout d7a9b4b14f3bb18829818e208ed7582da31d8a30

Note: switching to 'd7a9b4b14f3bb18829818e208ed7582da31d8a30'.

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 d7a9b4b split the scalar extension cover into strict sheets

lake_cacheexit 0duration 3m 9s · created 9/1/2026, 2:05:37 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 (49s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (111ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (180ms)
✔ [13/25] Built Cache.Lean:c.o (120ms)
✔ [15/25] Built Cache.Init (396ms)
✔ [16/25] Built Cache.IO (7.7s)
✔ [17/25] Built Cache.Init:c.o (79ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (940ms)
✔ [20/25] Built Cache.Hashing:c.o (393ms)
✔ [21/25] Built Cache.Requests (2.2s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (559ms)
✔ [25/25] Built cache:exe (9.2s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 12 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 11 KB/s], Decompressed: 10
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 23 KB/s], Decompressed: 24
Downloaded: 59 file(s) [attempted 59/8459 = 0%, 30 KB/s], Decompressed: 32
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 187 KB/s], Decompressed: 46
Downloaded: 107 file(s) [attempted 107/8459 = 1%, 116 KB/s], Decompressed: 85
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 255 KB/s], Decompressed: 107
Downloaded: 172 file(s) [attempted 172/8459 = 2%, 681 KB/s], Decompressed: 134
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 337 KB/s], Decompressed: 168
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 302 KB/s], Decompressed: 168
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 172 KB/s], Decompressed: 209
Downloaded: 309 file(s) [attempted 309/8459 = 3%, 490 KB/s], Decompressed: 250
Downloaded: 350 file(s) [attempted 350/8459 = 4%, 850 KB/s], Decompressed: 288
Downloaded: 387 file(s) [attempted 387/8459 = 4%, 1139 KB/s], Decompressed: 329
Downloaded: 432 file(s) [attempted 432/8459 = 5%, 277 KB/s], Decompressed: 374
Downloaded: 466 file(s) [attempted 466/8459 = 5%, 156 KB/s], Decompressed: 374
Downloaded: 504 file(s) [attempted 504/8459 = 5%, 105 KB/s], Decompressed: 418
Downloaded: 541 file(s) [attempted 541/8459 = 6%, 345 KB/s], Decompressed: 470
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 295 KB/s], Decompressed: 470
Downloaded: 624 file(s) [attempted 624/8459 = 7%, 157 KB/s], Decompressed: 528
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 331 KB/s], Decompressed: 582
Downloaded: 702 file(s) [attempted 702/8459 = 8%, 271 KB/s], Decompressed: 582
Downloaded: 742 file(s) [attempted 742/8459 = 8%, 450 KB/s], Decompressed: 641
Downloaded: 778 file(s) [attempted 778/8459 = 9%, 71 KB/s], Decompressed: 641
Downloaded: 822 file(s) [attempted 822/8459 = 9%, 172 KB/s], Decompressed: 713
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 527 KB/s], Decompressed: 781
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 54 KB/s], Decompressed: 781
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 177 KB/s], Decompressed: 853
Downloaded: 986 file(s) [attempted 986/8459 = 11%, 112 KB/s], Decompressed: 853
Downloaded: 1027 file(s) [attempted 1027/8459 = 12%, 299 KB/s], Decompressed: 928
Downloaded: 1068 file(s) [attempted 1068/8459 = 12%, 290 KB/s], Decompressed: 1000
Downloaded: 1113 file(s) [attempted 1113/8459 = 13%, 438 KB/s], Decompressed: 1000
Downloaded: 1150 file(s) [attempted 1150/8459 = 13%, 362 KB/s], Decompressed: 1068
Downloaded: 1188 file(s) [attempted 1188/8459 = 14%, 942 KB/s], Decompressed: 1068
Downloaded: 1229 file(s) [attempted 1229/8459 = 14%, 288 KB/s], Decompressed: 1140
Downloaded: 1274 file(s) [attempted 1274/8459 = 15%, 116 KB/s], Decompressed: 1140
Downloaded: 1315 file(s) [attempted 1315/8459 = 15%, 23 KB/s], Decompressed: 1222
Downloaded: 1352 file(s) [attempted 1352/8459 = 15%, 353 KB/s], Decompressed: 1222
Downloaded: 1393 file(s) [attempted 1393/8459 = 16%, 789 KB/s], Decompressed: 1308
Downloaded: 1434 file(s) [attempted 1434/8459 = 16%, 683 KB/s], Decompressed: 1308
Downloaded: 1479 file(s) [attempted 1479/8459 = 17%, 1428 KB/s], Decompressed: 1393
Downloaded: 1520 file(s) [attempted 1520/8459 = 17%, 271 KB/s], Decompressed: 1393
Downloaded: 1564 file(s) [attempted 1564/8459 = 18%, 133 KB/s], Decompressed: 1472
Downloaded: 1605 file(s) [attempted 1605/8459 = 18%, 439 KB/s], Decompressed: 1540
Downloaded: 1645 file(s) [attempted 1645/8459 = 19%, 199 KB/s], Decompressed: 1540
Downloaded: 1684 file(s) [attempted 1684/8459 = 19%, 575 KB/s], Decompressed: 1605
Downloaded: 1722 file(s) [attempted 1722/8459 = 20%, 82 KB/s], Decompressed: 1605
Downloaded: 1766 file(s) [attempted 1766/8459 = 20%, 129 KB/s], Decompressed: 1667
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 244 KB/s], Decompressed: 1732
Downloaded: 1851 file(s) [attempted 1851/8459 = 21%, 478 KB/s], Decompressed: 1732
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 64 KB/s], Decompressed: 1800
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 297 KB/s], Decompressed: 1865
Downloaded: 1971 file(s) [attempted 1971/8459 = 23%, 99 KB/s], Decompressed: 1865
Downloaded: 2009 file(s) [attempted 2009/8459 = 23%, 267 KB/s], Decompressed: 1927
Downloaded: 2050 file(s) [attempted 2050/8459 = 24%, 115 KB/s], Decompressed: 1927
Downloaded: 2091 file(s) [attempted 2091/8459 = 24%, 130 KB/s], Decompressed: 1927
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 947 KB/s], Decompressed: 1999
Downloaded: 2176 file(s) [attempted 2176/8459 = 25%, 474 KB/s], Decompressed: 1999
Downloaded: 2217 file(s) [attempted 2217/8459 = 26%, 414 KB/s], Decompressed: 1999
Downloaded: 2258 file(s) [attempted 2258/8459 = 26%, 279 KB/s], Decompressed: 2108
Downloaded: 2299 file(s) [attempted 2299/8459 = 27%, 208 KB/s], Decompressed: 2108
Downloaded: 2337 file(s) [attempted 2337/8459 = 27%, 84 KB/s], Decompressed: 2108
Downloaded: 2378 file(s) [attempted 2378/8459 = 28%, 98 KB/s], Decompressed: 2108
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 114 KB/s], Decompressed: 2234
Downloaded: 2460 file(s) [attempted 2460/8459 = 29%, 357 KB/s], Decompressed: 2234
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 89 KB/s], Decompressed: 2234
Downloaded: 2542 file(s) [attempted 2542/8459 = 30%, 464 KB/s], Decompressed: 2234
Downloaded: 2583 file(s) [attempted 2583/8459 = 30%, 34 KB/s], Decompressed: 2405
Downloaded: 2624 file(s) [attempted 2624/8459 = 31%, 430 KB/s], Decompressed: 2405
Downloaded: 2665 file(s) [attempted 2665/8459 = 31%, 128 KB/s], Decompressed: 2405
Downloaded: 2706 file(s) [attempted 2706/8459 = 31%, 120 KB/s], Decompressed: 2563
Downloaded: 2751 file(s) [attempted 2751/8459 = 32%, 125 KB/s], Decompressed: 2563
Downloaded: 2792 file(s) [attempted 2792/8459 = 33%, 110 KB/s], Decompressed: 2563
Downloaded: 2833 file(s) [attempted 2833/8459 = 33%, 70 KB/s], Decompressed: 2700
Downloaded: 2874 file(s) [attempted 2874/8459 = 33%, 549 KB/s], Decompressed: 2700
Downloaded: 2908 file(s) [attempted 2908/8459 = 34%, 252 KB/s], Decompressed: 2700
Downloaded: 2953 file(s) [attempted 2953/8459 = 34%, 289 KB/s], Decompressed: 2700
Downloaded: 2976 file(s) [attempted 2976/8459 = 35%, 98 KB/s], Decompressed: 2700
Downloaded: 2977 file(s) [attempted 2977/8459 = 35%, 488 KB/s], Decompressed: 2700
Downloaded: 2997 file(s) [attempted 2997/8459 = 35%, 175 KB/s], Decompressed: 2833
Downloaded: 3041 file(s) [attempted 3041/8459 = 35%, 70 KB/s], Decompressed: 2833
Downloaded: 3042 file(s) [attempted 3042/8459 = 35%, 87 KB/s], Decompressed: 2833
Downloaded: 3093 file(s) [attempted 3093/8459 = 36%, 119 KB/s], Decompressed: 2833
Downloaded: 3144 file(s) [attempted 3144/8459 = 37%, 650 KB/s], Decompressed: 2997
Downloaded: 3192 file(s) [attempted 3192/8459 = 37%, 24 KB/s], Decompressed: 2997
Downloaded: 3243 file(s) [attempted 3243/8459 = 38%, 39 KB/s], Decompressed: 2997
Downloaded: 3291 file(s) [attempted 3291/8459 = 38%, 311 KB/s], Decompressed: 2997
Downloaded: 3342 file(s) [attempted 3342/8459 = 39%, 473 KB/s], Decompressed: 3144
Downloaded: 3394 file(s) [attempted 3394/8459 = 40%, 533 KB/s], Decompressed: 3144
Downloaded: 3442 file(s) [attempted 3442/8459 = 40%, 66 KB/s], Decompressed: 3144
Downloaded: 3493 file(s) [attempted 3493/8459 = 41%, 1674 KB/s], Decompressed: 3301
Downloaded: 3541 file(s) [attempted 3541/8459 = 41%, 150 KB/s], Decompressed: 3301
Downloaded: 3582 file(s) [attempted 3582/8459 = 42%, 697 KB/s], Decompressed: 3301
Downloaded: 3609 file(s) [attempted 3609/8459 = 42%, 40 KB/s], Decompressed: 3452
Downloaded: 3650 file(s) [attempted 3650/8459 = 43%, 212 KB/s], Decompressed: 3452
Downloaded: 3695 file(s) [attempted 3695/8459 = 43%, 232 KB/s], Decompressed: 3452
Downloaded: 3739 file(s) [attempted 3739/8459 = 44%, 482 KB/s], Decompressed: 3595
Downloaded: 3777 file(s) [attempted 3777/8459 = 44%, 103 KB/s], Decompressed: 3595
Downloaded: 3811 file(s) [attempted 3811/8459 = 45%, 133 KB/s], Decompressed: 3595
Downloaded: 3859 file(s) [attempted 3859/8459 = 45%, 773 KB/s], Decompressed: 3712
Downloaded: 3896 file(s) [attempted 3896/8459 = 46%, 138 KB/s], Decompressed: 3712
Downloaded: 3937 file(s) [attempted 3937/8459 = 46%, 883 KB/s], Decompressed: 3712
Downloaded: 3978 file(s) [attempted 3978/8459 = 47%, 293 KB/s], Decompressed: 3835
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 317 KB/s], Decompressed: 3835
Downloaded: 4057 file(s) [attempted 4057/8459 = 47%, 272 KB/s], Decompressed: 3835
Downloaded: 4098 file(s) [attempted 4098/8459 = 48%, 148 KB/s], Decompressed: 3961
Downloaded: 4139 file(s) [attempted 4139/8459 = 48%, 56 KB/s], Decompressed: 3961
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 291 KB/s], Decompressed: 3961
Downloaded: 4218 file(s) [attempted 4218/8459 = 49%, 308 KB/s], Decompressed: 3961
Downloaded: 4262 file(s) [attempted 4262/8459 = 50%, 406 KB/s], Decompressed: 4095
Downloaded: 4310 file(s) [attempted 4310/8459 = 50%, 247 KB/s], Decompressed: 4095
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 311 KB/s], Decompressed: 4095
Downloaded: 4409 file(s) [attempted 4409/8459 = 52%, 86 KB/s], Decompressed: 4255
Downloaded: 4457 file(s) [attempted 4457/8459 = 52%, 218 KB/s], Decompressed: 4255
Downloaded: 4508 file(s) [attempted 4508/8459 = 53%, 398 KB/s], Decompressed: 4255
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 1478 KB/s], Decompressed: 4409
Downloaded: 4608 file(s) [attempted 4608/8459 = 54%, 3537 KB/s], Decompressed: 4409
Downloaded: 4652 file(s) [attempted 4652/8459 = 54%, 501 KB/s], Decompressed: 4409
Downloaded: 4693 file(s) [attempted 4693/8459 = 55%, 1348 KB/s], Decompressed: 4553
Downloaded: 4724 file(s) [attempted 4724/8459 = 55%, 680 KB/s], Decompressed: 4553
Downloaded: 4764 file(s) [attempted 4764/8459 = 56%, 623 KB/s], Decompressed: 4662
Downloaded: 4809 file(s) [attempted 4809/8459 = 56%, 480 KB/s], Decompressed: 4662
Downloaded: 4857 file(s) [attempted 4857/8459 = 57%, 63 KB/s], Decompressed: 4762
Downloaded: 4905 file(s) [attempted 4905/8459 = 57%, 171 KB/s], Decompressed: 4762
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 194 KB/s], Decompressed: 4857
Downloaded: 5004 file(s) [attempted 5004/8459 = 59%, 81 KB/s], Decompressed: 4857
Downloaded: 5056 file(s) [attempted 5056/8459 = 59%, 97 KB/s], Decompressed: 4956
Downloaded: 5103 file(s) [attempted 5103/8459 = 60%, 2102 KB/s], Decompressed: 4956
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 127 KB/s], Decompressed: 4956
Downloaded: 5199 file(s) [attempted 5199/8459 = 61%, 171 KB/s], Decompressed: 5056
Downloaded: 5240 file(s) [attempted 5240/8459 = 61%, 50 KB/s], Decompressed: 5056
Downloaded: 5278 file(s) [attempted 5278/8459 = 62%, 261 KB/s], Decompressed: 5172
Downloaded: 5312 file(s) [attempted 5312/8459 = 62%, 302 KB/s], Decompressed: 5172
Downloaded: 5357 file(s) [attempted 5357/8459 = 63%, 3012 KB/s], Decompressed: 5278
Downloaded: 5404 file(s) [attempted 5404/8459 = 63%, 215 KB/s], Decompressed: 5278
Downloaded: 5449 file(s) [attempted 5449/8459 = 64%, 100 KB/s], Decompressed: 5278
Downloaded: 5490 file(s) [attempted 5490/8459 = 64%, 125 KB/s], Decompressed: 5357
Downloaded: 5527 file(s) [attempted 5527/8459 = 65%, 599 KB/s], Decompressed: 5357
Downloaded: 5569 file(s) [attempted 5569/8459 = 65%, 831 KB/s], Decompressed: 5459
Downloaded: 5610 file(s) [attempted 5610/8459 = 66%, 280 KB/s], Decompressed: 5459
Downloaded: 5654 file(s) [attempted 5654/8459 = 66%, 1418 KB/s], Decompressed: 5555
Downloaded: 5695 file(s) [attempted 5695/8459 = 67%, 110 KB/s], Decompressed: 5555
Downloaded: 5736 file(s) [attempted 5736/8459 = 67%, 99 KB/s], Decompressed: 5654
Downloaded: 5774 file(s) [attempted 5774/8459 = 68%, 199 KB/s], Decompressed: 5654
Downloaded: 5818 file(s) [attempted 5818/8459 = 68%, 201 KB/s], Decompressed: 5733
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 364 KB/s], Decompressed: 5733
Downloaded: 5897 file(s) [attempted 5897/8459 = 69%, 781 KB/s], Decompressed: 5801
Downloaded: 5934 file(s) [attempted 5934/8459 = 70%, 34 KB/s], Decompressed: 5863
Downloaded: 5975 file(s) [attempted 5975/8459 = 70%, 554 KB/s], Decompressed: 5917
Downloaded: 6023 file(s) [attempted 6023/8459 = 71%, 278 KB/s], Decompressed: 5917
Downloaded: 6064 file(s) [attempted 6064/8459 = 71%, 225 KB/s], Decompressed: 5972
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 68 KB/s], Decompressed: 6027
Downloaded: 6140 file(s) [attempted 6140/8459 = 72%, 265 KB/s], Decompressed: 6081
Downloaded: 6177 file(s) [attempted 6177/8459 = 73%, 674 KB/s], Decompressed: 6081
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 132 KB/s], Decompressed: 6136
Downloaded: 6266 file(s) [attempted 6266/8459 = 74%, 376 KB/s], Decompressed: 6194
Downloaded: 6307 file(s) [attempted 6307/8459 = 74%, 501 KB/s], Decompressed: 6194
Downloaded: 6345 file(s) [attempted 6345/8459 = 75%, 57 KB/s], Decompressed: 6256
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 382 KB/s], Decompressed: 6311
Downloaded: 6427 file(s) [attempted 6427/8459 = 75%, 739 KB/s], Decompressed: 6311
Downloaded: 6471 file(s) [attempted 6471/8459 = 76%, 268 KB/s], Decompressed: 6372
Downloaded: 6519 file(s) [attempted 6519/8459 = 77%, 257 KB/s], Decompressed: 6444
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 581 KB/s], Decompressed: 6444
Downloaded: 6598 file(s) [attempted 6598/8459 = 77%, 113 KB/s], Decompressed: 6444
Downloaded: 6633 file(s) [attempted 6633/8459 = 78%, 251 KB/s], Decompressed: 6519
Downloaded: 6676 file(s) [attempted 6676/8459 = 78%, 533 KB/s], Decompressed: 6519
Downloaded: 6721 file(s) [attempted 6721/8459 = 79%, 359 KB/s], Decompressed: 6605
Downloaded: 6758 file(s) [attempted 6758/8459 = 79%, 1135 KB/s], Decompressed: 6680
Downloaded: 6796 file(s) [attempted 6796/8459 = 80%, 86 KB/s], Decompressed: 6680
Downloaded: 6837 file(s) [attempted 6837/8459 = 80%, 41 KB/s], Decompressed: 6758
Downloaded: 6878 file(s) [attempted 6878/8459 = 81%, 648 KB/s], Decompressed: 6758
Downloaded: 6926 file(s) [attempted 6926/8459 = 81%, 189 KB/s], Decompressed: 6830
Downloaded: 6967 file(s) [attempted 6967/8459 = 82%, 189 KB/s], Decompressed: 6830
Downloaded: 7008 file(s) [attempted 7008/8459 = 82%, 108 KB/s], Decompressed: 6906
Downloaded: 7046 file(s) [attempted 7046/8459 = 83%, 1920 KB/s], Decompressed: 6977
Downloaded: 7083 file(s) [attempted 7083/8459 = 83%, 796 KB/s], Decompressed: 6977
Downloaded: 7128 file(s) [attempted 7128/8459 = 84%, 1290 KB/s], Decompressed: 7042
Downloaded: 7172 file(s) [attempted 7172/8459 = 84%, 37 KB/s], Decompressed: 7107
Downloaded: 7210 file(s) [attempted 7210/8459 = 85%, 169 KB/s], Decompressed: 7107
Downloaded: 7254 file(s) [attempted 7254/8459 = 85%, 39 KB/s], Decompressed: 7172
Downloaded: 7292 file(s) [attempted 7292/8459 = 86%, 36 KB/s], Decompressed: 7172
Downloaded: 7330 file(s) [attempted 7330/8459 = 86%, 157 KB/s], Decompressed: 7234
Downloaded: 7374 file(s) [attempted 7374/8459 = 87%, 367 KB/s], Decompressed: 7234
Downloaded: 7412 file(s) [attempted 7412/8459 = 87%, 48 KB/s], Decompressed: 7302
Downloaded: 7449 file(s) [attempted 7449/8459 = 88%, 263 KB/s], Decompressed: 7302
Downloaded: 7491 file(s) [attempted 7491/8459 = 88%, 291 KB/s], Decompressed: 7302
Downloaded: 7531 file(s) [attempted 7531/8459 = 89%, 580 KB/s], Decompressed: 7401
Downloaded: 7576 file(s) [attempted 7576/8459 = 89%, 65 KB/s], Decompressed: 7401
Downloaded: 7617 file(s) [attempted 7617/8459 = 90%, 33 KB/s], Decompressed: 7401
Downloaded: 7654 file(s) [attempted 7654/8459 = 90%, 103 KB/s], Decompressed: 7401
Downloaded: 7695 file(s) [attempted 7695/8459 = 90%, 112 KB/s], Decompressed: 7524
Downloaded: 7736 file(s) [attempted 7736/8459 = 91%, 123 KB/s], Decompressed: 7524
Downloaded: 7777 file(s) [attempted 7777/8459 = 91%, 183 KB/s], Decompressed: 7524
Downloaded: 7815 file(s) [attempted 7815/8459 = 92%, 22 KB/s], Decompressed: 7524
Downloaded: 7856 file(s) [attempted 7856/8459 = 92%, 23 KB/s], Decompressed: 7524
Downloaded: 7894 file(s) [attempted 7894/8459 = 93%, 1228 KB/s], Decompressed: 7678
Downloaded: 7938 file(s) [attempted 7938/8459 = 93%, 321 KB/s], Decompressed: 7678
Downloaded: 7979 file(s) [attempted 7979/8459 = 94%, 882 KB/s], Decompressed: 7678
Downloaded: 8020 file(s) [attempted 8020/8459 = 94%, 45 KB/s], Decompressed: 7678
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 478 KB/s], Decompressed: 7678
Downloaded: 8102 file(s) [attempted 8102/8459 = 95%, 59 KB/s], Decompressed: 7890
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 100 KB/s], Decompressed: 7890
Downloaded: 8184 file(s) [attempted 8184/8459 = 96%, 358 KB/s], Decompressed: 7890
Downloaded: 8229 file(s) [attempted 8229/8459 = 97%, 295 KB/s], Decompressed: 7890
Downloaded: 8266 file(s) [attempted 8266/8459 = 97%, 1112 KB/s], Decompressed: 7890
Downloaded: 8307 file(s) [attempted 8307/8459 = 98%, 63 KB/s], Decompressed: 8085
Downloaded: 8349 file(s) [attempted 8349/8459 = 98%, 888 KB/s], Decompressed: 8085
Downloaded: 8390 file(s) [attempted 8390/8459 = 99%, 86 KB/s], Decompressed: 8085
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 417 KB/s], Decompressed: 8085
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 112 KB/s], Decompressed: 8284
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 112 KB/s], Decompressed: 8284

apx-runtime-resource-v1	apx-verifier-job-1755-runtime-lake_cache-769351-1788220898629328622-0	3760128	4014080	21474836480	0	0	0	0	0	0	5218115584	5456187392	21474836480	0	0	0	0	0	0

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

lake build

✔ [500/502] Built Iut.Foundations.Species (76s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (77s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (215s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (230s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (115s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (204s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (136s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (118s)
✔ [790/794] Built Iut.Foundations.QualitativeData (189s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (487s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (880s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1025s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1280s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (434s)
✔ [3971/3990] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapHomotopy (1008s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1755-runtime-lean_checker-769351-1788221087454006876-1 on attempt 1

blueprint_buildexit 1duration 44s · created 9/1/2026, 2:05:37 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1755-runtime-blueprint_build-769351-1788228288155563405-2	929792	1441792	21474836480	0	0	0	0	0	0	793702400	891424768	21474836480	0	0	0	0	0	0