Verification run

Run 1295

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

failedcommit 756b19c967b4toolchain lean-v4-30-0prover leantook 2h 4m · 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-target --single-branch https://github.com/promachina/iut-lean.git /var/lib/apodeixis/repos/job-1754-source
exit_code=Some(128) duration_ms=353
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1754-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=3626
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1754-source'...


$ git checkout 756b19c967b429f71cd2c6c63acfc5425eabca6a
exit_code=Some(0) duration_ms=199
stderr:
Note: switching to '756b19c967b429f71cd2c6c63acfc5425eabca6a'.

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 756b19c e21-924-checkpoint-target | expose literal inversion candidate projection

Resolved source revision: 756b19c967b429f71cd2c6c63acfc5425eabca6a

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=756b19c967b429f71cd2c6c63acfc5425eabca6a provenance={"branch":"e21-924-checkpoint-target","checked_out_revision":"756b19c967b429f71cd2c6c63acfc5425eabca6a","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"756b19c967b429f71cd2c6c63acfc5425eabca6a","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=6634 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=194026
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.2s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (108ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (167ms)
✔ [13/25] Built Cache.Lean:c.o (138ms)
✔ [15/25] Built Cache.Init (367ms)
✔ [16/25] Built Cache.IO (7.6s)
✔ [17/25] Built Cache.Init:c.o (79ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (899ms)
✔ [20/25] Built Cache.Hashing:c.o (371ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (980ms)
✔ [24/25] Built Cache.Main:c.o (524ms)
✔ [25/25] Built cache:exe (12s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 10 KB/s], Decompressed: 5
Downloaded: 31 file(s) [attempted 31/8459 = 0%, 15 KB/s], Decompressed: 30
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 28 KB/s], Decompressed: 47
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 191 KB/s], Decompressed: 58
Downloaded: 113 file(s) [attempted 113/8459 = 1%, 254 KB/s], Decompressed: 58
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 88 KB/s], Decompressed: 68
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 519 KB/s], Decompressed: 68
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 297 KB/s], Decompressed: 134
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 558 KB/s], Decompressed: 134
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 461 KB/s], Decompressed: 134
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 200 KB/s], Decompressed: 203
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 84 KB/s], Decompressed: 203
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 245 KB/s], Decompressed: 203
Downloaded: 428 file(s) [attempted 428/8459 = 5%, 539 KB/s], Decompressed: 281
Downloaded: 459 file(s) [attempted 459/8459 = 5%, 468 KB/s], Decompressed: 281
Downloaded: 497 file(s) [attempted 497/8459 = 5%, 850 KB/s], Decompressed: 281
Downloaded: 541 file(s) [attempted 541/8459 = 6%, 64 KB/s], Decompressed: 281
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 506 KB/s], Decompressed: 281
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 78 KB/s], Decompressed: 422
Downloaded: 668 file(s) [attempted 668/8459 = 7%, 662 KB/s], Decompressed: 422
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 1188 KB/s], Decompressed: 422
Downloaded: 750 file(s) [attempted 750/8459 = 8%, 61 KB/s], Decompressed: 422
Downloaded: 791 file(s) [attempted 791/8459 = 9%, 1507 KB/s], Decompressed: 422
Downloaded: 829 file(s) [attempted 829/8459 = 9%, 612 KB/s], Decompressed: 589
Downloaded: 873 file(s) [attempted 873/8459 = 10%, 158 KB/s], Decompressed: 589
Downloaded: 914 file(s) [attempted 914/8459 = 10%, 356 KB/s], Decompressed: 589
Downloaded: 956 file(s) [attempted 956/8459 = 11%, 30 KB/s], Decompressed: 589
Downloaded: 997 file(s) [attempted 997/8459 = 11%, 138 KB/s], Decompressed: 589
Downloaded: 1041 file(s) [attempted 1041/8459 = 12%, 45 KB/s], Decompressed: 815
Downloaded: 1082 file(s) [attempted 1082/8459 = 12%, 264 KB/s], Decompressed: 815
Downloaded: 1123 file(s) [attempted 1123/8459 = 13%, 336 KB/s], Decompressed: 815
Downloaded: 1161 file(s) [attempted 1161/8459 = 13%, 344 KB/s], Decompressed: 815
Downloaded: 1202 file(s) [attempted 1202/8459 = 14%, 1123 KB/s], Decompressed: 1027
Downloaded: 1246 file(s) [attempted 1246/8459 = 14%, 103 KB/s], Decompressed: 1027
Downloaded: 1287 file(s) [attempted 1287/8459 = 15%, 107 KB/s], Decompressed: 1027
Downloaded: 1328 file(s) [attempted 1328/8459 = 15%, 87 KB/s], Decompressed: 1027
Downloaded: 1376 file(s) [attempted 1376/8459 = 16%, 337 KB/s], Decompressed: 1192
Downloaded: 1417 file(s) [attempted 1417/8459 = 16%, 104 KB/s], Decompressed: 1192
Downloaded: 1451 file(s) [attempted 1451/8459 = 17%, 166 KB/s], Decompressed: 1192
Downloaded: 1492 file(s) [attempted 1492/8459 = 17%, 197 KB/s], Decompressed: 1192
Downloaded: 1533 file(s) [attempted 1533/8459 = 18%, 117 KB/s], Decompressed: 1352
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 411 KB/s], Decompressed: 1352
Downloaded: 1616 file(s) [attempted 1616/8459 = 19%, 184 KB/s], Decompressed: 1352
Downloaded: 1653 file(s) [attempted 1653/8459 = 19%, 988 KB/s], Decompressed: 1499
Downloaded: 1691 file(s) [attempted 1691/8459 = 19%, 188 KB/s], Decompressed: 1499
Downloaded: 1732 file(s) [attempted 1732/8459 = 20%, 438 KB/s], Decompressed: 1629
Downloaded: 1776 file(s) [attempted 1776/8459 = 20%, 134 KB/s], Decompressed: 1629
Downloaded: 1817 file(s) [attempted 1817/8459 = 21%, 376 KB/s], Decompressed: 1629
Downloaded: 1858 file(s) [attempted 1858/8459 = 21%, 394 KB/s], Decompressed: 1732
Downloaded: 1899 file(s) [attempted 1899/8459 = 22%, 130 KB/s], Decompressed: 1732
Downloaded: 1937 file(s) [attempted 1937/8459 = 22%, 91 KB/s], Decompressed: 1831
Downloaded: 1975 file(s) [attempted 1975/8459 = 23%, 49 KB/s], Decompressed: 1831
Downloaded: 2016 file(s) [attempted 2016/8459 = 23%, 50 KB/s], Decompressed: 1831
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 40 KB/s], Decompressed: 1927
Downloaded: 2098 file(s) [attempted 2098/8459 = 24%, 52 KB/s], Decompressed: 1927
Downloaded: 2142 file(s) [attempted 2142/8459 = 25%, 115 KB/s], Decompressed: 2022
Downloaded: 2187 file(s) [attempted 2187/8459 = 25%, 36 KB/s], Decompressed: 2022
Downloaded: 2221 file(s) [attempted 2221/8459 = 26%, 260 KB/s], Decompressed: 2022
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 210 KB/s], Decompressed: 2142
Downloaded: 2306 file(s) [attempted 2306/8459 = 27%, 1368 KB/s], Decompressed: 2142
Downloaded: 2347 file(s) [attempted 2347/8459 = 27%, 822 KB/s], Decompressed: 2142
Downloaded: 2388 file(s) [attempted 2388/8459 = 28%, 265 KB/s], Decompressed: 2258
Downloaded: 2429 file(s) [attempted 2429/8459 = 28%, 229 KB/s], Decompressed: 2258
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 58 KB/s], Decompressed: 2358
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 356 KB/s], Decompressed: 2358
Downloaded: 2549 file(s) [attempted 2549/8459 = 30%, 177 KB/s], Decompressed: 2358
Downloaded: 2590 file(s) [attempted 2590/8459 = 30%, 346 KB/s], Decompressed: 2460
Downloaded: 2628 file(s) [attempted 2628/8459 = 31%, 24 KB/s], Decompressed: 2460
Downloaded: 2662 file(s) [attempted 2662/8459 = 31%, 51 KB/s], Decompressed: 2559
Downloaded: 2703 file(s) [attempted 2703/8459 = 31%, 81 KB/s], Decompressed: 2559
Downloaded: 2747 file(s) [attempted 2747/8459 = 32%, 35 KB/s], Decompressed: 2559
Downloaded: 2788 file(s) [attempted 2788/8459 = 32%, 408 KB/s], Decompressed: 2652
Downloaded: 2829 file(s) [attempted 2829/8459 = 33%, 38 KB/s], Decompressed: 2652
Downloaded: 2870 file(s) [attempted 2870/8459 = 33%, 2514 KB/s], Decompressed: 2754
Downloaded: 2908 file(s) [attempted 2908/8459 = 34%, 396 KB/s], Decompressed: 2754
Downloaded: 2953 file(s) [attempted 2953/8459 = 34%, 96 KB/s], Decompressed: 2754
Downloaded: 2990 file(s) [attempted 2990/8459 = 35%, 214 KB/s], Decompressed: 2857
Downloaded: 3035 file(s) [attempted 3035/8459 = 35%, 159 KB/s], Decompressed: 2857
Downloaded: 3079 file(s) [attempted 3079/8459 = 36%, 917 KB/s], Decompressed: 2857
Downloaded: 3117 file(s) [attempted 3117/8459 = 36%, 164 KB/s], Decompressed: 2976
Downloaded: 3154 file(s) [attempted 3154/8459 = 37%, 245 KB/s], Decompressed: 2976
Downloaded: 3195 file(s) [attempted 3195/8459 = 37%, 88 KB/s], Decompressed: 2976
Downloaded: 3236 file(s) [attempted 3236/8459 = 38%, 1005 KB/s], Decompressed: 3093
Downloaded: 3277 file(s) [attempted 3277/8459 = 38%, 915 KB/s], Decompressed: 3093
Downloaded: 3315 file(s) [attempted 3315/8459 = 39%, 280 KB/s], Decompressed: 3093
Downloaded: 3359 file(s) [attempted 3359/8459 = 39%, 50 KB/s], Decompressed: 3093
Downloaded: 3407 file(s) [attempted 3407/8459 = 40%, 73 KB/s], Decompressed: 3093
Downloaded: 3411 file(s) [attempted 3411/8459 = 40%, 10 KB/s], Decompressed: 3236
Downloaded: 3459 file(s) [attempted 3459/8459 = 40%, 4 KB/s], Decompressed: 3236
Downloaded: 3510 file(s) [attempted 3510/8459 = 41%, 680 KB/s], Decompressed: 3236
Downloaded: 3561 file(s) [attempted 3561/8459 = 42%, 220 KB/s], Decompressed: 3236
Downloaded: 3609 file(s) [attempted 3609/8459 = 42%, 637 KB/s], Decompressed: 3411
Downloaded: 3660 file(s) [attempted 3660/8459 = 43%, 58 KB/s], Decompressed: 3411
Downloaded: 3708 file(s) [attempted 3708/8459 = 43%, 178 KB/s], Decompressed: 3411
Downloaded: 3760 file(s) [attempted 3760/8459 = 44%, 40 KB/s], Decompressed: 3411
Downloaded: 3807 file(s) [attempted 3807/8459 = 45%, 435 KB/s], Decompressed: 3609
Downloaded: 3855 file(s) [attempted 3855/8459 = 45%, 83 KB/s], Decompressed: 3609
Downloaded: 3893 file(s) [attempted 3893/8459 = 46%, 336 KB/s], Decompressed: 3609
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 179 KB/s], Decompressed: 3609
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 292 KB/s], Decompressed: 3609
Downloaded: 4006 file(s) [attempted 4006/8459 = 47%, 33 KB/s], Decompressed: 3807
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 74 KB/s], Decompressed: 3807
Downloaded: 4091 file(s) [attempted 4091/8459 = 48%, 50 KB/s], Decompressed: 3807
Downloaded: 4129 file(s) [attempted 4129/8459 = 48%, 147 KB/s], Decompressed: 3965
Downloaded: 4166 file(s) [attempted 4166/8459 = 49%, 452 KB/s], Decompressed: 3965
Downloaded: 4204 file(s) [attempted 4204/8459 = 49%, 189 KB/s], Decompressed: 3965
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 501 KB/s], Decompressed: 4108
Downloaded: 4290 file(s) [attempted 4290/8459 = 50%, 128 KB/s], Decompressed: 4108
Downloaded: 4332 file(s) [attempted 4332/8459 = 51%, 177 KB/s], Decompressed: 4108
Downloaded: 4372 file(s) [attempted 4372/8459 = 51%, 44 KB/s], Decompressed: 4108
Downloaded: 4413 file(s) [attempted 4413/8459 = 52%, 442 KB/s], Decompressed: 4245
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 100 KB/s], Decompressed: 4245
Downloaded: 4491 file(s) [attempted 4491/8459 = 53%, 62 KB/s], Decompressed: 4375
Downloaded: 4532 file(s) [attempted 4532/8459 = 53%, 55 KB/s], Decompressed: 4375
Downloaded: 4577 file(s) [attempted 4577/8459 = 54%, 518 KB/s], Decompressed: 4481
Downloaded: 4618 file(s) [attempted 4618/8459 = 54%, 926 KB/s], Decompressed: 4481
Downloaded: 4655 file(s) [attempted 4655/8459 = 55%, 56 KB/s], Decompressed: 4481
Downloaded: 4697 file(s) [attempted 4697/8459 = 55%, 127 KB/s], Decompressed: 4577
Downloaded: 4734 file(s) [attempted 4734/8459 = 55%, 380 KB/s], Decompressed: 4577
Downloaded: 4779 file(s) [attempted 4779/8459 = 56%, 140 KB/s], Decompressed: 4673
Downloaded: 4823 file(s) [attempted 4823/8459 = 57%, 265 KB/s], Decompressed: 4673
Downloaded: 4867 file(s) [attempted 4867/8459 = 57%, 162 KB/s], Decompressed: 4673
Downloaded: 4909 file(s) [attempted 4909/8459 = 58%, 276 KB/s], Decompressed: 4779
Downloaded: 4953 file(s) [attempted 4953/8459 = 58%, 115 KB/s], Decompressed: 4779
Downloaded: 4991 file(s) [attempted 4991/8459 = 59%, 1200 KB/s], Decompressed: 4874
Downloaded: 5028 file(s) [attempted 5028/8459 = 59%, 453 KB/s], Decompressed: 4874
Downloaded: 5069 file(s) [attempted 5069/8459 = 59%, 2546 KB/s], Decompressed: 4967
Downloaded: 5114 file(s) [attempted 5114/8459 = 60%, 232 KB/s], Decompressed: 4967
Downloaded: 5158 file(s) [attempted 5158/8459 = 60%, 62 KB/s], Decompressed: 5059
Downloaded: 5196 file(s) [attempted 5196/8459 = 61%, 36 KB/s], Decompressed: 5059
Downloaded: 5237 file(s) [attempted 5237/8459 = 61%, 422 KB/s], Decompressed: 5151
Downloaded: 5278 file(s) [attempted 5278/8459 = 62%, 380 KB/s], Decompressed: 5151
Downloaded: 5319 file(s) [attempted 5319/8459 = 62%, 389 KB/s], Decompressed: 5237
Downloaded: 5363 file(s) [attempted 5363/8459 = 63%, 752 KB/s], Decompressed: 5237
Downloaded: 5401 file(s) [attempted 5401/8459 = 63%, 80 KB/s], Decompressed: 5237
Downloaded: 5439 file(s) [attempted 5439/8459 = 64%, 607 KB/s], Decompressed: 5319
Downloaded: 5480 file(s) [attempted 5480/8459 = 64%, 69 KB/s], Decompressed: 5319
Downloaded: 5517 file(s) [attempted 5517/8459 = 65%, 453 KB/s], Decompressed: 5415
Downloaded: 5565 file(s) [attempted 5565/8459 = 65%, 425 KB/s], Decompressed: 5415
Downloaded: 5613 file(s) [attempted 5613/8459 = 66%, 128 KB/s], Decompressed: 5500
Downloaded: 5651 file(s) [attempted 5651/8459 = 66%, 524 KB/s], Decompressed: 5572
Downloaded: 5688 file(s) [attempted 5688/8459 = 67%, 146 KB/s], Decompressed: 5572
Downloaded: 5729 file(s) [attempted 5729/8459 = 67%, 663 KB/s], Decompressed: 5637
Downloaded: 5770 file(s) [attempted 5770/8459 = 68%, 120 KB/s], Decompressed: 5705
Downloaded: 5815 file(s) [attempted 5815/8459 = 68%, 492 KB/s], Decompressed: 5705
Downloaded: 5856 file(s) [attempted 5856/8459 = 69%, 371 KB/s], Decompressed: 5767
Downloaded: 5900 file(s) [attempted 5900/8459 = 69%, 48 KB/s], Decompressed: 5822
Downloaded: 5937 file(s) [attempted 5937/8459 = 70%, 839 KB/s], Decompressed: 5869
Downloaded: 5975 file(s) [attempted 5975/8459 = 70%, 148 KB/s], Decompressed: 5869
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 272 KB/s], Decompressed: 5924
Downloaded: 6057 file(s) [attempted 6057/8459 = 71%, 1240 KB/s], Decompressed: 5979
Downloaded: 6099 file(s) [attempted 6099/8459 = 72%, 175 KB/s], Decompressed: 6034
Downloaded: 6140 file(s) [attempted 6140/8459 = 72%, 1014 KB/s], Decompressed: 6034
Downloaded: 6181 file(s) [attempted 6181/8459 = 73%, 41 KB/s], Decompressed: 6092
Downloaded: 6218 file(s) [attempted 6218/8459 = 73%, 86 KB/s], Decompressed: 6153
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 87 KB/s], Decompressed: 6153
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 1050 KB/s], Decompressed: 6215
Downloaded: 6341 file(s) [attempted 6341/8459 = 74%, 204 KB/s], Decompressed: 6268
Downloaded: 6379 file(s) [attempted 6379/8459 = 75%, 241 KB/s], Decompressed: 6268
Downloaded: 6417 file(s) [attempted 6417/8459 = 75%, 478 KB/s], Decompressed: 6324
Downloaded: 6458 file(s) [attempted 6458/8459 = 76%, 176 KB/s], Decompressed: 6324
Downloaded: 6505 file(s) [attempted 6505/8459 = 76%, 289 KB/s], Decompressed: 6406
Downloaded: 6553 file(s) [attempted 6553/8459 = 77%, 107 KB/s], Decompressed: 6406
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 383 KB/s], Decompressed: 6492
Downloaded: 6632 file(s) [attempted 6632/8459 = 78%, 94 KB/s], Decompressed: 6492
Downloaded: 6666 file(s) [attempted 6666/8459 = 78%, 385 KB/s], Decompressed: 6574
Downloaded: 6707 file(s) [attempted 6707/8459 = 79%, 445 KB/s], Decompressed: 6574
Downloaded: 6752 file(s) [attempted 6752/8459 = 79%, 305 KB/s], Decompressed: 6652
Downloaded: 6789 file(s) [attempted 6789/8459 = 80%, 367 KB/s], Decompressed: 6652
Downloaded: 6830 file(s) [attempted 6830/8459 = 80%, 55 KB/s], Decompressed: 6724
Downloaded: 6868 file(s) [attempted 6868/8459 = 81%, 109 KB/s], Decompressed: 6796
Downloaded: 6906 file(s) [attempted 6906/8459 = 81%, 324 KB/s], Decompressed: 6796
Downloaded: 6953 file(s) [attempted 6953/8459 = 82%, 387 KB/s], Decompressed: 6861
Downloaded: 6994 file(s) [attempted 6994/8459 = 82%, 1716 KB/s], Decompressed: 6926
Downloaded: 7032 file(s) [attempted 7032/8459 = 83%, 1821 KB/s], Decompressed: 6926
Downloaded: 7070 file(s) [attempted 7070/8459 = 83%, 790 KB/s], Decompressed: 6994
Downloaded: 7114 file(s) [attempted 7114/8459 = 84%, 165 KB/s], Decompressed: 6994
Downloaded: 7155 file(s) [attempted 7155/8459 = 84%, 95 KB/s], Decompressed: 7059
Downloaded: 7196 file(s) [attempted 7196/8459 = 85%, 45 KB/s], Decompressed: 7118
Downloaded: 7234 file(s) [attempted 7234/8459 = 85%, 1145 KB/s], Decompressed: 7169
Downloaded: 7271 file(s) [attempted 7271/8459 = 85%, 39 KB/s], Decompressed: 7169
Downloaded: 7316 file(s) [attempted 7316/8459 = 86%, 1135 KB/s], Decompressed: 7224
Downloaded: 7360 file(s) [attempted 7360/8459 = 87%, 140 KB/s], Decompressed: 7285
Downloaded: 7398 file(s) [attempted 7398/8459 = 87%, 1975 KB/s], Decompressed: 7285
Downloaded: 7439 file(s) [attempted 7439/8459 = 87%, 94 KB/s], Decompressed: 7360
Downloaded: 7480 file(s) [attempted 7480/8459 = 88%, 146 KB/s], Decompressed: 7360
Downloaded: 7514 file(s) [attempted 7514/8459 = 88%, 67 KB/s], Decompressed: 7429
Downloaded: 7552 file(s) [attempted 7552/8459 = 89%, 50 KB/s], Decompressed: 7429
Downloaded: 7593 file(s) [attempted 7593/8459 = 89%, 876 KB/s], Decompressed: 7494
Downloaded: 7634 file(s) [attempted 7634/8459 = 90%, 148 KB/s], Decompressed: 7494
Downloaded: 7678 file(s) [attempted 7678/8459 = 90%, 658 KB/s], Decompressed: 7565
Downloaded: 7723 file(s) [attempted 7723/8459 = 91%, 3986 KB/s], Decompressed: 7565
Downloaded: 7757 file(s) [attempted 7757/8459 = 91%, 132 KB/s], Decompressed: 7654
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 169 KB/s], Decompressed: 7654
Downloaded: 7839 file(s) [attempted 7839/8459 = 92%, 1108 KB/s], Decompressed: 7743
Downloaded: 7883 file(s) [attempted 7883/8459 = 93%, 992 KB/s], Decompressed: 7743
Downloaded: 7928 file(s) [attempted 7928/8459 = 93%, 1071 KB/s], Decompressed: 7832
Downloaded: 7966 file(s) [attempted 7966/8459 = 94%, 104 KB/s], Decompressed: 7832
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 207 KB/s], Decompressed: 7832
Downloaded: 8044 file(s) [attempted 8044/8459 = 95%, 424 KB/s], Decompressed: 7925
Downloaded: 8089 file(s) [attempted 8089/8459 = 95%, 141 KB/s], Decompressed: 7925
Downloaded: 8130 file(s) [attempted 8130/8459 = 96%, 151 KB/s], Decompressed: 8013
Downloaded: 8171 file(s) [attempted 8171/8459 = 96%, 162 KB/s], Decompressed: 8013
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 398 KB/s], Decompressed: 8095
Downloaded: 8253 file(s) [attempted 8253/8459 = 97%, 169 KB/s], Decompressed: 8095
Downloaded: 8290 file(s) [attempted 8290/8459 = 98%, 490 KB/s], Decompressed: 8181
Downloaded: 8331 file(s) [attempted 8331/8459 = 98%, 518 KB/s], Decompressed: 8181
Downloaded: 8372 file(s) [attempted 8372/8459 = 98%, 113 KB/s], Decompressed: 8263
Downloaded: 8410 file(s) [attempted 8410/8459 = 99%, 997 KB/s], Decompressed: 8263
Downloaded: 8444 file(s) [attempted 8444/8459 = 99%, 895 KB/s], Decompressed: 8352
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 260 KB/s], Decompressed: 8352
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 260 KB/s], Decompressed: 8352

apx-runtime-resource-v1	apx-verifier-job-1754-runtime-lake_cache-755068-1788213378373742223-0	3813376	4329472	21474836480	0	0	0	0	0	0	4937920512	5172011008	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200005
stdout:
✔ [500/502] Built Iut.Foundations.Species (282s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (352s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (319s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (274s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (532s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (428s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (320s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (223s)
✔ [790/791] Built Iut.Foundations.QualitativeData (218s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (997s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1365s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1075s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1754-runtime-lean_checker-755068-1788213572407279907-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1754-runtime-blueprint_build-755068-1788220773065699007-2	925696	1327104	21474836480	0	0	0	0	0	0	793309184	891207680	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_checkoutexit 0duration 199 ms · created 9/1/2026, 12:00:29 AM

git checkout 756b19c967b429f71cd2c6c63acfc5425eabca6a

Note: switching to '756b19c967b429f71cd2c6c63acfc5425eabca6a'.

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 756b19c e21-924-checkpoint-target | expose literal inversion candidate projection

git_cloneexit 128duration 353 ms · created 9/1/2026, 12:00:29 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1754-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 9/1/2026, 12:00:29 AM

git clone (github installation auth fallback)

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

lake_cacheexit 0duration 3m 14s · created 9/1/2026, 12:00:29 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.2s)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (108ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (167ms)
✔ [13/25] Built Cache.Lean:c.o (138ms)
✔ [15/25] Built Cache.Init (367ms)
✔ [16/25] Built Cache.IO (7.6s)
✔ [17/25] Built Cache.Init:c.o (79ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (899ms)
✔ [20/25] Built Cache.Hashing:c.o (371ms)
✔ [21/25] Built Cache.Requests (2.1s)
✔ [22/25] Built Cache.Requests:c.o (1.8s)
✔ [23/25] Built Cache.Main (980ms)
✔ [24/25] Built Cache.Main:c.o (524ms)
✔ [25/25] Built cache:exe (12s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 10 KB/s], Decompressed: 5
Downloaded: 31 file(s) [attempted 31/8459 = 0%, 15 KB/s], Decompressed: 30
Downloaded: 58 file(s) [attempted 58/8459 = 0%, 28 KB/s], Decompressed: 47
Downloaded: 82 file(s) [attempted 82/8459 = 0%, 191 KB/s], Decompressed: 58
Downloaded: 113 file(s) [attempted 113/8459 = 1%, 254 KB/s], Decompressed: 58
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 88 KB/s], Decompressed: 68
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 519 KB/s], Decompressed: 68
Downloaded: 213 file(s) [attempted 213/8459 = 2%, 297 KB/s], Decompressed: 134
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 558 KB/s], Decompressed: 134
Downloaded: 274 file(s) [attempted 274/8459 = 3%, 461 KB/s], Decompressed: 134
Downloaded: 319 file(s) [attempted 319/8459 = 3%, 200 KB/s], Decompressed: 203
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 84 KB/s], Decompressed: 203
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 245 KB/s], Decompressed: 203
Downloaded: 428 file(s) [attempted 428/8459 = 5%, 539 KB/s], Decompressed: 281
Downloaded: 459 file(s) [attempted 459/8459 = 5%, 468 KB/s], Decompressed: 281
Downloaded: 497 file(s) [attempted 497/8459 = 5%, 850 KB/s], Decompressed: 281
Downloaded: 541 file(s) [attempted 541/8459 = 6%, 64 KB/s], Decompressed: 281
Downloaded: 579 file(s) [attempted 579/8459 = 6%, 506 KB/s], Decompressed: 281
Downloaded: 620 file(s) [attempted 620/8459 = 7%, 78 KB/s], Decompressed: 422
Downloaded: 668 file(s) [attempted 668/8459 = 7%, 662 KB/s], Decompressed: 422
Downloaded: 706 file(s) [attempted 706/8459 = 8%, 1188 KB/s], Decompressed: 422
Downloaded: 750 file(s) [attempted 750/8459 = 8%, 61 KB/s], Decompressed: 422
Downloaded: 791 file(s) [attempted 791/8459 = 9%, 1507 KB/s], Decompressed: 422
Downloaded: 829 file(s) [attempted 829/8459 = 9%, 612 KB/s], Decompressed: 589
Downloaded: 873 file(s) [attempted 873/8459 = 10%, 158 KB/s], Decompressed: 589
Downloaded: 914 file(s) [attempted 914/8459 = 10%, 356 KB/s], Decompressed: 589
Downloaded: 956 file(s) [attempted 956/8459 = 11%, 30 KB/s], Decompressed: 589
Downloaded: 997 file(s) [attempted 997/8459 = 11%, 138 KB/s], Decompressed: 589
Downloaded: 1041 file(s) [attempted 1041/8459 = 12%, 45 KB/s], Decompressed: 815
Downloaded: 1082 file(s) [attempted 1082/8459 = 12%, 264 KB/s], Decompressed: 815
Downloaded: 1123 file(s) [attempted 1123/8459 = 13%, 336 KB/s], Decompressed: 815
Downloaded: 1161 file(s) [attempted 1161/8459 = 13%, 344 KB/s], Decompressed: 815
Downloaded: 1202 file(s) [attempted 1202/8459 = 14%, 1123 KB/s], Decompressed: 1027
Downloaded: 1246 file(s) [attempted 1246/8459 = 14%, 103 KB/s], Decompressed: 1027
Downloaded: 1287 file(s) [attempted 1287/8459 = 15%, 107 KB/s], Decompressed: 1027
Downloaded: 1328 file(s) [attempted 1328/8459 = 15%, 87 KB/s], Decompressed: 1027
Downloaded: 1376 file(s) [attempted 1376/8459 = 16%, 337 KB/s], Decompressed: 1192
Downloaded: 1417 file(s) [attempted 1417/8459 = 16%, 104 KB/s], Decompressed: 1192
Downloaded: 1451 file(s) [attempted 1451/8459 = 17%, 166 KB/s], Decompressed: 1192
Downloaded: 1492 file(s) [attempted 1492/8459 = 17%, 197 KB/s], Decompressed: 1192
Downloaded: 1533 file(s) [attempted 1533/8459 = 18%, 117 KB/s], Decompressed: 1352
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 411 KB/s], Decompressed: 1352
Downloaded: 1616 file(s) [attempted 1616/8459 = 19%, 184 KB/s], Decompressed: 1352
Downloaded: 1653 file(s) [attempted 1653/8459 = 19%, 988 KB/s], Decompressed: 1499
Downloaded: 1691 file(s) [attempted 1691/8459 = 19%, 188 KB/s], Decompressed: 1499
Downloaded: 1732 file(s) [attempted 1732/8459 = 20%, 438 KB/s], Decompressed: 1629
Downloaded: 1776 file(s) [attempted 1776/8459 = 20%, 134 KB/s], Decompressed: 1629
Downloaded: 1817 file(s) [attempted 1817/8459 = 21%, 376 KB/s], Decompressed: 1629
Downloaded: 1858 file(s) [attempted 1858/8459 = 21%, 394 KB/s], Decompressed: 1732
Downloaded: 1899 file(s) [attempted 1899/8459 = 22%, 130 KB/s], Decompressed: 1732
Downloaded: 1937 file(s) [attempted 1937/8459 = 22%, 91 KB/s], Decompressed: 1831
Downloaded: 1975 file(s) [attempted 1975/8459 = 23%, 49 KB/s], Decompressed: 1831
Downloaded: 2016 file(s) [attempted 2016/8459 = 23%, 50 KB/s], Decompressed: 1831
Downloaded: 2057 file(s) [attempted 2057/8459 = 24%, 40 KB/s], Decompressed: 1927
Downloaded: 2098 file(s) [attempted 2098/8459 = 24%, 52 KB/s], Decompressed: 1927
Downloaded: 2142 file(s) [attempted 2142/8459 = 25%, 115 KB/s], Decompressed: 2022
Downloaded: 2187 file(s) [attempted 2187/8459 = 25%, 36 KB/s], Decompressed: 2022
Downloaded: 2221 file(s) [attempted 2221/8459 = 26%, 260 KB/s], Decompressed: 2022
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 210 KB/s], Decompressed: 2142
Downloaded: 2306 file(s) [attempted 2306/8459 = 27%, 1368 KB/s], Decompressed: 2142
Downloaded: 2347 file(s) [attempted 2347/8459 = 27%, 822 KB/s], Decompressed: 2142
Downloaded: 2388 file(s) [attempted 2388/8459 = 28%, 265 KB/s], Decompressed: 2258
Downloaded: 2429 file(s) [attempted 2429/8459 = 28%, 229 KB/s], Decompressed: 2258
Downloaded: 2464 file(s) [attempted 2464/8459 = 29%, 58 KB/s], Decompressed: 2358
Downloaded: 2505 file(s) [attempted 2505/8459 = 29%, 356 KB/s], Decompressed: 2358
Downloaded: 2549 file(s) [attempted 2549/8459 = 30%, 177 KB/s], Decompressed: 2358
Downloaded: 2590 file(s) [attempted 2590/8459 = 30%, 346 KB/s], Decompressed: 2460
Downloaded: 2628 file(s) [attempted 2628/8459 = 31%, 24 KB/s], Decompressed: 2460
Downloaded: 2662 file(s) [attempted 2662/8459 = 31%, 51 KB/s], Decompressed: 2559
Downloaded: 2703 file(s) [attempted 2703/8459 = 31%, 81 KB/s], Decompressed: 2559
Downloaded: 2747 file(s) [attempted 2747/8459 = 32%, 35 KB/s], Decompressed: 2559
Downloaded: 2788 file(s) [attempted 2788/8459 = 32%, 408 KB/s], Decompressed: 2652
Downloaded: 2829 file(s) [attempted 2829/8459 = 33%, 38 KB/s], Decompressed: 2652
Downloaded: 2870 file(s) [attempted 2870/8459 = 33%, 2514 KB/s], Decompressed: 2754
Downloaded: 2908 file(s) [attempted 2908/8459 = 34%, 396 KB/s], Decompressed: 2754
Downloaded: 2953 file(s) [attempted 2953/8459 = 34%, 96 KB/s], Decompressed: 2754
Downloaded: 2990 file(s) [attempted 2990/8459 = 35%, 214 KB/s], Decompressed: 2857
Downloaded: 3035 file(s) [attempted 3035/8459 = 35%, 159 KB/s], Decompressed: 2857
Downloaded: 3079 file(s) [attempted 3079/8459 = 36%, 917 KB/s], Decompressed: 2857
Downloaded: 3117 file(s) [attempted 3117/8459 = 36%, 164 KB/s], Decompressed: 2976
Downloaded: 3154 file(s) [attempted 3154/8459 = 37%, 245 KB/s], Decompressed: 2976
Downloaded: 3195 file(s) [attempted 3195/8459 = 37%, 88 KB/s], Decompressed: 2976
Downloaded: 3236 file(s) [attempted 3236/8459 = 38%, 1005 KB/s], Decompressed: 3093
Downloaded: 3277 file(s) [attempted 3277/8459 = 38%, 915 KB/s], Decompressed: 3093
Downloaded: 3315 file(s) [attempted 3315/8459 = 39%, 280 KB/s], Decompressed: 3093
Downloaded: 3359 file(s) [attempted 3359/8459 = 39%, 50 KB/s], Decompressed: 3093
Downloaded: 3407 file(s) [attempted 3407/8459 = 40%, 73 KB/s], Decompressed: 3093
Downloaded: 3411 file(s) [attempted 3411/8459 = 40%, 10 KB/s], Decompressed: 3236
Downloaded: 3459 file(s) [attempted 3459/8459 = 40%, 4 KB/s], Decompressed: 3236
Downloaded: 3510 file(s) [attempted 3510/8459 = 41%, 680 KB/s], Decompressed: 3236
Downloaded: 3561 file(s) [attempted 3561/8459 = 42%, 220 KB/s], Decompressed: 3236
Downloaded: 3609 file(s) [attempted 3609/8459 = 42%, 637 KB/s], Decompressed: 3411
Downloaded: 3660 file(s) [attempted 3660/8459 = 43%, 58 KB/s], Decompressed: 3411
Downloaded: 3708 file(s) [attempted 3708/8459 = 43%, 178 KB/s], Decompressed: 3411
Downloaded: 3760 file(s) [attempted 3760/8459 = 44%, 40 KB/s], Decompressed: 3411
Downloaded: 3807 file(s) [attempted 3807/8459 = 45%, 435 KB/s], Decompressed: 3609
Downloaded: 3855 file(s) [attempted 3855/8459 = 45%, 83 KB/s], Decompressed: 3609
Downloaded: 3893 file(s) [attempted 3893/8459 = 46%, 336 KB/s], Decompressed: 3609
Downloaded: 3927 file(s) [attempted 3927/8459 = 46%, 179 KB/s], Decompressed: 3609
Downloaded: 3961 file(s) [attempted 3961/8459 = 46%, 292 KB/s], Decompressed: 3609
Downloaded: 4006 file(s) [attempted 4006/8459 = 47%, 33 KB/s], Decompressed: 3807
Downloaded: 4050 file(s) [attempted 4050/8459 = 47%, 74 KB/s], Decompressed: 3807
Downloaded: 4091 file(s) [attempted 4091/8459 = 48%, 50 KB/s], Decompressed: 3807
Downloaded: 4129 file(s) [attempted 4129/8459 = 48%, 147 KB/s], Decompressed: 3965
Downloaded: 4166 file(s) [attempted 4166/8459 = 49%, 452 KB/s], Decompressed: 3965
Downloaded: 4204 file(s) [attempted 4204/8459 = 49%, 189 KB/s], Decompressed: 3965
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 501 KB/s], Decompressed: 4108
Downloaded: 4290 file(s) [attempted 4290/8459 = 50%, 128 KB/s], Decompressed: 4108
Downloaded: 4332 file(s) [attempted 4332/8459 = 51%, 177 KB/s], Decompressed: 4108
Downloaded: 4372 file(s) [attempted 4372/8459 = 51%, 44 KB/s], Decompressed: 4108
Downloaded: 4413 file(s) [attempted 4413/8459 = 52%, 442 KB/s], Decompressed: 4245
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 100 KB/s], Decompressed: 4245
Downloaded: 4491 file(s) [attempted 4491/8459 = 53%, 62 KB/s], Decompressed: 4375
Downloaded: 4532 file(s) [attempted 4532/8459 = 53%, 55 KB/s], Decompressed: 4375
Downloaded: 4577 file(s) [attempted 4577/8459 = 54%, 518 KB/s], Decompressed: 4481
Downloaded: 4618 file(s) [attempted 4618/8459 = 54%, 926 KB/s], Decompressed: 4481
Downloaded: 4655 file(s) [attempted 4655/8459 = 55%, 56 KB/s], Decompressed: 4481
Downloaded: 4697 file(s) [attempted 4697/8459 = 55%, 127 KB/s], Decompressed: 4577
Downloaded: 4734 file(s) [attempted 4734/8459 = 55%, 380 KB/s], Decompressed: 4577
Downloaded: 4779 file(s) [attempted 4779/8459 = 56%, 140 KB/s], Decompressed: 4673
Downloaded: 4823 file(s) [attempted 4823/8459 = 57%, 265 KB/s], Decompressed: 4673
Downloaded: 4867 file(s) [attempted 4867/8459 = 57%, 162 KB/s], Decompressed: 4673
Downloaded: 4909 file(s) [attempted 4909/8459 = 58%, 276 KB/s], Decompressed: 4779
Downloaded: 4953 file(s) [attempted 4953/8459 = 58%, 115 KB/s], Decompressed: 4779
Downloaded: 4991 file(s) [attempted 4991/8459 = 59%, 1200 KB/s], Decompressed: 4874
Downloaded: 5028 file(s) [attempted 5028/8459 = 59%, 453 KB/s], Decompressed: 4874
Downloaded: 5069 file(s) [attempted 5069/8459 = 59%, 2546 KB/s], Decompressed: 4967
Downloaded: 5114 file(s) [attempted 5114/8459 = 60%, 232 KB/s], Decompressed: 4967
Downloaded: 5158 file(s) [attempted 5158/8459 = 60%, 62 KB/s], Decompressed: 5059
Downloaded: 5196 file(s) [attempted 5196/8459 = 61%, 36 KB/s], Decompressed: 5059
Downloaded: 5237 file(s) [attempted 5237/8459 = 61%, 422 KB/s], Decompressed: 5151
Downloaded: 5278 file(s) [attempted 5278/8459 = 62%, 380 KB/s], Decompressed: 5151
Downloaded: 5319 file(s) [attempted 5319/8459 = 62%, 389 KB/s], Decompressed: 5237
Downloaded: 5363 file(s) [attempted 5363/8459 = 63%, 752 KB/s], Decompressed: 5237
Downloaded: 5401 file(s) [attempted 5401/8459 = 63%, 80 KB/s], Decompressed: 5237
Downloaded: 5439 file(s) [attempted 5439/8459 = 64%, 607 KB/s], Decompressed: 5319
Downloaded: 5480 file(s) [attempted 5480/8459 = 64%, 69 KB/s], Decompressed: 5319
Downloaded: 5517 file(s) [attempted 5517/8459 = 65%, 453 KB/s], Decompressed: 5415
Downloaded: 5565 file(s) [attempted 5565/8459 = 65%, 425 KB/s], Decompressed: 5415
Downloaded: 5613 file(s) [attempted 5613/8459 = 66%, 128 KB/s], Decompressed: 5500
Downloaded: 5651 file(s) [attempted 5651/8459 = 66%, 524 KB/s], Decompressed: 5572
Downloaded: 5688 file(s) [attempted 5688/8459 = 67%, 146 KB/s], Decompressed: 5572
Downloaded: 5729 file(s) [attempted 5729/8459 = 67%, 663 KB/s], Decompressed: 5637
Downloaded: 5770 file(s) [attempted 5770/8459 = 68%, 120 KB/s], Decompressed: 5705
Downloaded: 5815 file(s) [attempted 5815/8459 = 68%, 492 KB/s], Decompressed: 5705
Downloaded: 5856 file(s) [attempted 5856/8459 = 69%, 371 KB/s], Decompressed: 5767
Downloaded: 5900 file(s) [attempted 5900/8459 = 69%, 48 KB/s], Decompressed: 5822
Downloaded: 5937 file(s) [attempted 5937/8459 = 70%, 839 KB/s], Decompressed: 5869
Downloaded: 5975 file(s) [attempted 5975/8459 = 70%, 148 KB/s], Decompressed: 5869
Downloaded: 6016 file(s) [attempted 6016/8459 = 71%, 272 KB/s], Decompressed: 5924
Downloaded: 6057 file(s) [attempted 6057/8459 = 71%, 1240 KB/s], Decompressed: 5979
Downloaded: 6099 file(s) [attempted 6099/8459 = 72%, 175 KB/s], Decompressed: 6034
Downloaded: 6140 file(s) [attempted 6140/8459 = 72%, 1014 KB/s], Decompressed: 6034
Downloaded: 6181 file(s) [attempted 6181/8459 = 73%, 41 KB/s], Decompressed: 6092
Downloaded: 6218 file(s) [attempted 6218/8459 = 73%, 86 KB/s], Decompressed: 6153
Downloaded: 6259 file(s) [attempted 6259/8459 = 73%, 87 KB/s], Decompressed: 6153
Downloaded: 6304 file(s) [attempted 6304/8459 = 74%, 1050 KB/s], Decompressed: 6215
Downloaded: 6341 file(s) [attempted 6341/8459 = 74%, 204 KB/s], Decompressed: 6268
Downloaded: 6379 file(s) [attempted 6379/8459 = 75%, 241 KB/s], Decompressed: 6268
Downloaded: 6417 file(s) [attempted 6417/8459 = 75%, 478 KB/s], Decompressed: 6324
Downloaded: 6458 file(s) [attempted 6458/8459 = 76%, 176 KB/s], Decompressed: 6324
Downloaded: 6505 file(s) [attempted 6505/8459 = 76%, 289 KB/s], Decompressed: 6406
Downloaded: 6553 file(s) [attempted 6553/8459 = 77%, 107 KB/s], Decompressed: 6406
Downloaded: 6594 file(s) [attempted 6594/8459 = 77%, 383 KB/s], Decompressed: 6492
Downloaded: 6632 file(s) [attempted 6632/8459 = 78%, 94 KB/s], Decompressed: 6492
Downloaded: 6666 file(s) [attempted 6666/8459 = 78%, 385 KB/s], Decompressed: 6574
Downloaded: 6707 file(s) [attempted 6707/8459 = 79%, 445 KB/s], Decompressed: 6574
Downloaded: 6752 file(s) [attempted 6752/8459 = 79%, 305 KB/s], Decompressed: 6652
Downloaded: 6789 file(s) [attempted 6789/8459 = 80%, 367 KB/s], Decompressed: 6652
Downloaded: 6830 file(s) [attempted 6830/8459 = 80%, 55 KB/s], Decompressed: 6724
Downloaded: 6868 file(s) [attempted 6868/8459 = 81%, 109 KB/s], Decompressed: 6796
Downloaded: 6906 file(s) [attempted 6906/8459 = 81%, 324 KB/s], Decompressed: 6796
Downloaded: 6953 file(s) [attempted 6953/8459 = 82%, 387 KB/s], Decompressed: 6861
Downloaded: 6994 file(s) [attempted 6994/8459 = 82%, 1716 KB/s], Decompressed: 6926
Downloaded: 7032 file(s) [attempted 7032/8459 = 83%, 1821 KB/s], Decompressed: 6926
Downloaded: 7070 file(s) [attempted 7070/8459 = 83%, 790 KB/s], Decompressed: 6994
Downloaded: 7114 file(s) [attempted 7114/8459 = 84%, 165 KB/s], Decompressed: 6994
Downloaded: 7155 file(s) [attempted 7155/8459 = 84%, 95 KB/s], Decompressed: 7059
Downloaded: 7196 file(s) [attempted 7196/8459 = 85%, 45 KB/s], Decompressed: 7118
Downloaded: 7234 file(s) [attempted 7234/8459 = 85%, 1145 KB/s], Decompressed: 7169
Downloaded: 7271 file(s) [attempted 7271/8459 = 85%, 39 KB/s], Decompressed: 7169
Downloaded: 7316 file(s) [attempted 7316/8459 = 86%, 1135 KB/s], Decompressed: 7224
Downloaded: 7360 file(s) [attempted 7360/8459 = 87%, 140 KB/s], Decompressed: 7285
Downloaded: 7398 file(s) [attempted 7398/8459 = 87%, 1975 KB/s], Decompressed: 7285
Downloaded: 7439 file(s) [attempted 7439/8459 = 87%, 94 KB/s], Decompressed: 7360
Downloaded: 7480 file(s) [attempted 7480/8459 = 88%, 146 KB/s], Decompressed: 7360
Downloaded: 7514 file(s) [attempted 7514/8459 = 88%, 67 KB/s], Decompressed: 7429
Downloaded: 7552 file(s) [attempted 7552/8459 = 89%, 50 KB/s], Decompressed: 7429
Downloaded: 7593 file(s) [attempted 7593/8459 = 89%, 876 KB/s], Decompressed: 7494
Downloaded: 7634 file(s) [attempted 7634/8459 = 90%, 148 KB/s], Decompressed: 7494
Downloaded: 7678 file(s) [attempted 7678/8459 = 90%, 658 KB/s], Decompressed: 7565
Downloaded: 7723 file(s) [attempted 7723/8459 = 91%, 3986 KB/s], Decompressed: 7565
Downloaded: 7757 file(s) [attempted 7757/8459 = 91%, 132 KB/s], Decompressed: 7654
Downloaded: 7798 file(s) [attempted 7798/8459 = 92%, 169 KB/s], Decompressed: 7654
Downloaded: 7839 file(s) [attempted 7839/8459 = 92%, 1108 KB/s], Decompressed: 7743
Downloaded: 7883 file(s) [attempted 7883/8459 = 93%, 992 KB/s], Decompressed: 7743
Downloaded: 7928 file(s) [attempted 7928/8459 = 93%, 1071 KB/s], Decompressed: 7832
Downloaded: 7966 file(s) [attempted 7966/8459 = 94%, 104 KB/s], Decompressed: 7832
Downloaded: 8003 file(s) [attempted 8003/8459 = 94%, 207 KB/s], Decompressed: 7832
Downloaded: 8044 file(s) [attempted 8044/8459 = 95%, 424 KB/s], Decompressed: 7925
Downloaded: 8089 file(s) [attempted 8089/8459 = 95%, 141 KB/s], Decompressed: 7925
Downloaded: 8130 file(s) [attempted 8130/8459 = 96%, 151 KB/s], Decompressed: 8013
Downloaded: 8171 file(s) [attempted 8171/8459 = 96%, 162 KB/s], Decompressed: 8013
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 398 KB/s], Decompressed: 8095
Downloaded: 8253 file(s) [attempted 8253/8459 = 97%, 169 KB/s], Decompressed: 8095
Downloaded: 8290 file(s) [attempted 8290/8459 = 98%, 490 KB/s], Decompressed: 8181
Downloaded: 8331 file(s) [attempted 8331/8459 = 98%, 518 KB/s], Decompressed: 8181
Downloaded: 8372 file(s) [attempted 8372/8459 = 98%, 113 KB/s], Decompressed: 8263
Downloaded: 8410 file(s) [attempted 8410/8459 = 99%, 997 KB/s], Decompressed: 8263
Downloaded: 8444 file(s) [attempted 8444/8459 = 99%, 895 KB/s], Decompressed: 8352
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 260 KB/s], Decompressed: 8352
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 260 KB/s], Decompressed: 8352

apx-runtime-resource-v1	apx-verifier-job-1754-runtime-lake_cache-755068-1788213378373742223-0	3813376	4329472	21474836480	0	0	0	0	0	0	4937920512	5172011008	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 9/1/2026, 12:00:29 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (282s)
✔ [501/513] Built Iut.Foundations.SourceGameplanSpeciesMutation (352s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (319s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (274s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (532s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (428s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (320s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (223s)
✔ [790/791] Built Iut.Foundations.QualitativeData (218s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (997s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1365s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1075s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1754-runtime-lean_checker-755068-1788213572407279907-1 on attempt 1

blueprint_buildexit 1duration 53s · created 9/1/2026, 12:00:29 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1754-runtime-blueprint_build-755068-1788220773065699007-2	925696	1327104	21474836480	0	0	0	0	0	0	793309184	891207680	21474836480	0	0	0	0	0	0