Verification run

Run 1267

promachina/iut-leanbranch mastertriggered via poller

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


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

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 e835d96 E23.2: add independent Step XI source contract (#954)

Resolved source revision: e835d965278105bbc578798ffbcdfdda76dadb53

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=e835d965278105bbc578798ffbcdfdda76dadb53 provenance={"branch":"master","checked_out_revision":"e835d965278105bbc578798ffbcdfdda76dadb53","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"e835d965278105bbc578798ffbcdfdda76dadb53","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=6093 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=253625
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 (997ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (121ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (157ms)
✔ [13/25] Built Cache.Lean:c.o (149ms)
✔ [15/25] Built Cache.Init (328ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (80ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (945ms)
✔ [20/25] Built Cache.Hashing:c.o (383ms)
✔ [21/25] Built Cache.Requests (4.2s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (14s)
✔ [24/25] Built Cache.Main:c.o (571ms)
✔ [25/25] Built cache:exe (4.6s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 9 KB/s], Decompressed: 12
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 16 KB/s], Decompressed: 23
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 46 KB/s], Decompressed: 31
Downloaded: 83 file(s) [attempted 83/8459 = 0%, 199 KB/s], Decompressed: 46
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 223 KB/s], Decompressed: 64
Downloaded: 143 file(s) [attempted 143/8459 = 1%, 357 KB/s], Decompressed: 86
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 351 KB/s], Decompressed: 145
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 203 KB/s], Decompressed: 175
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 121 KB/s], Decompressed: 175
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 71 KB/s], Decompressed: 213
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 163 KB/s], Decompressed: 258
Downloaded: 361 file(s) [attempted 361/8459 = 4%, 433 KB/s], Decompressed: 309
Downloaded: 395 file(s) [attempted 395/8459 = 4%, 211 KB/s], Decompressed: 309
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 253 KB/s], Decompressed: 361
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 559 KB/s], Decompressed: 409
Downloaded: 508 file(s) [attempted 508/8459 = 6%, 637 KB/s], Decompressed: 409
Downloaded: 546 file(s) [attempted 546/8459 = 6%, 1294 KB/s], Decompressed: 463
Downloaded: 594 file(s) [attempted 594/8459 = 7%, 270 KB/s], Decompressed: 518
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 589 KB/s], Decompressed: 518
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 433 KB/s], Decompressed: 580
Downloaded: 710 file(s) [attempted 710/8459 = 8%, 1164 KB/s], Decompressed: 645
Downloaded: 751 file(s) [attempted 751/8459 = 8%, 214 KB/s], Decompressed: 645
Downloaded: 796 file(s) [attempted 796/8459 = 9%, 552 KB/s], Decompressed: 707
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 497 KB/s], Decompressed: 765
Downloaded: 878 file(s) [attempted 878/8459 = 10%, 266 KB/s], Decompressed: 813
Downloaded: 919 file(s) [attempted 919/8459 = 10%, 598 KB/s], Decompressed: 861
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 843 KB/s], Decompressed: 861
Downloaded: 1005 file(s) [attempted 1005/8459 = 11%, 81 KB/s], Decompressed: 913
Downloaded: 1050 file(s) [attempted 1050/8459 = 12%, 170 KB/s], Decompressed: 971
Downloaded: 1091 file(s) [attempted 1091/8459 = 12%, 77 KB/s], Decompressed: 1022
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 292 KB/s], Decompressed: 1022
Downloaded: 1173 file(s) [attempted 1173/8459 = 13%, 818 KB/s], Decompressed: 1077
Downloaded: 1204 file(s) [attempted 1204/8459 = 14%, 198 KB/s], Decompressed: 1139
Downloaded: 1248 file(s) [attempted 1248/8459 = 14%, 110 KB/s], Decompressed: 1139
Downloaded: 1289 file(s) [attempted 1289/8459 = 15%, 175 KB/s], Decompressed: 1197
Downloaded: 1330 file(s) [attempted 1330/8459 = 15%, 67 KB/s], Decompressed: 1255
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 133 KB/s], Decompressed: 1313
Downloaded: 1420 file(s) [attempted 1420/8459 = 16%, 103 KB/s], Decompressed: 1313
Downloaded: 1464 file(s) [attempted 1464/8459 = 17%, 110 KB/s], Decompressed: 1372
Downloaded: 1498 file(s) [attempted 1498/8459 = 17%, 247 KB/s], Decompressed: 1426
Downloaded: 1539 file(s) [attempted 1539/8459 = 18%, 97 KB/s], Decompressed: 1478
Downloaded: 1584 file(s) [attempted 1584/8459 = 18%, 175 KB/s], Decompressed: 1478
Downloaded: 1625 file(s) [attempted 1625/8459 = 19%, 212 KB/s], Decompressed: 1533
Downloaded: 1670 file(s) [attempted 1670/8459 = 19%, 583 KB/s], Decompressed: 1587
Downloaded: 1711 file(s) [attempted 1711/8459 = 20%, 218 KB/s], Decompressed: 1639
Downloaded: 1748 file(s) [attempted 1748/8459 = 20%, 462 KB/s], Decompressed: 1687
Downloaded: 1789 file(s) [attempted 1789/8459 = 21%, 410 KB/s], Decompressed: 1687
Downloaded: 1834 file(s) [attempted 1834/8459 = 21%, 332 KB/s], Decompressed: 1738
Downloaded: 1873 file(s) [attempted 1873/8459 = 22%, 273 KB/s], Decompressed: 1738
Downloaded: 1913 file(s) [attempted 1913/8459 = 22%, 611 KB/s], Decompressed: 1800
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 70 KB/s], Decompressed: 1800
Downloaded: 1992 file(s) [attempted 1992/8459 = 23%, 592 KB/s], Decompressed: 1886
Downloaded: 2036 file(s) [attempted 2036/8459 = 24%, 93 KB/s], Decompressed: 1886
Downloaded: 2077 file(s) [attempted 2077/8459 = 24%, 246 KB/s], Decompressed: 1981
Downloaded: 2115 file(s) [attempted 2115/8459 = 25%, 644 KB/s], Decompressed: 1981
Downloaded: 2159 file(s) [attempted 2159/8459 = 25%, 200 KB/s], Decompressed: 1981
Downloaded: 2201 file(s) [attempted 2201/8459 = 26%, 95 KB/s], Decompressed: 2077
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 310 KB/s], Decompressed: 2077
Downloaded: 2286 file(s) [attempted 2286/8459 = 27%, 360 KB/s], Decompressed: 2177
Downloaded: 2317 file(s) [attempted 2317/8459 = 27%, 115 KB/s], Decompressed: 2177
Downloaded: 2358 file(s) [attempted 2358/8459 = 27%, 284 KB/s], Decompressed: 2266
Downloaded: 2403 file(s) [attempted 2403/8459 = 28%, 266 KB/s], Decompressed: 2266
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 99 KB/s], Decompressed: 2348
Downloaded: 2495 file(s) [attempted 2495/8459 = 29%, 50 KB/s], Decompressed: 2348
Downloaded: 2536 file(s) [attempted 2536/8459 = 29%, 28 KB/s], Decompressed: 2427
Downloaded: 2570 file(s) [attempted 2570/8459 = 30%, 687 KB/s], Decompressed: 2427
Downloaded: 2608 file(s) [attempted 2608/8459 = 30%, 260 KB/s], Decompressed: 2509
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 51 KB/s], Decompressed: 2509
Downloaded: 2697 file(s) [attempted 2697/8459 = 31%, 35 KB/s], Decompressed: 2601
Downloaded: 2745 file(s) [attempted 2745/8459 = 32%, 135 KB/s], Decompressed: 2601
Downloaded: 2793 file(s) [attempted 2793/8459 = 33%, 1865 KB/s], Decompressed: 2601
Downloaded: 2831 file(s) [attempted 2831/8459 = 33%, 1734 KB/s], Decompressed: 2697
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 772 KB/s], Decompressed: 2697
Downloaded: 2906 file(s) [attempted 2906/8459 = 34%, 854 KB/s], Decompressed: 2697
Downloaded: 2951 file(s) [attempted 2951/8459 = 34%, 217 KB/s], Decompressed: 2803
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 953 KB/s], Decompressed: 2803
Downloaded: 3036 file(s) [attempted 3036/8459 = 35%, 167 KB/s], Decompressed: 2910
Downloaded: 3074 file(s) [attempted 3074/8459 = 36%, 232 KB/s], Decompressed: 2910
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 59 KB/s], Decompressed: 2910
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 189 KB/s], Decompressed: 3019
Downloaded: 3194 file(s) [attempted 3194/8459 = 37%, 202 KB/s], Decompressed: 3019
Downloaded: 3231 file(s) [attempted 3231/8459 = 38%, 169 KB/s], Decompressed: 3019
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 256 KB/s], Decompressed: 3139
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 265 KB/s], Decompressed: 3139
Downloaded: 3362 file(s) [attempted 3362/8459 = 39%, 76 KB/s], Decompressed: 3139
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 441 KB/s], Decompressed: 3269
Downloaded: 3440 file(s) [attempted 3440/8459 = 40%, 192 KB/s], Decompressed: 3269
Downloaded: 3478 file(s) [attempted 3478/8459 = 41%, 143 KB/s], Decompressed: 3269
Downloaded: 3526 file(s) [attempted 3526/8459 = 41%, 267 KB/s], Decompressed: 3382
Downloaded: 3567 file(s) [attempted 3567/8459 = 42%, 413 KB/s], Decompressed: 3382
Downloaded: 3608 file(s) [attempted 3608/8459 = 42%, 1141 KB/s], Decompressed: 3492
Downloaded: 3646 file(s) [attempted 3646/8459 = 43%, 390 KB/s], Decompressed: 3492
Downloaded: 3687 file(s) [attempted 3687/8459 = 43%, 30 KB/s], Decompressed: 3492
Downloaded: 3732 file(s) [attempted 3732/8459 = 44%, 290 KB/s], Decompressed: 3601
Downloaded: 3773 file(s) [attempted 3773/8459 = 44%, 303 KB/s], Decompressed: 3601
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 67 KB/s], Decompressed: 3692
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 427 KB/s], Decompressed: 3692
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 255 KB/s], Decompressed: 3692
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 252 KB/s], Decompressed: 3780
Downloaded: 3971 file(s) [attempted 3971/8459 = 46%, 433 KB/s], Decompressed: 3780
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 773 KB/s], Decompressed: 3780
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 576 KB/s], Decompressed: 3910
Downloaded: 4095 file(s) [attempted 4095/8459 = 48%, 191 KB/s], Decompressed: 3910
Downloaded: 4139 file(s) [attempted 4139/8459 = 48%, 80 KB/s], Decompressed: 3910
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 461 KB/s], Decompressed: 4030
Downloaded: 4221 file(s) [attempted 4221/8459 = 49%, 308 KB/s], Decompressed: 4030
Downloaded: 4262 file(s) [attempted 4262/8459 = 50%, 464 KB/s], Decompressed: 4030
Downloaded: 4310 file(s) [attempted 4310/8459 = 50%, 941 KB/s], Decompressed: 4149
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 537 KB/s], Decompressed: 4149
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 197 KB/s], Decompressed: 4149
Downloaded: 4434 file(s) [attempted 4434/8459 = 52%, 108 KB/s], Decompressed: 4149
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 817 KB/s], Decompressed: 4286
Downloaded: 4516 file(s) [attempted 4516/8459 = 53%, 111 KB/s], Decompressed: 4286
Downloaded: 4557 file(s) [attempted 4557/8459 = 53%, 1042 KB/s], Decompressed: 4286
Downloaded: 4595 file(s) [attempted 4595/8459 = 54%, 485 KB/s], Decompressed: 4437
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 199 KB/s], Decompressed: 4437
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 229 KB/s], Decompressed: 4437
Downloaded: 4718 file(s) [attempted 4718/8459 = 55%, 1693 KB/s], Decompressed: 4581
Downloaded: 4766 file(s) [attempted 4766/8459 = 56%, 387 KB/s], Decompressed: 4581
Downloaded: 4810 file(s) [attempted 4810/8459 = 56%, 281 KB/s], Decompressed: 4581
Downloaded: 4848 file(s) [attempted 4848/8459 = 57%, 284 KB/s], Decompressed: 4711
Downloaded: 4883 file(s) [attempted 4883/8459 = 57%, 265 KB/s], Decompressed: 4711
Downloaded: 4920 file(s) [attempted 4920/8459 = 58%, 46 KB/s], Decompressed: 4817
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 462 KB/s], Decompressed: 4817
Downloaded: 5010 file(s) [attempted 5010/8459 = 59%, 60 KB/s], Decompressed: 4817
Downloaded: 5051 file(s) [attempted 5051/8459 = 59%, 224 KB/s], Decompressed: 4917
Downloaded: 5088 file(s) [attempted 5088/8459 = 60%, 224 KB/s], Decompressed: 4917
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 46 KB/s], Decompressed: 5023
Downloaded: 5167 file(s) [attempted 5167/8459 = 61%, 426 KB/s], Decompressed: 5023
Downloaded: 5212 file(s) [attempted 5212/8459 = 61%, 156 KB/s], Decompressed: 5023
Downloaded: 5253 file(s) [attempted 5253/8459 = 62%, 328 KB/s], Decompressed: 5119
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 447 KB/s], Decompressed: 5119
Downloaded: 5335 file(s) [attempted 5335/8459 = 63%, 206 KB/s], Decompressed: 5215
Downloaded: 5376 file(s) [attempted 5376/8459 = 63%, 25 KB/s], Decompressed: 5215
Downloaded: 5417 file(s) [attempted 5417/8459 = 64%, 30 KB/s], Decompressed: 5314
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 268 KB/s], Decompressed: 5314
Downloaded: 5503 file(s) [attempted 5503/8459 = 65%, 296 KB/s], Decompressed: 5407
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 433 KB/s], Decompressed: 5407
Downloaded: 5588 file(s) [attempted 5588/8459 = 66%, 916 KB/s], Decompressed: 5499
Downloaded: 5633 file(s) [attempted 5633/8459 = 66%, 140 KB/s], Decompressed: 5499
Downloaded: 5671 file(s) [attempted 5671/8459 = 67%, 1743 KB/s], Decompressed: 5585
Downloaded: 5712 file(s) [attempted 5712/8459 = 67%, 713 KB/s], Decompressed: 5585
Downloaded: 5753 file(s) [attempted 5753/8459 = 68%, 313 KB/s], Decompressed: 5667
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 428 KB/s], Decompressed: 5667
Downloaded: 5838 file(s) [attempted 5838/8459 = 69%, 232 KB/s], Decompressed: 5667
Downloaded: 5876 file(s) [attempted 5876/8459 = 69%, 370 KB/s], Decompressed: 5667
Downloaded: 5914 file(s) [attempted 5914/8459 = 69%, 259 KB/s], Decompressed: 5743
Downloaded: 5952 file(s) [attempted 5952/8459 = 70%, 513 KB/s], Decompressed: 5743
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 771 KB/s], Decompressed: 5743
Downloaded: 6044 file(s) [attempted 6044/8459 = 71%, 128 KB/s], Decompressed: 5743
Downloaded: 6089 file(s) [attempted 6089/8459 = 71%, 365 KB/s], Decompressed: 5743
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 158 KB/s], Decompressed: 5743
Downloaded: 6164 file(s) [attempted 6164/8459 = 72%, 269 KB/s], Decompressed: 5893
Downloaded: 6202 file(s) [attempted 6202/8459 = 73%, 526 KB/s], Decompressed: 5893
Downloaded: 6243 file(s) [attempted 6243/8459 = 73%, 583 KB/s], Decompressed: 5893
Downloaded: 6287 file(s) [attempted 6287/8459 = 74%, 192 KB/s], Decompressed: 5893
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 369 KB/s], Decompressed: 5893
Downloaded: 6366 file(s) [attempted 6366/8459 = 75%, 1065 KB/s], Decompressed: 5893
Downloaded: 6407 file(s) [attempted 6407/8459 = 75%, 357 KB/s], Decompressed: 6136
Downloaded: 6445 file(s) [attempted 6445/8459 = 76%, 787 KB/s], Decompressed: 6136
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 289 KB/s], Decompressed: 6136
Downloaded: 6534 file(s) [attempted 6534/8459 = 77%, 55 KB/s], Decompressed: 6136
Downloaded: 6571 file(s) [attempted 6571/8459 = 77%, 341 KB/s], Decompressed: 6136
Downloaded: 6611 file(s) [attempted 6611/8459 = 78%, 2945 KB/s], Decompressed: 6136
Downloaded: 6650 file(s) [attempted 6650/8459 = 78%, 348 KB/s], Decompressed: 6393
Downloaded: 6695 file(s) [attempted 6695/8459 = 79%, 1488 KB/s], Decompressed: 6393
Downloaded: 6732 file(s) [attempted 6732/8459 = 79%, 449 KB/s], Decompressed: 6393
Downloaded: 6774 file(s) [attempted 6774/8459 = 80%, 58 KB/s], Decompressed: 6393
Downloaded: 6811 file(s) [attempted 6811/8459 = 80%, 824 KB/s], Decompressed: 6393
Downloaded: 6856 file(s) [attempted 6856/8459 = 81%, 107 KB/s], Decompressed: 6393
Downloaded: 6900 file(s) [attempted 6900/8459 = 81%, 521 KB/s], Decompressed: 6637
Downloaded: 6941 file(s) [attempted 6941/8459 = 82%, 180 KB/s], Decompressed: 6637
Downloaded: 6979 file(s) [attempted 6979/8459 = 82%, 627 KB/s], Decompressed: 6637
Downloaded: 7020 file(s) [attempted 7020/8459 = 82%, 110 KB/s], Decompressed: 6637
Downloaded: 7061 file(s) [attempted 7061/8459 = 83%, 160 KB/s], Decompressed: 6859
Downloaded: 7106 file(s) [attempted 7106/8459 = 84%, 607 KB/s], Decompressed: 6859
Downloaded: 7150 file(s) [attempted 7150/8459 = 84%, 81 KB/s], Decompressed: 6859
Downloaded: 7188 file(s) [attempted 7188/8459 = 84%, 739 KB/s], Decompressed: 6859
Downloaded: 7226 file(s) [attempted 7226/8459 = 85%, 758 KB/s], Decompressed: 6859
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 624 KB/s], Decompressed: 7058
Downloaded: 7308 file(s) [attempted 7308/8459 = 86%, 650 KB/s], Decompressed: 7058
Downloaded: 7349 file(s) [attempted 7349/8459 = 86%, 105 KB/s], Decompressed: 7058
Downloaded: 7387 file(s) [attempted 7387/8459 = 87%, 287 KB/s], Decompressed: 7058
Downloaded: 7431 file(s) [attempted 7431/8459 = 87%, 571 KB/s], Decompressed: 7058
Downloaded: 7469 file(s) [attempted 7469/8459 = 88%, 299 KB/s], Decompressed: 7246
Downloaded: 7510 file(s) [attempted 7510/8459 = 88%, 221 KB/s], Decompressed: 7246
Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 992 KB/s], Decompressed: 7246
Downloaded: 7589 file(s) [attempted 7589/8459 = 89%, 98 KB/s], Decompressed: 7246
Downloaded: 7633 file(s) [attempted 7633/8459 = 90%, 162 KB/s], Decompressed: 7438
Downloaded: 7678 file(s) [attempted 7678/8459 = 90%, 55 KB/s], Decompressed: 7438
Downloaded: 7712 file(s) [attempted 7712/8459 = 91%, 162 KB/s], Decompressed: 7438
Downloaded: 7753 file(s) [attempted 7753/8459 = 91%, 1952 KB/s], Decompressed: 7438
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 37 KB/s], Decompressed: 7438
Downloaded: 7842 file(s) [attempted 7842/8459 = 92%, 109 KB/s], Decompressed: 7438
Downloaded: 7887 file(s) [attempted 7887/8459 = 93%, 62 KB/s], Decompressed: 7438
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 667 KB/s], Decompressed: 7438
Downloaded: 7945 file(s) [attempted 7945/8459 = 93%, 217 KB/s], Decompressed: 7438
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 372 KB/s], Decompressed: 7620
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 29 KB/s], Decompressed: 7620
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 476 KB/s], Decompressed: 7620
Downloaded: 8113 file(s) [attempted 8113/8459 = 95%, 286 KB/s], Decompressed: 7620
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 6 KB/s], Decompressed: 7620
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 44 KB/s], Decompressed: 7620
Downloaded: 8250 file(s) [attempted 8250/8459 = 97%, 1523 KB/s], Decompressed: 7620
Downloaded: 8264 file(s) [attempted 8264/8459 = 97%, 2915 KB/s], Decompressed: 7620
Downloaded: 8301 file(s) [attempted 8301/8459 = 98%, 69 KB/s], Decompressed: 7620
Downloaded: 8353 file(s) [attempted 8353/8459 = 98%, 492 KB/s], Decompressed: 7620
Downloaded: 8401 file(s) [attempted 8401/8459 = 99%, 66 KB/s], Decompressed: 7993
Downloaded: 8452 file(s) [attempted 8452/8459 = 99%, 0 KB/s], Decompressed: 7993
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 0 KB/s], Decompressed: 7993

apx-runtime-resource-v1	apx-verifier-job-1713-runtime-lake_cache-3550998-1787343487852880937-0	4014080	4530176	21474836480	0	0	0	0	0	0	1019998208	4988776448	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200006
stdout:
✔ [500/502] Built Iut.Foundations.Species (103s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (109s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (115s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (227s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (68s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (75s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (82s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (63s)
✔ [790/791] Built Iut.Foundations.QualitativeData (86s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (355s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1446s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1192s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1157s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (256s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (281s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (409s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1713-runtime-lean_checker-3550998-1787343741483560699-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1713-runtime-blueprint_build-3550998-1787350942184418708-2	921600	1449984	21474836480	0	0	0	0	0	0	754532352	858247168	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 224 ms · created 8/21/2026, 10:22:39 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1713-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/21/2026, 10:22:39 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 255 ms · created 8/21/2026, 10:22:39 PM

git checkout e835d965278105bbc578798ffbcdfdda76dadb53

Note: switching to 'e835d965278105bbc578798ffbcdfdda76dadb53'.

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 e835d96 E23.2: add independent Step XI source contract (#954)

lake_cacheexit 0duration 4m 14s · created 8/21/2026, 10:22:39 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 (997ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (121ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (157ms)
✔ [13/25] Built Cache.Lean:c.o (149ms)
✔ [15/25] Built Cache.Init (328ms)
✔ [16/25] Built Cache.IO (2.5s)
✔ [17/25] Built Cache.Init:c.o (80ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (945ms)
✔ [20/25] Built Cache.Hashing:c.o (383ms)
✔ [21/25] Built Cache.Requests (4.2s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (14s)
✔ [24/25] Built Cache.Main:c.o (571ms)
✔ [25/25] Built cache:exe (4.6s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 9 KB/s], Decompressed: 12
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 16 KB/s], Decompressed: 23
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 46 KB/s], Decompressed: 31
Downloaded: 83 file(s) [attempted 83/8459 = 0%, 199 KB/s], Decompressed: 46
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 223 KB/s], Decompressed: 64
Downloaded: 143 file(s) [attempted 143/8459 = 1%, 357 KB/s], Decompressed: 86
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 351 KB/s], Decompressed: 145
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 203 KB/s], Decompressed: 175
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 121 KB/s], Decompressed: 175
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 71 KB/s], Decompressed: 213
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 163 KB/s], Decompressed: 258
Downloaded: 361 file(s) [attempted 361/8459 = 4%, 433 KB/s], Decompressed: 309
Downloaded: 395 file(s) [attempted 395/8459 = 4%, 211 KB/s], Decompressed: 309
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 253 KB/s], Decompressed: 361
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 559 KB/s], Decompressed: 409
Downloaded: 508 file(s) [attempted 508/8459 = 6%, 637 KB/s], Decompressed: 409
Downloaded: 546 file(s) [attempted 546/8459 = 6%, 1294 KB/s], Decompressed: 463
Downloaded: 594 file(s) [attempted 594/8459 = 7%, 270 KB/s], Decompressed: 518
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 589 KB/s], Decompressed: 518
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 433 KB/s], Decompressed: 580
Downloaded: 710 file(s) [attempted 710/8459 = 8%, 1164 KB/s], Decompressed: 645
Downloaded: 751 file(s) [attempted 751/8459 = 8%, 214 KB/s], Decompressed: 645
Downloaded: 796 file(s) [attempted 796/8459 = 9%, 552 KB/s], Decompressed: 707
Downloaded: 837 file(s) [attempted 837/8459 = 9%, 497 KB/s], Decompressed: 765
Downloaded: 878 file(s) [attempted 878/8459 = 10%, 266 KB/s], Decompressed: 813
Downloaded: 919 file(s) [attempted 919/8459 = 10%, 598 KB/s], Decompressed: 861
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 843 KB/s], Decompressed: 861
Downloaded: 1005 file(s) [attempted 1005/8459 = 11%, 81 KB/s], Decompressed: 913
Downloaded: 1050 file(s) [attempted 1050/8459 = 12%, 170 KB/s], Decompressed: 971
Downloaded: 1091 file(s) [attempted 1091/8459 = 12%, 77 KB/s], Decompressed: 1022
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 292 KB/s], Decompressed: 1022
Downloaded: 1173 file(s) [attempted 1173/8459 = 13%, 818 KB/s], Decompressed: 1077
Downloaded: 1204 file(s) [attempted 1204/8459 = 14%, 198 KB/s], Decompressed: 1139
Downloaded: 1248 file(s) [attempted 1248/8459 = 14%, 110 KB/s], Decompressed: 1139
Downloaded: 1289 file(s) [attempted 1289/8459 = 15%, 175 KB/s], Decompressed: 1197
Downloaded: 1330 file(s) [attempted 1330/8459 = 15%, 67 KB/s], Decompressed: 1255
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 133 KB/s], Decompressed: 1313
Downloaded: 1420 file(s) [attempted 1420/8459 = 16%, 103 KB/s], Decompressed: 1313
Downloaded: 1464 file(s) [attempted 1464/8459 = 17%, 110 KB/s], Decompressed: 1372
Downloaded: 1498 file(s) [attempted 1498/8459 = 17%, 247 KB/s], Decompressed: 1426
Downloaded: 1539 file(s) [attempted 1539/8459 = 18%, 97 KB/s], Decompressed: 1478
Downloaded: 1584 file(s) [attempted 1584/8459 = 18%, 175 KB/s], Decompressed: 1478
Downloaded: 1625 file(s) [attempted 1625/8459 = 19%, 212 KB/s], Decompressed: 1533
Downloaded: 1670 file(s) [attempted 1670/8459 = 19%, 583 KB/s], Decompressed: 1587
Downloaded: 1711 file(s) [attempted 1711/8459 = 20%, 218 KB/s], Decompressed: 1639
Downloaded: 1748 file(s) [attempted 1748/8459 = 20%, 462 KB/s], Decompressed: 1687
Downloaded: 1789 file(s) [attempted 1789/8459 = 21%, 410 KB/s], Decompressed: 1687
Downloaded: 1834 file(s) [attempted 1834/8459 = 21%, 332 KB/s], Decompressed: 1738
Downloaded: 1873 file(s) [attempted 1873/8459 = 22%, 273 KB/s], Decompressed: 1738
Downloaded: 1913 file(s) [attempted 1913/8459 = 22%, 611 KB/s], Decompressed: 1800
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 70 KB/s], Decompressed: 1800
Downloaded: 1992 file(s) [attempted 1992/8459 = 23%, 592 KB/s], Decompressed: 1886
Downloaded: 2036 file(s) [attempted 2036/8459 = 24%, 93 KB/s], Decompressed: 1886
Downloaded: 2077 file(s) [attempted 2077/8459 = 24%, 246 KB/s], Decompressed: 1981
Downloaded: 2115 file(s) [attempted 2115/8459 = 25%, 644 KB/s], Decompressed: 1981
Downloaded: 2159 file(s) [attempted 2159/8459 = 25%, 200 KB/s], Decompressed: 1981
Downloaded: 2201 file(s) [attempted 2201/8459 = 26%, 95 KB/s], Decompressed: 2077
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 310 KB/s], Decompressed: 2077
Downloaded: 2286 file(s) [attempted 2286/8459 = 27%, 360 KB/s], Decompressed: 2177
Downloaded: 2317 file(s) [attempted 2317/8459 = 27%, 115 KB/s], Decompressed: 2177
Downloaded: 2358 file(s) [attempted 2358/8459 = 27%, 284 KB/s], Decompressed: 2266
Downloaded: 2403 file(s) [attempted 2403/8459 = 28%, 266 KB/s], Decompressed: 2266
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 99 KB/s], Decompressed: 2348
Downloaded: 2495 file(s) [attempted 2495/8459 = 29%, 50 KB/s], Decompressed: 2348
Downloaded: 2536 file(s) [attempted 2536/8459 = 29%, 28 KB/s], Decompressed: 2427
Downloaded: 2570 file(s) [attempted 2570/8459 = 30%, 687 KB/s], Decompressed: 2427
Downloaded: 2608 file(s) [attempted 2608/8459 = 30%, 260 KB/s], Decompressed: 2509
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 51 KB/s], Decompressed: 2509
Downloaded: 2697 file(s) [attempted 2697/8459 = 31%, 35 KB/s], Decompressed: 2601
Downloaded: 2745 file(s) [attempted 2745/8459 = 32%, 135 KB/s], Decompressed: 2601
Downloaded: 2793 file(s) [attempted 2793/8459 = 33%, 1865 KB/s], Decompressed: 2601
Downloaded: 2831 file(s) [attempted 2831/8459 = 33%, 1734 KB/s], Decompressed: 2697
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 772 KB/s], Decompressed: 2697
Downloaded: 2906 file(s) [attempted 2906/8459 = 34%, 854 KB/s], Decompressed: 2697
Downloaded: 2951 file(s) [attempted 2951/8459 = 34%, 217 KB/s], Decompressed: 2803
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 953 KB/s], Decompressed: 2803
Downloaded: 3036 file(s) [attempted 3036/8459 = 35%, 167 KB/s], Decompressed: 2910
Downloaded: 3074 file(s) [attempted 3074/8459 = 36%, 232 KB/s], Decompressed: 2910
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 59 KB/s], Decompressed: 2910
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 189 KB/s], Decompressed: 3019
Downloaded: 3194 file(s) [attempted 3194/8459 = 37%, 202 KB/s], Decompressed: 3019
Downloaded: 3231 file(s) [attempted 3231/8459 = 38%, 169 KB/s], Decompressed: 3019
Downloaded: 3276 file(s) [attempted 3276/8459 = 38%, 256 KB/s], Decompressed: 3139
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 265 KB/s], Decompressed: 3139
Downloaded: 3362 file(s) [attempted 3362/8459 = 39%, 76 KB/s], Decompressed: 3139
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 441 KB/s], Decompressed: 3269
Downloaded: 3440 file(s) [attempted 3440/8459 = 40%, 192 KB/s], Decompressed: 3269
Downloaded: 3478 file(s) [attempted 3478/8459 = 41%, 143 KB/s], Decompressed: 3269
Downloaded: 3526 file(s) [attempted 3526/8459 = 41%, 267 KB/s], Decompressed: 3382
Downloaded: 3567 file(s) [attempted 3567/8459 = 42%, 413 KB/s], Decompressed: 3382
Downloaded: 3608 file(s) [attempted 3608/8459 = 42%, 1141 KB/s], Decompressed: 3492
Downloaded: 3646 file(s) [attempted 3646/8459 = 43%, 390 KB/s], Decompressed: 3492
Downloaded: 3687 file(s) [attempted 3687/8459 = 43%, 30 KB/s], Decompressed: 3492
Downloaded: 3732 file(s) [attempted 3732/8459 = 44%, 290 KB/s], Decompressed: 3601
Downloaded: 3773 file(s) [attempted 3773/8459 = 44%, 303 KB/s], Decompressed: 3601
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 67 KB/s], Decompressed: 3692
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 427 KB/s], Decompressed: 3692
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 255 KB/s], Decompressed: 3692
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 252 KB/s], Decompressed: 3780
Downloaded: 3971 file(s) [attempted 3971/8459 = 46%, 433 KB/s], Decompressed: 3780
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 773 KB/s], Decompressed: 3780
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 576 KB/s], Decompressed: 3910
Downloaded: 4095 file(s) [attempted 4095/8459 = 48%, 191 KB/s], Decompressed: 3910
Downloaded: 4139 file(s) [attempted 4139/8459 = 48%, 80 KB/s], Decompressed: 3910
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 461 KB/s], Decompressed: 4030
Downloaded: 4221 file(s) [attempted 4221/8459 = 49%, 308 KB/s], Decompressed: 4030
Downloaded: 4262 file(s) [attempted 4262/8459 = 50%, 464 KB/s], Decompressed: 4030
Downloaded: 4310 file(s) [attempted 4310/8459 = 50%, 941 KB/s], Decompressed: 4149
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 537 KB/s], Decompressed: 4149
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 197 KB/s], Decompressed: 4149
Downloaded: 4434 file(s) [attempted 4434/8459 = 52%, 108 KB/s], Decompressed: 4149
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 817 KB/s], Decompressed: 4286
Downloaded: 4516 file(s) [attempted 4516/8459 = 53%, 111 KB/s], Decompressed: 4286
Downloaded: 4557 file(s) [attempted 4557/8459 = 53%, 1042 KB/s], Decompressed: 4286
Downloaded: 4595 file(s) [attempted 4595/8459 = 54%, 485 KB/s], Decompressed: 4437
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 199 KB/s], Decompressed: 4437
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 229 KB/s], Decompressed: 4437
Downloaded: 4718 file(s) [attempted 4718/8459 = 55%, 1693 KB/s], Decompressed: 4581
Downloaded: 4766 file(s) [attempted 4766/8459 = 56%, 387 KB/s], Decompressed: 4581
Downloaded: 4810 file(s) [attempted 4810/8459 = 56%, 281 KB/s], Decompressed: 4581
Downloaded: 4848 file(s) [attempted 4848/8459 = 57%, 284 KB/s], Decompressed: 4711
Downloaded: 4883 file(s) [attempted 4883/8459 = 57%, 265 KB/s], Decompressed: 4711
Downloaded: 4920 file(s) [attempted 4920/8459 = 58%, 46 KB/s], Decompressed: 4817
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 462 KB/s], Decompressed: 4817
Downloaded: 5010 file(s) [attempted 5010/8459 = 59%, 60 KB/s], Decompressed: 4817
Downloaded: 5051 file(s) [attempted 5051/8459 = 59%, 224 KB/s], Decompressed: 4917
Downloaded: 5088 file(s) [attempted 5088/8459 = 60%, 224 KB/s], Decompressed: 4917
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 46 KB/s], Decompressed: 5023
Downloaded: 5167 file(s) [attempted 5167/8459 = 61%, 426 KB/s], Decompressed: 5023
Downloaded: 5212 file(s) [attempted 5212/8459 = 61%, 156 KB/s], Decompressed: 5023
Downloaded: 5253 file(s) [attempted 5253/8459 = 62%, 328 KB/s], Decompressed: 5119
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 447 KB/s], Decompressed: 5119
Downloaded: 5335 file(s) [attempted 5335/8459 = 63%, 206 KB/s], Decompressed: 5215
Downloaded: 5376 file(s) [attempted 5376/8459 = 63%, 25 KB/s], Decompressed: 5215
Downloaded: 5417 file(s) [attempted 5417/8459 = 64%, 30 KB/s], Decompressed: 5314
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 268 KB/s], Decompressed: 5314
Downloaded: 5503 file(s) [attempted 5503/8459 = 65%, 296 KB/s], Decompressed: 5407
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 433 KB/s], Decompressed: 5407
Downloaded: 5588 file(s) [attempted 5588/8459 = 66%, 916 KB/s], Decompressed: 5499
Downloaded: 5633 file(s) [attempted 5633/8459 = 66%, 140 KB/s], Decompressed: 5499
Downloaded: 5671 file(s) [attempted 5671/8459 = 67%, 1743 KB/s], Decompressed: 5585
Downloaded: 5712 file(s) [attempted 5712/8459 = 67%, 713 KB/s], Decompressed: 5585
Downloaded: 5753 file(s) [attempted 5753/8459 = 68%, 313 KB/s], Decompressed: 5667
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 428 KB/s], Decompressed: 5667
Downloaded: 5838 file(s) [attempted 5838/8459 = 69%, 232 KB/s], Decompressed: 5667
Downloaded: 5876 file(s) [attempted 5876/8459 = 69%, 370 KB/s], Decompressed: 5667
Downloaded: 5914 file(s) [attempted 5914/8459 = 69%, 259 KB/s], Decompressed: 5743
Downloaded: 5952 file(s) [attempted 5952/8459 = 70%, 513 KB/s], Decompressed: 5743
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 771 KB/s], Decompressed: 5743
Downloaded: 6044 file(s) [attempted 6044/8459 = 71%, 128 KB/s], Decompressed: 5743
Downloaded: 6089 file(s) [attempted 6089/8459 = 71%, 365 KB/s], Decompressed: 5743
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 158 KB/s], Decompressed: 5743
Downloaded: 6164 file(s) [attempted 6164/8459 = 72%, 269 KB/s], Decompressed: 5893
Downloaded: 6202 file(s) [attempted 6202/8459 = 73%, 526 KB/s], Decompressed: 5893
Downloaded: 6243 file(s) [attempted 6243/8459 = 73%, 583 KB/s], Decompressed: 5893
Downloaded: 6287 file(s) [attempted 6287/8459 = 74%, 192 KB/s], Decompressed: 5893
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 369 KB/s], Decompressed: 5893
Downloaded: 6366 file(s) [attempted 6366/8459 = 75%, 1065 KB/s], Decompressed: 5893
Downloaded: 6407 file(s) [attempted 6407/8459 = 75%, 357 KB/s], Decompressed: 6136
Downloaded: 6445 file(s) [attempted 6445/8459 = 76%, 787 KB/s], Decompressed: 6136
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 289 KB/s], Decompressed: 6136
Downloaded: 6534 file(s) [attempted 6534/8459 = 77%, 55 KB/s], Decompressed: 6136
Downloaded: 6571 file(s) [attempted 6571/8459 = 77%, 341 KB/s], Decompressed: 6136
Downloaded: 6611 file(s) [attempted 6611/8459 = 78%, 2945 KB/s], Decompressed: 6136
Downloaded: 6650 file(s) [attempted 6650/8459 = 78%, 348 KB/s], Decompressed: 6393
Downloaded: 6695 file(s) [attempted 6695/8459 = 79%, 1488 KB/s], Decompressed: 6393
Downloaded: 6732 file(s) [attempted 6732/8459 = 79%, 449 KB/s], Decompressed: 6393
Downloaded: 6774 file(s) [attempted 6774/8459 = 80%, 58 KB/s], Decompressed: 6393
Downloaded: 6811 file(s) [attempted 6811/8459 = 80%, 824 KB/s], Decompressed: 6393
Downloaded: 6856 file(s) [attempted 6856/8459 = 81%, 107 KB/s], Decompressed: 6393
Downloaded: 6900 file(s) [attempted 6900/8459 = 81%, 521 KB/s], Decompressed: 6637
Downloaded: 6941 file(s) [attempted 6941/8459 = 82%, 180 KB/s], Decompressed: 6637
Downloaded: 6979 file(s) [attempted 6979/8459 = 82%, 627 KB/s], Decompressed: 6637
Downloaded: 7020 file(s) [attempted 7020/8459 = 82%, 110 KB/s], Decompressed: 6637
Downloaded: 7061 file(s) [attempted 7061/8459 = 83%, 160 KB/s], Decompressed: 6859
Downloaded: 7106 file(s) [attempted 7106/8459 = 84%, 607 KB/s], Decompressed: 6859
Downloaded: 7150 file(s) [attempted 7150/8459 = 84%, 81 KB/s], Decompressed: 6859
Downloaded: 7188 file(s) [attempted 7188/8459 = 84%, 739 KB/s], Decompressed: 6859
Downloaded: 7226 file(s) [attempted 7226/8459 = 85%, 758 KB/s], Decompressed: 6859
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 624 KB/s], Decompressed: 7058
Downloaded: 7308 file(s) [attempted 7308/8459 = 86%, 650 KB/s], Decompressed: 7058
Downloaded: 7349 file(s) [attempted 7349/8459 = 86%, 105 KB/s], Decompressed: 7058
Downloaded: 7387 file(s) [attempted 7387/8459 = 87%, 287 KB/s], Decompressed: 7058
Downloaded: 7431 file(s) [attempted 7431/8459 = 87%, 571 KB/s], Decompressed: 7058
Downloaded: 7469 file(s) [attempted 7469/8459 = 88%, 299 KB/s], Decompressed: 7246
Downloaded: 7510 file(s) [attempted 7510/8459 = 88%, 221 KB/s], Decompressed: 7246
Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 992 KB/s], Decompressed: 7246
Downloaded: 7589 file(s) [attempted 7589/8459 = 89%, 98 KB/s], Decompressed: 7246
Downloaded: 7633 file(s) [attempted 7633/8459 = 90%, 162 KB/s], Decompressed: 7438
Downloaded: 7678 file(s) [attempted 7678/8459 = 90%, 55 KB/s], Decompressed: 7438
Downloaded: 7712 file(s) [attempted 7712/8459 = 91%, 162 KB/s], Decompressed: 7438
Downloaded: 7753 file(s) [attempted 7753/8459 = 91%, 1952 KB/s], Decompressed: 7438
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 37 KB/s], Decompressed: 7438
Downloaded: 7842 file(s) [attempted 7842/8459 = 92%, 109 KB/s], Decompressed: 7438
Downloaded: 7887 file(s) [attempted 7887/8459 = 93%, 62 KB/s], Decompressed: 7438
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 667 KB/s], Decompressed: 7438
Downloaded: 7945 file(s) [attempted 7945/8459 = 93%, 217 KB/s], Decompressed: 7438
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 372 KB/s], Decompressed: 7620
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 29 KB/s], Decompressed: 7620
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 476 KB/s], Decompressed: 7620
Downloaded: 8113 file(s) [attempted 8113/8459 = 95%, 286 KB/s], Decompressed: 7620
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 6 KB/s], Decompressed: 7620
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 44 KB/s], Decompressed: 7620
Downloaded: 8250 file(s) [attempted 8250/8459 = 97%, 1523 KB/s], Decompressed: 7620
Downloaded: 8264 file(s) [attempted 8264/8459 = 97%, 2915 KB/s], Decompressed: 7620
Downloaded: 8301 file(s) [attempted 8301/8459 = 98%, 69 KB/s], Decompressed: 7620
Downloaded: 8353 file(s) [attempted 8353/8459 = 98%, 492 KB/s], Decompressed: 7620
Downloaded: 8401 file(s) [attempted 8401/8459 = 99%, 66 KB/s], Decompressed: 7993
Downloaded: 8452 file(s) [attempted 8452/8459 = 99%, 0 KB/s], Decompressed: 7993
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 0 KB/s], Decompressed: 7993

apx-runtime-resource-v1	apx-verifier-job-1713-runtime-lake_cache-3550998-1787343487852880937-0	4014080	4530176	21474836480	0	0	0	0	0	0	1019998208	4988776448	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/21/2026, 10:22:39 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (103s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (109s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (115s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (227s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (68s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (75s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (82s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (63s)
✔ [790/791] Built Iut.Foundations.QualitativeData (86s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (355s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1446s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1192s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1157s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (256s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (281s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (409s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1713-runtime-lean_checker-3550998-1787343741483560699-1 on attempt 1

blueprint_buildexit 1duration 16s · created 8/21/2026, 10:22:39 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1713-runtime-blueprint_build-3550998-1787350942184418708-2	921600	1449984	21474836480	0	0	0	0	0	0	754532352	858247168	21474836480	0	0	0	0	0	0