Verification run

Run 1265

promachina/iut-leanbranch mastertriggered via poller

failedcommit be664932428ftoolchain 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-1711-source
exit_code=Some(128) duration_ms=226
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1711-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=15338
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1711-source'...


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

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 be66493 Freeze Step-(xi) source-adequacy claims (#935)

Resolved source revision: be664932428fd44cc8f8f91c9925d51bcaa106fd

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=be664932428fd44cc8f8f91c9925d51bcaa106fd provenance={"branch":"master","checked_out_revision":"be664932428fd44cc8f8f91c9925d51bcaa106fd","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"be664932428fd44cc8f8f91c9925d51bcaa106fd","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=6317 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=172420
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 (3.9s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (136ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (166ms)
✔ [13/25] Built Cache.Lean:c.o (158ms)
✔ [15/25] Built Cache.Init (7.3s)
✔ [16/25] Built Cache.IO (8.6s)
✔ [17/25] Built Cache.Init:c.o (102ms)
✔ [18/25] Built Cache.IO:c.o (1.3s)
✔ [19/25] Built Cache.Hashing (897ms)
✔ [20/25] Built Cache.Hashing:c.o (354ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (991ms)
✔ [24/25] Built Cache.Main:c.o (561ms)
✔ [25/25] Built cache:exe (5.1s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 13 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 4 KB/s], Decompressed: 12
Downloaded: 38 file(s) [attempted 38/8459 = 0%, 75 KB/s], Decompressed: 26
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 45 KB/s], Decompressed: 34
Downloaded: 81 file(s) [attempted 81/8459 = 0%, 52 KB/s], Decompressed: 47
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 338 KB/s], Decompressed: 86
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 339 KB/s], Decompressed: 114
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 331 KB/s], Decompressed: 155
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 93 KB/s], Decompressed: 175
Downloaded: 247 file(s) [attempted 247/8459 = 2%, 205 KB/s], Decompressed: 220
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 375 KB/s], Decompressed: 241
Downloaded: 323 file(s) [attempted 323/8459 = 3%, 374 KB/s], Decompressed: 271
Downloaded: 364 file(s) [attempted 364/8459 = 4%, 873 KB/s], Decompressed: 313
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 628 KB/s], Decompressed: 357
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 415 KB/s], Decompressed: 357
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 814 KB/s], Decompressed: 398
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 612 KB/s], Decompressed: 450
Downloaded: 549 file(s) [attempted 549/8459 = 6%, 556 KB/s], Decompressed: 450
Downloaded: 590 file(s) [attempted 590/8459 = 6%, 504 KB/s], Decompressed: 511
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 59 KB/s], Decompressed: 566
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 62 KB/s], Decompressed: 566
Downloaded: 714 file(s) [attempted 714/8459 = 8%, 1105 KB/s], Decompressed: 618
Downloaded: 751 file(s) [attempted 751/8459 = 8%, 438 KB/s], Decompressed: 683
Downloaded: 793 file(s) [attempted 793/8459 = 9%, 306 KB/s], Decompressed: 738
Downloaded: 830 file(s) [attempted 830/8459 = 9%, 353 KB/s], Decompressed: 789
Downloaded: 871 file(s) [attempted 871/8459 = 10%, 381 KB/s], Decompressed: 830
Downloaded: 916 file(s) [attempted 916/8459 = 10%, 898 KB/s], Decompressed: 830
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 135 KB/s], Decompressed: 871
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 442 KB/s], Decompressed: 919
Downloaded: 1039 file(s) [attempted 1039/8459 = 12%, 45 KB/s], Decompressed: 974
Downloaded: 1084 file(s) [attempted 1084/8459 = 12%, 218 KB/s], Decompressed: 1022
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 676 KB/s], Decompressed: 1022
Downloaded: 1166 file(s) [attempted 1166/8459 = 13%, 310 KB/s], Decompressed: 1074
Downloaded: 1207 file(s) [attempted 1207/8459 = 14%, 115 KB/s], Decompressed: 1132
Downloaded: 1245 file(s) [attempted 1245/8459 = 14%, 1099 KB/s], Decompressed: 1132
Downloaded: 1286 file(s) [attempted 1286/8459 = 15%, 1569 KB/s], Decompressed: 1193
Downloaded: 1327 file(s) [attempted 1327/8459 = 15%, 1054 KB/s], Decompressed: 1193
Downloaded: 1368 file(s) [attempted 1368/8459 = 16%, 271 KB/s], Decompressed: 1263
Downloaded: 1409 file(s) [attempted 1409/8459 = 16%, 130 KB/s], Decompressed: 1330
Downloaded: 1447 file(s) [attempted 1447/8459 = 17%, 285 KB/s], Decompressed: 1330
Downloaded: 1488 file(s) [attempted 1488/8459 = 17%, 661 KB/s], Decompressed: 1392
Downloaded: 1529 file(s) [attempted 1529/8459 = 18%, 1204 KB/s], Decompressed: 1392
Downloaded: 1567 file(s) [attempted 1567/8459 = 18%, 117 KB/s], Decompressed: 1464
Downloaded: 1608 file(s) [attempted 1608/8459 = 19%, 190 KB/s], Decompressed: 1464
Downloaded: 1646 file(s) [attempted 1646/8459 = 19%, 158 KB/s], Decompressed: 1536
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 370 KB/s], Decompressed: 1611
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 172 KB/s], Decompressed: 1611
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 46 KB/s], Decompressed: 1687
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 46 KB/s], Decompressed: 1687
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 749 KB/s], Decompressed: 1765
Downloaded: 1885 file(s) [attempted 1885/8459 = 22%, 311 KB/s], Decompressed: 1765
Downloaded: 1923 file(s) [attempted 1923/8459 = 22%, 123 KB/s], Decompressed: 1844
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 175 KB/s], Decompressed: 1844
Downloaded: 2009 file(s) [attempted 2009/8459 = 23%, 763 KB/s], Decompressed: 1844
Downloaded: 2046 file(s) [attempted 2046/8459 = 24%, 420 KB/s], Decompressed: 1920
Downloaded: 2084 file(s) [attempted 2084/8459 = 24%, 1685 KB/s], Decompressed: 1920
Downloaded: 2125 file(s) [attempted 2125/8459 = 25%, 1372 KB/s], Decompressed: 2012
Downloaded: 2166 file(s) [attempted 2166/8459 = 25%, 207 KB/s], Decompressed: 2012
Downloaded: 2210 file(s) [attempted 2210/8459 = 26%, 146 KB/s], Decompressed: 2012
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 191 KB/s], Decompressed: 2118
Downloaded: 2283 file(s) [attempted 2283/8459 = 26%, 381 KB/s], Decompressed: 2118
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 40 KB/s], Decompressed: 2118
Downloaded: 2372 file(s) [attempted 2372/8459 = 28%, 304 KB/s], Decompressed: 2231
Downloaded: 2413 file(s) [attempted 2413/8459 = 28%, 329 KB/s], Decompressed: 2231
Downloaded: 2451 file(s) [attempted 2451/8459 = 28%, 60 KB/s], Decompressed: 2334
Downloaded: 2485 file(s) [attempted 2485/8459 = 29%, 147 KB/s], Decompressed: 2334
Downloaded: 2529 file(s) [attempted 2529/8459 = 29%, 125 KB/s], Decompressed: 2430
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 663 KB/s], Decompressed: 2430
Downloaded: 2612 file(s) [attempted 2612/8459 = 30%, 1892 KB/s], Decompressed: 2430
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 1326 KB/s], Decompressed: 2430
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 405 KB/s], Decompressed: 2430
Downloaded: 2731 file(s) [attempted 2731/8459 = 32%, 75 KB/s], Decompressed: 2529
Downloaded: 2776 file(s) [attempted 2776/8459 = 32%, 33 KB/s], Decompressed: 2529
Downloaded: 2820 file(s) [attempted 2820/8459 = 33%, 134 KB/s], Decompressed: 2529
Downloaded: 2851 file(s) [attempted 2851/8459 = 33%, 173 KB/s], Decompressed: 2529
Downloaded: 2896 file(s) [attempted 2896/8459 = 34%, 129 KB/s], Decompressed: 2701
Downloaded: 2940 file(s) [attempted 2940/8459 = 34%, 764 KB/s], Decompressed: 2701
Downloaded: 2978 file(s) [attempted 2978/8459 = 35%, 592 KB/s], Decompressed: 2701
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 618 KB/s], Decompressed: 2701
Downloaded: 3053 file(s) [attempted 3053/8459 = 36%, 30 KB/s], Decompressed: 2701
Downloaded: 3094 file(s) [attempted 3094/8459 = 36%, 309 KB/s], Decompressed: 2872
Downloaded: 3139 file(s) [attempted 3139/8459 = 37%, 608 KB/s], Decompressed: 2872
Downloaded: 3184 file(s) [attempted 3184/8459 = 37%, 202 KB/s], Decompressed: 2872
Downloaded: 3225 file(s) [attempted 3225/8459 = 38%, 818 KB/s], Decompressed: 2872
Downloaded: 3262 file(s) [attempted 3262/8459 = 38%, 166 KB/s], Decompressed: 2872
Downloaded: 3303 file(s) [attempted 3303/8459 = 39%, 768 KB/s], Decompressed: 3084
Downloaded: 3348 file(s) [attempted 3348/8459 = 39%, 452 KB/s], Decompressed: 3084
Downloaded: 3389 file(s) [attempted 3389/8459 = 40%, 1404 KB/s], Decompressed: 3084
Downloaded: 3430 file(s) [attempted 3430/8459 = 40%, 485 KB/s], Decompressed: 3084
Downloaded: 3464 file(s) [attempted 3464/8459 = 40%, 171 KB/s], Decompressed: 3084
Downloaded: 3505 file(s) [attempted 3505/8459 = 41%, 164 KB/s], Decompressed: 3084
Downloaded: 3550 file(s) [attempted 3550/8459 = 41%, 540 KB/s], Decompressed: 3283
Downloaded: 3591 file(s) [attempted 3591/8459 = 42%, 175 KB/s], Decompressed: 3283
Downloaded: 3629 file(s) [attempted 3629/8459 = 42%, 391 KB/s], Decompressed: 3283
Downloaded: 3666 file(s) [attempted 3666/8459 = 43%, 248 KB/s], Decompressed: 3283
Downloaded: 3708 file(s) [attempted 3708/8459 = 43%, 84 KB/s], Decompressed: 3283
Downloaded: 3752 file(s) [attempted 3752/8459 = 44%, 457 KB/s], Decompressed: 3283
Downloaded: 3800 file(s) [attempted 3800/8459 = 44%, 295 KB/s], Decompressed: 3550
Downloaded: 3841 file(s) [attempted 3841/8459 = 45%, 172 KB/s], Decompressed: 3550
Downloaded: 3879 file(s) [attempted 3879/8459 = 45%, 114 KB/s], Decompressed: 3550
Downloaded: 3917 file(s) [attempted 3917/8459 = 46%, 933 KB/s], Decompressed: 3550
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 277 KB/s], Decompressed: 3550
Downloaded: 4002 file(s) [attempted 4002/8459 = 47%, 282 KB/s], Decompressed: 3550
Downloaded: 4047 file(s) [attempted 4047/8459 = 47%, 96 KB/s], Decompressed: 3780
Downloaded: 4088 file(s) [attempted 4088/8459 = 48%, 44 KB/s], Decompressed: 3780
Downloaded: 4132 file(s) [attempted 4132/8459 = 48%, 124 KB/s], Decompressed: 3780
Downloaded: 4170 file(s) [attempted 4170/8459 = 49%, 231 KB/s], Decompressed: 3780
Downloaded: 4208 file(s) [attempted 4208/8459 = 49%, 35 KB/s], Decompressed: 3780
Downloaded: 4249 file(s) [attempted 4249/8459 = 50%, 90 KB/s], Decompressed: 3780
Downloaded: 4290 file(s) [attempted 4290/8459 = 50%, 57 KB/s], Decompressed: 4036
Downloaded: 4334 file(s) [attempted 4334/8459 = 51%, 204 KB/s], Decompressed: 4036
Downloaded: 4376 file(s) [attempted 4376/8459 = 51%, 68 KB/s], Decompressed: 4036
Downloaded: 4420 file(s) [attempted 4420/8459 = 52%, 869 KB/s], Decompressed: 4036
Downloaded: 4458 file(s) [attempted 4458/8459 = 52%, 149 KB/s], Decompressed: 4036
Downloaded: 4495 file(s) [attempted 4495/8459 = 53%, 238 KB/s], Decompressed: 4036
Downloaded: 4540 file(s) [attempted 4540/8459 = 53%, 43 KB/s], Decompressed: 4036
Downloaded: 4581 file(s) [attempted 4581/8459 = 54%, 257 KB/s], Decompressed: 4290
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 74 KB/s], Decompressed: 4290
Downloaded: 4663 file(s) [attempted 4663/8459 = 55%, 1193 KB/s], Decompressed: 4290
Downloaded: 4701 file(s) [attempted 4701/8459 = 55%, 26 KB/s], Decompressed: 4290
Downloaded: 4739 file(s) [attempted 4739/8459 = 56%, 167 KB/s], Decompressed: 4290
Downloaded: 4783 file(s) [attempted 4783/8459 = 56%, 133 KB/s], Decompressed: 4290
Downloaded: 4824 file(s) [attempted 4824/8459 = 57%, 161 KB/s], Decompressed: 4290
Downloaded: 4869 file(s) [attempted 4869/8459 = 57%, 160 KB/s], Decompressed: 4290
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 48 KB/s], Decompressed: 4290
Downloaded: 4965 file(s) [attempted 4965/8459 = 58%, 1754 KB/s], Decompressed: 4581
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 64 KB/s], Decompressed: 4581
Downloaded: 5047 file(s) [attempted 5047/8459 = 59%, 235 KB/s], Decompressed: 4581
Downloaded: 5085 file(s) [attempted 5085/8459 = 60%, 546 KB/s], Decompressed: 4581
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 307 KB/s], Decompressed: 4581
Downloaded: 5167 file(s) [attempted 5167/8459 = 61%, 1503 KB/s], Decompressed: 4581
Downloaded: 5211 file(s) [attempted 5211/8459 = 61%, 46 KB/s], Decompressed: 4581
Downloaded: 5252 file(s) [attempted 5252/8459 = 62%, 1769 KB/s], Decompressed: 4581
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 62 KB/s], Decompressed: 4581
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 85 KB/s], Decompressed: 4581
Downloaded: 5383 file(s) [attempted 5383/8459 = 63%, 811 KB/s], Decompressed: 4581
Downloaded: 5420 file(s) [attempted 5420/8459 = 64%, 299 KB/s], Decompressed: 4954
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 211 KB/s], Decompressed: 4954
Downloaded: 5459 file(s) [attempted 5459/8459 = 64%, 859 KB/s], Decompressed: 4954
Downloaded: 5465 file(s) [attempted 5465/8459 = 64%, 67 KB/s], Decompressed: 4954
Downloaded: 5466 file(s) [attempted 5466/8459 = 64%, 22 KB/s], Decompressed: 4954
Downloaded: 5467 file(s) [attempted 5467/8459 = 64%, 49 KB/s], Decompressed: 4954
Downloaded: 5516 file(s) [attempted 5516/8459 = 65%, 57 KB/s], Decompressed: 4954
Downloaded: 5564 file(s) [attempted 5564/8459 = 65%, 0 KB/s], Decompressed: 4954
Downloaded: 5616 file(s) [attempted 5616/8459 = 66%, 964 KB/s], Decompressed: 4954
Downloaded: 5663 file(s) [attempted 5663/8459 = 66%, 1268 KB/s], Decompressed: 4954
Downloaded: 5715 file(s) [attempted 5715/8459 = 67%, 176 KB/s], Decompressed: 4954
Downloaded: 5766 file(s) [attempted 5766/8459 = 68%, 783 KB/s], Decompressed: 5400
Downloaded: 5814 file(s) [attempted 5814/8459 = 68%, 61 KB/s], Decompressed: 5400
Downloaded: 5866 file(s) [attempted 5866/8459 = 69%, 4881 KB/s], Decompressed: 5400
Downloaded: 5915 file(s) [attempted 5915/8459 = 69%, 252 KB/s], Decompressed: 5400
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 72 KB/s], Decompressed: 5400
Downloaded: 5996 file(s) [attempted 5996/8459 = 70%, 220 KB/s], Decompressed: 5400
Downloaded: 6033 file(s) [attempted 6033/8459 = 71%, 84 KB/s], Decompressed: 5400
Downloaded: 6074 file(s) [attempted 6074/8459 = 71%, 85 KB/s], Decompressed: 5400
Downloaded: 6116 file(s) [attempted 6116/8459 = 72%, 299 KB/s], Decompressed: 5759
Downloaded: 6157 file(s) [attempted 6157/8459 = 72%, 42 KB/s], Decompressed: 5759
Downloaded: 6195 file(s) [attempted 6195/8459 = 73%, 437 KB/s], Decompressed: 5759
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 253 KB/s], Decompressed: 5759
Downloaded: 6280 file(s) [attempted 6280/8459 = 74%, 168 KB/s], Decompressed: 5759
Downloaded: 6325 file(s) [attempted 6325/8459 = 74%, 83 KB/s], Decompressed: 5759
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 360 KB/s], Decompressed: 6081
Downloaded: 6400 file(s) [attempted 6400/8459 = 75%, 133 KB/s], Decompressed: 6081
Downloaded: 6441 file(s) [attempted 6441/8459 = 76%, 742 KB/s], Decompressed: 6081
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 175 KB/s], Decompressed: 6081
Downloaded: 6537 file(s) [attempted 6537/8459 = 77%, 197 KB/s], Decompressed: 6081
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 454 KB/s], Decompressed: 6081
Downloaded: 6619 file(s) [attempted 6619/8459 = 78%, 830 KB/s], Decompressed: 6366
Downloaded: 6657 file(s) [attempted 6657/8459 = 78%, 136 KB/s], Decompressed: 6366
Downloaded: 6700 file(s) [attempted 6700/8459 = 79%, 120 KB/s], Decompressed: 6366
Downloaded: 6739 file(s) [attempted 6739/8459 = 79%, 172 KB/s], Decompressed: 6366
Downloaded: 6783 file(s) [attempted 6783/8459 = 80%, 24 KB/s], Decompressed: 6366
Downloaded: 6825 file(s) [attempted 6825/8459 = 80%, 1415 KB/s], Decompressed: 6366
Downloaded: 6866 file(s) [attempted 6866/8459 = 81%, 94 KB/s], Decompressed: 6619
Downloaded: 6907 file(s) [attempted 6907/8459 = 81%, 939 KB/s], Decompressed: 6619
Downloaded: 6944 file(s) [attempted 6944/8459 = 82%, 38 KB/s], Decompressed: 6619
Downloaded: 6986 file(s) [attempted 6986/8459 = 82%, 163 KB/s], Decompressed: 6619
Downloaded: 7027 file(s) [attempted 7027/8459 = 83%, 459 KB/s], Decompressed: 6619
Downloaded: 7064 file(s) [attempted 7064/8459 = 83%, 315 KB/s], Decompressed: 6849
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 383 KB/s], Decompressed: 6849
Downloaded: 7160 file(s) [attempted 7160/8459 = 84%, 231 KB/s], Decompressed: 6849
Downloaded: 7203 file(s) [attempted 7203/8459 = 85%, 80 KB/s], Decompressed: 6849
Downloaded: 7239 file(s) [attempted 7239/8459 = 85%, 96 KB/s], Decompressed: 7044
Downloaded: 7280 file(s) [attempted 7280/8459 = 86%, 175 KB/s], Decompressed: 7044
Downloaded: 7321 file(s) [attempted 7321/8459 = 86%, 400 KB/s], Decompressed: 7044
Downloaded: 7362 file(s) [attempted 7362/8459 = 87%, 309 KB/s], Decompressed: 7208
Downloaded: 7403 file(s) [attempted 7403/8459 = 87%, 427 KB/s], Decompressed: 7208
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 592 KB/s], Decompressed: 7208
Downloaded: 7489 file(s) [attempted 7489/8459 = 88%, 407 KB/s], Decompressed: 7208
Downloaded: 7530 file(s) [attempted 7530/8459 = 89%, 126 KB/s], Decompressed: 7208
Downloaded: 7571 file(s) [attempted 7571/8459 = 89%, 299 KB/s], Decompressed: 7356
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 135 KB/s], Decompressed: 7356
Downloaded: 7647 file(s) [attempted 7647/8459 = 90%, 326 KB/s], Decompressed: 7356
Downloaded: 7691 file(s) [attempted 7691/8459 = 90%, 749 KB/s], Decompressed: 7356
Downloaded: 7736 file(s) [attempted 7736/8459 = 91%, 439 KB/s], Decompressed: 7551
Downloaded: 7777 file(s) [attempted 7777/8459 = 91%, 324 KB/s], Decompressed: 7551
Downloaded: 7811 file(s) [attempted 7811/8459 = 92%, 180 KB/s], Decompressed: 7551
Downloaded: 7849 file(s) [attempted 7849/8459 = 92%, 2205 KB/s], Decompressed: 7551
Downloaded: 7893 file(s) [attempted 7893/8459 = 93%, 892 KB/s], Decompressed: 7725
Downloaded: 7941 file(s) [attempted 7941/8459 = 93%, 88 KB/s], Decompressed: 7725
Downloaded: 7989 file(s) [attempted 7989/8459 = 94%, 196 KB/s], Decompressed: 7869
Downloaded: 8030 file(s) [attempted 8030/8459 = 94%, 538 KB/s], Decompressed: 7869
Downloaded: 8068 file(s) [attempted 8068/8459 = 95%, 35 KB/s], Decompressed: 7869
Downloaded: 8102 file(s) [attempted 8102/8459 = 95%, 356 KB/s], Decompressed: 7989
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 165 KB/s], Decompressed: 7989
Downloaded: 8191 file(s) [attempted 8191/8459 = 96%, 262 KB/s], Decompressed: 8092
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 78 KB/s], Decompressed: 8092
Downloaded: 8277 file(s) [attempted 8277/8459 = 97%, 1094 KB/s], Decompressed: 8092
Downloaded: 8317 file(s) [attempted 8317/8459 = 98%, 527 KB/s], Decompressed: 8191
Downloaded: 8352 file(s) [attempted 8352/8459 = 98%, 278 KB/s], Decompressed: 8191
Downloaded: 8397 file(s) [attempted 8397/8459 = 99%, 276 KB/s], Decompressed: 8287
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 336 KB/s], Decompressed: 8287
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 107 KB/s], Decompressed: 8389
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 107 KB/s], Decompressed: 8389

apx-runtime-resource-v1	apx-verifier-job-1711-runtime-lake_cache-3510172-1787320652942998338-0	3936256	4182016	21474836480	0	0	0	0	0	0	3435929600	3669934080	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7201408
stdout:
✔ [500/502] Built Iut.Foundations.Species (123s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (103s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (279s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (119s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (447s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (175s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (83s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (201s)
✔ [790/791] Built Iut.Foundations.QualitativeData (309s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (699s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1523s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1492s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1227s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1711-runtime-lean_checker-3510172-1787320825369043723-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1711-runtime-blueprint_build-3510172-1787328027418021941-2	950272	1474560	21474836480	0	0	0	0	0	0	887836672	992731136	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 226 ms · created 8/21/2026, 4:00:45 PM

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

Cloning into '/var/lib/apodeixis/repos/job-1711-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 15s · created 8/21/2026, 4:00:45 PM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 62 ms · created 8/21/2026, 4:00:45 PM

git checkout be664932428fd44cc8f8f91c9925d51bcaa106fd

Note: switching to 'be664932428fd44cc8f8f91c9925d51bcaa106fd'.

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 be66493 Freeze Step-(xi) source-adequacy claims (#935)

lake_cacheexit 0duration 2m 52s · created 8/21/2026, 4:00:45 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 (3.9s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (136ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (166ms)
✔ [13/25] Built Cache.Lean:c.o (158ms)
✔ [15/25] Built Cache.Init (7.3s)
✔ [16/25] Built Cache.IO (8.6s)
✔ [17/25] Built Cache.Init:c.o (102ms)
✔ [18/25] Built Cache.IO:c.o (1.3s)
✔ [19/25] Built Cache.Hashing (897ms)
✔ [20/25] Built Cache.Hashing:c.o (354ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.7s)
✔ [23/25] Built Cache.Main (991ms)
✔ [24/25] Built Cache.Main:c.o (561ms)
✔ [25/25] Built cache:exe (5.1s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 13 KB/s], Decompressed: 0
Downloaded: 16 file(s) [attempted 16/8459 = 0%, 4 KB/s], Decompressed: 12
Downloaded: 38 file(s) [attempted 38/8459 = 0%, 75 KB/s], Decompressed: 26
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 45 KB/s], Decompressed: 34
Downloaded: 81 file(s) [attempted 81/8459 = 0%, 52 KB/s], Decompressed: 47
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 338 KB/s], Decompressed: 86
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 339 KB/s], Decompressed: 114
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 331 KB/s], Decompressed: 155
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 93 KB/s], Decompressed: 175
Downloaded: 247 file(s) [attempted 247/8459 = 2%, 205 KB/s], Decompressed: 220
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 375 KB/s], Decompressed: 241
Downloaded: 323 file(s) [attempted 323/8459 = 3%, 374 KB/s], Decompressed: 271
Downloaded: 364 file(s) [attempted 364/8459 = 4%, 873 KB/s], Decompressed: 313
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 628 KB/s], Decompressed: 357
Downloaded: 436 file(s) [attempted 436/8459 = 5%, 415 KB/s], Decompressed: 357
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 814 KB/s], Decompressed: 398
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 612 KB/s], Decompressed: 450
Downloaded: 549 file(s) [attempted 549/8459 = 6%, 556 KB/s], Decompressed: 450
Downloaded: 590 file(s) [attempted 590/8459 = 6%, 504 KB/s], Decompressed: 511
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 59 KB/s], Decompressed: 566
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 62 KB/s], Decompressed: 566
Downloaded: 714 file(s) [attempted 714/8459 = 8%, 1105 KB/s], Decompressed: 618
Downloaded: 751 file(s) [attempted 751/8459 = 8%, 438 KB/s], Decompressed: 683
Downloaded: 793 file(s) [attempted 793/8459 = 9%, 306 KB/s], Decompressed: 738
Downloaded: 830 file(s) [attempted 830/8459 = 9%, 353 KB/s], Decompressed: 789
Downloaded: 871 file(s) [attempted 871/8459 = 10%, 381 KB/s], Decompressed: 830
Downloaded: 916 file(s) [attempted 916/8459 = 10%, 898 KB/s], Decompressed: 830
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 135 KB/s], Decompressed: 871
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 442 KB/s], Decompressed: 919
Downloaded: 1039 file(s) [attempted 1039/8459 = 12%, 45 KB/s], Decompressed: 974
Downloaded: 1084 file(s) [attempted 1084/8459 = 12%, 218 KB/s], Decompressed: 1022
Downloaded: 1128 file(s) [attempted 1128/8459 = 13%, 676 KB/s], Decompressed: 1022
Downloaded: 1166 file(s) [attempted 1166/8459 = 13%, 310 KB/s], Decompressed: 1074
Downloaded: 1207 file(s) [attempted 1207/8459 = 14%, 115 KB/s], Decompressed: 1132
Downloaded: 1245 file(s) [attempted 1245/8459 = 14%, 1099 KB/s], Decompressed: 1132
Downloaded: 1286 file(s) [attempted 1286/8459 = 15%, 1569 KB/s], Decompressed: 1193
Downloaded: 1327 file(s) [attempted 1327/8459 = 15%, 1054 KB/s], Decompressed: 1193
Downloaded: 1368 file(s) [attempted 1368/8459 = 16%, 271 KB/s], Decompressed: 1263
Downloaded: 1409 file(s) [attempted 1409/8459 = 16%, 130 KB/s], Decompressed: 1330
Downloaded: 1447 file(s) [attempted 1447/8459 = 17%, 285 KB/s], Decompressed: 1330
Downloaded: 1488 file(s) [attempted 1488/8459 = 17%, 661 KB/s], Decompressed: 1392
Downloaded: 1529 file(s) [attempted 1529/8459 = 18%, 1204 KB/s], Decompressed: 1392
Downloaded: 1567 file(s) [attempted 1567/8459 = 18%, 117 KB/s], Decompressed: 1464
Downloaded: 1608 file(s) [attempted 1608/8459 = 19%, 190 KB/s], Decompressed: 1464
Downloaded: 1646 file(s) [attempted 1646/8459 = 19%, 158 KB/s], Decompressed: 1536
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 370 KB/s], Decompressed: 1611
Downloaded: 1724 file(s) [attempted 1724/8459 = 20%, 172 KB/s], Decompressed: 1611
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 46 KB/s], Decompressed: 1687
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 46 KB/s], Decompressed: 1687
Downloaded: 1848 file(s) [attempted 1848/8459 = 21%, 749 KB/s], Decompressed: 1765
Downloaded: 1885 file(s) [attempted 1885/8459 = 22%, 311 KB/s], Decompressed: 1765
Downloaded: 1923 file(s) [attempted 1923/8459 = 22%, 123 KB/s], Decompressed: 1844
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 175 KB/s], Decompressed: 1844
Downloaded: 2009 file(s) [attempted 2009/8459 = 23%, 763 KB/s], Decompressed: 1844
Downloaded: 2046 file(s) [attempted 2046/8459 = 24%, 420 KB/s], Decompressed: 1920
Downloaded: 2084 file(s) [attempted 2084/8459 = 24%, 1685 KB/s], Decompressed: 1920
Downloaded: 2125 file(s) [attempted 2125/8459 = 25%, 1372 KB/s], Decompressed: 2012
Downloaded: 2166 file(s) [attempted 2166/8459 = 25%, 207 KB/s], Decompressed: 2012
Downloaded: 2210 file(s) [attempted 2210/8459 = 26%, 146 KB/s], Decompressed: 2012
Downloaded: 2245 file(s) [attempted 2245/8459 = 26%, 191 KB/s], Decompressed: 2118
Downloaded: 2283 file(s) [attempted 2283/8459 = 26%, 381 KB/s], Decompressed: 2118
Downloaded: 2327 file(s) [attempted 2327/8459 = 27%, 40 KB/s], Decompressed: 2118
Downloaded: 2372 file(s) [attempted 2372/8459 = 28%, 304 KB/s], Decompressed: 2231
Downloaded: 2413 file(s) [attempted 2413/8459 = 28%, 329 KB/s], Decompressed: 2231
Downloaded: 2451 file(s) [attempted 2451/8459 = 28%, 60 KB/s], Decompressed: 2334
Downloaded: 2485 file(s) [attempted 2485/8459 = 29%, 147 KB/s], Decompressed: 2334
Downloaded: 2529 file(s) [attempted 2529/8459 = 29%, 125 KB/s], Decompressed: 2430
Downloaded: 2574 file(s) [attempted 2574/8459 = 30%, 663 KB/s], Decompressed: 2430
Downloaded: 2612 file(s) [attempted 2612/8459 = 30%, 1892 KB/s], Decompressed: 2430
Downloaded: 2649 file(s) [attempted 2649/8459 = 31%, 1326 KB/s], Decompressed: 2430
Downloaded: 2690 file(s) [attempted 2690/8459 = 31%, 405 KB/s], Decompressed: 2430
Downloaded: 2731 file(s) [attempted 2731/8459 = 32%, 75 KB/s], Decompressed: 2529
Downloaded: 2776 file(s) [attempted 2776/8459 = 32%, 33 KB/s], Decompressed: 2529
Downloaded: 2820 file(s) [attempted 2820/8459 = 33%, 134 KB/s], Decompressed: 2529
Downloaded: 2851 file(s) [attempted 2851/8459 = 33%, 173 KB/s], Decompressed: 2529
Downloaded: 2896 file(s) [attempted 2896/8459 = 34%, 129 KB/s], Decompressed: 2701
Downloaded: 2940 file(s) [attempted 2940/8459 = 34%, 764 KB/s], Decompressed: 2701
Downloaded: 2978 file(s) [attempted 2978/8459 = 35%, 592 KB/s], Decompressed: 2701
Downloaded: 3019 file(s) [attempted 3019/8459 = 35%, 618 KB/s], Decompressed: 2701
Downloaded: 3053 file(s) [attempted 3053/8459 = 36%, 30 KB/s], Decompressed: 2701
Downloaded: 3094 file(s) [attempted 3094/8459 = 36%, 309 KB/s], Decompressed: 2872
Downloaded: 3139 file(s) [attempted 3139/8459 = 37%, 608 KB/s], Decompressed: 2872
Downloaded: 3184 file(s) [attempted 3184/8459 = 37%, 202 KB/s], Decompressed: 2872
Downloaded: 3225 file(s) [attempted 3225/8459 = 38%, 818 KB/s], Decompressed: 2872
Downloaded: 3262 file(s) [attempted 3262/8459 = 38%, 166 KB/s], Decompressed: 2872
Downloaded: 3303 file(s) [attempted 3303/8459 = 39%, 768 KB/s], Decompressed: 3084
Downloaded: 3348 file(s) [attempted 3348/8459 = 39%, 452 KB/s], Decompressed: 3084
Downloaded: 3389 file(s) [attempted 3389/8459 = 40%, 1404 KB/s], Decompressed: 3084
Downloaded: 3430 file(s) [attempted 3430/8459 = 40%, 485 KB/s], Decompressed: 3084
Downloaded: 3464 file(s) [attempted 3464/8459 = 40%, 171 KB/s], Decompressed: 3084
Downloaded: 3505 file(s) [attempted 3505/8459 = 41%, 164 KB/s], Decompressed: 3084
Downloaded: 3550 file(s) [attempted 3550/8459 = 41%, 540 KB/s], Decompressed: 3283
Downloaded: 3591 file(s) [attempted 3591/8459 = 42%, 175 KB/s], Decompressed: 3283
Downloaded: 3629 file(s) [attempted 3629/8459 = 42%, 391 KB/s], Decompressed: 3283
Downloaded: 3666 file(s) [attempted 3666/8459 = 43%, 248 KB/s], Decompressed: 3283
Downloaded: 3708 file(s) [attempted 3708/8459 = 43%, 84 KB/s], Decompressed: 3283
Downloaded: 3752 file(s) [attempted 3752/8459 = 44%, 457 KB/s], Decompressed: 3283
Downloaded: 3800 file(s) [attempted 3800/8459 = 44%, 295 KB/s], Decompressed: 3550
Downloaded: 3841 file(s) [attempted 3841/8459 = 45%, 172 KB/s], Decompressed: 3550
Downloaded: 3879 file(s) [attempted 3879/8459 = 45%, 114 KB/s], Decompressed: 3550
Downloaded: 3917 file(s) [attempted 3917/8459 = 46%, 933 KB/s], Decompressed: 3550
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 277 KB/s], Decompressed: 3550
Downloaded: 4002 file(s) [attempted 4002/8459 = 47%, 282 KB/s], Decompressed: 3550
Downloaded: 4047 file(s) [attempted 4047/8459 = 47%, 96 KB/s], Decompressed: 3780
Downloaded: 4088 file(s) [attempted 4088/8459 = 48%, 44 KB/s], Decompressed: 3780
Downloaded: 4132 file(s) [attempted 4132/8459 = 48%, 124 KB/s], Decompressed: 3780
Downloaded: 4170 file(s) [attempted 4170/8459 = 49%, 231 KB/s], Decompressed: 3780
Downloaded: 4208 file(s) [attempted 4208/8459 = 49%, 35 KB/s], Decompressed: 3780
Downloaded: 4249 file(s) [attempted 4249/8459 = 50%, 90 KB/s], Decompressed: 3780
Downloaded: 4290 file(s) [attempted 4290/8459 = 50%, 57 KB/s], Decompressed: 4036
Downloaded: 4334 file(s) [attempted 4334/8459 = 51%, 204 KB/s], Decompressed: 4036
Downloaded: 4376 file(s) [attempted 4376/8459 = 51%, 68 KB/s], Decompressed: 4036
Downloaded: 4420 file(s) [attempted 4420/8459 = 52%, 869 KB/s], Decompressed: 4036
Downloaded: 4458 file(s) [attempted 4458/8459 = 52%, 149 KB/s], Decompressed: 4036
Downloaded: 4495 file(s) [attempted 4495/8459 = 53%, 238 KB/s], Decompressed: 4036
Downloaded: 4540 file(s) [attempted 4540/8459 = 53%, 43 KB/s], Decompressed: 4036
Downloaded: 4581 file(s) [attempted 4581/8459 = 54%, 257 KB/s], Decompressed: 4290
Downloaded: 4622 file(s) [attempted 4622/8459 = 54%, 74 KB/s], Decompressed: 4290
Downloaded: 4663 file(s) [attempted 4663/8459 = 55%, 1193 KB/s], Decompressed: 4290
Downloaded: 4701 file(s) [attempted 4701/8459 = 55%, 26 KB/s], Decompressed: 4290
Downloaded: 4739 file(s) [attempted 4739/8459 = 56%, 167 KB/s], Decompressed: 4290
Downloaded: 4783 file(s) [attempted 4783/8459 = 56%, 133 KB/s], Decompressed: 4290
Downloaded: 4824 file(s) [attempted 4824/8459 = 57%, 161 KB/s], Decompressed: 4290
Downloaded: 4869 file(s) [attempted 4869/8459 = 57%, 160 KB/s], Decompressed: 4290
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 48 KB/s], Decompressed: 4290
Downloaded: 4965 file(s) [attempted 4965/8459 = 58%, 1754 KB/s], Decompressed: 4581
Downloaded: 5002 file(s) [attempted 5002/8459 = 59%, 64 KB/s], Decompressed: 4581
Downloaded: 5047 file(s) [attempted 5047/8459 = 59%, 235 KB/s], Decompressed: 4581
Downloaded: 5085 file(s) [attempted 5085/8459 = 60%, 546 KB/s], Decompressed: 4581
Downloaded: 5126 file(s) [attempted 5126/8459 = 60%, 307 KB/s], Decompressed: 4581
Downloaded: 5167 file(s) [attempted 5167/8459 = 61%, 1503 KB/s], Decompressed: 4581
Downloaded: 5211 file(s) [attempted 5211/8459 = 61%, 46 KB/s], Decompressed: 4581
Downloaded: 5252 file(s) [attempted 5252/8459 = 62%, 1769 KB/s], Decompressed: 4581
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 62 KB/s], Decompressed: 4581
Downloaded: 5341 file(s) [attempted 5341/8459 = 63%, 85 KB/s], Decompressed: 4581
Downloaded: 5383 file(s) [attempted 5383/8459 = 63%, 811 KB/s], Decompressed: 4581
Downloaded: 5420 file(s) [attempted 5420/8459 = 64%, 299 KB/s], Decompressed: 4954
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 211 KB/s], Decompressed: 4954
Downloaded: 5459 file(s) [attempted 5459/8459 = 64%, 859 KB/s], Decompressed: 4954
Downloaded: 5465 file(s) [attempted 5465/8459 = 64%, 67 KB/s], Decompressed: 4954
Downloaded: 5466 file(s) [attempted 5466/8459 = 64%, 22 KB/s], Decompressed: 4954
Downloaded: 5467 file(s) [attempted 5467/8459 = 64%, 49 KB/s], Decompressed: 4954
Downloaded: 5516 file(s) [attempted 5516/8459 = 65%, 57 KB/s], Decompressed: 4954
Downloaded: 5564 file(s) [attempted 5564/8459 = 65%, 0 KB/s], Decompressed: 4954
Downloaded: 5616 file(s) [attempted 5616/8459 = 66%, 964 KB/s], Decompressed: 4954
Downloaded: 5663 file(s) [attempted 5663/8459 = 66%, 1268 KB/s], Decompressed: 4954
Downloaded: 5715 file(s) [attempted 5715/8459 = 67%, 176 KB/s], Decompressed: 4954
Downloaded: 5766 file(s) [attempted 5766/8459 = 68%, 783 KB/s], Decompressed: 5400
Downloaded: 5814 file(s) [attempted 5814/8459 = 68%, 61 KB/s], Decompressed: 5400
Downloaded: 5866 file(s) [attempted 5866/8459 = 69%, 4881 KB/s], Decompressed: 5400
Downloaded: 5915 file(s) [attempted 5915/8459 = 69%, 252 KB/s], Decompressed: 5400
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 72 KB/s], Decompressed: 5400
Downloaded: 5996 file(s) [attempted 5996/8459 = 70%, 220 KB/s], Decompressed: 5400
Downloaded: 6033 file(s) [attempted 6033/8459 = 71%, 84 KB/s], Decompressed: 5400
Downloaded: 6074 file(s) [attempted 6074/8459 = 71%, 85 KB/s], Decompressed: 5400
Downloaded: 6116 file(s) [attempted 6116/8459 = 72%, 299 KB/s], Decompressed: 5759
Downloaded: 6157 file(s) [attempted 6157/8459 = 72%, 42 KB/s], Decompressed: 5759
Downloaded: 6195 file(s) [attempted 6195/8459 = 73%, 437 KB/s], Decompressed: 5759
Downloaded: 6235 file(s) [attempted 6235/8459 = 73%, 253 KB/s], Decompressed: 5759
Downloaded: 6280 file(s) [attempted 6280/8459 = 74%, 168 KB/s], Decompressed: 5759
Downloaded: 6325 file(s) [attempted 6325/8459 = 74%, 83 KB/s], Decompressed: 5759
Downloaded: 6369 file(s) [attempted 6369/8459 = 75%, 360 KB/s], Decompressed: 6081
Downloaded: 6400 file(s) [attempted 6400/8459 = 75%, 133 KB/s], Decompressed: 6081
Downloaded: 6441 file(s) [attempted 6441/8459 = 76%, 742 KB/s], Decompressed: 6081
Downloaded: 6489 file(s) [attempted 6489/8459 = 76%, 175 KB/s], Decompressed: 6081
Downloaded: 6537 file(s) [attempted 6537/8459 = 77%, 197 KB/s], Decompressed: 6081
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 454 KB/s], Decompressed: 6081
Downloaded: 6619 file(s) [attempted 6619/8459 = 78%, 830 KB/s], Decompressed: 6366
Downloaded: 6657 file(s) [attempted 6657/8459 = 78%, 136 KB/s], Decompressed: 6366
Downloaded: 6700 file(s) [attempted 6700/8459 = 79%, 120 KB/s], Decompressed: 6366
Downloaded: 6739 file(s) [attempted 6739/8459 = 79%, 172 KB/s], Decompressed: 6366
Downloaded: 6783 file(s) [attempted 6783/8459 = 80%, 24 KB/s], Decompressed: 6366
Downloaded: 6825 file(s) [attempted 6825/8459 = 80%, 1415 KB/s], Decompressed: 6366
Downloaded: 6866 file(s) [attempted 6866/8459 = 81%, 94 KB/s], Decompressed: 6619
Downloaded: 6907 file(s) [attempted 6907/8459 = 81%, 939 KB/s], Decompressed: 6619
Downloaded: 6944 file(s) [attempted 6944/8459 = 82%, 38 KB/s], Decompressed: 6619
Downloaded: 6986 file(s) [attempted 6986/8459 = 82%, 163 KB/s], Decompressed: 6619
Downloaded: 7027 file(s) [attempted 7027/8459 = 83%, 459 KB/s], Decompressed: 6619
Downloaded: 7064 file(s) [attempted 7064/8459 = 83%, 315 KB/s], Decompressed: 6849
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 383 KB/s], Decompressed: 6849
Downloaded: 7160 file(s) [attempted 7160/8459 = 84%, 231 KB/s], Decompressed: 6849
Downloaded: 7203 file(s) [attempted 7203/8459 = 85%, 80 KB/s], Decompressed: 6849
Downloaded: 7239 file(s) [attempted 7239/8459 = 85%, 96 KB/s], Decompressed: 7044
Downloaded: 7280 file(s) [attempted 7280/8459 = 86%, 175 KB/s], Decompressed: 7044
Downloaded: 7321 file(s) [attempted 7321/8459 = 86%, 400 KB/s], Decompressed: 7044
Downloaded: 7362 file(s) [attempted 7362/8459 = 87%, 309 KB/s], Decompressed: 7208
Downloaded: 7403 file(s) [attempted 7403/8459 = 87%, 427 KB/s], Decompressed: 7208
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 592 KB/s], Decompressed: 7208
Downloaded: 7489 file(s) [attempted 7489/8459 = 88%, 407 KB/s], Decompressed: 7208
Downloaded: 7530 file(s) [attempted 7530/8459 = 89%, 126 KB/s], Decompressed: 7208
Downloaded: 7571 file(s) [attempted 7571/8459 = 89%, 299 KB/s], Decompressed: 7356
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 135 KB/s], Decompressed: 7356
Downloaded: 7647 file(s) [attempted 7647/8459 = 90%, 326 KB/s], Decompressed: 7356
Downloaded: 7691 file(s) [attempted 7691/8459 = 90%, 749 KB/s], Decompressed: 7356
Downloaded: 7736 file(s) [attempted 7736/8459 = 91%, 439 KB/s], Decompressed: 7551
Downloaded: 7777 file(s) [attempted 7777/8459 = 91%, 324 KB/s], Decompressed: 7551
Downloaded: 7811 file(s) [attempted 7811/8459 = 92%, 180 KB/s], Decompressed: 7551
Downloaded: 7849 file(s) [attempted 7849/8459 = 92%, 2205 KB/s], Decompressed: 7551
Downloaded: 7893 file(s) [attempted 7893/8459 = 93%, 892 KB/s], Decompressed: 7725
Downloaded: 7941 file(s) [attempted 7941/8459 = 93%, 88 KB/s], Decompressed: 7725
Downloaded: 7989 file(s) [attempted 7989/8459 = 94%, 196 KB/s], Decompressed: 7869
Downloaded: 8030 file(s) [attempted 8030/8459 = 94%, 538 KB/s], Decompressed: 7869
Downloaded: 8068 file(s) [attempted 8068/8459 = 95%, 35 KB/s], Decompressed: 7869
Downloaded: 8102 file(s) [attempted 8102/8459 = 95%, 356 KB/s], Decompressed: 7989
Downloaded: 8143 file(s) [attempted 8143/8459 = 96%, 165 KB/s], Decompressed: 7989
Downloaded: 8191 file(s) [attempted 8191/8459 = 96%, 262 KB/s], Decompressed: 8092
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 78 KB/s], Decompressed: 8092
Downloaded: 8277 file(s) [attempted 8277/8459 = 97%, 1094 KB/s], Decompressed: 8092
Downloaded: 8317 file(s) [attempted 8317/8459 = 98%, 527 KB/s], Decompressed: 8191
Downloaded: 8352 file(s) [attempted 8352/8459 = 98%, 278 KB/s], Decompressed: 8191
Downloaded: 8397 file(s) [attempted 8397/8459 = 99%, 276 KB/s], Decompressed: 8287
Downloaded: 8441 file(s) [attempted 8441/8459 = 99%, 336 KB/s], Decompressed: 8287
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 107 KB/s], Decompressed: 8389
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 107 KB/s], Decompressed: 8389

apx-runtime-resource-v1	apx-verifier-job-1711-runtime-lake_cache-3510172-1787320652942998338-0	3936256	4182016	21474836480	0	0	0	0	0	0	3435929600	3669934080	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/21/2026, 4:00:45 PM

lake build

✔ [500/502] Built Iut.Foundations.Species (123s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (103s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (279s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (119s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (447s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (175s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (83s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (201s)
✔ [790/791] Built Iut.Foundations.QualitativeData (309s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (699s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1523s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1492s)
✔ [3962/3966] Built Iut.Foundations.OrbicurvePullback (1227s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1711-runtime-lean_checker-3510172-1787320825369043723-1 on attempt 1

blueprint_buildexit 1duration 16s · created 8/21/2026, 4:00:45 PM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1711-runtime-blueprint_build-3510172-1787328027418021941-2	950272	1474560	21474836480	0	0	0	0	0	0	887836672	992731136	21474836480	0	0	0	0	0	0