Verification run

Run 1266

promachina/iut-leanbranch e23-2-independent-step-xi-contracttriggered via github_push

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

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

Open project

Package inputs

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

Trust verification

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

(verification not run)

Manifest

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

(manifest not loaded)

Verifier log excerpt

Attempting anonymous GitHub clone before installation-auth fallback

$ git clone --depth 1 --branch e23-2-independent-step-xi-contract --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1712-source
exit_code=Some(128) duration_ms=329
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1712-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=4161
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1712-source'...


$ git checkout 18e26c7ac15d833fe42d47b0a2d5e3d456160762
exit_code=Some(0) duration_ms=238
stderr:
Note: switching to '18e26c7ac15d833fe42d47b0a2d5e3d456160762'.

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 18e26c7 E23.2: add independent Step XI source contract

Resolved source revision: 18e26c7ac15d833fe42d47b0a2d5e3d456160762

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=18e26c7ac15d833fe42d47b0a2d5e3d456160762 provenance={"branch":"e23-2-independent-step-xi-contract","checked_out_revision":"18e26c7ac15d833fe42d47b0a2d5e3d456160762","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"18e26c7ac15d833fe42d47b0a2d5e3d456160762","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=6279 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=186480
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 (134ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (183ms)
✔ [13/25] Built Cache.Lean:c.o (125ms)
✔ [15/25] Built Cache.Init (349ms)
✔ [16/25] Built Cache.IO (7.5s)
✔ [17/25] Built Cache.Init:c.o (79ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (979ms)
✔ [20/25] Built Cache.Hashing:c.o (379ms)
✔ [21/25] Built Cache.Requests (1.0s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.2s)
✔ [24/25] Built Cache.Main:c.o (32s)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 12 KB/s], Decompressed: 11
Downloaded: 40 file(s) [attempted 40/8459 = 0%, 16 KB/s], Decompressed: 29
Downloaded: 66 file(s) [attempted 66/8459 = 0%, 32 KB/s], Decompressed: 37
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 282 KB/s], Decompressed: 72
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 384 KB/s], Decompressed: 89
Downloaded: 148 file(s) [attempted 148/8459 = 1%, 129 KB/s], Decompressed: 114
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 43 KB/s], Decompressed: 141
Downloaded: 227 file(s) [attempted 227/8459 = 2%, 235 KB/s], Decompressed: 196
Downloaded: 268 file(s) [attempted 268/8459 = 3%, 319 KB/s], Decompressed: 227
Downloaded: 306 file(s) [attempted 306/8459 = 3%, 320 KB/s], Decompressed: 265
Downloaded: 340 file(s) [attempted 340/8459 = 4%, 98 KB/s], Decompressed: 299
Downloaded: 374 file(s) [attempted 374/8459 = 4%, 423 KB/s], Decompressed: 333
Downloaded: 412 file(s) [attempted 412/8459 = 4%, 655 KB/s], Decompressed: 367
Downloaded: 453 file(s) [attempted 453/8459 = 5%, 569 KB/s], Decompressed: 367
Downloaded: 494 file(s) [attempted 494/8459 = 5%, 256 KB/s], Decompressed: 405
Downloaded: 532 file(s) [attempted 532/8459 = 6%, 70 KB/s], Decompressed: 457
Downloaded: 566 file(s) [attempted 566/8459 = 6%, 451 KB/s], Decompressed: 508
Downloaded: 604 file(s) [attempted 604/8459 = 7%, 638 KB/s], Decompressed: 508
Downloaded: 649 file(s) [attempted 649/8459 = 7%, 889 KB/s], Decompressed: 559
Downloaded: 693 file(s) [attempted 693/8459 = 8%, 240 KB/s], Decompressed: 614
Downloaded: 734 file(s) [attempted 734/8459 = 8%, 452 KB/s], Decompressed: 614
Downloaded: 775 file(s) [attempted 775/8459 = 9%, 195 KB/s], Decompressed: 676
Downloaded: 817 file(s) [attempted 817/8459 = 9%, 563 KB/s], Decompressed: 745
Downloaded: 861 file(s) [attempted 861/8459 = 10%, 547 KB/s], Decompressed: 745
Downloaded: 906 file(s) [attempted 906/8459 = 10%, 220 KB/s], Decompressed: 810
Downloaded: 947 file(s) [attempted 947/8459 = 11%, 188 KB/s], Decompressed: 810
Downloaded: 982 file(s) [attempted 982/8459 = 11%, 421 KB/s], Decompressed: 878
Downloaded: 1022 file(s) [attempted 1022/8459 = 12%, 29 KB/s], Decompressed: 954
Downloaded: 1067 file(s) [attempted 1067/8459 = 12%, 398 KB/s], Decompressed: 954
Downloaded: 1115 file(s) [attempted 1115/8459 = 13%, 185 KB/s], Decompressed: 954
Downloaded: 1152 file(s) [attempted 1152/8459 = 13%, 639 KB/s], Decompressed: 1022
Downloaded: 1194 file(s) [attempted 1194/8459 = 14%, 168 KB/s], Decompressed: 1022
Downloaded: 1231 file(s) [attempted 1231/8459 = 14%, 90 KB/s], Decompressed: 1022
Downloaded: 1269 file(s) [attempted 1269/8459 = 15%, 284 KB/s], Decompressed: 1118
Downloaded: 1313 file(s) [attempted 1313/8459 = 15%, 23 KB/s], Decompressed: 1118
Downloaded: 1361 file(s) [attempted 1361/8459 = 16%, 137 KB/s], Decompressed: 1241
Downloaded: 1402 file(s) [attempted 1402/8459 = 16%, 438 KB/s], Decompressed: 1241
Downloaded: 1440 file(s) [attempted 1440/8459 = 17%, 63 KB/s], Decompressed: 1241
Downloaded: 1481 file(s) [attempted 1481/8459 = 17%, 49 KB/s], Decompressed: 1354
Downloaded: 1522 file(s) [attempted 1522/8459 = 17%, 74 KB/s], Decompressed: 1354
Downloaded: 1560 file(s) [attempted 1560/8459 = 18%, 769 KB/s], Decompressed: 1454
Downloaded: 1605 file(s) [attempted 1605/8459 = 18%, 1022 KB/s], Decompressed: 1454
Downloaded: 1642 file(s) [attempted 1642/8459 = 19%, 278 KB/s], Decompressed: 1536
Downloaded: 1680 file(s) [attempted 1680/8459 = 19%, 380 KB/s], Decompressed: 1536
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 164 KB/s], Decompressed: 1615
Downloaded: 1765 file(s) [attempted 1765/8459 = 20%, 1884 KB/s], Decompressed: 1690
Downloaded: 1813 file(s) [attempted 1813/8459 = 21%, 332 KB/s], Decompressed: 1690
Downloaded: 1855 file(s) [attempted 1855/8459 = 21%, 475 KB/s], Decompressed: 1765
Downloaded: 1892 file(s) [attempted 1892/8459 = 22%, 3420 KB/s], Decompressed: 1765
Downloaded: 1926 file(s) [attempted 1926/8459 = 22%, 114 KB/s], Decompressed: 1851
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 903 KB/s], Decompressed: 1851
Downloaded: 2012 file(s) [attempted 2012/8459 = 23%, 23 KB/s], Decompressed: 1851
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 110 KB/s], Decompressed: 1926
Downloaded: 2094 file(s) [attempted 2094/8459 = 24%, 37 KB/s], Decompressed: 1926
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 560 KB/s], Decompressed: 1926
Downloaded: 2171 file(s) [attempted 2171/8459 = 25%, 57 KB/s], Decompressed: 2022
Downloaded: 2214 file(s) [attempted 2214/8459 = 26%, 183 KB/s], Decompressed: 2022
Downloaded: 2259 file(s) [attempted 2259/8459 = 26%, 278 KB/s], Decompressed: 2022
Downloaded: 2300 file(s) [attempted 2300/8459 = 27%, 1480 KB/s], Decompressed: 2142
Downloaded: 2338 file(s) [attempted 2338/8459 = 27%, 285 KB/s], Decompressed: 2142
Downloaded: 2382 file(s) [attempted 2382/8459 = 28%, 783 KB/s], Decompressed: 2262
Downloaded: 2420 file(s) [attempted 2420/8459 = 28%, 898 KB/s], Decompressed: 2262
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 250 KB/s], Decompressed: 2262
Downloaded: 2502 file(s) [attempted 2502/8459 = 29%, 229 KB/s], Decompressed: 2368
Downloaded: 2540 file(s) [attempted 2540/8459 = 30%, 28 KB/s], Decompressed: 2368
Downloaded: 2588 file(s) [attempted 2588/8459 = 30%, 469 KB/s], Decompressed: 2478
Downloaded: 2629 file(s) [attempted 2629/8459 = 31%, 478 KB/s], Decompressed: 2478
Downloaded: 2670 file(s) [attempted 2670/8459 = 31%, 381 KB/s], Decompressed: 2478
Downloaded: 2707 file(s) [attempted 2707/8459 = 32%, 119 KB/s], Decompressed: 2588
Downloaded: 2744 file(s) [attempted 2744/8459 = 32%, 44 KB/s], Decompressed: 2588
Downloaded: 2786 file(s) [attempted 2786/8459 = 32%, 370 KB/s], Decompressed: 2588
Downloaded: 2831 file(s) [attempted 2831/8459 = 33%, 1720 KB/s], Decompressed: 2687
Downloaded: 2879 file(s) [attempted 2879/8459 = 34%, 128 KB/s], Decompressed: 2687
Downloaded: 2920 file(s) [attempted 2920/8459 = 34%, 584 KB/s], Decompressed: 2790
Downloaded: 2954 file(s) [attempted 2954/8459 = 34%, 106 KB/s], Decompressed: 2790
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 972 KB/s], Decompressed: 2790
Downloaded: 3036 file(s) [attempted 3036/8459 = 35%, 1064 KB/s], Decompressed: 2790
Downloaded: 3077 file(s) [attempted 3077/8459 = 36%, 770 KB/s], Decompressed: 2899
Downloaded: 3122 file(s) [attempted 3122/8459 = 36%, 35 KB/s], Decompressed: 2899
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 36 KB/s], Decompressed: 2899
Downloaded: 3201 file(s) [attempted 3201/8459 = 37%, 176 KB/s], Decompressed: 2899
Downloaded: 3216 file(s) [attempted 3216/8459 = 38%, 218 KB/s], Decompressed: 2899
Downloaded: 3252 file(s) [attempted 3252/8459 = 38%, 357 KB/s], Decompressed: 2899
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 78 KB/s], Decompressed: 2899
Downloaded: 3351 file(s) [attempted 3351/8459 = 39%, 327 KB/s], Decompressed: 3064
Downloaded: 3352 file(s) [attempted 3352/8459 = 39%, 222 KB/s], Decompressed: 3064
Downloaded: 3399 file(s) [attempted 3399/8459 = 40%, 47 KB/s], Decompressed: 3064
Downloaded: 3451 file(s) [attempted 3451/8459 = 40%, 82 KB/s], Decompressed: 3064
Downloaded: 3499 file(s) [attempted 3499/8459 = 41%, 424 KB/s], Decompressed: 3064
Downloaded: 3547 file(s) [attempted 3547/8459 = 41%, 749 KB/s], Decompressed: 3064
Downloaded: 3598 file(s) [attempted 3598/8459 = 42%, 177 KB/s], Decompressed: 3064
Downloaded: 3646 file(s) [attempted 3646/8459 = 43%, 137 KB/s], Decompressed: 3351
Downloaded: 3694 file(s) [attempted 3694/8459 = 43%, 284 KB/s], Decompressed: 3351
Downloaded: 3738 file(s) [attempted 3738/8459 = 44%, 712 KB/s], Decompressed: 3351
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 97 KB/s], Decompressed: 3351
Downloaded: 3810 file(s) [attempted 3810/8459 = 45%, 70 KB/s], Decompressed: 3351
Downloaded: 3858 file(s) [attempted 3858/8459 = 45%, 782 KB/s], Decompressed: 3351
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 173 KB/s], Decompressed: 3351
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 281 KB/s], Decompressed: 3351
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 320 KB/s], Decompressed: 3646
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 82 KB/s], Decompressed: 3646
Downloaded: 4060 file(s) [attempted 4060/8459 = 47%, 396 KB/s], Decompressed: 3646
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 468 KB/s], Decompressed: 3646
Downloaded: 4153 file(s) [attempted 4153/8459 = 49%, 135 KB/s], Decompressed: 3646
Downloaded: 4197 file(s) [attempted 4197/8459 = 49%, 762 KB/s], Decompressed: 3646
Downloaded: 4239 file(s) [attempted 4239/8459 = 50%, 323 KB/s], Decompressed: 3646
Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 170 KB/s], Decompressed: 3947
Downloaded: 4310 file(s) [attempted 4310/8459 = 50%, 927 KB/s], Decompressed: 3947
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 1131 KB/s], Decompressed: 3947
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 80 KB/s], Decompressed: 3947
Downloaded: 4454 file(s) [attempted 4454/8459 = 52%, 25 KB/s], Decompressed: 3947
Downloaded: 4502 file(s) [attempted 4502/8459 = 53%, 178 KB/s], Decompressed: 3947
Downloaded: 4547 file(s) [attempted 4547/8459 = 53%, 431 KB/s], Decompressed: 4259
Downloaded: 4578 file(s) [attempted 4578/8459 = 54%, 509 KB/s], Decompressed: 4259
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 62 KB/s], Decompressed: 4259
Downloaded: 4660 file(s) [attempted 4660/8459 = 55%, 772 KB/s], Decompressed: 4259
Downloaded: 4704 file(s) [attempted 4704/8459 = 55%, 209 KB/s], Decompressed: 4259
Downloaded: 4749 file(s) [attempted 4749/8459 = 56%, 600 KB/s], Decompressed: 4259
Downloaded: 4790 file(s) [attempted 4790/8459 = 56%, 565 KB/s], Decompressed: 4526
Downloaded: 4828 file(s) [attempted 4828/8459 = 57%, 181 KB/s], Decompressed: 4526
Downloaded: 4869 file(s) [attempted 4869/8459 = 57%, 93 KB/s], Decompressed: 4526
Downloaded: 4913 file(s) [attempted 4913/8459 = 58%, 223 KB/s], Decompressed: 4526
Downloaded: 4958 file(s) [attempted 4958/8459 = 58%, 121 KB/s], Decompressed: 4526
Downloaded: 4999 file(s) [attempted 4999/8459 = 59%, 70 KB/s], Decompressed: 4759
Downloaded: 5037 file(s) [attempted 5037/8459 = 59%, 193 KB/s], Decompressed: 4759
Downloaded: 5074 file(s) [attempted 5074/8459 = 59%, 331 KB/s], Decompressed: 4759
Downloaded: 5119 file(s) [attempted 5119/8459 = 60%, 52 KB/s], Decompressed: 4759
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 27 KB/s], Decompressed: 4961
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 116 KB/s], Decompressed: 4961
Downloaded: 5239 file(s) [attempted 5239/8459 = 61%, 48 KB/s], Decompressed: 4961
Downloaded: 5276 file(s) [attempted 5276/8459 = 62%, 406 KB/s], Decompressed: 5122
Downloaded: 5321 file(s) [attempted 5321/8459 = 62%, 1182 KB/s], Decompressed: 5122
Downloaded: 5359 file(s) [attempted 5359/8459 = 63%, 459 KB/s], Decompressed: 5122
Downloaded: 5396 file(s) [attempted 5396/8459 = 63%, 87 KB/s], Decompressed: 5266
Downloaded: 5437 file(s) [attempted 5437/8459 = 64%, 641 KB/s], Decompressed: 5266
Downloaded: 5478 file(s) [attempted 5478/8459 = 64%, 66 KB/s], Decompressed: 5266
Downloaded: 5523 file(s) [attempted 5523/8459 = 65%, 230 KB/s], Decompressed: 5389
Downloaded: 5564 file(s) [attempted 5564/8459 = 65%, 39 KB/s], Decompressed: 5389
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 232 KB/s], Decompressed: 5499
Downloaded: 5639 file(s) [attempted 5639/8459 = 66%, 161 KB/s], Decompressed: 5499
Downloaded: 5684 file(s) [attempted 5684/8459 = 67%, 585 KB/s], Decompressed: 5585
Downloaded: 5725 file(s) [attempted 5725/8459 = 67%, 292 KB/s], Decompressed: 5653
Downloaded: 5766 file(s) [attempted 5766/8459 = 68%, 106 KB/s], Decompressed: 5653
Downloaded: 5811 file(s) [attempted 5811/8459 = 68%, 672 KB/s], Decompressed: 5715
Downloaded: 5848 file(s) [attempted 5848/8459 = 69%, 119 KB/s], Decompressed: 5779
Downloaded: 5893 file(s) [attempted 5893/8459 = 69%, 178 KB/s], Decompressed: 5835
Downloaded: 5937 file(s) [attempted 5937/8459 = 70%, 137 KB/s], Decompressed: 5835
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 268 KB/s], Decompressed: 5893
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 597 KB/s], Decompressed: 5893
Downloaded: 6054 file(s) [attempted 6054/8459 = 71%, 332 KB/s], Decompressed: 5968
Downloaded: 6095 file(s) [attempted 6095/8459 = 72%, 184 KB/s], Decompressed: 5968
Downloaded: 6140 file(s) [attempted 6140/8459 = 72%, 1011 KB/s], Decompressed: 5968
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 130 KB/s], Decompressed: 6044
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 554 KB/s], Decompressed: 6044
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 87 KB/s], Decompressed: 6044
Downloaded: 6301 file(s) [attempted 6301/8459 = 74%, 352 KB/s], Decompressed: 6146
Downloaded: 6338 file(s) [attempted 6338/8459 = 74%, 2961 KB/s], Decompressed: 6146
Downloaded: 6383 file(s) [attempted 6383/8459 = 75%, 281 KB/s], Decompressed: 6146
Downloaded: 6424 file(s) [attempted 6424/8459 = 75%, 85 KB/s], Decompressed: 6273
Downloaded: 6465 file(s) [attempted 6465/8459 = 76%, 125 KB/s], Decompressed: 6273
Downloaded: 6509 file(s) [attempted 6509/8459 = 76%, 117 KB/s], Decompressed: 6273
Downloaded: 6551 file(s) [attempted 6551/8459 = 77%, 188 KB/s], Decompressed: 6410
Downloaded: 6592 file(s) [attempted 6592/8459 = 77%, 480 KB/s], Decompressed: 6410
Downloaded: 6629 file(s) [attempted 6629/8459 = 78%, 63 KB/s], Decompressed: 6410
Downloaded: 6670 file(s) [attempted 6670/8459 = 78%, 673 KB/s], Decompressed: 6544
Downloaded: 6715 file(s) [attempted 6715/8459 = 79%, 163 KB/s], Decompressed: 6544
Downloaded: 6763 file(s) [attempted 6763/8459 = 79%, 452 KB/s], Decompressed: 6544
Downloaded: 6807 file(s) [attempted 6807/8459 = 80%, 44 KB/s], Decompressed: 6667
Downloaded: 6849 file(s) [attempted 6849/8459 = 80%, 119 KB/s], Decompressed: 6667
Downloaded: 6879 file(s) [attempted 6879/8459 = 81%, 65 KB/s], Decompressed: 6770
Downloaded: 6920 file(s) [attempted 6920/8459 = 81%, 405 KB/s], Decompressed: 6770
Downloaded: 6965 file(s) [attempted 6965/8459 = 82%, 170 KB/s], Decompressed: 6866
Downloaded: 7010 file(s) [attempted 7010/8459 = 82%, 520 KB/s], Decompressed: 6866
Downloaded: 7054 file(s) [attempted 7054/8459 = 83%, 33 KB/s], Decompressed: 6866
Downloaded: 7088 file(s) [attempted 7088/8459 = 83%, 1947 KB/s], Decompressed: 6965
Downloaded: 7129 file(s) [attempted 7129/8459 = 84%, 349 KB/s], Decompressed: 6965
Downloaded: 7171 file(s) [attempted 7171/8459 = 84%, 179 KB/s], Decompressed: 7061
Downloaded: 7212 file(s) [attempted 7212/8459 = 85%, 24 KB/s], Decompressed: 7061
Downloaded: 7256 file(s) [attempted 7256/8459 = 85%, 61 KB/s], Decompressed: 7160
Downloaded: 7297 file(s) [attempted 7297/8459 = 86%, 199 KB/s], Decompressed: 7160
Downloaded: 7338 file(s) [attempted 7338/8459 = 86%, 356 KB/s], Decompressed: 7253
Downloaded: 7383 file(s) [attempted 7383/8459 = 87%, 61 KB/s], Decompressed: 7253
Downloaded: 7427 file(s) [attempted 7427/8459 = 87%, 379 KB/s], Decompressed: 7335
Downloaded: 7462 file(s) [attempted 7462/8459 = 88%, 87 KB/s], Decompressed: 7335
Downloaded: 7503 file(s) [attempted 7503/8459 = 88%, 161 KB/s], Decompressed: 7407
Downloaded: 7540 file(s) [attempted 7540/8459 = 89%, 160 KB/s], Decompressed: 7472
Downloaded: 7585 file(s) [attempted 7585/8459 = 89%, 122 KB/s], Decompressed: 7472
Downloaded: 7629 file(s) [attempted 7629/8459 = 90%, 210 KB/s], Decompressed: 7530
Downloaded: 7674 file(s) [attempted 7674/8459 = 90%, 63 KB/s], Decompressed: 7588
Downloaded: 7712 file(s) [attempted 7712/8459 = 91%, 163 KB/s], Decompressed: 7647
Downloaded: 7749 file(s) [attempted 7749/8459 = 91%, 79 KB/s], Decompressed: 7647
Downloaded: 7790 file(s) [attempted 7790/8459 = 92%, 23 KB/s], Decompressed: 7701
Downloaded: 7835 file(s) [attempted 7835/8459 = 92%, 26 KB/s], Decompressed: 7770
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 857 KB/s], Decompressed: 7770
Downloaded: 7917 file(s) [attempted 7917/8459 = 93%, 413 KB/s], Decompressed: 7835
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 80 KB/s], Decompressed: 7835
Downloaded: 7999 file(s) [attempted 7999/8459 = 94%, 71 KB/s], Decompressed: 7903
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 231 KB/s], Decompressed: 7903
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 825 KB/s], Decompressed: 7903
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 167 KB/s], Decompressed: 7982
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 117 KB/s], Decompressed: 7982
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 418 KB/s], Decompressed: 7982
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 104 KB/s], Decompressed: 8116
Downloaded: 8294 file(s) [attempted 8294/8459 = 98%, 56 KB/s], Decompressed: 8116
Downloaded: 8338 file(s) [attempted 8338/8459 = 98%, 55 KB/s], Decompressed: 8116
Downloaded: 8376 file(s) [attempted 8376/8459 = 99%, 318 KB/s], Decompressed: 8246
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 110 KB/s], Decompressed: 8246
Downloaded: 8445 file(s) [attempted 8445/8459 = 99%, 792 KB/s], Decompressed: 8359
Downloaded: 8455 file(s) [attempted 8455/8459 = 99%, 466 KB/s], Decompressed: 8359
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 466 KB/s], Decompressed: 8359

apx-runtime-resource-v1	apx-verifier-job-1712-runtime-lake_cache-3530013-1787331014662780999-0	4014080	4153344	21474836480	0	0	0	0	0	0	5087121408	5347217408	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200070
stdout:
✔ [500/502] Built Iut.Foundations.Species (74s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (83s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (112s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (114s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (68s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (67s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (81s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (94s)
✔ [790/791] Built Iut.Foundations.QualitativeData (211s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (326s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1186s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1607s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1493s)
✔ [3965/3980] Built Iut.Foundations.EtaleThetaCovers (350s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (373s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (531s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1712-runtime-lean_checker-3530013-1787331201149264696-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1712-runtime-blueprint_build-3530013-1787338401857519937-2	950272	1466368	21474836480	0	0	0	0	0	0	886824960	990162944	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 329 ms · created 8/21/2026, 6:53:41 PM

git clone --depth 1 --branch e23-2-independent-step-xi-contract --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1712-source

Cloning into '/var/lib/apodeixis/repos/job-1712-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/21/2026, 6:53:41 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 238 ms · created 8/21/2026, 6:53:41 PM

git checkout 18e26c7ac15d833fe42d47b0a2d5e3d456160762

Note: switching to '18e26c7ac15d833fe42d47b0a2d5e3d456160762'.

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 18e26c7 E23.2: add independent Step XI source contract

lake_cacheexit 0duration 3m 6s · created 8/21/2026, 6:53:41 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 (134ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (183ms)
✔ [13/25] Built Cache.Lean:c.o (125ms)
✔ [15/25] Built Cache.Init (349ms)
✔ [16/25] Built Cache.IO (7.5s)
✔ [17/25] Built Cache.Init:c.o (79ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (979ms)
✔ [20/25] Built Cache.Hashing:c.o (379ms)
✔ [21/25] Built Cache.Requests (1.0s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.2s)
✔ [24/25] Built Cache.Main:c.o (32s)
✔ [25/25] Built cache:exe (4.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 12 KB/s], Decompressed: 11
Downloaded: 40 file(s) [attempted 40/8459 = 0%, 16 KB/s], Decompressed: 29
Downloaded: 66 file(s) [attempted 66/8459 = 0%, 32 KB/s], Decompressed: 37
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 282 KB/s], Decompressed: 72
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 384 KB/s], Decompressed: 89
Downloaded: 148 file(s) [attempted 148/8459 = 1%, 129 KB/s], Decompressed: 114
Downloaded: 189 file(s) [attempted 189/8459 = 2%, 43 KB/s], Decompressed: 141
Downloaded: 227 file(s) [attempted 227/8459 = 2%, 235 KB/s], Decompressed: 196
Downloaded: 268 file(s) [attempted 268/8459 = 3%, 319 KB/s], Decompressed: 227
Downloaded: 306 file(s) [attempted 306/8459 = 3%, 320 KB/s], Decompressed: 265
Downloaded: 340 file(s) [attempted 340/8459 = 4%, 98 KB/s], Decompressed: 299
Downloaded: 374 file(s) [attempted 374/8459 = 4%, 423 KB/s], Decompressed: 333
Downloaded: 412 file(s) [attempted 412/8459 = 4%, 655 KB/s], Decompressed: 367
Downloaded: 453 file(s) [attempted 453/8459 = 5%, 569 KB/s], Decompressed: 367
Downloaded: 494 file(s) [attempted 494/8459 = 5%, 256 KB/s], Decompressed: 405
Downloaded: 532 file(s) [attempted 532/8459 = 6%, 70 KB/s], Decompressed: 457
Downloaded: 566 file(s) [attempted 566/8459 = 6%, 451 KB/s], Decompressed: 508
Downloaded: 604 file(s) [attempted 604/8459 = 7%, 638 KB/s], Decompressed: 508
Downloaded: 649 file(s) [attempted 649/8459 = 7%, 889 KB/s], Decompressed: 559
Downloaded: 693 file(s) [attempted 693/8459 = 8%, 240 KB/s], Decompressed: 614
Downloaded: 734 file(s) [attempted 734/8459 = 8%, 452 KB/s], Decompressed: 614
Downloaded: 775 file(s) [attempted 775/8459 = 9%, 195 KB/s], Decompressed: 676
Downloaded: 817 file(s) [attempted 817/8459 = 9%, 563 KB/s], Decompressed: 745
Downloaded: 861 file(s) [attempted 861/8459 = 10%, 547 KB/s], Decompressed: 745
Downloaded: 906 file(s) [attempted 906/8459 = 10%, 220 KB/s], Decompressed: 810
Downloaded: 947 file(s) [attempted 947/8459 = 11%, 188 KB/s], Decompressed: 810
Downloaded: 982 file(s) [attempted 982/8459 = 11%, 421 KB/s], Decompressed: 878
Downloaded: 1022 file(s) [attempted 1022/8459 = 12%, 29 KB/s], Decompressed: 954
Downloaded: 1067 file(s) [attempted 1067/8459 = 12%, 398 KB/s], Decompressed: 954
Downloaded: 1115 file(s) [attempted 1115/8459 = 13%, 185 KB/s], Decompressed: 954
Downloaded: 1152 file(s) [attempted 1152/8459 = 13%, 639 KB/s], Decompressed: 1022
Downloaded: 1194 file(s) [attempted 1194/8459 = 14%, 168 KB/s], Decompressed: 1022
Downloaded: 1231 file(s) [attempted 1231/8459 = 14%, 90 KB/s], Decompressed: 1022
Downloaded: 1269 file(s) [attempted 1269/8459 = 15%, 284 KB/s], Decompressed: 1118
Downloaded: 1313 file(s) [attempted 1313/8459 = 15%, 23 KB/s], Decompressed: 1118
Downloaded: 1361 file(s) [attempted 1361/8459 = 16%, 137 KB/s], Decompressed: 1241
Downloaded: 1402 file(s) [attempted 1402/8459 = 16%, 438 KB/s], Decompressed: 1241
Downloaded: 1440 file(s) [attempted 1440/8459 = 17%, 63 KB/s], Decompressed: 1241
Downloaded: 1481 file(s) [attempted 1481/8459 = 17%, 49 KB/s], Decompressed: 1354
Downloaded: 1522 file(s) [attempted 1522/8459 = 17%, 74 KB/s], Decompressed: 1354
Downloaded: 1560 file(s) [attempted 1560/8459 = 18%, 769 KB/s], Decompressed: 1454
Downloaded: 1605 file(s) [attempted 1605/8459 = 18%, 1022 KB/s], Decompressed: 1454
Downloaded: 1642 file(s) [attempted 1642/8459 = 19%, 278 KB/s], Decompressed: 1536
Downloaded: 1680 file(s) [attempted 1680/8459 = 19%, 380 KB/s], Decompressed: 1536
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 164 KB/s], Decompressed: 1615
Downloaded: 1765 file(s) [attempted 1765/8459 = 20%, 1884 KB/s], Decompressed: 1690
Downloaded: 1813 file(s) [attempted 1813/8459 = 21%, 332 KB/s], Decompressed: 1690
Downloaded: 1855 file(s) [attempted 1855/8459 = 21%, 475 KB/s], Decompressed: 1765
Downloaded: 1892 file(s) [attempted 1892/8459 = 22%, 3420 KB/s], Decompressed: 1765
Downloaded: 1926 file(s) [attempted 1926/8459 = 22%, 114 KB/s], Decompressed: 1851
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 903 KB/s], Decompressed: 1851
Downloaded: 2012 file(s) [attempted 2012/8459 = 23%, 23 KB/s], Decompressed: 1851
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 110 KB/s], Decompressed: 1926
Downloaded: 2094 file(s) [attempted 2094/8459 = 24%, 37 KB/s], Decompressed: 1926
Downloaded: 2132 file(s) [attempted 2132/8459 = 25%, 560 KB/s], Decompressed: 1926
Downloaded: 2171 file(s) [attempted 2171/8459 = 25%, 57 KB/s], Decompressed: 2022
Downloaded: 2214 file(s) [attempted 2214/8459 = 26%, 183 KB/s], Decompressed: 2022
Downloaded: 2259 file(s) [attempted 2259/8459 = 26%, 278 KB/s], Decompressed: 2022
Downloaded: 2300 file(s) [attempted 2300/8459 = 27%, 1480 KB/s], Decompressed: 2142
Downloaded: 2338 file(s) [attempted 2338/8459 = 27%, 285 KB/s], Decompressed: 2142
Downloaded: 2382 file(s) [attempted 2382/8459 = 28%, 783 KB/s], Decompressed: 2262
Downloaded: 2420 file(s) [attempted 2420/8459 = 28%, 898 KB/s], Decompressed: 2262
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 250 KB/s], Decompressed: 2262
Downloaded: 2502 file(s) [attempted 2502/8459 = 29%, 229 KB/s], Decompressed: 2368
Downloaded: 2540 file(s) [attempted 2540/8459 = 30%, 28 KB/s], Decompressed: 2368
Downloaded: 2588 file(s) [attempted 2588/8459 = 30%, 469 KB/s], Decompressed: 2478
Downloaded: 2629 file(s) [attempted 2629/8459 = 31%, 478 KB/s], Decompressed: 2478
Downloaded: 2670 file(s) [attempted 2670/8459 = 31%, 381 KB/s], Decompressed: 2478
Downloaded: 2707 file(s) [attempted 2707/8459 = 32%, 119 KB/s], Decompressed: 2588
Downloaded: 2744 file(s) [attempted 2744/8459 = 32%, 44 KB/s], Decompressed: 2588
Downloaded: 2786 file(s) [attempted 2786/8459 = 32%, 370 KB/s], Decompressed: 2588
Downloaded: 2831 file(s) [attempted 2831/8459 = 33%, 1720 KB/s], Decompressed: 2687
Downloaded: 2879 file(s) [attempted 2879/8459 = 34%, 128 KB/s], Decompressed: 2687
Downloaded: 2920 file(s) [attempted 2920/8459 = 34%, 584 KB/s], Decompressed: 2790
Downloaded: 2954 file(s) [attempted 2954/8459 = 34%, 106 KB/s], Decompressed: 2790
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 972 KB/s], Decompressed: 2790
Downloaded: 3036 file(s) [attempted 3036/8459 = 35%, 1064 KB/s], Decompressed: 2790
Downloaded: 3077 file(s) [attempted 3077/8459 = 36%, 770 KB/s], Decompressed: 2899
Downloaded: 3122 file(s) [attempted 3122/8459 = 36%, 35 KB/s], Decompressed: 2899
Downloaded: 3156 file(s) [attempted 3156/8459 = 37%, 36 KB/s], Decompressed: 2899
Downloaded: 3201 file(s) [attempted 3201/8459 = 37%, 176 KB/s], Decompressed: 2899
Downloaded: 3216 file(s) [attempted 3216/8459 = 38%, 218 KB/s], Decompressed: 2899
Downloaded: 3252 file(s) [attempted 3252/8459 = 38%, 357 KB/s], Decompressed: 2899
Downloaded: 3300 file(s) [attempted 3300/8459 = 39%, 78 KB/s], Decompressed: 2899
Downloaded: 3351 file(s) [attempted 3351/8459 = 39%, 327 KB/s], Decompressed: 3064
Downloaded: 3352 file(s) [attempted 3352/8459 = 39%, 222 KB/s], Decompressed: 3064
Downloaded: 3399 file(s) [attempted 3399/8459 = 40%, 47 KB/s], Decompressed: 3064
Downloaded: 3451 file(s) [attempted 3451/8459 = 40%, 82 KB/s], Decompressed: 3064
Downloaded: 3499 file(s) [attempted 3499/8459 = 41%, 424 KB/s], Decompressed: 3064
Downloaded: 3547 file(s) [attempted 3547/8459 = 41%, 749 KB/s], Decompressed: 3064
Downloaded: 3598 file(s) [attempted 3598/8459 = 42%, 177 KB/s], Decompressed: 3064
Downloaded: 3646 file(s) [attempted 3646/8459 = 43%, 137 KB/s], Decompressed: 3351
Downloaded: 3694 file(s) [attempted 3694/8459 = 43%, 284 KB/s], Decompressed: 3351
Downloaded: 3738 file(s) [attempted 3738/8459 = 44%, 712 KB/s], Decompressed: 3351
Downloaded: 3783 file(s) [attempted 3783/8459 = 44%, 97 KB/s], Decompressed: 3351
Downloaded: 3810 file(s) [attempted 3810/8459 = 45%, 70 KB/s], Decompressed: 3351
Downloaded: 3858 file(s) [attempted 3858/8459 = 45%, 782 KB/s], Decompressed: 3351
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 173 KB/s], Decompressed: 3351
Downloaded: 3944 file(s) [attempted 3944/8459 = 46%, 281 KB/s], Decompressed: 3351
Downloaded: 3985 file(s) [attempted 3985/8459 = 47%, 320 KB/s], Decompressed: 3646
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 82 KB/s], Decompressed: 3646
Downloaded: 4060 file(s) [attempted 4060/8459 = 47%, 396 KB/s], Decompressed: 3646
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 468 KB/s], Decompressed: 3646
Downloaded: 4153 file(s) [attempted 4153/8459 = 49%, 135 KB/s], Decompressed: 3646
Downloaded: 4197 file(s) [attempted 4197/8459 = 49%, 762 KB/s], Decompressed: 3646
Downloaded: 4239 file(s) [attempted 4239/8459 = 50%, 323 KB/s], Decompressed: 3646
Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 170 KB/s], Decompressed: 3947
Downloaded: 4310 file(s) [attempted 4310/8459 = 50%, 927 KB/s], Decompressed: 3947
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 1131 KB/s], Decompressed: 3947
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 80 KB/s], Decompressed: 3947
Downloaded: 4454 file(s) [attempted 4454/8459 = 52%, 25 KB/s], Decompressed: 3947
Downloaded: 4502 file(s) [attempted 4502/8459 = 53%, 178 KB/s], Decompressed: 3947
Downloaded: 4547 file(s) [attempted 4547/8459 = 53%, 431 KB/s], Decompressed: 4259
Downloaded: 4578 file(s) [attempted 4578/8459 = 54%, 509 KB/s], Decompressed: 4259
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 62 KB/s], Decompressed: 4259
Downloaded: 4660 file(s) [attempted 4660/8459 = 55%, 772 KB/s], Decompressed: 4259
Downloaded: 4704 file(s) [attempted 4704/8459 = 55%, 209 KB/s], Decompressed: 4259
Downloaded: 4749 file(s) [attempted 4749/8459 = 56%, 600 KB/s], Decompressed: 4259
Downloaded: 4790 file(s) [attempted 4790/8459 = 56%, 565 KB/s], Decompressed: 4526
Downloaded: 4828 file(s) [attempted 4828/8459 = 57%, 181 KB/s], Decompressed: 4526
Downloaded: 4869 file(s) [attempted 4869/8459 = 57%, 93 KB/s], Decompressed: 4526
Downloaded: 4913 file(s) [attempted 4913/8459 = 58%, 223 KB/s], Decompressed: 4526
Downloaded: 4958 file(s) [attempted 4958/8459 = 58%, 121 KB/s], Decompressed: 4526
Downloaded: 4999 file(s) [attempted 4999/8459 = 59%, 70 KB/s], Decompressed: 4759
Downloaded: 5037 file(s) [attempted 5037/8459 = 59%, 193 KB/s], Decompressed: 4759
Downloaded: 5074 file(s) [attempted 5074/8459 = 59%, 331 KB/s], Decompressed: 4759
Downloaded: 5119 file(s) [attempted 5119/8459 = 60%, 52 KB/s], Decompressed: 4759
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 27 KB/s], Decompressed: 4961
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 116 KB/s], Decompressed: 4961
Downloaded: 5239 file(s) [attempted 5239/8459 = 61%, 48 KB/s], Decompressed: 4961
Downloaded: 5276 file(s) [attempted 5276/8459 = 62%, 406 KB/s], Decompressed: 5122
Downloaded: 5321 file(s) [attempted 5321/8459 = 62%, 1182 KB/s], Decompressed: 5122
Downloaded: 5359 file(s) [attempted 5359/8459 = 63%, 459 KB/s], Decompressed: 5122
Downloaded: 5396 file(s) [attempted 5396/8459 = 63%, 87 KB/s], Decompressed: 5266
Downloaded: 5437 file(s) [attempted 5437/8459 = 64%, 641 KB/s], Decompressed: 5266
Downloaded: 5478 file(s) [attempted 5478/8459 = 64%, 66 KB/s], Decompressed: 5266
Downloaded: 5523 file(s) [attempted 5523/8459 = 65%, 230 KB/s], Decompressed: 5389
Downloaded: 5564 file(s) [attempted 5564/8459 = 65%, 39 KB/s], Decompressed: 5389
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 232 KB/s], Decompressed: 5499
Downloaded: 5639 file(s) [attempted 5639/8459 = 66%, 161 KB/s], Decompressed: 5499
Downloaded: 5684 file(s) [attempted 5684/8459 = 67%, 585 KB/s], Decompressed: 5585
Downloaded: 5725 file(s) [attempted 5725/8459 = 67%, 292 KB/s], Decompressed: 5653
Downloaded: 5766 file(s) [attempted 5766/8459 = 68%, 106 KB/s], Decompressed: 5653
Downloaded: 5811 file(s) [attempted 5811/8459 = 68%, 672 KB/s], Decompressed: 5715
Downloaded: 5848 file(s) [attempted 5848/8459 = 69%, 119 KB/s], Decompressed: 5779
Downloaded: 5893 file(s) [attempted 5893/8459 = 69%, 178 KB/s], Decompressed: 5835
Downloaded: 5937 file(s) [attempted 5937/8459 = 70%, 137 KB/s], Decompressed: 5835
Downloaded: 5979 file(s) [attempted 5979/8459 = 70%, 268 KB/s], Decompressed: 5893
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 597 KB/s], Decompressed: 5893
Downloaded: 6054 file(s) [attempted 6054/8459 = 71%, 332 KB/s], Decompressed: 5968
Downloaded: 6095 file(s) [attempted 6095/8459 = 72%, 184 KB/s], Decompressed: 5968
Downloaded: 6140 file(s) [attempted 6140/8459 = 72%, 1011 KB/s], Decompressed: 5968
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 130 KB/s], Decompressed: 6044
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 554 KB/s], Decompressed: 6044
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 87 KB/s], Decompressed: 6044
Downloaded: 6301 file(s) [attempted 6301/8459 = 74%, 352 KB/s], Decompressed: 6146
Downloaded: 6338 file(s) [attempted 6338/8459 = 74%, 2961 KB/s], Decompressed: 6146
Downloaded: 6383 file(s) [attempted 6383/8459 = 75%, 281 KB/s], Decompressed: 6146
Downloaded: 6424 file(s) [attempted 6424/8459 = 75%, 85 KB/s], Decompressed: 6273
Downloaded: 6465 file(s) [attempted 6465/8459 = 76%, 125 KB/s], Decompressed: 6273
Downloaded: 6509 file(s) [attempted 6509/8459 = 76%, 117 KB/s], Decompressed: 6273
Downloaded: 6551 file(s) [attempted 6551/8459 = 77%, 188 KB/s], Decompressed: 6410
Downloaded: 6592 file(s) [attempted 6592/8459 = 77%, 480 KB/s], Decompressed: 6410
Downloaded: 6629 file(s) [attempted 6629/8459 = 78%, 63 KB/s], Decompressed: 6410
Downloaded: 6670 file(s) [attempted 6670/8459 = 78%, 673 KB/s], Decompressed: 6544
Downloaded: 6715 file(s) [attempted 6715/8459 = 79%, 163 KB/s], Decompressed: 6544
Downloaded: 6763 file(s) [attempted 6763/8459 = 79%, 452 KB/s], Decompressed: 6544
Downloaded: 6807 file(s) [attempted 6807/8459 = 80%, 44 KB/s], Decompressed: 6667
Downloaded: 6849 file(s) [attempted 6849/8459 = 80%, 119 KB/s], Decompressed: 6667
Downloaded: 6879 file(s) [attempted 6879/8459 = 81%, 65 KB/s], Decompressed: 6770
Downloaded: 6920 file(s) [attempted 6920/8459 = 81%, 405 KB/s], Decompressed: 6770
Downloaded: 6965 file(s) [attempted 6965/8459 = 82%, 170 KB/s], Decompressed: 6866
Downloaded: 7010 file(s) [attempted 7010/8459 = 82%, 520 KB/s], Decompressed: 6866
Downloaded: 7054 file(s) [attempted 7054/8459 = 83%, 33 KB/s], Decompressed: 6866
Downloaded: 7088 file(s) [attempted 7088/8459 = 83%, 1947 KB/s], Decompressed: 6965
Downloaded: 7129 file(s) [attempted 7129/8459 = 84%, 349 KB/s], Decompressed: 6965
Downloaded: 7171 file(s) [attempted 7171/8459 = 84%, 179 KB/s], Decompressed: 7061
Downloaded: 7212 file(s) [attempted 7212/8459 = 85%, 24 KB/s], Decompressed: 7061
Downloaded: 7256 file(s) [attempted 7256/8459 = 85%, 61 KB/s], Decompressed: 7160
Downloaded: 7297 file(s) [attempted 7297/8459 = 86%, 199 KB/s], Decompressed: 7160
Downloaded: 7338 file(s) [attempted 7338/8459 = 86%, 356 KB/s], Decompressed: 7253
Downloaded: 7383 file(s) [attempted 7383/8459 = 87%, 61 KB/s], Decompressed: 7253
Downloaded: 7427 file(s) [attempted 7427/8459 = 87%, 379 KB/s], Decompressed: 7335
Downloaded: 7462 file(s) [attempted 7462/8459 = 88%, 87 KB/s], Decompressed: 7335
Downloaded: 7503 file(s) [attempted 7503/8459 = 88%, 161 KB/s], Decompressed: 7407
Downloaded: 7540 file(s) [attempted 7540/8459 = 89%, 160 KB/s], Decompressed: 7472
Downloaded: 7585 file(s) [attempted 7585/8459 = 89%, 122 KB/s], Decompressed: 7472
Downloaded: 7629 file(s) [attempted 7629/8459 = 90%, 210 KB/s], Decompressed: 7530
Downloaded: 7674 file(s) [attempted 7674/8459 = 90%, 63 KB/s], Decompressed: 7588
Downloaded: 7712 file(s) [attempted 7712/8459 = 91%, 163 KB/s], Decompressed: 7647
Downloaded: 7749 file(s) [attempted 7749/8459 = 91%, 79 KB/s], Decompressed: 7647
Downloaded: 7790 file(s) [attempted 7790/8459 = 92%, 23 KB/s], Decompressed: 7701
Downloaded: 7835 file(s) [attempted 7835/8459 = 92%, 26 KB/s], Decompressed: 7770
Downloaded: 7880 file(s) [attempted 7880/8459 = 93%, 857 KB/s], Decompressed: 7770
Downloaded: 7917 file(s) [attempted 7917/8459 = 93%, 413 KB/s], Decompressed: 7835
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 80 KB/s], Decompressed: 7835
Downloaded: 7999 file(s) [attempted 7999/8459 = 94%, 71 KB/s], Decompressed: 7903
Downloaded: 8037 file(s) [attempted 8037/8459 = 95%, 231 KB/s], Decompressed: 7903
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 825 KB/s], Decompressed: 7903
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 167 KB/s], Decompressed: 7982
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 117 KB/s], Decompressed: 7982
Downloaded: 8205 file(s) [attempted 8205/8459 = 96%, 418 KB/s], Decompressed: 7982
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 104 KB/s], Decompressed: 8116
Downloaded: 8294 file(s) [attempted 8294/8459 = 98%, 56 KB/s], Decompressed: 8116
Downloaded: 8338 file(s) [attempted 8338/8459 = 98%, 55 KB/s], Decompressed: 8116
Downloaded: 8376 file(s) [attempted 8376/8459 = 99%, 318 KB/s], Decompressed: 8246
Downloaded: 8417 file(s) [attempted 8417/8459 = 99%, 110 KB/s], Decompressed: 8246
Downloaded: 8445 file(s) [attempted 8445/8459 = 99%, 792 KB/s], Decompressed: 8359
Downloaded: 8455 file(s) [attempted 8455/8459 = 99%, 466 KB/s], Decompressed: 8359
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 466 KB/s], Decompressed: 8359

apx-runtime-resource-v1	apx-verifier-job-1712-runtime-lake_cache-3530013-1787331014662780999-0	4014080	4153344	21474836480	0	0	0	0	0	0	5087121408	5347217408	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/21/2026, 6:53:41 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (74s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (83s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (112s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (114s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (68s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (67s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (81s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (94s)
✔ [790/791] Built Iut.Foundations.QualitativeData (211s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (326s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1186s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1607s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1493s)
✔ [3965/3980] Built Iut.Foundations.EtaleThetaCovers (350s)
✔ [3974/3982] Built Iut.Foundations.SourceTateCurve (373s)
✔ [3981/3986] Built Iut.Foundations.GaloisImage (531s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1712-runtime-lean_checker-3530013-1787331201149264696-1 on attempt 1

blueprint_buildexit 1duration 18s · created 8/21/2026, 6:53:41 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1712-runtime-blueprint_build-3530013-1787338401857519937-2	950272	1466368	21474836480	0	0	0	0	0	0	886824960	990162944	21474836480	0	0	0	0	0	0