Verification run

Run 1271

promachina/iut-leanbranch mastertriggered via poller

failedcommit 617ecce028fbtoolchain 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 master --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1717-source
exit_code=Some(128) duration_ms=215
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1717-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=3860
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1717-source'...


$ git checkout 617ecce028fbbd00bc8d5964993f589e66a2e099
exit_code=Some(0) duration_ms=287
stderr:
Note: switching to '617ecce028fbbd00bc8d5964993f589e66a2e099'.

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 617ecce Type the conditional regional hull and q-pilot value bridge (#940) (#958)

Resolved source revision: 617ecce028fbbd00bc8d5964993f589e66a2e099

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=617ecce028fbbd00bc8d5964993f589e66a2e099 provenance={"branch":"master","checked_out_revision":"617ecce028fbbd00bc8d5964993f589e66a2e099","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"617ecce028fbbd00bc8d5964993f589e66a2e099","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=5980 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=166639
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:
✔ [7/11] Built Cache.Lean (7.4s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (123ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (153ms)
✔ [13/25] Built Cache.Lean:c.o (124ms)
✔ [15/25] Built Cache.Init (340ms)
✔ [16/25] Built Cache.IO (6.5s)
✔ [17/25] Built Cache.Init:c.o (105ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (871ms)
✔ [20/25] Built Cache.Hashing:c.o (399ms)
✔ [21/25] Built Cache.Requests (2.3s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (16s)
✔ [24/25] Built Cache.Main:c.o (1.5s)
✔ [25/25] Built cache:exe (4.6s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 3 KB/s], Decompressed: 1
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 12 KB/s], Decompressed: 17
Downloaded: 64 file(s) [attempted 64/8459 = 0%, 57 KB/s], Decompressed: 44
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 122 KB/s], Decompressed: 72
Downloaded: 117 file(s) [attempted 117/8459 = 1%, 38 KB/s], Decompressed: 86
Downloaded: 147 file(s) [attempted 147/8459 = 1%, 132 KB/s], Decompressed: 107
Downloaded: 182 file(s) [attempted 182/8459 = 2%, 125 KB/s], Decompressed: 107
Downloaded: 223 file(s) [attempted 223/8459 = 2%, 805 KB/s], Decompressed: 141
Downloaded: 258 file(s) [attempted 258/8459 = 3%, 184 KB/s], Decompressed: 196
Downloaded: 295 file(s) [attempted 295/8459 = 3%, 697 KB/s], Decompressed: 196
Downloaded: 333 file(s) [attempted 333/8459 = 3%, 205 KB/s], Decompressed: 258
Downloaded: 371 file(s) [attempted 371/8459 = 4%, 309 KB/s], Decompressed: 258
Downloaded: 405 file(s) [attempted 405/8459 = 4%, 75 KB/s], Decompressed: 323
Downloaded: 446 file(s) [attempted 446/8459 = 5%, 635 KB/s], Decompressed: 385
Downloaded: 491 file(s) [attempted 491/8459 = 5%, 260 KB/s], Decompressed: 385
Downloaded: 532 file(s) [attempted 532/8459 = 6%, 452 KB/s], Decompressed: 439
Downloaded: 573 file(s) [attempted 573/8459 = 6%, 71 KB/s], Decompressed: 494
Downloaded: 611 file(s) [attempted 611/8459 = 7%, 79 KB/s], Decompressed: 494
Downloaded: 655 file(s) [attempted 655/8459 = 7%, 54 KB/s], Decompressed: 553
Downloaded: 697 file(s) [attempted 697/8459 = 8%, 284 KB/s], Decompressed: 621
Downloaded: 738 file(s) [attempted 738/8459 = 8%, 81 KB/s], Decompressed: 621
Downloaded: 779 file(s) [attempted 779/8459 = 9%, 66 KB/s], Decompressed: 621
Downloaded: 817 file(s) [attempted 817/8459 = 9%, 761 KB/s], Decompressed: 697
Downloaded: 858 file(s) [attempted 858/8459 = 10%, 120 KB/s], Decompressed: 697
Downloaded: 895 file(s) [attempted 895/8459 = 10%, 625 KB/s], Decompressed: 782
Downloaded: 937 file(s) [attempted 937/8459 = 11%, 73 KB/s], Decompressed: 782
Downloaded: 981 file(s) [attempted 981/8459 = 11%, 75 KB/s], Decompressed: 875
Downloaded: 1022 file(s) [attempted 1022/8459 = 12%, 440 KB/s], Decompressed: 875
Downloaded: 1063 file(s) [attempted 1063/8459 = 12%, 42 KB/s], Decompressed: 875
Downloaded: 1101 file(s) [attempted 1101/8459 = 13%, 67 KB/s], Decompressed: 978
Downloaded: 1142 file(s) [attempted 1142/8459 = 13%, 171 KB/s], Decompressed: 978
Downloaded: 1183 file(s) [attempted 1183/8459 = 13%, 136 KB/s], Decompressed: 1070
Downloaded: 1231 file(s) [attempted 1231/8459 = 14%, 287 KB/s], Decompressed: 1070
Downloaded: 1283 file(s) [attempted 1283/8459 = 15%, 92 KB/s], Decompressed: 1166
Downloaded: 1330 file(s) [attempted 1330/8459 = 15%, 150 KB/s], Decompressed: 1166
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 759 KB/s], Decompressed: 1255
Downloaded: 1406 file(s) [attempted 1406/8459 = 16%, 136 KB/s], Decompressed: 1255
Downloaded: 1450 file(s) [attempted 1450/8459 = 17%, 268 KB/s], Decompressed: 1344
Downloaded: 1491 file(s) [attempted 1491/8459 = 17%, 280 KB/s], Decompressed: 1426
Downloaded: 1536 file(s) [attempted 1536/8459 = 18%, 71 KB/s], Decompressed: 1426
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 293 KB/s], Decompressed: 1491
Downloaded: 1615 file(s) [attempted 1615/8459 = 19%, 497 KB/s], Decompressed: 1553
Downloaded: 1656 file(s) [attempted 1656/8459 = 19%, 84 KB/s], Decompressed: 1553
Downloaded: 1697 file(s) [attempted 1697/8459 = 20%, 239 KB/s], Decompressed: 1611
Downloaded: 1742 file(s) [attempted 1742/8459 = 20%, 193 KB/s], Decompressed: 1666
Downloaded: 1779 file(s) [attempted 1779/8459 = 21%, 1204 KB/s], Decompressed: 1718
Downloaded: 1820 file(s) [attempted 1820/8459 = 21%, 218 KB/s], Decompressed: 1718
Downloaded: 1858 file(s) [attempted 1858/8459 = 21%, 399 KB/s], Decompressed: 1779
Downloaded: 1902 file(s) [attempted 1902/8459 = 22%, 164 KB/s], Decompressed: 1848
Downloaded: 1944 file(s) [attempted 1944/8459 = 22%, 437 KB/s], Decompressed: 1848
Downloaded: 1981 file(s) [attempted 1981/8459 = 23%, 378 KB/s], Decompressed: 1902
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 291 KB/s], Decompressed: 1902
Downloaded: 2070 file(s) [attempted 2070/8459 = 24%, 123 KB/s], Decompressed: 1971
Downloaded: 2111 file(s) [attempted 2111/8459 = 24%, 129 KB/s], Decompressed: 1971
Downloaded: 2153 file(s) [attempted 2153/8459 = 25%, 78 KB/s], Decompressed: 1971
Downloaded: 2194 file(s) [attempted 2194/8459 = 25%, 422 KB/s], Decompressed: 2070
Downloaded: 2235 file(s) [attempted 2235/8459 = 26%, 334 KB/s], Decompressed: 2070
Downloaded: 2276 file(s) [attempted 2276/8459 = 26%, 241 KB/s], Decompressed: 2070
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 130 KB/s], Decompressed: 2177
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 913 KB/s], Decompressed: 2177
Downloaded: 2396 file(s) [attempted 2396/8459 = 28%, 36 KB/s], Decompressed: 2177
Downloaded: 2440 file(s) [attempted 2440/8459 = 28%, 48 KB/s], Decompressed: 2300
Downloaded: 2485 file(s) [attempted 2485/8459 = 29%, 269 KB/s], Decompressed: 2300
Downloaded: 2526 file(s) [attempted 2526/8459 = 29%, 689 KB/s], Decompressed: 2300
Downloaded: 2564 file(s) [attempted 2564/8459 = 30%, 744 KB/s], Decompressed: 2423
Downloaded: 2605 file(s) [attempted 2605/8459 = 30%, 1091 KB/s], Decompressed: 2423
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 49 KB/s], Decompressed: 2423
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 131 KB/s], Decompressed: 2553
Downloaded: 2735 file(s) [attempted 2735/8459 = 32%, 588 KB/s], Decompressed: 2553
Downloaded: 2776 file(s) [attempted 2776/8459 = 32%, 300 KB/s], Decompressed: 2553
Downloaded: 2814 file(s) [attempted 2814/8459 = 33%, 101 KB/s], Decompressed: 2553
Downloaded: 2855 file(s) [attempted 2855/8459 = 33%, 88 KB/s], Decompressed: 2690
Downloaded: 2896 file(s) [attempted 2896/8459 = 34%, 853 KB/s], Decompressed: 2690
Downloaded: 2937 file(s) [attempted 2937/8459 = 34%, 39 KB/s], Decompressed: 2690
Downloaded: 2978 file(s) [attempted 2978/8459 = 35%, 378 KB/s], Decompressed: 2690
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 198 KB/s], Decompressed: 2855
Downloaded: 3060 file(s) [attempted 3060/8459 = 36%, 226 KB/s], Decompressed: 2855
Downloaded: 3101 file(s) [attempted 3101/8459 = 36%, 435 KB/s], Decompressed: 2855
Downloaded: 3139 file(s) [attempted 3139/8459 = 37%, 315 KB/s], Decompressed: 2855
Downloaded: 3180 file(s) [attempted 3180/8459 = 37%, 43 KB/s], Decompressed: 3019
Downloaded: 3225 file(s) [attempted 3225/8459 = 38%, 860 KB/s], Decompressed: 3019
Downloaded: 3269 file(s) [attempted 3269/8459 = 38%, 286 KB/s], Decompressed: 3019
Downloaded: 3310 file(s) [attempted 3310/8459 = 39%, 144 KB/s], Decompressed: 3019
Downloaded: 3351 file(s) [attempted 3351/8459 = 39%, 398 KB/s], Decompressed: 3173
Downloaded: 3389 file(s) [attempted 3389/8459 = 40%, 75 KB/s], Decompressed: 3173
Downloaded: 3430 file(s) [attempted 3430/8459 = 40%, 699 KB/s], Decompressed: 3173
Downloaded: 3475 file(s) [attempted 3475/8459 = 41%, 684 KB/s], Decompressed: 3314
Downloaded: 3516 file(s) [attempted 3516/8459 = 41%, 260 KB/s], Decompressed: 3314
Downloaded: 3553 file(s) [attempted 3553/8459 = 42%, 138 KB/s], Decompressed: 3437
Downloaded: 3598 file(s) [attempted 3598/8459 = 42%, 229 KB/s], Decompressed: 3437
Downloaded: 3639 file(s) [attempted 3639/8459 = 43%, 139 KB/s], Decompressed: 3437
Downloaded: 3680 file(s) [attempted 3680/8459 = 43%, 260 KB/s], Decompressed: 3553
Downloaded: 3721 file(s) [attempted 3721/8459 = 43%, 35 KB/s], Decompressed: 3553
Downloaded: 3762 file(s) [attempted 3762/8459 = 44%, 42 KB/s], Decompressed: 3553
Downloaded: 3807 file(s) [attempted 3807/8459 = 45%, 441 KB/s], Decompressed: 3666
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 444 KB/s], Decompressed: 3666
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 348 KB/s], Decompressed: 3666
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 149 KB/s], Decompressed: 3790
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 224 KB/s], Decompressed: 3790
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 752 KB/s], Decompressed: 3790
Downloaded: 4054 file(s) [attempted 4054/8459 = 47%, 117 KB/s], Decompressed: 3906
Downloaded: 4098 file(s) [attempted 4098/8459 = 48%, 763 KB/s], Decompressed: 3906
Downloaded: 4143 file(s) [attempted 4143/8459 = 48%, 1303 KB/s], Decompressed: 4012
Downloaded: 4180 file(s) [attempted 4180/8459 = 49%, 329 KB/s], Decompressed: 4012
Downloaded: 4221 file(s) [attempted 4221/8459 = 49%, 427 KB/s], Decompressed: 4012
Downloaded: 4266 file(s) [attempted 4266/8459 = 50%, 200 KB/s], Decompressed: 4115
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 164 KB/s], Decompressed: 4115
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 166 KB/s], Decompressed: 4115
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 1305 KB/s], Decompressed: 4115
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 125 KB/s], Decompressed: 4235
Downloaded: 4475 file(s) [attempted 4475/8459 = 52%, 438 KB/s], Decompressed: 4235
Downloaded: 4516 file(s) [attempted 4516/8459 = 53%, 107 KB/s], Decompressed: 4235
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 170 KB/s], Decompressed: 4399
Downloaded: 4602 file(s) [attempted 4602/8459 = 54%, 553 KB/s], Decompressed: 4399
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 335 KB/s], Decompressed: 4399
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 434 KB/s], Decompressed: 4399
Downloaded: 4721 file(s) [attempted 4721/8459 = 55%, 1704 KB/s], Decompressed: 4554
Downloaded: 4766 file(s) [attempted 4766/8459 = 56%, 695 KB/s], Decompressed: 4554
Downloaded: 4807 file(s) [attempted 4807/8459 = 56%, 434 KB/s], Decompressed: 4554
Downloaded: 4852 file(s) [attempted 4852/8459 = 57%, 330 KB/s], Decompressed: 4697
Downloaded: 4889 file(s) [attempted 4889/8459 = 57%, 492 KB/s], Decompressed: 4697
Downloaded: 4930 file(s) [attempted 4930/8459 = 58%, 539 KB/s], Decompressed: 4697
Downloaded: 4975 file(s) [attempted 4975/8459 = 58%, 404 KB/s], Decompressed: 4697
Downloaded: 5016 file(s) [attempted 5016/8459 = 59%, 223 KB/s], Decompressed: 4841
Downloaded: 5061 file(s) [attempted 5061/8459 = 59%, 317 KB/s], Decompressed: 4841
Downloaded: 5095 file(s) [attempted 5095/8459 = 60%, 849 KB/s], Decompressed: 4841
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 36 KB/s], Decompressed: 4989
Downloaded: 5180 file(s) [attempted 5180/8459 = 61%, 321 KB/s], Decompressed: 4989
Downloaded: 5222 file(s) [attempted 5222/8459 = 61%, 78 KB/s], Decompressed: 4989
Downloaded: 5266 file(s) [attempted 5266/8459 = 62%, 294 KB/s], Decompressed: 5115
Downloaded: 5307 file(s) [attempted 5307/8459 = 62%, 79 KB/s], Decompressed: 5115
Downloaded: 5350 file(s) [attempted 5350/8459 = 63%, 670 KB/s], Decompressed: 5235
Downloaded: 5389 file(s) [attempted 5389/8459 = 63%, 75 KB/s], Decompressed: 5235
Downloaded: 5432 file(s) [attempted 5432/8459 = 64%, 66 KB/s], Decompressed: 5235
Downloaded: 5468 file(s) [attempted 5468/8459 = 64%, 575 KB/s], Decompressed: 5348
Downloaded: 5509 file(s) [attempted 5509/8459 = 65%, 360 KB/s], Decompressed: 5348
Downloaded: 5554 file(s) [attempted 5554/8459 = 65%, 464 KB/s], Decompressed: 5451
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 1286 KB/s], Decompressed: 5451
Downloaded: 5636 file(s) [attempted 5636/8459 = 66%, 572 KB/s], Decompressed: 5451
Downloaded: 5677 file(s) [attempted 5677/8459 = 67%, 766 KB/s], Decompressed: 5554
Downloaded: 5722 file(s) [attempted 5722/8459 = 67%, 171 KB/s], Decompressed: 5554
Downloaded: 5763 file(s) [attempted 5763/8459 = 68%, 489 KB/s], Decompressed: 5653
Downloaded: 5807 file(s) [attempted 5807/8459 = 68%, 739 KB/s], Decompressed: 5653
Downloaded: 5848 file(s) [attempted 5848/8459 = 69%, 469 KB/s], Decompressed: 5752
Downloaded: 5893 file(s) [attempted 5893/8459 = 69%, 170 KB/s], Decompressed: 5752
Downloaded: 5931 file(s) [attempted 5931/8459 = 70%, 141 KB/s], Decompressed: 5752
Downloaded: 5968 file(s) [attempted 5968/8459 = 70%, 149 KB/s], Decompressed: 5848
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 244 KB/s], Decompressed: 5848
Downloaded: 6057 file(s) [attempted 6057/8459 = 71%, 106 KB/s], Decompressed: 5848
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 73 KB/s], Decompressed: 5951
Downloaded: 6143 file(s) [attempted 6143/8459 = 72%, 1133 KB/s], Decompressed: 5951
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 221 KB/s], Decompressed: 5951
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 144 KB/s], Decompressed: 5951
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 4049 KB/s], Decompressed: 5951
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 83 KB/s], Decompressed: 5951
Downloaded: 6342 file(s) [attempted 6342/8459 = 74%, 61 KB/s], Decompressed: 6074
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 115 KB/s], Decompressed: 6074
Downloaded: 6427 file(s) [attempted 6427/8459 = 75%, 295 KB/s], Decompressed: 6074
Downloaded: 6468 file(s) [attempted 6468/8459 = 76%, 133 KB/s], Decompressed: 6074
Downloaded: 6516 file(s) [attempted 6516/8459 = 77%, 527 KB/s], Decompressed: 6074
Downloaded: 6561 file(s) [attempted 6561/8459 = 77%, 134 KB/s], Decompressed: 6074
Downloaded: 6605 file(s) [attempted 6605/8459 = 78%, 212 KB/s], Decompressed: 6335
Downloaded: 6646 file(s) [attempted 6646/8459 = 78%, 490 KB/s], Decompressed: 6335
Downloaded: 6684 file(s) [attempted 6684/8459 = 79%, 155 KB/s], Decompressed: 6335
Downloaded: 6725 file(s) [attempted 6725/8459 = 79%, 178 KB/s], Decompressed: 6335
Downloaded: 6766 file(s) [attempted 6766/8459 = 79%, 107 KB/s], Decompressed: 6335
Downloaded: 6811 file(s) [attempted 6811/8459 = 80%, 354 KB/s], Decompressed: 6335
Downloaded: 6852 file(s) [attempted 6852/8459 = 81%, 302 KB/s], Decompressed: 6335
Downloaded: 6893 file(s) [attempted 6893/8459 = 81%, 227 KB/s], Decompressed: 6335
Downloaded: 6934 file(s) [attempted 6934/8459 = 81%, 191 KB/s], Decompressed: 6605
Downloaded: 6975 file(s) [attempted 6975/8459 = 82%, 740 KB/s], Decompressed: 6605
Downloaded: 7016 file(s) [attempted 7016/8459 = 82%, 270 KB/s], Decompressed: 6605
Downloaded: 7057 file(s) [attempted 7057/8459 = 83%, 96 KB/s], Decompressed: 6605
Downloaded: 7095 file(s) [attempted 7095/8459 = 83%, 207 KB/s], Decompressed: 6605
Downloaded: 7140 file(s) [attempted 7140/8459 = 84%, 104 KB/s], Decompressed: 6605
Downloaded: 7181 file(s) [attempted 7181/8459 = 84%, 1630 KB/s], Decompressed: 6605
Downloaded: 7222 file(s) [attempted 7222/8459 = 85%, 331 KB/s], Decompressed: 6934
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 1029 KB/s], Decompressed: 6934
Downloaded: 7304 file(s) [attempted 7304/8459 = 86%, 27 KB/s], Decompressed: 6934
Downloaded: 7345 file(s) [attempted 7345/8459 = 86%, 51 KB/s], Decompressed: 6934
Downloaded: 7390 file(s) [attempted 7390/8459 = 87%, 69 KB/s], Decompressed: 6934
Downloaded: 7427 file(s) [attempted 7427/8459 = 87%, 112 KB/s], Decompressed: 6934
Downloaded: 7465 file(s) [attempted 7465/8459 = 88%, 1019 KB/s], Decompressed: 6934
Downloaded: 7506 file(s) [attempted 7506/8459 = 88%, 446 KB/s], Decompressed: 7215
Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 96 KB/s], Decompressed: 7215
Downloaded: 7595 file(s) [attempted 7595/8459 = 89%, 887 KB/s], Decompressed: 7215
Downloaded: 7636 file(s) [attempted 7636/8459 = 90%, 154 KB/s], Decompressed: 7215
Downloaded: 7677 file(s) [attempted 7677/8459 = 90%, 223 KB/s], Decompressed: 7215
Downloaded: 7715 file(s) [attempted 7715/8459 = 91%, 45 KB/s], Decompressed: 7215
Downloaded: 7756 file(s) [attempted 7756/8459 = 91%, 128 KB/s], Decompressed: 7215
Downloaded: 7797 file(s) [attempted 7797/8459 = 92%, 47 KB/s], Decompressed: 7492
Downloaded: 7835 file(s) [attempted 7835/8459 = 92%, 283 KB/s], Decompressed: 7492
Downloaded: 7876 file(s) [attempted 7876/8459 = 93%, 568 KB/s], Decompressed: 7492
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 104 KB/s], Decompressed: 7492
Downloaded: 7965 file(s) [attempted 7965/8459 = 94%, 99 KB/s], Decompressed: 7492
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 160 KB/s], Decompressed: 7492
Downloaded: 8040 file(s) [attempted 8040/8459 = 95%, 823 KB/s], Decompressed: 7492
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 38 KB/s], Decompressed: 7492
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 74 KB/s], Decompressed: 7784
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 1396 KB/s], Decompressed: 7784
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 1041 KB/s], Decompressed: 7784
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 103 KB/s], Decompressed: 7784
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 130 KB/s], Decompressed: 7784
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 128 KB/s], Decompressed: 7784
Downloaded: 8386 file(s) [attempted 8386/8459 = 99%, 92 KB/s], Decompressed: 7784
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 36 KB/s], Decompressed: 7784
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 36 KB/s], Decompressed: 7784

apx-runtime-resource-v1	apx-verifier-job-1717-runtime-lake_cache-3642569-1787403875240269987-0	3825664	4337664	21474836480	0	0	0	0	0	0	598228992	5854187520	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7202742
stdout:
✔ [500/502] Built Iut.Foundations.Species (129s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (101s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (169s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (119s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (137s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (74s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (110s)
✔ [790/794] Built Iut.Foundations.QualitativeData (153s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (295s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1316s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1357s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1509s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (435s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (347s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1717-runtime-lean_checker-3642569-1787404041885560415-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1717-runtime-blueprint_build-3642569-1787411253052493657-2	946176	1458176	21474836480	0	0	0	0	0	0	883068928	986968064	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 215 ms · created 8/22/2026, 3:07:52 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1717-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, 3:07:52 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 287 ms · created 8/22/2026, 3:07:52 PM

git checkout 617ecce028fbbd00bc8d5964993f589e66a2e099

Note: switching to '617ecce028fbbd00bc8d5964993f589e66a2e099'.

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 617ecce Type the conditional regional hull and q-pilot value bridge (#940) (#958)

lake_cacheexit 0duration 2m 47s · created 8/22/2026, 3:07:52 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)

✔ [7/11] Built Cache.Lean (7.4s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.2s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (123ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (153ms)
✔ [13/25] Built Cache.Lean:c.o (124ms)
✔ [15/25] Built Cache.Init (340ms)
✔ [16/25] Built Cache.IO (6.5s)
✔ [17/25] Built Cache.Init:c.o (105ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (871ms)
✔ [20/25] Built Cache.Hashing:c.o (399ms)
✔ [21/25] Built Cache.Requests (2.3s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (16s)
✔ [24/25] Built Cache.Main:c.o (1.5s)
✔ [25/25] Built cache:exe (4.6s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 3 KB/s], Decompressed: 1
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 12 KB/s], Decompressed: 17
Downloaded: 64 file(s) [attempted 64/8459 = 0%, 57 KB/s], Decompressed: 44
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 122 KB/s], Decompressed: 72
Downloaded: 117 file(s) [attempted 117/8459 = 1%, 38 KB/s], Decompressed: 86
Downloaded: 147 file(s) [attempted 147/8459 = 1%, 132 KB/s], Decompressed: 107
Downloaded: 182 file(s) [attempted 182/8459 = 2%, 125 KB/s], Decompressed: 107
Downloaded: 223 file(s) [attempted 223/8459 = 2%, 805 KB/s], Decompressed: 141
Downloaded: 258 file(s) [attempted 258/8459 = 3%, 184 KB/s], Decompressed: 196
Downloaded: 295 file(s) [attempted 295/8459 = 3%, 697 KB/s], Decompressed: 196
Downloaded: 333 file(s) [attempted 333/8459 = 3%, 205 KB/s], Decompressed: 258
Downloaded: 371 file(s) [attempted 371/8459 = 4%, 309 KB/s], Decompressed: 258
Downloaded: 405 file(s) [attempted 405/8459 = 4%, 75 KB/s], Decompressed: 323
Downloaded: 446 file(s) [attempted 446/8459 = 5%, 635 KB/s], Decompressed: 385
Downloaded: 491 file(s) [attempted 491/8459 = 5%, 260 KB/s], Decompressed: 385
Downloaded: 532 file(s) [attempted 532/8459 = 6%, 452 KB/s], Decompressed: 439
Downloaded: 573 file(s) [attempted 573/8459 = 6%, 71 KB/s], Decompressed: 494
Downloaded: 611 file(s) [attempted 611/8459 = 7%, 79 KB/s], Decompressed: 494
Downloaded: 655 file(s) [attempted 655/8459 = 7%, 54 KB/s], Decompressed: 553
Downloaded: 697 file(s) [attempted 697/8459 = 8%, 284 KB/s], Decompressed: 621
Downloaded: 738 file(s) [attempted 738/8459 = 8%, 81 KB/s], Decompressed: 621
Downloaded: 779 file(s) [attempted 779/8459 = 9%, 66 KB/s], Decompressed: 621
Downloaded: 817 file(s) [attempted 817/8459 = 9%, 761 KB/s], Decompressed: 697
Downloaded: 858 file(s) [attempted 858/8459 = 10%, 120 KB/s], Decompressed: 697
Downloaded: 895 file(s) [attempted 895/8459 = 10%, 625 KB/s], Decompressed: 782
Downloaded: 937 file(s) [attempted 937/8459 = 11%, 73 KB/s], Decompressed: 782
Downloaded: 981 file(s) [attempted 981/8459 = 11%, 75 KB/s], Decompressed: 875
Downloaded: 1022 file(s) [attempted 1022/8459 = 12%, 440 KB/s], Decompressed: 875
Downloaded: 1063 file(s) [attempted 1063/8459 = 12%, 42 KB/s], Decompressed: 875
Downloaded: 1101 file(s) [attempted 1101/8459 = 13%, 67 KB/s], Decompressed: 978
Downloaded: 1142 file(s) [attempted 1142/8459 = 13%, 171 KB/s], Decompressed: 978
Downloaded: 1183 file(s) [attempted 1183/8459 = 13%, 136 KB/s], Decompressed: 1070
Downloaded: 1231 file(s) [attempted 1231/8459 = 14%, 287 KB/s], Decompressed: 1070
Downloaded: 1283 file(s) [attempted 1283/8459 = 15%, 92 KB/s], Decompressed: 1166
Downloaded: 1330 file(s) [attempted 1330/8459 = 15%, 150 KB/s], Decompressed: 1166
Downloaded: 1372 file(s) [attempted 1372/8459 = 16%, 759 KB/s], Decompressed: 1255
Downloaded: 1406 file(s) [attempted 1406/8459 = 16%, 136 KB/s], Decompressed: 1255
Downloaded: 1450 file(s) [attempted 1450/8459 = 17%, 268 KB/s], Decompressed: 1344
Downloaded: 1491 file(s) [attempted 1491/8459 = 17%, 280 KB/s], Decompressed: 1426
Downloaded: 1536 file(s) [attempted 1536/8459 = 18%, 71 KB/s], Decompressed: 1426
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 293 KB/s], Decompressed: 1491
Downloaded: 1615 file(s) [attempted 1615/8459 = 19%, 497 KB/s], Decompressed: 1553
Downloaded: 1656 file(s) [attempted 1656/8459 = 19%, 84 KB/s], Decompressed: 1553
Downloaded: 1697 file(s) [attempted 1697/8459 = 20%, 239 KB/s], Decompressed: 1611
Downloaded: 1742 file(s) [attempted 1742/8459 = 20%, 193 KB/s], Decompressed: 1666
Downloaded: 1779 file(s) [attempted 1779/8459 = 21%, 1204 KB/s], Decompressed: 1718
Downloaded: 1820 file(s) [attempted 1820/8459 = 21%, 218 KB/s], Decompressed: 1718
Downloaded: 1858 file(s) [attempted 1858/8459 = 21%, 399 KB/s], Decompressed: 1779
Downloaded: 1902 file(s) [attempted 1902/8459 = 22%, 164 KB/s], Decompressed: 1848
Downloaded: 1944 file(s) [attempted 1944/8459 = 22%, 437 KB/s], Decompressed: 1848
Downloaded: 1981 file(s) [attempted 1981/8459 = 23%, 378 KB/s], Decompressed: 1902
Downloaded: 2026 file(s) [attempted 2026/8459 = 23%, 291 KB/s], Decompressed: 1902
Downloaded: 2070 file(s) [attempted 2070/8459 = 24%, 123 KB/s], Decompressed: 1971
Downloaded: 2111 file(s) [attempted 2111/8459 = 24%, 129 KB/s], Decompressed: 1971
Downloaded: 2153 file(s) [attempted 2153/8459 = 25%, 78 KB/s], Decompressed: 1971
Downloaded: 2194 file(s) [attempted 2194/8459 = 25%, 422 KB/s], Decompressed: 2070
Downloaded: 2235 file(s) [attempted 2235/8459 = 26%, 334 KB/s], Decompressed: 2070
Downloaded: 2276 file(s) [attempted 2276/8459 = 26%, 241 KB/s], Decompressed: 2070
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 130 KB/s], Decompressed: 2177
Downloaded: 2351 file(s) [attempted 2351/8459 = 27%, 913 KB/s], Decompressed: 2177
Downloaded: 2396 file(s) [attempted 2396/8459 = 28%, 36 KB/s], Decompressed: 2177
Downloaded: 2440 file(s) [attempted 2440/8459 = 28%, 48 KB/s], Decompressed: 2300
Downloaded: 2485 file(s) [attempted 2485/8459 = 29%, 269 KB/s], Decompressed: 2300
Downloaded: 2526 file(s) [attempted 2526/8459 = 29%, 689 KB/s], Decompressed: 2300
Downloaded: 2564 file(s) [attempted 2564/8459 = 30%, 744 KB/s], Decompressed: 2423
Downloaded: 2605 file(s) [attempted 2605/8459 = 30%, 1091 KB/s], Decompressed: 2423
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 49 KB/s], Decompressed: 2423
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 131 KB/s], Decompressed: 2553
Downloaded: 2735 file(s) [attempted 2735/8459 = 32%, 588 KB/s], Decompressed: 2553
Downloaded: 2776 file(s) [attempted 2776/8459 = 32%, 300 KB/s], Decompressed: 2553
Downloaded: 2814 file(s) [attempted 2814/8459 = 33%, 101 KB/s], Decompressed: 2553
Downloaded: 2855 file(s) [attempted 2855/8459 = 33%, 88 KB/s], Decompressed: 2690
Downloaded: 2896 file(s) [attempted 2896/8459 = 34%, 853 KB/s], Decompressed: 2690
Downloaded: 2937 file(s) [attempted 2937/8459 = 34%, 39 KB/s], Decompressed: 2690
Downloaded: 2978 file(s) [attempted 2978/8459 = 35%, 378 KB/s], Decompressed: 2690
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 198 KB/s], Decompressed: 2855
Downloaded: 3060 file(s) [attempted 3060/8459 = 36%, 226 KB/s], Decompressed: 2855
Downloaded: 3101 file(s) [attempted 3101/8459 = 36%, 435 KB/s], Decompressed: 2855
Downloaded: 3139 file(s) [attempted 3139/8459 = 37%, 315 KB/s], Decompressed: 2855
Downloaded: 3180 file(s) [attempted 3180/8459 = 37%, 43 KB/s], Decompressed: 3019
Downloaded: 3225 file(s) [attempted 3225/8459 = 38%, 860 KB/s], Decompressed: 3019
Downloaded: 3269 file(s) [attempted 3269/8459 = 38%, 286 KB/s], Decompressed: 3019
Downloaded: 3310 file(s) [attempted 3310/8459 = 39%, 144 KB/s], Decompressed: 3019
Downloaded: 3351 file(s) [attempted 3351/8459 = 39%, 398 KB/s], Decompressed: 3173
Downloaded: 3389 file(s) [attempted 3389/8459 = 40%, 75 KB/s], Decompressed: 3173
Downloaded: 3430 file(s) [attempted 3430/8459 = 40%, 699 KB/s], Decompressed: 3173
Downloaded: 3475 file(s) [attempted 3475/8459 = 41%, 684 KB/s], Decompressed: 3314
Downloaded: 3516 file(s) [attempted 3516/8459 = 41%, 260 KB/s], Decompressed: 3314
Downloaded: 3553 file(s) [attempted 3553/8459 = 42%, 138 KB/s], Decompressed: 3437
Downloaded: 3598 file(s) [attempted 3598/8459 = 42%, 229 KB/s], Decompressed: 3437
Downloaded: 3639 file(s) [attempted 3639/8459 = 43%, 139 KB/s], Decompressed: 3437
Downloaded: 3680 file(s) [attempted 3680/8459 = 43%, 260 KB/s], Decompressed: 3553
Downloaded: 3721 file(s) [attempted 3721/8459 = 43%, 35 KB/s], Decompressed: 3553
Downloaded: 3762 file(s) [attempted 3762/8459 = 44%, 42 KB/s], Decompressed: 3553
Downloaded: 3807 file(s) [attempted 3807/8459 = 45%, 441 KB/s], Decompressed: 3666
Downloaded: 3848 file(s) [attempted 3848/8459 = 45%, 444 KB/s], Decompressed: 3666
Downloaded: 3889 file(s) [attempted 3889/8459 = 45%, 348 KB/s], Decompressed: 3666
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 149 KB/s], Decompressed: 3790
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 224 KB/s], Decompressed: 3790
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 752 KB/s], Decompressed: 3790
Downloaded: 4054 file(s) [attempted 4054/8459 = 47%, 117 KB/s], Decompressed: 3906
Downloaded: 4098 file(s) [attempted 4098/8459 = 48%, 763 KB/s], Decompressed: 3906
Downloaded: 4143 file(s) [attempted 4143/8459 = 48%, 1303 KB/s], Decompressed: 4012
Downloaded: 4180 file(s) [attempted 4180/8459 = 49%, 329 KB/s], Decompressed: 4012
Downloaded: 4221 file(s) [attempted 4221/8459 = 49%, 427 KB/s], Decompressed: 4012
Downloaded: 4266 file(s) [attempted 4266/8459 = 50%, 200 KB/s], Decompressed: 4115
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 164 KB/s], Decompressed: 4115
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 166 KB/s], Decompressed: 4115
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 1305 KB/s], Decompressed: 4115
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 125 KB/s], Decompressed: 4235
Downloaded: 4475 file(s) [attempted 4475/8459 = 52%, 438 KB/s], Decompressed: 4235
Downloaded: 4516 file(s) [attempted 4516/8459 = 53%, 107 KB/s], Decompressed: 4235
Downloaded: 4560 file(s) [attempted 4560/8459 = 53%, 170 KB/s], Decompressed: 4399
Downloaded: 4602 file(s) [attempted 4602/8459 = 54%, 553 KB/s], Decompressed: 4399
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 335 KB/s], Decompressed: 4399
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 434 KB/s], Decompressed: 4399
Downloaded: 4721 file(s) [attempted 4721/8459 = 55%, 1704 KB/s], Decompressed: 4554
Downloaded: 4766 file(s) [attempted 4766/8459 = 56%, 695 KB/s], Decompressed: 4554
Downloaded: 4807 file(s) [attempted 4807/8459 = 56%, 434 KB/s], Decompressed: 4554
Downloaded: 4852 file(s) [attempted 4852/8459 = 57%, 330 KB/s], Decompressed: 4697
Downloaded: 4889 file(s) [attempted 4889/8459 = 57%, 492 KB/s], Decompressed: 4697
Downloaded: 4930 file(s) [attempted 4930/8459 = 58%, 539 KB/s], Decompressed: 4697
Downloaded: 4975 file(s) [attempted 4975/8459 = 58%, 404 KB/s], Decompressed: 4697
Downloaded: 5016 file(s) [attempted 5016/8459 = 59%, 223 KB/s], Decompressed: 4841
Downloaded: 5061 file(s) [attempted 5061/8459 = 59%, 317 KB/s], Decompressed: 4841
Downloaded: 5095 file(s) [attempted 5095/8459 = 60%, 849 KB/s], Decompressed: 4841
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 36 KB/s], Decompressed: 4989
Downloaded: 5180 file(s) [attempted 5180/8459 = 61%, 321 KB/s], Decompressed: 4989
Downloaded: 5222 file(s) [attempted 5222/8459 = 61%, 78 KB/s], Decompressed: 4989
Downloaded: 5266 file(s) [attempted 5266/8459 = 62%, 294 KB/s], Decompressed: 5115
Downloaded: 5307 file(s) [attempted 5307/8459 = 62%, 79 KB/s], Decompressed: 5115
Downloaded: 5350 file(s) [attempted 5350/8459 = 63%, 670 KB/s], Decompressed: 5235
Downloaded: 5389 file(s) [attempted 5389/8459 = 63%, 75 KB/s], Decompressed: 5235
Downloaded: 5432 file(s) [attempted 5432/8459 = 64%, 66 KB/s], Decompressed: 5235
Downloaded: 5468 file(s) [attempted 5468/8459 = 64%, 575 KB/s], Decompressed: 5348
Downloaded: 5509 file(s) [attempted 5509/8459 = 65%, 360 KB/s], Decompressed: 5348
Downloaded: 5554 file(s) [attempted 5554/8459 = 65%, 464 KB/s], Decompressed: 5451
Downloaded: 5598 file(s) [attempted 5598/8459 = 66%, 1286 KB/s], Decompressed: 5451
Downloaded: 5636 file(s) [attempted 5636/8459 = 66%, 572 KB/s], Decompressed: 5451
Downloaded: 5677 file(s) [attempted 5677/8459 = 67%, 766 KB/s], Decompressed: 5554
Downloaded: 5722 file(s) [attempted 5722/8459 = 67%, 171 KB/s], Decompressed: 5554
Downloaded: 5763 file(s) [attempted 5763/8459 = 68%, 489 KB/s], Decompressed: 5653
Downloaded: 5807 file(s) [attempted 5807/8459 = 68%, 739 KB/s], Decompressed: 5653
Downloaded: 5848 file(s) [attempted 5848/8459 = 69%, 469 KB/s], Decompressed: 5752
Downloaded: 5893 file(s) [attempted 5893/8459 = 69%, 170 KB/s], Decompressed: 5752
Downloaded: 5931 file(s) [attempted 5931/8459 = 70%, 141 KB/s], Decompressed: 5752
Downloaded: 5968 file(s) [attempted 5968/8459 = 70%, 149 KB/s], Decompressed: 5848
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 244 KB/s], Decompressed: 5848
Downloaded: 6057 file(s) [attempted 6057/8459 = 71%, 106 KB/s], Decompressed: 5848
Downloaded: 6102 file(s) [attempted 6102/8459 = 72%, 73 KB/s], Decompressed: 5951
Downloaded: 6143 file(s) [attempted 6143/8459 = 72%, 1133 KB/s], Decompressed: 5951
Downloaded: 6184 file(s) [attempted 6184/8459 = 73%, 221 KB/s], Decompressed: 5951
Downloaded: 6222 file(s) [attempted 6222/8459 = 73%, 144 KB/s], Decompressed: 5951
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 4049 KB/s], Decompressed: 5951
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 83 KB/s], Decompressed: 5951
Downloaded: 6342 file(s) [attempted 6342/8459 = 74%, 61 KB/s], Decompressed: 6074
Downloaded: 6386 file(s) [attempted 6386/8459 = 75%, 115 KB/s], Decompressed: 6074
Downloaded: 6427 file(s) [attempted 6427/8459 = 75%, 295 KB/s], Decompressed: 6074
Downloaded: 6468 file(s) [attempted 6468/8459 = 76%, 133 KB/s], Decompressed: 6074
Downloaded: 6516 file(s) [attempted 6516/8459 = 77%, 527 KB/s], Decompressed: 6074
Downloaded: 6561 file(s) [attempted 6561/8459 = 77%, 134 KB/s], Decompressed: 6074
Downloaded: 6605 file(s) [attempted 6605/8459 = 78%, 212 KB/s], Decompressed: 6335
Downloaded: 6646 file(s) [attempted 6646/8459 = 78%, 490 KB/s], Decompressed: 6335
Downloaded: 6684 file(s) [attempted 6684/8459 = 79%, 155 KB/s], Decompressed: 6335
Downloaded: 6725 file(s) [attempted 6725/8459 = 79%, 178 KB/s], Decompressed: 6335
Downloaded: 6766 file(s) [attempted 6766/8459 = 79%, 107 KB/s], Decompressed: 6335
Downloaded: 6811 file(s) [attempted 6811/8459 = 80%, 354 KB/s], Decompressed: 6335
Downloaded: 6852 file(s) [attempted 6852/8459 = 81%, 302 KB/s], Decompressed: 6335
Downloaded: 6893 file(s) [attempted 6893/8459 = 81%, 227 KB/s], Decompressed: 6335
Downloaded: 6934 file(s) [attempted 6934/8459 = 81%, 191 KB/s], Decompressed: 6605
Downloaded: 6975 file(s) [attempted 6975/8459 = 82%, 740 KB/s], Decompressed: 6605
Downloaded: 7016 file(s) [attempted 7016/8459 = 82%, 270 KB/s], Decompressed: 6605
Downloaded: 7057 file(s) [attempted 7057/8459 = 83%, 96 KB/s], Decompressed: 6605
Downloaded: 7095 file(s) [attempted 7095/8459 = 83%, 207 KB/s], Decompressed: 6605
Downloaded: 7140 file(s) [attempted 7140/8459 = 84%, 104 KB/s], Decompressed: 6605
Downloaded: 7181 file(s) [attempted 7181/8459 = 84%, 1630 KB/s], Decompressed: 6605
Downloaded: 7222 file(s) [attempted 7222/8459 = 85%, 331 KB/s], Decompressed: 6934
Downloaded: 7263 file(s) [attempted 7263/8459 = 85%, 1029 KB/s], Decompressed: 6934
Downloaded: 7304 file(s) [attempted 7304/8459 = 86%, 27 KB/s], Decompressed: 6934
Downloaded: 7345 file(s) [attempted 7345/8459 = 86%, 51 KB/s], Decompressed: 6934
Downloaded: 7390 file(s) [attempted 7390/8459 = 87%, 69 KB/s], Decompressed: 6934
Downloaded: 7427 file(s) [attempted 7427/8459 = 87%, 112 KB/s], Decompressed: 6934
Downloaded: 7465 file(s) [attempted 7465/8459 = 88%, 1019 KB/s], Decompressed: 6934
Downloaded: 7506 file(s) [attempted 7506/8459 = 88%, 446 KB/s], Decompressed: 7215
Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 96 KB/s], Decompressed: 7215
Downloaded: 7595 file(s) [attempted 7595/8459 = 89%, 887 KB/s], Decompressed: 7215
Downloaded: 7636 file(s) [attempted 7636/8459 = 90%, 154 KB/s], Decompressed: 7215
Downloaded: 7677 file(s) [attempted 7677/8459 = 90%, 223 KB/s], Decompressed: 7215
Downloaded: 7715 file(s) [attempted 7715/8459 = 91%, 45 KB/s], Decompressed: 7215
Downloaded: 7756 file(s) [attempted 7756/8459 = 91%, 128 KB/s], Decompressed: 7215
Downloaded: 7797 file(s) [attempted 7797/8459 = 92%, 47 KB/s], Decompressed: 7492
Downloaded: 7835 file(s) [attempted 7835/8459 = 92%, 283 KB/s], Decompressed: 7492
Downloaded: 7876 file(s) [attempted 7876/8459 = 93%, 568 KB/s], Decompressed: 7492
Downloaded: 7921 file(s) [attempted 7921/8459 = 93%, 104 KB/s], Decompressed: 7492
Downloaded: 7965 file(s) [attempted 7965/8459 = 94%, 99 KB/s], Decompressed: 7492
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 160 KB/s], Decompressed: 7492
Downloaded: 8040 file(s) [attempted 8040/8459 = 95%, 823 KB/s], Decompressed: 7492
Downloaded: 8082 file(s) [attempted 8082/8459 = 95%, 38 KB/s], Decompressed: 7492
Downloaded: 8123 file(s) [attempted 8123/8459 = 96%, 74 KB/s], Decompressed: 7784
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 1396 KB/s], Decompressed: 7784
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 1041 KB/s], Decompressed: 7784
Downloaded: 8246 file(s) [attempted 8246/8459 = 97%, 103 KB/s], Decompressed: 7784
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 130 KB/s], Decompressed: 7784
Downloaded: 8335 file(s) [attempted 8335/8459 = 98%, 128 KB/s], Decompressed: 7784
Downloaded: 8386 file(s) [attempted 8386/8459 = 99%, 92 KB/s], Decompressed: 7784
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 36 KB/s], Decompressed: 7784
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 36 KB/s], Decompressed: 7784

apx-runtime-resource-v1	apx-verifier-job-1717-runtime-lake_cache-3642569-1787403875240269987-0	3825664	4337664	21474836480	0	0	0	0	0	0	598228992	5854187520	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/22/2026, 3:07:52 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (129s)
✔ [501/506] Built Iut.Foundations.SourceGameplanSpeciesMutation (101s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (169s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (119s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (137s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (74s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (93s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (110s)
✔ [790/794] Built Iut.Foundations.QualitativeData (153s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (295s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1316s)
✔ [3956/3961] Built Iut.Foundations.InitialThetaData (1357s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1509s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (435s)
✔ [3975/3984] Built Iut.Foundations.SourceTateCurve (347s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1717-runtime-lean_checker-3642569-1787404041885560415-1 on attempt 1

blueprint_buildexit 1duration 17s · created 8/22/2026, 3:07:52 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1717-runtime-blueprint_build-3642569-1787411253052493657-2	946176	1458176	21474836480	0	0	0	0	0	0	883068928	986968064	21474836480	0	0	0	0	0	0