Verification run

Run 1299

promachina/iut-leanbranch e21-924-checkpoint-quotienttriggered via github_push

failedcommit c4da0a6e43a5toolchain lean-v4-30-0prover leantook 2h 2m · finished 2w ago

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

Open project

Package inputs

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

Trust verification

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

(verification not run)

Manifest

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

(manifest not loaded)

Verifier log excerpt

Attempting anonymous GitHub clone before installation-auth fallback

$ git clone --depth 1 --branch e21-924-checkpoint-quotient --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1758-source
exit_code=Some(128) duration_ms=352
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1758-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=4891
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1758-source'...


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

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 c4da0a6 derive morphism HEq from subsingleton endpoints

Resolved source revision: c4da0a6e43a53bd75b1dd5c29c67dca383dadaeb

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=c4da0a6e43a53bd75b1dd5c29c67dca383dadaeb provenance={"branch":"e21-924-checkpoint-quotient","checked_out_revision":"c4da0a6e43a53bd75b1dd5c29c67dca383dadaeb","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"c4da0a6e43a53bd75b1dd5c29c67dca383dadaeb","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=6227 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=135682
stdout:
Current branch: HEAD
Using cache (Azure) from origin: (some leanprover-community/mathlib4)
Attempting to download 8459 file(s) from leanprover-community/mathlib4 cache
Decompressed 8459 file(s)
Already decompressed 8459 file(s)

stderr:
✔ [8/25] Built Cache.Lean (9.5s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (135ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (173ms)
✔ [13/25] Built Cache.Lean:c.o (119ms)
✔ [15/25] Built Cache.Init (354ms)
✔ [16/25] Built Cache.IO (7.5s)
✔ [17/25] Built Cache.Init:c.o (102ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (980ms)
✔ [20/25] Built Cache.Hashing:c.o (351ms)
✔ [21/25] Built Cache.Requests (2.2s)
✔ [22/25] Built Cache.Requests:c.o (1.9s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (566ms)
✔ [25/25] Built cache:exe (7.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 14 file(s) [attempted 14/8459 = 0%, 2 KB/s], Decompressed: 7
Downloaded: 34 file(s) [attempted 34/8459 = 0%, 13 KB/s], Decompressed: 24
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 33 KB/s], Decompressed: 43
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 176 KB/s], Decompressed: 58
Downloaded: 117 file(s) [attempted 117/8459 = 1%, 24 KB/s], Decompressed: 93
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 81 KB/s], Decompressed: 117
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 364 KB/s], Decompressed: 141
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 332 KB/s], Decompressed: 162
Downloaded: 237 file(s) [attempted 237/8459 = 2%, 123 KB/s], Decompressed: 192
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 194 KB/s], Decompressed: 230
Downloaded: 312 file(s) [attempted 312/8459 = 3%, 146 KB/s], Decompressed: 230
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 225 KB/s], Decompressed: 274
Downloaded: 387 file(s) [attempted 387/8459 = 4%, 1055 KB/s], Decompressed: 319
Downloaded: 418 file(s) [attempted 418/8459 = 4%, 79 KB/s], Decompressed: 391
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 923 KB/s], Decompressed: 418
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 776 KB/s], Decompressed: 418
Downloaded: 548 file(s) [attempted 548/8459 = 6%, 532 KB/s], Decompressed: 463
Downloaded: 589 file(s) [attempted 589/8459 = 6%, 287 KB/s], Decompressed: 517
Downloaded: 630 file(s) [attempted 630/8459 = 7%, 599 KB/s], Decompressed: 517
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 482 KB/s], Decompressed: 589
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 82 KB/s], Decompressed: 589
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 464 KB/s], Decompressed: 654
Downloaded: 788 file(s) [attempted 788/8459 = 9%, 32 KB/s], Decompressed: 654
Downloaded: 829 file(s) [attempted 829/8459 = 9%, 342 KB/s], Decompressed: 733
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 287 KB/s], Decompressed: 733
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 60 KB/s], Decompressed: 808
Downloaded: 949 file(s) [attempted 949/8459 = 11%, 164 KB/s], Decompressed: 808
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 188 KB/s], Decompressed: 884
Downloaded: 1027 file(s) [attempted 1027/8459 = 12%, 716 KB/s], Decompressed: 884
Downloaded: 1068 file(s) [attempted 1068/8459 = 12%, 247 KB/s], Decompressed: 962
Downloaded: 1113 file(s) [attempted 1113/8459 = 13%, 182 KB/s], Decompressed: 1031
Downloaded: 1150 file(s) [attempted 1150/8459 = 13%, 357 KB/s], Decompressed: 1031
Downloaded: 1185 file(s) [attempted 1185/8459 = 14%, 36 KB/s], Decompressed: 1106
Downloaded: 1222 file(s) [attempted 1222/8459 = 14%, 185 KB/s], Decompressed: 1106
Downloaded: 1263 file(s) [attempted 1263/8459 = 14%, 27 KB/s], Decompressed: 1171
Downloaded: 1301 file(s) [attempted 1301/8459 = 15%, 182 KB/s], Decompressed: 1171
Downloaded: 1345 file(s) [attempted 1345/8459 = 15%, 140 KB/s], Decompressed: 1239
Downloaded: 1380 file(s) [attempted 1380/8459 = 16%, 247 KB/s], Decompressed: 1239
Downloaded: 1417 file(s) [attempted 1417/8459 = 16%, 859 KB/s], Decompressed: 1311
Downloaded: 1455 file(s) [attempted 1455/8459 = 17%, 360 KB/s], Decompressed: 1311
Downloaded: 1496 file(s) [attempted 1496/8459 = 17%, 197 KB/s], Decompressed: 1390
Downloaded: 1537 file(s) [attempted 1537/8459 = 18%, 337 KB/s], Decompressed: 1458
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 142 KB/s], Decompressed: 1458
Downloaded: 1612 file(s) [attempted 1612/8459 = 19%, 186 KB/s], Decompressed: 1520
Downloaded: 1650 file(s) [attempted 1650/8459 = 19%, 128 KB/s], Decompressed: 1520
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 338 KB/s], Decompressed: 1585
Downloaded: 1728 file(s) [attempted 1728/8459 = 20%, 250 KB/s], Decompressed: 1653
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 81 KB/s], Decompressed: 1653
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 243 KB/s], Decompressed: 1725
Downloaded: 1851 file(s) [attempted 1851/8459 = 21%, 81 KB/s], Decompressed: 1725
Downloaded: 1886 file(s) [attempted 1886/8459 = 22%, 21 KB/s], Decompressed: 1786
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 705 KB/s], Decompressed: 1786
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 851 KB/s], Decompressed: 1865
Downloaded: 2006 file(s) [attempted 2006/8459 = 23%, 1444 KB/s], Decompressed: 1934
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 2469 KB/s], Decompressed: 1934
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 234 KB/s], Decompressed: 1934
Downloaded: 2128 file(s) [attempted 2128/8459 = 25%, 99 KB/s], Decompressed: 2005
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 257 KB/s], Decompressed: 2005
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 229 KB/s], Decompressed: 2101
Downloaded: 2255 file(s) [attempted 2255/8459 = 26%, 1127 KB/s], Decompressed: 2101
Downloaded: 2293 file(s) [attempted 2293/8459 = 27%, 972 KB/s], Decompressed: 2101
Downloaded: 2334 file(s) [attempted 2334/8459 = 27%, 530 KB/s], Decompressed: 2211
Downloaded: 2375 file(s) [attempted 2375/8459 = 28%, 756 KB/s], Decompressed: 2211
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 469 KB/s], Decompressed: 2211
Downloaded: 2453 file(s) [attempted 2453/8459 = 28%, 83 KB/s], Decompressed: 2324
Downloaded: 2498 file(s) [attempted 2498/8459 = 29%, 345 KB/s], Decompressed: 2324
Downloaded: 2532 file(s) [attempted 2532/8459 = 29%, 522 KB/s], Decompressed: 2426
Downloaded: 2576 file(s) [attempted 2576/8459 = 30%, 1547 KB/s], Decompressed: 2426
Downloaded: 2617 file(s) [attempted 2617/8459 = 30%, 59 KB/s], Decompressed: 2426
Downloaded: 2658 file(s) [attempted 2658/8459 = 31%, 556 KB/s], Decompressed: 2426
Downloaded: 2700 file(s) [attempted 2700/8459 = 31%, 85 KB/s], Decompressed: 2426
Downloaded: 2737 file(s) [attempted 2737/8459 = 32%, 39 KB/s], Decompressed: 2529
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 31 KB/s], Decompressed: 2529
Downloaded: 2823 file(s) [attempted 2823/8459 = 33%, 371 KB/s], Decompressed: 2529
Downloaded: 2860 file(s) [attempted 2860/8459 = 33%, 288 KB/s], Decompressed: 2529
Downloaded: 2901 file(s) [attempted 2901/8459 = 34%, 457 KB/s], Decompressed: 2529
Downloaded: 2935 file(s) [attempted 2935/8459 = 34%, 673 KB/s], Decompressed: 2529
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 4 KB/s], Decompressed: 2717
Downloaded: 3035 file(s) [attempted 3035/8459 = 35%, 17 KB/s], Decompressed: 2717
Downloaded: 3083 file(s) [attempted 3083/8459 = 36%, 99 KB/s], Decompressed: 2717
Downloaded: 3134 file(s) [attempted 3134/8459 = 37%, 1633 KB/s], Decompressed: 2717
Downloaded: 3182 file(s) [attempted 3182/8459 = 37%, 506 KB/s], Decompressed: 2717
Downloaded: 3233 file(s) [attempted 3233/8459 = 38%, 1001 KB/s], Decompressed: 2717
Downloaded: 3284 file(s) [attempted 3284/8459 = 38%, 3034 KB/s], Decompressed: 2983
Downloaded: 3332 file(s) [attempted 3332/8459 = 39%, 36 KB/s], Decompressed: 2983
Downloaded: 3383 file(s) [attempted 3383/8459 = 39%, 788 KB/s], Decompressed: 2983
Downloaded: 3431 file(s) [attempted 3431/8459 = 40%, 111 KB/s], Decompressed: 2983
Downloaded: 3479 file(s) [attempted 3479/8459 = 41%, 592 KB/s], Decompressed: 2983
Downloaded: 3524 file(s) [attempted 3524/8459 = 41%, 122 KB/s], Decompressed: 2983
Downloaded: 3554 file(s) [attempted 3554/8459 = 42%, 91 KB/s], Decompressed: 2983
Downloaded: 3592 file(s) [attempted 3592/8459 = 42%, 278 KB/s], Decompressed: 2983
Downloaded: 3637 file(s) [attempted 3637/8459 = 42%, 201 KB/s], Decompressed: 3284
Downloaded: 3681 file(s) [attempted 3681/8459 = 43%, 265 KB/s], Decompressed: 3284
Downloaded: 3719 file(s) [attempted 3719/8459 = 43%, 658 KB/s], Decompressed: 3284
Downloaded: 3756 file(s) [attempted 3756/8459 = 44%, 638 KB/s], Decompressed: 3284
Downloaded: 3794 file(s) [attempted 3794/8459 = 44%, 625 KB/s], Decompressed: 3284
Downloaded: 3842 file(s) [attempted 3842/8459 = 45%, 554 KB/s], Decompressed: 3284
Downloaded: 3890 file(s) [attempted 3890/8459 = 45%, 598 KB/s], Decompressed: 3284
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 220 KB/s], Decompressed: 3284
Downloaded: 3975 file(s) [attempted 3975/8459 = 46%, 72 KB/s], Decompressed: 3609
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 745 KB/s], Decompressed: 3609
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 1022 KB/s], Decompressed: 3609
Downloaded: 4085 file(s) [attempted 4085/8459 = 48%, 473 KB/s], Decompressed: 3609
Downloaded: 4122 file(s) [attempted 4122/8459 = 48%, 143 KB/s], Decompressed: 3609
Downloaded: 4156 file(s) [attempted 4156/8459 = 49%, 103 KB/s], Decompressed: 3609
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 389 KB/s], Decompressed: 3609
Downloaded: 4221 file(s) [attempted 4221/8459 = 49%, 247 KB/s], Decompressed: 3609
Downloaded: 4259 file(s) [attempted 4259/8459 = 50%, 374 KB/s], Decompressed: 3941
Downloaded: 4290 file(s) [attempted 4290/8459 = 50%, 113 KB/s], Decompressed: 3941
Downloaded: 4324 file(s) [attempted 4324/8459 = 51%, 195 KB/s], Decompressed: 3941
Downloaded: 4351 file(s) [attempted 4351/8459 = 51%, 124 KB/s], Decompressed: 3941
Downloaded: 4379 file(s) [attempted 4379/8459 = 51%, 188 KB/s], Decompressed: 3941
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 475 KB/s], Decompressed: 3941
Downloaded: 4409 file(s) [attempted 4409/8459 = 52%, 246 KB/s], Decompressed: 4225
Downloaded: 4444 file(s) [attempted 4444/8459 = 52%, 90 KB/s], Decompressed: 4225
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 132 KB/s], Decompressed: 4225
Downloaded: 4512 file(s) [attempted 4512/8459 = 53%, 116 KB/s], Decompressed: 4409
Downloaded: 4550 file(s) [attempted 4550/8459 = 53%, 33 KB/s], Decompressed: 4512
Downloaded: 4587 file(s) [attempted 4587/8459 = 54%, 7 KB/s], Decompressed: 4550
Downloaded: 4618 file(s) [attempted 4618/8459 = 54%, 14 KB/s], Decompressed: 4587
Downloaded: 4652 file(s) [attempted 4652/8459 = 54%, 29 KB/s], Decompressed: 4618
Downloaded: 4704 file(s) [attempted 4704/8459 = 55%, 5 KB/s], Decompressed: 4618
Downloaded: 4731 file(s) [attempted 4731/8459 = 55%, 227 KB/s], Decompressed: 4652
Downloaded: 4769 file(s) [attempted 4769/8459 = 56%, 587 KB/s], Decompressed: 4652
Downloaded: 4810 file(s) [attempted 4810/8459 = 56%, 175 KB/s], Decompressed: 4652
Downloaded: 4857 file(s) [attempted 4857/8459 = 57%, 57 KB/s], Decompressed: 4731
Downloaded: 4905 file(s) [attempted 4905/8459 = 57%, 57 KB/s], Decompressed: 4731
Downloaded: 4953 file(s) [attempted 4953/8459 = 58%, 354 KB/s], Decompressed: 4823
Downloaded: 5004 file(s) [attempted 5004/8459 = 59%, 183 KB/s], Decompressed: 4823
Downloaded: 5052 file(s) [attempted 5052/8459 = 59%, 134 KB/s], Decompressed: 4919
Downloaded: 5093 file(s) [attempted 5093/8459 = 60%, 172 KB/s], Decompressed: 4919
Downloaded: 5131 file(s) [attempted 5131/8459 = 60%, 67 KB/s], Decompressed: 4919
Downloaded: 5162 file(s) [attempted 5162/8459 = 61%, 451 KB/s], Decompressed: 5032
Downloaded: 5206 file(s) [attempted 5206/8459 = 61%, 595 KB/s], Decompressed: 5032
Downloaded: 5254 file(s) [attempted 5254/8459 = 62%, 136 KB/s], Decompressed: 5148
Downloaded: 5299 file(s) [attempted 5299/8459 = 62%, 58 KB/s], Decompressed: 5148
Downloaded: 5343 file(s) [attempted 5343/8459 = 63%, 283 KB/s], Decompressed: 5251
Downloaded: 5377 file(s) [attempted 5377/8459 = 63%, 383 KB/s], Decompressed: 5251
Downloaded: 5411 file(s) [attempted 5411/8459 = 63%, 166 KB/s], Decompressed: 5251
Downloaded: 5456 file(s) [attempted 5456/8459 = 64%, 854 KB/s], Decompressed: 5343
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 290 KB/s], Decompressed: 5343
Downloaded: 5541 file(s) [attempted 5541/8459 = 65%, 436 KB/s], Decompressed: 5425
Downloaded: 5586 file(s) [attempted 5586/8459 = 66%, 331 KB/s], Decompressed: 5507
Downloaded: 5620 file(s) [attempted 5620/8459 = 66%, 172 KB/s], Decompressed: 5507
Downloaded: 5658 file(s) [attempted 5658/8459 = 66%, 42 KB/s], Decompressed: 5586
Downloaded: 5699 file(s) [attempted 5699/8459 = 67%, 106 KB/s], Decompressed: 5586
Downloaded: 5740 file(s) [attempted 5740/8459 = 67%, 252 KB/s], Decompressed: 5651
Downloaded: 5784 file(s) [attempted 5784/8459 = 68%, 142 KB/s], Decompressed: 5709
Downloaded: 5822 file(s) [attempted 5822/8459 = 68%, 101 KB/s], Decompressed: 5709
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 458 KB/s], Decompressed: 5767
Downloaded: 5897 file(s) [attempted 5897/8459 = 69%, 147 KB/s], Decompressed: 5825
Downloaded: 5945 file(s) [attempted 5945/8459 = 70%, 104 KB/s], Decompressed: 5825
Downloaded: 5993 file(s) [attempted 5993/8459 = 70%, 55 KB/s], Decompressed: 5883
Downloaded: 6037 file(s) [attempted 6037/8459 = 71%, 58 KB/s], Decompressed: 5952
Downloaded: 6075 file(s) [attempted 6075/8459 = 71%, 225 KB/s], Decompressed: 5952
Downloaded: 6109 file(s) [attempted 6109/8459 = 72%, 183 KB/s], Decompressed: 6030
Downloaded: 6153 file(s) [attempted 6153/8459 = 72%, 532 KB/s], Decompressed: 6030
Downloaded: 6194 file(s) [attempted 6194/8459 = 73%, 439 KB/s], Decompressed: 6102
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 189 KB/s], Decompressed: 6102
Downloaded: 6290 file(s) [attempted 6290/8459 = 74%, 367 KB/s], Decompressed: 6191
Downloaded: 6331 file(s) [attempted 6331/8459 = 74%, 51 KB/s], Decompressed: 6191
Downloaded: 6365 file(s) [attempted 6365/8459 = 75%, 276 KB/s], Decompressed: 6266
Downloaded: 6403 file(s) [attempted 6403/8459 = 75%, 366 KB/s], Decompressed: 6266
Downloaded: 6448 file(s) [attempted 6448/8459 = 76%, 38 KB/s], Decompressed: 6345
Downloaded: 6492 file(s) [attempted 6492/8459 = 76%, 451 KB/s], Decompressed: 6345
Downloaded: 6536 file(s) [attempted 6536/8459 = 77%, 613 KB/s], Decompressed: 6427
Downloaded: 6574 file(s) [attempted 6574/8459 = 77%, 23 KB/s], Decompressed: 6495
Downloaded: 6608 file(s) [attempted 6608/8459 = 78%, 306 KB/s], Decompressed: 6495
Downloaded: 6653 file(s) [attempted 6653/8459 = 78%, 991 KB/s], Decompressed: 6560
Downloaded: 6697 file(s) [attempted 6697/8459 = 79%, 1488 KB/s], Decompressed: 6560
Downloaded: 6742 file(s) [attempted 6742/8459 = 79%, 719 KB/s], Decompressed: 6560
Downloaded: 6776 file(s) [attempted 6776/8459 = 80%, 40 KB/s], Decompressed: 6653
Downloaded: 6813 file(s) [attempted 6813/8459 = 80%, 1245 KB/s], Decompressed: 6653
Downloaded: 6854 file(s) [attempted 6854/8459 = 81%, 116 KB/s], Decompressed: 6748
Downloaded: 6902 file(s) [attempted 6902/8459 = 81%, 106 KB/s], Decompressed: 6748
Downloaded: 6950 file(s) [attempted 6950/8459 = 82%, 208 KB/s], Decompressed: 6851
Downloaded: 7001 file(s) [attempted 7001/8459 = 82%, 1889 KB/s], Decompressed: 6851
Downloaded: 7049 file(s) [attempted 7049/8459 = 83%, 128 KB/s], Decompressed: 6851
Downloaded: 7097 file(s) [attempted 7097/8459 = 83%, 191 KB/s], Decompressed: 6950
Downloaded: 7135 file(s) [attempted 7135/8459 = 84%, 478 KB/s], Decompressed: 6950
Downloaded: 7172 file(s) [attempted 7172/8459 = 84%, 145 KB/s], Decompressed: 7053
Downloaded: 7210 file(s) [attempted 7210/8459 = 85%, 376 KB/s], Decompressed: 7053
Downloaded: 7255 file(s) [attempted 7255/8459 = 85%, 1388 KB/s], Decompressed: 7053
Downloaded: 7296 file(s) [attempted 7296/8459 = 86%, 77 KB/s], Decompressed: 7152
Downloaded: 7337 file(s) [attempted 7337/8459 = 86%, 364 KB/s], Decompressed: 7152
Downloaded: 7378 file(s) [attempted 7378/8459 = 87%, 370 KB/s], Decompressed: 7261
Downloaded: 7419 file(s) [attempted 7419/8459 = 87%, 322 KB/s], Decompressed: 7261
Downloaded: 7456 file(s) [attempted 7456/8459 = 88%, 119 KB/s], Decompressed: 7261
Downloaded: 7497 file(s) [attempted 7497/8459 = 88%, 98 KB/s], Decompressed: 7378
Downloaded: 7538 file(s) [attempted 7538/8459 = 89%, 195 KB/s], Decompressed: 7378
Downloaded: 7579 file(s) [attempted 7579/8459 = 89%, 1434 KB/s], Decompressed: 7378
Downloaded: 7620 file(s) [attempted 7620/8459 = 90%, 102 KB/s], Decompressed: 7484
Downloaded: 7661 file(s) [attempted 7661/8459 = 90%, 72 KB/s], Decompressed: 7484
Downloaded: 7699 file(s) [attempted 7699/8459 = 91%, 58 KB/s], Decompressed: 7484
Downloaded: 7740 file(s) [attempted 7740/8459 = 91%, 241 KB/s], Decompressed: 7596
Downloaded: 7781 file(s) [attempted 7781/8459 = 91%, 308 KB/s], Decompressed: 7596
Downloaded: 7819 file(s) [attempted 7819/8459 = 92%, 93 KB/s], Decompressed: 7709
Downloaded: 7856 file(s) [attempted 7856/8459 = 92%, 23 KB/s], Decompressed: 7709
Downloaded: 7901 file(s) [attempted 7901/8459 = 93%, 232 KB/s], Decompressed: 7709
Downloaded: 7945 file(s) [attempted 7945/8459 = 93%, 37 KB/s], Decompressed: 7819
Downloaded: 7990 file(s) [attempted 7990/8459 = 94%, 73 KB/s], Decompressed: 7819
Downloaded: 8027 file(s) [attempted 8027/8459 = 94%, 158 KB/s], Decompressed: 7819
Downloaded: 8065 file(s) [attempted 8065/8459 = 95%, 229 KB/s], Decompressed: 7928
Downloaded: 8106 file(s) [attempted 8106/8459 = 95%, 71 KB/s], Decompressed: 7928
Downloaded: 8147 file(s) [attempted 8147/8459 = 96%, 350 KB/s], Decompressed: 7928
Downloaded: 8188 file(s) [attempted 8188/8459 = 96%, 224 KB/s], Decompressed: 8044
Downloaded: 8226 file(s) [attempted 8226/8459 = 97%, 907 KB/s], Decompressed: 8044
Downloaded: 8263 file(s) [attempted 8263/8459 = 97%, 893 KB/s], Decompressed: 8044
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 24 KB/s], Decompressed: 8167
Downloaded: 8345 file(s) [attempted 8345/8459 = 98%, 58 KB/s], Decompressed: 8167
Downloaded: 8390 file(s) [attempted 8390/8459 = 99%, 85 KB/s], Decompressed: 8167
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 322 KB/s], Decompressed: 8291
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 671 KB/s], Decompressed: 8291
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 671 KB/s], Decompressed: 8291

apx-runtime-resource-v1	apx-verifier-job-1758-runtime-lake_cache-814664-1788247292473723685-0	4046848	4313088	21474836480	0	0	0	0	0	0	3848957952	4092497920	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200008
stdout:
✔ [500/502] Built Iut.Foundations.Species (73s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (36s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (144s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (74s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (96s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (145s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (66s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (62s)
✔ [790/794] Built Iut.Foundations.QualitativeData (68s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (305s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1083s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (948s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (1109s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (246s)
✔ [3972/3990] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapHomotopy (879s)
✔ [3974/3992] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapComposition (1087s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1758-runtime-lean_checker-814664-1788247428161482134-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1758-runtime-blueprint_build-814664-1788254628815778036-2	946176	1458176	21474836480	0	0	0	0	0	0	793870336	891305984	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 352 ms · created 9/1/2026, 9:24:16 AM

git clone --depth 1 --branch e21-924-checkpoint-quotient --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1758-source

Cloning into '/var/lib/apodeixis/repos/job-1758-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 5s · created 9/1/2026, 9:24:16 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 298 ms · created 9/1/2026, 9:24:16 AM

git checkout c4da0a6e43a53bd75b1dd5c29c67dca383dadaeb

Note: switching to 'c4da0a6e43a53bd75b1dd5c29c67dca383dadaeb'.

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 c4da0a6 derive morphism HEq from subsingleton endpoints

lake_cacheexit 0duration 2m 16s · created 9/1/2026, 9:24:16 AM

lake exe cache get

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

✔ [8/25] Built Cache.Lean (9.5s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (135ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (173ms)
✔ [13/25] Built Cache.Lean:c.o (119ms)
✔ [15/25] Built Cache.Init (354ms)
✔ [16/25] Built Cache.IO (7.5s)
✔ [17/25] Built Cache.Init:c.o (102ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (980ms)
✔ [20/25] Built Cache.Hashing:c.o (351ms)
✔ [21/25] Built Cache.Requests (2.2s)
✔ [22/25] Built Cache.Requests:c.o (1.9s)
✔ [23/25] Built Cache.Main (1.0s)
✔ [24/25] Built Cache.Main:c.o (566ms)
✔ [25/25] Built cache:exe (7.9s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 14 file(s) [attempted 14/8459 = 0%, 2 KB/s], Decompressed: 7
Downloaded: 34 file(s) [attempted 34/8459 = 0%, 13 KB/s], Decompressed: 24
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 33 KB/s], Decompressed: 43
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 176 KB/s], Decompressed: 58
Downloaded: 117 file(s) [attempted 117/8459 = 1%, 24 KB/s], Decompressed: 93
Downloaded: 144 file(s) [attempted 144/8459 = 1%, 81 KB/s], Decompressed: 117
Downloaded: 179 file(s) [attempted 179/8459 = 2%, 364 KB/s], Decompressed: 141
Downloaded: 209 file(s) [attempted 209/8459 = 2%, 332 KB/s], Decompressed: 162
Downloaded: 237 file(s) [attempted 237/8459 = 2%, 123 KB/s], Decompressed: 192
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 194 KB/s], Decompressed: 230
Downloaded: 312 file(s) [attempted 312/8459 = 3%, 146 KB/s], Decompressed: 230
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 225 KB/s], Decompressed: 274
Downloaded: 387 file(s) [attempted 387/8459 = 4%, 1055 KB/s], Decompressed: 319
Downloaded: 418 file(s) [attempted 418/8459 = 4%, 79 KB/s], Decompressed: 391
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 923 KB/s], Decompressed: 418
Downloaded: 507 file(s) [attempted 507/8459 = 5%, 776 KB/s], Decompressed: 418
Downloaded: 548 file(s) [attempted 548/8459 = 6%, 532 KB/s], Decompressed: 463
Downloaded: 589 file(s) [attempted 589/8459 = 6%, 287 KB/s], Decompressed: 517
Downloaded: 630 file(s) [attempted 630/8459 = 7%, 599 KB/s], Decompressed: 517
Downloaded: 665 file(s) [attempted 665/8459 = 7%, 482 KB/s], Decompressed: 589
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 82 KB/s], Decompressed: 589
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 464 KB/s], Decompressed: 654
Downloaded: 788 file(s) [attempted 788/8459 = 9%, 32 KB/s], Decompressed: 654
Downloaded: 829 file(s) [attempted 829/8459 = 9%, 342 KB/s], Decompressed: 733
Downloaded: 863 file(s) [attempted 863/8459 = 10%, 287 KB/s], Decompressed: 733
Downloaded: 908 file(s) [attempted 908/8459 = 10%, 60 KB/s], Decompressed: 808
Downloaded: 949 file(s) [attempted 949/8459 = 11%, 164 KB/s], Decompressed: 808
Downloaded: 990 file(s) [attempted 990/8459 = 11%, 188 KB/s], Decompressed: 884
Downloaded: 1027 file(s) [attempted 1027/8459 = 12%, 716 KB/s], Decompressed: 884
Downloaded: 1068 file(s) [attempted 1068/8459 = 12%, 247 KB/s], Decompressed: 962
Downloaded: 1113 file(s) [attempted 1113/8459 = 13%, 182 KB/s], Decompressed: 1031
Downloaded: 1150 file(s) [attempted 1150/8459 = 13%, 357 KB/s], Decompressed: 1031
Downloaded: 1185 file(s) [attempted 1185/8459 = 14%, 36 KB/s], Decompressed: 1106
Downloaded: 1222 file(s) [attempted 1222/8459 = 14%, 185 KB/s], Decompressed: 1106
Downloaded: 1263 file(s) [attempted 1263/8459 = 14%, 27 KB/s], Decompressed: 1171
Downloaded: 1301 file(s) [attempted 1301/8459 = 15%, 182 KB/s], Decompressed: 1171
Downloaded: 1345 file(s) [attempted 1345/8459 = 15%, 140 KB/s], Decompressed: 1239
Downloaded: 1380 file(s) [attempted 1380/8459 = 16%, 247 KB/s], Decompressed: 1239
Downloaded: 1417 file(s) [attempted 1417/8459 = 16%, 859 KB/s], Decompressed: 1311
Downloaded: 1455 file(s) [attempted 1455/8459 = 17%, 360 KB/s], Decompressed: 1311
Downloaded: 1496 file(s) [attempted 1496/8459 = 17%, 197 KB/s], Decompressed: 1390
Downloaded: 1537 file(s) [attempted 1537/8459 = 18%, 337 KB/s], Decompressed: 1458
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 142 KB/s], Decompressed: 1458
Downloaded: 1612 file(s) [attempted 1612/8459 = 19%, 186 KB/s], Decompressed: 1520
Downloaded: 1650 file(s) [attempted 1650/8459 = 19%, 128 KB/s], Decompressed: 1520
Downloaded: 1687 file(s) [attempted 1687/8459 = 19%, 338 KB/s], Decompressed: 1585
Downloaded: 1728 file(s) [attempted 1728/8459 = 20%, 250 KB/s], Decompressed: 1653
Downloaded: 1769 file(s) [attempted 1769/8459 = 20%, 81 KB/s], Decompressed: 1653
Downloaded: 1810 file(s) [attempted 1810/8459 = 21%, 243 KB/s], Decompressed: 1725
Downloaded: 1851 file(s) [attempted 1851/8459 = 21%, 81 KB/s], Decompressed: 1725
Downloaded: 1886 file(s) [attempted 1886/8459 = 22%, 21 KB/s], Decompressed: 1786
Downloaded: 1930 file(s) [attempted 1930/8459 = 22%, 705 KB/s], Decompressed: 1786
Downloaded: 1968 file(s) [attempted 1968/8459 = 23%, 851 KB/s], Decompressed: 1865
Downloaded: 2006 file(s) [attempted 2006/8459 = 23%, 1444 KB/s], Decompressed: 1934
Downloaded: 2043 file(s) [attempted 2043/8459 = 24%, 2469 KB/s], Decompressed: 1934
Downloaded: 2081 file(s) [attempted 2081/8459 = 24%, 234 KB/s], Decompressed: 1934
Downloaded: 2128 file(s) [attempted 2128/8459 = 25%, 99 KB/s], Decompressed: 2005
Downloaded: 2173 file(s) [attempted 2173/8459 = 25%, 257 KB/s], Decompressed: 2005
Downloaded: 2211 file(s) [attempted 2211/8459 = 26%, 229 KB/s], Decompressed: 2101
Downloaded: 2255 file(s) [attempted 2255/8459 = 26%, 1127 KB/s], Decompressed: 2101
Downloaded: 2293 file(s) [attempted 2293/8459 = 27%, 972 KB/s], Decompressed: 2101
Downloaded: 2334 file(s) [attempted 2334/8459 = 27%, 530 KB/s], Decompressed: 2211
Downloaded: 2375 file(s) [attempted 2375/8459 = 28%, 756 KB/s], Decompressed: 2211
Downloaded: 2416 file(s) [attempted 2416/8459 = 28%, 469 KB/s], Decompressed: 2211
Downloaded: 2453 file(s) [attempted 2453/8459 = 28%, 83 KB/s], Decompressed: 2324
Downloaded: 2498 file(s) [attempted 2498/8459 = 29%, 345 KB/s], Decompressed: 2324
Downloaded: 2532 file(s) [attempted 2532/8459 = 29%, 522 KB/s], Decompressed: 2426
Downloaded: 2576 file(s) [attempted 2576/8459 = 30%, 1547 KB/s], Decompressed: 2426
Downloaded: 2617 file(s) [attempted 2617/8459 = 30%, 59 KB/s], Decompressed: 2426
Downloaded: 2658 file(s) [attempted 2658/8459 = 31%, 556 KB/s], Decompressed: 2426
Downloaded: 2700 file(s) [attempted 2700/8459 = 31%, 85 KB/s], Decompressed: 2426
Downloaded: 2737 file(s) [attempted 2737/8459 = 32%, 39 KB/s], Decompressed: 2529
Downloaded: 2778 file(s) [attempted 2778/8459 = 32%, 31 KB/s], Decompressed: 2529
Downloaded: 2823 file(s) [attempted 2823/8459 = 33%, 371 KB/s], Decompressed: 2529
Downloaded: 2860 file(s) [attempted 2860/8459 = 33%, 288 KB/s], Decompressed: 2529
Downloaded: 2901 file(s) [attempted 2901/8459 = 34%, 457 KB/s], Decompressed: 2529
Downloaded: 2935 file(s) [attempted 2935/8459 = 34%, 673 KB/s], Decompressed: 2529
Downloaded: 2983 file(s) [attempted 2983/8459 = 35%, 4 KB/s], Decompressed: 2717
Downloaded: 3035 file(s) [attempted 3035/8459 = 35%, 17 KB/s], Decompressed: 2717
Downloaded: 3083 file(s) [attempted 3083/8459 = 36%, 99 KB/s], Decompressed: 2717
Downloaded: 3134 file(s) [attempted 3134/8459 = 37%, 1633 KB/s], Decompressed: 2717
Downloaded: 3182 file(s) [attempted 3182/8459 = 37%, 506 KB/s], Decompressed: 2717
Downloaded: 3233 file(s) [attempted 3233/8459 = 38%, 1001 KB/s], Decompressed: 2717
Downloaded: 3284 file(s) [attempted 3284/8459 = 38%, 3034 KB/s], Decompressed: 2983
Downloaded: 3332 file(s) [attempted 3332/8459 = 39%, 36 KB/s], Decompressed: 2983
Downloaded: 3383 file(s) [attempted 3383/8459 = 39%, 788 KB/s], Decompressed: 2983
Downloaded: 3431 file(s) [attempted 3431/8459 = 40%, 111 KB/s], Decompressed: 2983
Downloaded: 3479 file(s) [attempted 3479/8459 = 41%, 592 KB/s], Decompressed: 2983
Downloaded: 3524 file(s) [attempted 3524/8459 = 41%, 122 KB/s], Decompressed: 2983
Downloaded: 3554 file(s) [attempted 3554/8459 = 42%, 91 KB/s], Decompressed: 2983
Downloaded: 3592 file(s) [attempted 3592/8459 = 42%, 278 KB/s], Decompressed: 2983
Downloaded: 3637 file(s) [attempted 3637/8459 = 42%, 201 KB/s], Decompressed: 3284
Downloaded: 3681 file(s) [attempted 3681/8459 = 43%, 265 KB/s], Decompressed: 3284
Downloaded: 3719 file(s) [attempted 3719/8459 = 43%, 658 KB/s], Decompressed: 3284
Downloaded: 3756 file(s) [attempted 3756/8459 = 44%, 638 KB/s], Decompressed: 3284
Downloaded: 3794 file(s) [attempted 3794/8459 = 44%, 625 KB/s], Decompressed: 3284
Downloaded: 3842 file(s) [attempted 3842/8459 = 45%, 554 KB/s], Decompressed: 3284
Downloaded: 3890 file(s) [attempted 3890/8459 = 45%, 598 KB/s], Decompressed: 3284
Downloaded: 3934 file(s) [attempted 3934/8459 = 46%, 220 KB/s], Decompressed: 3284
Downloaded: 3975 file(s) [attempted 3975/8459 = 46%, 72 KB/s], Decompressed: 3609
Downloaded: 4009 file(s) [attempted 4009/8459 = 47%, 745 KB/s], Decompressed: 3609
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 1022 KB/s], Decompressed: 3609
Downloaded: 4085 file(s) [attempted 4085/8459 = 48%, 473 KB/s], Decompressed: 3609
Downloaded: 4122 file(s) [attempted 4122/8459 = 48%, 143 KB/s], Decompressed: 3609
Downloaded: 4156 file(s) [attempted 4156/8459 = 49%, 103 KB/s], Decompressed: 3609
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 389 KB/s], Decompressed: 3609
Downloaded: 4221 file(s) [attempted 4221/8459 = 49%, 247 KB/s], Decompressed: 3609
Downloaded: 4259 file(s) [attempted 4259/8459 = 50%, 374 KB/s], Decompressed: 3941
Downloaded: 4290 file(s) [attempted 4290/8459 = 50%, 113 KB/s], Decompressed: 3941
Downloaded: 4324 file(s) [attempted 4324/8459 = 51%, 195 KB/s], Decompressed: 3941
Downloaded: 4351 file(s) [attempted 4351/8459 = 51%, 124 KB/s], Decompressed: 3941
Downloaded: 4379 file(s) [attempted 4379/8459 = 51%, 188 KB/s], Decompressed: 3941
Downloaded: 4406 file(s) [attempted 4406/8459 = 52%, 475 KB/s], Decompressed: 3941
Downloaded: 4409 file(s) [attempted 4409/8459 = 52%, 246 KB/s], Decompressed: 4225
Downloaded: 4444 file(s) [attempted 4444/8459 = 52%, 90 KB/s], Decompressed: 4225
Downloaded: 4478 file(s) [attempted 4478/8459 = 52%, 132 KB/s], Decompressed: 4225
Downloaded: 4512 file(s) [attempted 4512/8459 = 53%, 116 KB/s], Decompressed: 4409
Downloaded: 4550 file(s) [attempted 4550/8459 = 53%, 33 KB/s], Decompressed: 4512
Downloaded: 4587 file(s) [attempted 4587/8459 = 54%, 7 KB/s], Decompressed: 4550
Downloaded: 4618 file(s) [attempted 4618/8459 = 54%, 14 KB/s], Decompressed: 4587
Downloaded: 4652 file(s) [attempted 4652/8459 = 54%, 29 KB/s], Decompressed: 4618
Downloaded: 4704 file(s) [attempted 4704/8459 = 55%, 5 KB/s], Decompressed: 4618
Downloaded: 4731 file(s) [attempted 4731/8459 = 55%, 227 KB/s], Decompressed: 4652
Downloaded: 4769 file(s) [attempted 4769/8459 = 56%, 587 KB/s], Decompressed: 4652
Downloaded: 4810 file(s) [attempted 4810/8459 = 56%, 175 KB/s], Decompressed: 4652
Downloaded: 4857 file(s) [attempted 4857/8459 = 57%, 57 KB/s], Decompressed: 4731
Downloaded: 4905 file(s) [attempted 4905/8459 = 57%, 57 KB/s], Decompressed: 4731
Downloaded: 4953 file(s) [attempted 4953/8459 = 58%, 354 KB/s], Decompressed: 4823
Downloaded: 5004 file(s) [attempted 5004/8459 = 59%, 183 KB/s], Decompressed: 4823
Downloaded: 5052 file(s) [attempted 5052/8459 = 59%, 134 KB/s], Decompressed: 4919
Downloaded: 5093 file(s) [attempted 5093/8459 = 60%, 172 KB/s], Decompressed: 4919
Downloaded: 5131 file(s) [attempted 5131/8459 = 60%, 67 KB/s], Decompressed: 4919
Downloaded: 5162 file(s) [attempted 5162/8459 = 61%, 451 KB/s], Decompressed: 5032
Downloaded: 5206 file(s) [attempted 5206/8459 = 61%, 595 KB/s], Decompressed: 5032
Downloaded: 5254 file(s) [attempted 5254/8459 = 62%, 136 KB/s], Decompressed: 5148
Downloaded: 5299 file(s) [attempted 5299/8459 = 62%, 58 KB/s], Decompressed: 5148
Downloaded: 5343 file(s) [attempted 5343/8459 = 63%, 283 KB/s], Decompressed: 5251
Downloaded: 5377 file(s) [attempted 5377/8459 = 63%, 383 KB/s], Decompressed: 5251
Downloaded: 5411 file(s) [attempted 5411/8459 = 63%, 166 KB/s], Decompressed: 5251
Downloaded: 5456 file(s) [attempted 5456/8459 = 64%, 854 KB/s], Decompressed: 5343
Downloaded: 5500 file(s) [attempted 5500/8459 = 65%, 290 KB/s], Decompressed: 5343
Downloaded: 5541 file(s) [attempted 5541/8459 = 65%, 436 KB/s], Decompressed: 5425
Downloaded: 5586 file(s) [attempted 5586/8459 = 66%, 331 KB/s], Decompressed: 5507
Downloaded: 5620 file(s) [attempted 5620/8459 = 66%, 172 KB/s], Decompressed: 5507
Downloaded: 5658 file(s) [attempted 5658/8459 = 66%, 42 KB/s], Decompressed: 5586
Downloaded: 5699 file(s) [attempted 5699/8459 = 67%, 106 KB/s], Decompressed: 5586
Downloaded: 5740 file(s) [attempted 5740/8459 = 67%, 252 KB/s], Decompressed: 5651
Downloaded: 5784 file(s) [attempted 5784/8459 = 68%, 142 KB/s], Decompressed: 5709
Downloaded: 5822 file(s) [attempted 5822/8459 = 68%, 101 KB/s], Decompressed: 5709
Downloaded: 5859 file(s) [attempted 5859/8459 = 69%, 458 KB/s], Decompressed: 5767
Downloaded: 5897 file(s) [attempted 5897/8459 = 69%, 147 KB/s], Decompressed: 5825
Downloaded: 5945 file(s) [attempted 5945/8459 = 70%, 104 KB/s], Decompressed: 5825
Downloaded: 5993 file(s) [attempted 5993/8459 = 70%, 55 KB/s], Decompressed: 5883
Downloaded: 6037 file(s) [attempted 6037/8459 = 71%, 58 KB/s], Decompressed: 5952
Downloaded: 6075 file(s) [attempted 6075/8459 = 71%, 225 KB/s], Decompressed: 5952
Downloaded: 6109 file(s) [attempted 6109/8459 = 72%, 183 KB/s], Decompressed: 6030
Downloaded: 6153 file(s) [attempted 6153/8459 = 72%, 532 KB/s], Decompressed: 6030
Downloaded: 6194 file(s) [attempted 6194/8459 = 73%, 439 KB/s], Decompressed: 6102
Downloaded: 6242 file(s) [attempted 6242/8459 = 73%, 189 KB/s], Decompressed: 6102
Downloaded: 6290 file(s) [attempted 6290/8459 = 74%, 367 KB/s], Decompressed: 6191
Downloaded: 6331 file(s) [attempted 6331/8459 = 74%, 51 KB/s], Decompressed: 6191
Downloaded: 6365 file(s) [attempted 6365/8459 = 75%, 276 KB/s], Decompressed: 6266
Downloaded: 6403 file(s) [attempted 6403/8459 = 75%, 366 KB/s], Decompressed: 6266
Downloaded: 6448 file(s) [attempted 6448/8459 = 76%, 38 KB/s], Decompressed: 6345
Downloaded: 6492 file(s) [attempted 6492/8459 = 76%, 451 KB/s], Decompressed: 6345
Downloaded: 6536 file(s) [attempted 6536/8459 = 77%, 613 KB/s], Decompressed: 6427
Downloaded: 6574 file(s) [attempted 6574/8459 = 77%, 23 KB/s], Decompressed: 6495
Downloaded: 6608 file(s) [attempted 6608/8459 = 78%, 306 KB/s], Decompressed: 6495
Downloaded: 6653 file(s) [attempted 6653/8459 = 78%, 991 KB/s], Decompressed: 6560
Downloaded: 6697 file(s) [attempted 6697/8459 = 79%, 1488 KB/s], Decompressed: 6560
Downloaded: 6742 file(s) [attempted 6742/8459 = 79%, 719 KB/s], Decompressed: 6560
Downloaded: 6776 file(s) [attempted 6776/8459 = 80%, 40 KB/s], Decompressed: 6653
Downloaded: 6813 file(s) [attempted 6813/8459 = 80%, 1245 KB/s], Decompressed: 6653
Downloaded: 6854 file(s) [attempted 6854/8459 = 81%, 116 KB/s], Decompressed: 6748
Downloaded: 6902 file(s) [attempted 6902/8459 = 81%, 106 KB/s], Decompressed: 6748
Downloaded: 6950 file(s) [attempted 6950/8459 = 82%, 208 KB/s], Decompressed: 6851
Downloaded: 7001 file(s) [attempted 7001/8459 = 82%, 1889 KB/s], Decompressed: 6851
Downloaded: 7049 file(s) [attempted 7049/8459 = 83%, 128 KB/s], Decompressed: 6851
Downloaded: 7097 file(s) [attempted 7097/8459 = 83%, 191 KB/s], Decompressed: 6950
Downloaded: 7135 file(s) [attempted 7135/8459 = 84%, 478 KB/s], Decompressed: 6950
Downloaded: 7172 file(s) [attempted 7172/8459 = 84%, 145 KB/s], Decompressed: 7053
Downloaded: 7210 file(s) [attempted 7210/8459 = 85%, 376 KB/s], Decompressed: 7053
Downloaded: 7255 file(s) [attempted 7255/8459 = 85%, 1388 KB/s], Decompressed: 7053
Downloaded: 7296 file(s) [attempted 7296/8459 = 86%, 77 KB/s], Decompressed: 7152
Downloaded: 7337 file(s) [attempted 7337/8459 = 86%, 364 KB/s], Decompressed: 7152
Downloaded: 7378 file(s) [attempted 7378/8459 = 87%, 370 KB/s], Decompressed: 7261
Downloaded: 7419 file(s) [attempted 7419/8459 = 87%, 322 KB/s], Decompressed: 7261
Downloaded: 7456 file(s) [attempted 7456/8459 = 88%, 119 KB/s], Decompressed: 7261
Downloaded: 7497 file(s) [attempted 7497/8459 = 88%, 98 KB/s], Decompressed: 7378
Downloaded: 7538 file(s) [attempted 7538/8459 = 89%, 195 KB/s], Decompressed: 7378
Downloaded: 7579 file(s) [attempted 7579/8459 = 89%, 1434 KB/s], Decompressed: 7378
Downloaded: 7620 file(s) [attempted 7620/8459 = 90%, 102 KB/s], Decompressed: 7484
Downloaded: 7661 file(s) [attempted 7661/8459 = 90%, 72 KB/s], Decompressed: 7484
Downloaded: 7699 file(s) [attempted 7699/8459 = 91%, 58 KB/s], Decompressed: 7484
Downloaded: 7740 file(s) [attempted 7740/8459 = 91%, 241 KB/s], Decompressed: 7596
Downloaded: 7781 file(s) [attempted 7781/8459 = 91%, 308 KB/s], Decompressed: 7596
Downloaded: 7819 file(s) [attempted 7819/8459 = 92%, 93 KB/s], Decompressed: 7709
Downloaded: 7856 file(s) [attempted 7856/8459 = 92%, 23 KB/s], Decompressed: 7709
Downloaded: 7901 file(s) [attempted 7901/8459 = 93%, 232 KB/s], Decompressed: 7709
Downloaded: 7945 file(s) [attempted 7945/8459 = 93%, 37 KB/s], Decompressed: 7819
Downloaded: 7990 file(s) [attempted 7990/8459 = 94%, 73 KB/s], Decompressed: 7819
Downloaded: 8027 file(s) [attempted 8027/8459 = 94%, 158 KB/s], Decompressed: 7819
Downloaded: 8065 file(s) [attempted 8065/8459 = 95%, 229 KB/s], Decompressed: 7928
Downloaded: 8106 file(s) [attempted 8106/8459 = 95%, 71 KB/s], Decompressed: 7928
Downloaded: 8147 file(s) [attempted 8147/8459 = 96%, 350 KB/s], Decompressed: 7928
Downloaded: 8188 file(s) [attempted 8188/8459 = 96%, 224 KB/s], Decompressed: 8044
Downloaded: 8226 file(s) [attempted 8226/8459 = 97%, 907 KB/s], Decompressed: 8044
Downloaded: 8263 file(s) [attempted 8263/8459 = 97%, 893 KB/s], Decompressed: 8044
Downloaded: 8304 file(s) [attempted 8304/8459 = 98%, 24 KB/s], Decompressed: 8167
Downloaded: 8345 file(s) [attempted 8345/8459 = 98%, 58 KB/s], Decompressed: 8167
Downloaded: 8390 file(s) [attempted 8390/8459 = 99%, 85 KB/s], Decompressed: 8167
Downloaded: 8427 file(s) [attempted 8427/8459 = 99%, 322 KB/s], Decompressed: 8291
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 671 KB/s], Decompressed: 8291
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 671 KB/s], Decompressed: 8291

apx-runtime-resource-v1	apx-verifier-job-1758-runtime-lake_cache-814664-1788247292473723685-0	4046848	4313088	21474836480	0	0	0	0	0	0	3848957952	4092497920	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 9/1/2026, 9:24:16 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (73s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (36s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (144s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (74s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (96s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (145s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (66s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (62s)
✔ [790/794] Built Iut.Foundations.QualitativeData (68s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (305s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1083s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (948s)
✔ [3964/3966] Built Iut.Foundations.OrbicurvePullback (1109s)
✔ [3965/3968] Built Iut.Foundations.EtaleThetaCovers (246s)
✔ [3972/3990] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapHomotopy (879s)
✔ [3974/3992] Built Iut.Foundations.SourceOrbicurveFiniteEtaleCoverMapComposition (1087s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1758-runtime-lean_checker-814664-1788247428161482134-1 on attempt 1

blueprint_buildexit 1duration 24s · created 9/1/2026, 9:24:16 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1758-runtime-blueprint_build-814664-1788254628815778036-2	946176	1458176	21474836480	0	0	0	0	0	0	793870336	891305984	21474836480	0	0	0	0	0	0