Verification run

Run 1268

promachina/iut-leanbranch e21-926-mod13-bridgestriggered via github_push

failedcommit 59df8ca7f001toolchain lean-v4-30-0prover leantook 2h 4m · 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 e21-926-mod13-bridges --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1714-source
exit_code=Some(128) duration_ms=212
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1714-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=3928
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1714-source'...


$ git checkout 59df8ca7f001b76de8a96f7dffe75a733ae1eddb
exit_code=Some(0) duration_ms=301
stderr:
Note: switching to '59df8ca7f001b76de8a96f7dffe75a733ae1eddb'.

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 59df8ca document the unconditional mod-thirteen certificate

Resolved source revision: 59df8ca7f001b76de8a96f7dffe75a733ae1eddb

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=59df8ca7f001b76de8a96f7dffe75a733ae1eddb provenance={"branch":"e21-926-mod13-bridges","checked_out_revision":"59df8ca7f001b76de8a96f7dffe75a733ae1eddb","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"59df8ca7f001b76de8a96f7dffe75a733ae1eddb","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=31860 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=183341
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 (425ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.4s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (140ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (190ms)
✔ [13/25] Built Cache.Lean:c.o (131ms)
✔ [15/25] Built Cache.Init (41s)
✔ [16/25] Built Cache.IO (12s)
✔ [17/25] Built Cache.Init:c.o (1.4s)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (896ms)
✔ [20/25] Built Cache.Hashing:c.o (383ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (530ms)
✔ [25/25] Built cache:exe (16s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 1 KB/s], Decompressed: 7
Downloaded: 39 file(s) [attempted 39/8459 = 0%, 26 KB/s], Decompressed: 25
Downloaded: 63 file(s) [attempted 63/8459 = 0%, 27 KB/s], Decompressed: 34
Downloaded: 89 file(s) [attempted 89/8459 = 1%, 363 KB/s], Decompressed: 48
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 252 KB/s], Decompressed: 68
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 220 KB/s], Decompressed: 100
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 130 KB/s], Decompressed: 100
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 332 KB/s], Decompressed: 138
Downloaded: 247 file(s) [attempted 247/8459 = 2%, 87 KB/s], Decompressed: 138
Downloaded: 282 file(s) [attempted 282/8459 = 3%, 703 KB/s], Decompressed: 186
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 730 KB/s], Decompressed: 186
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 454 KB/s], Decompressed: 261
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 152 KB/s], Decompressed: 261
Downloaded: 439 file(s) [attempted 439/8459 = 5%, 1129 KB/s], Decompressed: 350
Downloaded: 481 file(s) [attempted 481/8459 = 5%, 467 KB/s], Decompressed: 350
Downloaded: 515 file(s) [attempted 515/8459 = 6%, 145 KB/s], Decompressed: 350
Downloaded: 553 file(s) [attempted 553/8459 = 6%, 33 KB/s], Decompressed: 439
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 363 KB/s], Decompressed: 439
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 56 KB/s], Decompressed: 525
Downloaded: 676 file(s) [attempted 676/8459 = 7%, 103 KB/s], Decompressed: 525
Downloaded: 717 file(s) [attempted 717/8459 = 8%, 503 KB/s], Decompressed: 611
Downloaded: 758 file(s) [attempted 758/8459 = 8%, 238 KB/s], Decompressed: 611
Downloaded: 799 file(s) [attempted 799/8459 = 9%, 433 KB/s], Decompressed: 700
Downloaded: 844 file(s) [attempted 844/8459 = 9%, 214 KB/s], Decompressed: 700
Downloaded: 885 file(s) [attempted 885/8459 = 10%, 69 KB/s], Decompressed: 782
Downloaded: 926 file(s) [attempted 926/8459 = 10%, 179 KB/s], Decompressed: 782
Downloaded: 967 file(s) [attempted 967/8459 = 11%, 156 KB/s], Decompressed: 854
Downloaded: 1012 file(s) [attempted 1012/8459 = 11%, 175 KB/s], Decompressed: 854
Downloaded: 1056 file(s) [attempted 1056/8459 = 12%, 2023 KB/s], Decompressed: 933
Downloaded: 1098 file(s) [attempted 1098/8459 = 12%, 246 KB/s], Decompressed: 933
Downloaded: 1142 file(s) [attempted 1142/8459 = 13%, 418 KB/s], Decompressed: 1019
Downloaded: 1183 file(s) [attempted 1183/8459 = 13%, 352 KB/s], Decompressed: 1019
Downloaded: 1228 file(s) [attempted 1228/8459 = 14%, 102 KB/s], Decompressed: 1104
Downloaded: 1265 file(s) [attempted 1265/8459 = 14%, 28 KB/s], Decompressed: 1104
Downloaded: 1307 file(s) [attempted 1307/8459 = 15%, 591 KB/s], Decompressed: 1193
Downloaded: 1348 file(s) [attempted 1348/8459 = 15%, 143 KB/s], Decompressed: 1193
Downloaded: 1389 file(s) [attempted 1389/8459 = 16%, 40 KB/s], Decompressed: 1283
Downloaded: 1430 file(s) [attempted 1430/8459 = 16%, 242 KB/s], Decompressed: 1283
Downloaded: 1474 file(s) [attempted 1474/8459 = 17%, 250 KB/s], Decompressed: 1378
Downloaded: 1509 file(s) [attempted 1509/8459 = 17%, 146 KB/s], Decompressed: 1378
Downloaded: 1551 file(s) [attempted 1551/8459 = 18%, 183 KB/s], Decompressed: 1378
Downloaded: 1594 file(s) [attempted 1594/8459 = 18%, 184 KB/s], Decompressed: 1474
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 597 KB/s], Decompressed: 1557
Downloaded: 1676 file(s) [attempted 1676/8459 = 19%, 351 KB/s], Decompressed: 1557
Downloaded: 1718 file(s) [attempted 1718/8459 = 20%, 252 KB/s], Decompressed: 1639
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 273 KB/s], Decompressed: 1639
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 236 KB/s], Decompressed: 1711
Downloaded: 1837 file(s) [attempted 1837/8459 = 21%, 399 KB/s], Decompressed: 1711
Downloaded: 1879 file(s) [attempted 1879/8459 = 22%, 106 KB/s], Decompressed: 1711
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 518 KB/s], Decompressed: 1793
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 341 KB/s], Decompressed: 1882
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 634 KB/s], Decompressed: 1882
Downloaded: 2040 file(s) [attempted 2040/8459 = 24%, 353 KB/s], Decompressed: 1882
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 1170 KB/s], Decompressed: 1957
Downloaded: 2118 file(s) [attempted 2118/8459 = 25%, 115 KB/s], Decompressed: 1957
Downloaded: 2159 file(s) [attempted 2159/8459 = 25%, 202 KB/s], Decompressed: 1957
Downloaded: 2204 file(s) [attempted 2204/8459 = 26%, 506 KB/s], Decompressed: 1957
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 175 KB/s], Decompressed: 1957
Downloaded: 2290 file(s) [attempted 2290/8459 = 27%, 1264 KB/s], Decompressed: 2064
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 312 KB/s], Decompressed: 2064
Downloaded: 2368 file(s) [attempted 2368/8459 = 27%, 331 KB/s], Decompressed: 2064
Downloaded: 2406 file(s) [attempted 2406/8459 = 28%, 45 KB/s], Decompressed: 2064
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 262 KB/s], Decompressed: 2064
Downloaded: 2492 file(s) [attempted 2492/8459 = 29%, 386 KB/s], Decompressed: 2064
Downloaded: 2533 file(s) [attempted 2533/8459 = 29%, 239 KB/s], Decompressed: 2259
Downloaded: 2567 file(s) [attempted 2567/8459 = 30%, 32 KB/s], Decompressed: 2259
Downloaded: 2608 file(s) [attempted 2608/8459 = 30%, 252 KB/s], Decompressed: 2259
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 1298 KB/s], Decompressed: 2259
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 335 KB/s], Decompressed: 2259
Downloaded: 2735 file(s) [attempted 2735/8459 = 32%, 126 KB/s], Decompressed: 2259
Downloaded: 2776 file(s) [attempted 2776/8459 = 32%, 33 KB/s], Decompressed: 2259
Downloaded: 2814 file(s) [attempted 2814/8459 = 33%, 37 KB/s], Decompressed: 2259
Downloaded: 2855 file(s) [attempted 2855/8459 = 33%, 32 KB/s], Decompressed: 2259
Downloaded: 2892 file(s) [attempted 2892/8459 = 34%, 566 KB/s], Decompressed: 2529
Downloaded: 2937 file(s) [attempted 2937/8459 = 34%, 41 KB/s], Decompressed: 2529
Downloaded: 2954 file(s) [attempted 2954/8459 = 34%, 2311 KB/s], Decompressed: 2529
Downloaded: 3005 file(s) [attempted 3005/8459 = 35%, 295 KB/s], Decompressed: 2529
Downloaded: 3053 file(s) [attempted 3053/8459 = 36%, 1181 KB/s], Decompressed: 2529
Downloaded: 3101 file(s) [attempted 3101/8459 = 36%, 375 KB/s], Decompressed: 2529
Downloaded: 3153 file(s) [attempted 3153/8459 = 37%, 80 KB/s], Decompressed: 2858
Downloaded: 3201 file(s) [attempted 3201/8459 = 37%, 150 KB/s], Decompressed: 2858
Downloaded: 3249 file(s) [attempted 3249/8459 = 38%, 364 KB/s], Decompressed: 2858
Downloaded: 3293 file(s) [attempted 3293/8459 = 38%, 524 KB/s], Decompressed: 2858
Downloaded: 3341 file(s) [attempted 3341/8459 = 39%, 168 KB/s], Decompressed: 2858
Downloaded: 3389 file(s) [attempted 3389/8459 = 40%, 585 KB/s], Decompressed: 2858
Downloaded: 3437 file(s) [attempted 3437/8459 = 40%, 245 KB/s], Decompressed: 2858
Downloaded: 3485 file(s) [attempted 3485/8459 = 41%, 133 KB/s], Decompressed: 3153
Downloaded: 3533 file(s) [attempted 3533/8459 = 41%, 45 KB/s], Decompressed: 3153
Downloaded: 3581 file(s) [attempted 3581/8459 = 42%, 116 KB/s], Decompressed: 3153
Downloaded: 3622 file(s) [attempted 3622/8459 = 42%, 226 KB/s], Decompressed: 3153
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 288 KB/s], Decompressed: 3153
Downloaded: 3694 file(s) [attempted 3694/8459 = 43%, 684 KB/s], Decompressed: 3153
Downloaded: 3735 file(s) [attempted 3735/8459 = 44%, 97 KB/s], Decompressed: 3153
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 137 KB/s], Decompressed: 3454
Downloaded: 3827 file(s) [attempted 3827/8459 = 45%, 94 KB/s], Decompressed: 3454
Downloaded: 3875 file(s) [attempted 3875/8459 = 45%, 250 KB/s], Decompressed: 3454
Downloaded: 3913 file(s) [attempted 3913/8459 = 46%, 146 KB/s], Decompressed: 3454
Downloaded: 3954 file(s) [attempted 3954/8459 = 46%, 196 KB/s], Decompressed: 3454
Downloaded: 3995 file(s) [attempted 3995/8459 = 47%, 202 KB/s], Decompressed: 3738
Downloaded: 4033 file(s) [attempted 4033/8459 = 47%, 396 KB/s], Decompressed: 3738
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 56 KB/s], Decompressed: 3738
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 178 KB/s], Decompressed: 3738
Downloaded: 4156 file(s) [attempted 4156/8459 = 49%, 52 KB/s], Decompressed: 3738
Downloaded: 4201 file(s) [attempted 4201/8459 = 49%, 416 KB/s], Decompressed: 3982
Downloaded: 4239 file(s) [attempted 4239/8459 = 50%, 189 KB/s], Decompressed: 3982
Downloaded: 4280 file(s) [attempted 4280/8459 = 50%, 332 KB/s], Decompressed: 3982
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 194 KB/s], Decompressed: 3982
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 596 KB/s], Decompressed: 3982
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 81 KB/s], Decompressed: 4180
Downloaded: 4451 file(s) [attempted 4451/8459 = 52%, 519 KB/s], Decompressed: 4180
Downloaded: 4495 file(s) [attempted 4495/8459 = 53%, 248 KB/s], Decompressed: 4180
Downloaded: 4536 file(s) [attempted 4536/8459 = 53%, 204 KB/s], Decompressed: 4365
Downloaded: 4574 file(s) [attempted 4574/8459 = 54%, 113 KB/s], Decompressed: 4365
Downloaded: 4612 file(s) [attempted 4612/8459 = 54%, 350 KB/s], Decompressed: 4365
Downloaded: 4653 file(s) [attempted 4653/8459 = 55%, 811 KB/s], Decompressed: 4365
Downloaded: 4697 file(s) [attempted 4697/8459 = 55%, 156 KB/s], Decompressed: 4365
Downloaded: 4745 file(s) [attempted 4745/8459 = 56%, 277 KB/s], Decompressed: 4536
Downloaded: 4793 file(s) [attempted 4793/8459 = 56%, 497 KB/s], Decompressed: 4536
Downloaded: 4834 file(s) [attempted 4834/8459 = 57%, 198 KB/s], Decompressed: 4536
Downloaded: 4869 file(s) [attempted 4869/8459 = 57%, 623 KB/s], Decompressed: 4536
Downloaded: 4911 file(s) [attempted 4911/8459 = 58%, 218 KB/s], Decompressed: 4711
Downloaded: 4954 file(s) [attempted 4954/8459 = 58%, 190 KB/s], Decompressed: 4711
Downloaded: 4995 file(s) [attempted 4995/8459 = 59%, 475 KB/s], Decompressed: 4711
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 184 KB/s], Decompressed: 4711
Downloaded: 5081 file(s) [attempted 5081/8459 = 60%, 2279 KB/s], Decompressed: 4882
Downloaded: 5119 file(s) [attempted 5119/8459 = 60%, 48 KB/s], Decompressed: 4882
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 27 KB/s], Decompressed: 4882
Downloaded: 5208 file(s) [attempted 5208/8459 = 61%, 49 KB/s], Decompressed: 4882
Downloaded: 5252 file(s) [attempted 5252/8459 = 62%, 272 KB/s], Decompressed: 5057
Downloaded: 5293 file(s) [attempted 5293/8459 = 62%, 73 KB/s], Decompressed: 5057
Downloaded: 5338 file(s) [attempted 5338/8459 = 63%, 687 KB/s], Decompressed: 5057
Downloaded: 5372 file(s) [attempted 5372/8459 = 63%, 169 KB/s], Decompressed: 5057
Downloaded: 5410 file(s) [attempted 5410/8459 = 63%, 247 KB/s], Decompressed: 5218
Downloaded: 5454 file(s) [attempted 5454/8459 = 64%, 355 KB/s], Decompressed: 5218
Downloaded: 5499 file(s) [attempted 5499/8459 = 65%, 67 KB/s], Decompressed: 5218
Downloaded: 5540 file(s) [attempted 5540/8459 = 65%, 303 KB/s], Decompressed: 5379
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 109 KB/s], Decompressed: 5379
Downloaded: 5612 file(s) [attempted 5612/8459 = 66%, 902 KB/s], Decompressed: 5379
Downloaded: 5660 file(s) [attempted 5660/8459 = 66%, 158 KB/s], Decompressed: 5379
Downloaded: 5708 file(s) [attempted 5708/8459 = 67%, 208 KB/s], Decompressed: 5537
Downloaded: 5752 file(s) [attempted 5752/8459 = 67%, 327 KB/s], Decompressed: 5537
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 139 KB/s], Decompressed: 5537
Downloaded: 5831 file(s) [attempted 5831/8459 = 68%, 68 KB/s], Decompressed: 5537
Downloaded: 5872 file(s) [attempted 5872/8459 = 69%, 227 KB/s], Decompressed: 5694
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 251 KB/s], Decompressed: 5694
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 85 KB/s], Decompressed: 5834
Downloaded: 6003 file(s) [attempted 6003/8459 = 70%, 1103 KB/s], Decompressed: 5834
Downloaded: 6047 file(s) [attempted 6047/8459 = 71%, 409 KB/s], Decompressed: 5834
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 339 KB/s], Decompressed: 5834
Downloaded: 6122 file(s) [attempted 6122/8459 = 72%, 921 KB/s], Decompressed: 5961
Downloaded: 6167 file(s) [attempted 6167/8459 = 72%, 680 KB/s], Decompressed: 5961
Downloaded: 6203 file(s) [attempted 6203/8459 = 73%, 105 KB/s], Decompressed: 6088
Downloaded: 6246 file(s) [attempted 6246/8459 = 73%, 331 KB/s], Decompressed: 6088
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 55 KB/s], Decompressed: 6088
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 52 KB/s], Decompressed: 6201
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 240 KB/s], Decompressed: 6201
Downloaded: 6414 file(s) [attempted 6414/8459 = 75%, 71 KB/s], Decompressed: 6201
Downloaded: 6451 file(s) [attempted 6451/8459 = 76%, 448 KB/s], Decompressed: 6314
Downloaded: 6496 file(s) [attempted 6496/8459 = 76%, 75 KB/s], Decompressed: 6314
Downloaded: 6537 file(s) [attempted 6537/8459 = 77%, 527 KB/s], Decompressed: 6314
Downloaded: 6578 file(s) [attempted 6578/8459 = 77%, 101 KB/s], Decompressed: 6437
Downloaded: 6619 file(s) [attempted 6619/8459 = 78%, 1083 KB/s], Decompressed: 6437
Downloaded: 6660 file(s) [attempted 6660/8459 = 78%, 76 KB/s], Decompressed: 6437
Downloaded: 6698 file(s) [attempted 6698/8459 = 79%, 124 KB/s], Decompressed: 6554
Downloaded: 6735 file(s) [attempted 6735/8459 = 79%, 432 KB/s], Decompressed: 6554
Downloaded: 6779 file(s) [attempted 6779/8459 = 80%, 91 KB/s], Decompressed: 6670
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 86 KB/s], Decompressed: 6670
Downloaded: 6866 file(s) [attempted 6866/8459 = 81%, 152 KB/s], Decompressed: 6670
Downloaded: 6907 file(s) [attempted 6907/8459 = 81%, 459 KB/s], Decompressed: 6777
Downloaded: 6944 file(s) [attempted 6944/8459 = 82%, 74 KB/s], Decompressed: 6777
Downloaded: 6981 file(s) [attempted 6981/8459 = 82%, 161 KB/s], Decompressed: 6872
Downloaded: 7027 file(s) [attempted 7027/8459 = 83%, 375 KB/s], Decompressed: 6872
Downloaded: 7071 file(s) [attempted 7071/8459 = 83%, 791 KB/s], Decompressed: 6872
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 374 KB/s], Decompressed: 6872
Downloaded: 7160 file(s) [attempted 7160/8459 = 84%, 109 KB/s], Decompressed: 6979
Downloaded: 7198 file(s) [attempted 7198/8459 = 85%, 816 KB/s], Decompressed: 6979
Downloaded: 7232 file(s) [attempted 7232/8459 = 85%, 910 KB/s], Decompressed: 6979
Downloaded: 7277 file(s) [attempted 7277/8459 = 86%, 247 KB/s], Decompressed: 7116
Downloaded: 7321 file(s) [attempted 7321/8459 = 86%, 102 KB/s], Decompressed: 7116
Downloaded: 7366 file(s) [attempted 7366/8459 = 87%, 131 KB/s], Decompressed: 7116
Downloaded: 7403 file(s) [attempted 7403/8459 = 87%, 388 KB/s], Decompressed: 7263
Downloaded: 7441 file(s) [attempted 7441/8459 = 87%, 67 KB/s], Decompressed: 7263
Downloaded: 7479 file(s) [attempted 7479/8459 = 88%, 344 KB/s], Decompressed: 7263
Downloaded: 7523 file(s) [attempted 7523/8459 = 88%, 124 KB/s], Decompressed: 7393
Downloaded: 7568 file(s) [attempted 7568/8459 = 89%, 1321 KB/s], Decompressed: 7393
Downloaded: 7612 file(s) [attempted 7612/8459 = 89%, 357 KB/s], Decompressed: 7503
Downloaded: 7657 file(s) [attempted 7657/8459 = 90%, 474 KB/s], Decompressed: 7503
Downloaded: 7688 file(s) [attempted 7688/8459 = 90%, 22 KB/s], Decompressed: 7503
Downloaded: 7725 file(s) [attempted 7725/8459 = 91%, 300 KB/s], Decompressed: 7605
Downloaded: 7770 file(s) [attempted 7770/8459 = 91%, 90 KB/s], Decompressed: 7605
Downloaded: 7818 file(s) [attempted 7818/8459 = 92%, 232 KB/s], Decompressed: 7605
Downloaded: 7866 file(s) [attempted 7866/8459 = 92%, 163 KB/s], Decompressed: 7719
Downloaded: 7910 file(s) [attempted 7910/8459 = 93%, 1537 KB/s], Decompressed: 7719
Downloaded: 7954 file(s) [attempted 7954/8459 = 94%, 225 KB/s], Decompressed: 7832
Downloaded: 7986 file(s) [attempted 7986/8459 = 94%, 232 KB/s], Decompressed: 7832
Downloaded: 8027 file(s) [attempted 8027/8459 = 94%, 1996 KB/s], Decompressed: 7924
Downloaded: 8071 file(s) [attempted 8071/8459 = 95%, 254 KB/s], Decompressed: 7924
Downloaded: 8116 file(s) [attempted 8116/8459 = 95%, 113 KB/s], Decompressed: 8016
Downloaded: 8157 file(s) [attempted 8157/8459 = 96%, 120 KB/s], Decompressed: 8016
Downloaded: 8195 file(s) [attempted 8195/8459 = 96%, 366 KB/s], Decompressed: 8102
Downloaded: 8232 file(s) [attempted 8232/8459 = 97%, 254 KB/s], Decompressed: 8102
Downloaded: 8273 file(s) [attempted 8273/8459 = 97%, 292 KB/s], Decompressed: 8177
Downloaded: 8318 file(s) [attempted 8318/8459 = 98%, 379 KB/s], Decompressed: 8249
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 134 KB/s], Decompressed: 8249
Downloaded: 8407 file(s) [attempted 8407/8459 = 99%, 813 KB/s], Decompressed: 8318
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 904 KB/s], Decompressed: 8318
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 155 KB/s], Decompressed: 8445
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 155 KB/s], Decompressed: 8445

apx-runtime-resource-v1	apx-verifier-job-1714-runtime-lake_cache-3568760-1787353136483126524-0	3956736	4206592	21474836480	0	0	0	0	0	0	5496115200	5763964928	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200684
stdout:
✔ [500/502] Built Iut.Foundations.Species (383s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (156s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (148s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (144s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (147s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (221s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (125s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (235s)
✔ [790/794] Built Iut.Foundations.QualitativeData (181s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (566s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1166s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1396s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (1230s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (384s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (394s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1714-runtime-lean_checker-3568760-1787353319832635247-1 on attempt 3

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

apx-runtime-resource-v1	apx-verifier-job-1714-runtime-blueprint_build-3568760-1787360578254092194-2	946176	1458176	21474836480	0	0	0	0	0	0	885743616	989413376	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 212 ms · created 8/22/2026, 1:03:16 AM

git clone --depth 1 --branch e21-926-mod13-bridges --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1714-source

Cloning into '/var/lib/apodeixis/repos/job-1714-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, 1:03:16 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 301 ms · created 8/22/2026, 1:03:16 AM

git checkout 59df8ca7f001b76de8a96f7dffe75a733ae1eddb

Note: switching to '59df8ca7f001b76de8a96f7dffe75a733ae1eddb'.

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 59df8ca document the unconditional mod-thirteen certificate

lake_cacheexit 0duration 3m 3s · created 8/22/2026, 1:03:16 AM

lake exe cache get

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

✔ [8/25] Built Cache.Lean (425ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.4s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (140ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (190ms)
✔ [13/25] Built Cache.Lean:c.o (131ms)
✔ [15/25] Built Cache.Init (41s)
✔ [16/25] Built Cache.IO (12s)
✔ [17/25] Built Cache.Init:c.o (1.4s)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (896ms)
✔ [20/25] Built Cache.Hashing:c.o (383ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (530ms)
✔ [25/25] Built cache:exe (16s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 1 KB/s], Decompressed: 7
Downloaded: 39 file(s) [attempted 39/8459 = 0%, 26 KB/s], Decompressed: 25
Downloaded: 63 file(s) [attempted 63/8459 = 0%, 27 KB/s], Decompressed: 34
Downloaded: 89 file(s) [attempted 89/8459 = 1%, 363 KB/s], Decompressed: 48
Downloaded: 121 file(s) [attempted 121/8459 = 1%, 252 KB/s], Decompressed: 68
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 220 KB/s], Decompressed: 100
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 130 KB/s], Decompressed: 100
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 332 KB/s], Decompressed: 138
Downloaded: 247 file(s) [attempted 247/8459 = 2%, 87 KB/s], Decompressed: 138
Downloaded: 282 file(s) [attempted 282/8459 = 3%, 703 KB/s], Decompressed: 186
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 730 KB/s], Decompressed: 186
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 454 KB/s], Decompressed: 261
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 152 KB/s], Decompressed: 261
Downloaded: 439 file(s) [attempted 439/8459 = 5%, 1129 KB/s], Decompressed: 350
Downloaded: 481 file(s) [attempted 481/8459 = 5%, 467 KB/s], Decompressed: 350
Downloaded: 515 file(s) [attempted 515/8459 = 6%, 145 KB/s], Decompressed: 350
Downloaded: 553 file(s) [attempted 553/8459 = 6%, 33 KB/s], Decompressed: 439
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 363 KB/s], Decompressed: 439
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 56 KB/s], Decompressed: 525
Downloaded: 676 file(s) [attempted 676/8459 = 7%, 103 KB/s], Decompressed: 525
Downloaded: 717 file(s) [attempted 717/8459 = 8%, 503 KB/s], Decompressed: 611
Downloaded: 758 file(s) [attempted 758/8459 = 8%, 238 KB/s], Decompressed: 611
Downloaded: 799 file(s) [attempted 799/8459 = 9%, 433 KB/s], Decompressed: 700
Downloaded: 844 file(s) [attempted 844/8459 = 9%, 214 KB/s], Decompressed: 700
Downloaded: 885 file(s) [attempted 885/8459 = 10%, 69 KB/s], Decompressed: 782
Downloaded: 926 file(s) [attempted 926/8459 = 10%, 179 KB/s], Decompressed: 782
Downloaded: 967 file(s) [attempted 967/8459 = 11%, 156 KB/s], Decompressed: 854
Downloaded: 1012 file(s) [attempted 1012/8459 = 11%, 175 KB/s], Decompressed: 854
Downloaded: 1056 file(s) [attempted 1056/8459 = 12%, 2023 KB/s], Decompressed: 933
Downloaded: 1098 file(s) [attempted 1098/8459 = 12%, 246 KB/s], Decompressed: 933
Downloaded: 1142 file(s) [attempted 1142/8459 = 13%, 418 KB/s], Decompressed: 1019
Downloaded: 1183 file(s) [attempted 1183/8459 = 13%, 352 KB/s], Decompressed: 1019
Downloaded: 1228 file(s) [attempted 1228/8459 = 14%, 102 KB/s], Decompressed: 1104
Downloaded: 1265 file(s) [attempted 1265/8459 = 14%, 28 KB/s], Decompressed: 1104
Downloaded: 1307 file(s) [attempted 1307/8459 = 15%, 591 KB/s], Decompressed: 1193
Downloaded: 1348 file(s) [attempted 1348/8459 = 15%, 143 KB/s], Decompressed: 1193
Downloaded: 1389 file(s) [attempted 1389/8459 = 16%, 40 KB/s], Decompressed: 1283
Downloaded: 1430 file(s) [attempted 1430/8459 = 16%, 242 KB/s], Decompressed: 1283
Downloaded: 1474 file(s) [attempted 1474/8459 = 17%, 250 KB/s], Decompressed: 1378
Downloaded: 1509 file(s) [attempted 1509/8459 = 17%, 146 KB/s], Decompressed: 1378
Downloaded: 1551 file(s) [attempted 1551/8459 = 18%, 183 KB/s], Decompressed: 1378
Downloaded: 1594 file(s) [attempted 1594/8459 = 18%, 184 KB/s], Decompressed: 1474
Downloaded: 1639 file(s) [attempted 1639/8459 = 19%, 597 KB/s], Decompressed: 1557
Downloaded: 1676 file(s) [attempted 1676/8459 = 19%, 351 KB/s], Decompressed: 1557
Downloaded: 1718 file(s) [attempted 1718/8459 = 20%, 252 KB/s], Decompressed: 1639
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 273 KB/s], Decompressed: 1639
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 236 KB/s], Decompressed: 1711
Downloaded: 1837 file(s) [attempted 1837/8459 = 21%, 399 KB/s], Decompressed: 1711
Downloaded: 1879 file(s) [attempted 1879/8459 = 22%, 106 KB/s], Decompressed: 1711
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 518 KB/s], Decompressed: 1793
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 341 KB/s], Decompressed: 1882
Downloaded: 2002 file(s) [attempted 2002/8459 = 23%, 634 KB/s], Decompressed: 1882
Downloaded: 2040 file(s) [attempted 2040/8459 = 24%, 353 KB/s], Decompressed: 1882
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 1170 KB/s], Decompressed: 1957
Downloaded: 2118 file(s) [attempted 2118/8459 = 25%, 115 KB/s], Decompressed: 1957
Downloaded: 2159 file(s) [attempted 2159/8459 = 25%, 202 KB/s], Decompressed: 1957
Downloaded: 2204 file(s) [attempted 2204/8459 = 26%, 506 KB/s], Decompressed: 1957
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 175 KB/s], Decompressed: 1957
Downloaded: 2290 file(s) [attempted 2290/8459 = 27%, 1264 KB/s], Decompressed: 2064
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 312 KB/s], Decompressed: 2064
Downloaded: 2368 file(s) [attempted 2368/8459 = 27%, 331 KB/s], Decompressed: 2064
Downloaded: 2406 file(s) [attempted 2406/8459 = 28%, 45 KB/s], Decompressed: 2064
Downloaded: 2447 file(s) [attempted 2447/8459 = 28%, 262 KB/s], Decompressed: 2064
Downloaded: 2492 file(s) [attempted 2492/8459 = 29%, 386 KB/s], Decompressed: 2064
Downloaded: 2533 file(s) [attempted 2533/8459 = 29%, 239 KB/s], Decompressed: 2259
Downloaded: 2567 file(s) [attempted 2567/8459 = 30%, 32 KB/s], Decompressed: 2259
Downloaded: 2608 file(s) [attempted 2608/8459 = 30%, 252 KB/s], Decompressed: 2259
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 1298 KB/s], Decompressed: 2259
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 335 KB/s], Decompressed: 2259
Downloaded: 2735 file(s) [attempted 2735/8459 = 32%, 126 KB/s], Decompressed: 2259
Downloaded: 2776 file(s) [attempted 2776/8459 = 32%, 33 KB/s], Decompressed: 2259
Downloaded: 2814 file(s) [attempted 2814/8459 = 33%, 37 KB/s], Decompressed: 2259
Downloaded: 2855 file(s) [attempted 2855/8459 = 33%, 32 KB/s], Decompressed: 2259
Downloaded: 2892 file(s) [attempted 2892/8459 = 34%, 566 KB/s], Decompressed: 2529
Downloaded: 2937 file(s) [attempted 2937/8459 = 34%, 41 KB/s], Decompressed: 2529
Downloaded: 2954 file(s) [attempted 2954/8459 = 34%, 2311 KB/s], Decompressed: 2529
Downloaded: 3005 file(s) [attempted 3005/8459 = 35%, 295 KB/s], Decompressed: 2529
Downloaded: 3053 file(s) [attempted 3053/8459 = 36%, 1181 KB/s], Decompressed: 2529
Downloaded: 3101 file(s) [attempted 3101/8459 = 36%, 375 KB/s], Decompressed: 2529
Downloaded: 3153 file(s) [attempted 3153/8459 = 37%, 80 KB/s], Decompressed: 2858
Downloaded: 3201 file(s) [attempted 3201/8459 = 37%, 150 KB/s], Decompressed: 2858
Downloaded: 3249 file(s) [attempted 3249/8459 = 38%, 364 KB/s], Decompressed: 2858
Downloaded: 3293 file(s) [attempted 3293/8459 = 38%, 524 KB/s], Decompressed: 2858
Downloaded: 3341 file(s) [attempted 3341/8459 = 39%, 168 KB/s], Decompressed: 2858
Downloaded: 3389 file(s) [attempted 3389/8459 = 40%, 585 KB/s], Decompressed: 2858
Downloaded: 3437 file(s) [attempted 3437/8459 = 40%, 245 KB/s], Decompressed: 2858
Downloaded: 3485 file(s) [attempted 3485/8459 = 41%, 133 KB/s], Decompressed: 3153
Downloaded: 3533 file(s) [attempted 3533/8459 = 41%, 45 KB/s], Decompressed: 3153
Downloaded: 3581 file(s) [attempted 3581/8459 = 42%, 116 KB/s], Decompressed: 3153
Downloaded: 3622 file(s) [attempted 3622/8459 = 42%, 226 KB/s], Decompressed: 3153
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 288 KB/s], Decompressed: 3153
Downloaded: 3694 file(s) [attempted 3694/8459 = 43%, 684 KB/s], Decompressed: 3153
Downloaded: 3735 file(s) [attempted 3735/8459 = 44%, 97 KB/s], Decompressed: 3153
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 137 KB/s], Decompressed: 3454
Downloaded: 3827 file(s) [attempted 3827/8459 = 45%, 94 KB/s], Decompressed: 3454
Downloaded: 3875 file(s) [attempted 3875/8459 = 45%, 250 KB/s], Decompressed: 3454
Downloaded: 3913 file(s) [attempted 3913/8459 = 46%, 146 KB/s], Decompressed: 3454
Downloaded: 3954 file(s) [attempted 3954/8459 = 46%, 196 KB/s], Decompressed: 3454
Downloaded: 3995 file(s) [attempted 3995/8459 = 47%, 202 KB/s], Decompressed: 3738
Downloaded: 4033 file(s) [attempted 4033/8459 = 47%, 396 KB/s], Decompressed: 3738
Downloaded: 4074 file(s) [attempted 4074/8459 = 48%, 56 KB/s], Decompressed: 3738
Downloaded: 4112 file(s) [attempted 4112/8459 = 48%, 178 KB/s], Decompressed: 3738
Downloaded: 4156 file(s) [attempted 4156/8459 = 49%, 52 KB/s], Decompressed: 3738
Downloaded: 4201 file(s) [attempted 4201/8459 = 49%, 416 KB/s], Decompressed: 3982
Downloaded: 4239 file(s) [attempted 4239/8459 = 50%, 189 KB/s], Decompressed: 3982
Downloaded: 4280 file(s) [attempted 4280/8459 = 50%, 332 KB/s], Decompressed: 3982
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 194 KB/s], Decompressed: 3982
Downloaded: 4358 file(s) [attempted 4358/8459 = 51%, 596 KB/s], Decompressed: 3982
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 81 KB/s], Decompressed: 4180
Downloaded: 4451 file(s) [attempted 4451/8459 = 52%, 519 KB/s], Decompressed: 4180
Downloaded: 4495 file(s) [attempted 4495/8459 = 53%, 248 KB/s], Decompressed: 4180
Downloaded: 4536 file(s) [attempted 4536/8459 = 53%, 204 KB/s], Decompressed: 4365
Downloaded: 4574 file(s) [attempted 4574/8459 = 54%, 113 KB/s], Decompressed: 4365
Downloaded: 4612 file(s) [attempted 4612/8459 = 54%, 350 KB/s], Decompressed: 4365
Downloaded: 4653 file(s) [attempted 4653/8459 = 55%, 811 KB/s], Decompressed: 4365
Downloaded: 4697 file(s) [attempted 4697/8459 = 55%, 156 KB/s], Decompressed: 4365
Downloaded: 4745 file(s) [attempted 4745/8459 = 56%, 277 KB/s], Decompressed: 4536
Downloaded: 4793 file(s) [attempted 4793/8459 = 56%, 497 KB/s], Decompressed: 4536
Downloaded: 4834 file(s) [attempted 4834/8459 = 57%, 198 KB/s], Decompressed: 4536
Downloaded: 4869 file(s) [attempted 4869/8459 = 57%, 623 KB/s], Decompressed: 4536
Downloaded: 4911 file(s) [attempted 4911/8459 = 58%, 218 KB/s], Decompressed: 4711
Downloaded: 4954 file(s) [attempted 4954/8459 = 58%, 190 KB/s], Decompressed: 4711
Downloaded: 4995 file(s) [attempted 4995/8459 = 59%, 475 KB/s], Decompressed: 4711
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 184 KB/s], Decompressed: 4711
Downloaded: 5081 file(s) [attempted 5081/8459 = 60%, 2279 KB/s], Decompressed: 4882
Downloaded: 5119 file(s) [attempted 5119/8459 = 60%, 48 KB/s], Decompressed: 4882
Downloaded: 5160 file(s) [attempted 5160/8459 = 61%, 27 KB/s], Decompressed: 4882
Downloaded: 5208 file(s) [attempted 5208/8459 = 61%, 49 KB/s], Decompressed: 4882
Downloaded: 5252 file(s) [attempted 5252/8459 = 62%, 272 KB/s], Decompressed: 5057
Downloaded: 5293 file(s) [attempted 5293/8459 = 62%, 73 KB/s], Decompressed: 5057
Downloaded: 5338 file(s) [attempted 5338/8459 = 63%, 687 KB/s], Decompressed: 5057
Downloaded: 5372 file(s) [attempted 5372/8459 = 63%, 169 KB/s], Decompressed: 5057
Downloaded: 5410 file(s) [attempted 5410/8459 = 63%, 247 KB/s], Decompressed: 5218
Downloaded: 5454 file(s) [attempted 5454/8459 = 64%, 355 KB/s], Decompressed: 5218
Downloaded: 5499 file(s) [attempted 5499/8459 = 65%, 67 KB/s], Decompressed: 5218
Downloaded: 5540 file(s) [attempted 5540/8459 = 65%, 303 KB/s], Decompressed: 5379
Downloaded: 5579 file(s) [attempted 5579/8459 = 65%, 109 KB/s], Decompressed: 5379
Downloaded: 5612 file(s) [attempted 5612/8459 = 66%, 902 KB/s], Decompressed: 5379
Downloaded: 5660 file(s) [attempted 5660/8459 = 66%, 158 KB/s], Decompressed: 5379
Downloaded: 5708 file(s) [attempted 5708/8459 = 67%, 208 KB/s], Decompressed: 5537
Downloaded: 5752 file(s) [attempted 5752/8459 = 67%, 327 KB/s], Decompressed: 5537
Downloaded: 5794 file(s) [attempted 5794/8459 = 68%, 139 KB/s], Decompressed: 5537
Downloaded: 5831 file(s) [attempted 5831/8459 = 68%, 68 KB/s], Decompressed: 5537
Downloaded: 5872 file(s) [attempted 5872/8459 = 69%, 227 KB/s], Decompressed: 5694
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 251 KB/s], Decompressed: 5694
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 85 KB/s], Decompressed: 5834
Downloaded: 6003 file(s) [attempted 6003/8459 = 70%, 1103 KB/s], Decompressed: 5834
Downloaded: 6047 file(s) [attempted 6047/8459 = 71%, 409 KB/s], Decompressed: 5834
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 339 KB/s], Decompressed: 5834
Downloaded: 6122 file(s) [attempted 6122/8459 = 72%, 921 KB/s], Decompressed: 5961
Downloaded: 6167 file(s) [attempted 6167/8459 = 72%, 680 KB/s], Decompressed: 5961
Downloaded: 6203 file(s) [attempted 6203/8459 = 73%, 105 KB/s], Decompressed: 6088
Downloaded: 6246 file(s) [attempted 6246/8459 = 73%, 331 KB/s], Decompressed: 6088
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 55 KB/s], Decompressed: 6088
Downloaded: 6328 file(s) [attempted 6328/8459 = 74%, 52 KB/s], Decompressed: 6201
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 240 KB/s], Decompressed: 6201
Downloaded: 6414 file(s) [attempted 6414/8459 = 75%, 71 KB/s], Decompressed: 6201
Downloaded: 6451 file(s) [attempted 6451/8459 = 76%, 448 KB/s], Decompressed: 6314
Downloaded: 6496 file(s) [attempted 6496/8459 = 76%, 75 KB/s], Decompressed: 6314
Downloaded: 6537 file(s) [attempted 6537/8459 = 77%, 527 KB/s], Decompressed: 6314
Downloaded: 6578 file(s) [attempted 6578/8459 = 77%, 101 KB/s], Decompressed: 6437
Downloaded: 6619 file(s) [attempted 6619/8459 = 78%, 1083 KB/s], Decompressed: 6437
Downloaded: 6660 file(s) [attempted 6660/8459 = 78%, 76 KB/s], Decompressed: 6437
Downloaded: 6698 file(s) [attempted 6698/8459 = 79%, 124 KB/s], Decompressed: 6554
Downloaded: 6735 file(s) [attempted 6735/8459 = 79%, 432 KB/s], Decompressed: 6554
Downloaded: 6779 file(s) [attempted 6779/8459 = 80%, 91 KB/s], Decompressed: 6670
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 86 KB/s], Decompressed: 6670
Downloaded: 6866 file(s) [attempted 6866/8459 = 81%, 152 KB/s], Decompressed: 6670
Downloaded: 6907 file(s) [attempted 6907/8459 = 81%, 459 KB/s], Decompressed: 6777
Downloaded: 6944 file(s) [attempted 6944/8459 = 82%, 74 KB/s], Decompressed: 6777
Downloaded: 6981 file(s) [attempted 6981/8459 = 82%, 161 KB/s], Decompressed: 6872
Downloaded: 7027 file(s) [attempted 7027/8459 = 83%, 375 KB/s], Decompressed: 6872
Downloaded: 7071 file(s) [attempted 7071/8459 = 83%, 791 KB/s], Decompressed: 6872
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 374 KB/s], Decompressed: 6872
Downloaded: 7160 file(s) [attempted 7160/8459 = 84%, 109 KB/s], Decompressed: 6979
Downloaded: 7198 file(s) [attempted 7198/8459 = 85%, 816 KB/s], Decompressed: 6979
Downloaded: 7232 file(s) [attempted 7232/8459 = 85%, 910 KB/s], Decompressed: 6979
Downloaded: 7277 file(s) [attempted 7277/8459 = 86%, 247 KB/s], Decompressed: 7116
Downloaded: 7321 file(s) [attempted 7321/8459 = 86%, 102 KB/s], Decompressed: 7116
Downloaded: 7366 file(s) [attempted 7366/8459 = 87%, 131 KB/s], Decompressed: 7116
Downloaded: 7403 file(s) [attempted 7403/8459 = 87%, 388 KB/s], Decompressed: 7263
Downloaded: 7441 file(s) [attempted 7441/8459 = 87%, 67 KB/s], Decompressed: 7263
Downloaded: 7479 file(s) [attempted 7479/8459 = 88%, 344 KB/s], Decompressed: 7263
Downloaded: 7523 file(s) [attempted 7523/8459 = 88%, 124 KB/s], Decompressed: 7393
Downloaded: 7568 file(s) [attempted 7568/8459 = 89%, 1321 KB/s], Decompressed: 7393
Downloaded: 7612 file(s) [attempted 7612/8459 = 89%, 357 KB/s], Decompressed: 7503
Downloaded: 7657 file(s) [attempted 7657/8459 = 90%, 474 KB/s], Decompressed: 7503
Downloaded: 7688 file(s) [attempted 7688/8459 = 90%, 22 KB/s], Decompressed: 7503
Downloaded: 7725 file(s) [attempted 7725/8459 = 91%, 300 KB/s], Decompressed: 7605
Downloaded: 7770 file(s) [attempted 7770/8459 = 91%, 90 KB/s], Decompressed: 7605
Downloaded: 7818 file(s) [attempted 7818/8459 = 92%, 232 KB/s], Decompressed: 7605
Downloaded: 7866 file(s) [attempted 7866/8459 = 92%, 163 KB/s], Decompressed: 7719
Downloaded: 7910 file(s) [attempted 7910/8459 = 93%, 1537 KB/s], Decompressed: 7719
Downloaded: 7954 file(s) [attempted 7954/8459 = 94%, 225 KB/s], Decompressed: 7832
Downloaded: 7986 file(s) [attempted 7986/8459 = 94%, 232 KB/s], Decompressed: 7832
Downloaded: 8027 file(s) [attempted 8027/8459 = 94%, 1996 KB/s], Decompressed: 7924
Downloaded: 8071 file(s) [attempted 8071/8459 = 95%, 254 KB/s], Decompressed: 7924
Downloaded: 8116 file(s) [attempted 8116/8459 = 95%, 113 KB/s], Decompressed: 8016
Downloaded: 8157 file(s) [attempted 8157/8459 = 96%, 120 KB/s], Decompressed: 8016
Downloaded: 8195 file(s) [attempted 8195/8459 = 96%, 366 KB/s], Decompressed: 8102
Downloaded: 8232 file(s) [attempted 8232/8459 = 97%, 254 KB/s], Decompressed: 8102
Downloaded: 8273 file(s) [attempted 8273/8459 = 97%, 292 KB/s], Decompressed: 8177
Downloaded: 8318 file(s) [attempted 8318/8459 = 98%, 379 KB/s], Decompressed: 8249
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 134 KB/s], Decompressed: 8249
Downloaded: 8407 file(s) [attempted 8407/8459 = 99%, 813 KB/s], Decompressed: 8318
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 904 KB/s], Decompressed: 8318
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 155 KB/s], Decompressed: 8445
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 155 KB/s], Decompressed: 8445

apx-runtime-resource-v1	apx-verifier-job-1714-runtime-lake_cache-3568760-1787353136483126524-0	3956736	4206592	21474836480	0	0	0	0	0	0	5496115200	5763964928	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/22/2026, 1:03:16 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (383s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (156s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (148s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (144s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (147s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (221s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (125s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (235s)
✔ [790/794] Built Iut.Foundations.QualitativeData (181s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (566s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1166s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1396s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (1230s)
✔ [3965/3971] Built Iut.Foundations.EtaleThetaCovers (384s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (394s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1714-runtime-lean_checker-3568760-1787353319832635247-1 on attempt 3

blueprint_buildexit 1duration 16s · created 8/22/2026, 1:03:16 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1714-runtime-blueprint_build-3568760-1787360578254092194-2	946176	1458176	21474836480	0	0	0	0	0	0	885743616	989413376	21474836480	0	0	0	0	0	0