Verification run

Run 1269

promachina/iut-leanbranch mastertriggered via poller

failedcommit 394a9370f89dtoolchain lean-v4-30-0prover leantook 2h 54m · 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-1715-source
exit_code=Some(128) duration_ms=225
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1715-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=4644
stderr:
Cloning into '/var/lib/apodeixis/repos/job-1715-source'...


$ git checkout 394a9370f89dd69926894be93dcd100f897aa297
exit_code=Some(0) duration_ms=90
stderr:
Note: switching to '394a9370f89dd69926894be93dcd100f897aa297'.

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 394a937 E21.5: construct the mod-13 inertia/Frobenius bridges for 11a1 (#955)

Resolved source revision: 394a9370f89dd69926894be93dcd100f897aa297

Detected prover: lean
Detected requested toolchain: lean-v4-30-0
Materialized Lean semantic helper assets
Prepared source: revision=394a9370f89dd69926894be93dcd100f897aa297 provenance={"branch":"master","checked_out_revision":"394a9370f89dd69926894be93dcd100f897aa297","clone_url_hash":"cf9e8d307ee63ecd911d8bcd90069d4fc8cf0babed43714369c40d2e79f23390","credential_mode":"github_installation","local_clone":false,"requested_commit_sha":"394a9370f89dd69926894be93dcd100f897aa297","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=72324 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=3124689
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 (411ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (118ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (154ms)
✔ [13/25] Built Cache.Lean:c.o (124ms)
✔ [15/25] Built Cache.Init (293ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (101ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (931ms)
✔ [20/25] Built Cache.Hashing:c.o (373ms)
✔ [21/25] Built Cache.Requests (3.6s)
✔ [22/25] Built Cache.Requests:c.o (2.8s)
✔ [23/25] Built Cache.Main (11s)
✔ [24/25] Built Cache.Main:c.o (568ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 3 KB/s], Decompressed: 7
Downloaded: 34 file(s) [attempted 34/8459 = 0%, 17 KB/s], Decompressed: 23
Downloaded: 65 file(s) [attempted 65/8459 = 0%, 28 KB/s], Decompressed: 42
Downloaded: 87 file(s) [attempted 87/8459 = 1%, 53 KB/s], Decompressed: 54
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 146 KB/s], Decompressed: 89
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 360 KB/s], Decompressed: 89
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 141 KB/s], Decompressed: 114
Downloaded: 210 file(s) [attempted 210/8459 = 2%, 92 KB/s], Decompressed: 145
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 293 KB/s], Decompressed: 182
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 628 KB/s], Decompressed: 217
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 742 KB/s], Decompressed: 251
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 942 KB/s], Decompressed: 292
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 191 KB/s], Decompressed: 337
Downloaded: 433 file(s) [attempted 433/8459 = 5%, 272 KB/s], Decompressed: 337
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 410 KB/s], Decompressed: 381
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 646 KB/s], Decompressed: 436
Downloaded: 549 file(s) [attempted 549/8459 = 6%, 293 KB/s], Decompressed: 436
Downloaded: 590 file(s) [attempted 590/8459 = 6%, 522 KB/s], Decompressed: 491
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 262 KB/s], Decompressed: 554
Downloaded: 673 file(s) [attempted 673/8459 = 7%, 242 KB/s], Decompressed: 554
Downloaded: 714 file(s) [attempted 714/8459 = 8%, 185 KB/s], Decompressed: 618
Downloaded: 755 file(s) [attempted 755/8459 = 8%, 56 KB/s], Decompressed: 683
Downloaded: 790 file(s) [attempted 790/8459 = 9%, 67 KB/s], Decompressed: 741
Downloaded: 830 file(s) [attempted 830/8459 = 9%, 838 KB/s], Decompressed: 741
Downloaded: 875 file(s) [attempted 875/8459 = 10%, 156 KB/s], Decompressed: 789
Downloaded: 917 file(s) [attempted 917/8459 = 10%, 919 KB/s], Decompressed: 841
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 153 KB/s], Decompressed: 899
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 209 KB/s], Decompressed: 899
Downloaded: 1036 file(s) [attempted 1036/8459 = 12%, 600 KB/s], Decompressed: 957
Downloaded: 1077 file(s) [attempted 1077/8459 = 12%, 263 KB/s], Decompressed: 1009
Downloaded: 1118 file(s) [attempted 1118/8459 = 13%, 1163 KB/s], Decompressed: 1009
Downloaded: 1159 file(s) [attempted 1159/8459 = 13%, 440 KB/s], Decompressed: 1063
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 1155 KB/s], Decompressed: 1122
Downloaded: 1241 file(s) [attempted 1241/8459 = 14%, 412 KB/s], Decompressed: 1173
Downloaded: 1283 file(s) [attempted 1283/8459 = 15%, 208 KB/s], Decompressed: 1224
Downloaded: 1325 file(s) [attempted 1325/8459 = 15%, 105 KB/s], Decompressed: 1224
Downloaded: 1368 file(s) [attempted 1368/8459 = 16%, 282 KB/s], Decompressed: 1272
Downloaded: 1409 file(s) [attempted 1409/8459 = 16%, 1049 KB/s], Decompressed: 1329
Downloaded: 1447 file(s) [attempted 1447/8459 = 17%, 153 KB/s], Decompressed: 1385
Downloaded: 1485 file(s) [attempted 1485/8459 = 17%, 49 KB/s], Decompressed: 1385
Downloaded: 1529 file(s) [attempted 1529/8459 = 18%, 25 KB/s], Decompressed: 1444
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 509 KB/s], Decompressed: 1498
Downloaded: 1618 file(s) [attempted 1618/8459 = 19%, 182 KB/s], Decompressed: 1498
Downloaded: 1659 file(s) [attempted 1659/8459 = 19%, 130 KB/s], Decompressed: 1563
Downloaded: 1700 file(s) [attempted 1700/8459 = 20%, 334 KB/s], Decompressed: 1622
Downloaded: 1742 file(s) [attempted 1742/8459 = 20%, 190 KB/s], Decompressed: 1676
Downloaded: 1779 file(s) [attempted 1779/8459 = 21%, 252 KB/s], Decompressed: 1676
Downloaded: 1824 file(s) [attempted 1824/8459 = 21%, 61 KB/s], Decompressed: 1731
Downloaded: 1865 file(s) [attempted 1865/8459 = 22%, 291 KB/s], Decompressed: 1786
Downloaded: 1906 file(s) [attempted 1906/8459 = 22%, 42 KB/s], Decompressed: 1844
Downloaded: 1941 file(s) [attempted 1941/8459 = 22%, 54 KB/s], Decompressed: 1844
Downloaded: 1978 file(s) [attempted 1978/8459 = 23%, 145 KB/s], Decompressed: 1899
Downloaded: 2019 file(s) [attempted 2019/8459 = 23%, 1532 KB/s], Decompressed: 1957
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 92 KB/s], Decompressed: 1957
Downloaded: 2105 file(s) [attempted 2105/8459 = 24%, 46 KB/s], Decompressed: 2012
Downloaded: 2139 file(s) [attempted 2139/8459 = 25%, 388 KB/s], Decompressed: 2012
Downloaded: 2180 file(s) [attempted 2180/8459 = 25%, 109 KB/s], Decompressed: 2081
Downloaded: 2223 file(s) [attempted 2223/8459 = 26%, 256 KB/s], Decompressed: 2153
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 319 KB/s], Decompressed: 2153
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 132 KB/s], Decompressed: 2218
Downloaded: 2355 file(s) [attempted 2355/8459 = 27%, 342 KB/s], Decompressed: 2279
Downloaded: 2392 file(s) [attempted 2392/8459 = 28%, 79 KB/s], Decompressed: 2279
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 484 KB/s], Decompressed: 2344
Downloaded: 2471 file(s) [attempted 2471/8459 = 29%, 470 KB/s], Decompressed: 2344
Downloaded: 2512 file(s) [attempted 2512/8459 = 29%, 646 KB/s], Decompressed: 2409
Downloaded: 2557 file(s) [attempted 2557/8459 = 30%, 163 KB/s], Decompressed: 2409
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 155 KB/s], Decompressed: 2488
Downloaded: 2636 file(s) [attempted 2636/8459 = 31%, 121 KB/s], Decompressed: 2488
Downloaded: 2673 file(s) [attempted 2673/8459 = 31%, 547 KB/s], Decompressed: 2581
Downloaded: 2709 file(s) [attempted 2709/8459 = 32%, 244 KB/s], Decompressed: 2581
Downloaded: 2755 file(s) [attempted 2755/8459 = 32%, 102 KB/s], Decompressed: 2656
Downloaded: 2800 file(s) [attempted 2800/8459 = 33%, 459 KB/s], Decompressed: 2725
Downloaded: 2838 file(s) [attempted 2838/8459 = 33%, 347 KB/s], Decompressed: 2725
Downloaded: 2882 file(s) [attempted 2882/8459 = 34%, 153 KB/s], Decompressed: 2786
Downloaded: 2927 file(s) [attempted 2927/8459 = 34%, 115 KB/s], Decompressed: 2848
Downloaded: 2964 file(s) [attempted 2964/8459 = 35%, 175 KB/s], Decompressed: 2906
Downloaded: 3005 file(s) [attempted 3005/8459 = 35%, 401 KB/s], Decompressed: 2906
Downloaded: 3047 file(s) [attempted 3047/8459 = 36%, 1186 KB/s], Decompressed: 2957
Downloaded: 3084 file(s) [attempted 3084/8459 = 36%, 115 KB/s], Decompressed: 3009
Downloaded: 3129 file(s) [attempted 3129/8459 = 36%, 153 KB/s], Decompressed: 3009
Downloaded: 3170 file(s) [attempted 3170/8459 = 37%, 74 KB/s], Decompressed: 3074
Downloaded: 3208 file(s) [attempted 3208/8459 = 37%, 249 KB/s], Decompressed: 3139
Downloaded: 3252 file(s) [attempted 3252/8459 = 38%, 23 KB/s], Decompressed: 3139
Downloaded: 3293 file(s) [attempted 3293/8459 = 38%, 175 KB/s], Decompressed: 3204
Downloaded: 3331 file(s) [attempted 3331/8459 = 39%, 787 KB/s], Decompressed: 3204
Downloaded: 3372 file(s) [attempted 3372/8459 = 39%, 270 KB/s], Decompressed: 3269
Downloaded: 3406 file(s) [attempted 3406/8459 = 40%, 203 KB/s], Decompressed: 3334
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 43 KB/s], Decompressed: 3334
Downloaded: 3499 file(s) [attempted 3499/8459 = 41%, 483 KB/s], Decompressed: 3403
Downloaded: 3540 file(s) [attempted 3540/8459 = 41%, 73 KB/s], Decompressed: 3403
Downloaded: 3581 file(s) [attempted 3581/8459 = 42%, 451 KB/s], Decompressed: 3478
Downloaded: 3619 file(s) [attempted 3619/8459 = 42%, 562 KB/s], Decompressed: 3478
Downloaded: 3663 file(s) [attempted 3663/8459 = 43%, 411 KB/s], Decompressed: 3557
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 61 KB/s], Decompressed: 3557
Downloaded: 3749 file(s) [attempted 3749/8459 = 44%, 96 KB/s], Decompressed: 3643
Downloaded: 3786 file(s) [attempted 3786/8459 = 44%, 362 KB/s], Decompressed: 3643
Downloaded: 3827 file(s) [attempted 3827/8459 = 45%, 97 KB/s], Decompressed: 3721
Downloaded: 3865 file(s) [attempted 3865/8459 = 45%, 1334 KB/s], Decompressed: 3800
Downloaded: 3910 file(s) [attempted 3910/8459 = 46%, 21 KB/s], Decompressed: 3800
Downloaded: 3952 file(s) [attempted 3952/8459 = 46%, 202 KB/s], Decompressed: 3865
Downloaded: 3988 file(s) [attempted 3988/8459 = 47%, 892 KB/s], Decompressed: 3865
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 479 KB/s], Decompressed: 3937
Downloaded: 4060 file(s) [attempted 4060/8459 = 47%, 4190 KB/s], Decompressed: 3937
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 106 KB/s], Decompressed: 4006
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 937 KB/s], Decompressed: 4067
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 308 KB/s], Decompressed: 4067
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 538 KB/s], Decompressed: 4132
Downloaded: 4266 file(s) [attempted 4266/8459 = 50%, 318 KB/s], Decompressed: 4194
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 358 KB/s], Decompressed: 4194
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 171 KB/s], Decompressed: 4262
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 314 KB/s], Decompressed: 4262
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 340 KB/s], Decompressed: 4338
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 52 KB/s], Decompressed: 4338
Downloaded: 4509 file(s) [attempted 4509/8459 = 53%, 35 KB/s], Decompressed: 4338
Downloaded: 4554 file(s) [attempted 4554/8459 = 53%, 1215 KB/s], Decompressed: 4338
Downloaded: 4591 file(s) [attempted 4591/8459 = 54%, 4173 KB/s], Decompressed: 4413
Downloaded: 4632 file(s) [attempted 4632/8459 = 54%, 1142 KB/s], Decompressed: 4413
Downloaded: 4677 file(s) [attempted 4677/8459 = 55%, 453 KB/s], Decompressed: 4413
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 362 KB/s], Decompressed: 4413
Downloaded: 4756 file(s) [attempted 4756/8459 = 56%, 101 KB/s], Decompressed: 4413
Downloaded: 4797 file(s) [attempted 4797/8459 = 56%, 49 KB/s], Decompressed: 4413
Downloaded: 4834 file(s) [attempted 4834/8459 = 57%, 419 KB/s], Decompressed: 4584
Downloaded: 4876 file(s) [attempted 4876/8459 = 57%, 225 KB/s], Decompressed: 4584
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 268 KB/s], Decompressed: 4584
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 407 KB/s], Decompressed: 4584
Downloaded: 4999 file(s) [attempted 4999/8459 = 59%, 247 KB/s], Decompressed: 4584
Downloaded: 5040 file(s) [attempted 5040/8459 = 59%, 435 KB/s], Decompressed: 4584
Downloaded: 5081 file(s) [attempted 5081/8459 = 60%, 109 KB/s], Decompressed: 4800
Downloaded: 5119 file(s) [attempted 5119/8459 = 60%, 51 KB/s], Decompressed: 4800
Downloaded: 5156 file(s) [attempted 5156/8459 = 60%, 145 KB/s], Decompressed: 4800
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 88 KB/s], Decompressed: 4800
Downloaded: 5252 file(s) [attempted 5252/8459 = 62%, 340 KB/s], Decompressed: 4800
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 62 KB/s], Decompressed: 5061
Downloaded: 5335 file(s) [attempted 5335/8459 = 63%, 127 KB/s], Decompressed: 5061
Downloaded: 5376 file(s) [attempted 5376/8459 = 63%, 399 KB/s], Decompressed: 5061
Downloaded: 5413 file(s) [attempted 5413/8459 = 63%, 782 KB/s], Decompressed: 5061
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 217 KB/s], Decompressed: 5061
Downloaded: 5499 file(s) [attempted 5499/8459 = 65%, 618 KB/s], Decompressed: 5287
Downloaded: 5540 file(s) [attempted 5540/8459 = 65%, 130 KB/s], Decompressed: 5287
Downloaded: 5581 file(s) [attempted 5581/8459 = 65%, 106 KB/s], Decompressed: 5287
Downloaded: 5622 file(s) [attempted 5622/8459 = 66%, 186 KB/s], Decompressed: 5287
Downloaded: 5663 file(s) [attempted 5663/8459 = 66%, 162 KB/s], Decompressed: 5287
Downloaded: 5708 file(s) [attempted 5708/8459 = 67%, 215 KB/s], Decompressed: 5489
Downloaded: 5742 file(s) [attempted 5742/8459 = 67%, 200 KB/s], Decompressed: 5489
Downloaded: 5783 file(s) [attempted 5783/8459 = 68%, 81 KB/s], Decompressed: 5489
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 206 KB/s], Decompressed: 5489
Downloaded: 5865 file(s) [attempted 5865/8459 = 69%, 403 KB/s], Decompressed: 5667
Downloaded: 5913 file(s) [attempted 5913/8459 = 69%, 49 KB/s], Decompressed: 5667
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 85 KB/s], Decompressed: 5667
Downloaded: 6009 file(s) [attempted 6009/8459 = 71%, 92 KB/s], Decompressed: 5824
Downloaded: 6050 file(s) [attempted 6050/8459 = 71%, 38 KB/s], Decompressed: 5824
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 111 KB/s], Decompressed: 5824
Downloaded: 6129 file(s) [attempted 6129/8459 = 72%, 88 KB/s], Decompressed: 5965
Downloaded: 6164 file(s) [attempted 6164/8459 = 72%, 71 KB/s], Decompressed: 5965
Downloaded: 6205 file(s) [attempted 6205/8459 = 73%, 494 KB/s], Decompressed: 5965
Downloaded: 6249 file(s) [attempted 6249/8459 = 73%, 532 KB/s], Decompressed: 6098
Downloaded: 6297 file(s) [attempted 6297/8459 = 74%, 812 KB/s], Decompressed: 6098
Downloaded: 6338 file(s) [attempted 6338/8459 = 74%, 342 KB/s], Decompressed: 6098
Downloaded: 6379 file(s) [attempted 6379/8459 = 75%, 27 KB/s], Decompressed: 6218
Downloaded: 6414 file(s) [attempted 6414/8459 = 75%, 53 KB/s], Decompressed: 6218
Downloaded: 6455 file(s) [attempted 6455/8459 = 76%, 1301 KB/s], Decompressed: 6218
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 566 KB/s], Decompressed: 6218
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 963 KB/s], Decompressed: 6339
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 389 KB/s], Decompressed: 6339
Downloaded: 6616 file(s) [attempted 6616/8459 = 78%, 852 KB/s], Decompressed: 6339
Downloaded: 6658 file(s) [attempted 6658/8459 = 78%, 190 KB/s], Decompressed: 6339
Downloaded: 6701 file(s) [attempted 6701/8459 = 79%, 106 KB/s], Decompressed: 6339
Downloaded: 6749 file(s) [attempted 6749/8459 = 79%, 1038 KB/s], Decompressed: 6339
Downloaded: 6790 file(s) [attempted 6790/8459 = 80%, 277 KB/s], Decompressed: 6527
Downloaded: 6828 file(s) [attempted 6828/8459 = 80%, 559 KB/s], Decompressed: 6527
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 145 KB/s], Decompressed: 6527
Downloaded: 6907 file(s) [attempted 6907/8459 = 81%, 801 KB/s], Decompressed: 6527
Downloaded: 6955 file(s) [attempted 6955/8459 = 82%, 47 KB/s], Decompressed: 6527
Downloaded: 6999 file(s) [attempted 6999/8459 = 82%, 36 KB/s], Decompressed: 6527
Downloaded: 7040 file(s) [attempted 7040/8459 = 83%, 116 KB/s], Decompressed: 6759
Downloaded: 7078 file(s) [attempted 7078/8459 = 83%, 1171 KB/s], Decompressed: 6759
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 167 KB/s], Decompressed: 6759
Downloaded: 7157 file(s) [attempted 7157/8459 = 84%, 93 KB/s], Decompressed: 6759
Downloaded: 7205 file(s) [attempted 7205/8459 = 85%, 77 KB/s], Decompressed: 6759
Downloaded: 7253 file(s) [attempted 7253/8459 = 85%, 1453 KB/s], Decompressed: 6759
Downloaded: 7287 file(s) [attempted 7287/8459 = 86%, 425 KB/s], Decompressed: 6759
Downloaded: 7325 file(s) [attempted 7325/8459 = 86%, 71 KB/s], Decompressed: 7023
Downloaded: 7363 file(s) [attempted 7363/8459 = 87%, 61 KB/s], Decompressed: 7023
Downloaded: 7407 file(s) [attempted 7407/8459 = 87%, 106 KB/s], Decompressed: 7023
Downloaded: 7451 file(s) [attempted 7451/8459 = 88%, 109 KB/s], Decompressed: 7023
Downloaded: 7472 file(s) [attempted 7472/8459 = 88%, 438 KB/s], Decompressed: 7023
Downloaded: 7510 file(s) [attempted 7510/8459 = 88%, 294 KB/s], Decompressed: 7023
Downloaded: 7558 file(s) [attempted 7558/8459 = 89%, 160 KB/s], Decompressed: 7023
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 363 KB/s], Decompressed: 7023
Downloaded: 7660 file(s) [attempted 7660/8459 = 90%, 41 KB/s], Decompressed: 7023
Downloaded: 7760 file(s) [attempted 7760/8459 = 91%, 122 KB/s], Decompressed: 7023
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 65 KB/s], Decompressed: 7301
Downloaded: 7859 file(s) [attempted 7859/8459 = 92%, 135 KB/s], Decompressed: 7301
Downloaded: 7910 file(s) [attempted 7910/8459 = 93%, 3406 KB/s], Decompressed: 7301
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 176 KB/s], Decompressed: 7301
Downloaded: 8010 file(s) [attempted 8010/8459 = 94%, 3231 KB/s], Decompressed: 7301
Downloaded: 8058 file(s) [attempted 8058/8459 = 95%, 1957 KB/s], Decompressed: 7301
Downloaded: 8109 file(s) [attempted 8109/8459 = 95%, 93 KB/s], Decompressed: 7301
Downloaded: 8157 file(s) [attempted 8157/8459 = 96%, 110 KB/s], Decompressed: 7301
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 80 KB/s], Decompressed: 7301
Downloaded: 8256 file(s) [attempted 8256/8459 = 97%, 1139 KB/s], Decompressed: 7301
Downloaded: 8308 file(s) [attempted 8308/8459 = 98%, 369 KB/s], Decompressed: 7301
Downloaded: 8356 file(s) [attempted 8356/8459 = 98%, 134 KB/s], Decompressed: 7808
Downloaded: 8400 file(s) [attempted 8400/8459 = 99%, 46 KB/s], Decompressed: 7808
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 422 KB/s], Decompressed: 7808
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 114 KB/s], Decompressed: 7808
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 114 KB/s], Decompressed: 7808

apx-runtime-resource-v1	apx-verifier-job-1715-runtime-lake_cache-3581542-1787360708796593243-0	3960832	4214784	21474836480	0	0	0	0	0	0	561135616	4702228480	21474836480	0	0	0	0	0	0


$ lake build
exit_code=None duration_ms=7200007
stdout:
✔ [500/502] Built Iut.Foundations.Species (322s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (154s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (421s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (126s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (217s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (138s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (153s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (241s)
✔ [790/791] Built Iut.Foundations.QualitativeData (228s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (610s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1813s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1622s)

stderr:
/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1715-runtime-lean_checker-3581542-1787363833494016344-1 on attempt 1

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

apx-runtime-resource-v1	apx-verifier-job-1715-runtime-blueprint_build-3581542-1787371034236211994-2	946176	1462272	21474836480	0	0	0	0	0	0	815890432	917061632	21474836480	0	0	0	0	0	0


blueprint_build failed; continuing (non-fatal phase).

Command runs

git_cloneexit 128duration 225 ms · created 8/22/2026, 3:57:59 AM

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

Cloning into '/var/lib/apodeixis/repos/job-1715-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 8/22/2026, 3:57:59 AM

git clone (github installation auth fallback)

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

git_checkoutexit 0duration 90 ms · created 8/22/2026, 3:57:59 AM

git checkout 394a9370f89dd69926894be93dcd100f897aa297

Note: switching to '394a9370f89dd69926894be93dcd100f897aa297'.

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 394a937 E21.5: construct the mod-13 inertia/Frobenius bridges for 11a1 (#955)

lake_cacheexit 0duration 52m 5s · created 8/22/2026, 3:57:59 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 (411ms)
✔ [10/25] Built Batteries.Data.Array.Match:c.o (1.3s)
✔ [11/25] Built Batteries.Data.String.Basic:c.o (118ms)
✔ [12/25] Built Batteries.Data.String.Matcher:c.o (154ms)
✔ [13/25] Built Cache.Lean:c.o (124ms)
✔ [15/25] Built Cache.Init (293ms)
✔ [16/25] Built Cache.IO (2.4s)
✔ [17/25] Built Cache.Init:c.o (101ms)
✔ [18/25] Built Cache.IO:c.o (1.2s)
✔ [19/25] Built Cache.Hashing (931ms)
✔ [20/25] Built Cache.Hashing:c.o (373ms)
✔ [21/25] Built Cache.Requests (3.6s)
✔ [22/25] Built Cache.Requests:c.o (2.8s)
✔ [23/25] Built Cache.Main (11s)
✔ [24/25] Built Cache.Main:c.o (568ms)
✔ [25/25] Built cache:exe (4.7s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 10 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 3 KB/s], Decompressed: 7
Downloaded: 34 file(s) [attempted 34/8459 = 0%, 17 KB/s], Decompressed: 23
Downloaded: 65 file(s) [attempted 65/8459 = 0%, 28 KB/s], Decompressed: 42
Downloaded: 87 file(s) [attempted 87/8459 = 1%, 53 KB/s], Decompressed: 54
Downloaded: 114 file(s) [attempted 114/8459 = 1%, 146 KB/s], Decompressed: 89
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 360 KB/s], Decompressed: 89
Downloaded: 175 file(s) [attempted 175/8459 = 2%, 141 KB/s], Decompressed: 114
Downloaded: 210 file(s) [attempted 210/8459 = 2%, 92 KB/s], Decompressed: 145
Downloaded: 244 file(s) [attempted 244/8459 = 2%, 293 KB/s], Decompressed: 182
Downloaded: 278 file(s) [attempted 278/8459 = 3%, 628 KB/s], Decompressed: 217
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 742 KB/s], Decompressed: 251
Downloaded: 357 file(s) [attempted 357/8459 = 4%, 942 KB/s], Decompressed: 292
Downloaded: 391 file(s) [attempted 391/8459 = 4%, 191 KB/s], Decompressed: 337
Downloaded: 433 file(s) [attempted 433/8459 = 5%, 272 KB/s], Decompressed: 337
Downloaded: 470 file(s) [attempted 470/8459 = 5%, 410 KB/s], Decompressed: 381
Downloaded: 511 file(s) [attempted 511/8459 = 6%, 646 KB/s], Decompressed: 436
Downloaded: 549 file(s) [attempted 549/8459 = 6%, 293 KB/s], Decompressed: 436
Downloaded: 590 file(s) [attempted 590/8459 = 6%, 522 KB/s], Decompressed: 491
Downloaded: 631 file(s) [attempted 631/8459 = 7%, 262 KB/s], Decompressed: 554
Downloaded: 673 file(s) [attempted 673/8459 = 7%, 242 KB/s], Decompressed: 554
Downloaded: 714 file(s) [attempted 714/8459 = 8%, 185 KB/s], Decompressed: 618
Downloaded: 755 file(s) [attempted 755/8459 = 8%, 56 KB/s], Decompressed: 683
Downloaded: 790 file(s) [attempted 790/8459 = 9%, 67 KB/s], Decompressed: 741
Downloaded: 830 file(s) [attempted 830/8459 = 9%, 838 KB/s], Decompressed: 741
Downloaded: 875 file(s) [attempted 875/8459 = 10%, 156 KB/s], Decompressed: 789
Downloaded: 917 file(s) [attempted 917/8459 = 10%, 919 KB/s], Decompressed: 841
Downloaded: 957 file(s) [attempted 957/8459 = 11%, 153 KB/s], Decompressed: 899
Downloaded: 998 file(s) [attempted 998/8459 = 11%, 209 KB/s], Decompressed: 899
Downloaded: 1036 file(s) [attempted 1036/8459 = 12%, 600 KB/s], Decompressed: 957
Downloaded: 1077 file(s) [attempted 1077/8459 = 12%, 263 KB/s], Decompressed: 1009
Downloaded: 1118 file(s) [attempted 1118/8459 = 13%, 1163 KB/s], Decompressed: 1009
Downloaded: 1159 file(s) [attempted 1159/8459 = 13%, 440 KB/s], Decompressed: 1063
Downloaded: 1200 file(s) [attempted 1200/8459 = 14%, 1155 KB/s], Decompressed: 1122
Downloaded: 1241 file(s) [attempted 1241/8459 = 14%, 412 KB/s], Decompressed: 1173
Downloaded: 1283 file(s) [attempted 1283/8459 = 15%, 208 KB/s], Decompressed: 1224
Downloaded: 1325 file(s) [attempted 1325/8459 = 15%, 105 KB/s], Decompressed: 1224
Downloaded: 1368 file(s) [attempted 1368/8459 = 16%, 282 KB/s], Decompressed: 1272
Downloaded: 1409 file(s) [attempted 1409/8459 = 16%, 1049 KB/s], Decompressed: 1329
Downloaded: 1447 file(s) [attempted 1447/8459 = 17%, 153 KB/s], Decompressed: 1385
Downloaded: 1485 file(s) [attempted 1485/8459 = 17%, 49 KB/s], Decompressed: 1385
Downloaded: 1529 file(s) [attempted 1529/8459 = 18%, 25 KB/s], Decompressed: 1444
Downloaded: 1574 file(s) [attempted 1574/8459 = 18%, 509 KB/s], Decompressed: 1498
Downloaded: 1618 file(s) [attempted 1618/8459 = 19%, 182 KB/s], Decompressed: 1498
Downloaded: 1659 file(s) [attempted 1659/8459 = 19%, 130 KB/s], Decompressed: 1563
Downloaded: 1700 file(s) [attempted 1700/8459 = 20%, 334 KB/s], Decompressed: 1622
Downloaded: 1742 file(s) [attempted 1742/8459 = 20%, 190 KB/s], Decompressed: 1676
Downloaded: 1779 file(s) [attempted 1779/8459 = 21%, 252 KB/s], Decompressed: 1676
Downloaded: 1824 file(s) [attempted 1824/8459 = 21%, 61 KB/s], Decompressed: 1731
Downloaded: 1865 file(s) [attempted 1865/8459 = 22%, 291 KB/s], Decompressed: 1786
Downloaded: 1906 file(s) [attempted 1906/8459 = 22%, 42 KB/s], Decompressed: 1844
Downloaded: 1941 file(s) [attempted 1941/8459 = 22%, 54 KB/s], Decompressed: 1844
Downloaded: 1978 file(s) [attempted 1978/8459 = 23%, 145 KB/s], Decompressed: 1899
Downloaded: 2019 file(s) [attempted 2019/8459 = 23%, 1532 KB/s], Decompressed: 1957
Downloaded: 2060 file(s) [attempted 2060/8459 = 24%, 92 KB/s], Decompressed: 1957
Downloaded: 2105 file(s) [attempted 2105/8459 = 24%, 46 KB/s], Decompressed: 2012
Downloaded: 2139 file(s) [attempted 2139/8459 = 25%, 388 KB/s], Decompressed: 2012
Downloaded: 2180 file(s) [attempted 2180/8459 = 25%, 109 KB/s], Decompressed: 2081
Downloaded: 2223 file(s) [attempted 2223/8459 = 26%, 256 KB/s], Decompressed: 2153
Downloaded: 2262 file(s) [attempted 2262/8459 = 26%, 319 KB/s], Decompressed: 2153
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 132 KB/s], Decompressed: 2218
Downloaded: 2355 file(s) [attempted 2355/8459 = 27%, 342 KB/s], Decompressed: 2279
Downloaded: 2392 file(s) [attempted 2392/8459 = 28%, 79 KB/s], Decompressed: 2279
Downloaded: 2433 file(s) [attempted 2433/8459 = 28%, 484 KB/s], Decompressed: 2344
Downloaded: 2471 file(s) [attempted 2471/8459 = 29%, 470 KB/s], Decompressed: 2344
Downloaded: 2512 file(s) [attempted 2512/8459 = 29%, 646 KB/s], Decompressed: 2409
Downloaded: 2557 file(s) [attempted 2557/8459 = 30%, 163 KB/s], Decompressed: 2409
Downloaded: 2594 file(s) [attempted 2594/8459 = 30%, 155 KB/s], Decompressed: 2488
Downloaded: 2636 file(s) [attempted 2636/8459 = 31%, 121 KB/s], Decompressed: 2488
Downloaded: 2673 file(s) [attempted 2673/8459 = 31%, 547 KB/s], Decompressed: 2581
Downloaded: 2709 file(s) [attempted 2709/8459 = 32%, 244 KB/s], Decompressed: 2581
Downloaded: 2755 file(s) [attempted 2755/8459 = 32%, 102 KB/s], Decompressed: 2656
Downloaded: 2800 file(s) [attempted 2800/8459 = 33%, 459 KB/s], Decompressed: 2725
Downloaded: 2838 file(s) [attempted 2838/8459 = 33%, 347 KB/s], Decompressed: 2725
Downloaded: 2882 file(s) [attempted 2882/8459 = 34%, 153 KB/s], Decompressed: 2786
Downloaded: 2927 file(s) [attempted 2927/8459 = 34%, 115 KB/s], Decompressed: 2848
Downloaded: 2964 file(s) [attempted 2964/8459 = 35%, 175 KB/s], Decompressed: 2906
Downloaded: 3005 file(s) [attempted 3005/8459 = 35%, 401 KB/s], Decompressed: 2906
Downloaded: 3047 file(s) [attempted 3047/8459 = 36%, 1186 KB/s], Decompressed: 2957
Downloaded: 3084 file(s) [attempted 3084/8459 = 36%, 115 KB/s], Decompressed: 3009
Downloaded: 3129 file(s) [attempted 3129/8459 = 36%, 153 KB/s], Decompressed: 3009
Downloaded: 3170 file(s) [attempted 3170/8459 = 37%, 74 KB/s], Decompressed: 3074
Downloaded: 3208 file(s) [attempted 3208/8459 = 37%, 249 KB/s], Decompressed: 3139
Downloaded: 3252 file(s) [attempted 3252/8459 = 38%, 23 KB/s], Decompressed: 3139
Downloaded: 3293 file(s) [attempted 3293/8459 = 38%, 175 KB/s], Decompressed: 3204
Downloaded: 3331 file(s) [attempted 3331/8459 = 39%, 787 KB/s], Decompressed: 3204
Downloaded: 3372 file(s) [attempted 3372/8459 = 39%, 270 KB/s], Decompressed: 3269
Downloaded: 3406 file(s) [attempted 3406/8459 = 40%, 203 KB/s], Decompressed: 3334
Downloaded: 3454 file(s) [attempted 3454/8459 = 40%, 43 KB/s], Decompressed: 3334
Downloaded: 3499 file(s) [attempted 3499/8459 = 41%, 483 KB/s], Decompressed: 3403
Downloaded: 3540 file(s) [attempted 3540/8459 = 41%, 73 KB/s], Decompressed: 3403
Downloaded: 3581 file(s) [attempted 3581/8459 = 42%, 451 KB/s], Decompressed: 3478
Downloaded: 3619 file(s) [attempted 3619/8459 = 42%, 562 KB/s], Decompressed: 3478
Downloaded: 3663 file(s) [attempted 3663/8459 = 43%, 411 KB/s], Decompressed: 3557
Downloaded: 3704 file(s) [attempted 3704/8459 = 43%, 61 KB/s], Decompressed: 3557
Downloaded: 3749 file(s) [attempted 3749/8459 = 44%, 96 KB/s], Decompressed: 3643
Downloaded: 3786 file(s) [attempted 3786/8459 = 44%, 362 KB/s], Decompressed: 3643
Downloaded: 3827 file(s) [attempted 3827/8459 = 45%, 97 KB/s], Decompressed: 3721
Downloaded: 3865 file(s) [attempted 3865/8459 = 45%, 1334 KB/s], Decompressed: 3800
Downloaded: 3910 file(s) [attempted 3910/8459 = 46%, 21 KB/s], Decompressed: 3800
Downloaded: 3952 file(s) [attempted 3952/8459 = 46%, 202 KB/s], Decompressed: 3865
Downloaded: 3988 file(s) [attempted 3988/8459 = 47%, 892 KB/s], Decompressed: 3865
Downloaded: 4026 file(s) [attempted 4026/8459 = 47%, 479 KB/s], Decompressed: 3937
Downloaded: 4060 file(s) [attempted 4060/8459 = 47%, 4190 KB/s], Decompressed: 3937
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 106 KB/s], Decompressed: 4006
Downloaded: 4146 file(s) [attempted 4146/8459 = 49%, 937 KB/s], Decompressed: 4067
Downloaded: 4184 file(s) [attempted 4184/8459 = 49%, 308 KB/s], Decompressed: 4067
Downloaded: 4228 file(s) [attempted 4228/8459 = 49%, 538 KB/s], Decompressed: 4132
Downloaded: 4266 file(s) [attempted 4266/8459 = 50%, 318 KB/s], Decompressed: 4194
Downloaded: 4307 file(s) [attempted 4307/8459 = 50%, 358 KB/s], Decompressed: 4194
Downloaded: 4348 file(s) [attempted 4348/8459 = 51%, 171 KB/s], Decompressed: 4262
Downloaded: 4389 file(s) [attempted 4389/8459 = 51%, 314 KB/s], Decompressed: 4262
Downloaded: 4430 file(s) [attempted 4430/8459 = 52%, 340 KB/s], Decompressed: 4338
Downloaded: 4471 file(s) [attempted 4471/8459 = 52%, 52 KB/s], Decompressed: 4338
Downloaded: 4509 file(s) [attempted 4509/8459 = 53%, 35 KB/s], Decompressed: 4338
Downloaded: 4554 file(s) [attempted 4554/8459 = 53%, 1215 KB/s], Decompressed: 4338
Downloaded: 4591 file(s) [attempted 4591/8459 = 54%, 4173 KB/s], Decompressed: 4413
Downloaded: 4632 file(s) [attempted 4632/8459 = 54%, 1142 KB/s], Decompressed: 4413
Downloaded: 4677 file(s) [attempted 4677/8459 = 55%, 453 KB/s], Decompressed: 4413
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 362 KB/s], Decompressed: 4413
Downloaded: 4756 file(s) [attempted 4756/8459 = 56%, 101 KB/s], Decompressed: 4413
Downloaded: 4797 file(s) [attempted 4797/8459 = 56%, 49 KB/s], Decompressed: 4413
Downloaded: 4834 file(s) [attempted 4834/8459 = 57%, 419 KB/s], Decompressed: 4584
Downloaded: 4876 file(s) [attempted 4876/8459 = 57%, 225 KB/s], Decompressed: 4584
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 268 KB/s], Decompressed: 4584
Downloaded: 4961 file(s) [attempted 4961/8459 = 58%, 407 KB/s], Decompressed: 4584
Downloaded: 4999 file(s) [attempted 4999/8459 = 59%, 247 KB/s], Decompressed: 4584
Downloaded: 5040 file(s) [attempted 5040/8459 = 59%, 435 KB/s], Decompressed: 4584
Downloaded: 5081 file(s) [attempted 5081/8459 = 60%, 109 KB/s], Decompressed: 4800
Downloaded: 5119 file(s) [attempted 5119/8459 = 60%, 51 KB/s], Decompressed: 4800
Downloaded: 5156 file(s) [attempted 5156/8459 = 60%, 145 KB/s], Decompressed: 4800
Downloaded: 5204 file(s) [attempted 5204/8459 = 61%, 88 KB/s], Decompressed: 4800
Downloaded: 5252 file(s) [attempted 5252/8459 = 62%, 340 KB/s], Decompressed: 4800
Downloaded: 5297 file(s) [attempted 5297/8459 = 62%, 62 KB/s], Decompressed: 5061
Downloaded: 5335 file(s) [attempted 5335/8459 = 63%, 127 KB/s], Decompressed: 5061
Downloaded: 5376 file(s) [attempted 5376/8459 = 63%, 399 KB/s], Decompressed: 5061
Downloaded: 5413 file(s) [attempted 5413/8459 = 63%, 782 KB/s], Decompressed: 5061
Downloaded: 5458 file(s) [attempted 5458/8459 = 64%, 217 KB/s], Decompressed: 5061
Downloaded: 5499 file(s) [attempted 5499/8459 = 65%, 618 KB/s], Decompressed: 5287
Downloaded: 5540 file(s) [attempted 5540/8459 = 65%, 130 KB/s], Decompressed: 5287
Downloaded: 5581 file(s) [attempted 5581/8459 = 65%, 106 KB/s], Decompressed: 5287
Downloaded: 5622 file(s) [attempted 5622/8459 = 66%, 186 KB/s], Decompressed: 5287
Downloaded: 5663 file(s) [attempted 5663/8459 = 66%, 162 KB/s], Decompressed: 5287
Downloaded: 5708 file(s) [attempted 5708/8459 = 67%, 215 KB/s], Decompressed: 5489
Downloaded: 5742 file(s) [attempted 5742/8459 = 67%, 200 KB/s], Decompressed: 5489
Downloaded: 5783 file(s) [attempted 5783/8459 = 68%, 81 KB/s], Decompressed: 5489
Downloaded: 5821 file(s) [attempted 5821/8459 = 68%, 206 KB/s], Decompressed: 5489
Downloaded: 5865 file(s) [attempted 5865/8459 = 69%, 403 KB/s], Decompressed: 5667
Downloaded: 5913 file(s) [attempted 5913/8459 = 69%, 49 KB/s], Decompressed: 5667
Downloaded: 5961 file(s) [attempted 5961/8459 = 70%, 85 KB/s], Decompressed: 5667
Downloaded: 6009 file(s) [attempted 6009/8459 = 71%, 92 KB/s], Decompressed: 5824
Downloaded: 6050 file(s) [attempted 6050/8459 = 71%, 38 KB/s], Decompressed: 5824
Downloaded: 6088 file(s) [attempted 6088/8459 = 71%, 111 KB/s], Decompressed: 5824
Downloaded: 6129 file(s) [attempted 6129/8459 = 72%, 88 KB/s], Decompressed: 5965
Downloaded: 6164 file(s) [attempted 6164/8459 = 72%, 71 KB/s], Decompressed: 5965
Downloaded: 6205 file(s) [attempted 6205/8459 = 73%, 494 KB/s], Decompressed: 5965
Downloaded: 6249 file(s) [attempted 6249/8459 = 73%, 532 KB/s], Decompressed: 6098
Downloaded: 6297 file(s) [attempted 6297/8459 = 74%, 812 KB/s], Decompressed: 6098
Downloaded: 6338 file(s) [attempted 6338/8459 = 74%, 342 KB/s], Decompressed: 6098
Downloaded: 6379 file(s) [attempted 6379/8459 = 75%, 27 KB/s], Decompressed: 6218
Downloaded: 6414 file(s) [attempted 6414/8459 = 75%, 53 KB/s], Decompressed: 6218
Downloaded: 6455 file(s) [attempted 6455/8459 = 76%, 1301 KB/s], Decompressed: 6218
Downloaded: 6499 file(s) [attempted 6499/8459 = 76%, 566 KB/s], Decompressed: 6218
Downloaded: 6540 file(s) [attempted 6540/8459 = 77%, 963 KB/s], Decompressed: 6339
Downloaded: 6581 file(s) [attempted 6581/8459 = 77%, 389 KB/s], Decompressed: 6339
Downloaded: 6616 file(s) [attempted 6616/8459 = 78%, 852 KB/s], Decompressed: 6339
Downloaded: 6658 file(s) [attempted 6658/8459 = 78%, 190 KB/s], Decompressed: 6339
Downloaded: 6701 file(s) [attempted 6701/8459 = 79%, 106 KB/s], Decompressed: 6339
Downloaded: 6749 file(s) [attempted 6749/8459 = 79%, 1038 KB/s], Decompressed: 6339
Downloaded: 6790 file(s) [attempted 6790/8459 = 80%, 277 KB/s], Decompressed: 6527
Downloaded: 6828 file(s) [attempted 6828/8459 = 80%, 559 KB/s], Decompressed: 6527
Downloaded: 6862 file(s) [attempted 6862/8459 = 81%, 145 KB/s], Decompressed: 6527
Downloaded: 6907 file(s) [attempted 6907/8459 = 81%, 801 KB/s], Decompressed: 6527
Downloaded: 6955 file(s) [attempted 6955/8459 = 82%, 47 KB/s], Decompressed: 6527
Downloaded: 6999 file(s) [attempted 6999/8459 = 82%, 36 KB/s], Decompressed: 6527
Downloaded: 7040 file(s) [attempted 7040/8459 = 83%, 116 KB/s], Decompressed: 6759
Downloaded: 7078 file(s) [attempted 7078/8459 = 83%, 1171 KB/s], Decompressed: 6759
Downloaded: 7112 file(s) [attempted 7112/8459 = 84%, 167 KB/s], Decompressed: 6759
Downloaded: 7157 file(s) [attempted 7157/8459 = 84%, 93 KB/s], Decompressed: 6759
Downloaded: 7205 file(s) [attempted 7205/8459 = 85%, 77 KB/s], Decompressed: 6759
Downloaded: 7253 file(s) [attempted 7253/8459 = 85%, 1453 KB/s], Decompressed: 6759
Downloaded: 7287 file(s) [attempted 7287/8459 = 86%, 425 KB/s], Decompressed: 6759
Downloaded: 7325 file(s) [attempted 7325/8459 = 86%, 71 KB/s], Decompressed: 7023
Downloaded: 7363 file(s) [attempted 7363/8459 = 87%, 61 KB/s], Decompressed: 7023
Downloaded: 7407 file(s) [attempted 7407/8459 = 87%, 106 KB/s], Decompressed: 7023
Downloaded: 7451 file(s) [attempted 7451/8459 = 88%, 109 KB/s], Decompressed: 7023
Downloaded: 7472 file(s) [attempted 7472/8459 = 88%, 438 KB/s], Decompressed: 7023
Downloaded: 7510 file(s) [attempted 7510/8459 = 88%, 294 KB/s], Decompressed: 7023
Downloaded: 7558 file(s) [attempted 7558/8459 = 89%, 160 KB/s], Decompressed: 7023
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 363 KB/s], Decompressed: 7023
Downloaded: 7660 file(s) [attempted 7660/8459 = 90%, 41 KB/s], Decompressed: 7023
Downloaded: 7760 file(s) [attempted 7760/8459 = 91%, 122 KB/s], Decompressed: 7023
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 65 KB/s], Decompressed: 7301
Downloaded: 7859 file(s) [attempted 7859/8459 = 92%, 135 KB/s], Decompressed: 7301
Downloaded: 7910 file(s) [attempted 7910/8459 = 93%, 3406 KB/s], Decompressed: 7301
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 176 KB/s], Decompressed: 7301
Downloaded: 8010 file(s) [attempted 8010/8459 = 94%, 3231 KB/s], Decompressed: 7301
Downloaded: 8058 file(s) [attempted 8058/8459 = 95%, 1957 KB/s], Decompressed: 7301
Downloaded: 8109 file(s) [attempted 8109/8459 = 95%, 93 KB/s], Decompressed: 7301
Downloaded: 8157 file(s) [attempted 8157/8459 = 96%, 110 KB/s], Decompressed: 7301
Downloaded: 8208 file(s) [attempted 8208/8459 = 97%, 80 KB/s], Decompressed: 7301
Downloaded: 8256 file(s) [attempted 8256/8459 = 97%, 1139 KB/s], Decompressed: 7301
Downloaded: 8308 file(s) [attempted 8308/8459 = 98%, 369 KB/s], Decompressed: 7301
Downloaded: 8356 file(s) [attempted 8356/8459 = 98%, 134 KB/s], Decompressed: 7808
Downloaded: 8400 file(s) [attempted 8400/8459 = 99%, 46 KB/s], Decompressed: 7808
Downloaded: 8434 file(s) [attempted 8434/8459 = 99%, 422 KB/s], Decompressed: 7808
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 114 KB/s], Decompressed: 7808
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 114 KB/s], Decompressed: 7808

apx-runtime-resource-v1	apx-verifier-job-1715-runtime-lake_cache-3581542-1787360708796593243-0	3960832	4214784	21474836480	0	0	0	0	0	0	561135616	4702228480	21474836480	0	0	0	0	0	0

lean_checkerexit -duration 2h 0m · created 8/22/2026, 3:57:59 AM

lake build

✔ [500/502] Built Iut.Foundations.Species (322s)
✔ [501/510] Built Iut.Foundations.SourceGameplanSpeciesMutation (154s)
✔ [784/791] Built Iut.Foundations.RealLineCopy (421s)
✔ [785/791] Built Iut.Foundations.TransportDiagram (126s)
✔ [786/791] Built Iut.Foundations.IndeterminacyRelation (217s)
✔ [787/791] Built Iut.Foundations.RegionMeasure (138s)
✔ [788/791] Built Iut.Foundations.CommonTargetBound (153s)
✔ [789/791] Built Iut.Foundations.TransportedRegionFamily (241s)
✔ [790/791] Built Iut.Foundations.QualitativeData (228s)
✔ [3508/3513] Built Iut.Foundations.EtaleThetaQuotient (610s)
✔ [3509/3513] Built Iut.Foundations.Orbicurve (1813s)
✔ [3956/3959] Built Iut.Foundations.InitialThetaData (1622s)

/usr/bin/podman timed out after 7200s
podman cleanup removed verifier container apx-verifier-job-1715-runtime-lean_checker-3581542-1787363833494016344-1 on attempt 1

blueprint_buildexit 1duration 44s · created 8/22/2026, 3:57:59 AM

lake build :blueprint

error: unknown package facet `blueprint`

apx-runtime-resource-v1	apx-verifier-job-1715-runtime-blueprint_build-3581542-1787371034236211994-2	946176	1462272	21474836480	0	0	0	0	0	0	815890432	917061632	21474836480	0	0	0	0	0	0