Verification run

Run 1284

promachina/iut-leanbranch mastertriggered via poller

failedcommit 41d15f0e2e0etoolchain lean-v4-30-0prover leantook 2h 2m · 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-1735-source
exit_code=Some(128) duration_ms=366
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1735-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=4172
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1735-source'...


$ git checkout 41d15f0e2e0e36dbf9bc1da67acf596c9416068a
exit_code=Some(0) duration_ms=339
stderr:
Note: switching to '41d15f0e2e0e36dbf9bc1da67acf596c9416068a'.

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 41d15f0 Merge pull request #971 from promachina/e23-3i-selected-k-root-cyclic-normalization

Resolved source revision: 41d15f0e2e0e36dbf9bc1da67acf596c9416068a

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=41d15f0e2e0e36dbf9bc1da67acf596c9416068a provenance={"branch":"master","checked_out_revision":"41d15f0e2e0e36dbf9bc1da67acf596c9416068a","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"41d15f0e2e0e36dbf9bc1da67acf596c9416068a","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=31072 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=119833
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 (9.4s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (100ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (287ms)
✔ [13/25] Built Cache.Lean:c.o (141ms)
✔ [15/25] Built Cache.Init (331ms)
✔ [16/25] Built Cache.IO (7.7s)
✔ [17/25] Built Cache.Init:c.o (83ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (885ms)
✔ [20/25] Built Cache.Hashing:c.o (364ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (543ms)
✔ [25/25] Built cache:exe (6.4s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 19 file(s) [attempted 19/8459 = 0%, 9 KB/s], Decompressed: 12
Downloaded: 39 file(s) [attempted 39/8459 = 0%, 23 KB/s], Decompressed: 26
Downloaded: 62 file(s) [attempted 62/8459 = 0%, 30 KB/s], Decompressed: 36
Downloaded: 84 file(s) [attempted 84/8459 = 0%, 62 KB/s], Decompressed: 50
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 328 KB/s], Decompressed: 68
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 88 KB/s], Decompressed: 89
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 660 KB/s], Decompressed: 120
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 527 KB/s], Decompressed: 151
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 524 KB/s], Decompressed: 189
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 114 KB/s], Decompressed: 189
Downloaded: 309 file(s) [attempted 309/8459 = 3%, 336 KB/s], Decompressed: 233
Downloaded: 346 file(s) [attempted 346/8459 = 4%, 22 KB/s], Decompressed: 281
Downloaded: 387 file(s) [attempted 387/8459 = 4%, 54 KB/s], Decompressed: 329
Downloaded: 425 file(s) [attempted 425/8459 = 5%, 141 KB/s], Decompressed: 374
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 163 KB/s], Decompressed: 374
Downloaded: 500 file(s) [attempted 500/8459 = 5%, 145 KB/s], Decompressed: 422
Downloaded: 538 file(s) [attempted 538/8459 = 6%, 327 KB/s], Decompressed: 476
Downloaded: 576 file(s) [attempted 576/8459 = 6%, 560 KB/s], Decompressed: 476
Downloaded: 617 file(s) [attempted 617/8459 = 7%, 169 KB/s], Decompressed: 531
Downloaded: 658 file(s) [attempted 658/8459 = 7%, 145 KB/s], Decompressed: 593
Downloaded: 699 file(s) [attempted 699/8459 = 8%, 334 KB/s], Decompressed: 593
Downloaded: 740 file(s) [attempted 740/8459 = 8%, 322 KB/s], Decompressed: 658
Downloaded: 778 file(s) [attempted 778/8459 = 9%, 173 KB/s], Decompressed: 658
Downloaded: 822 file(s) [attempted 822/8459 = 9%, 531 KB/s], Decompressed: 730
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 588 KB/s], Decompressed: 730
Downloaded: 904 file(s) [attempted 904/8459 = 10%, 371 KB/s], Decompressed: 802
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 174 KB/s], Decompressed: 870
Downloaded: 983 file(s) [attempted 983/8459 = 11%, 421 KB/s], Decompressed: 870
Downloaded: 1021 file(s) [attempted 1021/8459 = 12%, 170 KB/s], Decompressed: 942
Downloaded: 1065 file(s) [attempted 1065/8459 = 12%, 182 KB/s], Decompressed: 942
Downloaded: 1109 file(s) [attempted 1109/8459 = 13%, 1797 KB/s], Decompressed: 1017
Downloaded: 1150 file(s) [attempted 1150/8459 = 13%, 116 KB/s], Decompressed: 1017
Downloaded: 1185 file(s) [attempted 1185/8459 = 14%, 555 KB/s], Decompressed: 1099
Downloaded: 1226 file(s) [attempted 1226/8459 = 14%, 240 KB/s], Decompressed: 1099
Downloaded: 1265 file(s) [attempted 1265/8459 = 14%, 138 KB/s], Decompressed: 1174
Downloaded: 1311 file(s) [attempted 1311/8459 = 15%, 804 KB/s], Decompressed: 1174
Downloaded: 1356 file(s) [attempted 1356/8459 = 16%, 126 KB/s], Decompressed: 1174
Downloaded: 1390 file(s) [attempted 1390/8459 = 16%, 38 KB/s], Decompressed: 1263
Downloaded: 1431 file(s) [attempted 1431/8459 = 16%, 1275 KB/s], Decompressed: 1263
Downloaded: 1472 file(s) [attempted 1472/8459 = 17%, 261 KB/s], Decompressed: 1263
Downloaded: 1513 file(s) [attempted 1513/8459 = 17%, 1014 KB/s], Decompressed: 1369
Downloaded: 1551 file(s) [attempted 1551/8459 = 18%, 182 KB/s], Decompressed: 1369
Downloaded: 1588 file(s) [attempted 1588/8459 = 18%, 319 KB/s], Decompressed: 1489
Downloaded: 1636 file(s) [attempted 1636/8459 = 19%, 239 KB/s], Decompressed: 1489
Downloaded: 1681 file(s) [attempted 1681/8459 = 19%, 342 KB/s], Decompressed: 1489
Downloaded: 1722 file(s) [attempted 1722/8459 = 20%, 84 KB/s], Decompressed: 1588
Downloaded: 1763 file(s) [attempted 1763/8459 = 20%, 291 KB/s], Decompressed: 1588
Downloaded: 1800 file(s) [attempted 1800/8459 = 21%, 177 KB/s], Decompressed: 1588
Downloaded: 1841 file(s) [attempted 1841/8459 = 21%, 107 KB/s], Decompressed: 1693
Downloaded: 1882 file(s) [attempted 1882/8459 = 22%, 179 KB/s], Decompressed: 1693
Downloaded: 1923 file(s) [attempted 1923/8459 = 22%, 119 KB/s], Decompressed: 1693
Downloaded: 1963 file(s) [attempted 1963/8459 = 23%, 314 KB/s], Decompressed: 1814
Downloaded: 1995 file(s) [attempted 1995/8459 = 23%, 204 KB/s], Decompressed: 1814
Downloaded: 2040 file(s) [attempted 2040/8459 = 24%, 337 KB/s], Decompressed: 1814
Downloaded: 2077 file(s) [attempted 2077/8459 = 24%, 1222 KB/s], Decompressed: 1934
Downloaded: 2118 file(s) [attempted 2118/8459 = 25%, 613 KB/s], Decompressed: 1934
Downloaded: 2156 file(s) [attempted 2156/8459 = 25%, 113 KB/s], Decompressed: 1934
Downloaded: 2193 file(s) [attempted 2193/8459 = 25%, 456 KB/s], Decompressed: 2050
Downloaded: 2234 file(s) [attempted 2234/8459 = 26%, 483 KB/s], Decompressed: 2050
Downloaded: 2275 file(s) [attempted 2275/8459 = 26%, 487 KB/s], Decompressed: 2050
Downloaded: 2313 file(s) [attempted 2313/8459 = 27%, 316 KB/s], Decompressed: 2169
Downloaded: 2354 file(s) [attempted 2354/8459 = 27%, 927 KB/s], Decompressed: 2169
Downloaded: 2388 file(s) [attempted 2388/8459 = 28%, 271 KB/s], Decompressed: 2169
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 22 KB/s], Decompressed: 2293
Downloaded: 2477 file(s) [attempted 2477/8459 = 29%, 955 KB/s], Decompressed: 2293
Downloaded: 2515 file(s) [attempted 2515/8459 = 29%, 123 KB/s], Decompressed: 2293
Downloaded: 2552 file(s) [attempted 2552/8459 = 30%, 64 KB/s], Decompressed: 2412
Downloaded: 2590 file(s) [attempted 2590/8459 = 30%, 142 KB/s], Decompressed: 2412
Downloaded: 2631 file(s) [attempted 2631/8459 = 31%, 146 KB/s], Decompressed: 2412
Downloaded: 2676 file(s) [attempted 2676/8459 = 31%, 423 KB/s], Decompressed: 2532
Downloaded: 2710 file(s) [attempted 2710/8459 = 32%, 232 KB/s], Decompressed: 2532
Downloaded: 2751 file(s) [attempted 2751/8459 = 32%, 133 KB/s], Decompressed: 2532
Downloaded: 2792 file(s) [attempted 2792/8459 = 33%, 1833 KB/s], Decompressed: 2641
Downloaded: 2833 file(s) [attempted 2833/8459 = 33%, 194 KB/s], Decompressed: 2641
Downloaded: 2874 file(s) [attempted 2874/8459 = 33%, 588 KB/s], Decompressed: 2641
Downloaded: 2912 file(s) [attempted 2912/8459 = 34%, 225 KB/s], Decompressed: 2754
Downloaded: 2949 file(s) [attempted 2949/8459 = 34%, 156 KB/s], Decompressed: 2754
Downloaded: 2987 file(s) [attempted 2987/8459 = 35%, 694 KB/s], Decompressed: 2754
Downloaded: 3014 file(s) [attempted 3014/8459 = 35%, 428 KB/s], Decompressed: 2754
Downloaded: 3015 file(s) [attempted 3015/8459 = 35%, 1478 KB/s], Decompressed: 2754
Downloaded: 3016 file(s) [attempted 3016/8459 = 35%, 599 KB/s], Decompressed: 2754
Downloaded: 3017 file(s) [attempted 3017/8459 = 35%, 199 KB/s], Decompressed: 2754
Downloaded: 3065 file(s) [attempted 3065/8459 = 36%, 6 KB/s], Decompressed: 2884
Downloaded: 3117 file(s) [attempted 3117/8459 = 36%, 428 KB/s], Decompressed: 2884
Downloaded: 3168 file(s) [attempted 3168/8459 = 37%, 64 KB/s], Decompressed: 2884
Downloaded: 3216 file(s) [attempted 3216/8459 = 38%, 38 KB/s], Decompressed: 3035
Downloaded: 3267 file(s) [attempted 3267/8459 = 38%, 482 KB/s], Decompressed: 3035
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 363 KB/s], Decompressed: 3185
Downloaded: 3363 file(s) [attempted 3363/8459 = 39%, 55 KB/s], Decompressed: 3185
Downloaded: 3407 file(s) [attempted 3407/8459 = 40%, 612 KB/s], Decompressed: 3185
Downloaded: 3452 file(s) [attempted 3452/8459 = 40%, 83 KB/s], Decompressed: 3315
Downloaded: 3476 file(s) [attempted 3476/8459 = 41%, 784 KB/s], Decompressed: 3315
Downloaded: 3520 file(s) [attempted 3520/8459 = 41%, 244 KB/s], Decompressed: 3315
Downloaded: 3561 file(s) [attempted 3561/8459 = 42%, 212 KB/s], Decompressed: 3424
Downloaded: 3606 file(s) [attempted 3606/8459 = 42%, 35 KB/s], Decompressed: 3424
Downloaded: 3654 file(s) [attempted 3654/8459 = 43%, 578 KB/s], Decompressed: 3524
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 306 KB/s], Decompressed: 3611
Downloaded: 3743 file(s) [attempted 3743/8459 = 44%, 369 KB/s], Decompressed: 3611
Downloaded: 3777 file(s) [attempted 3777/8459 = 44%, 172 KB/s], Decompressed: 3691
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 215 KB/s], Decompressed: 3691
Downloaded: 3859 file(s) [attempted 3859/8459 = 45%, 453 KB/s], Decompressed: 3763
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 385 KB/s], Decompressed: 3821
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 90 KB/s], Decompressed: 3821
Downloaded: 3982 file(s) [attempted 3982/8459 = 47%, 321 KB/s], Decompressed: 3872
Downloaded: 4013 file(s) [attempted 4013/8459 = 47%, 69 KB/s], Decompressed: 3948
Downloaded: 4057 file(s) [attempted 4057/8459 = 47%, 620 KB/s], Decompressed: 3948
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 160 KB/s], Decompressed: 4013
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 807 KB/s], Decompressed: 4067
Downloaded: 4180 file(s) [attempted 4180/8459 = 49%, 186 KB/s], Decompressed: 4125
Downloaded: 4225 file(s) [attempted 4225/8459 = 49%, 76 KB/s], Decompressed: 4125
Downloaded: 4262 file(s) [attempted 4262/8459 = 50%, 447 KB/s], Decompressed: 4180
Downloaded: 4303 file(s) [attempted 4303/8459 = 50%, 1035 KB/s], Decompressed: 4231
Downloaded: 4341 file(s) [attempted 4341/8459 = 51%, 219 KB/s], Decompressed: 4231
Downloaded: 4385 file(s) [attempted 4385/8459 = 51%, 231 KB/s], Decompressed: 4293
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 307 KB/s], Decompressed: 4355
Downloaded: 4474 file(s) [attempted 4474/8459 = 52%, 123 KB/s], Decompressed: 4416
Downloaded: 4512 file(s) [attempted 4512/8459 = 53%, 1013 KB/s], Decompressed: 4416
Downloaded: 4550 file(s) [attempted 4550/8459 = 53%, 166 KB/s], Decompressed: 4474
Downloaded: 4587 file(s) [attempted 4587/8459 = 54%, 619 KB/s], Decompressed: 4526
Downloaded: 4632 file(s) [attempted 4632/8459 = 54%, 1090 KB/s], Decompressed: 4577
Downloaded: 4676 file(s) [attempted 4676/8459 = 55%, 233 KB/s], Decompressed: 4621
Downloaded: 4714 file(s) [attempted 4714/8459 = 55%, 320 KB/s], Decompressed: 4621
Downloaded: 4751 file(s) [attempted 4751/8459 = 56%, 264 KB/s], Decompressed: 4676
Downloaded: 4792 file(s) [attempted 4792/8459 = 56%, 474 KB/s], Decompressed: 4734
Downloaded: 4837 file(s) [attempted 4837/8459 = 57%, 180 KB/s], Decompressed: 4734
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 33 KB/s], Decompressed: 4792
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 91 KB/s], Decompressed: 4792
Downloaded: 4963 file(s) [attempted 4963/8459 = 58%, 398 KB/s], Decompressed: 4857
Downloaded: 5001 file(s) [attempted 5001/8459 = 59%, 240 KB/s], Decompressed: 4857
Downloaded: 5039 file(s) [attempted 5039/8459 = 59%, 445 KB/s], Decompressed: 4929
Downloaded: 5083 file(s) [attempted 5083/8459 = 60%, 279 KB/s], Decompressed: 4929
Downloaded: 5124 file(s) [attempted 5124/8459 = 60%, 636 KB/s], Decompressed: 5011
Downloaded: 5168 file(s) [attempted 5168/8459 = 61%, 74 KB/s], Decompressed: 5086
Downloaded: 5210 file(s) [attempted 5210/8459 = 61%, 185 KB/s], Decompressed: 5086
Downloaded: 5247 file(s) [attempted 5247/8459 = 62%, 754 KB/s], Decompressed: 5165
Downloaded: 5285 file(s) [attempted 5285/8459 = 62%, 689 KB/s], Decompressed: 5165
Downloaded: 5329 file(s) [attempted 5329/8459 = 62%, 401 KB/s], Decompressed: 5233
Downloaded: 5370 file(s) [attempted 5370/8459 = 63%, 169 KB/s], Decompressed: 5309
Downloaded: 5415 file(s) [attempted 5415/8459 = 64%, 627 KB/s], Decompressed: 5309
Downloaded: 5452 file(s) [attempted 5452/8459 = 64%, 850 KB/s], Decompressed: 5370
Downloaded: 5493 file(s) [attempted 5493/8459 = 64%, 190 KB/s], Decompressed: 5435
Downloaded: 5538 file(s) [attempted 5538/8459 = 65%, 46 KB/s], Decompressed: 5435
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 143 KB/s], Decompressed: 5493
Downloaded: 5616 file(s) [attempted 5616/8459 = 66%, 356 KB/s], Decompressed: 5548
Downloaded: 5657 file(s) [attempted 5657/8459 = 66%, 204 KB/s], Decompressed: 5603
Downloaded: 5698 file(s) [attempted 5698/8459 = 67%, 432 KB/s], Decompressed: 5603
Downloaded: 5740 file(s) [attempted 5740/8459 = 67%, 104 KB/s], Decompressed: 5657
Downloaded: 5777 file(s) [attempted 5777/8459 = 68%, 747 KB/s], Decompressed: 5657
Downloaded: 5818 file(s) [attempted 5818/8459 = 68%, 197 KB/s], Decompressed: 5719
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 215 KB/s], Decompressed: 5719
Downloaded: 5897 file(s) [attempted 5897/8459 = 69%, 92 KB/s], Decompressed: 5781
Downloaded: 5934 file(s) [attempted 5934/8459 = 70%, 138 KB/s], Decompressed: 5781
Downloaded: 5975 file(s) [attempted 5975/8459 = 70%, 540 KB/s], Decompressed: 5863
Downloaded: 6020 file(s) [attempted 6020/8459 = 71%, 65 KB/s], Decompressed: 5863
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 368 KB/s], Decompressed: 5945
Downloaded: 6099 file(s) [attempted 6099/8459 = 72%, 55 KB/s], Decompressed: 5945
Downloaded: 6136 file(s) [attempted 6136/8459 = 72%, 1001 KB/s], Decompressed: 6027
Downloaded: 6177 file(s) [attempted 6177/8459 = 73%, 629 KB/s], Decompressed: 6105
Downloaded: 6218 file(s) [attempted 6218/8459 = 73%, 486 KB/s], Decompressed: 6105
Downloaded: 6263 file(s) [attempted 6263/8459 = 74%, 47 KB/s], Decompressed: 6177
Downloaded: 6297 file(s) [attempted 6297/8459 = 74%, 713 KB/s], Decompressed: 6177
Downloaded: 6335 file(s) [attempted 6335/8459 = 74%, 451 KB/s], Decompressed: 6246
Downloaded: 6376 file(s) [attempted 6376/8459 = 75%, 181 KB/s], Decompressed: 6246
Downloaded: 6417 file(s) [attempted 6417/8459 = 75%, 466 KB/s], Decompressed: 6246
Downloaded: 6454 file(s) [attempted 6454/8459 = 76%, 45 KB/s], Decompressed: 6317
Downloaded: 6495 file(s) [attempted 6495/8459 = 76%, 76 KB/s], Decompressed: 6317
Downloaded: 6533 file(s) [attempted 6533/8459 = 77%, 246 KB/s], Decompressed: 6420
Downloaded: 6570 file(s) [attempted 6570/8459 = 77%, 22 KB/s], Decompressed: 6420
Downloaded: 6608 file(s) [attempted 6608/8459 = 78%, 609 KB/s], Decompressed: 6420
Downloaded: 6649 file(s) [attempted 6649/8459 = 78%, 226 KB/s], Decompressed: 6533
Downloaded: 6690 file(s) [attempted 6690/8459 = 79%, 940 KB/s], Decompressed: 6533
Downloaded: 6728 file(s) [attempted 6728/8459 = 79%, 161 KB/s], Decompressed: 6533
Downloaded: 6769 file(s) [attempted 6769/8459 = 80%, 120 KB/s], Decompressed: 6642
Downloaded: 6806 file(s) [attempted 6806/8459 = 80%, 212 KB/s], Decompressed: 6642
Downloaded: 6851 file(s) [attempted 6851/8459 = 80%, 111 KB/s], Decompressed: 6745
Downloaded: 6892 file(s) [attempted 6892/8459 = 81%, 200 KB/s], Decompressed: 6745
Downloaded: 6926 file(s) [attempted 6926/8459 = 81%, 92 KB/s], Decompressed: 6841
Downloaded: 6967 file(s) [attempted 6967/8459 = 82%, 188 KB/s], Decompressed: 6841
Downloaded: 7008 file(s) [attempted 7008/8459 = 82%, 95 KB/s], Decompressed: 6926
Downloaded: 7053 file(s) [attempted 7053/8459 = 83%, 245 KB/s], Decompressed: 6926
Downloaded: 7092 file(s) [attempted 7092/8459 = 83%, 659 KB/s], Decompressed: 7008
Downloaded: 7131 file(s) [attempted 7131/8459 = 84%, 266 KB/s], Decompressed: 7008
Downloaded: 7172 file(s) [attempted 7172/8459 = 84%, 38 KB/s], Decompressed: 7090
Downloaded: 7213 file(s) [attempted 7213/8459 = 85%, 42 KB/s], Decompressed: 7090
Downloaded: 7251 file(s) [attempted 7251/8459 = 85%, 285 KB/s], Decompressed: 7169
Downloaded: 7292 file(s) [attempted 7292/8459 = 86%, 36 KB/s], Decompressed: 7169
Downloaded: 7330 file(s) [attempted 7330/8459 = 86%, 160 KB/s], Decompressed: 7169
Downloaded: 7374 file(s) [attempted 7374/8459 = 87%, 249 KB/s], Decompressed: 7248
Downloaded: 7415 file(s) [attempted 7415/8459 = 87%, 120 KB/s], Decompressed: 7248
Downloaded: 7453 file(s) [attempted 7453/8459 = 88%, 318 KB/s], Decompressed: 7333
Downloaded: 7490 file(s) [attempted 7490/8459 = 88%, 142 KB/s], Decompressed: 7333
Downloaded: 7531 file(s) [attempted 7531/8459 = 89%, 118 KB/s], Decompressed: 7429
Downloaded: 7572 file(s) [attempted 7572/8459 = 89%, 413 KB/s], Decompressed: 7429
Downloaded: 7610 file(s) [attempted 7610/8459 = 89%, 222 KB/s], Decompressed: 7429
Downloaded: 7651 file(s) [attempted 7651/8459 = 90%, 42 KB/s], Decompressed: 7528
Downloaded: 7692 file(s) [attempted 7692/8459 = 90%, 460 KB/s], Decompressed: 7528
Downloaded: 7730 file(s) [attempted 7730/8459 = 91%, 105 KB/s], Decompressed: 7528
Downloaded: 7767 file(s) [attempted 7767/8459 = 91%, 99 KB/s], Decompressed: 7630
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 454 KB/s], Decompressed: 7630
Downloaded: 7849 file(s) [attempted 7849/8459 = 92%, 205 KB/s], Decompressed: 7630
Downloaded: 7890 file(s) [attempted 7890/8459 = 93%, 635 KB/s], Decompressed: 7743
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 215 KB/s], Decompressed: 7743
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 88 KB/s], Decompressed: 7856
Downloaded: 8010 file(s) [attempted 8010/8459 = 94%, 111 KB/s], Decompressed: 7856
Downloaded: 8051 file(s) [attempted 8051/8459 = 95%, 96 KB/s], Decompressed: 7856
Downloaded: 8089 file(s) [attempted 8089/8459 = 95%, 340 KB/s], Decompressed: 7966
Downloaded: 8130 file(s) [attempted 8130/8459 = 96%, 869 KB/s], Decompressed: 7966
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 335 KB/s], Decompressed: 8068
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 23 KB/s], Decompressed: 8068
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 791 KB/s], Decompressed: 8068
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 521 KB/s], Decompressed: 8167
Downloaded: 8322 file(s) [attempted 8322/8459 = 98%, 303 KB/s], Decompressed: 8249
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 904 KB/s], Decompressed: 8249
Downloaded: 8400 file(s) [attempted 8400/8459 = 99%, 51 KB/s], Decompressed: 8321
Downloaded: 8437 file(s) [attempted 8437/8459 = 99%, 149 KB/s], Decompressed: 8321
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 683 KB/s], Decompressed: 8386
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 683 KB/s], Decompressed: 8386

apx-runtime-resource-v1	apx-verifier-job-1735-runtime-lake_cache-4092771-1787685486448909566-0	4022272	4272128	21474836480	0	0	0	0	0	0	5257609216	5513625600	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7201801
stdout:
✔ [500/502] Built Iut.Foundations.Species (98s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (136s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (100s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (96s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (120s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (71s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (200s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (70s)
✔ [790/794] Built Iut.Foundations.QualitativeData (74s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (488s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1276s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1354s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (1450s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (356s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (373s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (336s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1735-runtime-lean_checker-4092771-1787685606288636408-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1735-runtime-blueprint_build-4092771-1787692808728291107-2	1150976	1400832	21474836480	0	0	0	0	0	0	879525888	982867968	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 366 ms · created 8/25/2026, 9:20:26 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1735-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/25/2026, 9:20:26 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 339 ms · created 8/25/2026, 9:20:26 PM

git checkout 41d15f0e2e0e36dbf9bc1da67acf596c9416068a

Note: switching to '41d15f0e2e0e36dbf9bc1da67acf596c9416068a'.

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 41d15f0 Merge pull request #971 from promachina/e23-3i-selected-k-root-cyclic-normalization

lake_cacheexit 0duration 2m 0s · created 8/25/2026, 9:20:26 PM

lake exe cache get

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

✔ [8/25] Built Cache.Lean (9.4s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (100ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (287ms)
✔ [13/25] Built Cache.Lean:c.o (141ms)
✔ [15/25] Built Cache.Init (331ms)
✔ [16/25] Built Cache.IO (7.7s)
✔ [17/25] Built Cache.Init:c.o (83ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (885ms)
✔ [20/25] Built Cache.Hashing:c.o (364ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (543ms)
✔ [25/25] Built cache:exe (6.4s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 19 file(s) [attempted 19/8459 = 0%, 9 KB/s], Decompressed: 12
Downloaded: 39 file(s) [attempted 39/8459 = 0%, 23 KB/s], Decompressed: 26
Downloaded: 62 file(s) [attempted 62/8459 = 0%, 30 KB/s], Decompressed: 36
Downloaded: 84 file(s) [attempted 84/8459 = 0%, 62 KB/s], Decompressed: 50
Downloaded: 110 file(s) [attempted 110/8459 = 1%, 328 KB/s], Decompressed: 68
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 88 KB/s], Decompressed: 89
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 660 KB/s], Decompressed: 120
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 527 KB/s], Decompressed: 151
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 524 KB/s], Decompressed: 189
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 114 KB/s], Decompressed: 189
Downloaded: 309 file(s) [attempted 309/8459 = 3%, 336 KB/s], Decompressed: 233
Downloaded: 346 file(s) [attempted 346/8459 = 4%, 22 KB/s], Decompressed: 281
Downloaded: 387 file(s) [attempted 387/8459 = 4%, 54 KB/s], Decompressed: 329
Downloaded: 425 file(s) [attempted 425/8459 = 5%, 141 KB/s], Decompressed: 374
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 163 KB/s], Decompressed: 374
Downloaded: 500 file(s) [attempted 500/8459 = 5%, 145 KB/s], Decompressed: 422
Downloaded: 538 file(s) [attempted 538/8459 = 6%, 327 KB/s], Decompressed: 476
Downloaded: 576 file(s) [attempted 576/8459 = 6%, 560 KB/s], Decompressed: 476
Downloaded: 617 file(s) [attempted 617/8459 = 7%, 169 KB/s], Decompressed: 531
Downloaded: 658 file(s) [attempted 658/8459 = 7%, 145 KB/s], Decompressed: 593
Downloaded: 699 file(s) [attempted 699/8459 = 8%, 334 KB/s], Decompressed: 593
Downloaded: 740 file(s) [attempted 740/8459 = 8%, 322 KB/s], Decompressed: 658
Downloaded: 778 file(s) [attempted 778/8459 = 9%, 173 KB/s], Decompressed: 658
Downloaded: 822 file(s) [attempted 822/8459 = 9%, 531 KB/s], Decompressed: 730
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 588 KB/s], Decompressed: 730
Downloaded: 904 file(s) [attempted 904/8459 = 10%, 371 KB/s], Decompressed: 802
Downloaded: 945 file(s) [attempted 945/8459 = 11%, 174 KB/s], Decompressed: 870
Downloaded: 983 file(s) [attempted 983/8459 = 11%, 421 KB/s], Decompressed: 870
Downloaded: 1021 file(s) [attempted 1021/8459 = 12%, 170 KB/s], Decompressed: 942
Downloaded: 1065 file(s) [attempted 1065/8459 = 12%, 182 KB/s], Decompressed: 942
Downloaded: 1109 file(s) [attempted 1109/8459 = 13%, 1797 KB/s], Decompressed: 1017
Downloaded: 1150 file(s) [attempted 1150/8459 = 13%, 116 KB/s], Decompressed: 1017
Downloaded: 1185 file(s) [attempted 1185/8459 = 14%, 555 KB/s], Decompressed: 1099
Downloaded: 1226 file(s) [attempted 1226/8459 = 14%, 240 KB/s], Decompressed: 1099
Downloaded: 1265 file(s) [attempted 1265/8459 = 14%, 138 KB/s], Decompressed: 1174
Downloaded: 1311 file(s) [attempted 1311/8459 = 15%, 804 KB/s], Decompressed: 1174
Downloaded: 1356 file(s) [attempted 1356/8459 = 16%, 126 KB/s], Decompressed: 1174
Downloaded: 1390 file(s) [attempted 1390/8459 = 16%, 38 KB/s], Decompressed: 1263
Downloaded: 1431 file(s) [attempted 1431/8459 = 16%, 1275 KB/s], Decompressed: 1263
Downloaded: 1472 file(s) [attempted 1472/8459 = 17%, 261 KB/s], Decompressed: 1263
Downloaded: 1513 file(s) [attempted 1513/8459 = 17%, 1014 KB/s], Decompressed: 1369
Downloaded: 1551 file(s) [attempted 1551/8459 = 18%, 182 KB/s], Decompressed: 1369
Downloaded: 1588 file(s) [attempted 1588/8459 = 18%, 319 KB/s], Decompressed: 1489
Downloaded: 1636 file(s) [attempted 1636/8459 = 19%, 239 KB/s], Decompressed: 1489
Downloaded: 1681 file(s) [attempted 1681/8459 = 19%, 342 KB/s], Decompressed: 1489
Downloaded: 1722 file(s) [attempted 1722/8459 = 20%, 84 KB/s], Decompressed: 1588
Downloaded: 1763 file(s) [attempted 1763/8459 = 20%, 291 KB/s], Decompressed: 1588
Downloaded: 1800 file(s) [attempted 1800/8459 = 21%, 177 KB/s], Decompressed: 1588
Downloaded: 1841 file(s) [attempted 1841/8459 = 21%, 107 KB/s], Decompressed: 1693
Downloaded: 1882 file(s) [attempted 1882/8459 = 22%, 179 KB/s], Decompressed: 1693
Downloaded: 1923 file(s) [attempted 1923/8459 = 22%, 119 KB/s], Decompressed: 1693
Downloaded: 1963 file(s) [attempted 1963/8459 = 23%, 314 KB/s], Decompressed: 1814
Downloaded: 1995 file(s) [attempted 1995/8459 = 23%, 204 KB/s], Decompressed: 1814
Downloaded: 2040 file(s) [attempted 2040/8459 = 24%, 337 KB/s], Decompressed: 1814
Downloaded: 2077 file(s) [attempted 2077/8459 = 24%, 1222 KB/s], Decompressed: 1934
Downloaded: 2118 file(s) [attempted 2118/8459 = 25%, 613 KB/s], Decompressed: 1934
Downloaded: 2156 file(s) [attempted 2156/8459 = 25%, 113 KB/s], Decompressed: 1934
Downloaded: 2193 file(s) [attempted 2193/8459 = 25%, 456 KB/s], Decompressed: 2050
Downloaded: 2234 file(s) [attempted 2234/8459 = 26%, 483 KB/s], Decompressed: 2050
Downloaded: 2275 file(s) [attempted 2275/8459 = 26%, 487 KB/s], Decompressed: 2050
Downloaded: 2313 file(s) [attempted 2313/8459 = 27%, 316 KB/s], Decompressed: 2169
Downloaded: 2354 file(s) [attempted 2354/8459 = 27%, 927 KB/s], Decompressed: 2169
Downloaded: 2388 file(s) [attempted 2388/8459 = 28%, 271 KB/s], Decompressed: 2169
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 22 KB/s], Decompressed: 2293
Downloaded: 2477 file(s) [attempted 2477/8459 = 29%, 955 KB/s], Decompressed: 2293
Downloaded: 2515 file(s) [attempted 2515/8459 = 29%, 123 KB/s], Decompressed: 2293
Downloaded: 2552 file(s) [attempted 2552/8459 = 30%, 64 KB/s], Decompressed: 2412
Downloaded: 2590 file(s) [attempted 2590/8459 = 30%, 142 KB/s], Decompressed: 2412
Downloaded: 2631 file(s) [attempted 2631/8459 = 31%, 146 KB/s], Decompressed: 2412
Downloaded: 2676 file(s) [attempted 2676/8459 = 31%, 423 KB/s], Decompressed: 2532
Downloaded: 2710 file(s) [attempted 2710/8459 = 32%, 232 KB/s], Decompressed: 2532
Downloaded: 2751 file(s) [attempted 2751/8459 = 32%, 133 KB/s], Decompressed: 2532
Downloaded: 2792 file(s) [attempted 2792/8459 = 33%, 1833 KB/s], Decompressed: 2641
Downloaded: 2833 file(s) [attempted 2833/8459 = 33%, 194 KB/s], Decompressed: 2641
Downloaded: 2874 file(s) [attempted 2874/8459 = 33%, 588 KB/s], Decompressed: 2641
Downloaded: 2912 file(s) [attempted 2912/8459 = 34%, 225 KB/s], Decompressed: 2754
Downloaded: 2949 file(s) [attempted 2949/8459 = 34%, 156 KB/s], Decompressed: 2754
Downloaded: 2987 file(s) [attempted 2987/8459 = 35%, 694 KB/s], Decompressed: 2754
Downloaded: 3014 file(s) [attempted 3014/8459 = 35%, 428 KB/s], Decompressed: 2754
Downloaded: 3015 file(s) [attempted 3015/8459 = 35%, 1478 KB/s], Decompressed: 2754
Downloaded: 3016 file(s) [attempted 3016/8459 = 35%, 599 KB/s], Decompressed: 2754
Downloaded: 3017 file(s) [attempted 3017/8459 = 35%, 199 KB/s], Decompressed: 2754
Downloaded: 3065 file(s) [attempted 3065/8459 = 36%, 6 KB/s], Decompressed: 2884
Downloaded: 3117 file(s) [attempted 3117/8459 = 36%, 428 KB/s], Decompressed: 2884
Downloaded: 3168 file(s) [attempted 3168/8459 = 37%, 64 KB/s], Decompressed: 2884
Downloaded: 3216 file(s) [attempted 3216/8459 = 38%, 38 KB/s], Decompressed: 3035
Downloaded: 3267 file(s) [attempted 3267/8459 = 38%, 482 KB/s], Decompressed: 3035
Downloaded: 3317 file(s) [attempted 3317/8459 = 39%, 363 KB/s], Decompressed: 3185
Downloaded: 3363 file(s) [attempted 3363/8459 = 39%, 55 KB/s], Decompressed: 3185
Downloaded: 3407 file(s) [attempted 3407/8459 = 40%, 612 KB/s], Decompressed: 3185
Downloaded: 3452 file(s) [attempted 3452/8459 = 40%, 83 KB/s], Decompressed: 3315
Downloaded: 3476 file(s) [attempted 3476/8459 = 41%, 784 KB/s], Decompressed: 3315
Downloaded: 3520 file(s) [attempted 3520/8459 = 41%, 244 KB/s], Decompressed: 3315
Downloaded: 3561 file(s) [attempted 3561/8459 = 42%, 212 KB/s], Decompressed: 3424
Downloaded: 3606 file(s) [attempted 3606/8459 = 42%, 35 KB/s], Decompressed: 3424
Downloaded: 3654 file(s) [attempted 3654/8459 = 43%, 578 KB/s], Decompressed: 3524
Downloaded: 3701 file(s) [attempted 3701/8459 = 43%, 306 KB/s], Decompressed: 3611
Downloaded: 3743 file(s) [attempted 3743/8459 = 44%, 369 KB/s], Decompressed: 3611
Downloaded: 3777 file(s) [attempted 3777/8459 = 44%, 172 KB/s], Decompressed: 3691
Downloaded: 3814 file(s) [attempted 3814/8459 = 45%, 215 KB/s], Decompressed: 3691
Downloaded: 3859 file(s) [attempted 3859/8459 = 45%, 453 KB/s], Decompressed: 3763
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 385 KB/s], Decompressed: 3821
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 90 KB/s], Decompressed: 3821
Downloaded: 3982 file(s) [attempted 3982/8459 = 47%, 321 KB/s], Decompressed: 3872
Downloaded: 4013 file(s) [attempted 4013/8459 = 47%, 69 KB/s], Decompressed: 3948
Downloaded: 4057 file(s) [attempted 4057/8459 = 47%, 620 KB/s], Decompressed: 3948
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 160 KB/s], Decompressed: 4013
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 807 KB/s], Decompressed: 4067
Downloaded: 4180 file(s) [attempted 4180/8459 = 49%, 186 KB/s], Decompressed: 4125
Downloaded: 4225 file(s) [attempted 4225/8459 = 49%, 76 KB/s], Decompressed: 4125
Downloaded: 4262 file(s) [attempted 4262/8459 = 50%, 447 KB/s], Decompressed: 4180
Downloaded: 4303 file(s) [attempted 4303/8459 = 50%, 1035 KB/s], Decompressed: 4231
Downloaded: 4341 file(s) [attempted 4341/8459 = 51%, 219 KB/s], Decompressed: 4231
Downloaded: 4385 file(s) [attempted 4385/8459 = 51%, 231 KB/s], Decompressed: 4293
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 307 KB/s], Decompressed: 4355
Downloaded: 4474 file(s) [attempted 4474/8459 = 52%, 123 KB/s], Decompressed: 4416
Downloaded: 4512 file(s) [attempted 4512/8459 = 53%, 1013 KB/s], Decompressed: 4416
Downloaded: 4550 file(s) [attempted 4550/8459 = 53%, 166 KB/s], Decompressed: 4474
Downloaded: 4587 file(s) [attempted 4587/8459 = 54%, 619 KB/s], Decompressed: 4526
Downloaded: 4632 file(s) [attempted 4632/8459 = 54%, 1090 KB/s], Decompressed: 4577
Downloaded: 4676 file(s) [attempted 4676/8459 = 55%, 233 KB/s], Decompressed: 4621
Downloaded: 4714 file(s) [attempted 4714/8459 = 55%, 320 KB/s], Decompressed: 4621
Downloaded: 4751 file(s) [attempted 4751/8459 = 56%, 264 KB/s], Decompressed: 4676
Downloaded: 4792 file(s) [attempted 4792/8459 = 56%, 474 KB/s], Decompressed: 4734
Downloaded: 4837 file(s) [attempted 4837/8459 = 57%, 180 KB/s], Decompressed: 4734
Downloaded: 4878 file(s) [attempted 4878/8459 = 57%, 33 KB/s], Decompressed: 4792
Downloaded: 4922 file(s) [attempted 4922/8459 = 58%, 91 KB/s], Decompressed: 4792
Downloaded: 4963 file(s) [attempted 4963/8459 = 58%, 398 KB/s], Decompressed: 4857
Downloaded: 5001 file(s) [attempted 5001/8459 = 59%, 240 KB/s], Decompressed: 4857
Downloaded: 5039 file(s) [attempted 5039/8459 = 59%, 445 KB/s], Decompressed: 4929
Downloaded: 5083 file(s) [attempted 5083/8459 = 60%, 279 KB/s], Decompressed: 4929
Downloaded: 5124 file(s) [attempted 5124/8459 = 60%, 636 KB/s], Decompressed: 5011
Downloaded: 5168 file(s) [attempted 5168/8459 = 61%, 74 KB/s], Decompressed: 5086
Downloaded: 5210 file(s) [attempted 5210/8459 = 61%, 185 KB/s], Decompressed: 5086
Downloaded: 5247 file(s) [attempted 5247/8459 = 62%, 754 KB/s], Decompressed: 5165
Downloaded: 5285 file(s) [attempted 5285/8459 = 62%, 689 KB/s], Decompressed: 5165
Downloaded: 5329 file(s) [attempted 5329/8459 = 62%, 401 KB/s], Decompressed: 5233
Downloaded: 5370 file(s) [attempted 5370/8459 = 63%, 169 KB/s], Decompressed: 5309
Downloaded: 5415 file(s) [attempted 5415/8459 = 64%, 627 KB/s], Decompressed: 5309
Downloaded: 5452 file(s) [attempted 5452/8459 = 64%, 850 KB/s], Decompressed: 5370
Downloaded: 5493 file(s) [attempted 5493/8459 = 64%, 190 KB/s], Decompressed: 5435
Downloaded: 5538 file(s) [attempted 5538/8459 = 65%, 46 KB/s], Decompressed: 5435
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 143 KB/s], Decompressed: 5493
Downloaded: 5616 file(s) [attempted 5616/8459 = 66%, 356 KB/s], Decompressed: 5548
Downloaded: 5657 file(s) [attempted 5657/8459 = 66%, 204 KB/s], Decompressed: 5603
Downloaded: 5698 file(s) [attempted 5698/8459 = 67%, 432 KB/s], Decompressed: 5603
Downloaded: 5740 file(s) [attempted 5740/8459 = 67%, 104 KB/s], Decompressed: 5657
Downloaded: 5777 file(s) [attempted 5777/8459 = 68%, 747 KB/s], Decompressed: 5657
Downloaded: 5818 file(s) [attempted 5818/8459 = 68%, 197 KB/s], Decompressed: 5719
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 215 KB/s], Decompressed: 5719
Downloaded: 5897 file(s) [attempted 5897/8459 = 69%, 92 KB/s], Decompressed: 5781
Downloaded: 5934 file(s) [attempted 5934/8459 = 70%, 138 KB/s], Decompressed: 5781
Downloaded: 5975 file(s) [attempted 5975/8459 = 70%, 540 KB/s], Decompressed: 5863
Downloaded: 6020 file(s) [attempted 6020/8459 = 71%, 65 KB/s], Decompressed: 5863
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 368 KB/s], Decompressed: 5945
Downloaded: 6099 file(s) [attempted 6099/8459 = 72%, 55 KB/s], Decompressed: 5945
Downloaded: 6136 file(s) [attempted 6136/8459 = 72%, 1001 KB/s], Decompressed: 6027
Downloaded: 6177 file(s) [attempted 6177/8459 = 73%, 629 KB/s], Decompressed: 6105
Downloaded: 6218 file(s) [attempted 6218/8459 = 73%, 486 KB/s], Decompressed: 6105
Downloaded: 6263 file(s) [attempted 6263/8459 = 74%, 47 KB/s], Decompressed: 6177
Downloaded: 6297 file(s) [attempted 6297/8459 = 74%, 713 KB/s], Decompressed: 6177
Downloaded: 6335 file(s) [attempted 6335/8459 = 74%, 451 KB/s], Decompressed: 6246
Downloaded: 6376 file(s) [attempted 6376/8459 = 75%, 181 KB/s], Decompressed: 6246
Downloaded: 6417 file(s) [attempted 6417/8459 = 75%, 466 KB/s], Decompressed: 6246
Downloaded: 6454 file(s) [attempted 6454/8459 = 76%, 45 KB/s], Decompressed: 6317
Downloaded: 6495 file(s) [attempted 6495/8459 = 76%, 76 KB/s], Decompressed: 6317
Downloaded: 6533 file(s) [attempted 6533/8459 = 77%, 246 KB/s], Decompressed: 6420
Downloaded: 6570 file(s) [attempted 6570/8459 = 77%, 22 KB/s], Decompressed: 6420
Downloaded: 6608 file(s) [attempted 6608/8459 = 78%, 609 KB/s], Decompressed: 6420
Downloaded: 6649 file(s) [attempted 6649/8459 = 78%, 226 KB/s], Decompressed: 6533
Downloaded: 6690 file(s) [attempted 6690/8459 = 79%, 940 KB/s], Decompressed: 6533
Downloaded: 6728 file(s) [attempted 6728/8459 = 79%, 161 KB/s], Decompressed: 6533
Downloaded: 6769 file(s) [attempted 6769/8459 = 80%, 120 KB/s], Decompressed: 6642
Downloaded: 6806 file(s) [attempted 6806/8459 = 80%, 212 KB/s], Decompressed: 6642
Downloaded: 6851 file(s) [attempted 6851/8459 = 80%, 111 KB/s], Decompressed: 6745
Downloaded: 6892 file(s) [attempted 6892/8459 = 81%, 200 KB/s], Decompressed: 6745
Downloaded: 6926 file(s) [attempted 6926/8459 = 81%, 92 KB/s], Decompressed: 6841
Downloaded: 6967 file(s) [attempted 6967/8459 = 82%, 188 KB/s], Decompressed: 6841
Downloaded: 7008 file(s) [attempted 7008/8459 = 82%, 95 KB/s], Decompressed: 6926
Downloaded: 7053 file(s) [attempted 7053/8459 = 83%, 245 KB/s], Decompressed: 6926
Downloaded: 7092 file(s) [attempted 7092/8459 = 83%, 659 KB/s], Decompressed: 7008
Downloaded: 7131 file(s) [attempted 7131/8459 = 84%, 266 KB/s], Decompressed: 7008
Downloaded: 7172 file(s) [attempted 7172/8459 = 84%, 38 KB/s], Decompressed: 7090
Downloaded: 7213 file(s) [attempted 7213/8459 = 85%, 42 KB/s], Decompressed: 7090
Downloaded: 7251 file(s) [attempted 7251/8459 = 85%, 285 KB/s], Decompressed: 7169
Downloaded: 7292 file(s) [attempted 7292/8459 = 86%, 36 KB/s], Decompressed: 7169
Downloaded: 7330 file(s) [attempted 7330/8459 = 86%, 160 KB/s], Decompressed: 7169
Downloaded: 7374 file(s) [attempted 7374/8459 = 87%, 249 KB/s], Decompressed: 7248
Downloaded: 7415 file(s) [attempted 7415/8459 = 87%, 120 KB/s], Decompressed: 7248
Downloaded: 7453 file(s) [attempted 7453/8459 = 88%, 318 KB/s], Decompressed: 7333
Downloaded: 7490 file(s) [attempted 7490/8459 = 88%, 142 KB/s], Decompressed: 7333
Downloaded: 7531 file(s) [attempted 7531/8459 = 89%, 118 KB/s], Decompressed: 7429
Downloaded: 7572 file(s) [attempted 7572/8459 = 89%, 413 KB/s], Decompressed: 7429
Downloaded: 7610 file(s) [attempted 7610/8459 = 89%, 222 KB/s], Decompressed: 7429
Downloaded: 7651 file(s) [attempted 7651/8459 = 90%, 42 KB/s], Decompressed: 7528
Downloaded: 7692 file(s) [attempted 7692/8459 = 90%, 460 KB/s], Decompressed: 7528
Downloaded: 7730 file(s) [attempted 7730/8459 = 91%, 105 KB/s], Decompressed: 7528
Downloaded: 7767 file(s) [attempted 7767/8459 = 91%, 99 KB/s], Decompressed: 7630
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 454 KB/s], Decompressed: 7630
Downloaded: 7849 file(s) [attempted 7849/8459 = 92%, 205 KB/s], Decompressed: 7630
Downloaded: 7890 file(s) [attempted 7890/8459 = 93%, 635 KB/s], Decompressed: 7743
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 215 KB/s], Decompressed: 7743
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 88 KB/s], Decompressed: 7856
Downloaded: 8010 file(s) [attempted 8010/8459 = 94%, 111 KB/s], Decompressed: 7856
Downloaded: 8051 file(s) [attempted 8051/8459 = 95%, 96 KB/s], Decompressed: 7856
Downloaded: 8089 file(s) [attempted 8089/8459 = 95%, 340 KB/s], Decompressed: 7966
Downloaded: 8130 file(s) [attempted 8130/8459 = 96%, 869 KB/s], Decompressed: 7966
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 335 KB/s], Decompressed: 8068
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 23 KB/s], Decompressed: 8068
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 791 KB/s], Decompressed: 8068
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 521 KB/s], Decompressed: 8167
Downloaded: 8322 file(s) [attempted 8322/8459 = 98%, 303 KB/s], Decompressed: 8249
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 904 KB/s], Decompressed: 8249
Downloaded: 8400 file(s) [attempted 8400/8459 = 99%, 51 KB/s], Decompressed: 8321
Downloaded: 8437 file(s) [attempted 8437/8459 = 99%, 149 KB/s], Decompressed: 8321
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 683 KB/s], Decompressed: 8386
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 683 KB/s], Decompressed: 8386

apx-runtime-resource-v1	apx-verifier-job-1735-runtime-lake_cache-4092771-1787685486448909566-0	4022272	4272128	21474836480	0	0	0	0	0	0	5257609216	5513625600	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/25/2026, 9:20:26 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (98s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (136s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (100s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (96s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (120s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (71s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (200s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (70s)
✔ [790/794] Built Iut.Foundations.QualitativeData (74s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (488s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1276s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1354s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (1450s)
✔ [3965/3966] Built Iut.Foundations.EtaleThetaCovers (356s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (373s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (336s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1735-runtime-lean_checker-4092771-1787685606288636408-1 on attempt 1

blueprint_buildexit 1duration 16s · created 8/25/2026, 9:20:26 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1735-runtime-blueprint_build-4092771-1787692808728291107-2	1150976	1400832	21474836480	0	0	0	0	0	0	879525888	982867968	21474836480	0	0	0	0	0	0