Verification run

Run 1280

promachina/iut-leanbranch mastertriggered via poller

failedcommit e1c020ce66a9toolchain lean-v4-30-0prover leantook 2h 3m · finished 3w ago

lake build failed with exit code none (process did not exit cleanly) (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase lake build)

Open project

Package inputs

This verification run did not include a theorem package lock. Its inputs depend only on repository, toolchain, image, and command inputs.

Trust verification

Recomputes trust checks from the recorded attestations, manifest, and command history.

(verification not run)

Manifest

Loads the published files manifest and location metadata for this job.

(manifest not loaded)

Verifier log excerpt

Attempting anonymous GitHub clone before installation-auth fallback

$ git clone --depth 1 --branch master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1729-source
exit_code=Some(128) duration_ms=245
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1729-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=3856
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1729-source'...


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

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 e1c020c Merge pull request #968 from promachina/e23-3f-selected-family-good-place-normalization

Resolved source revision: e1c020ce66a9940c92e3f4210bbbb372c32a02ef

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=e1c020ce66a9940c92e3f4210bbbb372c32a02ef provenance={"branch":"master","checked_out_revision":"e1c020ce66a9940c92e3f4210bbbb372c32a02ef","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"e1c020ce66a9940c92e3f4210bbbb372c32a02ef","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=5202 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=166441
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 (970ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (99ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (156ms)
✔ [13/25] Built Cache.Lean:c.o (138ms)
✔ [15/25] Built Cache.Init (316ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (96ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (903ms)
✔ [20/25] Built Cache.Hashing:c.o (361ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (14s)
✔ [24/25] Built Cache.Main:c.o (1.6s)
✔ [25/25] Built cache:exe (4.8s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 17 file(s) [attempted 17/8459 = 0%, 12 KB/s], Decompressed: 9
Downloaded: 44 file(s) [attempted 44/8459 = 0%, 23 KB/s], Decompressed: 16
Downloaded: 66 file(s) [attempted 66/8459 = 0%, 31 KB/s], Decompressed: 29
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 44 KB/s], Decompressed: 52
Downloaded: 127 file(s) [attempted 127/8459 = 1%, 251 KB/s], Decompressed: 52
Downloaded: 158 file(s) [attempted 158/8459 = 1%, 124 KB/s], Decompressed: 80
Downloaded: 196 file(s) [attempted 196/8459 = 2%, 158 KB/s], Decompressed: 80
Downloaded: 234 file(s) [attempted 234/8459 = 2%, 216 KB/s], Decompressed: 131
Downloaded: 271 file(s) [attempted 271/8459 = 3%, 82 KB/s], Decompressed: 131
Downloaded: 309 file(s) [attempted 309/8459 = 3%, 325 KB/s], Decompressed: 203
Downloaded: 350 file(s) [attempted 350/8459 = 4%, 921 KB/s], Decompressed: 203
Downloaded: 388 file(s) [attempted 388/8459 = 4%, 54 KB/s], Decompressed: 278
Downloaded: 429 file(s) [attempted 429/8459 = 5%, 57 KB/s], Decompressed: 357
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 79 KB/s], Decompressed: 357
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 674 KB/s], Decompressed: 426
Downloaded: 551 file(s) [attempted 551/8459 = 6%, 127 KB/s], Decompressed: 487
Downloaded: 594 file(s) [attempted 594/8459 = 7%, 264 KB/s], Decompressed: 487
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 624 KB/s], Decompressed: 549
Downloaded: 673 file(s) [attempted 673/8459 = 7%, 328 KB/s], Decompressed: 549
Downloaded: 717 file(s) [attempted 717/8459 = 8%, 367 KB/s], Decompressed: 621
Downloaded: 755 file(s) [attempted 755/8459 = 8%, 243 KB/s], Decompressed: 621
Downloaded: 796 file(s) [attempted 796/8459 = 9%, 148 KB/s], Decompressed: 697
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 517 KB/s], Decompressed: 697
Downloaded: 882 file(s) [attempted 882/8459 = 10%, 302 KB/s], Decompressed: 779
Downloaded: 923 file(s) [attempted 923/8459 = 10%, 570 KB/s], Decompressed: 779
Downloaded: 964 file(s) [attempted 964/8459 = 11%, 315 KB/s], Decompressed: 858
Downloaded: 1002 file(s) [attempted 1002/8459 = 11%, 304 KB/s], Decompressed: 930
Downloaded: 1043 file(s) [attempted 1043/8459 = 12%, 44 KB/s], Decompressed: 930
Downloaded: 1080 file(s) [attempted 1080/8459 = 12%, 264 KB/s], Decompressed: 991
Downloaded: 1125 file(s) [attempted 1125/8459 = 13%, 364 KB/s], Decompressed: 1053
Downloaded: 1170 file(s) [attempted 1170/8459 = 13%, 289 KB/s], Decompressed: 1053
Downloaded: 1217 file(s) [attempted 1217/8459 = 14%, 233 KB/s], Decompressed: 1118
Downloaded: 1259 file(s) [attempted 1259/8459 = 14%, 202 KB/s], Decompressed: 1183
Downloaded: 1300 file(s) [attempted 1300/8459 = 15%, 131 KB/s], Decompressed: 1183
Downloaded: 1334 file(s) [attempted 1334/8459 = 15%, 157 KB/s], Decompressed: 1252
Downloaded: 1378 file(s) [attempted 1378/8459 = 16%, 31 KB/s], Decompressed: 1252
Downloaded: 1423 file(s) [attempted 1423/8459 = 16%, 79 KB/s], Decompressed: 1320
Downloaded: 1464 file(s) [attempted 1464/8459 = 17%, 187 KB/s], Decompressed: 1320
Downloaded: 1505 file(s) [attempted 1505/8459 = 17%, 90 KB/s], Decompressed: 1396
Downloaded: 1546 file(s) [attempted 1546/8459 = 18%, 406 KB/s], Decompressed: 1396
Downloaded: 1587 file(s) [attempted 1587/8459 = 18%, 302 KB/s], Decompressed: 1471
Downloaded: 1628 file(s) [attempted 1628/8459 = 19%, 1128 KB/s], Decompressed: 1471
Downloaded: 1670 file(s) [attempted 1670/8459 = 19%, 123 KB/s], Decompressed: 1563
Downloaded: 1711 file(s) [attempted 1711/8459 = 20%, 451 KB/s], Decompressed: 1563
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 995 KB/s], Decompressed: 1659
Downloaded: 1793 file(s) [attempted 1793/8459 = 21%, 292 KB/s], Decompressed: 1659
Downloaded: 1831 file(s) [attempted 1831/8459 = 21%, 107 KB/s], Decompressed: 1742
Downloaded: 1872 file(s) [attempted 1872/8459 = 22%, 462 KB/s], Decompressed: 1742
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 749 KB/s], Decompressed: 1742
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 211 KB/s], Decompressed: 1827
Downloaded: 1998 file(s) [attempted 1998/8459 = 23%, 114 KB/s], Decompressed: 1827
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 56 KB/s], Decompressed: 1926
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 117 KB/s], Decompressed: 1926
Downloaded: 2122 file(s) [attempted 2122/8459 = 25%, 23 KB/s], Decompressed: 2019
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 222 KB/s], Decompressed: 2019
Downloaded: 2204 file(s) [attempted 2204/8459 = 26%, 454 KB/s], Decompressed: 2111
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 311 KB/s], Decompressed: 2111
Downloaded: 2286 file(s) [attempted 2286/8459 = 27%, 794 KB/s], Decompressed: 2111
Downloaded: 2320 file(s) [attempted 2320/8459 = 27%, 314 KB/s], Decompressed: 2204
Downloaded: 2361 file(s) [attempted 2361/8459 = 27%, 399 KB/s], Decompressed: 2204
Downloaded: 2403 file(s) [attempted 2403/8459 = 28%, 485 KB/s], Decompressed: 2296
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 70 KB/s], Decompressed: 2296
Downloaded: 2488 file(s) [attempted 2488/8459 = 29%, 196 KB/s], Decompressed: 2382
Downloaded: 2529 file(s) [attempted 2529/8459 = 29%, 259 KB/s], Decompressed: 2382
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 937 KB/s], Decompressed: 2474
Downloaded: 2615 file(s) [attempted 2615/8459 = 30%, 64 KB/s], Decompressed: 2474
Downloaded: 2659 file(s) [attempted 2659/8459 = 31%, 692 KB/s], Decompressed: 2564
Downloaded: 2704 file(s) [attempted 2704/8459 = 31%, 1058 KB/s], Decompressed: 2564
Downloaded: 2745 file(s) [attempted 2745/8459 = 32%, 56 KB/s], Decompressed: 2564
Downloaded: 2783 file(s) [attempted 2783/8459 = 32%, 119 KB/s], Decompressed: 2659
Downloaded: 2824 file(s) [attempted 2824/8459 = 33%, 206 KB/s], Decompressed: 2659
Downloaded: 2865 file(s) [attempted 2865/8459 = 33%, 41 KB/s], Decompressed: 2759
Downloaded: 2910 file(s) [attempted 2910/8459 = 34%, 646 KB/s], Decompressed: 2759
Downloaded: 2951 file(s) [attempted 2951/8459 = 34%, 153 KB/s], Decompressed: 2858
Downloaded: 2992 file(s) [attempted 2992/8459 = 35%, 227 KB/s], Decompressed: 2858
Downloaded: 3033 file(s) [attempted 3033/8459 = 35%, 439 KB/s], Decompressed: 2947
Downloaded: 3070 file(s) [attempted 3070/8459 = 36%, 135 KB/s], Decompressed: 2947
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 667 KB/s], Decompressed: 3033
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 150 KB/s], Decompressed: 3033
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 197 KB/s], Decompressed: 3033
Downloaded: 3238 file(s) [attempted 3238/8459 = 38%, 213 KB/s], Decompressed: 3115
Downloaded: 3279 file(s) [attempted 3279/8459 = 38%, 325 KB/s], Decompressed: 3115
Downloaded: 3320 file(s) [attempted 3320/8459 = 39%, 27 KB/s], Decompressed: 3201
Downloaded: 3362 file(s) [attempted 3362/8459 = 39%, 464 KB/s], Decompressed: 3201
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 122 KB/s], Decompressed: 3286
Downloaded: 3447 file(s) [attempted 3447/8459 = 40%, 69 KB/s], Decompressed: 3286
Downloaded: 3492 file(s) [attempted 3492/8459 = 41%, 190 KB/s], Decompressed: 3375
Downloaded: 3533 file(s) [attempted 3533/8459 = 41%, 581 KB/s], Decompressed: 3375
Downloaded: 3569 file(s) [attempted 3569/8459 = 42%, 374 KB/s], Decompressed: 3464
Downloaded: 3608 file(s) [attempted 3608/8459 = 42%, 41 KB/s], Decompressed: 3464
Downloaded: 3653 file(s) [attempted 3653/8459 = 43%, 709 KB/s], Decompressed: 3464
Downloaded: 3694 file(s) [attempted 3694/8459 = 43%, 258 KB/s], Decompressed: 3567
Downloaded: 3738 file(s) [attempted 3738/8459 = 44%, 521 KB/s], Decompressed: 3567
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 379 KB/s], Decompressed: 3567
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 128 KB/s], Decompressed: 3687
Downloaded: 3858 file(s) [attempted 3858/8459 = 45%, 141 KB/s], Decompressed: 3687
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 394 KB/s], Decompressed: 3687
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 460 KB/s], Decompressed: 3803
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 686 KB/s], Decompressed: 3803
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 86 KB/s], Decompressed: 3913
Downloaded: 4067 file(s) [attempted 4067/8459 = 48%, 43 KB/s], Decompressed: 3913
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 430 KB/s], Decompressed: 3913
Downloaded: 4154 file(s) [attempted 4154/8459 = 49%, 372 KB/s], Decompressed: 4023
Downloaded: 4191 file(s) [attempted 4191/8459 = 49%, 263 KB/s], Decompressed: 4023
Downloaded: 4232 file(s) [attempted 4232/8459 = 50%, 547 KB/s], Decompressed: 4023
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 234 KB/s], Decompressed: 4132
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 436 KB/s], Decompressed: 4132
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 242 KB/s], Decompressed: 4132
Downloaded: 4399 file(s) [attempted 4399/8459 = 52%, 621 KB/s], Decompressed: 4252
Downloaded: 4444 file(s) [attempted 4444/8459 = 52%, 56 KB/s], Decompressed: 4252
Downloaded: 4482 file(s) [attempted 4482/8459 = 52%, 127 KB/s], Decompressed: 4365
Downloaded: 4523 file(s) [attempted 4523/8459 = 53%, 178 KB/s], Decompressed: 4365
Downloaded: 4567 file(s) [attempted 4567/8459 = 53%, 122 KB/s], Decompressed: 4468
Downloaded: 4608 file(s) [attempted 4608/8459 = 54%, 96 KB/s], Decompressed: 4468
Downloaded: 4649 file(s) [attempted 4649/8459 = 54%, 356 KB/s], Decompressed: 4468
Downloaded: 4691 file(s) [attempted 4691/8459 = 55%, 48 KB/s], Decompressed: 4567
Downloaded: 4728 file(s) [attempted 4728/8459 = 55%, 1593 KB/s], Decompressed: 4567
Downloaded: 4769 file(s) [attempted 4769/8459 = 56%, 367 KB/s], Decompressed: 4567
Downloaded: 4810 file(s) [attempted 4810/8459 = 56%, 208 KB/s], Decompressed: 4677
Downloaded: 4855 file(s) [attempted 4855/8459 = 57%, 61 KB/s], Decompressed: 4677
Downloaded: 4900 file(s) [attempted 4900/8459 = 57%, 824 KB/s], Decompressed: 4677
Downloaded: 4937 file(s) [attempted 4937/8459 = 58%, 23 KB/s], Decompressed: 4807
Downloaded: 4978 file(s) [attempted 4978/8459 = 58%, 639 KB/s], Decompressed: 4807
Downloaded: 5019 file(s) [attempted 5019/8459 = 59%, 168 KB/s], Decompressed: 4807
Downloaded: 5057 file(s) [attempted 5057/8459 = 59%, 389 KB/s], Decompressed: 4807
Downloaded: 5102 file(s) [attempted 5102/8459 = 60%, 784 KB/s], Decompressed: 4937
Downloaded: 5146 file(s) [attempted 5146/8459 = 60%, 766 KB/s], Decompressed: 4937
Downloaded: 5191 file(s) [attempted 5191/8459 = 61%, 160 KB/s], Decompressed: 4937
Downloaded: 5235 file(s) [attempted 5235/8459 = 61%, 98 KB/s], Decompressed: 5067
Downloaded: 5273 file(s) [attempted 5273/8459 = 62%, 498 KB/s], Decompressed: 5067
Downloaded: 5314 file(s) [attempted 5314/8459 = 62%, 300 KB/s], Decompressed: 5067
Downloaded: 5352 file(s) [attempted 5352/8459 = 63%, 82 KB/s], Decompressed: 5200
Downloaded: 5400 file(s) [attempted 5400/8459 = 63%, 88 KB/s], Decompressed: 5200
Downloaded: 5448 file(s) [attempted 5448/8459 = 64%, 102 KB/s], Decompressed: 5200
Downloaded: 5496 file(s) [attempted 5496/8459 = 64%, 305 KB/s], Decompressed: 5345
Downloaded: 5533 file(s) [attempted 5533/8459 = 65%, 595 KB/s], Decompressed: 5345
Downloaded: 5578 file(s) [attempted 5578/8459 = 65%, 40 KB/s], Decompressed: 5345
Downloaded: 5619 file(s) [attempted 5619/8459 = 66%, 67 KB/s], Decompressed: 5345
Downloaded: 5660 file(s) [attempted 5660/8459 = 66%, 153 KB/s], Decompressed: 5468
Downloaded: 5701 file(s) [attempted 5701/8459 = 67%, 335 KB/s], Decompressed: 5468
Downloaded: 5739 file(s) [attempted 5739/8459 = 67%, 591 KB/s], Decompressed: 5468
Downloaded: 5780 file(s) [attempted 5780/8459 = 68%, 738 KB/s], Decompressed: 5468
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 98 KB/s], Decompressed: 5468
Downloaded: 5869 file(s) [attempted 5869/8459 = 69%, 173 KB/s], Decompressed: 5643
Downloaded: 5917 file(s) [attempted 5917/8459 = 69%, 124 KB/s], Decompressed: 5643
Downloaded: 5965 file(s) [attempted 5965/8459 = 70%, 941 KB/s], Decompressed: 5643
Downloaded: 6002 file(s) [attempted 6002/8459 = 70%, 257 KB/s], Decompressed: 5643
Downloaded: 6042 file(s) [attempted 6042/8459 = 71%, 229 KB/s], Decompressed: 5643
Downloaded: 6085 file(s) [attempted 6085/8459 = 71%, 227 KB/s], Decompressed: 5852
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 193 KB/s], Decompressed: 5852
Downloaded: 6170 file(s) [attempted 6170/8459 = 72%, 301 KB/s], Decompressed: 5852
Downloaded: 6211 file(s) [attempted 6211/8459 = 73%, 747 KB/s], Decompressed: 5852
Downloaded: 6249 file(s) [attempted 6249/8459 = 73%, 670 KB/s], Decompressed: 6061
Downloaded: 6287 file(s) [attempted 6287/8459 = 74%, 72 KB/s], Decompressed: 6061
Downloaded: 6331 file(s) [attempted 6331/8459 = 74%, 366 KB/s], Decompressed: 6061
Downloaded: 6376 file(s) [attempted 6376/8459 = 75%, 754 KB/s], Decompressed: 6061
Downloaded: 6420 file(s) [attempted 6420/8459 = 75%, 1513 KB/s], Decompressed: 6235
Downloaded: 6465 file(s) [attempted 6465/8459 = 76%, 88 KB/s], Decompressed: 6235
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 35 KB/s], Decompressed: 6235
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 66 KB/s], Decompressed: 6386
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 372 KB/s], Decompressed: 6386
Downloaded: 6622 file(s) [attempted 6622/8459 = 78%, 291 KB/s], Decompressed: 6386
Downloaded: 6663 file(s) [attempted 6663/8459 = 78%, 334 KB/s], Decompressed: 6386
Downloaded: 6711 file(s) [attempted 6711/8459 = 79%, 1160 KB/s], Decompressed: 6530
Downloaded: 6756 file(s) [attempted 6756/8459 = 79%, 174 KB/s], Decompressed: 6530
Downloaded: 6801 file(s) [attempted 6801/8459 = 80%, 1246 KB/s], Decompressed: 6530
Downloaded: 6838 file(s) [attempted 6838/8459 = 80%, 221 KB/s], Decompressed: 6681
Downloaded: 6876 file(s) [attempted 6876/8459 = 81%, 42 KB/s], Decompressed: 6681
Downloaded: 6914 file(s) [attempted 6914/8459 = 81%, 221 KB/s], Decompressed: 6681
Downloaded: 6958 file(s) [attempted 6958/8459 = 82%, 160 KB/s], Decompressed: 6681
Downloaded: 7003 file(s) [attempted 7003/8459 = 82%, 121 KB/s], Decompressed: 6838
Downloaded: 7047 file(s) [attempted 7047/8459 = 83%, 149 KB/s], Decompressed: 6838
Downloaded: 7092 file(s) [attempted 7092/8459 = 83%, 99 KB/s], Decompressed: 6838
Downloaded: 7129 file(s) [attempted 7129/8459 = 84%, 1315 KB/s], Decompressed: 6838
Downloaded: 7167 file(s) [attempted 7167/8459 = 84%, 276 KB/s], Decompressed: 6996
Downloaded: 7208 file(s) [attempted 7208/8459 = 85%, 404 KB/s], Decompressed: 6996
Downloaded: 7249 file(s) [attempted 7249/8459 = 85%, 70 KB/s], Decompressed: 6996
Downloaded: 7294 file(s) [attempted 7294/8459 = 86%, 444 KB/s], Decompressed: 6996
Downloaded: 7338 file(s) [attempted 7338/8459 = 86%, 413 KB/s], Decompressed: 7160
Downloaded: 7383 file(s) [attempted 7383/8459 = 87%, 592 KB/s], Decompressed: 7160
Downloaded: 7420 file(s) [attempted 7420/8459 = 87%, 25 KB/s], Decompressed: 7160
Downloaded: 7462 file(s) [attempted 7462/8459 = 88%, 481 KB/s], Decompressed: 7160
Downloaded: 7499 file(s) [attempted 7499/8459 = 88%, 510 KB/s], Decompressed: 7328
Downloaded: 7540 file(s) [attempted 7540/8459 = 89%, 512 KB/s], Decompressed: 7328
Downloaded: 7581 file(s) [attempted 7581/8459 = 89%, 29 KB/s], Decompressed: 7328
Downloaded: 7626 file(s) [attempted 7626/8459 = 90%, 154 KB/s], Decompressed: 7328
Downloaded: 7667 file(s) [attempted 7667/8459 = 90%, 52 KB/s], Decompressed: 7328
Downloaded: 7705 file(s) [attempted 7705/8459 = 91%, 188 KB/s], Decompressed: 7328
Downloaded: 7749 file(s) [attempted 7749/8459 = 91%, 230 KB/s], Decompressed: 7328
Downloaded: 7790 file(s) [attempted 7790/8459 = 92%, 301 KB/s], Decompressed: 7328
Downloaded: 7831 file(s) [attempted 7831/8459 = 92%, 300 KB/s], Decompressed: 7496
Downloaded: 7873 file(s) [attempted 7873/8459 = 93%, 215 KB/s], Decompressed: 7496
Downloaded: 7917 file(s) [attempted 7917/8459 = 93%, 97 KB/s], Decompressed: 7496
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 195 KB/s], Decompressed: 7496
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 57 KB/s], Decompressed: 7496
Downloaded: 8047 file(s) [attempted 8047/8459 = 95%, 190 KB/s], Decompressed: 7496
Downloaded: 8088 file(s) [attempted 8088/8459 = 95%, 59 KB/s], Decompressed: 7804
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 489 KB/s], Decompressed: 7804
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 1324 KB/s], Decompressed: 7804
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 448 KB/s], Decompressed: 7804
Downloaded: 8256 file(s) [attempted 8256/8459 = 97%, 268 KB/s], Decompressed: 7804
Downloaded: 8294 file(s) [attempted 8294/8459 = 98%, 127 KB/s], Decompressed: 7804
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 82 KB/s], Decompressed: 7804
Downloaded: 8373 file(s) [attempted 8373/8459 = 98%, 97 KB/s], Decompressed: 8081
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 112 KB/s], Decompressed: 8081
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 117 KB/s], Decompressed: 8081
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 117 KB/s], Decompressed: 8081

apx-runtime-resource-v1	apx-verifier-job-1729-runtime-lake_cache-3995770-1787629342246011234-0	3940352	4186112	21474836480	0	0	0	0	0	0	580739072	6869307392	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200006
stdout:
✔ [500/502] Built Iut.Foundations.Species (94s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (158s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (84s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (108s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (98s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (81s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (157s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (125s)
✔ [790/794] Built Iut.Foundations.QualitativeData (145s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (435s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1374s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1286s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1425s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (264s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (484s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (278s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1729-runtime-lean_checker-3995770-1787629508694504466-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1729-runtime-blueprint_build-3995770-1787636709358481400-2	942080	1449984	21474836480	0	0	0	0	0	0	690954240	793780224	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 245 ms · created 8/25/2026, 5:45:24 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1729-source'...
error: unable to read askpass response from '/usr/bin/false'
fatal: could not read Username for 'https://github.com': terminal prompts disabled

git_cloneexit 0duration 4s · created 8/25/2026, 5:45:24 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 286 ms · created 8/25/2026, 5:45:24 AM

git checkout e1c020ce66a9940c92e3f4210bbbb372c32a02ef

Note: switching to 'e1c020ce66a9940c92e3f4210bbbb372c32a02ef'.

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 e1c020c Merge pull request #968 from promachina/e23-3f-selected-family-good-place-normalization

lake_cacheexit 0duration 2m 46s · created 8/25/2026, 5:45:24 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 (970ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (99ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (156ms)
✔ [13/25] Built Cache.Lean:c.o (138ms)
✔ [15/25] Built Cache.Init (316ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (96ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (903ms)
✔ [20/25] Built Cache.Hashing:c.o (361ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (14s)
✔ [24/25] Built Cache.Main:c.o (1.6s)
✔ [25/25] Built cache:exe (4.8s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 17 file(s) [attempted 17/8459 = 0%, 12 KB/s], Decompressed: 9
Downloaded: 44 file(s) [attempted 44/8459 = 0%, 23 KB/s], Decompressed: 16
Downloaded: 66 file(s) [attempted 66/8459 = 0%, 31 KB/s], Decompressed: 29
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 44 KB/s], Decompressed: 52
Downloaded: 127 file(s) [attempted 127/8459 = 1%, 251 KB/s], Decompressed: 52
Downloaded: 158 file(s) [attempted 158/8459 = 1%, 124 KB/s], Decompressed: 80
Downloaded: 196 file(s) [attempted 196/8459 = 2%, 158 KB/s], Decompressed: 80
Downloaded: 234 file(s) [attempted 234/8459 = 2%, 216 KB/s], Decompressed: 131
Downloaded: 271 file(s) [attempted 271/8459 = 3%, 82 KB/s], Decompressed: 131
Downloaded: 309 file(s) [attempted 309/8459 = 3%, 325 KB/s], Decompressed: 203
Downloaded: 350 file(s) [attempted 350/8459 = 4%, 921 KB/s], Decompressed: 203
Downloaded: 388 file(s) [attempted 388/8459 = 4%, 54 KB/s], Decompressed: 278
Downloaded: 429 file(s) [attempted 429/8459 = 5%, 57 KB/s], Decompressed: 357
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 79 KB/s], Decompressed: 357
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 674 KB/s], Decompressed: 426
Downloaded: 551 file(s) [attempted 551/8459 = 6%, 127 KB/s], Decompressed: 487
Downloaded: 594 file(s) [attempted 594/8459 = 7%, 264 KB/s], Decompressed: 487
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 624 KB/s], Decompressed: 549
Downloaded: 673 file(s) [attempted 673/8459 = 7%, 328 KB/s], Decompressed: 549
Downloaded: 717 file(s) [attempted 717/8459 = 8%, 367 KB/s], Decompressed: 621
Downloaded: 755 file(s) [attempted 755/8459 = 8%, 243 KB/s], Decompressed: 621
Downloaded: 796 file(s) [attempted 796/8459 = 9%, 148 KB/s], Decompressed: 697
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 517 KB/s], Decompressed: 697
Downloaded: 882 file(s) [attempted 882/8459 = 10%, 302 KB/s], Decompressed: 779
Downloaded: 923 file(s) [attempted 923/8459 = 10%, 570 KB/s], Decompressed: 779
Downloaded: 964 file(s) [attempted 964/8459 = 11%, 315 KB/s], Decompressed: 858
Downloaded: 1002 file(s) [attempted 1002/8459 = 11%, 304 KB/s], Decompressed: 930
Downloaded: 1043 file(s) [attempted 1043/8459 = 12%, 44 KB/s], Decompressed: 930
Downloaded: 1080 file(s) [attempted 1080/8459 = 12%, 264 KB/s], Decompressed: 991
Downloaded: 1125 file(s) [attempted 1125/8459 = 13%, 364 KB/s], Decompressed: 1053
Downloaded: 1170 file(s) [attempted 1170/8459 = 13%, 289 KB/s], Decompressed: 1053
Downloaded: 1217 file(s) [attempted 1217/8459 = 14%, 233 KB/s], Decompressed: 1118
Downloaded: 1259 file(s) [attempted 1259/8459 = 14%, 202 KB/s], Decompressed: 1183
Downloaded: 1300 file(s) [attempted 1300/8459 = 15%, 131 KB/s], Decompressed: 1183
Downloaded: 1334 file(s) [attempted 1334/8459 = 15%, 157 KB/s], Decompressed: 1252
Downloaded: 1378 file(s) [attempted 1378/8459 = 16%, 31 KB/s], Decompressed: 1252
Downloaded: 1423 file(s) [attempted 1423/8459 = 16%, 79 KB/s], Decompressed: 1320
Downloaded: 1464 file(s) [attempted 1464/8459 = 17%, 187 KB/s], Decompressed: 1320
Downloaded: 1505 file(s) [attempted 1505/8459 = 17%, 90 KB/s], Decompressed: 1396
Downloaded: 1546 file(s) [attempted 1546/8459 = 18%, 406 KB/s], Decompressed: 1396
Downloaded: 1587 file(s) [attempted 1587/8459 = 18%, 302 KB/s], Decompressed: 1471
Downloaded: 1628 file(s) [attempted 1628/8459 = 19%, 1128 KB/s], Decompressed: 1471
Downloaded: 1670 file(s) [attempted 1670/8459 = 19%, 123 KB/s], Decompressed: 1563
Downloaded: 1711 file(s) [attempted 1711/8459 = 20%, 451 KB/s], Decompressed: 1563
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 995 KB/s], Decompressed: 1659
Downloaded: 1793 file(s) [attempted 1793/8459 = 21%, 292 KB/s], Decompressed: 1659
Downloaded: 1831 file(s) [attempted 1831/8459 = 21%, 107 KB/s], Decompressed: 1742
Downloaded: 1872 file(s) [attempted 1872/8459 = 22%, 462 KB/s], Decompressed: 1742
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 749 KB/s], Decompressed: 1742
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 211 KB/s], Decompressed: 1827
Downloaded: 1998 file(s) [attempted 1998/8459 = 23%, 114 KB/s], Decompressed: 1827
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 56 KB/s], Decompressed: 1926
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 117 KB/s], Decompressed: 1926
Downloaded: 2122 file(s) [attempted 2122/8459 = 25%, 23 KB/s], Decompressed: 2019
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 222 KB/s], Decompressed: 2019
Downloaded: 2204 file(s) [attempted 2204/8459 = 26%, 454 KB/s], Decompressed: 2111
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 311 KB/s], Decompressed: 2111
Downloaded: 2286 file(s) [attempted 2286/8459 = 27%, 794 KB/s], Decompressed: 2111
Downloaded: 2320 file(s) [attempted 2320/8459 = 27%, 314 KB/s], Decompressed: 2204
Downloaded: 2361 file(s) [attempted 2361/8459 = 27%, 399 KB/s], Decompressed: 2204
Downloaded: 2403 file(s) [attempted 2403/8459 = 28%, 485 KB/s], Decompressed: 2296
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 70 KB/s], Decompressed: 2296
Downloaded: 2488 file(s) [attempted 2488/8459 = 29%, 196 KB/s], Decompressed: 2382
Downloaded: 2529 file(s) [attempted 2529/8459 = 29%, 259 KB/s], Decompressed: 2382
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 937 KB/s], Decompressed: 2474
Downloaded: 2615 file(s) [attempted 2615/8459 = 30%, 64 KB/s], Decompressed: 2474
Downloaded: 2659 file(s) [attempted 2659/8459 = 31%, 692 KB/s], Decompressed: 2564
Downloaded: 2704 file(s) [attempted 2704/8459 = 31%, 1058 KB/s], Decompressed: 2564
Downloaded: 2745 file(s) [attempted 2745/8459 = 32%, 56 KB/s], Decompressed: 2564
Downloaded: 2783 file(s) [attempted 2783/8459 = 32%, 119 KB/s], Decompressed: 2659
Downloaded: 2824 file(s) [attempted 2824/8459 = 33%, 206 KB/s], Decompressed: 2659
Downloaded: 2865 file(s) [attempted 2865/8459 = 33%, 41 KB/s], Decompressed: 2759
Downloaded: 2910 file(s) [attempted 2910/8459 = 34%, 646 KB/s], Decompressed: 2759
Downloaded: 2951 file(s) [attempted 2951/8459 = 34%, 153 KB/s], Decompressed: 2858
Downloaded: 2992 file(s) [attempted 2992/8459 = 35%, 227 KB/s], Decompressed: 2858
Downloaded: 3033 file(s) [attempted 3033/8459 = 35%, 439 KB/s], Decompressed: 2947
Downloaded: 3070 file(s) [attempted 3070/8459 = 36%, 135 KB/s], Decompressed: 2947
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 667 KB/s], Decompressed: 3033
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 150 KB/s], Decompressed: 3033
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 197 KB/s], Decompressed: 3033
Downloaded: 3238 file(s) [attempted 3238/8459 = 38%, 213 KB/s], Decompressed: 3115
Downloaded: 3279 file(s) [attempted 3279/8459 = 38%, 325 KB/s], Decompressed: 3115
Downloaded: 3320 file(s) [attempted 3320/8459 = 39%, 27 KB/s], Decompressed: 3201
Downloaded: 3362 file(s) [attempted 3362/8459 = 39%, 464 KB/s], Decompressed: 3201
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 122 KB/s], Decompressed: 3286
Downloaded: 3447 file(s) [attempted 3447/8459 = 40%, 69 KB/s], Decompressed: 3286
Downloaded: 3492 file(s) [attempted 3492/8459 = 41%, 190 KB/s], Decompressed: 3375
Downloaded: 3533 file(s) [attempted 3533/8459 = 41%, 581 KB/s], Decompressed: 3375
Downloaded: 3569 file(s) [attempted 3569/8459 = 42%, 374 KB/s], Decompressed: 3464
Downloaded: 3608 file(s) [attempted 3608/8459 = 42%, 41 KB/s], Decompressed: 3464
Downloaded: 3653 file(s) [attempted 3653/8459 = 43%, 709 KB/s], Decompressed: 3464
Downloaded: 3694 file(s) [attempted 3694/8459 = 43%, 258 KB/s], Decompressed: 3567
Downloaded: 3738 file(s) [attempted 3738/8459 = 44%, 521 KB/s], Decompressed: 3567
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 379 KB/s], Decompressed: 3567
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 128 KB/s], Decompressed: 3687
Downloaded: 3858 file(s) [attempted 3858/8459 = 45%, 141 KB/s], Decompressed: 3687
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 394 KB/s], Decompressed: 3687
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 460 KB/s], Decompressed: 3803
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 686 KB/s], Decompressed: 3803
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 86 KB/s], Decompressed: 3913
Downloaded: 4067 file(s) [attempted 4067/8459 = 48%, 43 KB/s], Decompressed: 3913
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 430 KB/s], Decompressed: 3913
Downloaded: 4154 file(s) [attempted 4154/8459 = 49%, 372 KB/s], Decompressed: 4023
Downloaded: 4191 file(s) [attempted 4191/8459 = 49%, 263 KB/s], Decompressed: 4023
Downloaded: 4232 file(s) [attempted 4232/8459 = 50%, 547 KB/s], Decompressed: 4023
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 234 KB/s], Decompressed: 4132
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 436 KB/s], Decompressed: 4132
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 242 KB/s], Decompressed: 4132
Downloaded: 4399 file(s) [attempted 4399/8459 = 52%, 621 KB/s], Decompressed: 4252
Downloaded: 4444 file(s) [attempted 4444/8459 = 52%, 56 KB/s], Decompressed: 4252
Downloaded: 4482 file(s) [attempted 4482/8459 = 52%, 127 KB/s], Decompressed: 4365
Downloaded: 4523 file(s) [attempted 4523/8459 = 53%, 178 KB/s], Decompressed: 4365
Downloaded: 4567 file(s) [attempted 4567/8459 = 53%, 122 KB/s], Decompressed: 4468
Downloaded: 4608 file(s) [attempted 4608/8459 = 54%, 96 KB/s], Decompressed: 4468
Downloaded: 4649 file(s) [attempted 4649/8459 = 54%, 356 KB/s], Decompressed: 4468
Downloaded: 4691 file(s) [attempted 4691/8459 = 55%, 48 KB/s], Decompressed: 4567
Downloaded: 4728 file(s) [attempted 4728/8459 = 55%, 1593 KB/s], Decompressed: 4567
Downloaded: 4769 file(s) [attempted 4769/8459 = 56%, 367 KB/s], Decompressed: 4567
Downloaded: 4810 file(s) [attempted 4810/8459 = 56%, 208 KB/s], Decompressed: 4677
Downloaded: 4855 file(s) [attempted 4855/8459 = 57%, 61 KB/s], Decompressed: 4677
Downloaded: 4900 file(s) [attempted 4900/8459 = 57%, 824 KB/s], Decompressed: 4677
Downloaded: 4937 file(s) [attempted 4937/8459 = 58%, 23 KB/s], Decompressed: 4807
Downloaded: 4978 file(s) [attempted 4978/8459 = 58%, 639 KB/s], Decompressed: 4807
Downloaded: 5019 file(s) [attempted 5019/8459 = 59%, 168 KB/s], Decompressed: 4807
Downloaded: 5057 file(s) [attempted 5057/8459 = 59%, 389 KB/s], Decompressed: 4807
Downloaded: 5102 file(s) [attempted 5102/8459 = 60%, 784 KB/s], Decompressed: 4937
Downloaded: 5146 file(s) [attempted 5146/8459 = 60%, 766 KB/s], Decompressed: 4937
Downloaded: 5191 file(s) [attempted 5191/8459 = 61%, 160 KB/s], Decompressed: 4937
Downloaded: 5235 file(s) [attempted 5235/8459 = 61%, 98 KB/s], Decompressed: 5067
Downloaded: 5273 file(s) [attempted 5273/8459 = 62%, 498 KB/s], Decompressed: 5067
Downloaded: 5314 file(s) [attempted 5314/8459 = 62%, 300 KB/s], Decompressed: 5067
Downloaded: 5352 file(s) [attempted 5352/8459 = 63%, 82 KB/s], Decompressed: 5200
Downloaded: 5400 file(s) [attempted 5400/8459 = 63%, 88 KB/s], Decompressed: 5200
Downloaded: 5448 file(s) [attempted 5448/8459 = 64%, 102 KB/s], Decompressed: 5200
Downloaded: 5496 file(s) [attempted 5496/8459 = 64%, 305 KB/s], Decompressed: 5345
Downloaded: 5533 file(s) [attempted 5533/8459 = 65%, 595 KB/s], Decompressed: 5345
Downloaded: 5578 file(s) [attempted 5578/8459 = 65%, 40 KB/s], Decompressed: 5345
Downloaded: 5619 file(s) [attempted 5619/8459 = 66%, 67 KB/s], Decompressed: 5345
Downloaded: 5660 file(s) [attempted 5660/8459 = 66%, 153 KB/s], Decompressed: 5468
Downloaded: 5701 file(s) [attempted 5701/8459 = 67%, 335 KB/s], Decompressed: 5468
Downloaded: 5739 file(s) [attempted 5739/8459 = 67%, 591 KB/s], Decompressed: 5468
Downloaded: 5780 file(s) [attempted 5780/8459 = 68%, 738 KB/s], Decompressed: 5468
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 98 KB/s], Decompressed: 5468
Downloaded: 5869 file(s) [attempted 5869/8459 = 69%, 173 KB/s], Decompressed: 5643
Downloaded: 5917 file(s) [attempted 5917/8459 = 69%, 124 KB/s], Decompressed: 5643
Downloaded: 5965 file(s) [attempted 5965/8459 = 70%, 941 KB/s], Decompressed: 5643
Downloaded: 6002 file(s) [attempted 6002/8459 = 70%, 257 KB/s], Decompressed: 5643
Downloaded: 6042 file(s) [attempted 6042/8459 = 71%, 229 KB/s], Decompressed: 5643
Downloaded: 6085 file(s) [attempted 6085/8459 = 71%, 227 KB/s], Decompressed: 5852
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 193 KB/s], Decompressed: 5852
Downloaded: 6170 file(s) [attempted 6170/8459 = 72%, 301 KB/s], Decompressed: 5852
Downloaded: 6211 file(s) [attempted 6211/8459 = 73%, 747 KB/s], Decompressed: 5852
Downloaded: 6249 file(s) [attempted 6249/8459 = 73%, 670 KB/s], Decompressed: 6061
Downloaded: 6287 file(s) [attempted 6287/8459 = 74%, 72 KB/s], Decompressed: 6061
Downloaded: 6331 file(s) [attempted 6331/8459 = 74%, 366 KB/s], Decompressed: 6061
Downloaded: 6376 file(s) [attempted 6376/8459 = 75%, 754 KB/s], Decompressed: 6061
Downloaded: 6420 file(s) [attempted 6420/8459 = 75%, 1513 KB/s], Decompressed: 6235
Downloaded: 6465 file(s) [attempted 6465/8459 = 76%, 88 KB/s], Decompressed: 6235
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 35 KB/s], Decompressed: 6235
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 66 KB/s], Decompressed: 6386
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 372 KB/s], Decompressed: 6386
Downloaded: 6622 file(s) [attempted 6622/8459 = 78%, 291 KB/s], Decompressed: 6386
Downloaded: 6663 file(s) [attempted 6663/8459 = 78%, 334 KB/s], Decompressed: 6386
Downloaded: 6711 file(s) [attempted 6711/8459 = 79%, 1160 KB/s], Decompressed: 6530
Downloaded: 6756 file(s) [attempted 6756/8459 = 79%, 174 KB/s], Decompressed: 6530
Downloaded: 6801 file(s) [attempted 6801/8459 = 80%, 1246 KB/s], Decompressed: 6530
Downloaded: 6838 file(s) [attempted 6838/8459 = 80%, 221 KB/s], Decompressed: 6681
Downloaded: 6876 file(s) [attempted 6876/8459 = 81%, 42 KB/s], Decompressed: 6681
Downloaded: 6914 file(s) [attempted 6914/8459 = 81%, 221 KB/s], Decompressed: 6681
Downloaded: 6958 file(s) [attempted 6958/8459 = 82%, 160 KB/s], Decompressed: 6681
Downloaded: 7003 file(s) [attempted 7003/8459 = 82%, 121 KB/s], Decompressed: 6838
Downloaded: 7047 file(s) [attempted 7047/8459 = 83%, 149 KB/s], Decompressed: 6838
Downloaded: 7092 file(s) [attempted 7092/8459 = 83%, 99 KB/s], Decompressed: 6838
Downloaded: 7129 file(s) [attempted 7129/8459 = 84%, 1315 KB/s], Decompressed: 6838
Downloaded: 7167 file(s) [attempted 7167/8459 = 84%, 276 KB/s], Decompressed: 6996
Downloaded: 7208 file(s) [attempted 7208/8459 = 85%, 404 KB/s], Decompressed: 6996
Downloaded: 7249 file(s) [attempted 7249/8459 = 85%, 70 KB/s], Decompressed: 6996
Downloaded: 7294 file(s) [attempted 7294/8459 = 86%, 444 KB/s], Decompressed: 6996
Downloaded: 7338 file(s) [attempted 7338/8459 = 86%, 413 KB/s], Decompressed: 7160
Downloaded: 7383 file(s) [attempted 7383/8459 = 87%, 592 KB/s], Decompressed: 7160
Downloaded: 7420 file(s) [attempted 7420/8459 = 87%, 25 KB/s], Decompressed: 7160
Downloaded: 7462 file(s) [attempted 7462/8459 = 88%, 481 KB/s], Decompressed: 7160
Downloaded: 7499 file(s) [attempted 7499/8459 = 88%, 510 KB/s], Decompressed: 7328
Downloaded: 7540 file(s) [attempted 7540/8459 = 89%, 512 KB/s], Decompressed: 7328
Downloaded: 7581 file(s) [attempted 7581/8459 = 89%, 29 KB/s], Decompressed: 7328
Downloaded: 7626 file(s) [attempted 7626/8459 = 90%, 154 KB/s], Decompressed: 7328
Downloaded: 7667 file(s) [attempted 7667/8459 = 90%, 52 KB/s], Decompressed: 7328
Downloaded: 7705 file(s) [attempted 7705/8459 = 91%, 188 KB/s], Decompressed: 7328
Downloaded: 7749 file(s) [attempted 7749/8459 = 91%, 230 KB/s], Decompressed: 7328
Downloaded: 7790 file(s) [attempted 7790/8459 = 92%, 301 KB/s], Decompressed: 7328
Downloaded: 7831 file(s) [attempted 7831/8459 = 92%, 300 KB/s], Decompressed: 7496
Downloaded: 7873 file(s) [attempted 7873/8459 = 93%, 215 KB/s], Decompressed: 7496
Downloaded: 7917 file(s) [attempted 7917/8459 = 93%, 97 KB/s], Decompressed: 7496
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 195 KB/s], Decompressed: 7496
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 57 KB/s], Decompressed: 7496
Downloaded: 8047 file(s) [attempted 8047/8459 = 95%, 190 KB/s], Decompressed: 7496
Downloaded: 8088 file(s) [attempted 8088/8459 = 95%, 59 KB/s], Decompressed: 7804
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 489 KB/s], Decompressed: 7804
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 1324 KB/s], Decompressed: 7804
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 448 KB/s], Decompressed: 7804
Downloaded: 8256 file(s) [attempted 8256/8459 = 97%, 268 KB/s], Decompressed: 7804
Downloaded: 8294 file(s) [attempted 8294/8459 = 98%, 127 KB/s], Decompressed: 7804
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 82 KB/s], Decompressed: 7804
Downloaded: 8373 file(s) [attempted 8373/8459 = 98%, 97 KB/s], Decompressed: 8081
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 112 KB/s], Decompressed: 8081
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 117 KB/s], Decompressed: 8081
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 117 KB/s], Decompressed: 8081

apx-runtime-resource-v1	apx-verifier-job-1729-runtime-lake_cache-3995770-1787629342246011234-0	3940352	4186112	21474836480	0	0	0	0	0	0	580739072	6869307392	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/25/2026, 5:45:24 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (94s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (158s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (84s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (108s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (98s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (81s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (157s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (125s)
✔ [790/794] Built Iut.Foundations.QualitativeData (145s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (435s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1374s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1286s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1425s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (264s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (484s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (278s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1729-runtime-lean_checker-3995770-1787629508694504466-1 on attempt 1

blueprint_buildexit 1duration 13s · created 8/25/2026, 5:45:24 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1729-runtime-blueprint_build-3995770-1787636709358481400-2	942080	1449984	21474836480	0	0	0	0	0	0	690954240	793780224	21474836480	0	0	0	0	0	0