Verification run

Run 1297

promachina/iut-leanbranch e21-924-checkpoint-geometric-targettriggered via github_push

failedcommit 3fef4c4cb739toolchain lean-v4-30-0prover leantook 2h 57m · 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-geometric-target --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1756-source
exit_code=Some(128) duration_ms=308
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1756-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=3523
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1756-source'...


$ git checkout 3fef4c4cb7395925bcd948d027eeb782c191b67a
exit_code=Some(0) duration_ms=218
stderr:
Note: switching to '3fef4c4cb7395925bcd948d027eeb782c191b67a'.

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 3fef4c4 transport the geometric slice to the arithmetic kernel

Resolved source revision: 3fef4c4cb7395925bcd948d027eeb782c191b67a

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=3fef4c4cb7395925bcd948d027eeb782c191b67a provenance={"branch":"e21-924-checkpoint-geometric-target","checked_out_revision":"3fef4c4cb7395925bcd948d027eeb782c191b67a","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"3fef4c4cb7395925bcd948d027eeb782c191b67a","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=10437 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=3390297
stdout:
Current branch: HEAD
Using cache (Azure) from origin: (some leanprover-community/mathlib4)
Attempting to download 8459 file(s) from leanprover-community/mathlib4 cache
Decompressed 8459 file(s)
Already decompressed 8459 file(s)

stderr:
✔ [8/25] Built Cache.Lean (1.2s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.5s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (152ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (171ms)
✔ [13/25] Built Cache.Lean:c.o (132ms)
✔ [15/25] Built Cache.Init (19s)
✔ [16/25] Built Cache.IO (13s)
✔ [17/25] Built Cache.Init:c.o (1.5s)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (966ms)
✔ [20/25] Built Cache.Hashing:c.o (381ms)
✔ [21/25] Built Cache.Requests (2.0s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (21s)
✔ [24/25] Built Cache.Main:c.o (2.3s)
✔ [25/25] Built cache:exe (6.1s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 13 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 5 KB/s], Decompressed: 8
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 26 KB/s], Decompressed: 23
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 336 KB/s], Decompressed: 32
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 183 KB/s], Decompressed: 47
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 323 KB/s], Decompressed: 86
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 219 KB/s], Decompressed: 124
Downloaded: 182 file(s) [attempted 182/8459 = 2%, 556 KB/s], Decompressed: 144
Downloaded: 216 file(s) [attempted 216/8459 = 2%, 436 KB/s], Decompressed: 175
Downloaded: 250 file(s) [attempted 250/8459 = 2%, 234 KB/s], Decompressed: 209
Downloaded: 281 file(s) [attempted 281/8459 = 3%, 101 KB/s], Decompressed: 240
Downloaded: 314 file(s) [attempted 314/8459 = 3%, 676 KB/s], Decompressed: 271
Downloaded: 360 file(s) [attempted 360/8459 = 4%, 213 KB/s], Decompressed: 312
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 216 KB/s], Decompressed: 312
Downloaded: 435 file(s) [attempted 435/8459 = 5%, 569 KB/s], Decompressed: 360
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 726 KB/s], Decompressed: 405
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 361 KB/s], Decompressed: 449
Downloaded: 545 file(s) [attempted 545/8459 = 6%, 192 KB/s], Decompressed: 487
Downloaded: 586 file(s) [attempted 586/8459 = 6%, 288 KB/s], Decompressed: 528
Downloaded: 624 file(s) [attempted 624/8459 = 7%, 77 KB/s], Decompressed: 528
Downloaded: 661 file(s) [attempted 661/8459 = 7%, 155 KB/s], Decompressed: 579
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 222 KB/s], Decompressed: 634
Downloaded: 743 file(s) [attempted 743/8459 = 8%, 264 KB/s], Decompressed: 685
Downloaded: 788 file(s) [attempted 788/8459 = 9%, 33 KB/s], Decompressed: 685
Downloaded: 825 file(s) [attempted 825/8459 = 9%, 639 KB/s], Decompressed: 743
Downloaded: 862 file(s) [attempted 862/8459 = 10%, 543 KB/s], Decompressed: 743
Downloaded: 904 file(s) [attempted 904/8459 = 10%, 83 KB/s], Decompressed: 808
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 208 KB/s], Decompressed: 873
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 232 KB/s], Decompressed: 932
Downloaded: 1031 file(s) [attempted 1031/8459 = 12%, 986 KB/s], Decompressed: 932
Downloaded: 1072 file(s) [attempted 1072/8459 = 12%, 94 KB/s], Decompressed: 990
Downloaded: 1109 file(s) [attempted 1109/8459 = 13%, 361 KB/s], Decompressed: 1044
Downloaded: 1147 file(s) [attempted 1147/8459 = 13%, 87 KB/s], Decompressed: 1044
Downloaded: 1195 file(s) [attempted 1195/8459 = 14%, 27 KB/s], Decompressed: 1099
Downloaded: 1239 file(s) [attempted 1239/8459 = 14%, 127 KB/s], Decompressed: 1161
Downloaded: 1274 file(s) [attempted 1274/8459 = 15%, 310 KB/s], Decompressed: 1161
Downloaded: 1317 file(s) [attempted 1317/8459 = 15%, 177 KB/s], Decompressed: 1226
Downloaded: 1356 file(s) [attempted 1356/8459 = 16%, 135 KB/s], Decompressed: 1287
Downloaded: 1401 file(s) [attempted 1401/8459 = 16%, 117 KB/s], Decompressed: 1287
Downloaded: 1441 file(s) [attempted 1441/8459 = 17%, 52 KB/s], Decompressed: 1352
Downloaded: 1482 file(s) [attempted 1482/8459 = 17%, 126 KB/s], Decompressed: 1410
Downloaded: 1520 file(s) [attempted 1520/8459 = 17%, 74 KB/s], Decompressed: 1410
Downloaded: 1561 file(s) [attempted 1561/8459 = 18%, 717 KB/s], Decompressed: 1468
Downloaded: 1605 file(s) [attempted 1605/8459 = 18%, 319 KB/s], Decompressed: 1468
Downloaded: 1650 file(s) [attempted 1650/8459 = 19%, 153 KB/s], Decompressed: 1554
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 323 KB/s], Decompressed: 1554
Downloaded: 1732 file(s) [attempted 1732/8459 = 20%, 319 KB/s], Decompressed: 1554
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 144 KB/s], Decompressed: 1650
Downloaded: 1804 file(s) [attempted 1804/8459 = 21%, 1006 KB/s], Decompressed: 1650
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 825 KB/s], Decompressed: 1739
Downloaded: 1886 file(s) [attempted 1886/8459 = 22%, 690 KB/s], Decompressed: 1814
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 76 KB/s], Decompressed: 1814
Downloaded: 1971 file(s) [attempted 1971/8459 = 23%, 839 KB/s], Decompressed: 1886
Downloaded: 2005 file(s) [attempted 2005/8459 = 23%, 1352 KB/s], Decompressed: 1886
Downloaded: 2046 file(s) [attempted 2046/8459 = 24%, 314 KB/s], Decompressed: 1954
Downloaded: 2094 file(s) [attempted 2094/8459 = 24%, 37 KB/s], Decompressed: 1954
Downloaded: 2139 file(s) [attempted 2139/8459 = 25%, 123 KB/s], Decompressed: 2026
Downloaded: 2180 file(s) [attempted 2180/8459 = 25%, 434 KB/s], Decompressed: 2026
Downloaded: 2221 file(s) [attempted 2221/8459 = 26%, 182 KB/s], Decompressed: 2115
Downloaded: 2265 file(s) [attempted 2265/8459 = 26%, 339 KB/s], Decompressed: 2115
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 1953 KB/s], Decompressed: 2204
Downloaded: 2347 file(s) [attempted 2347/8459 = 27%, 4964 KB/s], Decompressed: 2204
Downloaded: 2385 file(s) [attempted 2385/8459 = 28%, 263 KB/s], Decompressed: 2282
Downloaded: 2423 file(s) [attempted 2423/8459 = 28%, 825 KB/s], Decompressed: 2351
Downloaded: 2467 file(s) [attempted 2467/8459 = 29%, 489 KB/s], Decompressed: 2351
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 1274 KB/s], Decompressed: 2419
Downloaded: 2542 file(s) [attempted 2542/8459 = 30%, 190 KB/s], Decompressed: 2419
Downloaded: 2583 file(s) [attempted 2583/8459 = 30%, 371 KB/s], Decompressed: 2487
Downloaded: 2624 file(s) [attempted 2624/8459 = 31%, 429 KB/s], Decompressed: 2552
Downloaded: 2669 file(s) [attempted 2669/8459 = 31%, 248 KB/s], Decompressed: 2611
Downloaded: 2713 file(s) [attempted 2713/8459 = 32%, 178 KB/s], Decompressed: 2611
Downloaded: 2751 file(s) [attempted 2751/8459 = 32%, 126 KB/s], Decompressed: 2669
Downloaded: 2790 file(s) [attempted 2790/8459 = 32%, 1812 KB/s], Decompressed: 2730
Downloaded: 2833 file(s) [attempted 2833/8459 = 33%, 1312 KB/s], Decompressed: 2730
Downloaded: 2874 file(s) [attempted 2874/8459 = 33%, 541 KB/s], Decompressed: 2788
Downloaded: 2912 file(s) [attempted 2912/8459 = 34%, 596 KB/s], Decompressed: 2788
Downloaded: 2949 file(s) [attempted 2949/8459 = 34%, 154 KB/s], Decompressed: 2850
Downloaded: 2990 file(s) [attempted 2990/8459 = 35%, 313 KB/s], Decompressed: 2915
Downloaded: 3035 file(s) [attempted 3035/8459 = 35%, 51 KB/s], Decompressed: 2915
Downloaded: 3076 file(s) [attempted 3076/8459 = 36%, 204 KB/s], Decompressed: 2976
Downloaded: 3113 file(s) [attempted 3113/8459 = 36%, 668 KB/s], Decompressed: 3038
Downloaded: 3151 file(s) [attempted 3151/8459 = 37%, 130 KB/s], Decompressed: 3038
Downloaded: 3195 file(s) [attempted 3195/8459 = 37%, 85 KB/s], Decompressed: 3103
Downloaded: 3236 file(s) [attempted 3236/8459 = 38%, 150 KB/s], Decompressed: 3171
Downloaded: 3277 file(s) [attempted 3277/8459 = 38%, 324 KB/s], Decompressed: 3171
Downloaded: 3315 file(s) [attempted 3315/8459 = 39%, 269 KB/s], Decompressed: 3236
Downloaded: 3357 file(s) [attempted 3357/8459 = 39%, 222 KB/s], Decompressed: 3236
Downloaded: 3400 file(s) [attempted 3400/8459 = 40%, 460 KB/s], Decompressed: 3301
Downloaded: 3442 file(s) [attempted 3442/8459 = 40%, 185 KB/s], Decompressed: 3366
Downloaded: 3483 file(s) [attempted 3483/8459 = 41%, 238 KB/s], Decompressed: 3366
Downloaded: 3517 file(s) [attempted 3517/8459 = 41%, 123 KB/s], Decompressed: 3366
Downloaded: 3561 file(s) [attempted 3561/8459 = 42%, 424 KB/s], Decompressed: 3435
Downloaded: 3602 file(s) [attempted 3602/8459 = 42%, 576 KB/s], Decompressed: 3435
Downloaded: 3647 file(s) [attempted 3647/8459 = 43%, 392 KB/s], Decompressed: 3435
Downloaded: 3684 file(s) [attempted 3684/8459 = 43%, 178 KB/s], Decompressed: 3435
Downloaded: 3725 file(s) [attempted 3725/8459 = 44%, 156 KB/s], Decompressed: 3534
Downloaded: 3767 file(s) [attempted 3767/8459 = 44%, 99 KB/s], Decompressed: 3534
Downloaded: 3807 file(s) [attempted 3807/8459 = 45%, 1263 KB/s], Decompressed: 3534
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 230 KB/s], Decompressed: 3534
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 414 KB/s], Decompressed: 3534
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 311 KB/s], Decompressed: 3534
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 185 KB/s], Decompressed: 3715
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 47 KB/s], Decompressed: 3715
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 54 KB/s], Decompressed: 3715
Downloaded: 4091 file(s) [attempted 4091/8459 = 48%, 217 KB/s], Decompressed: 3715
Downloaded: 4132 file(s) [attempted 4132/8459 = 48%, 289 KB/s], Decompressed: 3715
Downloaded: 4177 file(s) [attempted 4177/8459 = 49%, 59 KB/s], Decompressed: 3934
Downloaded: 4218 file(s) [attempted 4218/8459 = 49%, 669 KB/s], Decompressed: 3934
Downloaded: 4259 file(s) [attempted 4259/8459 = 50%, 47 KB/s], Decompressed: 3934
Downloaded: 4303 file(s) [attempted 4303/8459 = 50%, 325 KB/s], Decompressed: 3934
Downloaded: 4344 file(s) [attempted 4344/8459 = 51%, 363 KB/s], Decompressed: 3934
Downloaded: 4385 file(s) [attempted 4385/8459 = 51%, 229 KB/s], Decompressed: 3934
Downloaded: 4426 file(s) [attempted 4426/8459 = 52%, 132 KB/s], Decompressed: 3934
Downloaded: 4467 file(s) [attempted 4467/8459 = 52%, 103 KB/s], Decompressed: 3934
Downloaded: 4484 file(s) [attempted 4484/8459 = 53%, 445 KB/s], Decompressed: 4149
Downloaded: 4522 file(s) [attempted 4522/8459 = 53%, 173 KB/s], Decompressed: 4149
Downloaded: 4573 file(s) [attempted 4573/8459 = 54%, 77 KB/s], Decompressed: 4149
Downloaded: 4625 file(s) [attempted 4625/8459 = 54%, 7 KB/s], Decompressed: 4149
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 284 KB/s], Decompressed: 4149
Downloaded: 4724 file(s) [attempted 4724/8459 = 55%, 632 KB/s], Decompressed: 4149
Downloaded: 4775 file(s) [attempted 4775/8459 = 56%, 16 KB/s], Decompressed: 4149
Downloaded: 4823 file(s) [attempted 4823/8459 = 57%, 205 KB/s], Decompressed: 4149
Downloaded: 4874 file(s) [attempted 4874/8459 = 57%, 105 KB/s], Decompressed: 4478
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 446 KB/s], Decompressed: 4478
Downloaded: 4970 file(s) [attempted 4970/8459 = 58%, 153 KB/s], Decompressed: 4478
Downloaded: 5015 file(s) [attempted 5015/8459 = 59%, 776 KB/s], Decompressed: 4478
Downloaded: 5049 file(s) [attempted 5049/8459 = 59%, 108 KB/s], Decompressed: 4478
Downloaded: 5086 file(s) [attempted 5086/8459 = 60%, 226 KB/s], Decompressed: 4478
Downloaded: 5131 file(s) [attempted 5131/8459 = 60%, 70 KB/s], Decompressed: 4478
Downloaded: 5172 file(s) [attempted 5172/8459 = 61%, 447 KB/s], Decompressed: 4478
Downloaded: 5220 file(s) [attempted 5220/8459 = 61%, 97 KB/s], Decompressed: 4826
Downloaded: 5268 file(s) [attempted 5268/8459 = 62%, 122 KB/s], Decompressed: 4826
Downloaded: 5305 file(s) [attempted 5305/8459 = 62%, 294 KB/s], Decompressed: 4826
Downloaded: 5339 file(s) [attempted 5339/8459 = 63%, 86 KB/s], Decompressed: 4826
Downloaded: 5380 file(s) [attempted 5380/8459 = 63%, 371 KB/s], Decompressed: 4826
Downloaded: 5422 file(s) [attempted 5422/8459 = 64%, 639 KB/s], Decompressed: 4826
Downloaded: 5463 file(s) [attempted 5463/8459 = 64%, 22 KB/s], Decompressed: 4826
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 1241 KB/s], Decompressed: 4826
Downloaded: 5541 file(s) [attempted 5541/8459 = 65%, 227 KB/s], Decompressed: 4826
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 108 KB/s], Decompressed: 4826
Downloaded: 5620 file(s) [attempted 5620/8459 = 66%, 356 KB/s], Decompressed: 5182
Downloaded: 5661 file(s) [attempted 5661/8459 = 66%, 194 KB/s], Decompressed: 5182
Downloaded: 5705 file(s) [attempted 5705/8459 = 67%, 187 KB/s], Decompressed: 5182
Downloaded: 5746 file(s) [attempted 5746/8459 = 67%, 224 KB/s], Decompressed: 5182
Downloaded: 5787 file(s) [attempted 5787/8459 = 68%, 203 KB/s], Decompressed: 5182
Downloaded: 5828 file(s) [attempted 5828/8459 = 68%, 1117 KB/s], Decompressed: 5182
Downloaded: 5868 file(s) [attempted 5868/8459 = 69%, 196 KB/s], Decompressed: 5182
Downloaded: 5904 file(s) [attempted 5904/8459 = 69%, 348 KB/s], Decompressed: 5182
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 347 KB/s], Decompressed: 5182
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 295 KB/s], Decompressed: 5182
Downloaded: 6020 file(s) [attempted 6020/8459 = 71%, 81 KB/s], Decompressed: 5182
Downloaded: 6061 file(s) [attempted 6061/8459 = 71%, 225 KB/s], Decompressed: 5182
Downloaded: 6095 file(s) [attempted 6095/8459 = 72%, 172 KB/s], Decompressed: 5182
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 756 KB/s], Decompressed: 5182
Downloaded: 6170 file(s) [attempted 6170/8459 = 72%, 550 KB/s], Decompressed: 5182
Downloaded: 6215 file(s) [attempted 6215/8459 = 73%, 298 KB/s], Decompressed: 5620
Downloaded: 6252 file(s) [attempted 6252/8459 = 73%, 93 KB/s], Decompressed: 5620
Downloaded: 6287 file(s) [attempted 6287/8459 = 74%, 243 KB/s], Decompressed: 5620
Downloaded: 6324 file(s) [attempted 6324/8459 = 74%, 52 KB/s], Decompressed: 5620
Downloaded: 6362 file(s) [attempted 6362/8459 = 75%, 543 KB/s], Decompressed: 5620
Downloaded: 6396 file(s) [attempted 6396/8459 = 75%, 115 KB/s], Decompressed: 5620
Downloaded: 6430 file(s) [attempted 6430/8459 = 76%, 146 KB/s], Decompressed: 5620
Downloaded: 6464 file(s) [attempted 6464/8459 = 76%, 278 KB/s], Decompressed: 5620
Downloaded: 6495 file(s) [attempted 6495/8459 = 76%, 56 KB/s], Decompressed: 5620
Downloaded: 6529 file(s) [attempted 6529/8459 = 77%, 301 KB/s], Decompressed: 5620
Downloaded: 6567 file(s) [attempted 6567/8459 = 77%, 296 KB/s], Decompressed: 5620
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 517 KB/s], Decompressed: 5620
Downloaded: 6629 file(s) [attempted 6629/8459 = 78%, 1043 KB/s], Decompressed: 5620
Downloaded: 6663 file(s) [attempted 6663/8459 = 78%, 139 KB/s], Decompressed: 5620
Downloaded: 6694 file(s) [attempted 6694/8459 = 79%, 237 KB/s], Decompressed: 5620
Downloaded: 6721 file(s) [attempted 6721/8459 = 79%, 193 KB/s], Decompressed: 5620
Downloaded: 6748 file(s) [attempted 6748/8459 = 79%, 254 KB/s], Decompressed: 5620
Downloaded: 6782 file(s) [attempted 6782/8459 = 80%, 956 KB/s], Decompressed: 5620
Downloaded: 6817 file(s) [attempted 6817/8459 = 80%, 39 KB/s], Decompressed: 6205
Downloaded: 6851 file(s) [attempted 6851/8459 = 80%, 77 KB/s], Decompressed: 6205
Downloaded: 6882 file(s) [attempted 6882/8459 = 81%, 1921 KB/s], Decompressed: 6205
Downloaded: 6909 file(s) [attempted 6909/8459 = 81%, 197 KB/s], Decompressed: 6205
Downloaded: 6940 file(s) [attempted 6940/8459 = 82%, 283 KB/s], Decompressed: 6205
Downloaded: 6964 file(s) [attempted 6964/8459 = 82%, 166 KB/s], Decompressed: 6205
Downloaded: 6994 file(s) [attempted 6994/8459 = 82%, 274 KB/s], Decompressed: 6205
Downloaded: 7022 file(s) [attempted 7022/8459 = 83%, 119 KB/s], Decompressed: 6205
Downloaded: 7046 file(s) [attempted 7046/8459 = 83%, 92 KB/s], Decompressed: 6205
Downloaded: 7077 file(s) [attempted 7077/8459 = 83%, 267 KB/s], Decompressed: 6205
Downloaded: 7107 file(s) [attempted 7107/8459 = 84%, 212 KB/s], Decompressed: 6205
Downloaded: 7138 file(s) [attempted 7138/8459 = 84%, 254 KB/s], Decompressed: 6205
Downloaded: 7165 file(s) [attempted 7165/8459 = 84%, 125 KB/s], Decompressed: 6205
Downloaded: 7193 file(s) [attempted 7193/8459 = 85%, 676 KB/s], Decompressed: 6205
Downloaded: 7220 file(s) [attempted 7220/8459 = 85%, 304 KB/s], Decompressed: 6205
Downloaded: 7244 file(s) [attempted 7244/8459 = 85%, 583 KB/s], Decompressed: 6205
Downloaded: 7267 file(s) [attempted 7267/8459 = 85%, 31 KB/s], Decompressed: 6205
Downloaded: 7292 file(s) [attempted 7292/8459 = 86%, 179 KB/s], Decompressed: 6205
Downloaded: 7313 file(s) [attempted 7313/8459 = 86%, 69 KB/s], Decompressed: 6205
Downloaded: 7343 file(s) [attempted 7343/8459 = 86%, 183 KB/s], Decompressed: 6205
Downloaded: 7374 file(s) [attempted 7374/8459 = 87%, 275 KB/s], Decompressed: 6813
Downloaded: 7405 file(s) [attempted 7405/8459 = 87%, 5177 KB/s], Decompressed: 6813
Downloaded: 7432 file(s) [attempted 7432/8459 = 87%, 158 KB/s], Decompressed: 6813
Downloaded: 7460 file(s) [attempted 7460/8459 = 88%, 41 KB/s], Decompressed: 6813
Downloaded: 7484 file(s) [attempted 7484/8459 = 88%, 418 KB/s], Decompressed: 6813
Downloaded: 7507 file(s) [attempted 7507/8459 = 88%, 124 KB/s], Decompressed: 6813
Downloaded: 7526 file(s) [attempted 7526/8459 = 88%, 978 KB/s], Decompressed: 6813
Downloaded: 7542 file(s) [attempted 7542/8459 = 89%, 231 KB/s], Decompressed: 6813
Downloaded: 7566 file(s) [attempted 7566/8459 = 89%, 147 KB/s], Decompressed: 6813
Downloaded: 7590 file(s) [attempted 7590/8459 = 89%, 488 KB/s], Decompressed: 6813
Downloaded: 7613 file(s) [attempted 7613/8459 = 89%, 266 KB/s], Decompressed: 6813
Downloaded: 7637 file(s) [attempted 7637/8459 = 90%, 43 KB/s], Decompressed: 6813
Downloaded: 7658 file(s) [attempted 7658/8459 = 90%, 449 KB/s], Decompressed: 6813
Downloaded: 7689 file(s) [attempted 7689/8459 = 90%, 126 KB/s], Decompressed: 7374
Downloaded: 7709 file(s) [attempted 7709/8459 = 91%, 120 KB/s], Decompressed: 7374
Downloaded: 7733 file(s) [attempted 7733/8459 = 91%, 616 KB/s], Decompressed: 7374
Downloaded: 7754 file(s) [attempted 7754/8459 = 91%, 636 KB/s], Decompressed: 7374
Downloaded: 7778 file(s) [attempted 7778/8459 = 91%, 41 KB/s], Decompressed: 7374
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 44 KB/s], Decompressed: 7668
Downloaded: 7819 file(s) [attempted 7819/8459 = 92%, 340 KB/s], Decompressed: 7668
Downloaded: 7839 file(s) [attempted 7839/8459 = 92%, 39 KB/s], Decompressed: 7668
Downloaded: 7860 file(s) [attempted 7860/8459 = 92%, 43 KB/s], Decompressed: 7798
Downloaded: 7884 file(s) [attempted 7884/8459 = 93%, 47 KB/s], Decompressed: 7856
Downloaded: 7904 file(s) [attempted 7904/8459 = 93%, 211 KB/s], Decompressed: 7884
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 753 KB/s], Decompressed: 7904
Downloaded: 7942 file(s) [attempted 7942/8459 = 93%, 365 KB/s], Decompressed: 7918
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 1478 KB/s], Decompressed: 7928
Downloaded: 7983 file(s) [attempted 7983/8459 = 94%, 247 KB/s], Decompressed: 7966
Downloaded: 8014 file(s) [attempted 8014/8459 = 94%, 54 KB/s], Decompressed: 7966
Downloaded: 8051 file(s) [attempted 8051/8459 = 95%, 64 KB/s], Decompressed: 7979
Downloaded: 8092 file(s) [attempted 8092/8459 = 95%, 158 KB/s], Decompressed: 7979
Downloaded: 8130 file(s) [attempted 8130/8459 = 96%, 876 KB/s], Decompressed: 7979
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 684 KB/s], Decompressed: 8034
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 79 KB/s], Decompressed: 8034
Downloaded: 8253 file(s) [attempted 8253/8459 = 97%, 270 KB/s], Decompressed: 8034
Downloaded: 8297 file(s) [attempted 8297/8459 = 98%, 682 KB/s], Decompressed: 8034
Downloaded: 8338 file(s) [attempted 8338/8459 = 98%, 92 KB/s], Decompressed: 8034
Downloaded: 8376 file(s) [attempted 8376/8459 = 99%, 49 KB/s], Decompressed: 8167
Downloaded: 8407 file(s) [attempted 8407/8459 = 99%, 198 KB/s], Decompressed: 8167
Downloaded: 8438 file(s) [attempted 8438/8459 = 99%, 69 KB/s], Decompressed: 8167
Downloaded: 8451 file(s) [attempted 8451/8459 = 99%, 334 KB/s], Decompressed: 8352
Downloaded: 8455 file(s) [attempted 8455/8459 = 99%, 90 KB/s], Decompressed: 8352
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 84 KB/s], Decompressed: 8352
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 84 KB/s], Decompressed: 8352

apx-runtime-resource-v1	apx-verifier-job-1756-runtime-lake_cache-784615-1788229076530094602-0	3878912	4448256	21474836480	0	0	0	0	0	0	588832768	2896416768	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200007
stdout:
✔ [500/502] Built Iut.Foundations.Species (111s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (87s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (237s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (72s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (101s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (88s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (356s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (85s)
✔ [790/794] Built Iut.Foundations.QualitativeData (83s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (363s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1146s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1026s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1312s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (309s)
✔ [3971/3990] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapHomotopy (1079s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1756-runtime-lean_checker-784615-1788232466832745496-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1756-runtime-blueprint_build-784615-1788239667535583524-2	1155072	1265664	21474836480	0	0	0	0	0	0	809545728	912662528	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 308 ms · created 9/1/2026, 5:14:46 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1756-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 9/1/2026, 5:14:46 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 218 ms · created 9/1/2026, 5:14:46 AM

git checkout 3fef4c4cb7395925bcd948d027eeb782c191b67a

Note: switching to '3fef4c4cb7395925bcd948d027eeb782c191b67a'.

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 3fef4c4 transport the geometric slice to the arithmetic kernel

lake_cacheexit 0duration 56m 30s · created 9/1/2026, 5:14:46 AM

lake exe cache get

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

✔ [8/25] Built Cache.Lean (1.2s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.5s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (152ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (171ms)
✔ [13/25] Built Cache.Lean:c.o (132ms)
✔ [15/25] Built Cache.Init (19s)
✔ [16/25] Built Cache.IO (13s)
✔ [17/25] Built Cache.Init:c.o (1.5s)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (966ms)
✔ [20/25] Built Cache.Hashing:c.o (381ms)
✔ [21/25] Built Cache.Requests (2.0s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (21s)
✔ [24/25] Built Cache.Main:c.o (2.3s)
✔ [25/25] Built cache:exe (6.1s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 13 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 5 KB/s], Decompressed: 8
Downloaded: 36 file(s) [attempted 36/8459 = 0%, 26 KB/s], Decompressed: 23
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 336 KB/s], Decompressed: 32
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 183 KB/s], Decompressed: 47
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 323 KB/s], Decompressed: 86
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 219 KB/s], Decompressed: 124
Downloaded: 182 file(s) [attempted 182/8459 = 2%, 556 KB/s], Decompressed: 144
Downloaded: 216 file(s) [attempted 216/8459 = 2%, 436 KB/s], Decompressed: 175
Downloaded: 250 file(s) [attempted 250/8459 = 2%, 234 KB/s], Decompressed: 209
Downloaded: 281 file(s) [attempted 281/8459 = 3%, 101 KB/s], Decompressed: 240
Downloaded: 314 file(s) [attempted 314/8459 = 3%, 676 KB/s], Decompressed: 271
Downloaded: 360 file(s) [attempted 360/8459 = 4%, 213 KB/s], Decompressed: 312
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 216 KB/s], Decompressed: 312
Downloaded: 435 file(s) [attempted 435/8459 = 5%, 569 KB/s], Decompressed: 360
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 726 KB/s], Decompressed: 405
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 361 KB/s], Decompressed: 449
Downloaded: 545 file(s) [attempted 545/8459 = 6%, 192 KB/s], Decompressed: 487
Downloaded: 586 file(s) [attempted 586/8459 = 6%, 288 KB/s], Decompressed: 528
Downloaded: 624 file(s) [attempted 624/8459 = 7%, 77 KB/s], Decompressed: 528
Downloaded: 661 file(s) [attempted 661/8459 = 7%, 155 KB/s], Decompressed: 579
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 222 KB/s], Decompressed: 634
Downloaded: 743 file(s) [attempted 743/8459 = 8%, 264 KB/s], Decompressed: 685
Downloaded: 788 file(s) [attempted 788/8459 = 9%, 33 KB/s], Decompressed: 685
Downloaded: 825 file(s) [attempted 825/8459 = 9%, 639 KB/s], Decompressed: 743
Downloaded: 862 file(s) [attempted 862/8459 = 10%, 543 KB/s], Decompressed: 743
Downloaded: 904 file(s) [attempted 904/8459 = 10%, 83 KB/s], Decompressed: 808
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 208 KB/s], Decompressed: 873
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 232 KB/s], Decompressed: 932
Downloaded: 1031 file(s) [attempted 1031/8459 = 12%, 986 KB/s], Decompressed: 932
Downloaded: 1072 file(s) [attempted 1072/8459 = 12%, 94 KB/s], Decompressed: 990
Downloaded: 1109 file(s) [attempted 1109/8459 = 13%, 361 KB/s], Decompressed: 1044
Downloaded: 1147 file(s) [attempted 1147/8459 = 13%, 87 KB/s], Decompressed: 1044
Downloaded: 1195 file(s) [attempted 1195/8459 = 14%, 27 KB/s], Decompressed: 1099
Downloaded: 1239 file(s) [attempted 1239/8459 = 14%, 127 KB/s], Decompressed: 1161
Downloaded: 1274 file(s) [attempted 1274/8459 = 15%, 310 KB/s], Decompressed: 1161
Downloaded: 1317 file(s) [attempted 1317/8459 = 15%, 177 KB/s], Decompressed: 1226
Downloaded: 1356 file(s) [attempted 1356/8459 = 16%, 135 KB/s], Decompressed: 1287
Downloaded: 1401 file(s) [attempted 1401/8459 = 16%, 117 KB/s], Decompressed: 1287
Downloaded: 1441 file(s) [attempted 1441/8459 = 17%, 52 KB/s], Decompressed: 1352
Downloaded: 1482 file(s) [attempted 1482/8459 = 17%, 126 KB/s], Decompressed: 1410
Downloaded: 1520 file(s) [attempted 1520/8459 = 17%, 74 KB/s], Decompressed: 1410
Downloaded: 1561 file(s) [attempted 1561/8459 = 18%, 717 KB/s], Decompressed: 1468
Downloaded: 1605 file(s) [attempted 1605/8459 = 18%, 319 KB/s], Decompressed: 1468
Downloaded: 1650 file(s) [attempted 1650/8459 = 19%, 153 KB/s], Decompressed: 1554
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 323 KB/s], Decompressed: 1554
Downloaded: 1732 file(s) [attempted 1732/8459 = 20%, 319 KB/s], Decompressed: 1554
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 144 KB/s], Decompressed: 1650
Downloaded: 1804 file(s) [attempted 1804/8459 = 21%, 1006 KB/s], Decompressed: 1650
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 825 KB/s], Decompressed: 1739
Downloaded: 1886 file(s) [attempted 1886/8459 = 22%, 690 KB/s], Decompressed: 1814
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 76 KB/s], Decompressed: 1814
Downloaded: 1971 file(s) [attempted 1971/8459 = 23%, 839 KB/s], Decompressed: 1886
Downloaded: 2005 file(s) [attempted 2005/8459 = 23%, 1352 KB/s], Decompressed: 1886
Downloaded: 2046 file(s) [attempted 2046/8459 = 24%, 314 KB/s], Decompressed: 1954
Downloaded: 2094 file(s) [attempted 2094/8459 = 24%, 37 KB/s], Decompressed: 1954
Downloaded: 2139 file(s) [attempted 2139/8459 = 25%, 123 KB/s], Decompressed: 2026
Downloaded: 2180 file(s) [attempted 2180/8459 = 25%, 434 KB/s], Decompressed: 2026
Downloaded: 2221 file(s) [attempted 2221/8459 = 26%, 182 KB/s], Decompressed: 2115
Downloaded: 2265 file(s) [attempted 2265/8459 = 26%, 339 KB/s], Decompressed: 2115
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 1953 KB/s], Decompressed: 2204
Downloaded: 2347 file(s) [attempted 2347/8459 = 27%, 4964 KB/s], Decompressed: 2204
Downloaded: 2385 file(s) [attempted 2385/8459 = 28%, 263 KB/s], Decompressed: 2282
Downloaded: 2423 file(s) [attempted 2423/8459 = 28%, 825 KB/s], Decompressed: 2351
Downloaded: 2467 file(s) [attempted 2467/8459 = 29%, 489 KB/s], Decompressed: 2351
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 1274 KB/s], Decompressed: 2419
Downloaded: 2542 file(s) [attempted 2542/8459 = 30%, 190 KB/s], Decompressed: 2419
Downloaded: 2583 file(s) [attempted 2583/8459 = 30%, 371 KB/s], Decompressed: 2487
Downloaded: 2624 file(s) [attempted 2624/8459 = 31%, 429 KB/s], Decompressed: 2552
Downloaded: 2669 file(s) [attempted 2669/8459 = 31%, 248 KB/s], Decompressed: 2611
Downloaded: 2713 file(s) [attempted 2713/8459 = 32%, 178 KB/s], Decompressed: 2611
Downloaded: 2751 file(s) [attempted 2751/8459 = 32%, 126 KB/s], Decompressed: 2669
Downloaded: 2790 file(s) [attempted 2790/8459 = 32%, 1812 KB/s], Decompressed: 2730
Downloaded: 2833 file(s) [attempted 2833/8459 = 33%, 1312 KB/s], Decompressed: 2730
Downloaded: 2874 file(s) [attempted 2874/8459 = 33%, 541 KB/s], Decompressed: 2788
Downloaded: 2912 file(s) [attempted 2912/8459 = 34%, 596 KB/s], Decompressed: 2788
Downloaded: 2949 file(s) [attempted 2949/8459 = 34%, 154 KB/s], Decompressed: 2850
Downloaded: 2990 file(s) [attempted 2990/8459 = 35%, 313 KB/s], Decompressed: 2915
Downloaded: 3035 file(s) [attempted 3035/8459 = 35%, 51 KB/s], Decompressed: 2915
Downloaded: 3076 file(s) [attempted 3076/8459 = 36%, 204 KB/s], Decompressed: 2976
Downloaded: 3113 file(s) [attempted 3113/8459 = 36%, 668 KB/s], Decompressed: 3038
Downloaded: 3151 file(s) [attempted 3151/8459 = 37%, 130 KB/s], Decompressed: 3038
Downloaded: 3195 file(s) [attempted 3195/8459 = 37%, 85 KB/s], Decompressed: 3103
Downloaded: 3236 file(s) [attempted 3236/8459 = 38%, 150 KB/s], Decompressed: 3171
Downloaded: 3277 file(s) [attempted 3277/8459 = 38%, 324 KB/s], Decompressed: 3171
Downloaded: 3315 file(s) [attempted 3315/8459 = 39%, 269 KB/s], Decompressed: 3236
Downloaded: 3357 file(s) [attempted 3357/8459 = 39%, 222 KB/s], Decompressed: 3236
Downloaded: 3400 file(s) [attempted 3400/8459 = 40%, 460 KB/s], Decompressed: 3301
Downloaded: 3442 file(s) [attempted 3442/8459 = 40%, 185 KB/s], Decompressed: 3366
Downloaded: 3483 file(s) [attempted 3483/8459 = 41%, 238 KB/s], Decompressed: 3366
Downloaded: 3517 file(s) [attempted 3517/8459 = 41%, 123 KB/s], Decompressed: 3366
Downloaded: 3561 file(s) [attempted 3561/8459 = 42%, 424 KB/s], Decompressed: 3435
Downloaded: 3602 file(s) [attempted 3602/8459 = 42%, 576 KB/s], Decompressed: 3435
Downloaded: 3647 file(s) [attempted 3647/8459 = 43%, 392 KB/s], Decompressed: 3435
Downloaded: 3684 file(s) [attempted 3684/8459 = 43%, 178 KB/s], Decompressed: 3435
Downloaded: 3725 file(s) [attempted 3725/8459 = 44%, 156 KB/s], Decompressed: 3534
Downloaded: 3767 file(s) [attempted 3767/8459 = 44%, 99 KB/s], Decompressed: 3534
Downloaded: 3807 file(s) [attempted 3807/8459 = 45%, 1263 KB/s], Decompressed: 3534
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 230 KB/s], Decompressed: 3534
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 414 KB/s], Decompressed: 3534
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 311 KB/s], Decompressed: 3534
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 185 KB/s], Decompressed: 3715
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 47 KB/s], Decompressed: 3715
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 54 KB/s], Decompressed: 3715
Downloaded: 4091 file(s) [attempted 4091/8459 = 48%, 217 KB/s], Decompressed: 3715
Downloaded: 4132 file(s) [attempted 4132/8459 = 48%, 289 KB/s], Decompressed: 3715
Downloaded: 4177 file(s) [attempted 4177/8459 = 49%, 59 KB/s], Decompressed: 3934
Downloaded: 4218 file(s) [attempted 4218/8459 = 49%, 669 KB/s], Decompressed: 3934
Downloaded: 4259 file(s) [attempted 4259/8459 = 50%, 47 KB/s], Decompressed: 3934
Downloaded: 4303 file(s) [attempted 4303/8459 = 50%, 325 KB/s], Decompressed: 3934
Downloaded: 4344 file(s) [attempted 4344/8459 = 51%, 363 KB/s], Decompressed: 3934
Downloaded: 4385 file(s) [attempted 4385/8459 = 51%, 229 KB/s], Decompressed: 3934
Downloaded: 4426 file(s) [attempted 4426/8459 = 52%, 132 KB/s], Decompressed: 3934
Downloaded: 4467 file(s) [attempted 4467/8459 = 52%, 103 KB/s], Decompressed: 3934
Downloaded: 4484 file(s) [attempted 4484/8459 = 53%, 445 KB/s], Decompressed: 4149
Downloaded: 4522 file(s) [attempted 4522/8459 = 53%, 173 KB/s], Decompressed: 4149
Downloaded: 4573 file(s) [attempted 4573/8459 = 54%, 77 KB/s], Decompressed: 4149
Downloaded: 4625 file(s) [attempted 4625/8459 = 54%, 7 KB/s], Decompressed: 4149
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 284 KB/s], Decompressed: 4149
Downloaded: 4724 file(s) [attempted 4724/8459 = 55%, 632 KB/s], Decompressed: 4149
Downloaded: 4775 file(s) [attempted 4775/8459 = 56%, 16 KB/s], Decompressed: 4149
Downloaded: 4823 file(s) [attempted 4823/8459 = 57%, 205 KB/s], Decompressed: 4149
Downloaded: 4874 file(s) [attempted 4874/8459 = 57%, 105 KB/s], Decompressed: 4478
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 446 KB/s], Decompressed: 4478
Downloaded: 4970 file(s) [attempted 4970/8459 = 58%, 153 KB/s], Decompressed: 4478
Downloaded: 5015 file(s) [attempted 5015/8459 = 59%, 776 KB/s], Decompressed: 4478
Downloaded: 5049 file(s) [attempted 5049/8459 = 59%, 108 KB/s], Decompressed: 4478
Downloaded: 5086 file(s) [attempted 5086/8459 = 60%, 226 KB/s], Decompressed: 4478
Downloaded: 5131 file(s) [attempted 5131/8459 = 60%, 70 KB/s], Decompressed: 4478
Downloaded: 5172 file(s) [attempted 5172/8459 = 61%, 447 KB/s], Decompressed: 4478
Downloaded: 5220 file(s) [attempted 5220/8459 = 61%, 97 KB/s], Decompressed: 4826
Downloaded: 5268 file(s) [attempted 5268/8459 = 62%, 122 KB/s], Decompressed: 4826
Downloaded: 5305 file(s) [attempted 5305/8459 = 62%, 294 KB/s], Decompressed: 4826
Downloaded: 5339 file(s) [attempted 5339/8459 = 63%, 86 KB/s], Decompressed: 4826
Downloaded: 5380 file(s) [attempted 5380/8459 = 63%, 371 KB/s], Decompressed: 4826
Downloaded: 5422 file(s) [attempted 5422/8459 = 64%, 639 KB/s], Decompressed: 4826
Downloaded: 5463 file(s) [attempted 5463/8459 = 64%, 22 KB/s], Decompressed: 4826
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 1241 KB/s], Decompressed: 4826
Downloaded: 5541 file(s) [attempted 5541/8459 = 65%, 227 KB/s], Decompressed: 4826
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 108 KB/s], Decompressed: 4826
Downloaded: 5620 file(s) [attempted 5620/8459 = 66%, 356 KB/s], Decompressed: 5182
Downloaded: 5661 file(s) [attempted 5661/8459 = 66%, 194 KB/s], Decompressed: 5182
Downloaded: 5705 file(s) [attempted 5705/8459 = 67%, 187 KB/s], Decompressed: 5182
Downloaded: 5746 file(s) [attempted 5746/8459 = 67%, 224 KB/s], Decompressed: 5182
Downloaded: 5787 file(s) [attempted 5787/8459 = 68%, 203 KB/s], Decompressed: 5182
Downloaded: 5828 file(s) [attempted 5828/8459 = 68%, 1117 KB/s], Decompressed: 5182
Downloaded: 5868 file(s) [attempted 5868/8459 = 69%, 196 KB/s], Decompressed: 5182
Downloaded: 5904 file(s) [attempted 5904/8459 = 69%, 348 KB/s], Decompressed: 5182
Downloaded: 5941 file(s) [attempted 5941/8459 = 70%, 347 KB/s], Decompressed: 5182
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 295 KB/s], Decompressed: 5182
Downloaded: 6020 file(s) [attempted 6020/8459 = 71%, 81 KB/s], Decompressed: 5182
Downloaded: 6061 file(s) [attempted 6061/8459 = 71%, 225 KB/s], Decompressed: 5182
Downloaded: 6095 file(s) [attempted 6095/8459 = 72%, 172 KB/s], Decompressed: 5182
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 756 KB/s], Decompressed: 5182
Downloaded: 6170 file(s) [attempted 6170/8459 = 72%, 550 KB/s], Decompressed: 5182
Downloaded: 6215 file(s) [attempted 6215/8459 = 73%, 298 KB/s], Decompressed: 5620
Downloaded: 6252 file(s) [attempted 6252/8459 = 73%, 93 KB/s], Decompressed: 5620
Downloaded: 6287 file(s) [attempted 6287/8459 = 74%, 243 KB/s], Decompressed: 5620
Downloaded: 6324 file(s) [attempted 6324/8459 = 74%, 52 KB/s], Decompressed: 5620
Downloaded: 6362 file(s) [attempted 6362/8459 = 75%, 543 KB/s], Decompressed: 5620
Downloaded: 6396 file(s) [attempted 6396/8459 = 75%, 115 KB/s], Decompressed: 5620
Downloaded: 6430 file(s) [attempted 6430/8459 = 76%, 146 KB/s], Decompressed: 5620
Downloaded: 6464 file(s) [attempted 6464/8459 = 76%, 278 KB/s], Decompressed: 5620
Downloaded: 6495 file(s) [attempted 6495/8459 = 76%, 56 KB/s], Decompressed: 5620
Downloaded: 6529 file(s) [attempted 6529/8459 = 77%, 301 KB/s], Decompressed: 5620
Downloaded: 6567 file(s) [attempted 6567/8459 = 77%, 296 KB/s], Decompressed: 5620
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 517 KB/s], Decompressed: 5620
Downloaded: 6629 file(s) [attempted 6629/8459 = 78%, 1043 KB/s], Decompressed: 5620
Downloaded: 6663 file(s) [attempted 6663/8459 = 78%, 139 KB/s], Decompressed: 5620
Downloaded: 6694 file(s) [attempted 6694/8459 = 79%, 237 KB/s], Decompressed: 5620
Downloaded: 6721 file(s) [attempted 6721/8459 = 79%, 193 KB/s], Decompressed: 5620
Downloaded: 6748 file(s) [attempted 6748/8459 = 79%, 254 KB/s], Decompressed: 5620
Downloaded: 6782 file(s) [attempted 6782/8459 = 80%, 956 KB/s], Decompressed: 5620
Downloaded: 6817 file(s) [attempted 6817/8459 = 80%, 39 KB/s], Decompressed: 6205
Downloaded: 6851 file(s) [attempted 6851/8459 = 80%, 77 KB/s], Decompressed: 6205
Downloaded: 6882 file(s) [attempted 6882/8459 = 81%, 1921 KB/s], Decompressed: 6205
Downloaded: 6909 file(s) [attempted 6909/8459 = 81%, 197 KB/s], Decompressed: 6205
Downloaded: 6940 file(s) [attempted 6940/8459 = 82%, 283 KB/s], Decompressed: 6205
Downloaded: 6964 file(s) [attempted 6964/8459 = 82%, 166 KB/s], Decompressed: 6205
Downloaded: 6994 file(s) [attempted 6994/8459 = 82%, 274 KB/s], Decompressed: 6205
Downloaded: 7022 file(s) [attempted 7022/8459 = 83%, 119 KB/s], Decompressed: 6205
Downloaded: 7046 file(s) [attempted 7046/8459 = 83%, 92 KB/s], Decompressed: 6205
Downloaded: 7077 file(s) [attempted 7077/8459 = 83%, 267 KB/s], Decompressed: 6205
Downloaded: 7107 file(s) [attempted 7107/8459 = 84%, 212 KB/s], Decompressed: 6205
Downloaded: 7138 file(s) [attempted 7138/8459 = 84%, 254 KB/s], Decompressed: 6205
Downloaded: 7165 file(s) [attempted 7165/8459 = 84%, 125 KB/s], Decompressed: 6205
Downloaded: 7193 file(s) [attempted 7193/8459 = 85%, 676 KB/s], Decompressed: 6205
Downloaded: 7220 file(s) [attempted 7220/8459 = 85%, 304 KB/s], Decompressed: 6205
Downloaded: 7244 file(s) [attempted 7244/8459 = 85%, 583 KB/s], Decompressed: 6205
Downloaded: 7267 file(s) [attempted 7267/8459 = 85%, 31 KB/s], Decompressed: 6205
Downloaded: 7292 file(s) [attempted 7292/8459 = 86%, 179 KB/s], Decompressed: 6205
Downloaded: 7313 file(s) [attempted 7313/8459 = 86%, 69 KB/s], Decompressed: 6205
Downloaded: 7343 file(s) [attempted 7343/8459 = 86%, 183 KB/s], Decompressed: 6205
Downloaded: 7374 file(s) [attempted 7374/8459 = 87%, 275 KB/s], Decompressed: 6813
Downloaded: 7405 file(s) [attempted 7405/8459 = 87%, 5177 KB/s], Decompressed: 6813
Downloaded: 7432 file(s) [attempted 7432/8459 = 87%, 158 KB/s], Decompressed: 6813
Downloaded: 7460 file(s) [attempted 7460/8459 = 88%, 41 KB/s], Decompressed: 6813
Downloaded: 7484 file(s) [attempted 7484/8459 = 88%, 418 KB/s], Decompressed: 6813
Downloaded: 7507 file(s) [attempted 7507/8459 = 88%, 124 KB/s], Decompressed: 6813
Downloaded: 7526 file(s) [attempted 7526/8459 = 88%, 978 KB/s], Decompressed: 6813
Downloaded: 7542 file(s) [attempted 7542/8459 = 89%, 231 KB/s], Decompressed: 6813
Downloaded: 7566 file(s) [attempted 7566/8459 = 89%, 147 KB/s], Decompressed: 6813
Downloaded: 7590 file(s) [attempted 7590/8459 = 89%, 488 KB/s], Decompressed: 6813
Downloaded: 7613 file(s) [attempted 7613/8459 = 89%, 266 KB/s], Decompressed: 6813
Downloaded: 7637 file(s) [attempted 7637/8459 = 90%, 43 KB/s], Decompressed: 6813
Downloaded: 7658 file(s) [attempted 7658/8459 = 90%, 449 KB/s], Decompressed: 6813
Downloaded: 7689 file(s) [attempted 7689/8459 = 90%, 126 KB/s], Decompressed: 7374
Downloaded: 7709 file(s) [attempted 7709/8459 = 91%, 120 KB/s], Decompressed: 7374
Downloaded: 7733 file(s) [attempted 7733/8459 = 91%, 616 KB/s], Decompressed: 7374
Downloaded: 7754 file(s) [attempted 7754/8459 = 91%, 636 KB/s], Decompressed: 7374
Downloaded: 7778 file(s) [attempted 7778/8459 = 91%, 41 KB/s], Decompressed: 7374
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 44 KB/s], Decompressed: 7668
Downloaded: 7819 file(s) [attempted 7819/8459 = 92%, 340 KB/s], Decompressed: 7668
Downloaded: 7839 file(s) [attempted 7839/8459 = 92%, 39 KB/s], Decompressed: 7668
Downloaded: 7860 file(s) [attempted 7860/8459 = 92%, 43 KB/s], Decompressed: 7798
Downloaded: 7884 file(s) [attempted 7884/8459 = 93%, 47 KB/s], Decompressed: 7856
Downloaded: 7904 file(s) [attempted 7904/8459 = 93%, 211 KB/s], Decompressed: 7884
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 753 KB/s], Decompressed: 7904
Downloaded: 7942 file(s) [attempted 7942/8459 = 93%, 365 KB/s], Decompressed: 7918
Downloaded: 7962 file(s) [attempted 7962/8459 = 94%, 1478 KB/s], Decompressed: 7928
Downloaded: 7983 file(s) [attempted 7983/8459 = 94%, 247 KB/s], Decompressed: 7966
Downloaded: 8014 file(s) [attempted 8014/8459 = 94%, 54 KB/s], Decompressed: 7966
Downloaded: 8051 file(s) [attempted 8051/8459 = 95%, 64 KB/s], Decompressed: 7979
Downloaded: 8092 file(s) [attempted 8092/8459 = 95%, 158 KB/s], Decompressed: 7979
Downloaded: 8130 file(s) [attempted 8130/8459 = 96%, 876 KB/s], Decompressed: 7979
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 684 KB/s], Decompressed: 8034
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 79 KB/s], Decompressed: 8034
Downloaded: 8253 file(s) [attempted 8253/8459 = 97%, 270 KB/s], Decompressed: 8034
Downloaded: 8297 file(s) [attempted 8297/8459 = 98%, 682 KB/s], Decompressed: 8034
Downloaded: 8338 file(s) [attempted 8338/8459 = 98%, 92 KB/s], Decompressed: 8034
Downloaded: 8376 file(s) [attempted 8376/8459 = 99%, 49 KB/s], Decompressed: 8167
Downloaded: 8407 file(s) [attempted 8407/8459 = 99%, 198 KB/s], Decompressed: 8167
Downloaded: 8438 file(s) [attempted 8438/8459 = 99%, 69 KB/s], Decompressed: 8167
Downloaded: 8451 file(s) [attempted 8451/8459 = 99%, 334 KB/s], Decompressed: 8352
Downloaded: 8455 file(s) [attempted 8455/8459 = 99%, 90 KB/s], Decompressed: 8352
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 84 KB/s], Decompressed: 8352
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 84 KB/s], Decompressed: 8352

apx-runtime-resource-v1	apx-verifier-job-1756-runtime-lake_cache-784615-1788229076530094602-0	3878912	4448256	21474836480	0	0	0	0	0	0	588832768	2896416768	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 9/1/2026, 5:14:46 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (111s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (87s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (237s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (72s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (101s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (88s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (356s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (85s)
✔ [790/794] Built Iut.Foundations.QualitativeData (83s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (363s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1146s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1026s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1312s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (309s)
✔ [3971/3990] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapHomotopy (1079s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1756-runtime-lean_checker-784615-1788232466832745496-1 on attempt 1

blueprint_buildexit 1duration 16s · created 9/1/2026, 5:14:46 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1756-runtime-blueprint_build-784615-1788239667535583524-2	1155072	1265664	21474836480	0	0	0	0	0	0	809545728	912662528	21474836480	0	0	0	0	0	0