Verification run

Run 1272

promachina/iut-leanbranch mastertriggered via poller

failedcommit fa34eeb22342toolchain lean-v4-30-0prover leantook 2h 9m · 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-1718-source
exit_code=Some(128) duration_ms=325
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1718-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=4203
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1718-source'...


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

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 fa34eeb Merge pull request #959 from promachina/e23-7-current-reconstruction-bridge-obstruction

Resolved source revision: fa34eeb22342c0f8785874d0a0d11e705fa8db58

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=fa34eeb22342c0f8785874d0a0d11e705fa8db58 provenance={"branch":"master","checked_out_revision":"fa34eeb22342c0f8785874d0a0d11e705fa8db58","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"fa34eeb22342c0f8785874d0a0d11e705fa8db58","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=5244 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=492505
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.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (99ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (154ms)
✔ [13/25] Built Cache.Lean:c.o (122ms)
✔ [15/25] Built Cache.Init (339ms)
✔ [16/25] Built Cache.IO (7.4s)
✔ [17/25] Built Cache.Init:c.o (98ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (924ms)
✔ [20/25] Built Cache.Hashing:c.o (363ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (17s)
✔ [24/25] Built Cache.Main:c.o (2.0s)
✔ [25/25] Built cache:exe (4.8s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 2 KB/s], Decompressed: 6
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 28 KB/s], Decompressed: 26
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 47 KB/s], Decompressed: 34
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 449 KB/s], Decompressed: 46
Downloaded: 107 file(s) [attempted 107/8459 = 1%, 338 KB/s], Decompressed: 90
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 70 KB/s], Decompressed: 107
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 362 KB/s], Decompressed: 155
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 288 KB/s], Decompressed: 179
Downloaded: 247 file(s) [attempted 247/8459 = 2%, 83 KB/s], Decompressed: 179
Downloaded: 285 file(s) [attempted 285/8459 = 3%, 94 KB/s], Decompressed: 213
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 146 KB/s], Decompressed: 251
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 592 KB/s], Decompressed: 292
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 203 KB/s], Decompressed: 337
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 392 KB/s], Decompressed: 378
Downloaded: 474 file(s) [attempted 474/8459 = 5%, 689 KB/s], Decompressed: 405
Downloaded: 508 file(s) [attempted 508/8459 = 6%, 291 KB/s], Decompressed: 443
Downloaded: 542 file(s) [attempted 542/8459 = 6%, 66 KB/s], Decompressed: 481
Downloaded: 583 file(s) [attempted 583/8459 = 6%, 46 KB/s], Decompressed: 549
Downloaded: 625 file(s) [attempted 625/8459 = 7%, 597 KB/s], Decompressed: 583
Downloaded: 666 file(s) [attempted 666/8459 = 7%, 64 KB/s], Decompressed: 621
Downloaded: 700 file(s) [attempted 700/8459 = 8%, 263 KB/s], Decompressed: 659
Downloaded: 741 file(s) [attempted 741/8459 = 8%, 338 KB/s], Decompressed: 693
Downloaded: 782 file(s) [attempted 782/8459 = 9%, 472 KB/s], Decompressed: 738
Downloaded: 823 file(s) [attempted 823/8459 = 9%, 122 KB/s], Decompressed: 779
Downloaded: 858 file(s) [attempted 858/8459 = 10%, 121 KB/s], Decompressed: 817
Downloaded: 895 file(s) [attempted 895/8459 = 10%, 81 KB/s], Decompressed: 851
Downloaded: 933 file(s) [attempted 933/8459 = 11%, 79 KB/s], Decompressed: 889
Downloaded: 974 file(s) [attempted 974/8459 = 11%, 764 KB/s], Decompressed: 926
Downloaded: 1015 file(s) [attempted 1015/8459 = 11%, 244 KB/s], Decompressed: 967
Downloaded: 1060 file(s) [attempted 1060/8459 = 12%, 731 KB/s], Decompressed: 1005
Downloaded: 1098 file(s) [attempted 1098/8459 = 12%, 69 KB/s], Decompressed: 1043
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 174 KB/s], Decompressed: 1080
Downloaded: 1173 file(s) [attempted 1173/8459 = 13%, 246 KB/s], Decompressed: 1080
Downloaded: 1211 file(s) [attempted 1211/8459 = 14%, 28 KB/s], Decompressed: 1125
Downloaded: 1252 file(s) [attempted 1252/8459 = 14%, 43 KB/s], Decompressed: 1176
Downloaded: 1289 file(s) [attempted 1289/8459 = 15%, 106 KB/s], Decompressed: 1176
Downloaded: 1330 file(s) [attempted 1330/8459 = 15%, 151 KB/s], Decompressed: 1235
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 357 KB/s], Decompressed: 1303
Downloaded: 1409 file(s) [attempted 1409/8459 = 16%, 1071 KB/s], Decompressed: 1303
Downloaded: 1450 file(s) [attempted 1450/8459 = 17%, 515 KB/s], Decompressed: 1368
Downloaded: 1488 file(s) [attempted 1488/8459 = 17%, 124 KB/s], Decompressed: 1426
Downloaded: 1526 file(s) [attempted 1526/8459 = 18%, 25 KB/s], Decompressed: 1426
Downloaded: 1563 file(s) [attempted 1563/8459 = 18%, 130 KB/s], Decompressed: 1478
Downloaded: 1608 file(s) [attempted 1608/8459 = 19%, 184 KB/s], Decompressed: 1529
Downloaded: 1649 file(s) [attempted 1649/8459 = 19%, 508 KB/s], Decompressed: 1570
Downloaded: 1690 file(s) [attempted 1690/8459 = 19%, 75 KB/s], Decompressed: 1615
Downloaded: 1735 file(s) [attempted 1735/8459 = 20%, 449 KB/s], Decompressed: 1652
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 1054 KB/s], Decompressed: 1697
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 96 KB/s], Decompressed: 1745
Downloaded: 1851 file(s) [attempted 1851/8459 = 21%, 496 KB/s], Decompressed: 1800
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 276 KB/s], Decompressed: 1800
Downloaded: 1933 file(s) [attempted 1933/8459 = 22%, 245 KB/s], Decompressed: 1892
Downloaded: 1981 file(s) [attempted 1981/8459 = 23%, 137 KB/s], Decompressed: 1892
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 275 KB/s], Decompressed: 1933
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 150 KB/s], Decompressed: 1933
Downloaded: 2101 file(s) [attempted 2101/8459 = 24%, 56 KB/s], Decompressed: 1985
Downloaded: 2142 file(s) [attempted 2142/8459 = 25%, 926 KB/s], Decompressed: 1985
Downloaded: 2183 file(s) [attempted 2183/8459 = 25%, 124 KB/s], Decompressed: 2070
Downloaded: 2224 file(s) [attempted 2224/8459 = 26%, 171 KB/s], Decompressed: 2149
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 107 KB/s], Decompressed: 2149
Downloaded: 2300 file(s) [attempted 2300/8459 = 27%, 265 KB/s], Decompressed: 2224
Downloaded: 2341 file(s) [attempted 2341/8459 = 27%, 251 KB/s], Decompressed: 2286
Downloaded: 2382 file(s) [attempted 2382/8459 = 28%, 490 KB/s], Decompressed: 2286
Downloaded: 2423 file(s) [attempted 2423/8459 = 28%, 881 KB/s], Decompressed: 2341
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 305 KB/s], Decompressed: 2392
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 151 KB/s], Decompressed: 2392
Downloaded: 2546 file(s) [attempted 2546/8459 = 30%, 93 KB/s], Decompressed: 2457
Downloaded: 2588 file(s) [attempted 2588/8459 = 30%, 462 KB/s], Decompressed: 2526
Downloaded: 2629 file(s) [attempted 2629/8459 = 31%, 70 KB/s], Decompressed: 2526
Downloaded: 2666 file(s) [attempted 2666/8459 = 31%, 383 KB/s], Decompressed: 2526
Downloaded: 2704 file(s) [attempted 2704/8459 = 31%, 732 KB/s], Decompressed: 2584
Downloaded: 2745 file(s) [attempted 2745/8459 = 32%, 96 KB/s], Decompressed: 2584
Downloaded: 2786 file(s) [attempted 2786/8459 = 32%, 656 KB/s], Decompressed: 2584
Downloaded: 2827 file(s) [attempted 2827/8459 = 33%, 222 KB/s], Decompressed: 2697
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 1044 KB/s], Decompressed: 2697
Downloaded: 2910 file(s) [attempted 2910/8459 = 34%, 234 KB/s], Decompressed: 2697
Downloaded: 2947 file(s) [attempted 2947/8459 = 34%, 216 KB/s], Decompressed: 2697
Downloaded: 2981 file(s) [attempted 2981/8459 = 35%, 23 KB/s], Decompressed: 2697
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 447 KB/s], Decompressed: 2814
Downloaded: 3057 file(s) [attempted 3057/8459 = 36%, 116 KB/s], Decompressed: 2814
Downloaded: 3101 file(s) [attempted 3101/8459 = 36%, 462 KB/s], Decompressed: 2814
Downloaded: 3142 file(s) [attempted 3142/8459 = 37%, 335 KB/s], Decompressed: 2985
Downloaded: 3177 file(s) [attempted 3177/8459 = 37%, 1317 KB/s], Decompressed: 2985
Downloaded: 3218 file(s) [attempted 3218/8459 = 38%, 72 KB/s], Decompressed: 2985
Downloaded: 3259 file(s) [attempted 3259/8459 = 38%, 817 KB/s], Decompressed: 2985
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 170 KB/s], Decompressed: 3125
Downloaded: 3341 file(s) [attempted 3341/8459 = 39%, 487 KB/s], Decompressed: 3125
Downloaded: 3382 file(s) [attempted 3382/8459 = 39%, 96 KB/s], Decompressed: 3125
Downloaded: 3420 file(s) [attempted 3420/8459 = 40%, 419 KB/s], Decompressed: 3125
Downloaded: 3464 file(s) [attempted 3464/8459 = 40%, 40 KB/s], Decompressed: 3125
Downloaded: 3506 file(s) [attempted 3506/8459 = 41%, 229 KB/s], Decompressed: 3300
Downloaded: 3547 file(s) [attempted 3547/8459 = 41%, 576 KB/s], Decompressed: 3300
Downloaded: 3577 file(s) [attempted 3577/8459 = 42%, 752 KB/s], Decompressed: 3300
Downloaded: 3622 file(s) [attempted 3622/8459 = 42%, 1001 KB/s], Decompressed: 3468
Downloaded: 3670 file(s) [attempted 3670/8459 = 43%, 324 KB/s], Decompressed: 3468
Downloaded: 3714 file(s) [attempted 3714/8459 = 43%, 91 KB/s], Decompressed: 3468
Downloaded: 3752 file(s) [attempted 3752/8459 = 44%, 656 KB/s], Decompressed: 3468
Downloaded: 3797 file(s) [attempted 3797/8459 = 44%, 611 KB/s], Decompressed: 3622
Downloaded: 3838 file(s) [attempted 3838/8459 = 45%, 354 KB/s], Decompressed: 3622
Downloaded: 3875 file(s) [attempted 3875/8459 = 45%, 262 KB/s], Decompressed: 3622
Downloaded: 3913 file(s) [attempted 3913/8459 = 46%, 1647 KB/s], Decompressed: 3762
Downloaded: 3954 file(s) [attempted 3954/8459 = 46%, 393 KB/s], Decompressed: 3762
Downloaded: 3992 file(s) [attempted 3992/8459 = 47%, 206 KB/s], Decompressed: 3762
Downloaded: 4032 file(s) [attempted 4032/8459 = 47%, 47 KB/s], Decompressed: 3889
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 584 KB/s], Decompressed: 3889
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 149 KB/s], Decompressed: 3999
Downloaded: 4149 file(s) [attempted 4149/8459 = 49%, 793 KB/s], Decompressed: 3999
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 351 KB/s], Decompressed: 3999
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 156 KB/s], Decompressed: 4105
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 76 KB/s], Decompressed: 4105
Downloaded: 4321 file(s) [attempted 4321/8459 = 51%, 182 KB/s], Decompressed: 4211
Downloaded: 4362 file(s) [attempted 4362/8459 = 51%, 121 KB/s], Decompressed: 4211
Downloaded: 4399 file(s) [attempted 4399/8459 = 52%, 101 KB/s], Decompressed: 4211
Downloaded: 4441 file(s) [attempted 4441/8459 = 52%, 506 KB/s], Decompressed: 4314
Downloaded: 4485 file(s) [attempted 4485/8459 = 53%, 652 KB/s], Decompressed: 4314
Downloaded: 4519 file(s) [attempted 4519/8459 = 53%, 307 KB/s], Decompressed: 4413
Downloaded: 4567 file(s) [attempted 4567/8459 = 53%, 35 KB/s], Decompressed: 4413
Downloaded: 4612 file(s) [attempted 4612/8459 = 54%, 297 KB/s], Decompressed: 4413
Downloaded: 4653 file(s) [attempted 4653/8459 = 55%, 850 KB/s], Decompressed: 4509
Downloaded: 4694 file(s) [attempted 4694/8459 = 55%, 1120 KB/s], Decompressed: 4509
Downloaded: 4732 file(s) [attempted 4732/8459 = 55%, 94 KB/s], Decompressed: 4509
Downloaded: 4766 file(s) [attempted 4766/8459 = 56%, 356 KB/s], Decompressed: 4509
Downloaded: 4807 file(s) [attempted 4807/8459 = 56%, 100 KB/s], Decompressed: 4509
Downloaded: 4855 file(s) [attempted 4855/8459 = 57%, 64 KB/s], Decompressed: 4509
Downloaded: 4900 file(s) [attempted 4900/8459 = 57%, 826 KB/s], Decompressed: 4650
Downloaded: 4941 file(s) [attempted 4941/8459 = 58%, 440 KB/s], Decompressed: 4650
Downloaded: 4981 file(s) [attempted 4981/8459 = 58%, 113 KB/s], Decompressed: 4650
Downloaded: 5016 file(s) [attempted 5016/8459 = 59%, 96 KB/s], Decompressed: 4650
Downloaded: 5054 file(s) [attempted 5054/8459 = 59%, 386 KB/s], Decompressed: 4650
Downloaded: 5091 file(s) [attempted 5091/8459 = 60%, 176 KB/s], Decompressed: 4650
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 1381 KB/s], Decompressed: 4650
Downloaded: 5184 file(s) [attempted 5184/8459 = 61%, 298 KB/s], Decompressed: 4889
Downloaded: 5222 file(s) [attempted 5222/8459 = 61%, 139 KB/s], Decompressed: 4889
Downloaded: 5256 file(s) [attempted 5256/8459 = 62%, 92 KB/s], Decompressed: 4889
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 63 KB/s], Decompressed: 4889
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 90 KB/s], Decompressed: 4889
Downloaded: 5386 file(s) [attempted 5386/8459 = 63%, 76 KB/s], Decompressed: 4889
Downloaded: 5420 file(s) [attempted 5420/8459 = 64%, 224 KB/s], Decompressed: 5168
Downloaded: 5465 file(s) [attempted 5465/8459 = 64%, 60 KB/s], Decompressed: 5168
Downloaded: 5502 file(s) [attempted 5502/8459 = 65%, 516 KB/s], Decompressed: 5168
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 438 KB/s], Decompressed: 5168
Downloaded: 5591 file(s) [attempted 5591/8459 = 66%, 254 KB/s], Decompressed: 5168
Downloaded: 5636 file(s) [attempted 5636/8459 = 66%, 352 KB/s], Decompressed: 5413
Downloaded: 5677 file(s) [attempted 5677/8459 = 67%, 826 KB/s], Decompressed: 5413
Downloaded: 5718 file(s) [attempted 5718/8459 = 67%, 467 KB/s], Decompressed: 5413
Downloaded: 5752 file(s) [attempted 5752/8459 = 67%, 71 KB/s], Decompressed: 5413
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 136 KB/s], Decompressed: 5413
Downloaded: 5828 file(s) [attempted 5828/8459 = 68%, 169 KB/s], Decompressed: 5626
Downloaded: 5872 file(s) [attempted 5872/8459 = 69%, 226 KB/s], Decompressed: 5626
Downloaded: 5917 file(s) [attempted 5917/8459 = 69%, 329 KB/s], Decompressed: 5626
Downloaded: 5958 file(s) [attempted 5958/8459 = 70%, 84 KB/s], Decompressed: 5626
Downloaded: 5996 file(s) [attempted 5996/8459 = 70%, 592 KB/s], Decompressed: 5814
Downloaded: 6026 file(s) [attempted 6026/8459 = 71%, 27 KB/s], Decompressed: 5814
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 253 KB/s], Decompressed: 5814
Downloaded: 6112 file(s) [attempted 6112/8459 = 72%, 174 KB/s], Decompressed: 5972
Downloaded: 6153 file(s) [attempted 6153/8459 = 72%, 195 KB/s], Decompressed: 5972
Downloaded: 6191 file(s) [attempted 6191/8459 = 73%, 434 KB/s], Decompressed: 5972
Downloaded: 6229 file(s) [attempted 6229/8459 = 73%, 1082 KB/s], Decompressed: 5972
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 111 KB/s], Decompressed: 6112
Downloaded: 6314 file(s) [attempted 6314/8459 = 74%, 319 KB/s], Decompressed: 6112
Downloaded: 6359 file(s) [attempted 6359/8459 = 75%, 27 KB/s], Decompressed: 6112
Downloaded: 6396 file(s) [attempted 6396/8459 = 75%, 36 KB/s], Decompressed: 6249
Downloaded: 6431 file(s) [attempted 6431/8459 = 76%, 341 KB/s], Decompressed: 6249
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 204 KB/s], Decompressed: 6249
Downloaded: 6523 file(s) [attempted 6523/8459 = 77%, 112 KB/s], Decompressed: 6249
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 377 KB/s], Decompressed: 6383
Downloaded: 6605 file(s) [attempted 6605/8459 = 78%, 165 KB/s], Decompressed: 6383
Downloaded: 6643 file(s) [attempted 6643/8459 = 78%, 493 KB/s], Decompressed: 6383
Downloaded: 6688 file(s) [attempted 6688/8459 = 79%, 152 KB/s], Decompressed: 6383
Downloaded: 6729 file(s) [attempted 6729/8459 = 79%, 31 KB/s], Decompressed: 6383
Downloaded: 6770 file(s) [attempted 6770/8459 = 80%, 153 KB/s], Decompressed: 6383
Downloaded: 6811 file(s) [attempted 6811/8459 = 80%, 177 KB/s], Decompressed: 6383
Downloaded: 6845 file(s) [attempted 6845/8459 = 80%, 34 KB/s], Decompressed: 6557
Downloaded: 6883 file(s) [attempted 6883/8459 = 81%, 187 KB/s], Decompressed: 6557
Downloaded: 6927 file(s) [attempted 6927/8459 = 81%, 240 KB/s], Decompressed: 6557
Downloaded: 6972 file(s) [attempted 6972/8459 = 82%, 142 KB/s], Decompressed: 6557
Downloaded: 7010 file(s) [attempted 7010/8459 = 82%, 296 KB/s], Decompressed: 6557
Downloaded: 7047 file(s) [attempted 7047/8459 = 83%, 184 KB/s], Decompressed: 6557
Downloaded: 7081 file(s) [attempted 7081/8459 = 83%, 43 KB/s], Decompressed: 6557
Downloaded: 7123 file(s) [attempted 7123/8459 = 84%, 114 KB/s], Decompressed: 6828
Downloaded: 7164 file(s) [attempted 7164/8459 = 84%, 91 KB/s], Decompressed: 6828
Downloaded: 7208 file(s) [attempted 7208/8459 = 85%, 231 KB/s], Decompressed: 6828
Downloaded: 7246 file(s) [attempted 7246/8459 = 85%, 657 KB/s], Decompressed: 6828
Downloaded: 7284 file(s) [attempted 7284/8459 = 86%, 169 KB/s], Decompressed: 6828
Downloaded: 7323 file(s) [attempted 7323/8459 = 86%, 78 KB/s], Decompressed: 6828
Downloaded: 7359 file(s) [attempted 7359/8459 = 86%, 60 KB/s], Decompressed: 6828
Downloaded: 7397 file(s) [attempted 7397/8459 = 87%, 2017 KB/s], Decompressed: 7105
Downloaded: 7438 file(s) [attempted 7438/8459 = 87%, 91 KB/s], Decompressed: 7105
Downloaded: 7479 file(s) [attempted 7479/8459 = 88%, 178 KB/s], Decompressed: 7105
Downloaded: 7480 file(s) [attempted 7480/8459 = 88%, 146 KB/s], Decompressed: 7105
Downloaded: 7530 file(s) [attempted 7530/8459 = 89%, 292 KB/s], Decompressed: 7105
Downloaded: 7578 file(s) [attempted 7578/8459 = 89%, 166 KB/s], Decompressed: 7105
Downloaded: 7582 file(s) [attempted 7582/8459 = 89%, 167 KB/s], Decompressed: 7105
Downloaded: 7633 file(s) [attempted 7633/8459 = 90%, 48 KB/s], Decompressed: 7105
Downloaded: 7684 file(s) [attempted 7684/8459 = 90%, 89 KB/s], Decompressed: 7105
Downloaded: 7729 file(s) [attempted 7729/8459 = 91%, 3014 KB/s], Decompressed: 7105
Downloaded: 7739 file(s) [attempted 7739/8459 = 91%, 1374 KB/s], Decompressed: 7105
Downloaded: 7791 file(s) [attempted 7791/8459 = 92%, 30 KB/s], Decompressed: 7105
Downloaded: 7838 file(s) [attempted 7838/8459 = 92%, 20 KB/s], Decompressed: 7105
Downloaded: 7890 file(s) [attempted 7890/8459 = 93%, 64 KB/s], Decompressed: 7386
Downloaded: 7982 file(s) [attempted 7982/8459 = 94%, 661 KB/s], Decompressed: 7386
Downloaded: 7989 file(s) [attempted 7989/8459 = 94%, 2165 KB/s], Decompressed: 7386
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 178 KB/s], Decompressed: 7386
Downloaded: 8089 file(s) [attempted 8089/8459 = 95%, 103 KB/s], Decompressed: 7386
Downloaded: 8137 file(s) [attempted 8137/8459 = 96%, 188 KB/s], Decompressed: 7386
Downloaded: 8184 file(s) [attempted 8184/8459 = 96%, 235 KB/s], Decompressed: 7386
Downloaded: 8232 file(s) [attempted 8232/8459 = 97%, 426 KB/s], Decompressed: 7386
Downloaded: 8277 file(s) [attempted 8277/8459 = 97%, 83 KB/s], Decompressed: 7386
Downloaded: 8315 file(s) [attempted 8315/8459 = 98%, 548 KB/s], Decompressed: 7386
Downloaded: 8356 file(s) [attempted 8356/8459 = 98%, 127 KB/s], Decompressed: 7386
Downloaded: 8397 file(s) [attempted 8397/8459 = 99%, 275 KB/s], Decompressed: 7386
Downloaded: 8435 file(s) [attempted 8435/8459 = 99%, 323 KB/s], Decompressed: 7386
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 248 KB/s], Decompressed: 7386
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 248 KB/s], Decompressed: 7386

apx-runtime-resource-v1	apx-verifier-job-1718-runtime-lake_cache-3655484-1787411389553201845-0	3960832	4464640	21474836480	0	0	0	0	0	0	545619968	4715827200	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200007
stdout:
✔ [500/502] Built Iut.Foundations.Species (172s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (248s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (174s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (196s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (194s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (192s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (104s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (88s)
✔ [790/794] Built Iut.Foundations.QualitativeData (70s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (308s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1224s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1096s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1793s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (532s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (338s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (284s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1718-runtime-lean_checker-3655484-1787411882065242300-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1718-runtime-blueprint_build-3655484-1787419082634889715-2	819200	1376256	21474836480	0	0	0	0	0	0	554127360	657305600	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 325 ms · created 8/22/2026, 5:18:13 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1718-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/22/2026, 5:18:13 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 280 ms · created 8/22/2026, 5:18:13 PM

git checkout fa34eeb22342c0f8785874d0a0d11e705fa8db58

Note: switching to 'fa34eeb22342c0f8785874d0a0d11e705fa8db58'.

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 fa34eeb Merge pull request #959 from promachina/e23-7-current-reconstruction-bridge-obstruction

lake_cacheexit 0duration 8m 13s · created 8/22/2026, 5:18:13 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.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (99ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (154ms)
✔ [13/25] Built Cache.Lean:c.o (122ms)
✔ [15/25] Built Cache.Init (339ms)
✔ [16/25] Built Cache.IO (7.4s)
✔ [17/25] Built Cache.Init:c.o (98ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (924ms)
✔ [20/25] Built Cache.Hashing:c.o (363ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (17s)
✔ [24/25] Built Cache.Main:c.o (2.0s)
✔ [25/25] Built cache:exe (4.8s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 2 KB/s], Decompressed: 6
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 28 KB/s], Decompressed: 26
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 47 KB/s], Decompressed: 34
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 449 KB/s], Decompressed: 46
Downloaded: 107 file(s) [attempted 107/8459 = 1%, 338 KB/s], Decompressed: 90
Downloaded: 138 file(s) [attempted 138/8459 = 1%, 70 KB/s], Decompressed: 107
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 362 KB/s], Decompressed: 155
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 288 KB/s], Decompressed: 179
Downloaded: 247 file(s) [attempted 247/8459 = 2%, 83 KB/s], Decompressed: 179
Downloaded: 285 file(s) [attempted 285/8459 = 3%, 94 KB/s], Decompressed: 213
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 146 KB/s], Decompressed: 251
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 592 KB/s], Decompressed: 292
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 203 KB/s], Decompressed: 337
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 392 KB/s], Decompressed: 378
Downloaded: 474 file(s) [attempted 474/8459 = 5%, 689 KB/s], Decompressed: 405
Downloaded: 508 file(s) [attempted 508/8459 = 6%, 291 KB/s], Decompressed: 443
Downloaded: 542 file(s) [attempted 542/8459 = 6%, 66 KB/s], Decompressed: 481
Downloaded: 583 file(s) [attempted 583/8459 = 6%, 46 KB/s], Decompressed: 549
Downloaded: 625 file(s) [attempted 625/8459 = 7%, 597 KB/s], Decompressed: 583
Downloaded: 666 file(s) [attempted 666/8459 = 7%, 64 KB/s], Decompressed: 621
Downloaded: 700 file(s) [attempted 700/8459 = 8%, 263 KB/s], Decompressed: 659
Downloaded: 741 file(s) [attempted 741/8459 = 8%, 338 KB/s], Decompressed: 693
Downloaded: 782 file(s) [attempted 782/8459 = 9%, 472 KB/s], Decompressed: 738
Downloaded: 823 file(s) [attempted 823/8459 = 9%, 122 KB/s], Decompressed: 779
Downloaded: 858 file(s) [attempted 858/8459 = 10%, 121 KB/s], Decompressed: 817
Downloaded: 895 file(s) [attempted 895/8459 = 10%, 81 KB/s], Decompressed: 851
Downloaded: 933 file(s) [attempted 933/8459 = 11%, 79 KB/s], Decompressed: 889
Downloaded: 974 file(s) [attempted 974/8459 = 11%, 764 KB/s], Decompressed: 926
Downloaded: 1015 file(s) [attempted 1015/8459 = 11%, 244 KB/s], Decompressed: 967
Downloaded: 1060 file(s) [attempted 1060/8459 = 12%, 731 KB/s], Decompressed: 1005
Downloaded: 1098 file(s) [attempted 1098/8459 = 12%, 69 KB/s], Decompressed: 1043
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 174 KB/s], Decompressed: 1080
Downloaded: 1173 file(s) [attempted 1173/8459 = 13%, 246 KB/s], Decompressed: 1080
Downloaded: 1211 file(s) [attempted 1211/8459 = 14%, 28 KB/s], Decompressed: 1125
Downloaded: 1252 file(s) [attempted 1252/8459 = 14%, 43 KB/s], Decompressed: 1176
Downloaded: 1289 file(s) [attempted 1289/8459 = 15%, 106 KB/s], Decompressed: 1176
Downloaded: 1330 file(s) [attempted 1330/8459 = 15%, 151 KB/s], Decompressed: 1235
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 357 KB/s], Decompressed: 1303
Downloaded: 1409 file(s) [attempted 1409/8459 = 16%, 1071 KB/s], Decompressed: 1303
Downloaded: 1450 file(s) [attempted 1450/8459 = 17%, 515 KB/s], Decompressed: 1368
Downloaded: 1488 file(s) [attempted 1488/8459 = 17%, 124 KB/s], Decompressed: 1426
Downloaded: 1526 file(s) [attempted 1526/8459 = 18%, 25 KB/s], Decompressed: 1426
Downloaded: 1563 file(s) [attempted 1563/8459 = 18%, 130 KB/s], Decompressed: 1478
Downloaded: 1608 file(s) [attempted 1608/8459 = 19%, 184 KB/s], Decompressed: 1529
Downloaded: 1649 file(s) [attempted 1649/8459 = 19%, 508 KB/s], Decompressed: 1570
Downloaded: 1690 file(s) [attempted 1690/8459 = 19%, 75 KB/s], Decompressed: 1615
Downloaded: 1735 file(s) [attempted 1735/8459 = 20%, 449 KB/s], Decompressed: 1652
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 1054 KB/s], Decompressed: 1697
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 96 KB/s], Decompressed: 1745
Downloaded: 1851 file(s) [attempted 1851/8459 = 21%, 496 KB/s], Decompressed: 1800
Downloaded: 1889 file(s) [attempted 1889/8459 = 22%, 276 KB/s], Decompressed: 1800
Downloaded: 1933 file(s) [attempted 1933/8459 = 22%, 245 KB/s], Decompressed: 1892
Downloaded: 1981 file(s) [attempted 1981/8459 = 23%, 137 KB/s], Decompressed: 1892
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 275 KB/s], Decompressed: 1933
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 150 KB/s], Decompressed: 1933
Downloaded: 2101 file(s) [attempted 2101/8459 = 24%, 56 KB/s], Decompressed: 1985
Downloaded: 2142 file(s) [attempted 2142/8459 = 25%, 926 KB/s], Decompressed: 1985
Downloaded: 2183 file(s) [attempted 2183/8459 = 25%, 124 KB/s], Decompressed: 2070
Downloaded: 2224 file(s) [attempted 2224/8459 = 26%, 171 KB/s], Decompressed: 2149
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 107 KB/s], Decompressed: 2149
Downloaded: 2300 file(s) [attempted 2300/8459 = 27%, 265 KB/s], Decompressed: 2224
Downloaded: 2341 file(s) [attempted 2341/8459 = 27%, 251 KB/s], Decompressed: 2286
Downloaded: 2382 file(s) [attempted 2382/8459 = 28%, 490 KB/s], Decompressed: 2286
Downloaded: 2423 file(s) [attempted 2423/8459 = 28%, 881 KB/s], Decompressed: 2341
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 305 KB/s], Decompressed: 2392
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 151 KB/s], Decompressed: 2392
Downloaded: 2546 file(s) [attempted 2546/8459 = 30%, 93 KB/s], Decompressed: 2457
Downloaded: 2588 file(s) [attempted 2588/8459 = 30%, 462 KB/s], Decompressed: 2526
Downloaded: 2629 file(s) [attempted 2629/8459 = 31%, 70 KB/s], Decompressed: 2526
Downloaded: 2666 file(s) [attempted 2666/8459 = 31%, 383 KB/s], Decompressed: 2526
Downloaded: 2704 file(s) [attempted 2704/8459 = 31%, 732 KB/s], Decompressed: 2584
Downloaded: 2745 file(s) [attempted 2745/8459 = 32%, 96 KB/s], Decompressed: 2584
Downloaded: 2786 file(s) [attempted 2786/8459 = 32%, 656 KB/s], Decompressed: 2584
Downloaded: 2827 file(s) [attempted 2827/8459 = 33%, 222 KB/s], Decompressed: 2697
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 1044 KB/s], Decompressed: 2697
Downloaded: 2910 file(s) [attempted 2910/8459 = 34%, 234 KB/s], Decompressed: 2697
Downloaded: 2947 file(s) [attempted 2947/8459 = 34%, 216 KB/s], Decompressed: 2697
Downloaded: 2981 file(s) [attempted 2981/8459 = 35%, 23 KB/s], Decompressed: 2697
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 447 KB/s], Decompressed: 2814
Downloaded: 3057 file(s) [attempted 3057/8459 = 36%, 116 KB/s], Decompressed: 2814
Downloaded: 3101 file(s) [attempted 3101/8459 = 36%, 462 KB/s], Decompressed: 2814
Downloaded: 3142 file(s) [attempted 3142/8459 = 37%, 335 KB/s], Decompressed: 2985
Downloaded: 3177 file(s) [attempted 3177/8459 = 37%, 1317 KB/s], Decompressed: 2985
Downloaded: 3218 file(s) [attempted 3218/8459 = 38%, 72 KB/s], Decompressed: 2985
Downloaded: 3259 file(s) [attempted 3259/8459 = 38%, 817 KB/s], Decompressed: 2985
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 170 KB/s], Decompressed: 3125
Downloaded: 3341 file(s) [attempted 3341/8459 = 39%, 487 KB/s], Decompressed: 3125
Downloaded: 3382 file(s) [attempted 3382/8459 = 39%, 96 KB/s], Decompressed: 3125
Downloaded: 3420 file(s) [attempted 3420/8459 = 40%, 419 KB/s], Decompressed: 3125
Downloaded: 3464 file(s) [attempted 3464/8459 = 40%, 40 KB/s], Decompressed: 3125
Downloaded: 3506 file(s) [attempted 3506/8459 = 41%, 229 KB/s], Decompressed: 3300
Downloaded: 3547 file(s) [attempted 3547/8459 = 41%, 576 KB/s], Decompressed: 3300
Downloaded: 3577 file(s) [attempted 3577/8459 = 42%, 752 KB/s], Decompressed: 3300
Downloaded: 3622 file(s) [attempted 3622/8459 = 42%, 1001 KB/s], Decompressed: 3468
Downloaded: 3670 file(s) [attempted 3670/8459 = 43%, 324 KB/s], Decompressed: 3468
Downloaded: 3714 file(s) [attempted 3714/8459 = 43%, 91 KB/s], Decompressed: 3468
Downloaded: 3752 file(s) [attempted 3752/8459 = 44%, 656 KB/s], Decompressed: 3468
Downloaded: 3797 file(s) [attempted 3797/8459 = 44%, 611 KB/s], Decompressed: 3622
Downloaded: 3838 file(s) [attempted 3838/8459 = 45%, 354 KB/s], Decompressed: 3622
Downloaded: 3875 file(s) [attempted 3875/8459 = 45%, 262 KB/s], Decompressed: 3622
Downloaded: 3913 file(s) [attempted 3913/8459 = 46%, 1647 KB/s], Decompressed: 3762
Downloaded: 3954 file(s) [attempted 3954/8459 = 46%, 393 KB/s], Decompressed: 3762
Downloaded: 3992 file(s) [attempted 3992/8459 = 47%, 206 KB/s], Decompressed: 3762
Downloaded: 4032 file(s) [attempted 4032/8459 = 47%, 47 KB/s], Decompressed: 3889
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 584 KB/s], Decompressed: 3889
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 149 KB/s], Decompressed: 3999
Downloaded: 4149 file(s) [attempted 4149/8459 = 49%, 793 KB/s], Decompressed: 3999
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 351 KB/s], Decompressed: 3999
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 156 KB/s], Decompressed: 4105
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 76 KB/s], Decompressed: 4105
Downloaded: 4321 file(s) [attempted 4321/8459 = 51%, 182 KB/s], Decompressed: 4211
Downloaded: 4362 file(s) [attempted 4362/8459 = 51%, 121 KB/s], Decompressed: 4211
Downloaded: 4399 file(s) [attempted 4399/8459 = 52%, 101 KB/s], Decompressed: 4211
Downloaded: 4441 file(s) [attempted 4441/8459 = 52%, 506 KB/s], Decompressed: 4314
Downloaded: 4485 file(s) [attempted 4485/8459 = 53%, 652 KB/s], Decompressed: 4314
Downloaded: 4519 file(s) [attempted 4519/8459 = 53%, 307 KB/s], Decompressed: 4413
Downloaded: 4567 file(s) [attempted 4567/8459 = 53%, 35 KB/s], Decompressed: 4413
Downloaded: 4612 file(s) [attempted 4612/8459 = 54%, 297 KB/s], Decompressed: 4413
Downloaded: 4653 file(s) [attempted 4653/8459 = 55%, 850 KB/s], Decompressed: 4509
Downloaded: 4694 file(s) [attempted 4694/8459 = 55%, 1120 KB/s], Decompressed: 4509
Downloaded: 4732 file(s) [attempted 4732/8459 = 55%, 94 KB/s], Decompressed: 4509
Downloaded: 4766 file(s) [attempted 4766/8459 = 56%, 356 KB/s], Decompressed: 4509
Downloaded: 4807 file(s) [attempted 4807/8459 = 56%, 100 KB/s], Decompressed: 4509
Downloaded: 4855 file(s) [attempted 4855/8459 = 57%, 64 KB/s], Decompressed: 4509
Downloaded: 4900 file(s) [attempted 4900/8459 = 57%, 826 KB/s], Decompressed: 4650
Downloaded: 4941 file(s) [attempted 4941/8459 = 58%, 440 KB/s], Decompressed: 4650
Downloaded: 4981 file(s) [attempted 4981/8459 = 58%, 113 KB/s], Decompressed: 4650
Downloaded: 5016 file(s) [attempted 5016/8459 = 59%, 96 KB/s], Decompressed: 4650
Downloaded: 5054 file(s) [attempted 5054/8459 = 59%, 386 KB/s], Decompressed: 4650
Downloaded: 5091 file(s) [attempted 5091/8459 = 60%, 176 KB/s], Decompressed: 4650
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 1381 KB/s], Decompressed: 4650
Downloaded: 5184 file(s) [attempted 5184/8459 = 61%, 298 KB/s], Decompressed: 4889
Downloaded: 5222 file(s) [attempted 5222/8459 = 61%, 139 KB/s], Decompressed: 4889
Downloaded: 5256 file(s) [attempted 5256/8459 = 62%, 92 KB/s], Decompressed: 4889
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 63 KB/s], Decompressed: 4889
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 90 KB/s], Decompressed: 4889
Downloaded: 5386 file(s) [attempted 5386/8459 = 63%, 76 KB/s], Decompressed: 4889
Downloaded: 5420 file(s) [attempted 5420/8459 = 64%, 224 KB/s], Decompressed: 5168
Downloaded: 5465 file(s) [attempted 5465/8459 = 64%, 60 KB/s], Decompressed: 5168
Downloaded: 5502 file(s) [attempted 5502/8459 = 65%, 516 KB/s], Decompressed: 5168
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 438 KB/s], Decompressed: 5168
Downloaded: 5591 file(s) [attempted 5591/8459 = 66%, 254 KB/s], Decompressed: 5168
Downloaded: 5636 file(s) [attempted 5636/8459 = 66%, 352 KB/s], Decompressed: 5413
Downloaded: 5677 file(s) [attempted 5677/8459 = 67%, 826 KB/s], Decompressed: 5413
Downloaded: 5718 file(s) [attempted 5718/8459 = 67%, 467 KB/s], Decompressed: 5413
Downloaded: 5752 file(s) [attempted 5752/8459 = 67%, 71 KB/s], Decompressed: 5413
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 136 KB/s], Decompressed: 5413
Downloaded: 5828 file(s) [attempted 5828/8459 = 68%, 169 KB/s], Decompressed: 5626
Downloaded: 5872 file(s) [attempted 5872/8459 = 69%, 226 KB/s], Decompressed: 5626
Downloaded: 5917 file(s) [attempted 5917/8459 = 69%, 329 KB/s], Decompressed: 5626
Downloaded: 5958 file(s) [attempted 5958/8459 = 70%, 84 KB/s], Decompressed: 5626
Downloaded: 5996 file(s) [attempted 5996/8459 = 70%, 592 KB/s], Decompressed: 5814
Downloaded: 6026 file(s) [attempted 6026/8459 = 71%, 27 KB/s], Decompressed: 5814
Downloaded: 6068 file(s) [attempted 6068/8459 = 71%, 253 KB/s], Decompressed: 5814
Downloaded: 6112 file(s) [attempted 6112/8459 = 72%, 174 KB/s], Decompressed: 5972
Downloaded: 6153 file(s) [attempted 6153/8459 = 72%, 195 KB/s], Decompressed: 5972
Downloaded: 6191 file(s) [attempted 6191/8459 = 73%, 434 KB/s], Decompressed: 5972
Downloaded: 6229 file(s) [attempted 6229/8459 = 73%, 1082 KB/s], Decompressed: 5972
Downloaded: 6273 file(s) [attempted 6273/8459 = 74%, 111 KB/s], Decompressed: 6112
Downloaded: 6314 file(s) [attempted 6314/8459 = 74%, 319 KB/s], Decompressed: 6112
Downloaded: 6359 file(s) [attempted 6359/8459 = 75%, 27 KB/s], Decompressed: 6112
Downloaded: 6396 file(s) [attempted 6396/8459 = 75%, 36 KB/s], Decompressed: 6249
Downloaded: 6431 file(s) [attempted 6431/8459 = 76%, 341 KB/s], Decompressed: 6249
Downloaded: 6475 file(s) [attempted 6475/8459 = 76%, 204 KB/s], Decompressed: 6249
Downloaded: 6523 file(s) [attempted 6523/8459 = 77%, 112 KB/s], Decompressed: 6249
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 377 KB/s], Decompressed: 6383
Downloaded: 6605 file(s) [attempted 6605/8459 = 78%, 165 KB/s], Decompressed: 6383
Downloaded: 6643 file(s) [attempted 6643/8459 = 78%, 493 KB/s], Decompressed: 6383
Downloaded: 6688 file(s) [attempted 6688/8459 = 79%, 152 KB/s], Decompressed: 6383
Downloaded: 6729 file(s) [attempted 6729/8459 = 79%, 31 KB/s], Decompressed: 6383
Downloaded: 6770 file(s) [attempted 6770/8459 = 80%, 153 KB/s], Decompressed: 6383
Downloaded: 6811 file(s) [attempted 6811/8459 = 80%, 177 KB/s], Decompressed: 6383
Downloaded: 6845 file(s) [attempted 6845/8459 = 80%, 34 KB/s], Decompressed: 6557
Downloaded: 6883 file(s) [attempted 6883/8459 = 81%, 187 KB/s], Decompressed: 6557
Downloaded: 6927 file(s) [attempted 6927/8459 = 81%, 240 KB/s], Decompressed: 6557
Downloaded: 6972 file(s) [attempted 6972/8459 = 82%, 142 KB/s], Decompressed: 6557
Downloaded: 7010 file(s) [attempted 7010/8459 = 82%, 296 KB/s], Decompressed: 6557
Downloaded: 7047 file(s) [attempted 7047/8459 = 83%, 184 KB/s], Decompressed: 6557
Downloaded: 7081 file(s) [attempted 7081/8459 = 83%, 43 KB/s], Decompressed: 6557
Downloaded: 7123 file(s) [attempted 7123/8459 = 84%, 114 KB/s], Decompressed: 6828
Downloaded: 7164 file(s) [attempted 7164/8459 = 84%, 91 KB/s], Decompressed: 6828
Downloaded: 7208 file(s) [attempted 7208/8459 = 85%, 231 KB/s], Decompressed: 6828
Downloaded: 7246 file(s) [attempted 7246/8459 = 85%, 657 KB/s], Decompressed: 6828
Downloaded: 7284 file(s) [attempted 7284/8459 = 86%, 169 KB/s], Decompressed: 6828
Downloaded: 7323 file(s) [attempted 7323/8459 = 86%, 78 KB/s], Decompressed: 6828
Downloaded: 7359 file(s) [attempted 7359/8459 = 86%, 60 KB/s], Decompressed: 6828
Downloaded: 7397 file(s) [attempted 7397/8459 = 87%, 2017 KB/s], Decompressed: 7105
Downloaded: 7438 file(s) [attempted 7438/8459 = 87%, 91 KB/s], Decompressed: 7105
Downloaded: 7479 file(s) [attempted 7479/8459 = 88%, 178 KB/s], Decompressed: 7105
Downloaded: 7480 file(s) [attempted 7480/8459 = 88%, 146 KB/s], Decompressed: 7105
Downloaded: 7530 file(s) [attempted 7530/8459 = 89%, 292 KB/s], Decompressed: 7105
Downloaded: 7578 file(s) [attempted 7578/8459 = 89%, 166 KB/s], Decompressed: 7105
Downloaded: 7582 file(s) [attempted 7582/8459 = 89%, 167 KB/s], Decompressed: 7105
Downloaded: 7633 file(s) [attempted 7633/8459 = 90%, 48 KB/s], Decompressed: 7105
Downloaded: 7684 file(s) [attempted 7684/8459 = 90%, 89 KB/s], Decompressed: 7105
Downloaded: 7729 file(s) [attempted 7729/8459 = 91%, 3014 KB/s], Decompressed: 7105
Downloaded: 7739 file(s) [attempted 7739/8459 = 91%, 1374 KB/s], Decompressed: 7105
Downloaded: 7791 file(s) [attempted 7791/8459 = 92%, 30 KB/s], Decompressed: 7105
Downloaded: 7838 file(s) [attempted 7838/8459 = 92%, 20 KB/s], Decompressed: 7105
Downloaded: 7890 file(s) [attempted 7890/8459 = 93%, 64 KB/s], Decompressed: 7386
Downloaded: 7982 file(s) [attempted 7982/8459 = 94%, 661 KB/s], Decompressed: 7386
Downloaded: 7989 file(s) [attempted 7989/8459 = 94%, 2165 KB/s], Decompressed: 7386
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 178 KB/s], Decompressed: 7386
Downloaded: 8089 file(s) [attempted 8089/8459 = 95%, 103 KB/s], Decompressed: 7386
Downloaded: 8137 file(s) [attempted 8137/8459 = 96%, 188 KB/s], Decompressed: 7386
Downloaded: 8184 file(s) [attempted 8184/8459 = 96%, 235 KB/s], Decompressed: 7386
Downloaded: 8232 file(s) [attempted 8232/8459 = 97%, 426 KB/s], Decompressed: 7386
Downloaded: 8277 file(s) [attempted 8277/8459 = 97%, 83 KB/s], Decompressed: 7386
Downloaded: 8315 file(s) [attempted 8315/8459 = 98%, 548 KB/s], Decompressed: 7386
Downloaded: 8356 file(s) [attempted 8356/8459 = 98%, 127 KB/s], Decompressed: 7386
Downloaded: 8397 file(s) [attempted 8397/8459 = 99%, 275 KB/s], Decompressed: 7386
Downloaded: 8435 file(s) [attempted 8435/8459 = 99%, 323 KB/s], Decompressed: 7386
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 248 KB/s], Decompressed: 7386
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 248 KB/s], Decompressed: 7386

apx-runtime-resource-v1	apx-verifier-job-1718-runtime-lake_cache-3655484-1787411389553201845-0	3960832	4464640	21474836480	0	0	0	0	0	0	545619968	4715827200	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/22/2026, 5:18:13 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (172s)
✔ [501/502] Built Iut.Foundations.SourceGameplanSpeciesMutation (248s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (174s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (196s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (194s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (192s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (104s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (88s)
✔ [790/794] Built Iut.Foundations.QualitativeData (70s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (308s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1224s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1096s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1793s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (532s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (338s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (284s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1718-runtime-lean_checker-3655484-1787411882065242300-1 on attempt 1

blueprint_buildexit 1duration 9s · created 8/22/2026, 5:18:13 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1718-runtime-blueprint_build-3655484-1787419082634889715-2	819200	1376256	21474836480	0	0	0	0	0	0	554127360	657305600	21474836480	0	0	0	0	0	0