Verification run

Run 1291

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

failedcommit 8b2b9b83ee1ctoolchain lean-v4-30-0prover leantook 2h 4m · finished 2w ago

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

Open project

Package inputs

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

Trust verification

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

(verification not run)

Manifest

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

(manifest not loaded)

Verifier log excerpt

Attempting anonymous GitHub clone before installation-auth fallback

$ git clone --depth 1 --branch e21-924-checkpoint-atlas --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1750-source
exit_code=Some(128) duration_ms=375
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1750-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=4207
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1750-source'...


$ git checkout 8b2b9b83ee1c910d91c0fd0f8253f354d1836f89
exit_code=Some(0) duration_ms=317
stderr:
Note: switching to '8b2b9b83ee1c910d91c0fd0f8253f354d1836f89'.

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 8b2b9b8 construct scalar-extension first source transport

Resolved source revision: 8b2b9b83ee1c910d91c0fd0f8253f354d1836f89

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=8b2b9b83ee1c910d91c0fd0f8253f354d1836f89 provenance={"branch":"e21-924-checkpoint-atlas","checked_out_revision":"8b2b9b83ee1c910d91c0fd0f8253f354d1836f89","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"8b2b9b83ee1c910d91c0fd0f8253f354d1836f89","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=6837 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=197891
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 (8.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (112ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (174ms)
✔ [13/25] Built Cache.Lean:c.o (131ms)
✔ [15/25] Built Cache.Init (348ms)
✔ [16/25] Built Cache.IO (6.6s)
✔ [17/25] Built Cache.Init:c.o (78ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (15s)
✔ [20/25] Built Cache.Hashing:c.o (1.4s)
✔ [21/25] Built Cache.Requests (2.3s)
✔ [22/25] Built Cache.Requests:c.o (1.9s)
✔ [23/25] Built Cache.Main (1.1s)
✔ [24/25] Built Cache.Main:c.o (532ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 6 KB/s], Decompressed: 7
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 23 KB/s], Decompressed: 27
Downloaded: 54 file(s) [attempted 54/8459 = 0%, 100 KB/s], Decompressed: 42
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 131 KB/s], Decompressed: 54
Downloaded: 103 file(s) [attempted 103/8459 = 1%, 224 KB/s], Decompressed: 69
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 90 KB/s], Decompressed: 110
Downloaded: 172 file(s) [attempted 172/8459 = 2%, 135 KB/s], Decompressed: 134
Downloaded: 203 file(s) [attempted 203/8459 = 2%, 53 KB/s], Decompressed: 158
Downloaded: 230 file(s) [attempted 230/8459 = 2%, 430 KB/s], Decompressed: 185
Downloaded: 268 file(s) [attempted 268/8459 = 3%, 871 KB/s], Decompressed: 220
Downloaded: 305 file(s) [attempted 305/8459 = 3%, 25 KB/s], Decompressed: 257
Downloaded: 346 file(s) [attempted 346/8459 = 4%, 23 KB/s], Decompressed: 257
Downloaded: 384 file(s) [attempted 384/8459 = 4%, 102 KB/s], Decompressed: 302
Downloaded: 422 file(s) [attempted 422/8459 = 4%, 665 KB/s], Decompressed: 350
Downloaded: 459 file(s) [attempted 459/8459 = 5%, 259 KB/s], Decompressed: 391
Downloaded: 504 file(s) [attempted 504/8459 = 5%, 163 KB/s], Decompressed: 432
Downloaded: 545 file(s) [attempted 545/8459 = 6%, 268 KB/s], Decompressed: 473
Downloaded: 586 file(s) [attempted 586/8459 = 6%, 822 KB/s], Decompressed: 514
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 284 KB/s], Decompressed: 514
Downloaded: 658 file(s) [attempted 658/8459 = 7%, 52 KB/s], Decompressed: 565
Downloaded: 702 file(s) [attempted 702/8459 = 8%, 64 KB/s], Decompressed: 627
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 360 KB/s], Decompressed: 627
Downloaded: 784 file(s) [attempted 784/8459 = 9%, 116 KB/s], Decompressed: 692
Downloaded: 822 file(s) [attempted 822/8459 = 9%, 471 KB/s], Decompressed: 754
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 148 KB/s], Decompressed: 808
Downloaded: 901 file(s) [attempted 901/8459 = 10%, 29 KB/s], Decompressed: 808
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 231 KB/s], Decompressed: 863
Downloaded: 986 file(s) [attempted 986/8459 = 11%, 109 KB/s], Decompressed: 921
Downloaded: 1021 file(s) [attempted 1021/8459 = 12%, 172 KB/s], Decompressed: 921
Downloaded: 1065 file(s) [attempted 1065/8459 = 12%, 39 KB/s], Decompressed: 986
Downloaded: 1109 file(s) [attempted 1109/8459 = 13%, 404 KB/s], Decompressed: 1044
Downloaded: 1145 file(s) [attempted 1145/8459 = 13%, 125 KB/s], Decompressed: 1044
Downloaded: 1185 file(s) [attempted 1185/8459 = 14%, 69 KB/s], Decompressed: 1109
Downloaded: 1222 file(s) [attempted 1222/8459 = 14%, 943 KB/s], Decompressed: 1109
Downloaded: 1263 file(s) [attempted 1263/8459 = 14%, 679 KB/s], Decompressed: 1171
Downloaded: 1304 file(s) [attempted 1304/8459 = 15%, 121 KB/s], Decompressed: 1171
Downloaded: 1345 file(s) [attempted 1345/8459 = 15%, 170 KB/s], Decompressed: 1243
Downloaded: 1383 file(s) [attempted 1383/8459 = 16%, 459 KB/s], Decompressed: 1311
Downloaded: 1421 file(s) [attempted 1421/8459 = 16%, 98 KB/s], Decompressed: 1311
Downloaded: 1462 file(s) [attempted 1462/8459 = 17%, 690 KB/s], Decompressed: 1383
Downloaded: 1503 file(s) [attempted 1503/8459 = 17%, 89 KB/s], Decompressed: 1383
Downloaded: 1540 file(s) [attempted 1540/8459 = 18%, 91 KB/s], Decompressed: 1458
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 420 KB/s], Decompressed: 1458
Downloaded: 1619 file(s) [attempted 1619/8459 = 19%, 836 KB/s], Decompressed: 1523
Downloaded: 1663 file(s) [attempted 1663/8459 = 19%, 466 KB/s], Decompressed: 1588
Downloaded: 1704 file(s) [attempted 1704/8459 = 20%, 119 KB/s], Decompressed: 1588
Downloaded: 1749 file(s) [attempted 1749/8459 = 20%, 289 KB/s], Decompressed: 1660
Downloaded: 1786 file(s) [attempted 1786/8459 = 21%, 270 KB/s], Decompressed: 1660
Downloaded: 1824 file(s) [attempted 1824/8459 = 21%, 60 KB/s], Decompressed: 1728
Downloaded: 1862 file(s) [attempted 1862/8459 = 22%, 1917 KB/s], Decompressed: 1728
Downloaded: 1903 file(s) [attempted 1903/8459 = 22%, 88 KB/s], Decompressed: 1807
Downloaded: 1947 file(s) [attempted 1947/8459 = 23%, 785 KB/s], Decompressed: 1807
Downloaded: 1985 file(s) [attempted 1985/8459 = 23%, 73 KB/s], Decompressed: 1889
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 270 KB/s], Decompressed: 1889
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 309 KB/s], Decompressed: 1889
Downloaded: 2101 file(s) [attempted 2101/8459 = 24%, 340 KB/s], Decompressed: 1971
Downloaded: 2146 file(s) [attempted 2146/8459 = 25%, 332 KB/s], Decompressed: 1971
Downloaded: 2187 file(s) [attempted 2187/8459 = 25%, 105 KB/s], Decompressed: 1971
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 169 KB/s], Decompressed: 2084
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 265 KB/s], Decompressed: 2084
Downloaded: 2299 file(s) [attempted 2299/8459 = 27%, 196 KB/s], Decompressed: 2084
Downloaded: 2340 file(s) [attempted 2340/8459 = 27%, 36 KB/s], Decompressed: 2197
Downloaded: 2381 file(s) [attempted 2381/8459 = 28%, 91 KB/s], Decompressed: 2197
Downloaded: 2426 file(s) [attempted 2426/8459 = 28%, 388 KB/s], Decompressed: 2310
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 296 KB/s], Decompressed: 2310
Downloaded: 2498 file(s) [attempted 2498/8459 = 29%, 209 KB/s], Decompressed: 2310
Downloaded: 2535 file(s) [attempted 2535/8459 = 29%, 338 KB/s], Decompressed: 2310
Downloaded: 2576 file(s) [attempted 2576/8459 = 30%, 524 KB/s], Decompressed: 2416
Downloaded: 2621 file(s) [attempted 2621/8459 = 30%, 161 KB/s], Decompressed: 2416
Downloaded: 2658 file(s) [attempted 2658/8459 = 31%, 233 KB/s], Decompressed: 2416
Downloaded: 2700 file(s) [attempted 2700/8459 = 31%, 33 KB/s], Decompressed: 2546
Downloaded: 2737 file(s) [attempted 2737/8459 = 32%, 39 KB/s], Decompressed: 2546
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 275 KB/s], Decompressed: 2546
Downloaded: 2819 file(s) [attempted 2819/8459 = 33%, 509 KB/s], Decompressed: 2679
Downloaded: 2860 file(s) [attempted 2860/8459 = 33%, 258 KB/s], Decompressed: 2679
Downloaded: 2901 file(s) [attempted 2901/8459 = 34%, 162 KB/s], Decompressed: 2679
Downloaded: 2942 file(s) [attempted 2942/8459 = 34%, 251 KB/s], Decompressed: 2812
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 22 KB/s], Decompressed: 2812
Downloaded: 3024 file(s) [attempted 3024/8459 = 35%, 472 KB/s], Decompressed: 2812
Downloaded: 3062 file(s) [attempted 3062/8459 = 36%, 368 KB/s], Decompressed: 2942
Downloaded: 3103 file(s) [attempted 3103/8459 = 36%, 27 KB/s], Decompressed: 2942
Downloaded: 3141 file(s) [attempted 3141/8459 = 37%, 1476 KB/s], Decompressed: 2942
Downloaded: 3182 file(s) [attempted 3182/8459 = 37%, 190 KB/s], Decompressed: 3059
Downloaded: 3223 file(s) [attempted 3223/8459 = 38%, 295 KB/s], Decompressed: 3059
Downloaded: 3264 file(s) [attempted 3264/8459 = 38%, 592 KB/s], Decompressed: 3059
Downloaded: 3301 file(s) [attempted 3301/8459 = 39%, 64 KB/s], Decompressed: 3171
Downloaded: 3339 file(s) [attempted 3339/8459 = 39%, 176 KB/s], Decompressed: 3171
Downloaded: 3377 file(s) [attempted 3377/8459 = 39%, 43 KB/s], Decompressed: 3171
Downloaded: 3421 file(s) [attempted 3421/8459 = 40%, 546 KB/s], Decompressed: 3281
Downloaded: 3459 file(s) [attempted 3459/8459 = 40%, 44 KB/s], Decompressed: 3281
Downloaded: 3503 file(s) [attempted 3503/8459 = 41%, 101 KB/s], Decompressed: 3387
Downloaded: 3541 file(s) [attempted 3541/8459 = 41%, 1275 KB/s], Decompressed: 3387
Downloaded: 3582 file(s) [attempted 3582/8459 = 42%, 109 KB/s], Decompressed: 3387
Downloaded: 3623 file(s) [attempted 3623/8459 = 42%, 1195 KB/s], Decompressed: 3489
Downloaded: 3660 file(s) [attempted 3660/8459 = 43%, 260 KB/s], Decompressed: 3489
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 163 KB/s], Decompressed: 3585
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 368 KB/s], Decompressed: 3585
Downloaded: 3787 file(s) [attempted 3787/8459 = 44%, 177 KB/s], Decompressed: 3677
Downloaded: 3831 file(s) [attempted 3831/8459 = 45%, 128 KB/s], Decompressed: 3677
Downloaded: 3866 file(s) [attempted 3866/8459 = 45%, 1282 KB/s], Decompressed: 3677
Downloaded: 3907 file(s) [attempted 3907/8459 = 46%, 83 KB/s], Decompressed: 3778
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 258 KB/s], Decompressed: 3778
Downloaded: 3989 file(s) [attempted 3989/8459 = 47%, 297 KB/s], Decompressed: 3872
Downloaded: 4033 file(s) [attempted 4033/8459 = 47%, 369 KB/s], Decompressed: 3872
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 129 KB/s], Decompressed: 3872
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 218 KB/s], Decompressed: 3978
Downloaded: 4149 file(s) [attempted 4149/8459 = 49%, 756 KB/s], Decompressed: 3978
Downloaded: 4190 file(s) [attempted 4190/8459 = 49%, 309 KB/s], Decompressed: 3978
Downloaded: 4235 file(s) [attempted 4235/8459 = 50%, 86 KB/s], Decompressed: 4084
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 218 KB/s], Decompressed: 4084
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 62 KB/s], Decompressed: 4084
Downloaded: 4351 file(s) [attempted 4351/8459 = 51%, 969 KB/s], Decompressed: 4197
Downloaded: 4392 file(s) [attempted 4392/8459 = 51%, 396 KB/s], Decompressed: 4197
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 173 KB/s], Decompressed: 4197
Downloaded: 4474 file(s) [attempted 4474/8459 = 52%, 50 KB/s], Decompressed: 4324
Downloaded: 4515 file(s) [attempted 4515/8459 = 53%, 976 KB/s], Decompressed: 4324
Downloaded: 4556 file(s) [attempted 4556/8459 = 53%, 286 KB/s], Decompressed: 4324
Downloaded: 4594 file(s) [attempted 4594/8459 = 54%, 471 KB/s], Decompressed: 4324
Downloaded: 4635 file(s) [attempted 4635/8459 = 54%, 1056 KB/s], Decompressed: 4324
Downloaded: 4676 file(s) [attempted 4676/8459 = 55%, 143 KB/s], Decompressed: 4324
Downloaded: 4710 file(s) [attempted 4710/8459 = 55%, 153 KB/s], Decompressed: 4324
Downloaded: 4751 file(s) [attempted 4751/8459 = 56%, 157 KB/s], Decompressed: 4324
Downloaded: 4789 file(s) [attempted 4789/8459 = 56%, 576 KB/s], Decompressed: 4324
Downloaded: 4826 file(s) [attempted 4826/8459 = 57%, 203 KB/s], Decompressed: 4324
Downloaded: 4871 file(s) [attempted 4871/8459 = 57%, 1141 KB/s], Decompressed: 4467
Downloaded: 4912 file(s) [attempted 4912/8459 = 58%, 262 KB/s], Decompressed: 4467
Downloaded: 4950 file(s) [attempted 4950/8459 = 58%, 119 KB/s], Decompressed: 4467
Downloaded: 4994 file(s) [attempted 4994/8459 = 59%, 436 KB/s], Decompressed: 4467
Downloaded: 5030 file(s) [attempted 5030/8459 = 59%, 219 KB/s], Decompressed: 4467
Downloaded: 5073 file(s) [attempted 5073/8459 = 59%, 325 KB/s], Decompressed: 4467
Downloaded: 5110 file(s) [attempted 5110/8459 = 60%, 256 KB/s], Decompressed: 4467
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 58 KB/s], Decompressed: 4467
Downloaded: 5192 file(s) [attempted 5192/8459 = 61%, 133 KB/s], Decompressed: 4467
Downloaded: 5230 file(s) [attempted 5230/8459 = 61%, 148 KB/s], Decompressed: 4854
Downloaded: 5268 file(s) [attempted 5268/8459 = 62%, 75 KB/s], Decompressed: 4854
Downloaded: 5305 file(s) [attempted 5305/8459 = 62%, 80 KB/s], Decompressed: 4854
Downloaded: 5350 file(s) [attempted 5350/8459 = 63%, 99 KB/s], Decompressed: 4854
Downloaded: 5384 file(s) [attempted 5384/8459 = 63%, 56 KB/s], Decompressed: 4854
Downloaded: 5425 file(s) [attempted 5425/8459 = 64%, 281 KB/s], Decompressed: 4854
Downloaded: 5463 file(s) [attempted 5463/8459 = 64%, 69 KB/s], Decompressed: 4854
Downloaded: 5504 file(s) [attempted 5504/8459 = 65%, 1173 KB/s], Decompressed: 4854
Downloaded: 5551 file(s) [attempted 5551/8459 = 65%, 391 KB/s], Decompressed: 4854
Downloaded: 5592 file(s) [attempted 5592/8459 = 66%, 816 KB/s], Decompressed: 5222
Downloaded: 5633 file(s) [attempted 5633/8459 = 66%, 505 KB/s], Decompressed: 5222
Downloaded: 5668 file(s) [attempted 5668/8459 = 67%, 457 KB/s], Decompressed: 5222
Downloaded: 5709 file(s) [attempted 5709/8459 = 67%, 204 KB/s], Decompressed: 5222
Downloaded: 5750 file(s) [attempted 5750/8459 = 67%, 838 KB/s], Decompressed: 5222
Downloaded: 5791 file(s) [attempted 5791/8459 = 68%, 131 KB/s], Decompressed: 5222
Downloaded: 5832 file(s) [attempted 5832/8459 = 68%, 87 KB/s], Decompressed: 5222
Downloaded: 5873 file(s) [attempted 5873/8459 = 69%, 219 KB/s], Decompressed: 5222
Downloaded: 5914 file(s) [attempted 5914/8459 = 69%, 66 KB/s], Decompressed: 5565
Downloaded: 5952 file(s) [attempted 5952/8459 = 70%, 510 KB/s], Decompressed: 5565
Downloaded: 5986 file(s) [attempted 5986/8459 = 70%, 1541 KB/s], Decompressed: 5565
Downloaded: 6030 file(s) [attempted 6030/8459 = 71%, 371 KB/s], Decompressed: 5565
Downloaded: 6071 file(s) [attempted 6071/8459 = 71%, 111 KB/s], Decompressed: 5565
Downloaded: 6112 file(s) [attempted 6112/8459 = 72%, 1159 KB/s], Decompressed: 5565
Downloaded: 6146 file(s) [attempted 6146/8459 = 72%, 43 KB/s], Decompressed: 5565
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 138 KB/s], Decompressed: 5887
Downloaded: 6225 file(s) [attempted 6225/8459 = 73%, 280 KB/s], Decompressed: 5887
Downloaded: 6263 file(s) [attempted 6263/8459 = 74%, 48 KB/s], Decompressed: 5887
Downloaded: 6300 file(s) [attempted 6300/8459 = 74%, 237 KB/s], Decompressed: 5887
Downloaded: 6341 file(s) [attempted 6341/8459 = 74%, 694 KB/s], Decompressed: 5887
Downloaded: 6382 file(s) [attempted 6382/8459 = 75%, 291 KB/s], Decompressed: 5887
Downloaded: 6420 file(s) [attempted 6420/8459 = 75%, 571 KB/s], Decompressed: 5887
Downloaded: 6458 file(s) [attempted 6458/8459 = 76%, 253 KB/s], Decompressed: 5887
Downloaded: 6495 file(s) [attempted 6495/8459 = 76%, 1256 KB/s], Decompressed: 5887
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 586 KB/s], Decompressed: 5887
Downloaded: 6584 file(s) [attempted 6584/8459 = 77%, 337 KB/s], Decompressed: 5887
Downloaded: 6625 file(s) [attempted 6625/8459 = 78%, 223 KB/s], Decompressed: 6181
Downloaded: 6663 file(s) [attempted 6663/8459 = 78%, 328 KB/s], Decompressed: 6181
Downloaded: 6700 file(s) [attempted 6700/8459 = 79%, 119 KB/s], Decompressed: 6181
Downloaded: 6745 file(s) [attempted 6745/8459 = 79%, 707 KB/s], Decompressed: 6181
Downloaded: 6789 file(s) [attempted 6789/8459 = 80%, 304 KB/s], Decompressed: 6181
Downloaded: 6827 file(s) [attempted 6827/8459 = 80%, 132 KB/s], Decompressed: 6181
Downloaded: 6875 file(s) [attempted 6875/8459 = 81%, 613 KB/s], Decompressed: 6181
Downloaded: 6912 file(s) [attempted 6912/8459 = 81%, 189 KB/s], Decompressed: 6181
Downloaded: 6953 file(s) [attempted 6953/8459 = 82%, 281 KB/s], Decompressed: 6181
Downloaded: 6998 file(s) [attempted 6998/8459 = 82%, 35 KB/s], Decompressed: 6181
Downloaded: 7035 file(s) [attempted 7035/8459 = 83%, 131 KB/s], Decompressed: 6181
Downloaded: 7073 file(s) [attempted 7073/8459 = 83%, 270 KB/s], Decompressed: 6625
Downloaded: 7111 file(s) [attempted 7111/8459 = 84%, 609 KB/s], Decompressed: 6625
Downloaded: 7155 file(s) [attempted 7155/8459 = 84%, 107 KB/s], Decompressed: 6625
Downloaded: 7196 file(s) [attempted 7196/8459 = 85%, 45 KB/s], Decompressed: 6625
Downloaded: 7234 file(s) [attempted 7234/8459 = 85%, 94 KB/s], Decompressed: 6625
Downloaded: 7275 file(s) [attempted 7275/8459 = 86%, 602 KB/s], Decompressed: 6625
Downloaded: 7319 file(s) [attempted 7319/8459 = 86%, 121 KB/s], Decompressed: 6625
Downloaded: 7357 file(s) [attempted 7357/8459 = 86%, 150 KB/s], Decompressed: 6625
Downloaded: 7395 file(s) [attempted 7395/8459 = 87%, 100 KB/s], Decompressed: 6625
Downloaded: 7425 file(s) [attempted 7425/8459 = 87%, 97 KB/s], Decompressed: 6625
Downloaded: 7449 file(s) [attempted 7449/8459 = 88%, 121 KB/s], Decompressed: 6625
Downloaded: 7497 file(s) [attempted 7497/8459 = 88%, 782 KB/s], Decompressed: 6625
Downloaded: 7548 file(s) [attempted 7548/8459 = 89%, 792 KB/s], Decompressed: 6625
Downloaded: 7596 file(s) [attempted 7596/8459 = 89%, 224 KB/s], Decompressed: 6625
Downloaded: 7610 file(s) [attempted 7610/8459 = 89%, 39 KB/s], Decompressed: 6625
Downloaded: 7661 file(s) [attempted 7661/8459 = 90%, 90 KB/s], Decompressed: 6625
Downloaded: 7709 file(s) [attempted 7709/8459 = 91%, 971 KB/s], Decompressed: 6625
Downloaded: 7761 file(s) [attempted 7761/8459 = 91%, 47 KB/s], Decompressed: 6625
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 36 KB/s], Decompressed: 7070
Downloaded: 7860 file(s) [attempted 7860/8459 = 92%, 189 KB/s], Decompressed: 7070
Downloaded: 7911 file(s) [attempted 7911/8459 = 93%, 567 KB/s], Decompressed: 7070
Downloaded: 7959 file(s) [attempted 7959/8459 = 94%, 119 KB/s], Decompressed: 7070
Downloaded: 8010 file(s) [attempted 8010/8459 = 94%, 106 KB/s], Decompressed: 7070
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 179 KB/s], Decompressed: 7070
Downloaded: 8106 file(s) [attempted 8106/8459 = 95%, 69 KB/s], Decompressed: 7070
Downloaded: 8140 file(s) [attempted 8140/8459 = 96%, 165 KB/s], Decompressed: 7070
Downloaded: 8174 file(s) [attempted 8174/8459 = 96%, 282 KB/s], Decompressed: 7070
Downloaded: 8219 file(s) [attempted 8219/8459 = 97%, 203 KB/s], Decompressed: 7070
Downloaded: 8260 file(s) [attempted 8260/8459 = 97%, 133 KB/s], Decompressed: 7070
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 557 KB/s], Decompressed: 7070
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 81 KB/s], Decompressed: 7070
Downloaded: 8373 file(s) [attempted 8373/8459 = 98%, 107 KB/s], Decompressed: 7070
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 258 KB/s], Decompressed: 7070
Downloaded: 8444 file(s) [attempted 8444/8459 = 99%, 72 KB/s], Decompressed: 7070
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 249 KB/s], Decompressed: 7070
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 249 KB/s], Decompressed: 7070

apx-runtime-resource-v1	apx-verifier-job-1750-runtime-lake_cache-696295-1788179361319729532-0	3854336	4366336	21474836480	0	0	0	0	0	0	587743232	4457930752	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200004
stdout:
✔ [500/502] Built Iut.Foundations.Species (151s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (82s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (121s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (69s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (146s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (112s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (132s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (172s)
✔ [790/791] Built Iut.Foundations.QualitativeData (155s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (335s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1537s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1137s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1625s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (823s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1750-runtime-lean_checker-696295-1788179559216563905-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1750-runtime-blueprint_build-696295-1788186760093254200-2	946176	1339392	21474836480	0	0	0	0	0	0	793980928	891674624	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 375 ms · created 8/31/2026, 2:33:31 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1750-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/31/2026, 2:33:31 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 317 ms · created 8/31/2026, 2:33:31 PM

git checkout 8b2b9b83ee1c910d91c0fd0f8253f354d1836f89

Note: switching to '8b2b9b83ee1c910d91c0fd0f8253f354d1836f89'.

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 8b2b9b8 construct scalar-extension first source transport

lake_cacheexit 0duration 3m 18s · created 8/31/2026, 2:33:31 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 (8.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (112ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (174ms)
✔ [13/25] Built Cache.Lean:c.o (131ms)
✔ [15/25] Built Cache.Init (348ms)
✔ [16/25] Built Cache.IO (6.6s)
✔ [17/25] Built Cache.Init:c.o (78ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (15s)
✔ [20/25] Built Cache.Hashing:c.o (1.4s)
✔ [21/25] Built Cache.Requests (2.3s)
✔ [22/25] Built Cache.Requests:c.o (1.9s)
✔ [23/25] Built Cache.Main (1.1s)
✔ [24/25] Built Cache.Main:c.o (532ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 6 KB/s], Decompressed: 7
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 23 KB/s], Decompressed: 27
Downloaded: 54 file(s) [attempted 54/8459 = 0%, 100 KB/s], Decompressed: 42
Downloaded: 79 file(s) [attempted 79/8459 = 0%, 131 KB/s], Decompressed: 54
Downloaded: 103 file(s) [attempted 103/8459 = 1%, 224 KB/s], Decompressed: 69
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 90 KB/s], Decompressed: 110
Downloaded: 172 file(s) [attempted 172/8459 = 2%, 135 KB/s], Decompressed: 134
Downloaded: 203 file(s) [attempted 203/8459 = 2%, 53 KB/s], Decompressed: 158
Downloaded: 230 file(s) [attempted 230/8459 = 2%, 430 KB/s], Decompressed: 185
Downloaded: 268 file(s) [attempted 268/8459 = 3%, 871 KB/s], Decompressed: 220
Downloaded: 305 file(s) [attempted 305/8459 = 3%, 25 KB/s], Decompressed: 257
Downloaded: 346 file(s) [attempted 346/8459 = 4%, 23 KB/s], Decompressed: 257
Downloaded: 384 file(s) [attempted 384/8459 = 4%, 102 KB/s], Decompressed: 302
Downloaded: 422 file(s) [attempted 422/8459 = 4%, 665 KB/s], Decompressed: 350
Downloaded: 459 file(s) [attempted 459/8459 = 5%, 259 KB/s], Decompressed: 391
Downloaded: 504 file(s) [attempted 504/8459 = 5%, 163 KB/s], Decompressed: 432
Downloaded: 545 file(s) [attempted 545/8459 = 6%, 268 KB/s], Decompressed: 473
Downloaded: 586 file(s) [attempted 586/8459 = 6%, 822 KB/s], Decompressed: 514
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 284 KB/s], Decompressed: 514
Downloaded: 658 file(s) [attempted 658/8459 = 7%, 52 KB/s], Decompressed: 565
Downloaded: 702 file(s) [attempted 702/8459 = 8%, 64 KB/s], Decompressed: 627
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 360 KB/s], Decompressed: 627
Downloaded: 784 file(s) [attempted 784/8459 = 9%, 116 KB/s], Decompressed: 692
Downloaded: 822 file(s) [attempted 822/8459 = 9%, 471 KB/s], Decompressed: 754
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 148 KB/s], Decompressed: 808
Downloaded: 901 file(s) [attempted 901/8459 = 10%, 29 KB/s], Decompressed: 808
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 231 KB/s], Decompressed: 863
Downloaded: 986 file(s) [attempted 986/8459 = 11%, 109 KB/s], Decompressed: 921
Downloaded: 1021 file(s) [attempted 1021/8459 = 12%, 172 KB/s], Decompressed: 921
Downloaded: 1065 file(s) [attempted 1065/8459 = 12%, 39 KB/s], Decompressed: 986
Downloaded: 1109 file(s) [attempted 1109/8459 = 13%, 404 KB/s], Decompressed: 1044
Downloaded: 1145 file(s) [attempted 1145/8459 = 13%, 125 KB/s], Decompressed: 1044
Downloaded: 1185 file(s) [attempted 1185/8459 = 14%, 69 KB/s], Decompressed: 1109
Downloaded: 1222 file(s) [attempted 1222/8459 = 14%, 943 KB/s], Decompressed: 1109
Downloaded: 1263 file(s) [attempted 1263/8459 = 14%, 679 KB/s], Decompressed: 1171
Downloaded: 1304 file(s) [attempted 1304/8459 = 15%, 121 KB/s], Decompressed: 1171
Downloaded: 1345 file(s) [attempted 1345/8459 = 15%, 170 KB/s], Decompressed: 1243
Downloaded: 1383 file(s) [attempted 1383/8459 = 16%, 459 KB/s], Decompressed: 1311
Downloaded: 1421 file(s) [attempted 1421/8459 = 16%, 98 KB/s], Decompressed: 1311
Downloaded: 1462 file(s) [attempted 1462/8459 = 17%, 690 KB/s], Decompressed: 1383
Downloaded: 1503 file(s) [attempted 1503/8459 = 17%, 89 KB/s], Decompressed: 1383
Downloaded: 1540 file(s) [attempted 1540/8459 = 18%, 91 KB/s], Decompressed: 1458
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 420 KB/s], Decompressed: 1458
Downloaded: 1619 file(s) [attempted 1619/8459 = 19%, 836 KB/s], Decompressed: 1523
Downloaded: 1663 file(s) [attempted 1663/8459 = 19%, 466 KB/s], Decompressed: 1588
Downloaded: 1704 file(s) [attempted 1704/8459 = 20%, 119 KB/s], Decompressed: 1588
Downloaded: 1749 file(s) [attempted 1749/8459 = 20%, 289 KB/s], Decompressed: 1660
Downloaded: 1786 file(s) [attempted 1786/8459 = 21%, 270 KB/s], Decompressed: 1660
Downloaded: 1824 file(s) [attempted 1824/8459 = 21%, 60 KB/s], Decompressed: 1728
Downloaded: 1862 file(s) [attempted 1862/8459 = 22%, 1917 KB/s], Decompressed: 1728
Downloaded: 1903 file(s) [attempted 1903/8459 = 22%, 88 KB/s], Decompressed: 1807
Downloaded: 1947 file(s) [attempted 1947/8459 = 23%, 785 KB/s], Decompressed: 1807
Downloaded: 1985 file(s) [attempted 1985/8459 = 23%, 73 KB/s], Decompressed: 1889
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 270 KB/s], Decompressed: 1889
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 309 KB/s], Decompressed: 1889
Downloaded: 2101 file(s) [attempted 2101/8459 = 24%, 340 KB/s], Decompressed: 1971
Downloaded: 2146 file(s) [attempted 2146/8459 = 25%, 332 KB/s], Decompressed: 1971
Downloaded: 2187 file(s) [attempted 2187/8459 = 25%, 105 KB/s], Decompressed: 1971
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 169 KB/s], Decompressed: 2084
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 265 KB/s], Decompressed: 2084
Downloaded: 2299 file(s) [attempted 2299/8459 = 27%, 196 KB/s], Decompressed: 2084
Downloaded: 2340 file(s) [attempted 2340/8459 = 27%, 36 KB/s], Decompressed: 2197
Downloaded: 2381 file(s) [attempted 2381/8459 = 28%, 91 KB/s], Decompressed: 2197
Downloaded: 2426 file(s) [attempted 2426/8459 = 28%, 388 KB/s], Decompressed: 2310
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 296 KB/s], Decompressed: 2310
Downloaded: 2498 file(s) [attempted 2498/8459 = 29%, 209 KB/s], Decompressed: 2310
Downloaded: 2535 file(s) [attempted 2535/8459 = 29%, 338 KB/s], Decompressed: 2310
Downloaded: 2576 file(s) [attempted 2576/8459 = 30%, 524 KB/s], Decompressed: 2416
Downloaded: 2621 file(s) [attempted 2621/8459 = 30%, 161 KB/s], Decompressed: 2416
Downloaded: 2658 file(s) [attempted 2658/8459 = 31%, 233 KB/s], Decompressed: 2416
Downloaded: 2700 file(s) [attempted 2700/8459 = 31%, 33 KB/s], Decompressed: 2546
Downloaded: 2737 file(s) [attempted 2737/8459 = 32%, 39 KB/s], Decompressed: 2546
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 275 KB/s], Decompressed: 2546
Downloaded: 2819 file(s) [attempted 2819/8459 = 33%, 509 KB/s], Decompressed: 2679
Downloaded: 2860 file(s) [attempted 2860/8459 = 33%, 258 KB/s], Decompressed: 2679
Downloaded: 2901 file(s) [attempted 2901/8459 = 34%, 162 KB/s], Decompressed: 2679
Downloaded: 2942 file(s) [attempted 2942/8459 = 34%, 251 KB/s], Decompressed: 2812
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 22 KB/s], Decompressed: 2812
Downloaded: 3024 file(s) [attempted 3024/8459 = 35%, 472 KB/s], Decompressed: 2812
Downloaded: 3062 file(s) [attempted 3062/8459 = 36%, 368 KB/s], Decompressed: 2942
Downloaded: 3103 file(s) [attempted 3103/8459 = 36%, 27 KB/s], Decompressed: 2942
Downloaded: 3141 file(s) [attempted 3141/8459 = 37%, 1476 KB/s], Decompressed: 2942
Downloaded: 3182 file(s) [attempted 3182/8459 = 37%, 190 KB/s], Decompressed: 3059
Downloaded: 3223 file(s) [attempted 3223/8459 = 38%, 295 KB/s], Decompressed: 3059
Downloaded: 3264 file(s) [attempted 3264/8459 = 38%, 592 KB/s], Decompressed: 3059
Downloaded: 3301 file(s) [attempted 3301/8459 = 39%, 64 KB/s], Decompressed: 3171
Downloaded: 3339 file(s) [attempted 3339/8459 = 39%, 176 KB/s], Decompressed: 3171
Downloaded: 3377 file(s) [attempted 3377/8459 = 39%, 43 KB/s], Decompressed: 3171
Downloaded: 3421 file(s) [attempted 3421/8459 = 40%, 546 KB/s], Decompressed: 3281
Downloaded: 3459 file(s) [attempted 3459/8459 = 40%, 44 KB/s], Decompressed: 3281
Downloaded: 3503 file(s) [attempted 3503/8459 = 41%, 101 KB/s], Decompressed: 3387
Downloaded: 3541 file(s) [attempted 3541/8459 = 41%, 1275 KB/s], Decompressed: 3387
Downloaded: 3582 file(s) [attempted 3582/8459 = 42%, 109 KB/s], Decompressed: 3387
Downloaded: 3623 file(s) [attempted 3623/8459 = 42%, 1195 KB/s], Decompressed: 3489
Downloaded: 3660 file(s) [attempted 3660/8459 = 43%, 260 KB/s], Decompressed: 3489
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 163 KB/s], Decompressed: 3585
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 368 KB/s], Decompressed: 3585
Downloaded: 3787 file(s) [attempted 3787/8459 = 44%, 177 KB/s], Decompressed: 3677
Downloaded: 3831 file(s) [attempted 3831/8459 = 45%, 128 KB/s], Decompressed: 3677
Downloaded: 3866 file(s) [attempted 3866/8459 = 45%, 1282 KB/s], Decompressed: 3677
Downloaded: 3907 file(s) [attempted 3907/8459 = 46%, 83 KB/s], Decompressed: 3778
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 258 KB/s], Decompressed: 3778
Downloaded: 3989 file(s) [attempted 3989/8459 = 47%, 297 KB/s], Decompressed: 3872
Downloaded: 4033 file(s) [attempted 4033/8459 = 47%, 369 KB/s], Decompressed: 3872
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 129 KB/s], Decompressed: 3872
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 218 KB/s], Decompressed: 3978
Downloaded: 4149 file(s) [attempted 4149/8459 = 49%, 756 KB/s], Decompressed: 3978
Downloaded: 4190 file(s) [attempted 4190/8459 = 49%, 309 KB/s], Decompressed: 3978
Downloaded: 4235 file(s) [attempted 4235/8459 = 50%, 86 KB/s], Decompressed: 4084
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 218 KB/s], Decompressed: 4084
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 62 KB/s], Decompressed: 4084
Downloaded: 4351 file(s) [attempted 4351/8459 = 51%, 969 KB/s], Decompressed: 4197
Downloaded: 4392 file(s) [attempted 4392/8459 = 51%, 396 KB/s], Decompressed: 4197
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 173 KB/s], Decompressed: 4197
Downloaded: 4474 file(s) [attempted 4474/8459 = 52%, 50 KB/s], Decompressed: 4324
Downloaded: 4515 file(s) [attempted 4515/8459 = 53%, 976 KB/s], Decompressed: 4324
Downloaded: 4556 file(s) [attempted 4556/8459 = 53%, 286 KB/s], Decompressed: 4324
Downloaded: 4594 file(s) [attempted 4594/8459 = 54%, 471 KB/s], Decompressed: 4324
Downloaded: 4635 file(s) [attempted 4635/8459 = 54%, 1056 KB/s], Decompressed: 4324
Downloaded: 4676 file(s) [attempted 4676/8459 = 55%, 143 KB/s], Decompressed: 4324
Downloaded: 4710 file(s) [attempted 4710/8459 = 55%, 153 KB/s], Decompressed: 4324
Downloaded: 4751 file(s) [attempted 4751/8459 = 56%, 157 KB/s], Decompressed: 4324
Downloaded: 4789 file(s) [attempted 4789/8459 = 56%, 576 KB/s], Decompressed: 4324
Downloaded: 4826 file(s) [attempted 4826/8459 = 57%, 203 KB/s], Decompressed: 4324
Downloaded: 4871 file(s) [attempted 4871/8459 = 57%, 1141 KB/s], Decompressed: 4467
Downloaded: 4912 file(s) [attempted 4912/8459 = 58%, 262 KB/s], Decompressed: 4467
Downloaded: 4950 file(s) [attempted 4950/8459 = 58%, 119 KB/s], Decompressed: 4467
Downloaded: 4994 file(s) [attempted 4994/8459 = 59%, 436 KB/s], Decompressed: 4467
Downloaded: 5030 file(s) [attempted 5030/8459 = 59%, 219 KB/s], Decompressed: 4467
Downloaded: 5073 file(s) [attempted 5073/8459 = 59%, 325 KB/s], Decompressed: 4467
Downloaded: 5110 file(s) [attempted 5110/8459 = 60%, 256 KB/s], Decompressed: 4467
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 58 KB/s], Decompressed: 4467
Downloaded: 5192 file(s) [attempted 5192/8459 = 61%, 133 KB/s], Decompressed: 4467
Downloaded: 5230 file(s) [attempted 5230/8459 = 61%, 148 KB/s], Decompressed: 4854
Downloaded: 5268 file(s) [attempted 5268/8459 = 62%, 75 KB/s], Decompressed: 4854
Downloaded: 5305 file(s) [attempted 5305/8459 = 62%, 80 KB/s], Decompressed: 4854
Downloaded: 5350 file(s) [attempted 5350/8459 = 63%, 99 KB/s], Decompressed: 4854
Downloaded: 5384 file(s) [attempted 5384/8459 = 63%, 56 KB/s], Decompressed: 4854
Downloaded: 5425 file(s) [attempted 5425/8459 = 64%, 281 KB/s], Decompressed: 4854
Downloaded: 5463 file(s) [attempted 5463/8459 = 64%, 69 KB/s], Decompressed: 4854
Downloaded: 5504 file(s) [attempted 5504/8459 = 65%, 1173 KB/s], Decompressed: 4854
Downloaded: 5551 file(s) [attempted 5551/8459 = 65%, 391 KB/s], Decompressed: 4854
Downloaded: 5592 file(s) [attempted 5592/8459 = 66%, 816 KB/s], Decompressed: 5222
Downloaded: 5633 file(s) [attempted 5633/8459 = 66%, 505 KB/s], Decompressed: 5222
Downloaded: 5668 file(s) [attempted 5668/8459 = 67%, 457 KB/s], Decompressed: 5222
Downloaded: 5709 file(s) [attempted 5709/8459 = 67%, 204 KB/s], Decompressed: 5222
Downloaded: 5750 file(s) [attempted 5750/8459 = 67%, 838 KB/s], Decompressed: 5222
Downloaded: 5791 file(s) [attempted 5791/8459 = 68%, 131 KB/s], Decompressed: 5222
Downloaded: 5832 file(s) [attempted 5832/8459 = 68%, 87 KB/s], Decompressed: 5222
Downloaded: 5873 file(s) [attempted 5873/8459 = 69%, 219 KB/s], Decompressed: 5222
Downloaded: 5914 file(s) [attempted 5914/8459 = 69%, 66 KB/s], Decompressed: 5565
Downloaded: 5952 file(s) [attempted 5952/8459 = 70%, 510 KB/s], Decompressed: 5565
Downloaded: 5986 file(s) [attempted 5986/8459 = 70%, 1541 KB/s], Decompressed: 5565
Downloaded: 6030 file(s) [attempted 6030/8459 = 71%, 371 KB/s], Decompressed: 5565
Downloaded: 6071 file(s) [attempted 6071/8459 = 71%, 111 KB/s], Decompressed: 5565
Downloaded: 6112 file(s) [attempted 6112/8459 = 72%, 1159 KB/s], Decompressed: 5565
Downloaded: 6146 file(s) [attempted 6146/8459 = 72%, 43 KB/s], Decompressed: 5565
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 138 KB/s], Decompressed: 5887
Downloaded: 6225 file(s) [attempted 6225/8459 = 73%, 280 KB/s], Decompressed: 5887
Downloaded: 6263 file(s) [attempted 6263/8459 = 74%, 48 KB/s], Decompressed: 5887
Downloaded: 6300 file(s) [attempted 6300/8459 = 74%, 237 KB/s], Decompressed: 5887
Downloaded: 6341 file(s) [attempted 6341/8459 = 74%, 694 KB/s], Decompressed: 5887
Downloaded: 6382 file(s) [attempted 6382/8459 = 75%, 291 KB/s], Decompressed: 5887
Downloaded: 6420 file(s) [attempted 6420/8459 = 75%, 571 KB/s], Decompressed: 5887
Downloaded: 6458 file(s) [attempted 6458/8459 = 76%, 253 KB/s], Decompressed: 5887
Downloaded: 6495 file(s) [attempted 6495/8459 = 76%, 1256 KB/s], Decompressed: 5887
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 586 KB/s], Decompressed: 5887
Downloaded: 6584 file(s) [attempted 6584/8459 = 77%, 337 KB/s], Decompressed: 5887
Downloaded: 6625 file(s) [attempted 6625/8459 = 78%, 223 KB/s], Decompressed: 6181
Downloaded: 6663 file(s) [attempted 6663/8459 = 78%, 328 KB/s], Decompressed: 6181
Downloaded: 6700 file(s) [attempted 6700/8459 = 79%, 119 KB/s], Decompressed: 6181
Downloaded: 6745 file(s) [attempted 6745/8459 = 79%, 707 KB/s], Decompressed: 6181
Downloaded: 6789 file(s) [attempted 6789/8459 = 80%, 304 KB/s], Decompressed: 6181
Downloaded: 6827 file(s) [attempted 6827/8459 = 80%, 132 KB/s], Decompressed: 6181
Downloaded: 6875 file(s) [attempted 6875/8459 = 81%, 613 KB/s], Decompressed: 6181
Downloaded: 6912 file(s) [attempted 6912/8459 = 81%, 189 KB/s], Decompressed: 6181
Downloaded: 6953 file(s) [attempted 6953/8459 = 82%, 281 KB/s], Decompressed: 6181
Downloaded: 6998 file(s) [attempted 6998/8459 = 82%, 35 KB/s], Decompressed: 6181
Downloaded: 7035 file(s) [attempted 7035/8459 = 83%, 131 KB/s], Decompressed: 6181
Downloaded: 7073 file(s) [attempted 7073/8459 = 83%, 270 KB/s], Decompressed: 6625
Downloaded: 7111 file(s) [attempted 7111/8459 = 84%, 609 KB/s], Decompressed: 6625
Downloaded: 7155 file(s) [attempted 7155/8459 = 84%, 107 KB/s], Decompressed: 6625
Downloaded: 7196 file(s) [attempted 7196/8459 = 85%, 45 KB/s], Decompressed: 6625
Downloaded: 7234 file(s) [attempted 7234/8459 = 85%, 94 KB/s], Decompressed: 6625
Downloaded: 7275 file(s) [attempted 7275/8459 = 86%, 602 KB/s], Decompressed: 6625
Downloaded: 7319 file(s) [attempted 7319/8459 = 86%, 121 KB/s], Decompressed: 6625
Downloaded: 7357 file(s) [attempted 7357/8459 = 86%, 150 KB/s], Decompressed: 6625
Downloaded: 7395 file(s) [attempted 7395/8459 = 87%, 100 KB/s], Decompressed: 6625
Downloaded: 7425 file(s) [attempted 7425/8459 = 87%, 97 KB/s], Decompressed: 6625
Downloaded: 7449 file(s) [attempted 7449/8459 = 88%, 121 KB/s], Decompressed: 6625
Downloaded: 7497 file(s) [attempted 7497/8459 = 88%, 782 KB/s], Decompressed: 6625
Downloaded: 7548 file(s) [attempted 7548/8459 = 89%, 792 KB/s], Decompressed: 6625
Downloaded: 7596 file(s) [attempted 7596/8459 = 89%, 224 KB/s], Decompressed: 6625
Downloaded: 7610 file(s) [attempted 7610/8459 = 89%, 39 KB/s], Decompressed: 6625
Downloaded: 7661 file(s) [attempted 7661/8459 = 90%, 90 KB/s], Decompressed: 6625
Downloaded: 7709 file(s) [attempted 7709/8459 = 91%, 971 KB/s], Decompressed: 6625
Downloaded: 7761 file(s) [attempted 7761/8459 = 91%, 47 KB/s], Decompressed: 6625
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 36 KB/s], Decompressed: 7070
Downloaded: 7860 file(s) [attempted 7860/8459 = 92%, 189 KB/s], Decompressed: 7070
Downloaded: 7911 file(s) [attempted 7911/8459 = 93%, 567 KB/s], Decompressed: 7070
Downloaded: 7959 file(s) [attempted 7959/8459 = 94%, 119 KB/s], Decompressed: 7070
Downloaded: 8010 file(s) [attempted 8010/8459 = 94%, 106 KB/s], Decompressed: 7070
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 179 KB/s], Decompressed: 7070
Downloaded: 8106 file(s) [attempted 8106/8459 = 95%, 69 KB/s], Decompressed: 7070
Downloaded: 8140 file(s) [attempted 8140/8459 = 96%, 165 KB/s], Decompressed: 7070
Downloaded: 8174 file(s) [attempted 8174/8459 = 96%, 282 KB/s], Decompressed: 7070
Downloaded: 8219 file(s) [attempted 8219/8459 = 97%, 203 KB/s], Decompressed: 7070
Downloaded: 8260 file(s) [attempted 8260/8459 = 97%, 133 KB/s], Decompressed: 7070
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 557 KB/s], Decompressed: 7070
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 81 KB/s], Decompressed: 7070
Downloaded: 8373 file(s) [attempted 8373/8459 = 98%, 107 KB/s], Decompressed: 7070
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 258 KB/s], Decompressed: 7070
Downloaded: 8444 file(s) [attempted 8444/8459 = 99%, 72 KB/s], Decompressed: 7070
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 249 KB/s], Decompressed: 7070
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 249 KB/s], Decompressed: 7070

apx-runtime-resource-v1	apx-verifier-job-1750-runtime-lake_cache-696295-1788179361319729532-0	3854336	4366336	21474836480	0	0	0	0	0	0	587743232	4457930752	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/31/2026, 2:33:31 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (151s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (82s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (121s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (69s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (146s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (112s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (132s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (172s)
✔ [790/791] Built Iut.Foundations.QualitativeData (155s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (335s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1537s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1137s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1625s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (823s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1750-runtime-lean_checker-696295-1788179559216563905-1 on attempt 1

blueprint_buildexit 1duration 47s · created 8/31/2026, 2:33:31 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1750-runtime-blueprint_build-696295-1788186760093254200-2	946176	1339392	21474836480	0	0	0	0	0	0	793980928	891674624	21474836480	0	0	0	0	0	0