Verification run

Run 1286

promachina/iut-leanbranch mastertriggered via poller

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

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

Open project

Package inputs

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

Trust verification

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

(verification not run)

Manifest

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

(manifest not loaded)

Verifier log excerpt

Attempting anonymous GitHub clone before installation-auth fallback

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


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

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 3d29e29 Merge pull request #973 from promachina/e23-3k-canonical-reference-splitting-alignment

Resolved source revision: 3d29e29efca3ee2b85e988973003d76d99e9d81a

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=3d29e29efca3ee2b85e988973003d76d99e9d81a provenance={"branch":"master","checked_out_revision":"3d29e29efca3ee2b85e988973003d76d99e9d81a","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"3d29e29efca3ee2b85e988973003d76d99e9d81a","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=6273 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=164725
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 (7.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (106ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (157ms)
✔ [13/25] Built Cache.Lean:c.o (125ms)
✔ [15/25] Built Cache.Init (341ms)
✔ [16/25] Built Cache.IO (7.0s)
✔ [17/25] Built Cache.Init:c.o (71ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (1.0s)
✔ [20/25] Built Cache.Hashing:c.o (376ms)
✔ [21/25] Built Cache.Requests (9.3s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (12s)
✔ [24/25] Built Cache.Main:c.o (560ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 5 KB/s], Decompressed: 11
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 17 KB/s], Decompressed: 21
Downloaded: 64 file(s) [attempted 64/8459 = 0%, 28 KB/s], Decompressed: 31
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 52 KB/s], Decompressed: 46
Downloaded: 117 file(s) [attempted 117/8459 = 1%, 295 KB/s], Decompressed: 65
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 125 KB/s], Decompressed: 93
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 126 KB/s], Decompressed: 148
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 205 KB/s], Decompressed: 179
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 157 KB/s], Decompressed: 209
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 458 KB/s], Decompressed: 237
Downloaded: 312 file(s) [attempted 312/8459 = 3%, 434 KB/s], Decompressed: 264
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 84 KB/s], Decompressed: 305
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 242 KB/s], Decompressed: 346
Downloaded: 428 file(s) [attempted 428/8459 = 5%, 539 KB/s], Decompressed: 387
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 927 KB/s], Decompressed: 418
Downloaded: 504 file(s) [attempted 504/8459 = 5%, 850 KB/s], Decompressed: 456
Downloaded: 541 file(s) [attempted 541/8459 = 6%, 324 KB/s], Decompressed: 493
Downloaded: 582 file(s) [attempted 582/8459 = 6%, 32 KB/s], Decompressed: 531
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 41 KB/s], Decompressed: 569
Downloaded: 654 file(s) [attempted 654/8459 = 7%, 382 KB/s], Decompressed: 613
Downloaded: 699 file(s) [attempted 699/8459 = 8%, 154 KB/s], Decompressed: 654
Downloaded: 737 file(s) [attempted 737/8459 = 8%, 52 KB/s], Decompressed: 654
Downloaded: 778 file(s) [attempted 778/8459 = 9%, 71 KB/s], Decompressed: 699
Downloaded: 815 file(s) [attempted 815/8459 = 9%, 107 KB/s], Decompressed: 743
Downloaded: 856 file(s) [attempted 856/8459 = 10%, 203 KB/s], Decompressed: 791
Downloaded: 897 file(s) [attempted 897/8459 = 10%, 66 KB/s], Decompressed: 843
Downloaded: 938 file(s) [attempted 938/8459 = 11%, 76 KB/s], Decompressed: 843
Downloaded: 979 file(s) [attempted 979/8459 = 11%, 709 KB/s], Decompressed: 894
Downloaded: 1014 file(s) [attempted 1014/8459 = 11%, 203 KB/s], Decompressed: 942
Downloaded: 1058 file(s) [attempted 1058/8459 = 12%, 144 KB/s], Decompressed: 990
Downloaded: 1096 file(s) [attempted 1096/8459 = 12%, 1686 KB/s], Decompressed: 1038
Downloaded: 1137 file(s) [attempted 1137/8459 = 13%, 234 KB/s], Decompressed: 1038
Downloaded: 1181 file(s) [attempted 1181/8459 = 13%, 341 KB/s], Decompressed: 1096
Downloaded: 1222 file(s) [attempted 1222/8459 = 14%, 361 KB/s], Decompressed: 1096
Downloaded: 1260 file(s) [attempted 1260/8459 = 14%, 282 KB/s], Decompressed: 1157
Downloaded: 1304 file(s) [attempted 1304/8459 = 15%, 123 KB/s], Decompressed: 1226
Downloaded: 1345 file(s) [attempted 1345/8459 = 15%, 43 KB/s], Decompressed: 1287
Downloaded: 1386 file(s) [attempted 1386/8459 = 16%, 397 KB/s], Decompressed: 1287
Downloaded: 1424 file(s) [attempted 1424/8459 = 16%, 295 KB/s], Decompressed: 1345
Downloaded: 1462 file(s) [attempted 1462/8459 = 17%, 693 KB/s], Decompressed: 1397
Downloaded: 1503 file(s) [attempted 1503/8459 = 17%, 71 KB/s], Decompressed: 1451
Downloaded: 1544 file(s) [attempted 1544/8459 = 18%, 314 KB/s], Decompressed: 1451
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 445 KB/s], Decompressed: 1499
Downloaded: 1619 file(s) [attempted 1619/8459 = 19%, 331 KB/s], Decompressed: 1551
Downloaded: 1657 file(s) [attempted 1657/8459 = 19%, 115 KB/s], Decompressed: 1598
Downloaded: 1698 file(s) [attempted 1698/8459 = 20%, 333 KB/s], Decompressed: 1646
Downloaded: 1739 file(s) [attempted 1739/8459 = 20%, 112 KB/s], Decompressed: 1646
Downloaded: 1776 file(s) [attempted 1776/8459 = 20%, 569 KB/s], Decompressed: 1694
Downloaded: 1821 file(s) [attempted 1821/8459 = 21%, 418 KB/s], Decompressed: 1742
Downloaded: 1858 file(s) [attempted 1858/8459 = 21%, 68 KB/s], Decompressed: 1793
Downloaded: 1899 file(s) [attempted 1899/8459 = 22%, 41 KB/s], Decompressed: 1845
Downloaded: 1937 file(s) [attempted 1937/8459 = 22%, 70 KB/s], Decompressed: 1845
Downloaded: 1975 file(s) [attempted 1975/8459 = 23%, 40 KB/s], Decompressed: 1889
Downloaded: 2019 file(s) [attempted 2019/8459 = 23%, 57 KB/s], Decompressed: 1940
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 322 KB/s], Decompressed: 1988
Downloaded: 2098 file(s) [attempted 2098/8459 = 24%, 1098 KB/s], Decompressed: 1988
Downloaded: 2135 file(s) [attempted 2135/8459 = 25%, 126 KB/s], Decompressed: 2050
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 808 KB/s], Decompressed: 2115
Downloaded: 2214 file(s) [attempted 2214/8459 = 26%, 185 KB/s], Decompressed: 2115
Downloaded: 2255 file(s) [attempted 2255/8459 = 26%, 184 KB/s], Decompressed: 2173
Downloaded: 2296 file(s) [attempted 2296/8459 = 27%, 26 KB/s], Decompressed: 2228
Downloaded: 2330 file(s) [attempted 2330/8459 = 27%, 88 KB/s], Decompressed: 2272
Downloaded: 2371 file(s) [attempted 2371/8459 = 28%, 297 KB/s], Decompressed: 2272
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 261 KB/s], Decompressed: 2320
Downloaded: 2453 file(s) [attempted 2453/8459 = 28%, 339 KB/s], Decompressed: 2378
Downloaded: 2494 file(s) [attempted 2494/8459 = 29%, 79 KB/s], Decompressed: 2378
Downloaded: 2532 file(s) [attempted 2532/8459 = 29%, 529 KB/s], Decompressed: 2443
Downloaded: 2576 file(s) [attempted 2576/8459 = 30%, 101 KB/s], Decompressed: 2501
Downloaded: 2621 file(s) [attempted 2621/8459 = 30%, 78 KB/s], Decompressed: 2559
Downloaded: 2657 file(s) [attempted 2657/8459 = 31%, 681 KB/s], Decompressed: 2559
Downloaded: 2696 file(s) [attempted 2696/8459 = 31%, 55 KB/s], Decompressed: 2621
Downloaded: 2734 file(s) [attempted 2734/8459 = 32%, 588 KB/s], Decompressed: 2676
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 32 KB/s], Decompressed: 2676
Downloaded: 2826 file(s) [attempted 2826/8459 = 33%, 33 KB/s], Decompressed: 2734
Downloaded: 2870 file(s) [attempted 2870/8459 = 33%, 1061 KB/s], Decompressed: 2785
Downloaded: 2905 file(s) [attempted 2905/8459 = 34%, 118 KB/s], Decompressed: 2843
Downloaded: 2942 file(s) [attempted 2942/8459 = 34%, 37 KB/s], Decompressed: 2843
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 21 KB/s], Decompressed: 2901
Downloaded: 3028 file(s) [attempted 3028/8459 = 35%, 899 KB/s], Decompressed: 2901
Downloaded: 3069 file(s) [attempted 3069/8459 = 36%, 194 KB/s], Decompressed: 2973
Downloaded: 3113 file(s) [attempted 3113/8459 = 36%, 59 KB/s], Decompressed: 2973
Downloaded: 3147 file(s) [attempted 3147/8459 = 37%, 348 KB/s], Decompressed: 3059
Downloaded: 3188 file(s) [attempted 3188/8459 = 37%, 1247 KB/s], Decompressed: 3059
Downloaded: 3230 file(s) [attempted 3230/8459 = 38%, 170 KB/s], Decompressed: 3059
Downloaded: 3271 file(s) [attempted 3271/8459 = 38%, 2877 KB/s], Decompressed: 3147
Downloaded: 3318 file(s) [attempted 3318/8459 = 39%, 90 KB/s], Decompressed: 3147
Downloaded: 3359 file(s) [attempted 3359/8459 = 39%, 79 KB/s], Decompressed: 3243
Downloaded: 3397 file(s) [attempted 3397/8459 = 40%, 49 KB/s], Decompressed: 3243
Downloaded: 3435 file(s) [attempted 3435/8459 = 40%, 111 KB/s], Decompressed: 3243
Downloaded: 3479 file(s) [attempted 3479/8459 = 41%, 916 KB/s], Decompressed: 3342
Downloaded: 3520 file(s) [attempted 3520/8459 = 41%, 233 KB/s], Decompressed: 3342
Downloaded: 3565 file(s) [attempted 3565/8459 = 42%, 231 KB/s], Decompressed: 3442
Downloaded: 3602 file(s) [attempted 3602/8459 = 42%, 566 KB/s], Decompressed: 3442
Downloaded: 3643 file(s) [attempted 3643/8459 = 43%, 504 KB/s], Decompressed: 3527
Downloaded: 3681 file(s) [attempted 3681/8459 = 43%, 66 KB/s], Decompressed: 3527
Downloaded: 3719 file(s) [attempted 3719/8459 = 43%, 144 KB/s], Decompressed: 3616
Downloaded: 3760 file(s) [attempted 3760/8459 = 44%, 110 KB/s], Decompressed: 3616
Downloaded: 3804 file(s) [attempted 3804/8459 = 44%, 56 KB/s], Decompressed: 3698
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 729 KB/s], Decompressed: 3698
Downloaded: 3886 file(s) [attempted 3886/8459 = 45%, 430 KB/s], Decompressed: 3777
Downloaded: 3920 file(s) [attempted 3920/8459 = 46%, 2311 KB/s], Decompressed: 3777
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 285 KB/s], Decompressed: 3855
Downloaded: 4002 file(s) [attempted 4002/8459 = 47%, 493 KB/s], Decompressed: 3855
Downloaded: 4047 file(s) [attempted 4047/8459 = 47%, 55 KB/s], Decompressed: 3944
Downloaded: 4088 file(s) [attempted 4088/8459 = 48%, 272 KB/s], Decompressed: 3944
Downloaded: 4125 file(s) [attempted 4125/8459 = 48%, 105 KB/s], Decompressed: 4030
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 68 KB/s], Decompressed: 4030
Downloaded: 4197 file(s) [attempted 4197/8459 = 49%, 191 KB/s], Decompressed: 4119
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 77 KB/s], Decompressed: 4119
Downloaded: 4286 file(s) [attempted 4286/8459 = 50%, 126 KB/s], Decompressed: 4197
Downloaded: 4327 file(s) [attempted 4327/8459 = 51%, 1928 KB/s], Decompressed: 4197
Downloaded: 4368 file(s) [attempted 4368/8459 = 51%, 294 KB/s], Decompressed: 4276
Downloaded: 4409 file(s) [attempted 4409/8459 = 52%, 85 KB/s], Decompressed: 4276
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 459 KB/s], Decompressed: 4351
Downloaded: 4488 file(s) [attempted 4488/8459 = 53%, 661 KB/s], Decompressed: 4351
Downloaded: 4529 file(s) [attempted 4529/8459 = 53%, 35 KB/s], Decompressed: 4433
Downloaded: 4567 file(s) [attempted 4567/8459 = 53%, 35 KB/s], Decompressed: 4433
Downloaded: 4604 file(s) [attempted 4604/8459 = 54%, 158 KB/s], Decompressed: 4508
Downloaded: 4645 file(s) [attempted 4645/8459 = 54%, 297 KB/s], Decompressed: 4577
Downloaded: 4686 file(s) [attempted 4686/8459 = 55%, 57 KB/s], Decompressed: 4577
Downloaded: 4727 file(s) [attempted 4727/8459 = 55%, 199 KB/s], Decompressed: 4638
Downloaded: 4765 file(s) [attempted 4765/8459 = 56%, 541 KB/s], Decompressed: 4697
Downloaded: 4802 file(s) [attempted 4802/8459 = 56%, 702 KB/s], Decompressed: 4697
Downloaded: 4844 file(s) [attempted 4844/8459 = 57%, 273 KB/s], Decompressed: 4755
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 115 KB/s], Decompressed: 4755
Downloaded: 4915 file(s) [attempted 4915/8459 = 58%, 278 KB/s], Decompressed: 4816
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 122 KB/s], Decompressed: 4816
Downloaded: 4994 file(s) [attempted 4994/8459 = 59%, 1037 KB/s], Decompressed: 4816
Downloaded: 5035 file(s) [attempted 5035/8459 = 59%, 331 KB/s], Decompressed: 4881
Downloaded: 5073 file(s) [attempted 5073/8459 = 59%, 45 KB/s], Decompressed: 4881
Downloaded: 5110 file(s) [attempted 5110/8459 = 60%, 147 KB/s], Decompressed: 4881
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 225 KB/s], Decompressed: 5008
Downloaded: 5192 file(s) [attempted 5192/8459 = 61%, 690 KB/s], Decompressed: 5008
Downloaded: 5227 file(s) [attempted 5227/8459 = 61%, 206 KB/s], Decompressed: 5008
Downloaded: 5271 file(s) [attempted 5271/8459 = 62%, 153 KB/s], Decompressed: 5127
Downloaded: 5312 file(s) [attempted 5312/8459 = 62%, 425 KB/s], Decompressed: 5127
Downloaded: 5353 file(s) [attempted 5353/8459 = 63%, 627 KB/s], Decompressed: 5127
Downloaded: 5398 file(s) [attempted 5398/8459 = 63%, 60 KB/s], Decompressed: 5127
Downloaded: 5432 file(s) [attempted 5432/8459 = 64%, 231 KB/s], Decompressed: 5127
Downloaded: 5473 file(s) [attempted 5473/8459 = 64%, 271 KB/s], Decompressed: 5271
Downloaded: 5510 file(s) [attempted 5510/8459 = 65%, 117 KB/s], Decompressed: 5271
Downloaded: 5555 file(s) [attempted 5555/8459 = 65%, 1142 KB/s], Decompressed: 5271
Downloaded: 5592 file(s) [attempted 5592/8459 = 66%, 76 KB/s], Decompressed: 5271
Downloaded: 5633 file(s) [attempted 5633/8459 = 66%, 344 KB/s], Decompressed: 5445
Downloaded: 5674 file(s) [attempted 5674/8459 = 67%, 185 KB/s], Decompressed: 5445
Downloaded: 5709 file(s) [attempted 5709/8459 = 67%, 730 KB/s], Decompressed: 5445
Downloaded: 5753 file(s) [attempted 5753/8459 = 68%, 310 KB/s], Decompressed: 5603
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 413 KB/s], Decompressed: 5603
Downloaded: 5842 file(s) [attempted 5842/8459 = 69%, 346 KB/s], Decompressed: 5603
Downloaded: 5883 file(s) [attempted 5883/8459 = 69%, 56 KB/s], Decompressed: 5603
Downloaded: 5921 file(s) [attempted 5921/8459 = 69%, 723 KB/s], Decompressed: 5750
Downloaded: 5958 file(s) [attempted 5958/8459 = 70%, 531 KB/s], Decompressed: 5750
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 181 KB/s], Decompressed: 5750
Downloaded: 6044 file(s) [attempted 6044/8459 = 71%, 94 KB/s], Decompressed: 5893
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 352 KB/s], Decompressed: 5893
Downloaded: 6129 file(s) [attempted 6129/8459 = 72%, 741 KB/s], Decompressed: 5893
Downloaded: 6167 file(s) [attempted 6167/8459 = 72%, 657 KB/s], Decompressed: 6034
Downloaded: 6201 file(s) [attempted 6201/8459 = 73%, 517 KB/s], Decompressed: 6034
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 68 KB/s], Decompressed: 6034
Downloaded: 6290 file(s) [attempted 6290/8459 = 74%, 67 KB/s], Decompressed: 6163
Downloaded: 6331 file(s) [attempted 6331/8459 = 74%, 37 KB/s], Decompressed: 6163
Downloaded: 6372 file(s) [attempted 6372/8459 = 75%, 514 KB/s], Decompressed: 6163
Downloaded: 6406 file(s) [attempted 6406/8459 = 75%, 346 KB/s], Decompressed: 6163
Downloaded: 6444 file(s) [attempted 6444/8459 = 76%, 659 KB/s], Decompressed: 6290
Downloaded: 6486 file(s) [attempted 6486/8459 = 76%, 68 KB/s], Decompressed: 6290
Downloaded: 6529 file(s) [attempted 6529/8459 = 77%, 340 KB/s], Decompressed: 6290
Downloaded: 6564 file(s) [attempted 6564/8459 = 77%, 771 KB/s], Decompressed: 6290
Downloaded: 6601 file(s) [attempted 6601/8459 = 78%, 212 KB/s], Decompressed: 6430
Downloaded: 6642 file(s) [attempted 6642/8459 = 78%, 232 KB/s], Decompressed: 6430
Downloaded: 6690 file(s) [attempted 6690/8459 = 79%, 102 KB/s], Decompressed: 6430
Downloaded: 6731 file(s) [attempted 6731/8459 = 79%, 31 KB/s], Decompressed: 6567
Downloaded: 6772 file(s) [attempted 6772/8459 = 80%, 58 KB/s], Decompressed: 6567
Downloaded: 6810 file(s) [attempted 6810/8459 = 80%, 852 KB/s], Decompressed: 6567
Downloaded: 6844 file(s) [attempted 6844/8459 = 80%, 220 KB/s], Decompressed: 6567
Downloaded: 6888 file(s) [attempted 6888/8459 = 81%, 180 KB/s], Decompressed: 6567
Downloaded: 6933 file(s) [attempted 6933/8459 = 81%, 254 KB/s], Decompressed: 6704
Downloaded: 6970 file(s) [attempted 6970/8459 = 82%, 405 KB/s], Decompressed: 6704
Downloaded: 7008 file(s) [attempted 7008/8459 = 82%, 109 KB/s], Decompressed: 6704
Downloaded: 7049 file(s) [attempted 7049/8459 = 83%, 323 KB/s], Decompressed: 6704
Downloaded: 7090 file(s) [attempted 7090/8459 = 83%, 250 KB/s], Decompressed: 6704
Downloaded: 7135 file(s) [attempted 7135/8459 = 84%, 117 KB/s], Decompressed: 6704
Downloaded: 7182 file(s) [attempted 7182/8459 = 84%, 92 KB/s], Decompressed: 6704
Downloaded: 7227 file(s) [attempted 7227/8459 = 85%, 154 KB/s], Decompressed: 6892
Downloaded: 7261 file(s) [attempted 7261/8459 = 85%, 175 KB/s], Decompressed: 6892
Downloaded: 7299 file(s) [attempted 7299/8459 = 86%, 277 KB/s], Decompressed: 6892
Downloaded: 7340 file(s) [attempted 7340/8459 = 86%, 942 KB/s], Decompressed: 6892
Downloaded: 7384 file(s) [attempted 7384/8459 = 87%, 293 KB/s], Decompressed: 6892
Downloaded: 7425 file(s) [attempted 7425/8459 = 87%, 99 KB/s], Decompressed: 6892
Downloaded: 7466 file(s) [attempted 7466/8459 = 88%, 145 KB/s], Decompressed: 6892
Downloaded: 7504 file(s) [attempted 7504/8459 = 88%, 452 KB/s], Decompressed: 7189
Downloaded: 7545 file(s) [attempted 7545/8459 = 89%, 119 KB/s], Decompressed: 7189
Downloaded: 7589 file(s) [attempted 7589/8459 = 89%, 152 KB/s], Decompressed: 7189
Downloaded: 7630 file(s) [attempted 7630/8459 = 90%, 57 KB/s], Decompressed: 7189
Downloaded: 7675 file(s) [attempted 7675/8459 = 90%, 227 KB/s], Decompressed: 7189
Downloaded: 7716 file(s) [attempted 7716/8459 = 91%, 66 KB/s], Decompressed: 7189
Downloaded: 7754 file(s) [attempted 7754/8459 = 91%, 1081 KB/s], Decompressed: 7189
Downloaded: 7784 file(s) [attempted 7784/8459 = 92%, 77 KB/s], Decompressed: 7189
Downloaded: 7829 file(s) [attempted 7829/8459 = 92%, 1874 KB/s], Decompressed: 7483
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 191 KB/s], Decompressed: 7483
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 653 KB/s], Decompressed: 7483
Downloaded: 7979 file(s) [attempted 7979/8459 = 94%, 664 KB/s], Decompressed: 7483
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 110 KB/s], Decompressed: 7483
Downloaded: 8054 file(s) [attempted 8054/8459 = 95%, 12 KB/s], Decompressed: 7483
Downloaded: 8058 file(s) [attempted 8058/8459 = 95%, 221 KB/s], Decompressed: 7483
Downloaded: 8106 file(s) [attempted 8106/8459 = 95%, 205 KB/s], Decompressed: 7483
Downloaded: 8154 file(s) [attempted 8154/8459 = 96%, 279 KB/s], Decompressed: 7483
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 513 KB/s], Decompressed: 7483
Downloaded: 8256 file(s) [attempted 8256/8459 = 97%, 220 KB/s], Decompressed: 7483
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 196 KB/s], Decompressed: 7483
Downloaded: 8355 file(s) [attempted 8355/8459 = 98%, 187 KB/s], Decompressed: 7483
Downloaded: 8403 file(s) [attempted 8403/8459 = 99%, 91 KB/s], Decompressed: 7829
Downloaded: 8455 file(s) [attempted 8455/8459 = 99%, 158 KB/s], Decompressed: 7829
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 377 KB/s], Decompressed: 7829
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 377 KB/s], Decompressed: 7829

apx-runtime-resource-v1	apx-verifier-job-1739-runtime-lake_cache-4150624-1787715451300270003-0	3788800	4136960	21474836480	0	0	0	0	0	0	607911936	4917338112	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200007
stdout:
✔ [500/502] Built Iut.Foundations.Species (107s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (112s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (331s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (107s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (151s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (180s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (91s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (264s)
✔ [790/791] Built Iut.Foundations.QualitativeData (148s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (381s)
✔ [3509/3519] Built Iut.Foundations.Orbicurve (1110s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (942s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1243s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (395s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (250s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (281s)
✔ [3983/3986] Built Iut.Foundations.SourceAnabelioid (920s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1739-runtime-lean_checker-4150624-1787715616031513915-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1739-runtime-blueprint_build-4150624-1787722816686246933-2	937984	1445888	21474836480	0	0	0	0	0	0	885039104	988364800	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 356 ms · created 8/26/2026, 5:40:34 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1739-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/26/2026, 5:40:34 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 246 ms · created 8/26/2026, 5:40:34 AM

git checkout 3d29e29efca3ee2b85e988973003d76d99e9d81a

Note: switching to '3d29e29efca3ee2b85e988973003d76d99e9d81a'.

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 3d29e29 Merge pull request #973 from promachina/e23-3k-canonical-reference-splitting-alignment

lake_cacheexit 0duration 2m 45s · created 8/26/2026, 5:40:34 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 (7.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (106ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (157ms)
✔ [13/25] Built Cache.Lean:c.o (125ms)
✔ [15/25] Built Cache.Init (341ms)
✔ [16/25] Built Cache.IO (7.0s)
✔ [17/25] Built Cache.Init:c.o (71ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (1.0s)
✔ [20/25] Built Cache.Hashing:c.o (376ms)
✔ [21/25] Built Cache.Requests (9.3s)
✔ [22/25] Built Cache.Requests:c.o (2.9s)
✔ [23/25] Built Cache.Main (12s)
✔ [24/25] Built Cache.Main:c.o (560ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 5 KB/s], Decompressed: 11
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 17 KB/s], Decompressed: 21
Downloaded: 64 file(s) [attempted 64/8459 = 0%, 28 KB/s], Decompressed: 31
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 52 KB/s], Decompressed: 46
Downloaded: 117 file(s) [attempted 117/8459 = 1%, 295 KB/s], Decompressed: 65
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 125 KB/s], Decompressed: 93
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 126 KB/s], Decompressed: 148
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 205 KB/s], Decompressed: 179
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 157 KB/s], Decompressed: 209
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 458 KB/s], Decompressed: 237
Downloaded: 312 file(s) [attempted 312/8459 = 3%, 434 KB/s], Decompressed: 264
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 84 KB/s], Decompressed: 305
Downloaded: 394 file(s) [attempted 394/8459 = 4%, 242 KB/s], Decompressed: 346
Downloaded: 428 file(s) [attempted 428/8459 = 5%, 539 KB/s], Decompressed: 387
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 927 KB/s], Decompressed: 418
Downloaded: 504 file(s) [attempted 504/8459 = 5%, 850 KB/s], Decompressed: 456
Downloaded: 541 file(s) [attempted 541/8459 = 6%, 324 KB/s], Decompressed: 493
Downloaded: 582 file(s) [attempted 582/8459 = 6%, 32 KB/s], Decompressed: 531
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 41 KB/s], Decompressed: 569
Downloaded: 654 file(s) [attempted 654/8459 = 7%, 382 KB/s], Decompressed: 613
Downloaded: 699 file(s) [attempted 699/8459 = 8%, 154 KB/s], Decompressed: 654
Downloaded: 737 file(s) [attempted 737/8459 = 8%, 52 KB/s], Decompressed: 654
Downloaded: 778 file(s) [attempted 778/8459 = 9%, 71 KB/s], Decompressed: 699
Downloaded: 815 file(s) [attempted 815/8459 = 9%, 107 KB/s], Decompressed: 743
Downloaded: 856 file(s) [attempted 856/8459 = 10%, 203 KB/s], Decompressed: 791
Downloaded: 897 file(s) [attempted 897/8459 = 10%, 66 KB/s], Decompressed: 843
Downloaded: 938 file(s) [attempted 938/8459 = 11%, 76 KB/s], Decompressed: 843
Downloaded: 979 file(s) [attempted 979/8459 = 11%, 709 KB/s], Decompressed: 894
Downloaded: 1014 file(s) [attempted 1014/8459 = 11%, 203 KB/s], Decompressed: 942
Downloaded: 1058 file(s) [attempted 1058/8459 = 12%, 144 KB/s], Decompressed: 990
Downloaded: 1096 file(s) [attempted 1096/8459 = 12%, 1686 KB/s], Decompressed: 1038
Downloaded: 1137 file(s) [attempted 1137/8459 = 13%, 234 KB/s], Decompressed: 1038
Downloaded: 1181 file(s) [attempted 1181/8459 = 13%, 341 KB/s], Decompressed: 1096
Downloaded: 1222 file(s) [attempted 1222/8459 = 14%, 361 KB/s], Decompressed: 1096
Downloaded: 1260 file(s) [attempted 1260/8459 = 14%, 282 KB/s], Decompressed: 1157
Downloaded: 1304 file(s) [attempted 1304/8459 = 15%, 123 KB/s], Decompressed: 1226
Downloaded: 1345 file(s) [attempted 1345/8459 = 15%, 43 KB/s], Decompressed: 1287
Downloaded: 1386 file(s) [attempted 1386/8459 = 16%, 397 KB/s], Decompressed: 1287
Downloaded: 1424 file(s) [attempted 1424/8459 = 16%, 295 KB/s], Decompressed: 1345
Downloaded: 1462 file(s) [attempted 1462/8459 = 17%, 693 KB/s], Decompressed: 1397
Downloaded: 1503 file(s) [attempted 1503/8459 = 17%, 71 KB/s], Decompressed: 1451
Downloaded: 1544 file(s) [attempted 1544/8459 = 18%, 314 KB/s], Decompressed: 1451
Downloaded: 1581 file(s) [attempted 1581/8459 = 18%, 445 KB/s], Decompressed: 1499
Downloaded: 1619 file(s) [attempted 1619/8459 = 19%, 331 KB/s], Decompressed: 1551
Downloaded: 1657 file(s) [attempted 1657/8459 = 19%, 115 KB/s], Decompressed: 1598
Downloaded: 1698 file(s) [attempted 1698/8459 = 20%, 333 KB/s], Decompressed: 1646
Downloaded: 1739 file(s) [attempted 1739/8459 = 20%, 112 KB/s], Decompressed: 1646
Downloaded: 1776 file(s) [attempted 1776/8459 = 20%, 569 KB/s], Decompressed: 1694
Downloaded: 1821 file(s) [attempted 1821/8459 = 21%, 418 KB/s], Decompressed: 1742
Downloaded: 1858 file(s) [attempted 1858/8459 = 21%, 68 KB/s], Decompressed: 1793
Downloaded: 1899 file(s) [attempted 1899/8459 = 22%, 41 KB/s], Decompressed: 1845
Downloaded: 1937 file(s) [attempted 1937/8459 = 22%, 70 KB/s], Decompressed: 1845
Downloaded: 1975 file(s) [attempted 1975/8459 = 23%, 40 KB/s], Decompressed: 1889
Downloaded: 2019 file(s) [attempted 2019/8459 = 23%, 57 KB/s], Decompressed: 1940
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 322 KB/s], Decompressed: 1988
Downloaded: 2098 file(s) [attempted 2098/8459 = 24%, 1098 KB/s], Decompressed: 1988
Downloaded: 2135 file(s) [attempted 2135/8459 = 25%, 126 KB/s], Decompressed: 2050
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 808 KB/s], Decompressed: 2115
Downloaded: 2214 file(s) [attempted 2214/8459 = 26%, 185 KB/s], Decompressed: 2115
Downloaded: 2255 file(s) [attempted 2255/8459 = 26%, 184 KB/s], Decompressed: 2173
Downloaded: 2296 file(s) [attempted 2296/8459 = 27%, 26 KB/s], Decompressed: 2228
Downloaded: 2330 file(s) [attempted 2330/8459 = 27%, 88 KB/s], Decompressed: 2272
Downloaded: 2371 file(s) [attempted 2371/8459 = 28%, 297 KB/s], Decompressed: 2272
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 261 KB/s], Decompressed: 2320
Downloaded: 2453 file(s) [attempted 2453/8459 = 28%, 339 KB/s], Decompressed: 2378
Downloaded: 2494 file(s) [attempted 2494/8459 = 29%, 79 KB/s], Decompressed: 2378
Downloaded: 2532 file(s) [attempted 2532/8459 = 29%, 529 KB/s], Decompressed: 2443
Downloaded: 2576 file(s) [attempted 2576/8459 = 30%, 101 KB/s], Decompressed: 2501
Downloaded: 2621 file(s) [attempted 2621/8459 = 30%, 78 KB/s], Decompressed: 2559
Downloaded: 2657 file(s) [attempted 2657/8459 = 31%, 681 KB/s], Decompressed: 2559
Downloaded: 2696 file(s) [attempted 2696/8459 = 31%, 55 KB/s], Decompressed: 2621
Downloaded: 2734 file(s) [attempted 2734/8459 = 32%, 588 KB/s], Decompressed: 2676
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 32 KB/s], Decompressed: 2676
Downloaded: 2826 file(s) [attempted 2826/8459 = 33%, 33 KB/s], Decompressed: 2734
Downloaded: 2870 file(s) [attempted 2870/8459 = 33%, 1061 KB/s], Decompressed: 2785
Downloaded: 2905 file(s) [attempted 2905/8459 = 34%, 118 KB/s], Decompressed: 2843
Downloaded: 2942 file(s) [attempted 2942/8459 = 34%, 37 KB/s], Decompressed: 2843
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 21 KB/s], Decompressed: 2901
Downloaded: 3028 file(s) [attempted 3028/8459 = 35%, 899 KB/s], Decompressed: 2901
Downloaded: 3069 file(s) [attempted 3069/8459 = 36%, 194 KB/s], Decompressed: 2973
Downloaded: 3113 file(s) [attempted 3113/8459 = 36%, 59 KB/s], Decompressed: 2973
Downloaded: 3147 file(s) [attempted 3147/8459 = 37%, 348 KB/s], Decompressed: 3059
Downloaded: 3188 file(s) [attempted 3188/8459 = 37%, 1247 KB/s], Decompressed: 3059
Downloaded: 3230 file(s) [attempted 3230/8459 = 38%, 170 KB/s], Decompressed: 3059
Downloaded: 3271 file(s) [attempted 3271/8459 = 38%, 2877 KB/s], Decompressed: 3147
Downloaded: 3318 file(s) [attempted 3318/8459 = 39%, 90 KB/s], Decompressed: 3147
Downloaded: 3359 file(s) [attempted 3359/8459 = 39%, 79 KB/s], Decompressed: 3243
Downloaded: 3397 file(s) [attempted 3397/8459 = 40%, 49 KB/s], Decompressed: 3243
Downloaded: 3435 file(s) [attempted 3435/8459 = 40%, 111 KB/s], Decompressed: 3243
Downloaded: 3479 file(s) [attempted 3479/8459 = 41%, 916 KB/s], Decompressed: 3342
Downloaded: 3520 file(s) [attempted 3520/8459 = 41%, 233 KB/s], Decompressed: 3342
Downloaded: 3565 file(s) [attempted 3565/8459 = 42%, 231 KB/s], Decompressed: 3442
Downloaded: 3602 file(s) [attempted 3602/8459 = 42%, 566 KB/s], Decompressed: 3442
Downloaded: 3643 file(s) [attempted 3643/8459 = 43%, 504 KB/s], Decompressed: 3527
Downloaded: 3681 file(s) [attempted 3681/8459 = 43%, 66 KB/s], Decompressed: 3527
Downloaded: 3719 file(s) [attempted 3719/8459 = 43%, 144 KB/s], Decompressed: 3616
Downloaded: 3760 file(s) [attempted 3760/8459 = 44%, 110 KB/s], Decompressed: 3616
Downloaded: 3804 file(s) [attempted 3804/8459 = 44%, 56 KB/s], Decompressed: 3698
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 729 KB/s], Decompressed: 3698
Downloaded: 3886 file(s) [attempted 3886/8459 = 45%, 430 KB/s], Decompressed: 3777
Downloaded: 3920 file(s) [attempted 3920/8459 = 46%, 2311 KB/s], Decompressed: 3777
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 285 KB/s], Decompressed: 3855
Downloaded: 4002 file(s) [attempted 4002/8459 = 47%, 493 KB/s], Decompressed: 3855
Downloaded: 4047 file(s) [attempted 4047/8459 = 47%, 55 KB/s], Decompressed: 3944
Downloaded: 4088 file(s) [attempted 4088/8459 = 48%, 272 KB/s], Decompressed: 3944
Downloaded: 4125 file(s) [attempted 4125/8459 = 48%, 105 KB/s], Decompressed: 4030
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 68 KB/s], Decompressed: 4030
Downloaded: 4197 file(s) [attempted 4197/8459 = 49%, 191 KB/s], Decompressed: 4119
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 77 KB/s], Decompressed: 4119
Downloaded: 4286 file(s) [attempted 4286/8459 = 50%, 126 KB/s], Decompressed: 4197
Downloaded: 4327 file(s) [attempted 4327/8459 = 51%, 1928 KB/s], Decompressed: 4197
Downloaded: 4368 file(s) [attempted 4368/8459 = 51%, 294 KB/s], Decompressed: 4276
Downloaded: 4409 file(s) [attempted 4409/8459 = 52%, 85 KB/s], Decompressed: 4276
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 459 KB/s], Decompressed: 4351
Downloaded: 4488 file(s) [attempted 4488/8459 = 53%, 661 KB/s], Decompressed: 4351
Downloaded: 4529 file(s) [attempted 4529/8459 = 53%, 35 KB/s], Decompressed: 4433
Downloaded: 4567 file(s) [attempted 4567/8459 = 53%, 35 KB/s], Decompressed: 4433
Downloaded: 4604 file(s) [attempted 4604/8459 = 54%, 158 KB/s], Decompressed: 4508
Downloaded: 4645 file(s) [attempted 4645/8459 = 54%, 297 KB/s], Decompressed: 4577
Downloaded: 4686 file(s) [attempted 4686/8459 = 55%, 57 KB/s], Decompressed: 4577
Downloaded: 4727 file(s) [attempted 4727/8459 = 55%, 199 KB/s], Decompressed: 4638
Downloaded: 4765 file(s) [attempted 4765/8459 = 56%, 541 KB/s], Decompressed: 4697
Downloaded: 4802 file(s) [attempted 4802/8459 = 56%, 702 KB/s], Decompressed: 4697
Downloaded: 4844 file(s) [attempted 4844/8459 = 57%, 273 KB/s], Decompressed: 4755
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 115 KB/s], Decompressed: 4755
Downloaded: 4915 file(s) [attempted 4915/8459 = 58%, 278 KB/s], Decompressed: 4816
Downloaded: 4956 file(s) [attempted 4956/8459 = 58%, 122 KB/s], Decompressed: 4816
Downloaded: 4994 file(s) [attempted 4994/8459 = 59%, 1037 KB/s], Decompressed: 4816
Downloaded: 5035 file(s) [attempted 5035/8459 = 59%, 331 KB/s], Decompressed: 4881
Downloaded: 5073 file(s) [attempted 5073/8459 = 59%, 45 KB/s], Decompressed: 4881
Downloaded: 5110 file(s) [attempted 5110/8459 = 60%, 147 KB/s], Decompressed: 4881
Downloaded: 5151 file(s) [attempted 5151/8459 = 60%, 225 KB/s], Decompressed: 5008
Downloaded: 5192 file(s) [attempted 5192/8459 = 61%, 690 KB/s], Decompressed: 5008
Downloaded: 5227 file(s) [attempted 5227/8459 = 61%, 206 KB/s], Decompressed: 5008
Downloaded: 5271 file(s) [attempted 5271/8459 = 62%, 153 KB/s], Decompressed: 5127
Downloaded: 5312 file(s) [attempted 5312/8459 = 62%, 425 KB/s], Decompressed: 5127
Downloaded: 5353 file(s) [attempted 5353/8459 = 63%, 627 KB/s], Decompressed: 5127
Downloaded: 5398 file(s) [attempted 5398/8459 = 63%, 60 KB/s], Decompressed: 5127
Downloaded: 5432 file(s) [attempted 5432/8459 = 64%, 231 KB/s], Decompressed: 5127
Downloaded: 5473 file(s) [attempted 5473/8459 = 64%, 271 KB/s], Decompressed: 5271
Downloaded: 5510 file(s) [attempted 5510/8459 = 65%, 117 KB/s], Decompressed: 5271
Downloaded: 5555 file(s) [attempted 5555/8459 = 65%, 1142 KB/s], Decompressed: 5271
Downloaded: 5592 file(s) [attempted 5592/8459 = 66%, 76 KB/s], Decompressed: 5271
Downloaded: 5633 file(s) [attempted 5633/8459 = 66%, 344 KB/s], Decompressed: 5445
Downloaded: 5674 file(s) [attempted 5674/8459 = 67%, 185 KB/s], Decompressed: 5445
Downloaded: 5709 file(s) [attempted 5709/8459 = 67%, 730 KB/s], Decompressed: 5445
Downloaded: 5753 file(s) [attempted 5753/8459 = 68%, 310 KB/s], Decompressed: 5603
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 413 KB/s], Decompressed: 5603
Downloaded: 5842 file(s) [attempted 5842/8459 = 69%, 346 KB/s], Decompressed: 5603
Downloaded: 5883 file(s) [attempted 5883/8459 = 69%, 56 KB/s], Decompressed: 5603
Downloaded: 5921 file(s) [attempted 5921/8459 = 69%, 723 KB/s], Decompressed: 5750
Downloaded: 5958 file(s) [attempted 5958/8459 = 70%, 531 KB/s], Decompressed: 5750
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 181 KB/s], Decompressed: 5750
Downloaded: 6044 file(s) [attempted 6044/8459 = 71%, 94 KB/s], Decompressed: 5893
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 352 KB/s], Decompressed: 5893
Downloaded: 6129 file(s) [attempted 6129/8459 = 72%, 741 KB/s], Decompressed: 5893
Downloaded: 6167 file(s) [attempted 6167/8459 = 72%, 657 KB/s], Decompressed: 6034
Downloaded: 6201 file(s) [attempted 6201/8459 = 73%, 517 KB/s], Decompressed: 6034
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 68 KB/s], Decompressed: 6034
Downloaded: 6290 file(s) [attempted 6290/8459 = 74%, 67 KB/s], Decompressed: 6163
Downloaded: 6331 file(s) [attempted 6331/8459 = 74%, 37 KB/s], Decompressed: 6163
Downloaded: 6372 file(s) [attempted 6372/8459 = 75%, 514 KB/s], Decompressed: 6163
Downloaded: 6406 file(s) [attempted 6406/8459 = 75%, 346 KB/s], Decompressed: 6163
Downloaded: 6444 file(s) [attempted 6444/8459 = 76%, 659 KB/s], Decompressed: 6290
Downloaded: 6486 file(s) [attempted 6486/8459 = 76%, 68 KB/s], Decompressed: 6290
Downloaded: 6529 file(s) [attempted 6529/8459 = 77%, 340 KB/s], Decompressed: 6290
Downloaded: 6564 file(s) [attempted 6564/8459 = 77%, 771 KB/s], Decompressed: 6290
Downloaded: 6601 file(s) [attempted 6601/8459 = 78%, 212 KB/s], Decompressed: 6430
Downloaded: 6642 file(s) [attempted 6642/8459 = 78%, 232 KB/s], Decompressed: 6430
Downloaded: 6690 file(s) [attempted 6690/8459 = 79%, 102 KB/s], Decompressed: 6430
Downloaded: 6731 file(s) [attempted 6731/8459 = 79%, 31 KB/s], Decompressed: 6567
Downloaded: 6772 file(s) [attempted 6772/8459 = 80%, 58 KB/s], Decompressed: 6567
Downloaded: 6810 file(s) [attempted 6810/8459 = 80%, 852 KB/s], Decompressed: 6567
Downloaded: 6844 file(s) [attempted 6844/8459 = 80%, 220 KB/s], Decompressed: 6567
Downloaded: 6888 file(s) [attempted 6888/8459 = 81%, 180 KB/s], Decompressed: 6567
Downloaded: 6933 file(s) [attempted 6933/8459 = 81%, 254 KB/s], Decompressed: 6704
Downloaded: 6970 file(s) [attempted 6970/8459 = 82%, 405 KB/s], Decompressed: 6704
Downloaded: 7008 file(s) [attempted 7008/8459 = 82%, 109 KB/s], Decompressed: 6704
Downloaded: 7049 file(s) [attempted 7049/8459 = 83%, 323 KB/s], Decompressed: 6704
Downloaded: 7090 file(s) [attempted 7090/8459 = 83%, 250 KB/s], Decompressed: 6704
Downloaded: 7135 file(s) [attempted 7135/8459 = 84%, 117 KB/s], Decompressed: 6704
Downloaded: 7182 file(s) [attempted 7182/8459 = 84%, 92 KB/s], Decompressed: 6704
Downloaded: 7227 file(s) [attempted 7227/8459 = 85%, 154 KB/s], Decompressed: 6892
Downloaded: 7261 file(s) [attempted 7261/8459 = 85%, 175 KB/s], Decompressed: 6892
Downloaded: 7299 file(s) [attempted 7299/8459 = 86%, 277 KB/s], Decompressed: 6892
Downloaded: 7340 file(s) [attempted 7340/8459 = 86%, 942 KB/s], Decompressed: 6892
Downloaded: 7384 file(s) [attempted 7384/8459 = 87%, 293 KB/s], Decompressed: 6892
Downloaded: 7425 file(s) [attempted 7425/8459 = 87%, 99 KB/s], Decompressed: 6892
Downloaded: 7466 file(s) [attempted 7466/8459 = 88%, 145 KB/s], Decompressed: 6892
Downloaded: 7504 file(s) [attempted 7504/8459 = 88%, 452 KB/s], Decompressed: 7189
Downloaded: 7545 file(s) [attempted 7545/8459 = 89%, 119 KB/s], Decompressed: 7189
Downloaded: 7589 file(s) [attempted 7589/8459 = 89%, 152 KB/s], Decompressed: 7189
Downloaded: 7630 file(s) [attempted 7630/8459 = 90%, 57 KB/s], Decompressed: 7189
Downloaded: 7675 file(s) [attempted 7675/8459 = 90%, 227 KB/s], Decompressed: 7189
Downloaded: 7716 file(s) [attempted 7716/8459 = 91%, 66 KB/s], Decompressed: 7189
Downloaded: 7754 file(s) [attempted 7754/8459 = 91%, 1081 KB/s], Decompressed: 7189
Downloaded: 7784 file(s) [attempted 7784/8459 = 92%, 77 KB/s], Decompressed: 7189
Downloaded: 7829 file(s) [attempted 7829/8459 = 92%, 1874 KB/s], Decompressed: 7483
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 191 KB/s], Decompressed: 7483
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 653 KB/s], Decompressed: 7483
Downloaded: 7979 file(s) [attempted 7979/8459 = 94%, 664 KB/s], Decompressed: 7483
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 110 KB/s], Decompressed: 7483
Downloaded: 8054 file(s) [attempted 8054/8459 = 95%, 12 KB/s], Decompressed: 7483
Downloaded: 8058 file(s) [attempted 8058/8459 = 95%, 221 KB/s], Decompressed: 7483
Downloaded: 8106 file(s) [attempted 8106/8459 = 95%, 205 KB/s], Decompressed: 7483
Downloaded: 8154 file(s) [attempted 8154/8459 = 96%, 279 KB/s], Decompressed: 7483
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 513 KB/s], Decompressed: 7483
Downloaded: 8256 file(s) [attempted 8256/8459 = 97%, 220 KB/s], Decompressed: 7483
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 196 KB/s], Decompressed: 7483
Downloaded: 8355 file(s) [attempted 8355/8459 = 98%, 187 KB/s], Decompressed: 7483
Downloaded: 8403 file(s) [attempted 8403/8459 = 99%, 91 KB/s], Decompressed: 7829
Downloaded: 8455 file(s) [attempted 8455/8459 = 99%, 158 KB/s], Decompressed: 7829
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 377 KB/s], Decompressed: 7829
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 377 KB/s], Decompressed: 7829

apx-runtime-resource-v1	apx-verifier-job-1739-runtime-lake_cache-4150624-1787715451300270003-0	3788800	4136960	21474836480	0	0	0	0	0	0	607911936	4917338112	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/26/2026, 5:40:34 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (107s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (112s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (331s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (107s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (151s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (180s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (91s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (264s)
✔ [790/791] Built Iut.Foundations.QualitativeData (148s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (381s)
✔ [3509/3519] Built Iut.Foundations.Orbicurve (1110s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (942s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1243s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (395s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (250s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (281s)
✔ [3983/3986] Built Iut.Foundations.SourceAnabelioid (920s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1739-runtime-lean_checker-4150624-1787715616031513915-1 on attempt 1

blueprint_buildexit 1duration 16s · created 8/26/2026, 5:40:34 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1739-runtime-blueprint_build-4150624-1787722816686246933-2	937984	1445888	21474836480	0	0	0	0	0	0	885039104	988364800	21474836480	0	0	0	0	0	0