Verification run

Run 1276

promachina/iut-leanbranch mastertriggered via poller

failedcommit c1bd99534283toolchain lean-v4-30-0prover leantook 2h 35m · 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-1725-source
exit_code=Some(128) duration_ms=254
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1725-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=4367
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1725-source'...


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

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 c1bd995 Merge pull request #964 from promachina/e23-3b-actual-generator-currency-boundary

Resolved source revision: c1bd995342839d09e87ac7307682b31100cd9f56

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=c1bd995342839d09e87ac7307682b31100cd9f56 provenance={"branch":"master","checked_out_revision":"c1bd995342839d09e87ac7307682b31100cd9f56","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"c1bd995342839d09e87ac7307682b31100cd9f56","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=6442 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=2069760
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 (17s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (2.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (148ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (186ms)
✔ [13/25] Built Cache.Lean:c.o (121ms)
✔ [15/25] Built Cache.Init (998ms)
✔ [16/25] Built Cache.IO (11s)
✔ [17/25] Built Cache.Init:c.o (141ms)
✔ [18/25] Built Cache.IO:c.o (1.3s)
✔ [19/25] Built Cache.Hashing (30s)
✔ [20/25] Built Cache.Hashing:c.o (7.1s)
✔ [21/25] Built Cache.Requests (46s)
✔ [22/25] Built Cache.Requests:c.o (3.9s)
✔ [23/25] Built Cache.Main (8.9s)
✔ [24/25] Built Cache.Main:c.o (521ms)
✔ [25/25] Built cache:exe (11s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 0 KB/s], Decompressed: 0
Downloaded: 20 file(s) [attempted 20/8459 = 0%, 0 KB/s], Decompressed: 1
Downloaded: 43 file(s) [attempted 43/8459 = 0%, 0 KB/s], Decompressed: 21
Downloaded: 68 file(s) [attempted 68/8459 = 0%, 257 KB/s], Decompressed: 53
Downloaded: 100 file(s) [attempted 100/8459 = 1%, 271 KB/s], Decompressed: 68
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 590 KB/s], Decompressed: 89
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 151 KB/s], Decompressed: 117
Downloaded: 210 file(s) [attempted 210/8459 = 2%, 502 KB/s], Decompressed: 151
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 304 KB/s], Decompressed: 186
Downloaded: 280 file(s) [attempted 280/8459 = 3%, 318 KB/s], Decompressed: 230
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 198 KB/s], Decompressed: 230
Downloaded: 360 file(s) [attempted 360/8459 = 4%, 32 KB/s], Decompressed: 278
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 207 KB/s], Decompressed: 336
Downloaded: 439 file(s) [attempted 439/8459 = 5%, 412 KB/s], Decompressed: 336
Downloaded: 480 file(s) [attempted 480/8459 = 5%, 410 KB/s], Decompressed: 391
Downloaded: 522 file(s) [attempted 522/8459 = 6%, 743 KB/s], Decompressed: 446
Downloaded: 563 file(s) [attempted 563/8459 = 6%, 339 KB/s], Decompressed: 446
Downloaded: 604 file(s) [attempted 604/8459 = 7%, 220 KB/s], Decompressed: 518
Downloaded: 645 file(s) [attempted 645/8459 = 7%, 335 KB/s], Decompressed: 518
Downloaded: 686 file(s) [attempted 686/8459 = 8%, 130 KB/s], Decompressed: 594
Downloaded: 724 file(s) [attempted 724/8459 = 8%, 74 KB/s], Decompressed: 594
Downloaded: 768 file(s) [attempted 768/8459 = 9%, 217 KB/s], Decompressed: 670
Downloaded: 813 file(s) [attempted 813/8459 = 9%, 224 KB/s], Decompressed: 744
Downloaded: 851 file(s) [attempted 851/8459 = 10%, 609 KB/s], Decompressed: 744
Downloaded: 895 file(s) [attempted 895/8459 = 10%, 209 KB/s], Decompressed: 813
Downloaded: 940 file(s) [attempted 940/8459 = 11%, 74 KB/s], Decompressed: 813
Downloaded: 974 file(s) [attempted 974/8459 = 11%, 547 KB/s], Decompressed: 882
Downloaded: 1019 file(s) [attempted 1019/8459 = 12%, 861 KB/s], Decompressed: 882
Downloaded: 1063 file(s) [attempted 1063/8459 = 12%, 378 KB/s], Decompressed: 950
Downloaded: 1104 file(s) [attempted 1104/8459 = 13%, 150 KB/s], Decompressed: 1022
Downloaded: 1145 file(s) [attempted 1145/8459 = 13%, 247 KB/s], Decompressed: 1022
Downloaded: 1187 file(s) [attempted 1187/8459 = 14%, 155 KB/s], Decompressed: 1022
Downloaded: 1228 file(s) [attempted 1228/8459 = 14%, 454 KB/s], Decompressed: 1104
Downloaded: 1265 file(s) [attempted 1265/8459 = 14%, 189 KB/s], Decompressed: 1104
Downloaded: 1309 file(s) [attempted 1309/8459 = 15%, 272 KB/s], Decompressed: 1193
Downloaded: 1344 file(s) [attempted 1344/8459 = 15%, 224 KB/s], Decompressed: 1193
Downloaded: 1385 file(s) [attempted 1385/8459 = 16%, 484 KB/s], Decompressed: 1282
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 62 KB/s], Decompressed: 1282
Downloaded: 1478 file(s) [attempted 1478/8459 = 17%, 184 KB/s], Decompressed: 1282
Downloaded: 1512 file(s) [attempted 1512/8459 = 17%, 256 KB/s], Decompressed: 1382
Downloaded: 1553 file(s) [attempted 1553/8459 = 18%, 361 KB/s], Decompressed: 1382
Downloaded: 1591 file(s) [attempted 1591/8459 = 18%, 297 KB/s], Decompressed: 1484
Downloaded: 1635 file(s) [attempted 1635/8459 = 19%, 959 KB/s], Decompressed: 1484
Downloaded: 1683 file(s) [attempted 1683/8459 = 19%, 582 KB/s], Decompressed: 1587
Downloaded: 1731 file(s) [attempted 1731/8459 = 20%, 258 KB/s], Decompressed: 1587
Downloaded: 1772 file(s) [attempted 1772/8459 = 20%, 180 KB/s], Decompressed: 1587
Downloaded: 1817 file(s) [attempted 1817/8459 = 21%, 160 KB/s], Decompressed: 1683
Downloaded: 1854 file(s) [attempted 1854/8459 = 21%, 306 KB/s], Decompressed: 1683
Downloaded: 1888 file(s) [attempted 1888/8459 = 22%, 95 KB/s], Decompressed: 1776
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 563 KB/s], Decompressed: 1861
Downloaded: 1974 file(s) [attempted 1974/8459 = 23%, 41 KB/s], Decompressed: 1861
Downloaded: 2015 file(s) [attempted 2015/8459 = 23%, 310 KB/s], Decompressed: 1930
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 106 KB/s], Decompressed: 1930
Downloaded: 2101 file(s) [attempted 2101/8459 = 24%, 1434 KB/s], Decompressed: 1930
Downloaded: 2142 file(s) [attempted 2142/8459 = 25%, 256 KB/s], Decompressed: 2009
Downloaded: 2183 file(s) [attempted 2183/8459 = 25%, 55 KB/s], Decompressed: 2009
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 174 KB/s], Decompressed: 2111
Downloaded: 2269 file(s) [attempted 2269/8459 = 26%, 108 KB/s], Decompressed: 2111
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 1398 KB/s], Decompressed: 2111
Downloaded: 2348 file(s) [attempted 2348/8459 = 27%, 4746 KB/s], Decompressed: 2217
Downloaded: 2385 file(s) [attempted 2385/8459 = 28%, 257 KB/s], Decompressed: 2217
Downloaded: 2430 file(s) [attempted 2430/8459 = 28%, 25 KB/s], Decompressed: 2331
Downloaded: 2474 file(s) [attempted 2474/8459 = 29%, 331 KB/s], Decompressed: 2331
Downloaded: 2519 file(s) [attempted 2519/8459 = 29%, 85 KB/s], Decompressed: 2331
Downloaded: 2560 file(s) [attempted 2560/8459 = 30%, 247 KB/s], Decompressed: 2430
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 156 KB/s], Decompressed: 2430
Downloaded: 2635 file(s) [attempted 2635/8459 = 31%, 319 KB/s], Decompressed: 2526
Downloaded: 2680 file(s) [attempted 2680/8459 = 31%, 217 KB/s], Decompressed: 2526
Downloaded: 2724 file(s) [attempted 2724/8459 = 32%, 403 KB/s], Decompressed: 2625
Downloaded: 2766 file(s) [attempted 2766/8459 = 32%, 444 KB/s], Decompressed: 2625
Downloaded: 2803 file(s) [attempted 2803/8459 = 33%, 1093 KB/s], Decompressed: 2625
Downloaded: 2841 file(s) [attempted 2841/8459 = 33%, 399 KB/s], Decompressed: 2721
Downloaded: 2885 file(s) [attempted 2885/8459 = 34%, 43 KB/s], Decompressed: 2721
Downloaded: 2930 file(s) [attempted 2930/8459 = 34%, 388 KB/s], Decompressed: 2820
Downloaded: 2974 file(s) [attempted 2974/8459 = 35%, 104 KB/s], Decompressed: 2820
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 28 KB/s], Decompressed: 2909
Downloaded: 3053 file(s) [attempted 3053/8459 = 36%, 405 KB/s], Decompressed: 2909
Downloaded: 3091 file(s) [attempted 3091/8459 = 36%, 315 KB/s], Decompressed: 2988
Downloaded: 3135 file(s) [attempted 3135/8459 = 37%, 98 KB/s], Decompressed: 2988
Downloaded: 3180 file(s) [attempted 3180/8459 = 37%, 1267 KB/s], Decompressed: 3077
Downloaded: 3221 file(s) [attempted 3221/8459 = 38%, 309 KB/s], Decompressed: 3077
Downloaded: 3262 file(s) [attempted 3262/8459 = 38%, 169 KB/s], Decompressed: 3170
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 68 KB/s], Decompressed: 3170
Downloaded: 3338 file(s) [attempted 3338/8459 = 39%, 1415 KB/s], Decompressed: 3170
Downloaded: 3379 file(s) [attempted 3379/8459 = 39%, 261 KB/s], Decompressed: 3262
Downloaded: 3423 file(s) [attempted 3423/8459 = 40%, 178 KB/s], Decompressed: 3262
Downloaded: 3464 file(s) [attempted 3464/8459 = 40%, 142 KB/s], Decompressed: 3344
Downloaded: 3502 file(s) [attempted 3502/8459 = 41%, 133 KB/s], Decompressed: 3427
Downloaded: 3540 file(s) [attempted 3540/8459 = 41%, 347 KB/s], Decompressed: 3427
Downloaded: 3580 file(s) [attempted 3580/8459 = 42%, 461 KB/s], Decompressed: 3495
Downloaded: 3622 file(s) [attempted 3622/8459 = 42%, 982 KB/s], Decompressed: 3495
Downloaded: 3666 file(s) [attempted 3666/8459 = 43%, 331 KB/s], Decompressed: 3577
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 471 KB/s], Decompressed: 3577
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 807 KB/s], Decompressed: 3656
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 103 KB/s], Decompressed: 3656
Downloaded: 3824 file(s) [attempted 3824/8459 = 45%, 54 KB/s], Decompressed: 3735
Downloaded: 3868 file(s) [attempted 3868/8459 = 45%, 65 KB/s], Decompressed: 3735
Downloaded: 3913 file(s) [attempted 3913/8459 = 46%, 142 KB/s], Decompressed: 3735
Downloaded: 3951 file(s) [attempted 3951/8459 = 46%, 331 KB/s], Decompressed: 3824
Downloaded: 3995 file(s) [attempted 3995/8459 = 47%, 191 KB/s], Decompressed: 3824
Downloaded: 4036 file(s) [attempted 4036/8459 = 47%, 71 KB/s], Decompressed: 3925
Downloaded: 4077 file(s) [attempted 4077/8459 = 48%, 120 KB/s], Decompressed: 3925
Downloaded: 4115 file(s) [attempted 4115/8459 = 48%, 37 KB/s], Decompressed: 3925
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 386 KB/s], Decompressed: 4029
Downloaded: 4201 file(s) [attempted 4201/8459 = 49%, 418 KB/s], Decompressed: 4029
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 509 KB/s], Decompressed: 4129
Downloaded: 4286 file(s) [attempted 4286/8459 = 50%, 564 KB/s], Decompressed: 4129
Downloaded: 4327 file(s) [attempted 4327/8459 = 51%, 193 KB/s], Decompressed: 4129
Downloaded: 4369 file(s) [attempted 4369/8459 = 51%, 131 KB/s], Decompressed: 4232
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 78 KB/s], Decompressed: 4232
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 397 KB/s], Decompressed: 4345
Downloaded: 4495 file(s) [attempted 4495/8459 = 53%, 247 KB/s], Decompressed: 4345
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 109 KB/s], Decompressed: 4345
Downloaded: 4583 file(s) [attempted 4583/8459 = 54%, 168 KB/s], Decompressed: 4345
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 908 KB/s], Decompressed: 4345
Downloaded: 4663 file(s) [attempted 4663/8459 = 55%, 68 KB/s], Decompressed: 4447
Downloaded: 4701 file(s) [attempted 4701/8459 = 55%, 321 KB/s], Decompressed: 4447
Downloaded: 4742 file(s) [attempted 4742/8459 = 56%, 284 KB/s], Decompressed: 4447
Downloaded: 4786 file(s) [attempted 4786/8459 = 56%, 61 KB/s], Decompressed: 4447
Downloaded: 4824 file(s) [attempted 4824/8459 = 57%, 206 KB/s], Decompressed: 4632
Downloaded: 4862 file(s) [attempted 4862/8459 = 57%, 76 KB/s], Decompressed: 4632
Downloaded: 4906 file(s) [attempted 4906/8459 = 57%, 246 KB/s], Decompressed: 4632
Downloaded: 4944 file(s) [attempted 4944/8459 = 58%, 59 KB/s], Decompressed: 4632
Downloaded: 4982 file(s) [attempted 4982/8459 = 58%, 57 KB/s], Decompressed: 4793
Downloaded: 5023 file(s) [attempted 5023/8459 = 59%, 486 KB/s], Decompressed: 4793
Downloaded: 5060 file(s) [attempted 5060/8459 = 59%, 145 KB/s], Decompressed: 4793
Downloaded: 5105 file(s) [attempted 5105/8459 = 60%, 116 KB/s], Decompressed: 4793
Downloaded: 5153 file(s) [attempted 5153/8459 = 60%, 1305 KB/s], Decompressed: 4793
Downloaded: 5197 file(s) [attempted 5197/8459 = 61%, 476 KB/s], Decompressed: 4958
Downloaded: 5239 file(s) [attempted 5239/8459 = 61%, 1733 KB/s], Decompressed: 4958
Downloaded: 5276 file(s) [attempted 5276/8459 = 62%, 1281 KB/s], Decompressed: 4958
Downloaded: 5317 file(s) [attempted 5317/8459 = 62%, 1252 KB/s], Decompressed: 4958
Downloaded: 5365 file(s) [attempted 5365/8459 = 63%, 2790 KB/s], Decompressed: 5173
Downloaded: 5413 file(s) [attempted 5413/8459 = 63%, 812 KB/s], Decompressed: 5173
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 954 KB/s], Decompressed: 5173
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 66 KB/s], Decompressed: 5173
Downloaded: 5540 file(s) [attempted 5540/8459 = 65%, 288 KB/s], Decompressed: 5173
Downloaded: 5574 file(s) [attempted 5574/8459 = 65%, 125 KB/s], Decompressed: 5365
Downloaded: 5615 file(s) [attempted 5615/8459 = 66%, 1145 KB/s], Decompressed: 5365
Downloaded: 5660 file(s) [attempted 5660/8459 = 66%, 239 KB/s], Decompressed: 5365
Downloaded: 5701 file(s) [attempted 5701/8459 = 67%, 86 KB/s], Decompressed: 5543
Downloaded: 5739 file(s) [attempted 5739/8459 = 67%, 99 KB/s], Decompressed: 5543
Downloaded: 5780 file(s) [attempted 5780/8459 = 68%, 710 KB/s], Decompressed: 5543
Downloaded: 5817 file(s) [attempted 5817/8459 = 68%, 23 KB/s], Decompressed: 5543
Downloaded: 5862 file(s) [attempted 5862/8459 = 69%, 219 KB/s], Decompressed: 5697
Downloaded: 5906 file(s) [attempted 5906/8459 = 69%, 1918 KB/s], Decompressed: 5697
Downloaded: 5951 file(s) [attempted 5951/8459 = 70%, 285 KB/s], Decompressed: 5824
Downloaded: 5989 file(s) [attempted 5989/8459 = 70%, 251 KB/s], Decompressed: 5824
Downloaded: 6026 file(s) [attempted 6026/8459 = 71%, 784 KB/s], Decompressed: 5824
Downloaded: 6067 file(s) [attempted 6067/8459 = 71%, 1577 KB/s], Decompressed: 5927
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 1779 KB/s], Decompressed: 5927
Downloaded: 6143 file(s) [attempted 6143/8459 = 72%, 1292 KB/s], Decompressed: 6037
Downloaded: 6187 file(s) [attempted 6187/8459 = 73%, 212 KB/s], Decompressed: 6037
Downloaded: 6228 file(s) [attempted 6228/8459 = 73%, 204 KB/s], Decompressed: 6126
Downloaded: 6270 file(s) [attempted 6270/8459 = 74%, 239 KB/s], Decompressed: 6126
Downloaded: 6311 file(s) [attempted 6311/8459 = 74%, 88 KB/s], Decompressed: 6218
Downloaded: 6352 file(s) [attempted 6352/8459 = 75%, 325 KB/s], Decompressed: 6218
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 904 KB/s], Decompressed: 6300
Downloaded: 6430 file(s) [attempted 6430/8459 = 76%, 214 KB/s], Decompressed: 6300
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 54 KB/s], Decompressed: 6300
Downloaded: 6516 file(s) [attempted 6516/8459 = 77%, 1707 KB/s], Decompressed: 6383
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 292 KB/s], Decompressed: 6383
Downloaded: 6598 file(s) [attempted 6598/8459 = 77%, 158 KB/s], Decompressed: 6383
Downloaded: 6637 file(s) [attempted 6637/8459 = 78%, 28 KB/s], Decompressed: 6383
Downloaded: 6677 file(s) [attempted 6677/8459 = 78%, 537 KB/s], Decompressed: 6492
Downloaded: 6722 file(s) [attempted 6722/8459 = 79%, 816 KB/s], Decompressed: 6492
Downloaded: 6759 file(s) [attempted 6759/8459 = 79%, 1159 KB/s], Decompressed: 6492
Downloaded: 6800 file(s) [attempted 6800/8459 = 80%, 150 KB/s], Decompressed: 6492
Downloaded: 6838 file(s) [attempted 6838/8459 = 80%, 45 KB/s], Decompressed: 6674
Downloaded: 6879 file(s) [attempted 6879/8459 = 81%, 234 KB/s], Decompressed: 6674
Downloaded: 6924 file(s) [attempted 6924/8459 = 81%, 790 KB/s], Decompressed: 6674
Downloaded: 6968 file(s) [attempted 6968/8459 = 82%, 295 KB/s], Decompressed: 6674
Downloaded: 7009 file(s) [attempted 7009/8459 = 82%, 464 KB/s], Decompressed: 6674
Downloaded: 7050 file(s) [attempted 7050/8459 = 83%, 43 KB/s], Decompressed: 6674
Downloaded: 7085 file(s) [attempted 7085/8459 = 83%, 795 KB/s], Decompressed: 6835
Downloaded: 7129 file(s) [attempted 7129/8459 = 84%, 1235 KB/s], Decompressed: 6835
Downloaded: 7177 file(s) [attempted 7177/8459 = 84%, 908 KB/s], Decompressed: 6835
Downloaded: 7218 file(s) [attempted 7218/8459 = 85%, 775 KB/s], Decompressed: 6835
Downloaded: 7259 file(s) [attempted 7259/8459 = 85%, 108 KB/s], Decompressed: 6835
Downloaded: 7304 file(s) [attempted 7304/8459 = 86%, 42 KB/s], Decompressed: 6835
Downloaded: 7348 file(s) [attempted 7348/8459 = 86%, 111 KB/s], Decompressed: 7078
Downloaded: 7386 file(s) [attempted 7386/8459 = 87%, 380 KB/s], Decompressed: 7078
Downloaded: 7427 file(s) [attempted 7427/8459 = 87%, 150 KB/s], Decompressed: 7078
Downloaded: 7472 file(s) [attempted 7472/8459 = 88%, 179 KB/s], Decompressed: 7078
Downloaded: 7516 file(s) [attempted 7516/8459 = 88%, 137 KB/s], Decompressed: 7078
Downloaded: 7557 file(s) [attempted 7557/8459 = 89%, 245 KB/s], Decompressed: 7314
Downloaded: 7598 file(s) [attempted 7598/8459 = 89%, 222 KB/s], Decompressed: 7314
Downloaded: 7636 file(s) [attempted 7636/8459 = 90%, 175 KB/s], Decompressed: 7314
Downloaded: 7677 file(s) [attempted 7677/8459 = 90%, 234 KB/s], Decompressed: 7314
Downloaded: 7725 file(s) [attempted 7725/8459 = 91%, 205 KB/s], Decompressed: 7314
Downloaded: 7766 file(s) [attempted 7766/8459 = 91%, 929 KB/s], Decompressed: 7533
Downloaded: 7801 file(s) [attempted 7801/8459 = 92%, 145 KB/s], Decompressed: 7533
Downloaded: 7845 file(s) [attempted 7845/8459 = 92%, 285 KB/s], Decompressed: 7533
Downloaded: 7886 file(s) [attempted 7886/8459 = 93%, 983 KB/s], Decompressed: 7533
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 223 KB/s], Decompressed: 7533
Downloaded: 7975 file(s) [attempted 7975/8459 = 94%, 884 KB/s], Decompressed: 7742
Downloaded: 8020 file(s) [attempted 8020/8459 = 94%, 203 KB/s], Decompressed: 7742
Downloaded: 8057 file(s) [attempted 8057/8459 = 95%, 739 KB/s], Decompressed: 7742
Downloaded: 8095 file(s) [attempted 8095/8459 = 95%, 49 KB/s], Decompressed: 7742
Downloaded: 8133 file(s) [attempted 8133/8459 = 96%, 712 KB/s], Decompressed: 7742
Downloaded: 8177 file(s) [attempted 8177/8459 = 96%, 56 KB/s], Decompressed: 7742
Downloaded: 8225 file(s) [attempted 8225/8459 = 97%, 305 KB/s], Decompressed: 7742
Downloaded: 8266 file(s) [attempted 8266/8459 = 97%, 255 KB/s], Decompressed: 7944
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 459 KB/s], Decompressed: 7944
Downloaded: 8342 file(s) [attempted 8342/8459 = 98%, 81 KB/s], Decompressed: 7944
Downloaded: 8383 file(s) [attempted 8383/8459 = 99%, 354 KB/s], Decompressed: 7944
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 260 KB/s], Decompressed: 7944
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 116 KB/s], Decompressed: 7944
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 116 KB/s], Decompressed: 7944

apx-runtime-resource-v1	apx-verifier-job-1725-runtime-lake_cache-3916434-1787581393766164572-0	4030464	4280320	21474836480	0	0	0	0	0	0	552108032	6781198336	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200005
stdout:
✔ [500/502] Built Iut.Foundations.Species (266s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (266s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (324s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (127s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (81s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (131s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (105s)
✔ [790/794] Built Iut.Foundations.QualitativeData (76s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (592s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1182s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1106s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1410s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (352s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (402s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (327s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1725-runtime-lean_checker-3916434-1787583463532620863-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1725-runtime-blueprint_build-3916434-1787590664187618602-2	925696	1441792	21474836480	0	0	0	0	0	0	881836032	985309184	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 254 ms · created 8/24/2026, 4:58:02 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1725-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/24/2026, 4:58:02 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 261 ms · created 8/24/2026, 4:58:02 PM

git checkout c1bd995342839d09e87ac7307682b31100cd9f56

Note: switching to 'c1bd995342839d09e87ac7307682b31100cd9f56'.

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 c1bd995 Merge pull request #964 from promachina/e23-3b-actual-generator-currency-boundary

lake_cacheexit 0duration 34m 30s · created 8/24/2026, 4:58:02 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 (17s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (2.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (148ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (186ms)
✔ [13/25] Built Cache.Lean:c.o (121ms)
✔ [15/25] Built Cache.Init (998ms)
✔ [16/25] Built Cache.IO (11s)
✔ [17/25] Built Cache.Init:c.o (141ms)
✔ [18/25] Built Cache.IO:c.o (1.3s)
✔ [19/25] Built Cache.Hashing (30s)
✔ [20/25] Built Cache.Hashing:c.o (7.1s)
✔ [21/25] Built Cache.Requests (46s)
✔ [22/25] Built Cache.Requests:c.o (3.9s)
✔ [23/25] Built Cache.Main (8.9s)
✔ [24/25] Built Cache.Main:c.o (521ms)
✔ [25/25] Built cache:exe (11s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 0 KB/s], Decompressed: 0
Downloaded: 20 file(s) [attempted 20/8459 = 0%, 0 KB/s], Decompressed: 1
Downloaded: 43 file(s) [attempted 43/8459 = 0%, 0 KB/s], Decompressed: 21
Downloaded: 68 file(s) [attempted 68/8459 = 0%, 257 KB/s], Decompressed: 53
Downloaded: 100 file(s) [attempted 100/8459 = 1%, 271 KB/s], Decompressed: 68
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 590 KB/s], Decompressed: 89
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 151 KB/s], Decompressed: 117
Downloaded: 210 file(s) [attempted 210/8459 = 2%, 502 KB/s], Decompressed: 151
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 304 KB/s], Decompressed: 186
Downloaded: 280 file(s) [attempted 280/8459 = 3%, 318 KB/s], Decompressed: 230
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 198 KB/s], Decompressed: 230
Downloaded: 360 file(s) [attempted 360/8459 = 4%, 32 KB/s], Decompressed: 278
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 207 KB/s], Decompressed: 336
Downloaded: 439 file(s) [attempted 439/8459 = 5%, 412 KB/s], Decompressed: 336
Downloaded: 480 file(s) [attempted 480/8459 = 5%, 410 KB/s], Decompressed: 391
Downloaded: 522 file(s) [attempted 522/8459 = 6%, 743 KB/s], Decompressed: 446
Downloaded: 563 file(s) [attempted 563/8459 = 6%, 339 KB/s], Decompressed: 446
Downloaded: 604 file(s) [attempted 604/8459 = 7%, 220 KB/s], Decompressed: 518
Downloaded: 645 file(s) [attempted 645/8459 = 7%, 335 KB/s], Decompressed: 518
Downloaded: 686 file(s) [attempted 686/8459 = 8%, 130 KB/s], Decompressed: 594
Downloaded: 724 file(s) [attempted 724/8459 = 8%, 74 KB/s], Decompressed: 594
Downloaded: 768 file(s) [attempted 768/8459 = 9%, 217 KB/s], Decompressed: 670
Downloaded: 813 file(s) [attempted 813/8459 = 9%, 224 KB/s], Decompressed: 744
Downloaded: 851 file(s) [attempted 851/8459 = 10%, 609 KB/s], Decompressed: 744
Downloaded: 895 file(s) [attempted 895/8459 = 10%, 209 KB/s], Decompressed: 813
Downloaded: 940 file(s) [attempted 940/8459 = 11%, 74 KB/s], Decompressed: 813
Downloaded: 974 file(s) [attempted 974/8459 = 11%, 547 KB/s], Decompressed: 882
Downloaded: 1019 file(s) [attempted 1019/8459 = 12%, 861 KB/s], Decompressed: 882
Downloaded: 1063 file(s) [attempted 1063/8459 = 12%, 378 KB/s], Decompressed: 950
Downloaded: 1104 file(s) [attempted 1104/8459 = 13%, 150 KB/s], Decompressed: 1022
Downloaded: 1145 file(s) [attempted 1145/8459 = 13%, 247 KB/s], Decompressed: 1022
Downloaded: 1187 file(s) [attempted 1187/8459 = 14%, 155 KB/s], Decompressed: 1022
Downloaded: 1228 file(s) [attempted 1228/8459 = 14%, 454 KB/s], Decompressed: 1104
Downloaded: 1265 file(s) [attempted 1265/8459 = 14%, 189 KB/s], Decompressed: 1104
Downloaded: 1309 file(s) [attempted 1309/8459 = 15%, 272 KB/s], Decompressed: 1193
Downloaded: 1344 file(s) [attempted 1344/8459 = 15%, 224 KB/s], Decompressed: 1193
Downloaded: 1385 file(s) [attempted 1385/8459 = 16%, 484 KB/s], Decompressed: 1282
Downloaded: 1433 file(s) [attempted 1433/8459 = 16%, 62 KB/s], Decompressed: 1282
Downloaded: 1478 file(s) [attempted 1478/8459 = 17%, 184 KB/s], Decompressed: 1282
Downloaded: 1512 file(s) [attempted 1512/8459 = 17%, 256 KB/s], Decompressed: 1382
Downloaded: 1553 file(s) [attempted 1553/8459 = 18%, 361 KB/s], Decompressed: 1382
Downloaded: 1591 file(s) [attempted 1591/8459 = 18%, 297 KB/s], Decompressed: 1484
Downloaded: 1635 file(s) [attempted 1635/8459 = 19%, 959 KB/s], Decompressed: 1484
Downloaded: 1683 file(s) [attempted 1683/8459 = 19%, 582 KB/s], Decompressed: 1587
Downloaded: 1731 file(s) [attempted 1731/8459 = 20%, 258 KB/s], Decompressed: 1587
Downloaded: 1772 file(s) [attempted 1772/8459 = 20%, 180 KB/s], Decompressed: 1587
Downloaded: 1817 file(s) [attempted 1817/8459 = 21%, 160 KB/s], Decompressed: 1683
Downloaded: 1854 file(s) [attempted 1854/8459 = 21%, 306 KB/s], Decompressed: 1683
Downloaded: 1888 file(s) [attempted 1888/8459 = 22%, 95 KB/s], Decompressed: 1776
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 563 KB/s], Decompressed: 1861
Downloaded: 1974 file(s) [attempted 1974/8459 = 23%, 41 KB/s], Decompressed: 1861
Downloaded: 2015 file(s) [attempted 2015/8459 = 23%, 310 KB/s], Decompressed: 1930
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 106 KB/s], Decompressed: 1930
Downloaded: 2101 file(s) [attempted 2101/8459 = 24%, 1434 KB/s], Decompressed: 1930
Downloaded: 2142 file(s) [attempted 2142/8459 = 25%, 256 KB/s], Decompressed: 2009
Downloaded: 2183 file(s) [attempted 2183/8459 = 25%, 55 KB/s], Decompressed: 2009
Downloaded: 2228 file(s) [attempted 2228/8459 = 26%, 174 KB/s], Decompressed: 2111
Downloaded: 2269 file(s) [attempted 2269/8459 = 26%, 108 KB/s], Decompressed: 2111
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 1398 KB/s], Decompressed: 2111
Downloaded: 2348 file(s) [attempted 2348/8459 = 27%, 4746 KB/s], Decompressed: 2217
Downloaded: 2385 file(s) [attempted 2385/8459 = 28%, 257 KB/s], Decompressed: 2217
Downloaded: 2430 file(s) [attempted 2430/8459 = 28%, 25 KB/s], Decompressed: 2331
Downloaded: 2474 file(s) [attempted 2474/8459 = 29%, 331 KB/s], Decompressed: 2331
Downloaded: 2519 file(s) [attempted 2519/8459 = 29%, 85 KB/s], Decompressed: 2331
Downloaded: 2560 file(s) [attempted 2560/8459 = 30%, 247 KB/s], Decompressed: 2430
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 156 KB/s], Decompressed: 2430
Downloaded: 2635 file(s) [attempted 2635/8459 = 31%, 319 KB/s], Decompressed: 2526
Downloaded: 2680 file(s) [attempted 2680/8459 = 31%, 217 KB/s], Decompressed: 2526
Downloaded: 2724 file(s) [attempted 2724/8459 = 32%, 403 KB/s], Decompressed: 2625
Downloaded: 2766 file(s) [attempted 2766/8459 = 32%, 444 KB/s], Decompressed: 2625
Downloaded: 2803 file(s) [attempted 2803/8459 = 33%, 1093 KB/s], Decompressed: 2625
Downloaded: 2841 file(s) [attempted 2841/8459 = 33%, 399 KB/s], Decompressed: 2721
Downloaded: 2885 file(s) [attempted 2885/8459 = 34%, 43 KB/s], Decompressed: 2721
Downloaded: 2930 file(s) [attempted 2930/8459 = 34%, 388 KB/s], Decompressed: 2820
Downloaded: 2974 file(s) [attempted 2974/8459 = 35%, 104 KB/s], Decompressed: 2820
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 28 KB/s], Decompressed: 2909
Downloaded: 3053 file(s) [attempted 3053/8459 = 36%, 405 KB/s], Decompressed: 2909
Downloaded: 3091 file(s) [attempted 3091/8459 = 36%, 315 KB/s], Decompressed: 2988
Downloaded: 3135 file(s) [attempted 3135/8459 = 37%, 98 KB/s], Decompressed: 2988
Downloaded: 3180 file(s) [attempted 3180/8459 = 37%, 1267 KB/s], Decompressed: 3077
Downloaded: 3221 file(s) [attempted 3221/8459 = 38%, 309 KB/s], Decompressed: 3077
Downloaded: 3262 file(s) [attempted 3262/8459 = 38%, 169 KB/s], Decompressed: 3170
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 68 KB/s], Decompressed: 3170
Downloaded: 3338 file(s) [attempted 3338/8459 = 39%, 1415 KB/s], Decompressed: 3170
Downloaded: 3379 file(s) [attempted 3379/8459 = 39%, 261 KB/s], Decompressed: 3262
Downloaded: 3423 file(s) [attempted 3423/8459 = 40%, 178 KB/s], Decompressed: 3262
Downloaded: 3464 file(s) [attempted 3464/8459 = 40%, 142 KB/s], Decompressed: 3344
Downloaded: 3502 file(s) [attempted 3502/8459 = 41%, 133 KB/s], Decompressed: 3427
Downloaded: 3540 file(s) [attempted 3540/8459 = 41%, 347 KB/s], Decompressed: 3427
Downloaded: 3580 file(s) [attempted 3580/8459 = 42%, 461 KB/s], Decompressed: 3495
Downloaded: 3622 file(s) [attempted 3622/8459 = 42%, 982 KB/s], Decompressed: 3495
Downloaded: 3666 file(s) [attempted 3666/8459 = 43%, 331 KB/s], Decompressed: 3577
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 471 KB/s], Decompressed: 3577
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 807 KB/s], Decompressed: 3656
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 103 KB/s], Decompressed: 3656
Downloaded: 3824 file(s) [attempted 3824/8459 = 45%, 54 KB/s], Decompressed: 3735
Downloaded: 3868 file(s) [attempted 3868/8459 = 45%, 65 KB/s], Decompressed: 3735
Downloaded: 3913 file(s) [attempted 3913/8459 = 46%, 142 KB/s], Decompressed: 3735
Downloaded: 3951 file(s) [attempted 3951/8459 = 46%, 331 KB/s], Decompressed: 3824
Downloaded: 3995 file(s) [attempted 3995/8459 = 47%, 191 KB/s], Decompressed: 3824
Downloaded: 4036 file(s) [attempted 4036/8459 = 47%, 71 KB/s], Decompressed: 3925
Downloaded: 4077 file(s) [attempted 4077/8459 = 48%, 120 KB/s], Decompressed: 3925
Downloaded: 4115 file(s) [attempted 4115/8459 = 48%, 37 KB/s], Decompressed: 3925
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 386 KB/s], Decompressed: 4029
Downloaded: 4201 file(s) [attempted 4201/8459 = 49%, 418 KB/s], Decompressed: 4029
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 509 KB/s], Decompressed: 4129
Downloaded: 4286 file(s) [attempted 4286/8459 = 50%, 564 KB/s], Decompressed: 4129
Downloaded: 4327 file(s) [attempted 4327/8459 = 51%, 193 KB/s], Decompressed: 4129
Downloaded: 4369 file(s) [attempted 4369/8459 = 51%, 131 KB/s], Decompressed: 4232
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 78 KB/s], Decompressed: 4232
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 397 KB/s], Decompressed: 4345
Downloaded: 4495 file(s) [attempted 4495/8459 = 53%, 247 KB/s], Decompressed: 4345
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 109 KB/s], Decompressed: 4345
Downloaded: 4583 file(s) [attempted 4583/8459 = 54%, 168 KB/s], Decompressed: 4345
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 908 KB/s], Decompressed: 4345
Downloaded: 4663 file(s) [attempted 4663/8459 = 55%, 68 KB/s], Decompressed: 4447
Downloaded: 4701 file(s) [attempted 4701/8459 = 55%, 321 KB/s], Decompressed: 4447
Downloaded: 4742 file(s) [attempted 4742/8459 = 56%, 284 KB/s], Decompressed: 4447
Downloaded: 4786 file(s) [attempted 4786/8459 = 56%, 61 KB/s], Decompressed: 4447
Downloaded: 4824 file(s) [attempted 4824/8459 = 57%, 206 KB/s], Decompressed: 4632
Downloaded: 4862 file(s) [attempted 4862/8459 = 57%, 76 KB/s], Decompressed: 4632
Downloaded: 4906 file(s) [attempted 4906/8459 = 57%, 246 KB/s], Decompressed: 4632
Downloaded: 4944 file(s) [attempted 4944/8459 = 58%, 59 KB/s], Decompressed: 4632
Downloaded: 4982 file(s) [attempted 4982/8459 = 58%, 57 KB/s], Decompressed: 4793
Downloaded: 5023 file(s) [attempted 5023/8459 = 59%, 486 KB/s], Decompressed: 4793
Downloaded: 5060 file(s) [attempted 5060/8459 = 59%, 145 KB/s], Decompressed: 4793
Downloaded: 5105 file(s) [attempted 5105/8459 = 60%, 116 KB/s], Decompressed: 4793
Downloaded: 5153 file(s) [attempted 5153/8459 = 60%, 1305 KB/s], Decompressed: 4793
Downloaded: 5197 file(s) [attempted 5197/8459 = 61%, 476 KB/s], Decompressed: 4958
Downloaded: 5239 file(s) [attempted 5239/8459 = 61%, 1733 KB/s], Decompressed: 4958
Downloaded: 5276 file(s) [attempted 5276/8459 = 62%, 1281 KB/s], Decompressed: 4958
Downloaded: 5317 file(s) [attempted 5317/8459 = 62%, 1252 KB/s], Decompressed: 4958
Downloaded: 5365 file(s) [attempted 5365/8459 = 63%, 2790 KB/s], Decompressed: 5173
Downloaded: 5413 file(s) [attempted 5413/8459 = 63%, 812 KB/s], Decompressed: 5173
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 954 KB/s], Decompressed: 5173
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 66 KB/s], Decompressed: 5173
Downloaded: 5540 file(s) [attempted 5540/8459 = 65%, 288 KB/s], Decompressed: 5173
Downloaded: 5574 file(s) [attempted 5574/8459 = 65%, 125 KB/s], Decompressed: 5365
Downloaded: 5615 file(s) [attempted 5615/8459 = 66%, 1145 KB/s], Decompressed: 5365
Downloaded: 5660 file(s) [attempted 5660/8459 = 66%, 239 KB/s], Decompressed: 5365
Downloaded: 5701 file(s) [attempted 5701/8459 = 67%, 86 KB/s], Decompressed: 5543
Downloaded: 5739 file(s) [attempted 5739/8459 = 67%, 99 KB/s], Decompressed: 5543
Downloaded: 5780 file(s) [attempted 5780/8459 = 68%, 710 KB/s], Decompressed: 5543
Downloaded: 5817 file(s) [attempted 5817/8459 = 68%, 23 KB/s], Decompressed: 5543
Downloaded: 5862 file(s) [attempted 5862/8459 = 69%, 219 KB/s], Decompressed: 5697
Downloaded: 5906 file(s) [attempted 5906/8459 = 69%, 1918 KB/s], Decompressed: 5697
Downloaded: 5951 file(s) [attempted 5951/8459 = 70%, 285 KB/s], Decompressed: 5824
Downloaded: 5989 file(s) [attempted 5989/8459 = 70%, 251 KB/s], Decompressed: 5824
Downloaded: 6026 file(s) [attempted 6026/8459 = 71%, 784 KB/s], Decompressed: 5824
Downloaded: 6067 file(s) [attempted 6067/8459 = 71%, 1577 KB/s], Decompressed: 5927
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 1779 KB/s], Decompressed: 5927
Downloaded: 6143 file(s) [attempted 6143/8459 = 72%, 1292 KB/s], Decompressed: 6037
Downloaded: 6187 file(s) [attempted 6187/8459 = 73%, 212 KB/s], Decompressed: 6037
Downloaded: 6228 file(s) [attempted 6228/8459 = 73%, 204 KB/s], Decompressed: 6126
Downloaded: 6270 file(s) [attempted 6270/8459 = 74%, 239 KB/s], Decompressed: 6126
Downloaded: 6311 file(s) [attempted 6311/8459 = 74%, 88 KB/s], Decompressed: 6218
Downloaded: 6352 file(s) [attempted 6352/8459 = 75%, 325 KB/s], Decompressed: 6218
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 904 KB/s], Decompressed: 6300
Downloaded: 6430 file(s) [attempted 6430/8459 = 76%, 214 KB/s], Decompressed: 6300
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 54 KB/s], Decompressed: 6300
Downloaded: 6516 file(s) [attempted 6516/8459 = 77%, 1707 KB/s], Decompressed: 6383
Downloaded: 6557 file(s) [attempted 6557/8459 = 77%, 292 KB/s], Decompressed: 6383
Downloaded: 6598 file(s) [attempted 6598/8459 = 77%, 158 KB/s], Decompressed: 6383
Downloaded: 6637 file(s) [attempted 6637/8459 = 78%, 28 KB/s], Decompressed: 6383
Downloaded: 6677 file(s) [attempted 6677/8459 = 78%, 537 KB/s], Decompressed: 6492
Downloaded: 6722 file(s) [attempted 6722/8459 = 79%, 816 KB/s], Decompressed: 6492
Downloaded: 6759 file(s) [attempted 6759/8459 = 79%, 1159 KB/s], Decompressed: 6492
Downloaded: 6800 file(s) [attempted 6800/8459 = 80%, 150 KB/s], Decompressed: 6492
Downloaded: 6838 file(s) [attempted 6838/8459 = 80%, 45 KB/s], Decompressed: 6674
Downloaded: 6879 file(s) [attempted 6879/8459 = 81%, 234 KB/s], Decompressed: 6674
Downloaded: 6924 file(s) [attempted 6924/8459 = 81%, 790 KB/s], Decompressed: 6674
Downloaded: 6968 file(s) [attempted 6968/8459 = 82%, 295 KB/s], Decompressed: 6674
Downloaded: 7009 file(s) [attempted 7009/8459 = 82%, 464 KB/s], Decompressed: 6674
Downloaded: 7050 file(s) [attempted 7050/8459 = 83%, 43 KB/s], Decompressed: 6674
Downloaded: 7085 file(s) [attempted 7085/8459 = 83%, 795 KB/s], Decompressed: 6835
Downloaded: 7129 file(s) [attempted 7129/8459 = 84%, 1235 KB/s], Decompressed: 6835
Downloaded: 7177 file(s) [attempted 7177/8459 = 84%, 908 KB/s], Decompressed: 6835
Downloaded: 7218 file(s) [attempted 7218/8459 = 85%, 775 KB/s], Decompressed: 6835
Downloaded: 7259 file(s) [attempted 7259/8459 = 85%, 108 KB/s], Decompressed: 6835
Downloaded: 7304 file(s) [attempted 7304/8459 = 86%, 42 KB/s], Decompressed: 6835
Downloaded: 7348 file(s) [attempted 7348/8459 = 86%, 111 KB/s], Decompressed: 7078
Downloaded: 7386 file(s) [attempted 7386/8459 = 87%, 380 KB/s], Decompressed: 7078
Downloaded: 7427 file(s) [attempted 7427/8459 = 87%, 150 KB/s], Decompressed: 7078
Downloaded: 7472 file(s) [attempted 7472/8459 = 88%, 179 KB/s], Decompressed: 7078
Downloaded: 7516 file(s) [attempted 7516/8459 = 88%, 137 KB/s], Decompressed: 7078
Downloaded: 7557 file(s) [attempted 7557/8459 = 89%, 245 KB/s], Decompressed: 7314
Downloaded: 7598 file(s) [attempted 7598/8459 = 89%, 222 KB/s], Decompressed: 7314
Downloaded: 7636 file(s) [attempted 7636/8459 = 90%, 175 KB/s], Decompressed: 7314
Downloaded: 7677 file(s) [attempted 7677/8459 = 90%, 234 KB/s], Decompressed: 7314
Downloaded: 7725 file(s) [attempted 7725/8459 = 91%, 205 KB/s], Decompressed: 7314
Downloaded: 7766 file(s) [attempted 7766/8459 = 91%, 929 KB/s], Decompressed: 7533
Downloaded: 7801 file(s) [attempted 7801/8459 = 92%, 145 KB/s], Decompressed: 7533
Downloaded: 7845 file(s) [attempted 7845/8459 = 92%, 285 KB/s], Decompressed: 7533
Downloaded: 7886 file(s) [attempted 7886/8459 = 93%, 983 KB/s], Decompressed: 7533
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 223 KB/s], Decompressed: 7533
Downloaded: 7975 file(s) [attempted 7975/8459 = 94%, 884 KB/s], Decompressed: 7742
Downloaded: 8020 file(s) [attempted 8020/8459 = 94%, 203 KB/s], Decompressed: 7742
Downloaded: 8057 file(s) [attempted 8057/8459 = 95%, 739 KB/s], Decompressed: 7742
Downloaded: 8095 file(s) [attempted 8095/8459 = 95%, 49 KB/s], Decompressed: 7742
Downloaded: 8133 file(s) [attempted 8133/8459 = 96%, 712 KB/s], Decompressed: 7742
Downloaded: 8177 file(s) [attempted 8177/8459 = 96%, 56 KB/s], Decompressed: 7742
Downloaded: 8225 file(s) [attempted 8225/8459 = 97%, 305 KB/s], Decompressed: 7742
Downloaded: 8266 file(s) [attempted 8266/8459 = 97%, 255 KB/s], Decompressed: 7944
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 459 KB/s], Decompressed: 7944
Downloaded: 8342 file(s) [attempted 8342/8459 = 98%, 81 KB/s], Decompressed: 7944
Downloaded: 8383 file(s) [attempted 8383/8459 = 99%, 354 KB/s], Decompressed: 7944
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 260 KB/s], Decompressed: 7944
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 116 KB/s], Decompressed: 7944
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 116 KB/s], Decompressed: 7944

apx-runtime-resource-v1	apx-verifier-job-1725-runtime-lake_cache-3916434-1787581393766164572-0	4030464	4280320	21474836480	0	0	0	0	0	0	552108032	6781198336	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/24/2026, 4:58:02 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (266s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (266s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (324s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (127s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (81s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (131s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (105s)
✔ [790/794] Built Iut.Foundations.QualitativeData (76s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (592s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1182s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1106s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1410s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (352s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (402s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (327s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1725-runtime-lean_checker-3916434-1787583463532620863-1 on attempt 1

blueprint_buildexit 1duration 16s · created 8/24/2026, 4:58:02 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1725-runtime-blueprint_build-3916434-1787590664187618602-2	925696	1441792	21474836480	0	0	0	0	0	0	881836032	985309184	21474836480	0	0	0	0	0	0