Verification run

Run 34

promachina/iut-lean branch master triggered via manual

succeeded commit 7dc5aeb267bc toolchain lean-v4-30-0 prover lean took 3h 27m · finished 6w ago

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

(no log excerpt)

Command runs

git_clone exit 0 duration 2s · created 6/4/2026, 1:20:10 AM

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

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

git_checkout exit 0 duration 91 ms · created 6/4/2026, 1:20:10 AM

git checkout 7dc5aeb267bc377d6848d260ba7f9289232728df

Note: switching to '7dc5aeb267bc377d6848d260ba7f9289232728df'.

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 7dc5aeb Add finite source first pass route

lake_cache exit 0 duration 37s · created 6/4/2026, 1:20:10 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)

warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 18 file(s) [attempted 18/8459 = 0%, 1 KB/s], Decompressed: 17
Downloaded: 44 file(s) [attempted 44/8459 = 0%, 265 KB/s], Decompressed: 39
Downloaded: 74 file(s) [attempted 74/8459 = 0%, 29 KB/s], Decompressed: 73
Downloaded: 105 file(s) [attempted 105/8459 = 1%, 322 KB/s], Decompressed: 100
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 382 KB/s], Decompressed: 138
Downloaded: 186 file(s) [attempted 186/8459 = 2%, 128 KB/s], Decompressed: 180
Downloaded: 220 file(s) [attempted 220/8459 = 2%, 107 KB/s], Decompressed: 213
Downloaded: 258 file(s) [attempted 258/8459 = 3%, 119 KB/s], Decompressed: 254
Downloaded: 302 file(s) [attempted 302/8459 = 3%, 100 KB/s], Decompressed: 295
Downloaded: 343 file(s) [attempted 343/8459 = 4%, 38 KB/s], Decompressed: 340
Downloaded: 384 file(s) [attempted 384/8459 = 4%, 284 KB/s], Decompressed: 377
Downloaded: 415 file(s) [attempted 415/8459 = 4%, 116 KB/s], Decompressed: 412
Downloaded: 457 file(s) [attempted 457/8459 = 5%, 74 KB/s], Decompressed: 453
Downloaded: 501 file(s) [attempted 501/8459 = 5%, 196 KB/s], Decompressed: 497
Downloaded: 547 file(s) [attempted 547/8459 = 6%, 31 KB/s], Decompressed: 542
Downloaded: 584 file(s) [attempted 584/8459 = 6%, 821 KB/s], Decompressed: 580
Downloaded: 621 file(s) [attempted 621/8459 = 7%, 83 KB/s], Decompressed: 617
Downloaded: 662 file(s) [attempted 662/8459 = 7%, 354 KB/s], Decompressed: 658
Downloaded: 701 file(s) [attempted 701/8459 = 8%, 241 KB/s], Decompressed: 696
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 236 KB/s], Decompressed: 744
Downloaded: 795 file(s) [attempted 795/8459 = 9%, 1491 KB/s], Decompressed: 788
Downloaded: 840 file(s) [attempted 840/8459 = 9%, 173 KB/s], Decompressed: 836
Downloaded: 878 file(s) [attempted 878/8459 = 10%, 74 KB/s], Decompressed: 871
Downloaded: 919 file(s) [attempted 919/8459 = 10%, 401 KB/s], Decompressed: 915
Downloaded: 963 file(s) [attempted 963/8459 = 11%, 173 KB/s], Decompressed: 956
Downloaded: 1005 file(s) [attempted 1005/8459 = 11%, 117 KB/s], Decompressed: 1001
Downloaded: 1045 file(s) [attempted 1045/8459 = 12%, 23 KB/s], Decompressed: 1038
Downloaded: 1083 file(s) [attempted 1083/8459 = 12%, 76 KB/s], Decompressed: 1076
Downloaded: 1121 file(s) [attempted 1121/8459 = 13%, 219 KB/s], Decompressed: 1114
Downloaded: 1165 file(s) [attempted 1165/8459 = 13%, 319 KB/s], Decompressed: 1162
Downloaded: 1206 file(s) [attempted 1206/8459 = 14%, 327 KB/s], Decompressed: 1203
Downloaded: 1247 file(s) [attempted 1247/8459 = 14%, 208 KB/s], Decompressed: 1244
Downloaded: 1282 file(s) [attempted 1282/8459 = 15%, 87 KB/s], Decompressed: 1278
Downloaded: 1326 file(s) [attempted 1326/8459 = 15%, 102 KB/s], Decompressed: 1319
Downloaded: 1370 file(s) [attempted 1370/8459 = 16%, 850 KB/s], Decompressed: 1367
Downloaded: 1412 file(s) [attempted 1412/8459 = 16%, 106 KB/s], Decompressed: 1408
Downloaded: 1451 file(s) [attempted 1451/8459 = 17%, 21 KB/s], Decompressed: 1442
Downloaded: 1490 file(s) [attempted 1490/8459 = 17%, 288 KB/s], Decompressed: 1483
Downloaded: 1531 file(s) [attempted 1531/8459 = 18%, 25 KB/s], Decompressed: 1528
Downloaded: 1572 file(s) [attempted 1572/8459 = 18%, 115 KB/s], Decompressed: 1569
Downloaded: 1617 file(s) [attempted 1617/8459 = 19%, 484 KB/s], Decompressed: 1613
Downloaded: 1661 file(s) [attempted 1661/8459 = 19%, 59 KB/s], Decompressed: 1654
Downloaded: 1702 file(s) [attempted 1702/8459 = 20%, 122 KB/s], Decompressed: 1696
Downloaded: 1743 file(s) [attempted 1743/8459 = 20%, 194 KB/s], Decompressed: 1740
Downloaded: 1783 file(s) [attempted 1783/8459 = 21%, 700 KB/s], Decompressed: 1774
Downloaded: 1829 file(s) [attempted 1829/8459 = 21%, 446 KB/s], Decompressed: 1822
Downloaded: 1874 file(s) [attempted 1874/8459 = 22%, 484 KB/s], Decompressed: 1870
Downloaded: 1911 file(s) [attempted 1911/8459 = 22%, 518 KB/s], Decompressed: 1908
Downloaded: 1952 file(s) [attempted 1952/8459 = 23%, 55 KB/s], Decompressed: 1949
Downloaded: 1997 file(s) [attempted 1997/8459 = 23%, 100 KB/s], Decompressed: 1993
Downloaded: 2038 file(s) [attempted 2038/8459 = 24%, 268 KB/s], Decompressed: 2034
Downloaded: 2079 file(s) [attempted 2079/8459 = 24%, 306 KB/s], Decompressed: 2075
Downloaded: 2119 file(s) [attempted 2119/8459 = 25%, 111 KB/s], Decompressed: 2113
Downloaded: 2159 file(s) [attempted 2159/8459 = 25%, 113 KB/s], Decompressed: 2151
Downloaded: 2199 file(s) [attempted 2199/8459 = 25%, 98 KB/s], Decompressed: 2195
Downloaded: 2240 file(s) [attempted 2240/8459 = 26%, 365 KB/s], Decompressed: 2236
Downloaded: 2284 file(s) [attempted 2284/8459 = 27%, 778 KB/s], Decompressed: 2281
Downloaded: 2329 file(s) [attempted 2329/8459 = 27%, 312 KB/s], Decompressed: 2325
Downloaded: 2366 file(s) [attempted 2366/8459 = 27%, 138 KB/s], Decompressed: 2360
Downloaded: 2402 file(s) [attempted 2402/8459 = 28%, 478 KB/s], Decompressed: 2397
Downloaded: 2442 file(s) [attempted 2442/8459 = 28%, 274 KB/s], Decompressed: 2435
Downloaded: 2483 file(s) [attempted 2483/8459 = 29%, 1707 KB/s], Decompressed: 2479
Downloaded: 2531 file(s) [attempted 2531/8459 = 29%, 1123 KB/s], Decompressed: 2524
Downloaded: 2575 file(s) [attempted 2575/8459 = 30%, 101 KB/s], Decompressed: 2568
Downloaded: 2609 file(s) [attempted 2609/8459 = 30%, 2161 KB/s], Decompressed: 2606
Downloaded: 2650 file(s) [attempted 2650/8459 = 31%, 255 KB/s], Decompressed: 2647
Downloaded: 2688 file(s) [attempted 2688/8459 = 31%, 663 KB/s], Decompressed: 2681
Downloaded: 2734 file(s) [attempted 2734/8459 = 32%, 636 KB/s], Decompressed: 2726
Downloaded: 2774 file(s) [attempted 2774/8459 = 32%, 899 KB/s], Decompressed: 2770
Downloaded: 2811 file(s) [attempted 2811/8459 = 33%, 101 KB/s], Decompressed: 2808
Downloaded: 2853 file(s) [attempted 2853/8459 = 33%, 267 KB/s], Decompressed: 2845
Downloaded: 2893 file(s) [attempted 2893/8459 = 34%, 908 KB/s], Decompressed: 2890
Downloaded: 2938 file(s) [attempted 2938/8459 = 34%, 837 KB/s], Decompressed: 2928
Downloaded: 2979 file(s) [attempted 2979/8459 = 35%, 382 KB/s], Decompressed: 2972
Downloaded: 3017 file(s) [attempted 3017/8459 = 35%, 29 KB/s], Decompressed: 3013
Downloaded: 3054 file(s) [attempted 3054/8459 = 36%, 2207 KB/s], Decompressed: 3051
Downloaded: 3095 file(s) [attempted 3095/8459 = 36%, 182 KB/s], Decompressed: 3092
Downloaded: 3140 file(s) [attempted 3140/8459 = 37%, 53 KB/s], Decompressed: 3136
Downloaded: 3184 file(s) [attempted 3184/8459 = 37%, 187 KB/s], Decompressed: 3181
Downloaded: 3225 file(s) [attempted 3225/8459 = 38%, 861 KB/s], Decompressed: 3222
Downloaded: 3266 file(s) [attempted 3266/8459 = 38%, 612 KB/s], Decompressed: 3260
Downloaded: 3305 file(s) [attempted 3305/8459 = 39%, 664 KB/s], Decompressed: 3301
Downloaded: 3345 file(s) [attempted 3345/8459 = 39%, 1432 KB/s], Decompressed: 3342
Downloaded: 3390 file(s) [attempted 3390/8459 = 40%, 269 KB/s], Decompressed: 3386
Downloaded: 3434 file(s) [attempted 3434/8459 = 40%, 420 KB/s], Decompressed: 3431
Downloaded: 3475 file(s) [attempted 3475/8459 = 41%, 2029 KB/s], Decompressed: 3472
Downloaded: 3513 file(s) [attempted 3513/8459 = 41%, 577 KB/s], Decompressed: 3509
Downloaded: 3557 file(s) [attempted 3557/8459 = 42%, 140 KB/s], Decompressed: 3550
Downloaded: 3596 file(s) [attempted 3596/8459 = 42%, 578 KB/s], Decompressed: 3592
Downloaded: 3636 file(s) [attempted 3636/8459 = 42%, 319 KB/s], Decompressed: 3629
Downloaded: 3678 file(s) [attempted 3678/8459 = 43%, 343 KB/s], Decompressed: 3670
Downloaded: 3711 file(s) [attempted 3711/8459 = 43%, 256 KB/s], Decompressed: 3708
Downloaded: 3752 file(s) [attempted 3752/8459 = 44%, 642 KB/s], Decompressed: 3746
Downloaded: 3797 file(s) [attempted 3797/8459 = 44%, 209 KB/s], Decompressed: 3790
Downloaded: 3841 file(s) [attempted 3841/8459 = 45%, 601 KB/s], Decompressed: 3838
Downloaded: 3879 file(s) [attempted 3879/8459 = 45%, 213 KB/s], Decompressed: 3876
Downloaded: 3917 file(s) [attempted 3917/8459 = 46%, 61 KB/s], Decompressed: 3915
Downloaded: 3955 file(s) [attempted 3955/8459 = 46%, 195 KB/s], Decompressed: 3951
Downloaded: 3999 file(s) [attempted 3999/8459 = 47%, 157 KB/s], Decompressed: 3995
Downloaded: 4043 file(s) [attempted 4043/8459 = 47%, 105 KB/s], Decompressed: 4036
Downloaded: 4079 file(s) [attempted 4079/8459 = 48%, 128 KB/s], Decompressed: 4071
Downloaded: 4115 file(s) [attempted 4115/8459 = 48%, 337 KB/s], Decompressed: 4112
Downloaded: 4156 file(s) [attempted 4156/8459 = 49%, 47 KB/s], Decompressed: 4149
Downloaded: 4194 file(s) [attempted 4194/8459 = 49%, 321 KB/s], Decompressed: 4190
Downloaded: 4238 file(s) [attempted 4238/8459 = 50%, 197 KB/s], Decompressed: 4235
Downloaded: 4279 file(s) [attempted 4279/8459 = 50%, 798 KB/s], Decompressed: 4273
Downloaded: 4317 file(s) [attempted 4317/8459 = 51%, 204 KB/s], Decompressed: 4310
Downloaded: 4355 file(s) [attempted 4355/8459 = 51%, 1212 KB/s], Decompressed: 4351
Downloaded: 4392 file(s) [attempted 4392/8459 = 51%, 1159 KB/s], Decompressed: 4389
Downloaded: 4435 file(s) [attempted 4435/8459 = 52%, 106 KB/s], Decompressed: 4430
Downloaded: 4473 file(s) [attempted 4473/8459 = 52%, 788 KB/s], Decompressed: 4464
Downloaded: 4512 file(s) [attempted 4512/8459 = 53%, 75 KB/s], Decompressed: 4505
Downloaded: 4557 file(s) [attempted 4557/8459 = 53%, 184 KB/s], Decompressed: 4550
Downloaded: 4594 file(s) [attempted 4594/8459 = 54%, 41 KB/s], Decompressed: 4591
Downloaded: 4639 file(s) [attempted 4639/8459 = 54%, 68 KB/s], Decompressed: 4635
Downloaded: 4680 file(s) [attempted 4680/8459 = 55%, 457 KB/s], Decompressed: 4673
Downloaded: 4717 file(s) [attempted 4717/8459 = 55%, 23 KB/s], Decompressed: 4714
Downloaded: 4762 file(s) [attempted 4762/8459 = 56%, 188 KB/s], Decompressed: 4759
Downloaded: 4800 file(s) [attempted 4800/8459 = 56%, 198 KB/s], Decompressed: 4796
Downloaded: 4844 file(s) [attempted 4844/8459 = 57%, 1866 KB/s], Decompressed: 4837
Downloaded: 4883 file(s) [attempted 4883/8459 = 57%, 1094 KB/s], Decompressed: 4875
Downloaded: 4918 file(s) [attempted 4918/8459 = 58%, 966 KB/s], Decompressed: 4913
Downloaded: 4960 file(s) [attempted 4960/8459 = 58%, 121 KB/s], Decompressed: 4957
Downloaded: 5005 file(s) [attempted 5005/8459 = 59%, 296 KB/s], Decompressed: 5002
Downloaded: 5044 file(s) [attempted 5044/8459 = 59%, 394 KB/s], Decompressed: 5039
Downloaded: 5087 file(s) [attempted 5087/8459 = 60%, 212 KB/s], Decompressed: 5080
Downloaded: 5125 file(s) [attempted 5125/8459 = 60%, 488 KB/s], Decompressed: 5118
Downloaded: 5162 file(s) [attempted 5162/8459 = 61%, 1230 KB/s], Decompressed: 5156
Downloaded: 5207 file(s) [attempted 5207/8459 = 61%, 52 KB/s], Decompressed: 5203
Downloaded: 5253 file(s) [attempted 5253/8459 = 62%, 266 KB/s], Decompressed: 5248
Downloaded: 5292 file(s) [attempted 5292/8459 = 62%, 419 KB/s], Decompressed: 5289
Downloaded: 5327 file(s) [attempted 5327/8459 = 62%, 1093 KB/s], Decompressed: 5323
Downloaded: 5368 file(s) [attempted 5368/8459 = 63%, 182 KB/s], Decompressed: 5364
Downloaded: 5405 file(s) [attempted 5405/8459 = 63%, 254 KB/s], Decompressed: 5399
Downloaded: 5457 file(s) [attempted 5457/8459 = 64%, 62 KB/s], Decompressed: 5453
Downloaded: 5503 file(s) [attempted 5503/8459 = 65%, 31 KB/s], Decompressed: 5498
Downloaded: 5542 file(s) [attempted 5542/8459 = 65%, 40 KB/s], Decompressed: 5539
Downloaded: 5583 file(s) [attempted 5583/8459 = 66%, 357 KB/s], Decompressed: 5580
Downloaded: 5621 file(s) [attempted 5621/8459 = 66%, 196 KB/s], Decompressed: 5611
Downloaded: 5659 file(s) [attempted 5659/8459 = 66%, 875 KB/s], Decompressed: 5655
Downloaded: 5703 file(s) [attempted 5703/8459 = 67%, 200 KB/s], Decompressed: 5700
Downloaded: 5744 file(s) [attempted 5744/8459 = 67%, 249 KB/s], Decompressed: 5741
Downloaded: 5785 file(s) [attempted 5785/8459 = 68%, 258 KB/s], Decompressed: 5782
Downloaded: 5826 file(s) [attempted 5826/8459 = 68%, 121 KB/s], Decompressed: 5823
Downloaded: 5867 file(s) [attempted 5867/8459 = 69%, 176 KB/s], Decompressed: 5864
Downloaded: 5908 file(s) [attempted 5908/8459 = 69%, 364 KB/s], Decompressed: 5905
Downloaded: 5951 file(s) [attempted 5951/8459 = 70%, 288 KB/s], Decompressed: 5946
Downloaded: 5987 file(s) [attempted 5987/8459 = 70%, 159 KB/s], Decompressed: 5980
Downloaded: 6028 file(s) [attempted 6028/8459 = 71%, 777 KB/s], Decompressed: 6025
Downloaded: 6073 file(s) [attempted 6073/8459 = 71%, 234 KB/s], Decompressed: 6069
Downloaded: 6117 file(s) [attempted 6117/8459 = 72%, 132 KB/s], Decompressed: 6110
Downloaded: 6156 file(s) [attempted 6156/8459 = 72%, 41 KB/s], Decompressed: 6151
Downloaded: 6192 file(s) [attempted 6192/8459 = 73%, 462 KB/s], Decompressed: 6189
Downloaded: 6237 file(s) [attempted 6237/8459 = 73%, 251 KB/s], Decompressed: 6230
Downloaded: 6281 file(s) [attempted 6281/8459 = 74%, 58 KB/s], Decompressed: 6278
Downloaded: 6323 file(s) [attempted 6323/8459 = 74%, 530 KB/s], Decompressed: 6319
Downloaded: 6360 file(s) [attempted 6360/8459 = 75%, 140 KB/s], Decompressed: 6357
Downloaded: 6405 file(s) [attempted 6405/8459 = 75%, 222 KB/s], Decompressed: 6401
Downloaded: 6446 file(s) [attempted 6446/8459 = 76%, 329 KB/s], Decompressed: 6442
Downloaded: 6485 file(s) [attempted 6485/8459 = 76%, 155 KB/s], Decompressed: 6480
Downloaded: 6524 file(s) [attempted 6524/8459 = 77%, 460 KB/s], Decompressed: 6521
Downloaded: 6563 file(s) [attempted 6563/8459 = 77%, 786 KB/s], Decompressed: 6559
Downloaded: 6607 file(s) [attempted 6607/8459 = 78%, 519 KB/s], Decompressed: 6603
Downloaded: 6651 file(s) [attempted 6651/8459 = 78%, 233 KB/s], Decompressed: 6648
Downloaded: 6694 file(s) [attempted 6694/8459 = 79%, 2677 KB/s], Decompressed: 6685
Downloaded: 6733 file(s) [attempted 6733/8459 = 79%, 417 KB/s], Decompressed: 6726
Downloaded: 6774 file(s) [attempted 6774/8459 = 80%, 149 KB/s], Decompressed: 6771
Downloaded: 6815 file(s) [attempted 6815/8459 = 80%, 138 KB/s], Decompressed: 6809
Downloaded: 6853 file(s) [attempted 6853/8459 = 81%, 289 KB/s], Decompressed: 6850
Downloaded: 6897 file(s) [attempted 6897/8459 = 81%, 1877 KB/s], Decompressed: 6894
Downloaded: 6945 file(s) [attempted 6945/8459 = 82%, 75 KB/s], Decompressed: 6942
Downloaded: 6990 file(s) [attempted 6990/8459 = 82%, 38 KB/s], Decompressed: 6986
Downloaded: 7034 file(s) [attempted 7034/8459 = 83%, 42 KB/s], Decompressed: 7031
Downloaded: 7075 file(s) [attempted 7075/8459 = 83%, 288 KB/s], Decompressed: 7069
Downloaded: 7113 file(s) [attempted 7113/8459 = 84%, 118 KB/s], Decompressed: 7106
Downloaded: 7151 file(s) [attempted 7151/8459 = 84%, 45 KB/s], Decompressed: 7147
Downloaded: 7192 file(s) [attempted 7192/8459 = 85%, 286 KB/s], Decompressed: 7188
Downloaded: 7236 file(s) [attempted 7236/8459 = 85%, 98 KB/s], Decompressed: 7229
Downloaded: 7284 file(s) [attempted 7284/8459 = 86%, 46 KB/s], Decompressed: 7281
Downloaded: 7329 file(s) [attempted 7329/8459 = 86%, 451 KB/s], Decompressed: 7325
Downloaded: 7366 file(s) [attempted 7366/8459 = 87%, 85 KB/s], Decompressed: 7363
Downloaded: 7404 file(s) [attempted 7404/8459 = 87%, 395 KB/s], Decompressed: 7397
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 84 KB/s], Decompressed: 7438
Downloaded: 7486 file(s) [attempted 7486/8459 = 88%, 142 KB/s], Decompressed: 7479
Downloaded: 7534 file(s) [attempted 7534/8459 = 89%, 2415 KB/s], Decompressed: 7531
Downloaded: 7576 file(s) [attempted 7576/8459 = 89%, 121 KB/s], Decompressed: 7568
Downloaded: 7606 file(s) [attempted 7606/8459 = 89%, 116 KB/s], Decompressed: 7602
Downloaded: 7647 file(s) [attempted 7647/8459 = 90%, 393 KB/s], Decompressed: 7644
Downloaded: 7691 file(s) [attempted 7691/8459 = 90%, 50 KB/s], Decompressed: 7688
Downloaded: 7736 file(s) [attempted 7736/8459 = 91%, 148 KB/s], Decompressed: 7734
Downloaded: 7780 file(s) [attempted 7780/8459 = 91%, 116 KB/s], Decompressed: 7770
Downloaded: 7815 file(s) [attempted 7815/8459 = 92%, 801 KB/s], Decompressed: 7808
Downloaded: 7856 file(s) [attempted 7856/8459 = 92%, 118 KB/s], Decompressed: 7849
Downloaded: 7893 file(s) [attempted 7893/8459 = 93%, 913 KB/s], Decompressed: 7890
Downloaded: 7932 file(s) [attempted 7932/8459 = 93%, 145 KB/s], Decompressed: 7929
Downloaded: 7972 file(s) [attempted 7972/8459 = 94%, 213 KB/s], Decompressed: 7969
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 343 KB/s], Decompressed: 8010
Downloaded: 8061 file(s) [attempted 8061/8459 = 95%, 1464 KB/s], Decompressed: 8054
Downloaded: 8106 file(s) [attempted 8106/8459 = 95%, 734 KB/s], Decompressed: 8102
Downloaded: 8147 file(s) [attempted 8147/8459 = 96%, 187 KB/s], Decompressed: 8140
Downloaded: 8184 file(s) [attempted 8184/8459 = 96%, 83 KB/s], Decompressed: 8181
Downloaded: 8225 file(s) [attempted 8225/8459 = 97%, 78 KB/s], Decompressed: 8222
Downloaded: 8263 file(s) [attempted 8263/8459 = 97%, 466 KB/s], Decompressed: 8260
Downloaded: 8307 file(s) [attempted 8307/8459 = 98%, 369 KB/s], Decompressed: 8301
Downloaded: 8347 file(s) [attempted 8347/8459 = 98%, 1193 KB/s], Decompressed: 8342
Downloaded: 8387 file(s) [attempted 8387/8459 = 99%, 176 KB/s], Decompressed: 8383
Downloaded: 8424 file(s) [attempted 8424/8459 = 99%, 685 KB/s], Decompressed: 8420
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 506 KB/s], Decompressed: 8455
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 506 KB/s], Decompressed: 8455

lean_checker exit 0 duration 4s · created 6/4/2026, 1:20:10 AM

lake build

Build completed successfully (3399 jobs).

warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

blueprint_build exit 1 duration 1s · created 6/4/2026, 1:20:10 AM

lake build :blueprint

warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
error: unknown package facet `blueprint`

semantic_extract exit 0 duration 3h 25m · created 6/4/2026, 1:20:10 AM

./.apodeixis/tools/lean-semantic-extract.sh

warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: restored compiled static runner cache ec7804cd11eb8cfea55544dcc9618dbeb4e4e103dea2d7ac6c2d67c80b2f1d0e
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes