Verification run

Run 1243

promachina/iut-leanbranch mastertriggered via github_push

failedcommit decafdb27c8atoolchain lean-v4-30-0prover leantook 2h 2m · finished 4w 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-1673-source
exit_code=Some(128) duration_ms=235
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1673-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=5127
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1673-source'...


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

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 decafdb E18.1: decide raw-volume domination along positive Ind3 depth (#881)

Resolved source revision: decafdb27c8add251addc82415892d679d455479

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=decafdb27c8add251addc82415892d679d455479 provenance={"branch":"master","checked_out_revision":"decafdb27c8add251addc82415892d679d455479","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"decafdb27c8add251addc82415892d679d455479","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=9889 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=119029
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 (1.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (123ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (153ms)
✔ [13/25] Built Cache.Lean:c.o (123ms)
✔ [15/25] Built Cache.Init (308ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (76ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (869ms)
✔ [20/25] Built Cache.Hashing:c.o (379ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (976ms)
✔ [24/25] Built Cache.Main:c.o (556ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 5 KB/s], Decompressed: 12
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 13 KB/s], Decompressed: 27
Downloaded: 62 file(s) [attempted 62/8459 = 0%, 28 KB/s], Decompressed: 43
Downloaded: 83 file(s) [attempted 83/8459 = 0%, 412 KB/s], Decompressed: 62
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 114 KB/s], Decompressed: 79
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 52 KB/s], Decompressed: 100
Downloaded: 176 file(s) [attempted 176/8459 = 2%, 504 KB/s], Decompressed: 127
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 493 KB/s], Decompressed: 152
Downloaded: 251 file(s) [attempted 251/8459 = 2%, 84 KB/s], Decompressed: 186
Downloaded: 283 file(s) [attempted 283/8459 = 3%, 63 KB/s], Decompressed: 223
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 194 KB/s], Decompressed: 268
Downloaded: 361 file(s) [attempted 361/8459 = 4%, 414 KB/s], Decompressed: 316
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 1916 KB/s], Decompressed: 316
Downloaded: 439 file(s) [attempted 439/8459 = 5%, 673 KB/s], Decompressed: 361
Downloaded: 474 file(s) [attempted 474/8459 = 5%, 396 KB/s], Decompressed: 405
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 351 KB/s], Decompressed: 453
Downloaded: 556 file(s) [attempted 556/8459 = 6%, 34 KB/s], Decompressed: 453
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 390 KB/s], Decompressed: 505
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 848 KB/s], Decompressed: 559
Downloaded: 679 file(s) [attempted 679/8459 = 8%, 703 KB/s], Decompressed: 559
Downloaded: 721 file(s) [attempted 721/8459 = 8%, 116 KB/s], Decompressed: 628
Downloaded: 758 file(s) [attempted 758/8459 = 8%, 561 KB/s], Decompressed: 628
Downloaded: 799 file(s) [attempted 799/8459 = 9%, 848 KB/s], Decompressed: 703
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 491 KB/s], Decompressed: 703
Downloaded: 878 file(s) [attempted 878/8459 = 10%, 291 KB/s], Decompressed: 789
Downloaded: 919 file(s) [attempted 919/8459 = 10%, 576 KB/s], Decompressed: 789
Downloaded: 961 file(s) [attempted 961/8459 = 11%, 227 KB/s], Decompressed: 789
Downloaded: 1005 file(s) [attempted 1005/8459 = 11%, 25 KB/s], Decompressed: 876
Downloaded: 1043 file(s) [attempted 1043/8459 = 12%, 671 KB/s], Decompressed: 876
Downloaded: 1084 file(s) [attempted 1084/8459 = 12%, 75 KB/s], Decompressed: 964
Downloaded: 1122 file(s) [attempted 1122/8459 = 13%, 173 KB/s], Decompressed: 964
Downloaded: 1159 file(s) [attempted 1159/8459 = 13%, 437 KB/s], Decompressed: 1046
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 35 KB/s], Decompressed: 1046
Downloaded: 1238 file(s) [attempted 1238/8459 = 14%, 452 KB/s], Decompressed: 1135
Downloaded: 1279 file(s) [attempted 1279/8459 = 15%, 218 KB/s], Decompressed: 1135
Downloaded: 1317 file(s) [attempted 1317/8459 = 15%, 780 KB/s], Decompressed: 1135
Downloaded: 1354 file(s) [attempted 1354/8459 = 16%, 131 KB/s], Decompressed: 1238
Downloaded: 1396 file(s) [attempted 1396/8459 = 16%, 115 KB/s], Decompressed: 1238
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 81 KB/s], Decompressed: 1238
Downloaded: 1481 file(s) [attempted 1481/8459 = 17%, 1408 KB/s], Decompressed: 1337
Downloaded: 1519 file(s) [attempted 1519/8459 = 17%, 338 KB/s], Decompressed: 1337
Downloaded: 1560 file(s) [attempted 1560/8459 = 18%, 159 KB/s], Decompressed: 1444
Downloaded: 1598 file(s) [attempted 1598/8459 = 18%, 21 KB/s], Decompressed: 1444
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 483 KB/s], Decompressed: 1539
Downloaded: 1683 file(s) [attempted 1683/8459 = 19%, 578 KB/s], Decompressed: 1539
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 159 KB/s], Decompressed: 1539
Downloaded: 1765 file(s) [attempted 1765/8459 = 20%, 246 KB/s], Decompressed: 1635
Downloaded: 1800 file(s) [attempted 1800/8459 = 21%, 22 KB/s], Decompressed: 1635
Downloaded: 1844 file(s) [attempted 1844/8459 = 21%, 196 KB/s], Decompressed: 1635
Downloaded: 1885 file(s) [attempted 1885/8459 = 22%, 21 KB/s], Decompressed: 1735
Downloaded: 1926 file(s) [attempted 1926/8459 = 22%, 72 KB/s], Decompressed: 1735
Downloaded: 1961 file(s) [attempted 1961/8459 = 23%, 93 KB/s], Decompressed: 1735
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 104 KB/s], Decompressed: 1858
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 245 KB/s], Decompressed: 1858
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 220 KB/s], Decompressed: 1968
Downloaded: 2122 file(s) [attempted 2122/8459 = 25%, 1810 KB/s], Decompressed: 1968
Downloaded: 2159 file(s) [attempted 2159/8459 = 25%, 190 KB/s], Decompressed: 1968
Downloaded: 2197 file(s) [attempted 2197/8459 = 25%, 135 KB/s], Decompressed: 2074
Downloaded: 2238 file(s) [attempted 2238/8459 = 26%, 79 KB/s], Decompressed: 2074
Downloaded: 2276 file(s) [attempted 2276/8459 = 26%, 647 KB/s], Decompressed: 2177
Downloaded: 2317 file(s) [attempted 2317/8459 = 27%, 270 KB/s], Decompressed: 2177
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 860 KB/s], Decompressed: 2177
Downloaded: 2392 file(s) [attempted 2392/8459 = 28%, 77 KB/s], Decompressed: 2276
Downloaded: 2440 file(s) [attempted 2440/8459 = 28%, 385 KB/s], Decompressed: 2276
Downloaded: 2478 file(s) [attempted 2478/8459 = 29%, 424 KB/s], Decompressed: 2372
Downloaded: 2522 file(s) [attempted 2522/8459 = 29%, 716 KB/s], Decompressed: 2372
Downloaded: 2560 file(s) [attempted 2560/8459 = 30%, 372 KB/s], Decompressed: 2372
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 157 KB/s], Decompressed: 2471
Downloaded: 2636 file(s) [attempted 2636/8459 = 31%, 121 KB/s], Decompressed: 2471
Downloaded: 2673 file(s) [attempted 2673/8459 = 31%, 167 KB/s], Decompressed: 2574
Downloaded: 2718 file(s) [attempted 2718/8459 = 32%, 107 KB/s], Decompressed: 2574
Downloaded: 2755 file(s) [attempted 2755/8459 = 32%, 127 KB/s], Decompressed: 2574
Downloaded: 2797 file(s) [attempted 2797/8459 = 33%, 1196 KB/s], Decompressed: 2673
Downloaded: 2838 file(s) [attempted 2838/8459 = 33%, 103 KB/s], Decompressed: 2673
Downloaded: 2879 file(s) [attempted 2879/8459 = 34%, 939 KB/s], Decompressed: 2673
Downloaded: 2923 file(s) [attempted 2923/8459 = 34%, 33 KB/s], Decompressed: 2779
Downloaded: 2961 file(s) [attempted 2961/8459 = 35%, 429 KB/s], Decompressed: 2779
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 423 KB/s], Decompressed: 2779
Downloaded: 3040 file(s) [attempted 3040/8459 = 35%, 139 KB/s], Decompressed: 2899
Downloaded: 3081 file(s) [attempted 3081/8459 = 36%, 219 KB/s], Decompressed: 2899
Downloaded: 3118 file(s) [attempted 3118/8459 = 36%, 35 KB/s], Decompressed: 2899
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 530 KB/s], Decompressed: 3019
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 185 KB/s], Decompressed: 3019
Downloaded: 3235 file(s) [attempted 3235/8459 = 38%, 108 KB/s], Decompressed: 3019
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 155 KB/s], Decompressed: 3136
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 27 KB/s], Decompressed: 3136
Downloaded: 3362 file(s) [attempted 3362/8459 = 39%, 120 KB/s], Decompressed: 3136
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 192 KB/s], Decompressed: 3259
Downloaded: 3440 file(s) [attempted 3440/8459 = 40%, 355 KB/s], Decompressed: 3259
Downloaded: 3478 file(s) [attempted 3478/8459 = 41%, 763 KB/s], Decompressed: 3259
Downloaded: 3519 file(s) [attempted 3519/8459 = 41%, 514 KB/s], Decompressed: 3386
Downloaded: 3557 file(s) [attempted 3557/8459 = 42%, 189 KB/s], Decompressed: 3386
Downloaded: 3601 file(s) [attempted 3601/8459 = 42%, 386 KB/s], Decompressed: 3386
Downloaded: 3643 file(s) [attempted 3643/8459 = 43%, 103 KB/s], Decompressed: 3386
Downloaded: 3680 file(s) [attempted 3680/8459 = 43%, 36 KB/s], Decompressed: 3509
Downloaded: 3721 file(s) [attempted 3721/8459 = 43%, 134 KB/s], Decompressed: 3509
Downloaded: 3762 file(s) [attempted 3762/8459 = 44%, 110 KB/s], Decompressed: 3509
Downloaded: 3800 file(s) [attempted 3800/8459 = 44%, 277 KB/s], Decompressed: 3509
Downloaded: 3845 file(s) [attempted 3845/8459 = 45%, 954 KB/s], Decompressed: 3653
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 39 KB/s], Decompressed: 3653
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 665 KB/s], Decompressed: 3653
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 719 KB/s], Decompressed: 3653
Downloaded: 4006 file(s) [attempted 4006/8459 = 47%, 33 KB/s], Decompressed: 3824
Downloaded: 4047 file(s) [attempted 4047/8459 = 47%, 58 KB/s], Decompressed: 3824
Downloaded: 4088 file(s) [attempted 4088/8459 = 48%, 476 KB/s], Decompressed: 3824
Downloaded: 4125 file(s) [attempted 4125/8459 = 48%, 148 KB/s], Decompressed: 3824
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 70 KB/s], Decompressed: 3978
Downloaded: 4197 file(s) [attempted 4197/8459 = 49%, 729 KB/s], Decompressed: 3978
Downloaded: 4242 file(s) [attempted 4242/8459 = 50%, 511 KB/s], Decompressed: 3978
Downloaded: 4283 file(s) [attempted 4283/8459 = 50%, 131 KB/s], Decompressed: 3978
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 305 KB/s], Decompressed: 4129
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 1093 KB/s], Decompressed: 4129
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 368 KB/s], Decompressed: 4129
Downloaded: 4454 file(s) [attempted 4454/8459 = 52%, 1982 KB/s], Decompressed: 4286
Downloaded: 4502 file(s) [attempted 4502/8459 = 53%, 174 KB/s], Decompressed: 4286
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 109 KB/s], Decompressed: 4286
Downloaded: 4581 file(s) [attempted 4581/8459 = 54%, 161 KB/s], Decompressed: 4286
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 491 KB/s], Decompressed: 4437
Downloaded: 4660 file(s) [attempted 4660/8459 = 55%, 280 KB/s], Decompressed: 4437
Downloaded: 4698 file(s) [attempted 4698/8459 = 55%, 1147 KB/s], Decompressed: 4437
Downloaded: 4739 file(s) [attempted 4739/8459 = 56%, 168 KB/s], Decompressed: 4584
Downloaded: 4780 file(s) [attempted 4780/8459 = 56%, 144 KB/s], Decompressed: 4584
Downloaded: 4817 file(s) [attempted 4817/8459 = 56%, 1133 KB/s], Decompressed: 4584
Downloaded: 4862 file(s) [attempted 4862/8459 = 57%, 823 KB/s], Decompressed: 4584
Downloaded: 4903 file(s) [attempted 4903/8459 = 57%, 241 KB/s], Decompressed: 4584
Downloaded: 4941 file(s) [attempted 4941/8459 = 58%, 196 KB/s], Decompressed: 4728
Downloaded: 4982 file(s) [attempted 4982/8459 = 58%, 188 KB/s], Decompressed: 4728
Downloaded: 5019 file(s) [attempted 5019/8459 = 59%, 115 KB/s], Decompressed: 4728
Downloaded: 5061 file(s) [attempted 5061/8459 = 59%, 49 KB/s], Decompressed: 4728
Downloaded: 5102 file(s) [attempted 5102/8459 = 60%, 741 KB/s], Decompressed: 4910
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 471 KB/s], Decompressed: 4910
Downloaded: 5184 file(s) [attempted 5184/8459 = 61%, 104 KB/s], Decompressed: 4910
Downloaded: 5225 file(s) [attempted 5225/8459 = 61%, 95 KB/s], Decompressed: 4910
Downloaded: 5259 file(s) [attempted 5259/8459 = 62%, 22 KB/s], Decompressed: 5085
Downloaded: 5301 file(s) [attempted 5301/8459 = 62%, 58 KB/s], Decompressed: 5085
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 324 KB/s], Decompressed: 5085
Downloaded: 5383 file(s) [attempted 5383/8459 = 63%, 764 KB/s], Decompressed: 5085
Downloaded: 5424 file(s) [attempted 5424/8459 = 64%, 97 KB/s], Decompressed: 5246
Downloaded: 5461 file(s) [attempted 5461/8459 = 64%, 158 KB/s], Decompressed: 5246
Downloaded: 5502 file(s) [attempted 5502/8459 = 65%, 291 KB/s], Decompressed: 5246
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 280 KB/s], Decompressed: 5246
Downloaded: 5585 file(s) [attempted 5585/8459 = 66%, 43 KB/s], Decompressed: 5403
Downloaded: 5622 file(s) [attempted 5622/8459 = 66%, 124 KB/s], Decompressed: 5403
Downloaded: 5663 file(s) [attempted 5663/8459 = 66%, 152 KB/s], Decompressed: 5403
Downloaded: 5701 file(s) [attempted 5701/8459 = 67%, 412 KB/s], Decompressed: 5403
Downloaded: 5742 file(s) [attempted 5742/8459 = 67%, 100 KB/s], Decompressed: 5571
Downloaded: 5783 file(s) [attempted 5783/8459 = 68%, 991 KB/s], Decompressed: 5571
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 79 KB/s], Decompressed: 5571
Downloaded: 5866 file(s) [attempted 5866/8459 = 69%, 194 KB/s], Decompressed: 5571
Downloaded: 5903 file(s) [attempted 5903/8459 = 69%, 1959 KB/s], Decompressed: 5739
Downloaded: 5948 file(s) [attempted 5948/8459 = 70%, 200 KB/s], Decompressed: 5739
Downloaded: 5985 file(s) [attempted 5985/8459 = 70%, 1541 KB/s], Decompressed: 5739
Downloaded: 6027 file(s) [attempted 6027/8459 = 71%, 26 KB/s], Decompressed: 5739
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 353 KB/s], Decompressed: 5900
Downloaded: 6105 file(s) [attempted 6105/8459 = 72%, 70 KB/s], Decompressed: 5900
Downloaded: 6150 file(s) [attempted 6150/8459 = 72%, 348 KB/s], Decompressed: 5900
Downloaded: 6187 file(s) [attempted 6187/8459 = 73%, 700 KB/s], Decompressed: 5900
Downloaded: 6225 file(s) [attempted 6225/8459 = 73%, 287 KB/s], Decompressed: 6061
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 359 KB/s], Decompressed: 6061
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 362 KB/s], Decompressed: 6061
Downloaded: 6345 file(s) [attempted 6345/8459 = 75%, 192 KB/s], Decompressed: 6061
Downloaded: 6383 file(s) [attempted 6383/8459 = 75%, 117 KB/s], Decompressed: 6061
Downloaded: 6417 file(s) [attempted 6417/8459 = 75%, 180 KB/s], Decompressed: 6225
Downloaded: 6458 file(s) [attempted 6458/8459 = 76%, 177 KB/s], Decompressed: 6225
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 422 KB/s], Decompressed: 6225
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 415 KB/s], Decompressed: 6225
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 360 KB/s], Decompressed: 6393
Downloaded: 6622 file(s) [attempted 6622/8459 = 78%, 53 KB/s], Decompressed: 6393
Downloaded: 6664 file(s) [attempted 6664/8459 = 78%, 81 KB/s], Decompressed: 6393
Downloaded: 6701 file(s) [attempted 6701/8459 = 79%, 108 KB/s], Decompressed: 6393
Downloaded: 6742 file(s) [attempted 6742/8459 = 79%, 165 KB/s], Decompressed: 6393
Downloaded: 6780 file(s) [attempted 6780/8459 = 80%, 90 KB/s], Decompressed: 6568
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 83 KB/s], Decompressed: 6568
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 147 KB/s], Decompressed: 6568
Downloaded: 6903 file(s) [attempted 6903/8459 = 81%, 426 KB/s], Decompressed: 6568
Downloaded: 6941 file(s) [attempted 6941/8459 = 82%, 235 KB/s], Decompressed: 6568
Downloaded: 6979 file(s) [attempted 6979/8459 = 82%, 665 KB/s], Decompressed: 6764
Downloaded: 7023 file(s) [attempted 7023/8459 = 83%, 706 KB/s], Decompressed: 6764
Downloaded: 7064 file(s) [attempted 7064/8459 = 83%, 151 KB/s], Decompressed: 6764
Downloaded: 7099 file(s) [attempted 7099/8459 = 83%, 72 KB/s], Decompressed: 6764
Downloaded: 7143 file(s) [attempted 7143/8459 = 84%, 73 KB/s], Decompressed: 6764
Downloaded: 7184 file(s) [attempted 7184/8459 = 84%, 909 KB/s], Decompressed: 6965
Downloaded: 7225 file(s) [attempted 7225/8459 = 85%, 709 KB/s], Decompressed: 6965
Downloaded: 7270 file(s) [attempted 7270/8459 = 85%, 80 KB/s], Decompressed: 6965
Downloaded: 7314 file(s) [attempted 7314/8459 = 86%, 168 KB/s], Decompressed: 6965
Downloaded: 7352 file(s) [attempted 7352/8459 = 86%, 69 KB/s], Decompressed: 7160
Downloaded: 7393 file(s) [attempted 7393/8459 = 87%, 65 KB/s], Decompressed: 7160
Downloaded: 7434 file(s) [attempted 7434/8459 = 87%, 523 KB/s], Decompressed: 7160
Downloaded: 7475 file(s) [attempted 7475/8459 = 88%, 183 KB/s], Decompressed: 7160
Downloaded: 7516 file(s) [attempted 7516/8459 = 88%, 905 KB/s], Decompressed: 7160
Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 935 KB/s], Decompressed: 7160
Downloaded: 7595 file(s) [attempted 7595/8459 = 89%, 3222 KB/s], Decompressed: 7345
Downloaded: 7636 file(s) [attempted 7636/8459 = 90%, 70 KB/s], Decompressed: 7345
Downloaded: 7677 file(s) [attempted 7677/8459 = 90%, 75 KB/s], Decompressed: 7345
Downloaded: 7712 file(s) [attempted 7712/8459 = 91%, 159 KB/s], Decompressed: 7345
Downloaded: 7753 file(s) [attempted 7753/8459 = 91%, 134 KB/s], Decompressed: 7554
Downloaded: 7794 file(s) [attempted 7794/8459 = 92%, 271 KB/s], Decompressed: 7554
Downloaded: 7832 file(s) [attempted 7832/8459 = 92%, 126 KB/s], Decompressed: 7554
Downloaded: 7876 file(s) [attempted 7876/8459 = 93%, 647 KB/s], Decompressed: 7554
Downloaded: 7917 file(s) [attempted 7917/8459 = 93%, 409 KB/s], Decompressed: 7554
Downloaded: 7948 file(s) [attempted 7948/8459 = 93%, 781 KB/s], Decompressed: 7749
Downloaded: 7993 file(s) [attempted 7993/8459 = 94%, 73 KB/s], Decompressed: 7749
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 501 KB/s], Decompressed: 7749
Downloaded: 8078 file(s) [attempted 8078/8459 = 95%, 1138 KB/s], Decompressed: 7749
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 474 KB/s], Decompressed: 7924
Downloaded: 8154 file(s) [attempted 8154/8459 = 96%, 760 KB/s], Decompressed: 7924
Downloaded: 8191 file(s) [attempted 8191/8459 = 96%, 197 KB/s], Decompressed: 7924
Downloaded: 8236 file(s) [attempted 8236/8459 = 97%, 500 KB/s], Decompressed: 7924
Downloaded: 8277 file(s) [attempted 8277/8459 = 97%, 89 KB/s], Decompressed: 8085
Downloaded: 8318 file(s) [attempted 8318/8459 = 98%, 514 KB/s], Decompressed: 8085
Downloaded: 8352 file(s) [attempted 8352/8459 = 98%, 542 KB/s], Decompressed: 8085
Downloaded: 8390 file(s) [attempted 8390/8459 = 99%, 860 KB/s], Decompressed: 8239
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 716 KB/s], Decompressed: 8239
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 716 KB/s], Decompressed: 8239

apx-runtime-resource-v1	apx-verifier-job-1673-runtime-lake_cache-2991976-1787055763252439530-0	3313664	3571712	21474836480	0	0	0	0	0	0	6310842368	6732353536	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200009
stdout:
✔ [500/502] Built Iut.Foundations.Species (21s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (1.7s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (3.8s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (1.5s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (1.8s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (1.5s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (1.6s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (1.5s)
✔ [790/798] Built Iut.Foundations.QualitativeData (2.2s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (30s)
✔ [3509/3525] Built Iut.Foundations.Orbicurve (28s)
✔ [3956/3966] Built Iut.Foundations.InitialThetaData (26s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (5.3s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (4.5s)
✔ [3977/3984] Built Iut.Foundations.SourceTateCurve (2.0s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (2.9s)
✔ [3982/3986] Built Iut.Foundations.SourceAnabelioid (4.3s)
✔ [3983/3989] Built Iut.Foundations.SourceInitialThetaData (86s)
✔ [4130/4135] Built Iut.Foundations.Frobenioid (40s)
✔ [4131/4135] Built Iut.Foundations.SourceInitialThetaDefinition (294s)
✔ [4148/4155] Built Iut.Foundations.SourceAutHolomorphic (54s)
✔ [4156/4169] Built Iut.Foundations.SourceArchimedeanSemiGerm (7.7s)
✔ [4158/4169] Built Iut.Foundations.Procession (3.1s)
✔ [4159/4169] Built Iut.Foundations.SourceArchimedeanLocalGeometry (254s)
✔ [4161/4170] Built Iut.Foundations.SourceSemiGraph (26s)
✔ [4163/4170] Built Iut.Foundations.SourceSemiGraphAction (5.0s)
✔ [4166/4170] Built Iut.Foundations.SourceSemiGraphOfSubgroups (3.1s)
✔ [4167/4170] Built Iut.Foundations.SourceProfiniteCosetSystem (13s)
✔ [4168/4170] Built Iut.Foundations.SourceAutHolomorphicRigidity (28s)
✔ [4169/4170] Built Iut.Foundations.SourceProfiniteSemiGraphSystem (90s)
✔ [4203/4213] Built Iut.Foundations.GaloisComplement (40s)
✔ [4204/4213] Built Iut.Foundations.SourceSemiGraphOfAnabelioids (187s)
✔ [4205/4213] Built Iut.Foundations.SourceTemperedSemigraph (36s)
✔ [4207/4223] Built Iut.Foundations.SourceMonoThetaEnvironment (236s)
✔ [4209/4225] Built Iut.Foundations.SourceGluedAnabelioid (184s)
✔ [4211/4229] Built Iut.Foundations.SourceGluedGalois (174s)
✔ [4213/4229] Built Iut.Foundations.SourceContinuousAnabelioid (175s)
✔ [4214/4229] Built Iut.Foundations.SourceGluedTotalAnabelioid (163s)
✔ [4215/4237] Built Iut.Foundations.SourceGluedFiniteEtaleCover (165s)
✔ [4217/4237] Built Iut.Foundations.SourceAnabelioidSlice (190s)
✔ [4218/4245] Built Iut.Foundations.SourceBadLocalStableReduction (218s)
✔ [4219/4245] Built Iut.Foundations.SourceGluedFiniteEtaleTransition (166s)
✔ [4221/4245] Built Iut.Foundations.SourceAnabelioidComponents (159s)
✔ [4223/4245] Built Iut.Foundations.SourceKernelOrbit (173s)
✔ [4224/4252] Built Iut.Foundations.SourceGluedIsolatedFiniteEtaleCover (166s)
✔ [4225/4252] Built Iut.Foundations.SourceGluedConnectedFiniteEtaleCover (171s)
✔ [4227/4252] Built Iut.Foundations.SourceConnectedAnabelioidSlice (174s)
✔ [4229/4252] Built Iut.Foundations.ContinuousH1 (231s)
✔ [4230/4253] Built Iut.Foundations.KummerFaithfulness (38s)
✔ [4231/4253] Built Iut.Foundations.SourceGluedGaloisLevelSystem (160s)
✔ [4232/4254] Built Iut.Foundations.SourceGluedIsolatedGaloisLevelSystem (170s)
✔ [4233/4254] Built Iut.Foundations.SourceConnectedCoveringCategory (174s)
✔ [4237/4255] Built Iut.Foundations.SourceCombinatorialUniversalCover (183s)
✔ [4238/4255] Built Iut.Foundations.SourceConnectedCoveringQuotient (169s)
✔ [4239/4255] Built Iut.Foundations.SourceTemperoid (152s)
✔ [4240/4257] Built Iut.Foundations.SourceTemperedDeckTransitionSurjectivity (170s)
✔ [4241/4257] Built Iut.Foundations.SourceTemperedDeckGroup (173s)
✔ [4243/4257] Built Iut.Foundations.SourceFiniteLocalCoveringCategory (204s)
✔ [4244/4257] Built Iut.Foundations.SourceTemperoidQuotient (185s)
✔ [4246/4257] Built Iut.Foundations.SourceTemperedDeckProjectionSurjectivity (188s)
✔ [4247/4260] Built Iut.Foundations.SourceTemperedCoveringCategory (213s)
✔ [4248/4262] Built Iut.Foundations.SourceAndreTemperedExactSequence (276s)
✔ [4250/4262] Built Iut.Foundations.SourceBadLocalStableReductionComparison (256s)
✔ [4253/4267] Built Iut.Foundations.SourceStableCurveExample210 (244s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1673-runtime-lean_checker-2991976-1787055882286589140-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1673-runtime-blueprint_build-2991976-1787063083443235029-2	942080	1339392	21474836480	0	0	0	0	0	0	474468352	575643648	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 235 ms · created 8/18/2026, 2:24:56 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1673-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 5s · created 8/18/2026, 2:24:56 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 278 ms · created 8/18/2026, 2:24:56 PM

git checkout decafdb27c8add251addc82415892d679d455479

Note: switching to 'decafdb27c8add251addc82415892d679d455479'.

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 decafdb E18.1: decide raw-volume domination along positive Ind3 depth (#881)

lake_cacheexit 0duration 1m 59s · created 8/18/2026, 2:24:56 PM

lake exe cache get

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

✔ [8/25] Built Cache.Lean (1.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (123ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (153ms)
✔ [13/25] Built Cache.Lean:c.o (123ms)
✔ [15/25] Built Cache.Init (308ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (76ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (869ms)
✔ [20/25] Built Cache.Hashing:c.o (379ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (976ms)
✔ [24/25] Built Cache.Main:c.o (556ms)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 5 KB/s], Decompressed: 12
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 13 KB/s], Decompressed: 27
Downloaded: 62 file(s) [attempted 62/8459 = 0%, 28 KB/s], Decompressed: 43
Downloaded: 83 file(s) [attempted 83/8459 = 0%, 412 KB/s], Decompressed: 62
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 114 KB/s], Decompressed: 79
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 52 KB/s], Decompressed: 100
Downloaded: 176 file(s) [attempted 176/8459 = 2%, 504 KB/s], Decompressed: 127
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 493 KB/s], Decompressed: 152
Downloaded: 251 file(s) [attempted 251/8459 = 2%, 84 KB/s], Decompressed: 186
Downloaded: 283 file(s) [attempted 283/8459 = 3%, 63 KB/s], Decompressed: 223
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 194 KB/s], Decompressed: 268
Downloaded: 361 file(s) [attempted 361/8459 = 4%, 414 KB/s], Decompressed: 316
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 1916 KB/s], Decompressed: 316
Downloaded: 439 file(s) [attempted 439/8459 = 5%, 673 KB/s], Decompressed: 361
Downloaded: 474 file(s) [attempted 474/8459 = 5%, 396 KB/s], Decompressed: 405
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 351 KB/s], Decompressed: 453
Downloaded: 556 file(s) [attempted 556/8459 = 6%, 34 KB/s], Decompressed: 453
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 390 KB/s], Decompressed: 505
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 848 KB/s], Decompressed: 559
Downloaded: 679 file(s) [attempted 679/8459 = 8%, 703 KB/s], Decompressed: 559
Downloaded: 721 file(s) [attempted 721/8459 = 8%, 116 KB/s], Decompressed: 628
Downloaded: 758 file(s) [attempted 758/8459 = 8%, 561 KB/s], Decompressed: 628
Downloaded: 799 file(s) [attempted 799/8459 = 9%, 848 KB/s], Decompressed: 703
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 491 KB/s], Decompressed: 703
Downloaded: 878 file(s) [attempted 878/8459 = 10%, 291 KB/s], Decompressed: 789
Downloaded: 919 file(s) [attempted 919/8459 = 10%, 576 KB/s], Decompressed: 789
Downloaded: 961 file(s) [attempted 961/8459 = 11%, 227 KB/s], Decompressed: 789
Downloaded: 1005 file(s) [attempted 1005/8459 = 11%, 25 KB/s], Decompressed: 876
Downloaded: 1043 file(s) [attempted 1043/8459 = 12%, 671 KB/s], Decompressed: 876
Downloaded: 1084 file(s) [attempted 1084/8459 = 12%, 75 KB/s], Decompressed: 964
Downloaded: 1122 file(s) [attempted 1122/8459 = 13%, 173 KB/s], Decompressed: 964
Downloaded: 1159 file(s) [attempted 1159/8459 = 13%, 437 KB/s], Decompressed: 1046
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 35 KB/s], Decompressed: 1046
Downloaded: 1238 file(s) [attempted 1238/8459 = 14%, 452 KB/s], Decompressed: 1135
Downloaded: 1279 file(s) [attempted 1279/8459 = 15%, 218 KB/s], Decompressed: 1135
Downloaded: 1317 file(s) [attempted 1317/8459 = 15%, 780 KB/s], Decompressed: 1135
Downloaded: 1354 file(s) [attempted 1354/8459 = 16%, 131 KB/s], Decompressed: 1238
Downloaded: 1396 file(s) [attempted 1396/8459 = 16%, 115 KB/s], Decompressed: 1238
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 81 KB/s], Decompressed: 1238
Downloaded: 1481 file(s) [attempted 1481/8459 = 17%, 1408 KB/s], Decompressed: 1337
Downloaded: 1519 file(s) [attempted 1519/8459 = 17%, 338 KB/s], Decompressed: 1337
Downloaded: 1560 file(s) [attempted 1560/8459 = 18%, 159 KB/s], Decompressed: 1444
Downloaded: 1598 file(s) [attempted 1598/8459 = 18%, 21 KB/s], Decompressed: 1444
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 483 KB/s], Decompressed: 1539
Downloaded: 1683 file(s) [attempted 1683/8459 = 19%, 578 KB/s], Decompressed: 1539
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 159 KB/s], Decompressed: 1539
Downloaded: 1765 file(s) [attempted 1765/8459 = 20%, 246 KB/s], Decompressed: 1635
Downloaded: 1800 file(s) [attempted 1800/8459 = 21%, 22 KB/s], Decompressed: 1635
Downloaded: 1844 file(s) [attempted 1844/8459 = 21%, 196 KB/s], Decompressed: 1635
Downloaded: 1885 file(s) [attempted 1885/8459 = 22%, 21 KB/s], Decompressed: 1735
Downloaded: 1926 file(s) [attempted 1926/8459 = 22%, 72 KB/s], Decompressed: 1735
Downloaded: 1961 file(s) [attempted 1961/8459 = 23%, 93 KB/s], Decompressed: 1735
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 104 KB/s], Decompressed: 1858
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 245 KB/s], Decompressed: 1858
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 220 KB/s], Decompressed: 1968
Downloaded: 2122 file(s) [attempted 2122/8459 = 25%, 1810 KB/s], Decompressed: 1968
Downloaded: 2159 file(s) [attempted 2159/8459 = 25%, 190 KB/s], Decompressed: 1968
Downloaded: 2197 file(s) [attempted 2197/8459 = 25%, 135 KB/s], Decompressed: 2074
Downloaded: 2238 file(s) [attempted 2238/8459 = 26%, 79 KB/s], Decompressed: 2074
Downloaded: 2276 file(s) [attempted 2276/8459 = 26%, 647 KB/s], Decompressed: 2177
Downloaded: 2317 file(s) [attempted 2317/8459 = 27%, 270 KB/s], Decompressed: 2177
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 860 KB/s], Decompressed: 2177
Downloaded: 2392 file(s) [attempted 2392/8459 = 28%, 77 KB/s], Decompressed: 2276
Downloaded: 2440 file(s) [attempted 2440/8459 = 28%, 385 KB/s], Decompressed: 2276
Downloaded: 2478 file(s) [attempted 2478/8459 = 29%, 424 KB/s], Decompressed: 2372
Downloaded: 2522 file(s) [attempted 2522/8459 = 29%, 716 KB/s], Decompressed: 2372
Downloaded: 2560 file(s) [attempted 2560/8459 = 30%, 372 KB/s], Decompressed: 2372
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 157 KB/s], Decompressed: 2471
Downloaded: 2636 file(s) [attempted 2636/8459 = 31%, 121 KB/s], Decompressed: 2471
Downloaded: 2673 file(s) [attempted 2673/8459 = 31%, 167 KB/s], Decompressed: 2574
Downloaded: 2718 file(s) [attempted 2718/8459 = 32%, 107 KB/s], Decompressed: 2574
Downloaded: 2755 file(s) [attempted 2755/8459 = 32%, 127 KB/s], Decompressed: 2574
Downloaded: 2797 file(s) [attempted 2797/8459 = 33%, 1196 KB/s], Decompressed: 2673
Downloaded: 2838 file(s) [attempted 2838/8459 = 33%, 103 KB/s], Decompressed: 2673
Downloaded: 2879 file(s) [attempted 2879/8459 = 34%, 939 KB/s], Decompressed: 2673
Downloaded: 2923 file(s) [attempted 2923/8459 = 34%, 33 KB/s], Decompressed: 2779
Downloaded: 2961 file(s) [attempted 2961/8459 = 35%, 429 KB/s], Decompressed: 2779
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 423 KB/s], Decompressed: 2779
Downloaded: 3040 file(s) [attempted 3040/8459 = 35%, 139 KB/s], Decompressed: 2899
Downloaded: 3081 file(s) [attempted 3081/8459 = 36%, 219 KB/s], Decompressed: 2899
Downloaded: 3118 file(s) [attempted 3118/8459 = 36%, 35 KB/s], Decompressed: 2899
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 530 KB/s], Decompressed: 3019
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 185 KB/s], Decompressed: 3019
Downloaded: 3235 file(s) [attempted 3235/8459 = 38%, 108 KB/s], Decompressed: 3019
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 155 KB/s], Decompressed: 3136
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 27 KB/s], Decompressed: 3136
Downloaded: 3362 file(s) [attempted 3362/8459 = 39%, 120 KB/s], Decompressed: 3136
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 192 KB/s], Decompressed: 3259
Downloaded: 3440 file(s) [attempted 3440/8459 = 40%, 355 KB/s], Decompressed: 3259
Downloaded: 3478 file(s) [attempted 3478/8459 = 41%, 763 KB/s], Decompressed: 3259
Downloaded: 3519 file(s) [attempted 3519/8459 = 41%, 514 KB/s], Decompressed: 3386
Downloaded: 3557 file(s) [attempted 3557/8459 = 42%, 189 KB/s], Decompressed: 3386
Downloaded: 3601 file(s) [attempted 3601/8459 = 42%, 386 KB/s], Decompressed: 3386
Downloaded: 3643 file(s) [attempted 3643/8459 = 43%, 103 KB/s], Decompressed: 3386
Downloaded: 3680 file(s) [attempted 3680/8459 = 43%, 36 KB/s], Decompressed: 3509
Downloaded: 3721 file(s) [attempted 3721/8459 = 43%, 134 KB/s], Decompressed: 3509
Downloaded: 3762 file(s) [attempted 3762/8459 = 44%, 110 KB/s], Decompressed: 3509
Downloaded: 3800 file(s) [attempted 3800/8459 = 44%, 277 KB/s], Decompressed: 3509
Downloaded: 3845 file(s) [attempted 3845/8459 = 45%, 954 KB/s], Decompressed: 3653
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 39 KB/s], Decompressed: 3653
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 665 KB/s], Decompressed: 3653
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 719 KB/s], Decompressed: 3653
Downloaded: 4006 file(s) [attempted 4006/8459 = 47%, 33 KB/s], Decompressed: 3824
Downloaded: 4047 file(s) [attempted 4047/8459 = 47%, 58 KB/s], Decompressed: 3824
Downloaded: 4088 file(s) [attempted 4088/8459 = 48%, 476 KB/s], Decompressed: 3824
Downloaded: 4125 file(s) [attempted 4125/8459 = 48%, 148 KB/s], Decompressed: 3824
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 70 KB/s], Decompressed: 3978
Downloaded: 4197 file(s) [attempted 4197/8459 = 49%, 729 KB/s], Decompressed: 3978
Downloaded: 4242 file(s) [attempted 4242/8459 = 50%, 511 KB/s], Decompressed: 3978
Downloaded: 4283 file(s) [attempted 4283/8459 = 50%, 131 KB/s], Decompressed: 3978
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 305 KB/s], Decompressed: 4129
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 1093 KB/s], Decompressed: 4129
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 368 KB/s], Decompressed: 4129
Downloaded: 4454 file(s) [attempted 4454/8459 = 52%, 1982 KB/s], Decompressed: 4286
Downloaded: 4502 file(s) [attempted 4502/8459 = 53%, 174 KB/s], Decompressed: 4286
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 109 KB/s], Decompressed: 4286
Downloaded: 4581 file(s) [attempted 4581/8459 = 54%, 161 KB/s], Decompressed: 4286
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 491 KB/s], Decompressed: 4437
Downloaded: 4660 file(s) [attempted 4660/8459 = 55%, 280 KB/s], Decompressed: 4437
Downloaded: 4698 file(s) [attempted 4698/8459 = 55%, 1147 KB/s], Decompressed: 4437
Downloaded: 4739 file(s) [attempted 4739/8459 = 56%, 168 KB/s], Decompressed: 4584
Downloaded: 4780 file(s) [attempted 4780/8459 = 56%, 144 KB/s], Decompressed: 4584
Downloaded: 4817 file(s) [attempted 4817/8459 = 56%, 1133 KB/s], Decompressed: 4584
Downloaded: 4862 file(s) [attempted 4862/8459 = 57%, 823 KB/s], Decompressed: 4584
Downloaded: 4903 file(s) [attempted 4903/8459 = 57%, 241 KB/s], Decompressed: 4584
Downloaded: 4941 file(s) [attempted 4941/8459 = 58%, 196 KB/s], Decompressed: 4728
Downloaded: 4982 file(s) [attempted 4982/8459 = 58%, 188 KB/s], Decompressed: 4728
Downloaded: 5019 file(s) [attempted 5019/8459 = 59%, 115 KB/s], Decompressed: 4728
Downloaded: 5061 file(s) [attempted 5061/8459 = 59%, 49 KB/s], Decompressed: 4728
Downloaded: 5102 file(s) [attempted 5102/8459 = 60%, 741 KB/s], Decompressed: 4910
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 471 KB/s], Decompressed: 4910
Downloaded: 5184 file(s) [attempted 5184/8459 = 61%, 104 KB/s], Decompressed: 4910
Downloaded: 5225 file(s) [attempted 5225/8459 = 61%, 95 KB/s], Decompressed: 4910
Downloaded: 5259 file(s) [attempted 5259/8459 = 62%, 22 KB/s], Decompressed: 5085
Downloaded: 5301 file(s) [attempted 5301/8459 = 62%, 58 KB/s], Decompressed: 5085
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 324 KB/s], Decompressed: 5085
Downloaded: 5383 file(s) [attempted 5383/8459 = 63%, 764 KB/s], Decompressed: 5085
Downloaded: 5424 file(s) [attempted 5424/8459 = 64%, 97 KB/s], Decompressed: 5246
Downloaded: 5461 file(s) [attempted 5461/8459 = 64%, 158 KB/s], Decompressed: 5246
Downloaded: 5502 file(s) [attempted 5502/8459 = 65%, 291 KB/s], Decompressed: 5246
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 280 KB/s], Decompressed: 5246
Downloaded: 5585 file(s) [attempted 5585/8459 = 66%, 43 KB/s], Decompressed: 5403
Downloaded: 5622 file(s) [attempted 5622/8459 = 66%, 124 KB/s], Decompressed: 5403
Downloaded: 5663 file(s) [attempted 5663/8459 = 66%, 152 KB/s], Decompressed: 5403
Downloaded: 5701 file(s) [attempted 5701/8459 = 67%, 412 KB/s], Decompressed: 5403
Downloaded: 5742 file(s) [attempted 5742/8459 = 67%, 100 KB/s], Decompressed: 5571
Downloaded: 5783 file(s) [attempted 5783/8459 = 68%, 991 KB/s], Decompressed: 5571
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 79 KB/s], Decompressed: 5571
Downloaded: 5866 file(s) [attempted 5866/8459 = 69%, 194 KB/s], Decompressed: 5571
Downloaded: 5903 file(s) [attempted 5903/8459 = 69%, 1959 KB/s], Decompressed: 5739
Downloaded: 5948 file(s) [attempted 5948/8459 = 70%, 200 KB/s], Decompressed: 5739
Downloaded: 5985 file(s) [attempted 5985/8459 = 70%, 1541 KB/s], Decompressed: 5739
Downloaded: 6027 file(s) [attempted 6027/8459 = 71%, 26 KB/s], Decompressed: 5739
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 353 KB/s], Decompressed: 5900
Downloaded: 6105 file(s) [attempted 6105/8459 = 72%, 70 KB/s], Decompressed: 5900
Downloaded: 6150 file(s) [attempted 6150/8459 = 72%, 348 KB/s], Decompressed: 5900
Downloaded: 6187 file(s) [attempted 6187/8459 = 73%, 700 KB/s], Decompressed: 5900
Downloaded: 6225 file(s) [attempted 6225/8459 = 73%, 287 KB/s], Decompressed: 6061
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 359 KB/s], Decompressed: 6061
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 362 KB/s], Decompressed: 6061
Downloaded: 6345 file(s) [attempted 6345/8459 = 75%, 192 KB/s], Decompressed: 6061
Downloaded: 6383 file(s) [attempted 6383/8459 = 75%, 117 KB/s], Decompressed: 6061
Downloaded: 6417 file(s) [attempted 6417/8459 = 75%, 180 KB/s], Decompressed: 6225
Downloaded: 6458 file(s) [attempted 6458/8459 = 76%, 177 KB/s], Decompressed: 6225
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 422 KB/s], Decompressed: 6225
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 415 KB/s], Decompressed: 6225
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 360 KB/s], Decompressed: 6393
Downloaded: 6622 file(s) [attempted 6622/8459 = 78%, 53 KB/s], Decompressed: 6393
Downloaded: 6664 file(s) [attempted 6664/8459 = 78%, 81 KB/s], Decompressed: 6393
Downloaded: 6701 file(s) [attempted 6701/8459 = 79%, 108 KB/s], Decompressed: 6393
Downloaded: 6742 file(s) [attempted 6742/8459 = 79%, 165 KB/s], Decompressed: 6393
Downloaded: 6780 file(s) [attempted 6780/8459 = 80%, 90 KB/s], Decompressed: 6568
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 83 KB/s], Decompressed: 6568
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 147 KB/s], Decompressed: 6568
Downloaded: 6903 file(s) [attempted 6903/8459 = 81%, 426 KB/s], Decompressed: 6568
Downloaded: 6941 file(s) [attempted 6941/8459 = 82%, 235 KB/s], Decompressed: 6568
Downloaded: 6979 file(s) [attempted 6979/8459 = 82%, 665 KB/s], Decompressed: 6764
Downloaded: 7023 file(s) [attempted 7023/8459 = 83%, 706 KB/s], Decompressed: 6764
Downloaded: 7064 file(s) [attempted 7064/8459 = 83%, 151 KB/s], Decompressed: 6764
Downloaded: 7099 file(s) [attempted 7099/8459 = 83%, 72 KB/s], Decompressed: 6764
Downloaded: 7143 file(s) [attempted 7143/8459 = 84%, 73 KB/s], Decompressed: 6764
Downloaded: 7184 file(s) [attempted 7184/8459 = 84%, 909 KB/s], Decompressed: 6965
Downloaded: 7225 file(s) [attempted 7225/8459 = 85%, 709 KB/s], Decompressed: 6965
Downloaded: 7270 file(s) [attempted 7270/8459 = 85%, 80 KB/s], Decompressed: 6965
Downloaded: 7314 file(s) [attempted 7314/8459 = 86%, 168 KB/s], Decompressed: 6965
Downloaded: 7352 file(s) [attempted 7352/8459 = 86%, 69 KB/s], Decompressed: 7160
Downloaded: 7393 file(s) [attempted 7393/8459 = 87%, 65 KB/s], Decompressed: 7160
Downloaded: 7434 file(s) [attempted 7434/8459 = 87%, 523 KB/s], Decompressed: 7160
Downloaded: 7475 file(s) [attempted 7475/8459 = 88%, 183 KB/s], Decompressed: 7160
Downloaded: 7516 file(s) [attempted 7516/8459 = 88%, 905 KB/s], Decompressed: 7160
Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 935 KB/s], Decompressed: 7160
Downloaded: 7595 file(s) [attempted 7595/8459 = 89%, 3222 KB/s], Decompressed: 7345
Downloaded: 7636 file(s) [attempted 7636/8459 = 90%, 70 KB/s], Decompressed: 7345
Downloaded: 7677 file(s) [attempted 7677/8459 = 90%, 75 KB/s], Decompressed: 7345
Downloaded: 7712 file(s) [attempted 7712/8459 = 91%, 159 KB/s], Decompressed: 7345
Downloaded: 7753 file(s) [attempted 7753/8459 = 91%, 134 KB/s], Decompressed: 7554
Downloaded: 7794 file(s) [attempted 7794/8459 = 92%, 271 KB/s], Decompressed: 7554
Downloaded: 7832 file(s) [attempted 7832/8459 = 92%, 126 KB/s], Decompressed: 7554
Downloaded: 7876 file(s) [attempted 7876/8459 = 93%, 647 KB/s], Decompressed: 7554
Downloaded: 7917 file(s) [attempted 7917/8459 = 93%, 409 KB/s], Decompressed: 7554
Downloaded: 7948 file(s) [attempted 7948/8459 = 93%, 781 KB/s], Decompressed: 7749
Downloaded: 7993 file(s) [attempted 7993/8459 = 94%, 73 KB/s], Decompressed: 7749
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 501 KB/s], Decompressed: 7749
Downloaded: 8078 file(s) [attempted 8078/8459 = 95%, 1138 KB/s], Decompressed: 7749
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 474 KB/s], Decompressed: 7924
Downloaded: 8154 file(s) [attempted 8154/8459 = 96%, 760 KB/s], Decompressed: 7924
Downloaded: 8191 file(s) [attempted 8191/8459 = 96%, 197 KB/s], Decompressed: 7924
Downloaded: 8236 file(s) [attempted 8236/8459 = 97%, 500 KB/s], Decompressed: 7924
Downloaded: 8277 file(s) [attempted 8277/8459 = 97%, 89 KB/s], Decompressed: 8085
Downloaded: 8318 file(s) [attempted 8318/8459 = 98%, 514 KB/s], Decompressed: 8085
Downloaded: 8352 file(s) [attempted 8352/8459 = 98%, 542 KB/s], Decompressed: 8085
Downloaded: 8390 file(s) [attempted 8390/8459 = 99%, 860 KB/s], Decompressed: 8239
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 716 KB/s], Decompressed: 8239
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 716 KB/s], Decompressed: 8239

apx-runtime-resource-v1	apx-verifier-job-1673-runtime-lake_cache-2991976-1787055763252439530-0	3313664	3571712	21474836480	0	0	0	0	0	0	6310842368	6732353536	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/18/2026, 2:24:56 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (21s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (1.7s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (3.8s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (1.5s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (1.8s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (1.5s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (1.6s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (1.5s)
✔ [790/798] Built Iut.Foundations.QualitativeData (2.2s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (30s)
✔ [3509/3525] Built Iut.Foundations.Orbicurve (28s)
✔ [3956/3966] Built Iut.Foundations.InitialThetaData (26s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (5.3s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (4.5s)
✔ [3977/3984] Built Iut.Foundations.SourceTateCurve (2.0s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (2.9s)
✔ [3982/3986] Built Iut.Foundations.SourceAnabelioid (4.3s)
✔ [3983/3989] Built Iut.Foundations.SourceInitialThetaData (86s)
✔ [4130/4135] Built Iut.Foundations.Frobenioid (40s)
✔ [4131/4135] Built Iut.Foundations.SourceInitialThetaDefinition (294s)
✔ [4148/4155] Built Iut.Foundations.SourceAutHolomorphic (54s)
✔ [4156/4169] Built Iut.Foundations.SourceArchimedeanSemiGerm (7.7s)
✔ [4158/4169] Built Iut.Foundations.Procession (3.1s)
✔ [4159/4169] Built Iut.Foundations.SourceArchimedeanLocalGeometry (254s)
✔ [4161/4170] Built Iut.Foundations.SourceSemiGraph (26s)
✔ [4163/4170] Built Iut.Foundations.SourceSemiGraphAction (5.0s)
✔ [4166/4170] Built Iut.Foundations.SourceSemiGraphOfSubgroups (3.1s)
✔ [4167/4170] Built Iut.Foundations.SourceProfiniteCosetSystem (13s)
✔ [4168/4170] Built Iut.Foundations.SourceAutHolomorphicRigidity (28s)
✔ [4169/4170] Built Iut.Foundations.SourceProfiniteSemiGraphSystem (90s)
✔ [4203/4213] Built Iut.Foundations.GaloisComplement (40s)
✔ [4204/4213] Built Iut.Foundations.SourceSemiGraphOfAnabelioids (187s)
✔ [4205/4213] Built Iut.Foundations.SourceTemperedSemigraph (36s)
✔ [4207/4223] Built Iut.Foundations.SourceMonoThetaEnvironment (236s)
✔ [4209/4225] Built Iut.Foundations.SourceGluedAnabelioid (184s)
✔ [4211/4229] Built Iut.Foundations.SourceGluedGalois (174s)
✔ [4213/4229] Built Iut.Foundations.SourceContinuousAnabelioid (175s)
✔ [4214/4229] Built Iut.Foundations.SourceGluedTotalAnabelioid (163s)
✔ [4215/4237] Built Iut.Foundations.SourceGluedFiniteEtaleCover (165s)
✔ [4217/4237] Built Iut.Foundations.SourceAnabelioidSlice (190s)
✔ [4218/4245] Built Iut.Foundations.SourceBadLocalStableReduction (218s)
✔ [4219/4245] Built Iut.Foundations.SourceGluedFiniteEtaleTransition (166s)
✔ [4221/4245] Built Iut.Foundations.SourceAnabelioidComponents (159s)
✔ [4223/4245] Built Iut.Foundations.SourceKernelOrbit (173s)
✔ [4224/4252] Built Iut.Foundations.SourceGluedIsolatedFiniteEtaleCover (166s)
✔ [4225/4252] Built Iut.Foundations.SourceGluedConnectedFiniteEtaleCover (171s)
✔ [4227/4252] Built Iut.Foundations.SourceConnectedAnabelioidSlice (174s)
✔ [4229/4252] Built Iut.Foundations.ContinuousH1 (231s)
✔ [4230/4253] Built Iut.Foundations.KummerFaithfulness (38s)
✔ [4231/4253] Built Iut.Foundations.SourceGluedGaloisLevelSystem (160s)
✔ [4232/4254] Built Iut.Foundations.SourceGluedIsolatedGaloisLevelSystem (170s)
✔ [4233/4254] Built Iut.Foundations.SourceConnectedCoveringCategory (174s)
✔ [4237/4255] Built Iut.Foundations.SourceCombinatorialUniversalCover (183s)
✔ [4238/4255] Built Iut.Foundations.SourceConnectedCoveringQuotient (169s)
✔ [4239/4255] Built Iut.Foundations.SourceTemperoid (152s)
✔ [4240/4257] Built Iut.Foundations.SourceTemperedDeckTransitionSurjectivity (170s)
✔ [4241/4257] Built Iut.Foundations.SourceTemperedDeckGroup (173s)
✔ [4243/4257] Built Iut.Foundations.SourceFiniteLocalCoveringCategory (204s)
✔ [4244/4257] Built Iut.Foundations.SourceTemperoidQuotient (185s)
✔ [4246/4257] Built Iut.Foundations.SourceTemperedDeckProjectionSurjectivity (188s)
✔ [4247/4260] Built Iut.Foundations.SourceTemperedCoveringCategory (213s)
✔ [4248/4262] Built Iut.Foundations.SourceAndreTemperedExactSequence (276s)
✔ [4250/4262] Built Iut.Foundations.SourceBadLocalStableReductionComparison (256s)
✔ [4253/4267] Built Iut.Foundations.SourceStableCurveExample210 (244s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1673-runtime-lean_checker-2991976-1787055882286589140-1 on attempt 1

blueprint_buildexit 1duration 12s · created 8/18/2026, 2:24:56 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1673-runtime-blueprint_build-2991976-1787063083443235029-2	942080	1339392	21474836480	0	0	0	0	0	0	474468352	575643648	21474836480	0	0	0	0	0	0