Verification run

Run 1274

promachina/iut-leanbranch mastertriggered via github_push

failedcommit ef20558a60a4toolchain lean-v4-30-0prover leantook 2h 6m · 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-1721-source
exit_code=Some(128) duration_ms=234
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1721-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=4123
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1721-source'...


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

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 ef20558 Merge pull request #961 from promachina/e23-9-current-concrete-common-scale-classification

Resolved source revision: ef20558a60a47bb6d8cbf33357998a7a9ca1fc1b

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=ef20558a60a47bb6d8cbf33357998a7a9ca1fc1b provenance={"branch":"master","checked_out_revision":"ef20558a60a47bb6d8cbf33357998a7a9ca1fc1b","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"ef20558a60a47bb6d8cbf33357998a7a9ca1fc1b","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=5633 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=332552
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.6s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (124ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (155ms)
✔ [13/25] Built Cache.Lean:c.o (146ms)
✔ [15/25] Built Cache.Init (350ms)
✔ [16/25] Built Cache.IO (7.7s)
✔ [17/25] Built Cache.Init:c.o (88ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (882ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.2s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (942ms)
✔ [24/25] Built Cache.Main:c.o (516ms)
✔ [25/25] Built cache:exe (7.5s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 11 KB/s], Decompressed: 11
Downloaded: 40 file(s) [attempted 40/8459 = 0%, 16 KB/s], Decompressed: 26
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 45 KB/s], Decompressed: 38
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 329 KB/s], Decompressed: 50
Downloaded: 127 file(s) [attempted 127/8459 = 1%, 102 KB/s], Decompressed: 72
Downloaded: 162 file(s) [attempted 162/8459 = 1%, 526 KB/s], Decompressed: 103
Downloaded: 193 file(s) [attempted 193/8459 = 2%, 125 KB/s], Decompressed: 138
Downloaded: 227 file(s) [attempted 227/8459 = 2%, 235 KB/s], Decompressed: 169
Downloaded: 268 file(s) [attempted 268/8459 = 3%, 255 KB/s], Decompressed: 203
Downloaded: 313 file(s) [attempted 313/8459 = 3%, 357 KB/s], Decompressed: 237
Downloaded: 361 file(s) [attempted 361/8459 = 4%, 963 KB/s], Decompressed: 271
Downloaded: 402 file(s) [attempted 402/8459 = 4%, 474 KB/s], Decompressed: 319
Downloaded: 443 file(s) [attempted 443/8459 = 5%, 256 KB/s], Decompressed: 371
Downloaded: 484 file(s) [attempted 484/8459 = 5%, 28 KB/s], Decompressed: 371
Downloaded: 525 file(s) [attempted 525/8459 = 6%, 221 KB/s], Decompressed: 419
Downloaded: 563 file(s) [attempted 563/8459 = 6%, 80 KB/s], Decompressed: 487
Downloaded: 607 file(s) [attempted 607/8459 = 7%, 159 KB/s], Decompressed: 487
Downloaded: 649 file(s) [attempted 649/8459 = 7%, 159 KB/s], Decompressed: 487
Downloaded: 690 file(s) [attempted 690/8459 = 8%, 693 KB/s], Decompressed: 487
Downloaded: 734 file(s) [attempted 734/8459 = 8%, 512 KB/s], Decompressed: 563
Downloaded: 779 file(s) [attempted 779/8459 = 9%, 438 KB/s], Decompressed: 563
Downloaded: 820 file(s) [attempted 820/8459 = 9%, 742 KB/s], Decompressed: 563
Downloaded: 861 file(s) [attempted 861/8459 = 10%, 119 KB/s], Decompressed: 703
Downloaded: 902 file(s) [attempted 902/8459 = 10%, 230 KB/s], Decompressed: 703
Downloaded: 943 file(s) [attempted 943/8459 = 11%, 515 KB/s], Decompressed: 703
Downloaded: 985 file(s) [attempted 985/8459 = 11%, 541 KB/s], Decompressed: 844
Downloaded: 1026 file(s) [attempted 1026/8459 = 12%, 993 KB/s], Decompressed: 844
Downloaded: 1070 file(s) [attempted 1070/8459 = 12%, 281 KB/s], Decompressed: 844
Downloaded: 1111 file(s) [attempted 1111/8459 = 13%, 419 KB/s], Decompressed: 844
Downloaded: 1152 file(s) [attempted 1152/8459 = 13%, 367 KB/s], Decompressed: 985
Downloaded: 1193 file(s) [attempted 1193/8459 = 14%, 81 KB/s], Decompressed: 985
Downloaded: 1238 file(s) [attempted 1238/8459 = 14%, 495 KB/s], Decompressed: 985
Downloaded: 1276 file(s) [attempted 1276/8459 = 15%, 356 KB/s], Decompressed: 1118
Downloaded: 1317 file(s) [attempted 1317/8459 = 15%, 592 KB/s], Decompressed: 1118
Downloaded: 1361 file(s) [attempted 1361/8459 = 16%, 328 KB/s], Decompressed: 1241
Downloaded: 1402 file(s) [attempted 1402/8459 = 16%, 198 KB/s], Decompressed: 1241
Downloaded: 1447 file(s) [attempted 1447/8459 = 17%, 1156 KB/s], Decompressed: 1241
Downloaded: 1488 file(s) [attempted 1488/8459 = 17%, 131 KB/s], Decompressed: 1358
Downloaded: 1526 file(s) [attempted 1526/8459 = 18%, 130 KB/s], Decompressed: 1358
Downloaded: 1570 file(s) [attempted 1570/8459 = 18%, 123 KB/s], Decompressed: 1358
Downloaded: 1611 file(s) [attempted 1611/8459 = 19%, 602 KB/s], Decompressed: 1481
Downloaded: 1649 file(s) [attempted 1649/8459 = 19%, 138 KB/s], Decompressed: 1481
Downloaded: 1690 file(s) [attempted 1690/8459 = 19%, 183 KB/s], Decompressed: 1481
Downloaded: 1738 file(s) [attempted 1738/8459 = 20%, 112 KB/s], Decompressed: 1594
Downloaded: 1779 file(s) [attempted 1779/8459 = 21%, 1152 KB/s], Decompressed: 1594
Downloaded: 1827 file(s) [attempted 1827/8459 = 21%, 215 KB/s], Decompressed: 1707
Downloaded: 1868 file(s) [attempted 1868/8459 = 22%, 116 KB/s], Decompressed: 1707
Downloaded: 1909 file(s) [attempted 1909/8459 = 22%, 249 KB/s], Decompressed: 1813
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 462 KB/s], Decompressed: 1813
Downloaded: 1995 file(s) [attempted 1995/8459 = 23%, 129 KB/s], Decompressed: 1813
Downloaded: 2040 file(s) [attempted 2040/8459 = 24%, 365 KB/s], Decompressed: 1909
Downloaded: 2087 file(s) [attempted 2087/8459 = 24%, 27 KB/s], Decompressed: 1909
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 110 KB/s], Decompressed: 1909
Downloaded: 2166 file(s) [attempted 2166/8459 = 25%, 595 KB/s], Decompressed: 2009
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 320 KB/s], Decompressed: 2009
Downloaded: 2255 file(s) [attempted 2255/8459 = 26%, 29 KB/s], Decompressed: 2009
Downloaded: 2300 file(s) [attempted 2300/8459 = 27%, 271 KB/s], Decompressed: 2009
Downloaded: 2341 file(s) [attempted 2341/8459 = 27%, 260 KB/s], Decompressed: 2156
Downloaded: 2385 file(s) [attempted 2385/8459 = 28%, 492 KB/s], Decompressed: 2156
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 487 KB/s], Decompressed: 2156
Downloaded: 2481 file(s) [attempted 2481/8459 = 29%, 462 KB/s], Decompressed: 2307
Downloaded: 2516 file(s) [attempted 2516/8459 = 29%, 493 KB/s], Decompressed: 2307
Downloaded: 2557 file(s) [attempted 2557/8459 = 30%, 56 KB/s], Decompressed: 2307
Downloaded: 2601 file(s) [attempted 2601/8459 = 30%, 25 KB/s], Decompressed: 2307
Downloaded: 2646 file(s) [attempted 2646/8459 = 31%, 226 KB/s], Decompressed: 2307
Downloaded: 2687 file(s) [attempted 2687/8459 = 31%, 359 KB/s], Decompressed: 2447
Downloaded: 2731 file(s) [attempted 2731/8459 = 32%, 165 KB/s], Decompressed: 2447
Downloaded: 2772 file(s) [attempted 2772/8459 = 32%, 267 KB/s], Decompressed: 2447
Downloaded: 2811 file(s) [attempted 2811/8459 = 33%, 164 KB/s], Decompressed: 2447
Downloaded: 2851 file(s) [attempted 2851/8459 = 33%, 182 KB/s], Decompressed: 2447
Downloaded: 2899 file(s) [attempted 2899/8459 = 34%, 746 KB/s], Decompressed: 2656
Downloaded: 2944 file(s) [attempted 2944/8459 = 34%, 642 KB/s], Decompressed: 2656
Downloaded: 2985 file(s) [attempted 2985/8459 = 35%, 731 KB/s], Decompressed: 2656
Downloaded: 3026 file(s) [attempted 3026/8459 = 35%, 422 KB/s], Decompressed: 2656
Downloaded: 3067 file(s) [attempted 3067/8459 = 36%, 90 KB/s], Decompressed: 2656
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 62 KB/s], Decompressed: 2872
Downloaded: 3160 file(s) [attempted 3160/8459 = 37%, 230 KB/s], Decompressed: 2872
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 38 KB/s], Decompressed: 2872
Downloaded: 3238 file(s) [attempted 3238/8459 = 38%, 625 KB/s], Decompressed: 2872
Downloaded: 3279 file(s) [attempted 3279/8459 = 38%, 959 KB/s], Decompressed: 2872
Downloaded: 3324 file(s) [attempted 3324/8459 = 39%, 40 KB/s], Decompressed: 2872
Downloaded: 3368 file(s) [attempted 3368/8459 = 39%, 337 KB/s], Decompressed: 3091
Downloaded: 3410 file(s) [attempted 3410/8459 = 40%, 793 KB/s], Decompressed: 3091
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 93 KB/s], Decompressed: 3091
Downloaded: 3495 file(s) [attempted 3495/8459 = 41%, 1081 KB/s], Decompressed: 3091
Downloaded: 3533 file(s) [attempted 3533/8459 = 41%, 370 KB/s], Decompressed: 3091
Downloaded: 3574 file(s) [attempted 3574/8459 = 42%, 204 KB/s], Decompressed: 3091
Downloaded: 3618 file(s) [attempted 3618/8459 = 42%, 746 KB/s], Decompressed: 3338
Downloaded: 3663 file(s) [attempted 3663/8459 = 43%, 1495 KB/s], Decompressed: 3338
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 322 KB/s], Decompressed: 3338
Downloaded: 3749 file(s) [attempted 3749/8459 = 44%, 239 KB/s], Decompressed: 3338
Downloaded: 3790 file(s) [attempted 3790/8459 = 44%, 487 KB/s], Decompressed: 3338
Downloaded: 3831 file(s) [attempted 3831/8459 = 45%, 26 KB/s], Decompressed: 3338
Downloaded: 3865 file(s) [attempted 3865/8459 = 45%, 1370 KB/s], Decompressed: 3338
Downloaded: 3910 file(s) [attempted 3910/8459 = 46%, 651 KB/s], Decompressed: 3338
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 920 KB/s], Decompressed: 3338
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 1033 KB/s], Decompressed: 3601
Downloaded: 4016 file(s) [attempted 4016/8459 = 47%, 22 KB/s], Decompressed: 3601
Downloaded: 4067 file(s) [attempted 4067/8459 = 48%, 626 KB/s], Decompressed: 3601
Downloaded: 4068 file(s) [attempted 4068/8459 = 48%, 264 KB/s], Decompressed: 3601
Downloaded: 4115 file(s) [attempted 4115/8459 = 48%, 8 KB/s], Decompressed: 3968
Downloaded: 4118 file(s) [attempted 4118/8459 = 48%, 27 KB/s], Decompressed: 3968
Downloaded: 4142 file(s) [attempted 4142/8459 = 48%, 11 KB/s], Decompressed: 3968
Downloaded: 4165 file(s) [attempted 4165/8459 = 49%, 25 KB/s], Decompressed: 4115
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 59 KB/s], Decompressed: 4157
Downloaded: 4214 file(s) [attempted 4214/8459 = 49%, 517 KB/s], Decompressed: 4157
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 435 KB/s], Decompressed: 4186
Downloaded: 4280 file(s) [attempted 4280/8459 = 50%, 327 KB/s], Decompressed: 4218
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 31 KB/s], Decompressed: 4218
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 377 KB/s], Decompressed: 4270
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 642 KB/s], Decompressed: 4324
Downloaded: 4427 file(s) [attempted 4427/8459 = 52%, 142 KB/s], Decompressed: 4324
Downloaded: 4465 file(s) [attempted 4465/8459 = 52%, 110 KB/s], Decompressed: 4386
Downloaded: 4506 file(s) [attempted 4506/8459 = 53%, 201 KB/s], Decompressed: 4386
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 319 KB/s], Decompressed: 4444
Downloaded: 4581 file(s) [attempted 4581/8459 = 54%, 1071 KB/s], Decompressed: 4516
Downloaded: 4626 file(s) [attempted 4626/8459 = 54%, 79 KB/s], Decompressed: 4516
Downloaded: 4670 file(s) [attempted 4670/8459 = 55%, 422 KB/s], Decompressed: 4581
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 26 KB/s], Decompressed: 4581
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 1434 KB/s], Decompressed: 4656
Downloaded: 4800 file(s) [attempted 4800/8459 = 56%, 165 KB/s], Decompressed: 4656
Downloaded: 4838 file(s) [attempted 4838/8459 = 57%, 78 KB/s], Decompressed: 4725
Downloaded: 4879 file(s) [attempted 4879/8459 = 57%, 88 KB/s], Decompressed: 4807
Downloaded: 4920 file(s) [attempted 4920/8459 = 58%, 464 KB/s], Decompressed: 4807
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 288 KB/s], Decompressed: 4879
Downloaded: 5006 file(s) [attempted 5006/8459 = 59%, 84 KB/s], Decompressed: 4879
Downloaded: 5050 file(s) [attempted 5050/8459 = 59%, 464 KB/s], Decompressed: 4958
Downloaded: 5088 file(s) [attempted 5088/8459 = 60%, 208 KB/s], Decompressed: 4958
Downloaded: 5129 file(s) [attempted 5129/8459 = 60%, 613 KB/s], Decompressed: 5033
Downloaded: 5170 file(s) [attempted 5170/8459 = 61%, 486 KB/s], Decompressed: 5033
Downloaded: 5215 file(s) [attempted 5215/8459 = 61%, 103 KB/s], Decompressed: 5033
Downloaded: 5259 file(s) [attempted 5259/8459 = 62%, 24 KB/s], Decompressed: 5033
Downloaded: 5304 file(s) [attempted 5304/8459 = 62%, 739 KB/s], Decompressed: 5109
Downloaded: 5338 file(s) [attempted 5338/8459 = 63%, 410 KB/s], Decompressed: 5109
Downloaded: 5379 file(s) [attempted 5379/8459 = 63%, 902 KB/s], Decompressed: 5109
Downloaded: 5427 file(s) [attempted 5427/8459 = 64%, 392 KB/s], Decompressed: 5109
Downloaded: 5472 file(s) [attempted 5472/8459 = 64%, 804 KB/s], Decompressed: 5270
Downloaded: 5516 file(s) [attempted 5516/8459 = 65%, 822 KB/s], Decompressed: 5270
Downloaded: 5561 file(s) [attempted 5561/8459 = 65%, 174 KB/s], Decompressed: 5270
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 328 KB/s], Decompressed: 5270
Downloaded: 5640 file(s) [attempted 5640/8459 = 66%, 50 KB/s], Decompressed: 5270
Downloaded: 5687 file(s) [attempted 5687/8459 = 67%, 681 KB/s], Decompressed: 5448
Downloaded: 5732 file(s) [attempted 5732/8459 = 67%, 66 KB/s], Decompressed: 5448
Downloaded: 5773 file(s) [attempted 5773/8459 = 68%, 638 KB/s], Decompressed: 5448
Downloaded: 5814 file(s) [attempted 5814/8459 = 68%, 123 KB/s], Decompressed: 5448
Downloaded: 5855 file(s) [attempted 5855/8459 = 69%, 604 KB/s], Decompressed: 5448
Downloaded: 5900 file(s) [attempted 5900/8459 = 69%, 700 KB/s], Decompressed: 5663
Downloaded: 5944 file(s) [attempted 5944/8459 = 70%, 745 KB/s], Decompressed: 5663
Downloaded: 5985 file(s) [attempted 5985/8459 = 70%, 245 KB/s], Decompressed: 5663
Downloaded: 6023 file(s) [attempted 6023/8459 = 71%, 83 KB/s], Decompressed: 5663
Downloaded: 6064 file(s) [attempted 6064/8459 = 71%, 235 KB/s], Decompressed: 5663
Downloaded: 6109 file(s) [attempted 6109/8459 = 72%, 303 KB/s], Decompressed: 5866
Downloaded: 6146 file(s) [attempted 6146/8459 = 72%, 396 KB/s], Decompressed: 5866
Downloaded: 6191 file(s) [attempted 6191/8459 = 73%, 476 KB/s], Decompressed: 5866
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 664 KB/s], Decompressed: 5866
Downloaded: 6277 file(s) [attempted 6277/8459 = 74%, 331 KB/s], Decompressed: 5866
Downloaded: 6318 file(s) [attempted 6318/8459 = 74%, 412 KB/s], Decompressed: 6095
Downloaded: 6362 file(s) [attempted 6362/8459 = 75%, 149 KB/s], Decompressed: 6095
Downloaded: 6403 file(s) [attempted 6403/8459 = 75%, 373 KB/s], Decompressed: 6095
Downloaded: 6444 file(s) [attempted 6444/8459 = 76%, 97 KB/s], Decompressed: 6095
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 191 KB/s], Decompressed: 6095
Downloaded: 6530 file(s) [attempted 6530/8459 = 77%, 52 KB/s], Decompressed: 6095
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 159 KB/s], Decompressed: 6095
Downloaded: 6612 file(s) [attempted 6612/8459 = 78%, 538 KB/s], Decompressed: 6311
Downloaded: 6657 file(s) [attempted 6657/8459 = 78%, 177 KB/s], Decompressed: 6311
Downloaded: 6698 file(s) [attempted 6698/8459 = 79%, 96 KB/s], Decompressed: 6311
Downloaded: 6739 file(s) [attempted 6739/8459 = 79%, 180 KB/s], Decompressed: 6311
Downloaded: 6780 file(s) [attempted 6780/8459 = 80%, 586 KB/s], Decompressed: 6311
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 132 KB/s], Decompressed: 6311
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 118 KB/s], Decompressed: 6311
Downloaded: 6903 file(s) [attempted 6903/8459 = 81%, 456 KB/s], Decompressed: 6595
Downloaded: 6948 file(s) [attempted 6948/8459 = 82%, 432 KB/s], Decompressed: 6595
Downloaded: 6989 file(s) [attempted 6989/8459 = 82%, 39 KB/s], Decompressed: 6595
Downloaded: 7030 file(s) [attempted 7030/8459 = 83%, 351 KB/s], Decompressed: 6595
Downloaded: 7075 file(s) [attempted 7075/8459 = 83%, 1247 KB/s], Decompressed: 6595
Downloaded: 7119 file(s) [attempted 7119/8459 = 84%, 283 KB/s], Decompressed: 6866
Downloaded: 7153 file(s) [attempted 7153/8459 = 84%, 267 KB/s], Decompressed: 6866
Downloaded: 7195 file(s) [attempted 7195/8459 = 85%, 56 KB/s], Decompressed: 6866
Downloaded: 7242 file(s) [attempted 7242/8459 = 85%, 44 KB/s], Decompressed: 6866
Downloaded: 7290 file(s) [attempted 7290/8459 = 86%, 100 KB/s], Decompressed: 6866
Downloaded: 7335 file(s) [attempted 7335/8459 = 86%, 397 KB/s], Decompressed: 7102
Downloaded: 7376 file(s) [attempted 7376/8459 = 87%, 749 KB/s], Decompressed: 7102
Downloaded: 7414 file(s) [attempted 7414/8459 = 87%, 409 KB/s], Decompressed: 7102
Downloaded: 7448 file(s) [attempted 7448/8459 = 88%, 278 KB/s], Decompressed: 7102
Downloaded: 7493 file(s) [attempted 7493/8459 = 88%, 1211 KB/s], Decompressed: 7102
Downloaded: 7537 file(s) [attempted 7537/8459 = 89%, 2215 KB/s], Decompressed: 7311
Downloaded: 7582 file(s) [attempted 7582/8459 = 89%, 29 KB/s], Decompressed: 7311
Downloaded: 7619 file(s) [attempted 7619/8459 = 90%, 158 KB/s], Decompressed: 7311
Downloaded: 7663 file(s) [attempted 7663/8459 = 90%, 138 KB/s], Decompressed: 7311
Downloaded: 7698 file(s) [attempted 7698/8459 = 91%, 269 KB/s], Decompressed: 7523
Downloaded: 7736 file(s) [attempted 7736/8459 = 91%, 146 KB/s], Decompressed: 7523
Downloaded: 7780 file(s) [attempted 7780/8459 = 91%, 79 KB/s], Decompressed: 7523
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 172 KB/s], Decompressed: 7523
Downloaded: 7861 file(s) [attempted 7861/8459 = 92%, 35 KB/s], Decompressed: 7698
Downloaded: 7900 file(s) [attempted 7900/8459 = 93%, 860 KB/s], Decompressed: 7698
Downloaded: 7941 file(s) [attempted 7941/8459 = 93%, 89 KB/s], Decompressed: 7698
Downloaded: 7989 file(s) [attempted 7989/8459 = 94%, 209 KB/s], Decompressed: 7698
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 426 KB/s], Decompressed: 7859
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 38 KB/s], Decompressed: 7859
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 804 KB/s], Decompressed: 7859
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 26 KB/s], Decompressed: 7859
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 131 KB/s], Decompressed: 8020
Downloaded: 8243 file(s) [attempted 8243/8459 = 97%, 157 KB/s], Decompressed: 8020
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 72 KB/s], Decompressed: 8020
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 535 KB/s], Decompressed: 8167
Downloaded: 8380 file(s) [attempted 8380/8459 = 99%, 203 KB/s], Decompressed: 8167
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 92 KB/s], Decompressed: 8167
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 81 KB/s], Decompressed: 8311
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 81 KB/s], Decompressed: 8311

apx-runtime-resource-v1	apx-verifier-job-1721-runtime-lake_cache-3693117-1787434046027996174-0	3641344	3899392	21474836480	0	0	0	0	0	0	4582236160	4822138880	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200006
stdout:
✔ [500/502] Built Iut.Foundations.Species (57s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (92s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (98s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (75s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (68s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (109s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (165s)
✔ [790/794] Built Iut.Foundations.QualitativeData (63s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (364s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1319s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1547s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1574s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (473s)
✔ [3975/3982] Built Iut.Foundations.SourceTateCurve (357s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (255s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1721-runtime-lean_checker-3693117-1787434378590203332-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1721-runtime-blueprint_build-3693117-1787441579450961633-2	950272	1437696	21474836480	0	0	0	0	0	0	882823168	985964544	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 234 ms · created 8/22/2026, 11:33:18 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1721-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, 11:33:18 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 68 ms · created 8/22/2026, 11:33:18 PM

git checkout ef20558a60a47bb6d8cbf33357998a7a9ca1fc1b

Note: switching to 'ef20558a60a47bb6d8cbf33357998a7a9ca1fc1b'.

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 ef20558 Merge pull request #961 from promachina/e23-9-current-concrete-common-scale-classification

lake_cacheexit 0duration 5m 33s · created 8/22/2026, 11:33:18 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.6s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (124ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (155ms)
✔ [13/25] Built Cache.Lean:c.o (146ms)
✔ [15/25] Built Cache.Init (350ms)
✔ [16/25] Built Cache.IO (7.7s)
✔ [17/25] Built Cache.Init:c.o (88ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (882ms)
✔ [20/25] Built Cache.Hashing:c.o (356ms)
✔ [21/25] Built Cache.Requests (2.2s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (942ms)
✔ [24/25] Built Cache.Main:c.o (516ms)
✔ [25/25] Built cache:exe (7.5s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 11 KB/s], Decompressed: 11
Downloaded: 40 file(s) [attempted 40/8459 = 0%, 16 KB/s], Decompressed: 26
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 45 KB/s], Decompressed: 38
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 329 KB/s], Decompressed: 50
Downloaded: 127 file(s) [attempted 127/8459 = 1%, 102 KB/s], Decompressed: 72
Downloaded: 162 file(s) [attempted 162/8459 = 1%, 526 KB/s], Decompressed: 103
Downloaded: 193 file(s) [attempted 193/8459 = 2%, 125 KB/s], Decompressed: 138
Downloaded: 227 file(s) [attempted 227/8459 = 2%, 235 KB/s], Decompressed: 169
Downloaded: 268 file(s) [attempted 268/8459 = 3%, 255 KB/s], Decompressed: 203
Downloaded: 313 file(s) [attempted 313/8459 = 3%, 357 KB/s], Decompressed: 237
Downloaded: 361 file(s) [attempted 361/8459 = 4%, 963 KB/s], Decompressed: 271
Downloaded: 402 file(s) [attempted 402/8459 = 4%, 474 KB/s], Decompressed: 319
Downloaded: 443 file(s) [attempted 443/8459 = 5%, 256 KB/s], Decompressed: 371
Downloaded: 484 file(s) [attempted 484/8459 = 5%, 28 KB/s], Decompressed: 371
Downloaded: 525 file(s) [attempted 525/8459 = 6%, 221 KB/s], Decompressed: 419
Downloaded: 563 file(s) [attempted 563/8459 = 6%, 80 KB/s], Decompressed: 487
Downloaded: 607 file(s) [attempted 607/8459 = 7%, 159 KB/s], Decompressed: 487
Downloaded: 649 file(s) [attempted 649/8459 = 7%, 159 KB/s], Decompressed: 487
Downloaded: 690 file(s) [attempted 690/8459 = 8%, 693 KB/s], Decompressed: 487
Downloaded: 734 file(s) [attempted 734/8459 = 8%, 512 KB/s], Decompressed: 563
Downloaded: 779 file(s) [attempted 779/8459 = 9%, 438 KB/s], Decompressed: 563
Downloaded: 820 file(s) [attempted 820/8459 = 9%, 742 KB/s], Decompressed: 563
Downloaded: 861 file(s) [attempted 861/8459 = 10%, 119 KB/s], Decompressed: 703
Downloaded: 902 file(s) [attempted 902/8459 = 10%, 230 KB/s], Decompressed: 703
Downloaded: 943 file(s) [attempted 943/8459 = 11%, 515 KB/s], Decompressed: 703
Downloaded: 985 file(s) [attempted 985/8459 = 11%, 541 KB/s], Decompressed: 844
Downloaded: 1026 file(s) [attempted 1026/8459 = 12%, 993 KB/s], Decompressed: 844
Downloaded: 1070 file(s) [attempted 1070/8459 = 12%, 281 KB/s], Decompressed: 844
Downloaded: 1111 file(s) [attempted 1111/8459 = 13%, 419 KB/s], Decompressed: 844
Downloaded: 1152 file(s) [attempted 1152/8459 = 13%, 367 KB/s], Decompressed: 985
Downloaded: 1193 file(s) [attempted 1193/8459 = 14%, 81 KB/s], Decompressed: 985
Downloaded: 1238 file(s) [attempted 1238/8459 = 14%, 495 KB/s], Decompressed: 985
Downloaded: 1276 file(s) [attempted 1276/8459 = 15%, 356 KB/s], Decompressed: 1118
Downloaded: 1317 file(s) [attempted 1317/8459 = 15%, 592 KB/s], Decompressed: 1118
Downloaded: 1361 file(s) [attempted 1361/8459 = 16%, 328 KB/s], Decompressed: 1241
Downloaded: 1402 file(s) [attempted 1402/8459 = 16%, 198 KB/s], Decompressed: 1241
Downloaded: 1447 file(s) [attempted 1447/8459 = 17%, 1156 KB/s], Decompressed: 1241
Downloaded: 1488 file(s) [attempted 1488/8459 = 17%, 131 KB/s], Decompressed: 1358
Downloaded: 1526 file(s) [attempted 1526/8459 = 18%, 130 KB/s], Decompressed: 1358
Downloaded: 1570 file(s) [attempted 1570/8459 = 18%, 123 KB/s], Decompressed: 1358
Downloaded: 1611 file(s) [attempted 1611/8459 = 19%, 602 KB/s], Decompressed: 1481
Downloaded: 1649 file(s) [attempted 1649/8459 = 19%, 138 KB/s], Decompressed: 1481
Downloaded: 1690 file(s) [attempted 1690/8459 = 19%, 183 KB/s], Decompressed: 1481
Downloaded: 1738 file(s) [attempted 1738/8459 = 20%, 112 KB/s], Decompressed: 1594
Downloaded: 1779 file(s) [attempted 1779/8459 = 21%, 1152 KB/s], Decompressed: 1594
Downloaded: 1827 file(s) [attempted 1827/8459 = 21%, 215 KB/s], Decompressed: 1707
Downloaded: 1868 file(s) [attempted 1868/8459 = 22%, 116 KB/s], Decompressed: 1707
Downloaded: 1909 file(s) [attempted 1909/8459 = 22%, 249 KB/s], Decompressed: 1813
Downloaded: 1950 file(s) [attempted 1950/8459 = 23%, 462 KB/s], Decompressed: 1813
Downloaded: 1995 file(s) [attempted 1995/8459 = 23%, 129 KB/s], Decompressed: 1813
Downloaded: 2040 file(s) [attempted 2040/8459 = 24%, 365 KB/s], Decompressed: 1909
Downloaded: 2087 file(s) [attempted 2087/8459 = 24%, 27 KB/s], Decompressed: 1909
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 110 KB/s], Decompressed: 1909
Downloaded: 2166 file(s) [attempted 2166/8459 = 25%, 595 KB/s], Decompressed: 2009
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 320 KB/s], Decompressed: 2009
Downloaded: 2255 file(s) [attempted 2255/8459 = 26%, 29 KB/s], Decompressed: 2009
Downloaded: 2300 file(s) [attempted 2300/8459 = 27%, 271 KB/s], Decompressed: 2009
Downloaded: 2341 file(s) [attempted 2341/8459 = 27%, 260 KB/s], Decompressed: 2156
Downloaded: 2385 file(s) [attempted 2385/8459 = 28%, 492 KB/s], Decompressed: 2156
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 487 KB/s], Decompressed: 2156
Downloaded: 2481 file(s) [attempted 2481/8459 = 29%, 462 KB/s], Decompressed: 2307
Downloaded: 2516 file(s) [attempted 2516/8459 = 29%, 493 KB/s], Decompressed: 2307
Downloaded: 2557 file(s) [attempted 2557/8459 = 30%, 56 KB/s], Decompressed: 2307
Downloaded: 2601 file(s) [attempted 2601/8459 = 30%, 25 KB/s], Decompressed: 2307
Downloaded: 2646 file(s) [attempted 2646/8459 = 31%, 226 KB/s], Decompressed: 2307
Downloaded: 2687 file(s) [attempted 2687/8459 = 31%, 359 KB/s], Decompressed: 2447
Downloaded: 2731 file(s) [attempted 2731/8459 = 32%, 165 KB/s], Decompressed: 2447
Downloaded: 2772 file(s) [attempted 2772/8459 = 32%, 267 KB/s], Decompressed: 2447
Downloaded: 2811 file(s) [attempted 2811/8459 = 33%, 164 KB/s], Decompressed: 2447
Downloaded: 2851 file(s) [attempted 2851/8459 = 33%, 182 KB/s], Decompressed: 2447
Downloaded: 2899 file(s) [attempted 2899/8459 = 34%, 746 KB/s], Decompressed: 2656
Downloaded: 2944 file(s) [attempted 2944/8459 = 34%, 642 KB/s], Decompressed: 2656
Downloaded: 2985 file(s) [attempted 2985/8459 = 35%, 731 KB/s], Decompressed: 2656
Downloaded: 3026 file(s) [attempted 3026/8459 = 35%, 422 KB/s], Decompressed: 2656
Downloaded: 3067 file(s) [attempted 3067/8459 = 36%, 90 KB/s], Decompressed: 2656
Downloaded: 3115 file(s) [attempted 3115/8459 = 36%, 62 KB/s], Decompressed: 2872
Downloaded: 3160 file(s) [attempted 3160/8459 = 37%, 230 KB/s], Decompressed: 2872
Downloaded: 3197 file(s) [attempted 3197/8459 = 37%, 38 KB/s], Decompressed: 2872
Downloaded: 3238 file(s) [attempted 3238/8459 = 38%, 625 KB/s], Decompressed: 2872
Downloaded: 3279 file(s) [attempted 3279/8459 = 38%, 959 KB/s], Decompressed: 2872
Downloaded: 3324 file(s) [attempted 3324/8459 = 39%, 40 KB/s], Decompressed: 2872
Downloaded: 3368 file(s) [attempted 3368/8459 = 39%, 337 KB/s], Decompressed: 3091
Downloaded: 3410 file(s) [attempted 3410/8459 = 40%, 793 KB/s], Decompressed: 3091
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 93 KB/s], Decompressed: 3091
Downloaded: 3495 file(s) [attempted 3495/8459 = 41%, 1081 KB/s], Decompressed: 3091
Downloaded: 3533 file(s) [attempted 3533/8459 = 41%, 370 KB/s], Decompressed: 3091
Downloaded: 3574 file(s) [attempted 3574/8459 = 42%, 204 KB/s], Decompressed: 3091
Downloaded: 3618 file(s) [attempted 3618/8459 = 42%, 746 KB/s], Decompressed: 3338
Downloaded: 3663 file(s) [attempted 3663/8459 = 43%, 1495 KB/s], Decompressed: 3338
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 322 KB/s], Decompressed: 3338
Downloaded: 3749 file(s) [attempted 3749/8459 = 44%, 239 KB/s], Decompressed: 3338
Downloaded: 3790 file(s) [attempted 3790/8459 = 44%, 487 KB/s], Decompressed: 3338
Downloaded: 3831 file(s) [attempted 3831/8459 = 45%, 26 KB/s], Decompressed: 3338
Downloaded: 3865 file(s) [attempted 3865/8459 = 45%, 1370 KB/s], Decompressed: 3338
Downloaded: 3910 file(s) [attempted 3910/8459 = 46%, 651 KB/s], Decompressed: 3338
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 920 KB/s], Decompressed: 3338
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 1033 KB/s], Decompressed: 3601
Downloaded: 4016 file(s) [attempted 4016/8459 = 47%, 22 KB/s], Decompressed: 3601
Downloaded: 4067 file(s) [attempted 4067/8459 = 48%, 626 KB/s], Decompressed: 3601
Downloaded: 4068 file(s) [attempted 4068/8459 = 48%, 264 KB/s], Decompressed: 3601
Downloaded: 4115 file(s) [attempted 4115/8459 = 48%, 8 KB/s], Decompressed: 3968
Downloaded: 4118 file(s) [attempted 4118/8459 = 48%, 27 KB/s], Decompressed: 3968
Downloaded: 4142 file(s) [attempted 4142/8459 = 48%, 11 KB/s], Decompressed: 3968
Downloaded: 4165 file(s) [attempted 4165/8459 = 49%, 25 KB/s], Decompressed: 4115
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 59 KB/s], Decompressed: 4157
Downloaded: 4214 file(s) [attempted 4214/8459 = 49%, 517 KB/s], Decompressed: 4157
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 435 KB/s], Decompressed: 4186
Downloaded: 4280 file(s) [attempted 4280/8459 = 50%, 327 KB/s], Decompressed: 4218
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 31 KB/s], Decompressed: 4218
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 377 KB/s], Decompressed: 4270
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 642 KB/s], Decompressed: 4324
Downloaded: 4427 file(s) [attempted 4427/8459 = 52%, 142 KB/s], Decompressed: 4324
Downloaded: 4465 file(s) [attempted 4465/8459 = 52%, 110 KB/s], Decompressed: 4386
Downloaded: 4506 file(s) [attempted 4506/8459 = 53%, 201 KB/s], Decompressed: 4386
Downloaded: 4543 file(s) [attempted 4543/8459 = 53%, 319 KB/s], Decompressed: 4444
Downloaded: 4581 file(s) [attempted 4581/8459 = 54%, 1071 KB/s], Decompressed: 4516
Downloaded: 4626 file(s) [attempted 4626/8459 = 54%, 79 KB/s], Decompressed: 4516
Downloaded: 4670 file(s) [attempted 4670/8459 = 55%, 422 KB/s], Decompressed: 4581
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 26 KB/s], Decompressed: 4581
Downloaded: 4759 file(s) [attempted 4759/8459 = 56%, 1434 KB/s], Decompressed: 4656
Downloaded: 4800 file(s) [attempted 4800/8459 = 56%, 165 KB/s], Decompressed: 4656
Downloaded: 4838 file(s) [attempted 4838/8459 = 57%, 78 KB/s], Decompressed: 4725
Downloaded: 4879 file(s) [attempted 4879/8459 = 57%, 88 KB/s], Decompressed: 4807
Downloaded: 4920 file(s) [attempted 4920/8459 = 58%, 464 KB/s], Decompressed: 4807
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 288 KB/s], Decompressed: 4879
Downloaded: 5006 file(s) [attempted 5006/8459 = 59%, 84 KB/s], Decompressed: 4879
Downloaded: 5050 file(s) [attempted 5050/8459 = 59%, 464 KB/s], Decompressed: 4958
Downloaded: 5088 file(s) [attempted 5088/8459 = 60%, 208 KB/s], Decompressed: 4958
Downloaded: 5129 file(s) [attempted 5129/8459 = 60%, 613 KB/s], Decompressed: 5033
Downloaded: 5170 file(s) [attempted 5170/8459 = 61%, 486 KB/s], Decompressed: 5033
Downloaded: 5215 file(s) [attempted 5215/8459 = 61%, 103 KB/s], Decompressed: 5033
Downloaded: 5259 file(s) [attempted 5259/8459 = 62%, 24 KB/s], Decompressed: 5033
Downloaded: 5304 file(s) [attempted 5304/8459 = 62%, 739 KB/s], Decompressed: 5109
Downloaded: 5338 file(s) [attempted 5338/8459 = 63%, 410 KB/s], Decompressed: 5109
Downloaded: 5379 file(s) [attempted 5379/8459 = 63%, 902 KB/s], Decompressed: 5109
Downloaded: 5427 file(s) [attempted 5427/8459 = 64%, 392 KB/s], Decompressed: 5109
Downloaded: 5472 file(s) [attempted 5472/8459 = 64%, 804 KB/s], Decompressed: 5270
Downloaded: 5516 file(s) [attempted 5516/8459 = 65%, 822 KB/s], Decompressed: 5270
Downloaded: 5561 file(s) [attempted 5561/8459 = 65%, 174 KB/s], Decompressed: 5270
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 328 KB/s], Decompressed: 5270
Downloaded: 5640 file(s) [attempted 5640/8459 = 66%, 50 KB/s], Decompressed: 5270
Downloaded: 5687 file(s) [attempted 5687/8459 = 67%, 681 KB/s], Decompressed: 5448
Downloaded: 5732 file(s) [attempted 5732/8459 = 67%, 66 KB/s], Decompressed: 5448
Downloaded: 5773 file(s) [attempted 5773/8459 = 68%, 638 KB/s], Decompressed: 5448
Downloaded: 5814 file(s) [attempted 5814/8459 = 68%, 123 KB/s], Decompressed: 5448
Downloaded: 5855 file(s) [attempted 5855/8459 = 69%, 604 KB/s], Decompressed: 5448
Downloaded: 5900 file(s) [attempted 5900/8459 = 69%, 700 KB/s], Decompressed: 5663
Downloaded: 5944 file(s) [attempted 5944/8459 = 70%, 745 KB/s], Decompressed: 5663
Downloaded: 5985 file(s) [attempted 5985/8459 = 70%, 245 KB/s], Decompressed: 5663
Downloaded: 6023 file(s) [attempted 6023/8459 = 71%, 83 KB/s], Decompressed: 5663
Downloaded: 6064 file(s) [attempted 6064/8459 = 71%, 235 KB/s], Decompressed: 5663
Downloaded: 6109 file(s) [attempted 6109/8459 = 72%, 303 KB/s], Decompressed: 5866
Downloaded: 6146 file(s) [attempted 6146/8459 = 72%, 396 KB/s], Decompressed: 5866
Downloaded: 6191 file(s) [attempted 6191/8459 = 73%, 476 KB/s], Decompressed: 5866
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 664 KB/s], Decompressed: 5866
Downloaded: 6277 file(s) [attempted 6277/8459 = 74%, 331 KB/s], Decompressed: 5866
Downloaded: 6318 file(s) [attempted 6318/8459 = 74%, 412 KB/s], Decompressed: 6095
Downloaded: 6362 file(s) [attempted 6362/8459 = 75%, 149 KB/s], Decompressed: 6095
Downloaded: 6403 file(s) [attempted 6403/8459 = 75%, 373 KB/s], Decompressed: 6095
Downloaded: 6444 file(s) [attempted 6444/8459 = 76%, 97 KB/s], Decompressed: 6095
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 191 KB/s], Decompressed: 6095
Downloaded: 6530 file(s) [attempted 6530/8459 = 77%, 52 KB/s], Decompressed: 6095
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 159 KB/s], Decompressed: 6095
Downloaded: 6612 file(s) [attempted 6612/8459 = 78%, 538 KB/s], Decompressed: 6311
Downloaded: 6657 file(s) [attempted 6657/8459 = 78%, 177 KB/s], Decompressed: 6311
Downloaded: 6698 file(s) [attempted 6698/8459 = 79%, 96 KB/s], Decompressed: 6311
Downloaded: 6739 file(s) [attempted 6739/8459 = 79%, 180 KB/s], Decompressed: 6311
Downloaded: 6780 file(s) [attempted 6780/8459 = 80%, 586 KB/s], Decompressed: 6311
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 132 KB/s], Decompressed: 6311
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 118 KB/s], Decompressed: 6311
Downloaded: 6903 file(s) [attempted 6903/8459 = 81%, 456 KB/s], Decompressed: 6595
Downloaded: 6948 file(s) [attempted 6948/8459 = 82%, 432 KB/s], Decompressed: 6595
Downloaded: 6989 file(s) [attempted 6989/8459 = 82%, 39 KB/s], Decompressed: 6595
Downloaded: 7030 file(s) [attempted 7030/8459 = 83%, 351 KB/s], Decompressed: 6595
Downloaded: 7075 file(s) [attempted 7075/8459 = 83%, 1247 KB/s], Decompressed: 6595
Downloaded: 7119 file(s) [attempted 7119/8459 = 84%, 283 KB/s], Decompressed: 6866
Downloaded: 7153 file(s) [attempted 7153/8459 = 84%, 267 KB/s], Decompressed: 6866
Downloaded: 7195 file(s) [attempted 7195/8459 = 85%, 56 KB/s], Decompressed: 6866
Downloaded: 7242 file(s) [attempted 7242/8459 = 85%, 44 KB/s], Decompressed: 6866
Downloaded: 7290 file(s) [attempted 7290/8459 = 86%, 100 KB/s], Decompressed: 6866
Downloaded: 7335 file(s) [attempted 7335/8459 = 86%, 397 KB/s], Decompressed: 7102
Downloaded: 7376 file(s) [attempted 7376/8459 = 87%, 749 KB/s], Decompressed: 7102
Downloaded: 7414 file(s) [attempted 7414/8459 = 87%, 409 KB/s], Decompressed: 7102
Downloaded: 7448 file(s) [attempted 7448/8459 = 88%, 278 KB/s], Decompressed: 7102
Downloaded: 7493 file(s) [attempted 7493/8459 = 88%, 1211 KB/s], Decompressed: 7102
Downloaded: 7537 file(s) [attempted 7537/8459 = 89%, 2215 KB/s], Decompressed: 7311
Downloaded: 7582 file(s) [attempted 7582/8459 = 89%, 29 KB/s], Decompressed: 7311
Downloaded: 7619 file(s) [attempted 7619/8459 = 90%, 158 KB/s], Decompressed: 7311
Downloaded: 7663 file(s) [attempted 7663/8459 = 90%, 138 KB/s], Decompressed: 7311
Downloaded: 7698 file(s) [attempted 7698/8459 = 91%, 269 KB/s], Decompressed: 7523
Downloaded: 7736 file(s) [attempted 7736/8459 = 91%, 146 KB/s], Decompressed: 7523
Downloaded: 7780 file(s) [attempted 7780/8459 = 91%, 79 KB/s], Decompressed: 7523
Downloaded: 7821 file(s) [attempted 7821/8459 = 92%, 172 KB/s], Decompressed: 7523
Downloaded: 7861 file(s) [attempted 7861/8459 = 92%, 35 KB/s], Decompressed: 7698
Downloaded: 7900 file(s) [attempted 7900/8459 = 93%, 860 KB/s], Decompressed: 7698
Downloaded: 7941 file(s) [attempted 7941/8459 = 93%, 89 KB/s], Decompressed: 7698
Downloaded: 7989 file(s) [attempted 7989/8459 = 94%, 209 KB/s], Decompressed: 7698
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 426 KB/s], Decompressed: 7859
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 38 KB/s], Decompressed: 7859
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 804 KB/s], Decompressed: 7859
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 26 KB/s], Decompressed: 7859
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 131 KB/s], Decompressed: 8020
Downloaded: 8243 file(s) [attempted 8243/8459 = 97%, 157 KB/s], Decompressed: 8020
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 72 KB/s], Decompressed: 8020
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 535 KB/s], Decompressed: 8167
Downloaded: 8380 file(s) [attempted 8380/8459 = 99%, 203 KB/s], Decompressed: 8167
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 92 KB/s], Decompressed: 8167
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 81 KB/s], Decompressed: 8311
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 81 KB/s], Decompressed: 8311

apx-runtime-resource-v1	apx-verifier-job-1721-runtime-lake_cache-3693117-1787434046027996174-0	3641344	3899392	21474836480	0	0	0	0	0	0	4582236160	4822138880	21474836480	0	0	0	0	0	0

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

lake build

✔ [500/502] Built Iut.Foundations.Species (57s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (92s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (98s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (75s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (68s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (109s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (165s)
✔ [790/794] Built Iut.Foundations.QualitativeData (63s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (364s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1319s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1547s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1574s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (473s)
✔ [3975/3982] Built Iut.Foundations.SourceTateCurve (357s)
✔ [3981/3984] Built Iut.Foundations.GaloisImage (255s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1721-runtime-lean_checker-3693117-1787434378590203332-1 on attempt 1

blueprint_buildexit 1duration 17s · created 8/22/2026, 11:33:18 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1721-runtime-blueprint_build-3693117-1787441579450961633-2	950272	1437696	21474836480	0	0	0	0	0	0	882823168	985964544	21474836480	0	0	0	0	0	0