Verification run

Run 1277

promachina/iut-leanbranch mastertriggered via poller

failedcommit 44f64ce1185dtoolchain 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-1726-source
exit_code=Some(128) duration_ms=242
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1726-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=3801
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1726-source'...


$ git checkout 44f64ce1185d83daa102e824b159cf6c4f5d65d2
exit_code=Some(0) duration_ms=288
stderr:
Note: switching to '44f64ce1185d83daa102e824b159cf6c4f5d65d2'.

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 44f64ce Merge pull request #965 from promachina/e23-3c-normalized-common-rho

Resolved source revision: 44f64ce1185d83daa102e824b159cf6c4f5d65d2

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=44f64ce1185d83daa102e824b159cf6c4f5d65d2 provenance={"branch":"master","checked_out_revision":"44f64ce1185d83daa102e824b159cf6c4f5d65d2","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"44f64ce1185d83daa102e824b159cf6c4f5d65d2","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=6238 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=147593
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 (1.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (127ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (162ms)
✔ [13/25] Built Cache.Lean:c.o (132ms)
✔ [15/25] Built Cache.Init (326ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (97ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (933ms)
✔ [20/25] Built Cache.Hashing:c.o (371ms)
✔ [21/25] Built Cache.Requests (25s)
✔ [22/25] Built Cache.Requests:c.o (2.8s)
✔ [23/25] Built Cache.Main (11s)
✔ [24/25] Built Cache.Main:c.o (519ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 20 file(s) [attempted 20/8459 = 0%, 3 KB/s], Decompressed: 11
Downloaded: 46 file(s) [attempted 46/8459 = 0%, 14 KB/s], Decompressed: 34
Downloaded: 71 file(s) [attempted 71/8459 = 0%, 188 KB/s], Decompressed: 46
Downloaded: 97 file(s) [attempted 97/8459 = 1%, 259 KB/s], Decompressed: 64
Downloaded: 131 file(s) [attempted 131/8459 = 1%, 354 KB/s], Decompressed: 81
Downloaded: 169 file(s) [attempted 169/8459 = 1%, 475 KB/s], Decompressed: 134
Downloaded: 203 file(s) [attempted 203/8459 = 2%, 161 KB/s], Decompressed: 134
Downloaded: 241 file(s) [attempted 241/8459 = 2%, 132 KB/s], Decompressed: 169
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 47 KB/s], Decompressed: 223
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 713 KB/s], Decompressed: 223
Downloaded: 354 file(s) [attempted 354/8459 = 4%, 979 KB/s], Decompressed: 278
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 191 KB/s], Decompressed: 278
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 530 KB/s], Decompressed: 347
Downloaded: 474 file(s) [attempted 474/8459 = 5%, 342 KB/s], Decompressed: 347
Downloaded: 515 file(s) [attempted 515/8459 = 6%, 810 KB/s], Decompressed: 415
Downloaded: 556 file(s) [attempted 556/8459 = 6%, 244 KB/s], Decompressed: 481
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 184 KB/s], Decompressed: 481
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 884 KB/s], Decompressed: 542
Downloaded: 676 file(s) [attempted 676/8459 = 7%, 107 KB/s], Decompressed: 542
Downloaded: 721 file(s) [attempted 721/8459 = 8%, 244 KB/s], Decompressed: 614
Downloaded: 762 file(s) [attempted 762/8459 = 9%, 145 KB/s], Decompressed: 614
Downloaded: 803 file(s) [attempted 803/8459 = 9%, 62 KB/s], Decompressed: 693
Downloaded: 844 file(s) [attempted 844/8459 = 9%, 22 KB/s], Decompressed: 693
Downloaded: 885 file(s) [attempted 885/8459 = 10%, 50 KB/s], Decompressed: 775
Downloaded: 930 file(s) [attempted 930/8459 = 10%, 476 KB/s], Decompressed: 775
Downloaded: 971 file(s) [attempted 971/8459 = 11%, 60 KB/s], Decompressed: 858
Downloaded: 1009 file(s) [attempted 1009/8459 = 11%, 350 KB/s], Decompressed: 858
Downloaded: 1053 file(s) [attempted 1053/8459 = 12%, 113 KB/s], Decompressed: 937
Downloaded: 1094 file(s) [attempted 1094/8459 = 12%, 575 KB/s], Decompressed: 937
Downloaded: 1135 file(s) [attempted 1135/8459 = 13%, 126 KB/s], Decompressed: 1036
Downloaded: 1176 file(s) [attempted 1176/8459 = 13%, 98 KB/s], Decompressed: 1036
Downloaded: 1217 file(s) [attempted 1217/8459 = 14%, 225 KB/s], Decompressed: 1036
Downloaded: 1259 file(s) [attempted 1259/8459 = 14%, 289 KB/s], Decompressed: 1132
Downloaded: 1300 file(s) [attempted 1300/8459 = 15%, 2040 KB/s], Decompressed: 1132
Downloaded: 1341 file(s) [attempted 1341/8459 = 15%, 308 KB/s], Decompressed: 1132
Downloaded: 1378 file(s) [attempted 1378/8459 = 16%, 35 KB/s], Decompressed: 1132
Downloaded: 1423 file(s) [attempted 1423/8459 = 16%, 187 KB/s], Decompressed: 1245
Downloaded: 1468 file(s) [attempted 1468/8459 = 17%, 155 KB/s], Decompressed: 1245
Downloaded: 1505 file(s) [attempted 1505/8459 = 17%, 857 KB/s], Decompressed: 1245
Downloaded: 1546 file(s) [attempted 1546/8459 = 18%, 242 KB/s], Decompressed: 1385
Downloaded: 1587 file(s) [attempted 1587/8459 = 18%, 182 KB/s], Decompressed: 1385
Downloaded: 1628 file(s) [attempted 1628/8459 = 19%, 197 KB/s], Decompressed: 1385
Downloaded: 1676 file(s) [attempted 1676/8459 = 19%, 276 KB/s], Decompressed: 1522
Downloaded: 1718 file(s) [attempted 1718/8459 = 20%, 251 KB/s], Decompressed: 1522
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 75 KB/s], Decompressed: 1522
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 37 KB/s], Decompressed: 1522
Downloaded: 1837 file(s) [attempted 1837/8459 = 21%, 399 KB/s], Decompressed: 1649
Downloaded: 1876 file(s) [attempted 1876/8459 = 22%, 449 KB/s], Decompressed: 1649
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 535 KB/s], Decompressed: 1649
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 81 KB/s], Decompressed: 1649
Downloaded: 1998 file(s) [attempted 1998/8459 = 23%, 124 KB/s], Decompressed: 1813
Downloaded: 2033 file(s) [attempted 2033/8459 = 24%, 707 KB/s], Decompressed: 1813
Downloaded: 2077 file(s) [attempted 2077/8459 = 24%, 107 KB/s], Decompressed: 1813
Downloaded: 2119 file(s) [attempted 2119/8459 = 25%, 116 KB/s], Decompressed: 1971
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 209 KB/s], Decompressed: 1971
Downloaded: 2207 file(s) [attempted 2207/8459 = 26%, 155 KB/s], Decompressed: 1971
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 904 KB/s], Decompressed: 1971
Downloaded: 2283 file(s) [attempted 2283/8459 = 26%, 816 KB/s], Decompressed: 2115
Downloaded: 2324 file(s) [attempted 2324/8459 = 27%, 318 KB/s], Decompressed: 2115
Downloaded: 2368 file(s) [attempted 2368/8459 = 27%, 136 KB/s], Decompressed: 2115
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 115 KB/s], Decompressed: 2115
Downloaded: 2463 file(s) [attempted 2463/8459 = 29%, 212 KB/s], Decompressed: 2272
Downloaded: 2502 file(s) [attempted 2502/8459 = 29%, 239 KB/s], Decompressed: 2272
Downloaded: 2536 file(s) [attempted 2536/8459 = 29%, 346 KB/s], Decompressed: 2272
Downloaded: 2570 file(s) [attempted 2570/8459 = 30%, 640 KB/s], Decompressed: 2272
Downloaded: 2618 file(s) [attempted 2618/8459 = 30%, 59 KB/s], Decompressed: 2272
Downloaded: 2666 file(s) [attempted 2666/8459 = 31%, 658 KB/s], Decompressed: 2461
Downloaded: 2711 file(s) [attempted 2711/8459 = 32%, 691 KB/s], Decompressed: 2461
Downloaded: 2749 file(s) [attempted 2749/8459 = 32%, 135 KB/s], Decompressed: 2461
Downloaded: 2790 file(s) [attempted 2790/8459 = 32%, 1833 KB/s], Decompressed: 2461
Downloaded: 2831 file(s) [attempted 2831/8459 = 33%, 1825 KB/s], Decompressed: 2461
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 768 KB/s], Decompressed: 2461
Downloaded: 2916 file(s) [attempted 2916/8459 = 34%, 50 KB/s], Decompressed: 2666
Downloaded: 2961 file(s) [attempted 2961/8459 = 35%, 320 KB/s], Decompressed: 2666
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 189 KB/s], Decompressed: 2666
Downloaded: 3040 file(s) [attempted 3040/8459 = 35%, 228 KB/s], Decompressed: 2666
Downloaded: 3084 file(s) [attempted 3084/8459 = 36%, 431 KB/s], Decompressed: 2666
Downloaded: 3125 file(s) [attempted 3125/8459 = 36%, 151 KB/s], Decompressed: 2896
Downloaded: 3166 file(s) [attempted 3166/8459 = 37%, 696 KB/s], Decompressed: 2896
Downloaded: 3202 file(s) [attempted 3202/8459 = 37%, 179 KB/s], Decompressed: 2896
Downloaded: 3245 file(s) [attempted 3245/8459 = 38%, 855 KB/s], Decompressed: 2896
Downloaded: 3283 file(s) [attempted 3283/8459 = 38%, 395 KB/s], Decompressed: 3091
Downloaded: 3327 file(s) [attempted 3327/8459 = 39%, 215 KB/s], Decompressed: 3091
Downloaded: 3368 file(s) [attempted 3368/8459 = 39%, 312 KB/s], Decompressed: 3091
Downloaded: 3406 file(s) [attempted 3406/8459 = 40%, 59 KB/s], Decompressed: 3259
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 476 KB/s], Decompressed: 3259
Downloaded: 3488 file(s) [attempted 3488/8459 = 41%, 186 KB/s], Decompressed: 3259
Downloaded: 3529 file(s) [attempted 3529/8459 = 41%, 128 KB/s], Decompressed: 3406
Downloaded: 3571 file(s) [attempted 3571/8459 = 42%, 359 KB/s], Decompressed: 3406
Downloaded: 3613 file(s) [attempted 3613/8459 = 42%, 595 KB/s], Decompressed: 3406
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 607 KB/s], Decompressed: 3529
Downloaded: 3697 file(s) [attempted 3697/8459 = 43%, 231 KB/s], Decompressed: 3529
Downloaded: 3735 file(s) [attempted 3735/8459 = 44%, 233 KB/s], Decompressed: 3529
Downloaded: 3776 file(s) [attempted 3776/8459 = 44%, 175 KB/s], Decompressed: 3649
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 380 KB/s], Decompressed: 3649
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 837 KB/s], Decompressed: 3752
Downloaded: 3910 file(s) [attempted 3910/8459 = 46%, 122 KB/s], Decompressed: 3752
Downloaded: 3951 file(s) [attempted 3951/8459 = 46%, 360 KB/s], Decompressed: 3752
Downloaded: 3992 file(s) [attempted 3992/8459 = 47%, 194 KB/s], Decompressed: 3862
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 495 KB/s], Decompressed: 3862
Downloaded: 4064 file(s) [attempted 4064/8459 = 48%, 293 KB/s], Decompressed: 3964
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 466 KB/s], Decompressed: 3964
Downloaded: 4153 file(s) [attempted 4153/8459 = 49%, 42 KB/s], Decompressed: 3964
Downloaded: 4194 file(s) [attempted 4194/8459 = 49%, 411 KB/s], Decompressed: 4054
Downloaded: 4235 file(s) [attempted 4235/8459 = 50%, 84 KB/s], Decompressed: 4054
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 75 KB/s], Decompressed: 4156
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 831 KB/s], Decompressed: 4156
Downloaded: 4355 file(s) [attempted 4355/8459 = 51%, 358 KB/s], Decompressed: 4156
Downloaded: 4396 file(s) [attempted 4396/8459 = 51%, 219 KB/s], Decompressed: 4252
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 710 KB/s], Decompressed: 4252
Downloaded: 4475 file(s) [attempted 4475/8459 = 52%, 83 KB/s], Decompressed: 4252
Downloaded: 4513 file(s) [attempted 4513/8459 = 53%, 293 KB/s], Decompressed: 4252
Downloaded: 4557 file(s) [attempted 4557/8459 = 53%, 1034 KB/s], Decompressed: 4369
Downloaded: 4591 file(s) [attempted 4591/8459 = 54%, 102 KB/s], Decompressed: 4369
Downloaded: 4629 file(s) [attempted 4629/8459 = 54%, 1145 KB/s], Decompressed: 4369
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 673 KB/s], Decompressed: 4523
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 366 KB/s], Decompressed: 4523
Downloaded: 4756 file(s) [attempted 4756/8459 = 56%, 89 KB/s], Decompressed: 4523
Downloaded: 4797 file(s) [attempted 4797/8459 = 56%, 287 KB/s], Decompressed: 4663
Downloaded: 4838 file(s) [attempted 4838/8459 = 57%, 187 KB/s], Decompressed: 4663
Downloaded: 4882 file(s) [attempted 4882/8459 = 57%, 142 KB/s], Decompressed: 4663
Downloaded: 4927 file(s) [attempted 4927/8459 = 58%, 152 KB/s], Decompressed: 4787
Downloaded: 4965 file(s) [attempted 4965/8459 = 58%, 316 KB/s], Decompressed: 4787
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 66 KB/s], Decompressed: 4787
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 229 KB/s], Decompressed: 4910
Downloaded: 5091 file(s) [attempted 5091/8459 = 60%, 200 KB/s], Decompressed: 4910
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 63 KB/s], Decompressed: 5026
Downloaded: 5180 file(s) [attempted 5180/8459 = 61%, 103 KB/s], Decompressed: 5026
Downloaded: 5218 file(s) [attempted 5218/8459 = 61%, 65 KB/s], Decompressed: 5026
Downloaded: 5256 file(s) [attempted 5256/8459 = 62%, 92 KB/s], Decompressed: 5139
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 61 KB/s], Decompressed: 5139
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 287 KB/s], Decompressed: 5139
Downloaded: 5383 file(s) [attempted 5383/8459 = 63%, 785 KB/s], Decompressed: 5252
Downloaded: 5426 file(s) [attempted 5426/8459 = 64%, 262 KB/s], Decompressed: 5252
Downloaded: 5461 file(s) [attempted 5461/8459 = 64%, 67 KB/s], Decompressed: 5355
Downloaded: 5502 file(s) [attempted 5502/8459 = 65%, 299 KB/s], Decompressed: 5355
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 71 KB/s], Decompressed: 5454
Downloaded: 5585 file(s) [attempted 5585/8459 = 66%, 45 KB/s], Decompressed: 5454
Downloaded: 5629 file(s) [attempted 5629/8459 = 66%, 1462 KB/s], Decompressed: 5540
Downloaded: 5670 file(s) [attempted 5670/8459 = 67%, 456 KB/s], Decompressed: 5540
Downloaded: 5705 file(s) [attempted 5705/8459 = 67%, 192 KB/s], Decompressed: 5622
Downloaded: 5746 file(s) [attempted 5746/8459 = 67%, 379 KB/s], Decompressed: 5622
Downloaded: 5790 file(s) [attempted 5790/8459 = 68%, 1372 KB/s], Decompressed: 5701
Downloaded: 5831 file(s) [attempted 5831/8459 = 68%, 90 KB/s], Decompressed: 5701
Downloaded: 5876 file(s) [attempted 5876/8459 = 69%, 153 KB/s], Decompressed: 5780
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 116 KB/s], Decompressed: 5780
Downloaded: 5958 file(s) [attempted 5958/8459 = 70%, 83 KB/s], Decompressed: 5865
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 55 KB/s], Decompressed: 5865
Downloaded: 6037 file(s) [attempted 6037/8459 = 71%, 61 KB/s], Decompressed: 5937
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 224 KB/s], Decompressed: 5937
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 88 KB/s], Decompressed: 5937
Downloaded: 6163 file(s) [attempted 6163/8459 = 72%, 69 KB/s], Decompressed: 5937
Downloaded: 6201 file(s) [attempted 6201/8459 = 73%, 257 KB/s], Decompressed: 6016
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 74 KB/s], Decompressed: 6016
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 126 KB/s], Decompressed: 6016
Downloaded: 6321 file(s) [attempted 6321/8459 = 74%, 542 KB/s], Decompressed: 6016
Downloaded: 6366 file(s) [attempted 6366/8459 = 75%, 241 KB/s], Decompressed: 6016
Downloaded: 6400 file(s) [attempted 6400/8459 = 75%, 106 KB/s], Decompressed: 6177
Downloaded: 6444 file(s) [attempted 6444/8459 = 76%, 224 KB/s], Decompressed: 6177
Downloaded: 6485 file(s) [attempted 6485/8459 = 76%, 70 KB/s], Decompressed: 6177
Downloaded: 6527 file(s) [attempted 6527/8459 = 77%, 476 KB/s], Decompressed: 6177
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 157 KB/s], Decompressed: 6177
Downloaded: 6609 file(s) [attempted 6609/8459 = 78%, 162 KB/s], Decompressed: 6177
Downloaded: 6646 file(s) [attempted 6646/8459 = 78%, 25 KB/s], Decompressed: 6177
Downloaded: 6688 file(s) [attempted 6688/8459 = 79%, 103 KB/s], Decompressed: 6393
Downloaded: 6729 file(s) [attempted 6729/8459 = 79%, 33 KB/s], Decompressed: 6393
Downloaded: 6773 file(s) [attempted 6773/8459 = 80%, 302 KB/s], Decompressed: 6393
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 875 KB/s], Decompressed: 6393
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 150 KB/s], Decompressed: 6393
Downloaded: 6900 file(s) [attempted 6900/8459 = 81%, 527 KB/s], Decompressed: 6393
Downloaded: 6944 file(s) [attempted 6944/8459 = 82%, 176 KB/s], Decompressed: 6675
Downloaded: 6982 file(s) [attempted 6982/8459 = 82%, 375 KB/s], Decompressed: 6675
Downloaded: 7027 file(s) [attempted 7027/8459 = 83%, 401 KB/s], Decompressed: 6675
Downloaded: 7071 file(s) [attempted 7071/8459 = 83%, 143 KB/s], Decompressed: 6675
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 626 KB/s], Decompressed: 6675
Downloaded: 7153 file(s) [attempted 7153/8459 = 84%, 42 KB/s], Decompressed: 6675
Downloaded: 7188 file(s) [attempted 7188/8459 = 84%, 1232 KB/s], Decompressed: 6944
Downloaded: 7229 file(s) [attempted 7229/8459 = 85%, 152 KB/s], Decompressed: 6944
Downloaded: 7273 file(s) [attempted 7273/8459 = 85%, 39 KB/s], Decompressed: 6944
Downloaded: 7318 file(s) [attempted 7318/8459 = 86%, 197 KB/s], Decompressed: 6944
Downloaded: 7359 file(s) [attempted 7359/8459 = 86%, 166 KB/s], Decompressed: 6944
Downloaded: 7403 file(s) [attempted 7403/8459 = 87%, 289 KB/s], Decompressed: 7184
Downloaded: 7444 file(s) [attempted 7444/8459 = 88%, 127 KB/s], Decompressed: 7184
Downloaded: 7483 file(s) [attempted 7483/8459 = 88%, 135 KB/s], Decompressed: 7184
Downloaded: 7523 file(s) [attempted 7523/8459 = 88%, 340 KB/s], Decompressed: 7184
Downloaded: 7568 file(s) [attempted 7568/8459 = 89%, 269 KB/s], Decompressed: 7184
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 46 KB/s], Decompressed: 7403
Downloaded: 7650 file(s) [attempted 7650/8459 = 90%, 109 KB/s], Decompressed: 7403
Downloaded: 7684 file(s) [attempted 7684/8459 = 90%, 50 KB/s], Decompressed: 7403
Downloaded: 7729 file(s) [attempted 7729/8459 = 91%, 141 KB/s], Decompressed: 7403
Downloaded: 7770 file(s) [attempted 7770/8459 = 91%, 519 KB/s], Decompressed: 7403
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 50 KB/s], Decompressed: 7595
Downloaded: 7845 file(s) [attempted 7845/8459 = 92%, 50 KB/s], Decompressed: 7595
Downloaded: 7886 file(s) [attempted 7886/8459 = 93%, 871 KB/s], Decompressed: 7595
Downloaded: 7927 file(s) [attempted 7927/8459 = 93%, 603 KB/s], Decompressed: 7595
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 402 KB/s], Decompressed: 7773
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 3614 KB/s], Decompressed: 7773
Downloaded: 8040 file(s) [attempted 8040/8459 = 95%, 29 KB/s], Decompressed: 7773
Downloaded: 8088 file(s) [attempted 8088/8459 = 95%, 143 KB/s], Decompressed: 7773
Downloaded: 8133 file(s) [attempted 8133/8459 = 96%, 470 KB/s], Decompressed: 7773
Downloaded: 8177 file(s) [attempted 8177/8459 = 96%, 98 KB/s], Decompressed: 7773
Downloaded: 8222 file(s) [attempted 8222/8459 = 97%, 81 KB/s], Decompressed: 7941
Downloaded: 8260 file(s) [attempted 8260/8459 = 97%, 117 KB/s], Decompressed: 7941
Downloaded: 8301 file(s) [attempted 8301/8459 = 98%, 66 KB/s], Decompressed: 7941
Downloaded: 8342 file(s) [attempted 8342/8459 = 98%, 814 KB/s], Decompressed: 7941
Downloaded: 8383 file(s) [attempted 8383/8459 = 99%, 57 KB/s], Decompressed: 7941
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 202 KB/s], Decompressed: 7941
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 105 KB/s], Decompressed: 7941
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 105 KB/s], Decompressed: 7941

apx-runtime-resource-v1	apx-verifier-job-1726-runtime-lake_cache-3932023-1787591265715801590-0	3956736	4100096	21474836480	0	0	0	0	0	0	640876544	5683859456	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200008
stdout:
✔ [500/502] Built Iut.Foundations.Species (106s)
✔ [501/505] Built Iut.Foundations.SourceGameplanSpeciesMutation (44s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (101s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (126s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (171s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (87s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (111s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (93s)
✔ [790/794] Built Iut.Foundations.QualitativeData (79s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (321s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1296s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (2349s)
✔ [3963/3966] Built Iut.Foundations.OrbicurvePullback (1949s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1726-runtime-lean_checker-3932023-1787591413315510519-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1726-runtime-blueprint_build-3932023-1787598613969168219-2	1155072	1298432	21474836480	0	0	0	0	0	0	793870336	893337600	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 242 ms · created 8/24/2026, 7:11:31 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1726-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/24/2026, 7:11:31 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 288 ms · created 8/24/2026, 7:11:31 PM

git checkout 44f64ce1185d83daa102e824b159cf6c4f5d65d2

Note: switching to '44f64ce1185d83daa102e824b159cf6c4f5d65d2'.

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 44f64ce Merge pull request #965 from promachina/e23-3c-normalized-common-rho

lake_cacheexit 0duration 2m 28s · created 8/24/2026, 7:11:31 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 (1.0s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (127ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (162ms)
✔ [13/25] Built Cache.Lean:c.o (132ms)
✔ [15/25] Built Cache.Init (326ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (97ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (933ms)
✔ [20/25] Built Cache.Hashing:c.o (371ms)
✔ [21/25] Built Cache.Requests (25s)
✔ [22/25] Built Cache.Requests:c.o (2.8s)
✔ [23/25] Built Cache.Main (11s)
✔ [24/25] Built Cache.Main:c.o (519ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 20 file(s) [attempted 20/8459 = 0%, 3 KB/s], Decompressed: 11
Downloaded: 46 file(s) [attempted 46/8459 = 0%, 14 KB/s], Decompressed: 34
Downloaded: 71 file(s) [attempted 71/8459 = 0%, 188 KB/s], Decompressed: 46
Downloaded: 97 file(s) [attempted 97/8459 = 1%, 259 KB/s], Decompressed: 64
Downloaded: 131 file(s) [attempted 131/8459 = 1%, 354 KB/s], Decompressed: 81
Downloaded: 169 file(s) [attempted 169/8459 = 1%, 475 KB/s], Decompressed: 134
Downloaded: 203 file(s) [attempted 203/8459 = 2%, 161 KB/s], Decompressed: 134
Downloaded: 241 file(s) [attempted 241/8459 = 2%, 132 KB/s], Decompressed: 169
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 47 KB/s], Decompressed: 223
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 713 KB/s], Decompressed: 223
Downloaded: 354 file(s) [attempted 354/8459 = 4%, 979 KB/s], Decompressed: 278
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 191 KB/s], Decompressed: 278
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 530 KB/s], Decompressed: 347
Downloaded: 474 file(s) [attempted 474/8459 = 5%, 342 KB/s], Decompressed: 347
Downloaded: 515 file(s) [attempted 515/8459 = 6%, 810 KB/s], Decompressed: 415
Downloaded: 556 file(s) [attempted 556/8459 = 6%, 244 KB/s], Decompressed: 481
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 184 KB/s], Decompressed: 481
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 884 KB/s], Decompressed: 542
Downloaded: 676 file(s) [attempted 676/8459 = 7%, 107 KB/s], Decompressed: 542
Downloaded: 721 file(s) [attempted 721/8459 = 8%, 244 KB/s], Decompressed: 614
Downloaded: 762 file(s) [attempted 762/8459 = 9%, 145 KB/s], Decompressed: 614
Downloaded: 803 file(s) [attempted 803/8459 = 9%, 62 KB/s], Decompressed: 693
Downloaded: 844 file(s) [attempted 844/8459 = 9%, 22 KB/s], Decompressed: 693
Downloaded: 885 file(s) [attempted 885/8459 = 10%, 50 KB/s], Decompressed: 775
Downloaded: 930 file(s) [attempted 930/8459 = 10%, 476 KB/s], Decompressed: 775
Downloaded: 971 file(s) [attempted 971/8459 = 11%, 60 KB/s], Decompressed: 858
Downloaded: 1009 file(s) [attempted 1009/8459 = 11%, 350 KB/s], Decompressed: 858
Downloaded: 1053 file(s) [attempted 1053/8459 = 12%, 113 KB/s], Decompressed: 937
Downloaded: 1094 file(s) [attempted 1094/8459 = 12%, 575 KB/s], Decompressed: 937
Downloaded: 1135 file(s) [attempted 1135/8459 = 13%, 126 KB/s], Decompressed: 1036
Downloaded: 1176 file(s) [attempted 1176/8459 = 13%, 98 KB/s], Decompressed: 1036
Downloaded: 1217 file(s) [attempted 1217/8459 = 14%, 225 KB/s], Decompressed: 1036
Downloaded: 1259 file(s) [attempted 1259/8459 = 14%, 289 KB/s], Decompressed: 1132
Downloaded: 1300 file(s) [attempted 1300/8459 = 15%, 2040 KB/s], Decompressed: 1132
Downloaded: 1341 file(s) [attempted 1341/8459 = 15%, 308 KB/s], Decompressed: 1132
Downloaded: 1378 file(s) [attempted 1378/8459 = 16%, 35 KB/s], Decompressed: 1132
Downloaded: 1423 file(s) [attempted 1423/8459 = 16%, 187 KB/s], Decompressed: 1245
Downloaded: 1468 file(s) [attempted 1468/8459 = 17%, 155 KB/s], Decompressed: 1245
Downloaded: 1505 file(s) [attempted 1505/8459 = 17%, 857 KB/s], Decompressed: 1245
Downloaded: 1546 file(s) [attempted 1546/8459 = 18%, 242 KB/s], Decompressed: 1385
Downloaded: 1587 file(s) [attempted 1587/8459 = 18%, 182 KB/s], Decompressed: 1385
Downloaded: 1628 file(s) [attempted 1628/8459 = 19%, 197 KB/s], Decompressed: 1385
Downloaded: 1676 file(s) [attempted 1676/8459 = 19%, 276 KB/s], Decompressed: 1522
Downloaded: 1718 file(s) [attempted 1718/8459 = 20%, 251 KB/s], Decompressed: 1522
Downloaded: 1755 file(s) [attempted 1755/8459 = 20%, 75 KB/s], Decompressed: 1522
Downloaded: 1796 file(s) [attempted 1796/8459 = 21%, 37 KB/s], Decompressed: 1522
Downloaded: 1837 file(s) [attempted 1837/8459 = 21%, 399 KB/s], Decompressed: 1649
Downloaded: 1876 file(s) [attempted 1876/8459 = 22%, 449 KB/s], Decompressed: 1649
Downloaded: 1916 file(s) [attempted 1916/8459 = 22%, 535 KB/s], Decompressed: 1649
Downloaded: 1957 file(s) [attempted 1957/8459 = 23%, 81 KB/s], Decompressed: 1649
Downloaded: 1998 file(s) [attempted 1998/8459 = 23%, 124 KB/s], Decompressed: 1813
Downloaded: 2033 file(s) [attempted 2033/8459 = 24%, 707 KB/s], Decompressed: 1813
Downloaded: 2077 file(s) [attempted 2077/8459 = 24%, 107 KB/s], Decompressed: 1813
Downloaded: 2119 file(s) [attempted 2119/8459 = 25%, 116 KB/s], Decompressed: 1971
Downloaded: 2163 file(s) [attempted 2163/8459 = 25%, 209 KB/s], Decompressed: 1971
Downloaded: 2207 file(s) [attempted 2207/8459 = 26%, 155 KB/s], Decompressed: 1971
Downloaded: 2248 file(s) [attempted 2248/8459 = 26%, 904 KB/s], Decompressed: 1971
Downloaded: 2283 file(s) [attempted 2283/8459 = 26%, 816 KB/s], Decompressed: 2115
Downloaded: 2324 file(s) [attempted 2324/8459 = 27%, 318 KB/s], Decompressed: 2115
Downloaded: 2368 file(s) [attempted 2368/8459 = 27%, 136 KB/s], Decompressed: 2115
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 115 KB/s], Decompressed: 2115
Downloaded: 2463 file(s) [attempted 2463/8459 = 29%, 212 KB/s], Decompressed: 2272
Downloaded: 2502 file(s) [attempted 2502/8459 = 29%, 239 KB/s], Decompressed: 2272
Downloaded: 2536 file(s) [attempted 2536/8459 = 29%, 346 KB/s], Decompressed: 2272
Downloaded: 2570 file(s) [attempted 2570/8459 = 30%, 640 KB/s], Decompressed: 2272
Downloaded: 2618 file(s) [attempted 2618/8459 = 30%, 59 KB/s], Decompressed: 2272
Downloaded: 2666 file(s) [attempted 2666/8459 = 31%, 658 KB/s], Decompressed: 2461
Downloaded: 2711 file(s) [attempted 2711/8459 = 32%, 691 KB/s], Decompressed: 2461
Downloaded: 2749 file(s) [attempted 2749/8459 = 32%, 135 KB/s], Decompressed: 2461
Downloaded: 2790 file(s) [attempted 2790/8459 = 32%, 1833 KB/s], Decompressed: 2461
Downloaded: 2831 file(s) [attempted 2831/8459 = 33%, 1825 KB/s], Decompressed: 2461
Downloaded: 2868 file(s) [attempted 2868/8459 = 33%, 768 KB/s], Decompressed: 2461
Downloaded: 2916 file(s) [attempted 2916/8459 = 34%, 50 KB/s], Decompressed: 2666
Downloaded: 2961 file(s) [attempted 2961/8459 = 35%, 320 KB/s], Decompressed: 2666
Downloaded: 2995 file(s) [attempted 2995/8459 = 35%, 189 KB/s], Decompressed: 2666
Downloaded: 3040 file(s) [attempted 3040/8459 = 35%, 228 KB/s], Decompressed: 2666
Downloaded: 3084 file(s) [attempted 3084/8459 = 36%, 431 KB/s], Decompressed: 2666
Downloaded: 3125 file(s) [attempted 3125/8459 = 36%, 151 KB/s], Decompressed: 2896
Downloaded: 3166 file(s) [attempted 3166/8459 = 37%, 696 KB/s], Decompressed: 2896
Downloaded: 3202 file(s) [attempted 3202/8459 = 37%, 179 KB/s], Decompressed: 2896
Downloaded: 3245 file(s) [attempted 3245/8459 = 38%, 855 KB/s], Decompressed: 2896
Downloaded: 3283 file(s) [attempted 3283/8459 = 38%, 395 KB/s], Decompressed: 3091
Downloaded: 3327 file(s) [attempted 3327/8459 = 39%, 215 KB/s], Decompressed: 3091
Downloaded: 3368 file(s) [attempted 3368/8459 = 39%, 312 KB/s], Decompressed: 3091
Downloaded: 3406 file(s) [attempted 3406/8459 = 40%, 59 KB/s], Decompressed: 3259
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 476 KB/s], Decompressed: 3259
Downloaded: 3488 file(s) [attempted 3488/8459 = 41%, 186 KB/s], Decompressed: 3259
Downloaded: 3529 file(s) [attempted 3529/8459 = 41%, 128 KB/s], Decompressed: 3406
Downloaded: 3571 file(s) [attempted 3571/8459 = 42%, 359 KB/s], Decompressed: 3406
Downloaded: 3613 file(s) [attempted 3613/8459 = 42%, 595 KB/s], Decompressed: 3406
Downloaded: 3656 file(s) [attempted 3656/8459 = 43%, 607 KB/s], Decompressed: 3529
Downloaded: 3697 file(s) [attempted 3697/8459 = 43%, 231 KB/s], Decompressed: 3529
Downloaded: 3735 file(s) [attempted 3735/8459 = 44%, 233 KB/s], Decompressed: 3529
Downloaded: 3776 file(s) [attempted 3776/8459 = 44%, 175 KB/s], Decompressed: 3649
Downloaded: 3817 file(s) [attempted 3817/8459 = 45%, 380 KB/s], Decompressed: 3649
Downloaded: 3862 file(s) [attempted 3862/8459 = 45%, 837 KB/s], Decompressed: 3752
Downloaded: 3910 file(s) [attempted 3910/8459 = 46%, 122 KB/s], Decompressed: 3752
Downloaded: 3951 file(s) [attempted 3951/8459 = 46%, 360 KB/s], Decompressed: 3752
Downloaded: 3992 file(s) [attempted 3992/8459 = 47%, 194 KB/s], Decompressed: 3862
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 495 KB/s], Decompressed: 3862
Downloaded: 4064 file(s) [attempted 4064/8459 = 48%, 293 KB/s], Decompressed: 3964
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 466 KB/s], Decompressed: 3964
Downloaded: 4153 file(s) [attempted 4153/8459 = 49%, 42 KB/s], Decompressed: 3964
Downloaded: 4194 file(s) [attempted 4194/8459 = 49%, 411 KB/s], Decompressed: 4054
Downloaded: 4235 file(s) [attempted 4235/8459 = 50%, 84 KB/s], Decompressed: 4054
Downloaded: 4276 file(s) [attempted 4276/8459 = 50%, 75 KB/s], Decompressed: 4156
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 831 KB/s], Decompressed: 4156
Downloaded: 4355 file(s) [attempted 4355/8459 = 51%, 358 KB/s], Decompressed: 4156
Downloaded: 4396 file(s) [attempted 4396/8459 = 51%, 219 KB/s], Decompressed: 4252
Downloaded: 4437 file(s) [attempted 4437/8459 = 52%, 710 KB/s], Decompressed: 4252
Downloaded: 4475 file(s) [attempted 4475/8459 = 52%, 83 KB/s], Decompressed: 4252
Downloaded: 4513 file(s) [attempted 4513/8459 = 53%, 293 KB/s], Decompressed: 4252
Downloaded: 4557 file(s) [attempted 4557/8459 = 53%, 1034 KB/s], Decompressed: 4369
Downloaded: 4591 file(s) [attempted 4591/8459 = 54%, 102 KB/s], Decompressed: 4369
Downloaded: 4629 file(s) [attempted 4629/8459 = 54%, 1145 KB/s], Decompressed: 4369
Downloaded: 4673 file(s) [attempted 4673/8459 = 55%, 673 KB/s], Decompressed: 4523
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 366 KB/s], Decompressed: 4523
Downloaded: 4756 file(s) [attempted 4756/8459 = 56%, 89 KB/s], Decompressed: 4523
Downloaded: 4797 file(s) [attempted 4797/8459 = 56%, 287 KB/s], Decompressed: 4663
Downloaded: 4838 file(s) [attempted 4838/8459 = 57%, 187 KB/s], Decompressed: 4663
Downloaded: 4882 file(s) [attempted 4882/8459 = 57%, 142 KB/s], Decompressed: 4663
Downloaded: 4927 file(s) [attempted 4927/8459 = 58%, 152 KB/s], Decompressed: 4787
Downloaded: 4965 file(s) [attempted 4965/8459 = 58%, 316 KB/s], Decompressed: 4787
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 66 KB/s], Decompressed: 4787
Downloaded: 5043 file(s) [attempted 5043/8459 = 59%, 229 KB/s], Decompressed: 4910
Downloaded: 5091 file(s) [attempted 5091/8459 = 60%, 200 KB/s], Decompressed: 4910
Downloaded: 5139 file(s) [attempted 5139/8459 = 60%, 63 KB/s], Decompressed: 5026
Downloaded: 5180 file(s) [attempted 5180/8459 = 61%, 103 KB/s], Decompressed: 5026
Downloaded: 5218 file(s) [attempted 5218/8459 = 61%, 65 KB/s], Decompressed: 5026
Downloaded: 5256 file(s) [attempted 5256/8459 = 62%, 92 KB/s], Decompressed: 5139
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 61 KB/s], Decompressed: 5139
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 287 KB/s], Decompressed: 5139
Downloaded: 5383 file(s) [attempted 5383/8459 = 63%, 785 KB/s], Decompressed: 5252
Downloaded: 5426 file(s) [attempted 5426/8459 = 64%, 262 KB/s], Decompressed: 5252
Downloaded: 5461 file(s) [attempted 5461/8459 = 64%, 67 KB/s], Decompressed: 5355
Downloaded: 5502 file(s) [attempted 5502/8459 = 65%, 299 KB/s], Decompressed: 5355
Downloaded: 5544 file(s) [attempted 5544/8459 = 65%, 71 KB/s], Decompressed: 5454
Downloaded: 5585 file(s) [attempted 5585/8459 = 66%, 45 KB/s], Decompressed: 5454
Downloaded: 5629 file(s) [attempted 5629/8459 = 66%, 1462 KB/s], Decompressed: 5540
Downloaded: 5670 file(s) [attempted 5670/8459 = 67%, 456 KB/s], Decompressed: 5540
Downloaded: 5705 file(s) [attempted 5705/8459 = 67%, 192 KB/s], Decompressed: 5622
Downloaded: 5746 file(s) [attempted 5746/8459 = 67%, 379 KB/s], Decompressed: 5622
Downloaded: 5790 file(s) [attempted 5790/8459 = 68%, 1372 KB/s], Decompressed: 5701
Downloaded: 5831 file(s) [attempted 5831/8459 = 68%, 90 KB/s], Decompressed: 5701
Downloaded: 5876 file(s) [attempted 5876/8459 = 69%, 153 KB/s], Decompressed: 5780
Downloaded: 5920 file(s) [attempted 5920/8459 = 69%, 116 KB/s], Decompressed: 5780
Downloaded: 5958 file(s) [attempted 5958/8459 = 70%, 83 KB/s], Decompressed: 5865
Downloaded: 5999 file(s) [attempted 5999/8459 = 70%, 55 KB/s], Decompressed: 5865
Downloaded: 6037 file(s) [attempted 6037/8459 = 71%, 61 KB/s], Decompressed: 5937
Downloaded: 6081 file(s) [attempted 6081/8459 = 71%, 224 KB/s], Decompressed: 5937
Downloaded: 6126 file(s) [attempted 6126/8459 = 72%, 88 KB/s], Decompressed: 5937
Downloaded: 6163 file(s) [attempted 6163/8459 = 72%, 69 KB/s], Decompressed: 5937
Downloaded: 6201 file(s) [attempted 6201/8459 = 73%, 257 KB/s], Decompressed: 6016
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 74 KB/s], Decompressed: 6016
Downloaded: 6283 file(s) [attempted 6283/8459 = 74%, 126 KB/s], Decompressed: 6016
Downloaded: 6321 file(s) [attempted 6321/8459 = 74%, 542 KB/s], Decompressed: 6016
Downloaded: 6366 file(s) [attempted 6366/8459 = 75%, 241 KB/s], Decompressed: 6016
Downloaded: 6400 file(s) [attempted 6400/8459 = 75%, 106 KB/s], Decompressed: 6177
Downloaded: 6444 file(s) [attempted 6444/8459 = 76%, 224 KB/s], Decompressed: 6177
Downloaded: 6485 file(s) [attempted 6485/8459 = 76%, 70 KB/s], Decompressed: 6177
Downloaded: 6527 file(s) [attempted 6527/8459 = 77%, 476 KB/s], Decompressed: 6177
Downloaded: 6568 file(s) [attempted 6568/8459 = 77%, 157 KB/s], Decompressed: 6177
Downloaded: 6609 file(s) [attempted 6609/8459 = 78%, 162 KB/s], Decompressed: 6177
Downloaded: 6646 file(s) [attempted 6646/8459 = 78%, 25 KB/s], Decompressed: 6177
Downloaded: 6688 file(s) [attempted 6688/8459 = 79%, 103 KB/s], Decompressed: 6393
Downloaded: 6729 file(s) [attempted 6729/8459 = 79%, 33 KB/s], Decompressed: 6393
Downloaded: 6773 file(s) [attempted 6773/8459 = 80%, 302 KB/s], Decompressed: 6393
Downloaded: 6821 file(s) [attempted 6821/8459 = 80%, 875 KB/s], Decompressed: 6393
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 150 KB/s], Decompressed: 6393
Downloaded: 6900 file(s) [attempted 6900/8459 = 81%, 527 KB/s], Decompressed: 6393
Downloaded: 6944 file(s) [attempted 6944/8459 = 82%, 176 KB/s], Decompressed: 6675
Downloaded: 6982 file(s) [attempted 6982/8459 = 82%, 375 KB/s], Decompressed: 6675
Downloaded: 7027 file(s) [attempted 7027/8459 = 83%, 401 KB/s], Decompressed: 6675
Downloaded: 7071 file(s) [attempted 7071/8459 = 83%, 143 KB/s], Decompressed: 6675
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 626 KB/s], Decompressed: 6675
Downloaded: 7153 file(s) [attempted 7153/8459 = 84%, 42 KB/s], Decompressed: 6675
Downloaded: 7188 file(s) [attempted 7188/8459 = 84%, 1232 KB/s], Decompressed: 6944
Downloaded: 7229 file(s) [attempted 7229/8459 = 85%, 152 KB/s], Decompressed: 6944
Downloaded: 7273 file(s) [attempted 7273/8459 = 85%, 39 KB/s], Decompressed: 6944
Downloaded: 7318 file(s) [attempted 7318/8459 = 86%, 197 KB/s], Decompressed: 6944
Downloaded: 7359 file(s) [attempted 7359/8459 = 86%, 166 KB/s], Decompressed: 6944
Downloaded: 7403 file(s) [attempted 7403/8459 = 87%, 289 KB/s], Decompressed: 7184
Downloaded: 7444 file(s) [attempted 7444/8459 = 88%, 127 KB/s], Decompressed: 7184
Downloaded: 7483 file(s) [attempted 7483/8459 = 88%, 135 KB/s], Decompressed: 7184
Downloaded: 7523 file(s) [attempted 7523/8459 = 88%, 340 KB/s], Decompressed: 7184
Downloaded: 7568 file(s) [attempted 7568/8459 = 89%, 269 KB/s], Decompressed: 7184
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 46 KB/s], Decompressed: 7403
Downloaded: 7650 file(s) [attempted 7650/8459 = 90%, 109 KB/s], Decompressed: 7403
Downloaded: 7684 file(s) [attempted 7684/8459 = 90%, 50 KB/s], Decompressed: 7403
Downloaded: 7729 file(s) [attempted 7729/8459 = 91%, 141 KB/s], Decompressed: 7403
Downloaded: 7770 file(s) [attempted 7770/8459 = 91%, 519 KB/s], Decompressed: 7403
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 50 KB/s], Decompressed: 7595
Downloaded: 7845 file(s) [attempted 7845/8459 = 92%, 50 KB/s], Decompressed: 7595
Downloaded: 7886 file(s) [attempted 7886/8459 = 93%, 871 KB/s], Decompressed: 7595
Downloaded: 7927 file(s) [attempted 7927/8459 = 93%, 603 KB/s], Decompressed: 7595
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 402 KB/s], Decompressed: 7773
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 3614 KB/s], Decompressed: 7773
Downloaded: 8040 file(s) [attempted 8040/8459 = 95%, 29 KB/s], Decompressed: 7773
Downloaded: 8088 file(s) [attempted 8088/8459 = 95%, 143 KB/s], Decompressed: 7773
Downloaded: 8133 file(s) [attempted 8133/8459 = 96%, 470 KB/s], Decompressed: 7773
Downloaded: 8177 file(s) [attempted 8177/8459 = 96%, 98 KB/s], Decompressed: 7773
Downloaded: 8222 file(s) [attempted 8222/8459 = 97%, 81 KB/s], Decompressed: 7941
Downloaded: 8260 file(s) [attempted 8260/8459 = 97%, 117 KB/s], Decompressed: 7941
Downloaded: 8301 file(s) [attempted 8301/8459 = 98%, 66 KB/s], Decompressed: 7941
Downloaded: 8342 file(s) [attempted 8342/8459 = 98%, 814 KB/s], Decompressed: 7941
Downloaded: 8383 file(s) [attempted 8383/8459 = 99%, 57 KB/s], Decompressed: 7941
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 202 KB/s], Decompressed: 7941
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 105 KB/s], Decompressed: 7941
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 105 KB/s], Decompressed: 7941

apx-runtime-resource-v1	apx-verifier-job-1726-runtime-lake_cache-3932023-1787591265715801590-0	3956736	4100096	21474836480	0	0	0	0	0	0	640876544	5683859456	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/24/2026, 7:11:31 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (106s)
✔ [501/505] Built Iut.Foundations.SourceGameplanSpeciesMutation (44s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (101s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (126s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (171s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (87s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (111s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (93s)
✔ [790/794] Built Iut.Foundations.QualitativeData (79s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (321s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1296s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (2349s)
✔ [3963/3966] Built Iut.Foundations.OrbicurvePullback (1949s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1726-runtime-lean_checker-3932023-1787591413315510519-1 on attempt 1

blueprint_buildexit 1duration 1m 16s · created 8/24/2026, 7:11:31 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1726-runtime-blueprint_build-3932023-1787598613969168219-2	1155072	1298432	21474836480	0	0	0	0	0	0	793870336	893337600	21474836480	0	0	0	0	0	0