Verification run

Run 35

promachina/iut-lean branch master triggered via manual

succeeded commit 7dc5aeb267bc toolchain lean-v4-30-0 prover lean took 3h 6m · 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, 5:52:23 AM

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

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

git_checkout exit 0 duration 94 ms · created 6/4/2026, 5:52:23 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 40s · created 6/4/2026, 5:52:23 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%, 8 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 1 KB/s], Decompressed: 12
Downloaded: 38 file(s) [attempted 38/8459 = 0%, 26 KB/s], Decompressed: 35
Downloaded: 66 file(s) [attempted 66/8459 = 0%, 42 KB/s], Decompressed: 61
Downloaded: 96 file(s) [attempted 96/8459 = 1%, 340 KB/s], Decompressed: 93
Downloaded: 131 file(s) [attempted 131/8459 = 1%, 524 KB/s], Decompressed: 124
Downloaded: 165 file(s) [attempted 165/8459 = 1%, 76 KB/s], Decompressed: 162
Downloaded: 203 file(s) [attempted 203/8459 = 2%, 411 KB/s], Decompressed: 199
Downloaded: 240 file(s) [attempted 240/8459 = 2%, 126 KB/s], Decompressed: 237
Downloaded: 282 file(s) [attempted 282/8459 = 3%, 980 KB/s], Decompressed: 278
Downloaded: 326 file(s) [attempted 326/8459 = 3%, 349 KB/s], Decompressed: 323
Downloaded: 368 file(s) [attempted 368/8459 = 4%, 153 KB/s], Decompressed: 364
Downloaded: 401 file(s) [attempted 401/8459 = 4%, 241 KB/s], Decompressed: 395
Downloaded: 440 file(s) [attempted 440/8459 = 5%, 1800 KB/s], Decompressed: 436
Downloaded: 480 file(s) [attempted 480/8459 = 5%, 231 KB/s], Decompressed: 478
Downloaded: 521 file(s) [attempted 521/8459 = 6%, 61 KB/s], Decompressed: 518
Downloaded: 562 file(s) [attempted 562/8459 = 6%, 541 KB/s], Decompressed: 559
Downloaded: 603 file(s) [attempted 603/8459 = 7%, 26 KB/s], Decompressed: 600
Downloaded: 645 file(s) [attempted 645/8459 = 7%, 183 KB/s], Decompressed: 641
Downloaded: 682 file(s) [attempted 682/8459 = 8%, 333 KB/s], Decompressed: 675
Downloaded: 723 file(s) [attempted 723/8459 = 8%, 320 KB/s], Decompressed: 717
Downloaded: 768 file(s) [attempted 768/8459 = 9%, 209 KB/s], Decompressed: 765
Downloaded: 812 file(s) [attempted 812/8459 = 9%, 496 KB/s], Decompressed: 806
Downloaded: 854 file(s) [attempted 854/8459 = 10%, 37 KB/s], Decompressed: 847
Downloaded: 891 file(s) [attempted 891/8459 = 10%, 87 KB/s], Decompressed: 884
Downloaded: 932 file(s) [attempted 932/8459 = 11%, 1014 KB/s], Decompressed: 929
Downloaded: 970 file(s) [attempted 970/8459 = 11%, 1610 KB/s], Decompressed: 967
Downloaded: 1011 file(s) [attempted 1011/8459 = 11%, 175 KB/s], Decompressed: 1008
Downloaded: 1052 file(s) [attempted 1052/8459 = 12%, 177 KB/s], Decompressed: 1045
Downloaded: 1093 file(s) [attempted 1093/8459 = 12%, 594 KB/s], Decompressed: 1086
Downloaded: 1131 file(s) [attempted 1131/8459 = 13%, 96 KB/s], Decompressed: 1127
Downloaded: 1171 file(s) [attempted 1171/8459 = 13%, 872 KB/s], Decompressed: 1165
Downloaded: 1213 file(s) [attempted 1213/8459 = 14%, 494 KB/s], Decompressed: 1211
Downloaded: 1254 file(s) [attempted 1254/8459 = 14%, 272 KB/s], Decompressed: 1251
Downloaded: 1293 file(s) [attempted 1293/8459 = 15%, 129 KB/s], Decompressed: 1288
Downloaded: 1333 file(s) [attempted 1333/8459 = 15%, 65 KB/s], Decompressed: 1329
Downloaded: 1377 file(s) [attempted 1377/8459 = 16%, 28 KB/s], Decompressed: 1374
Downloaded: 1417 file(s) [attempted 1417/8459 = 16%, 1588 KB/s], Decompressed: 1401
Downloaded: 1456 file(s) [attempted 1456/8459 = 17%, 330 KB/s], Decompressed: 1453
Downloaded: 1502 file(s) [attempted 1502/8459 = 17%, 884 KB/s], Decompressed: 1490
Downloaded: 1535 file(s) [attempted 1535/8459 = 18%, 171 KB/s], Decompressed: 1531
Downloaded: 1579 file(s) [attempted 1579/8459 = 18%, 483 KB/s], Decompressed: 1576
Downloaded: 1614 file(s) [attempted 1614/8459 = 19%, 397 KB/s], Decompressed: 1610
Downloaded: 1658 file(s) [attempted 1658/8459 = 19%, 127 KB/s], Decompressed: 1654
Downloaded: 1692 file(s) [attempted 1692/8459 = 20%, 293 KB/s], Decompressed: 1685
Downloaded: 1733 file(s) [attempted 1733/8459 = 20%, 467 KB/s], Decompressed: 1730
Downloaded: 1778 file(s) [attempted 1778/8459 = 21%, 254 KB/s], Decompressed: 1774
Downloaded: 1819 file(s) [attempted 1819/8459 = 21%, 676 KB/s], Decompressed: 1815
Downloaded: 1856 file(s) [attempted 1856/8459 = 21%, 24 KB/s], Decompressed: 1853
Downloaded: 1892 file(s) [attempted 1892/8459 = 22%, 62 KB/s], Decompressed: 1887
Downloaded: 1932 file(s) [attempted 1932/8459 = 22%, 49 KB/s], Decompressed: 1928
Downloaded: 1976 file(s) [attempted 1976/8459 = 23%, 453 KB/s], Decompressed: 1973
Downloaded: 2014 file(s) [attempted 2014/8459 = 23%, 50 KB/s], Decompressed: 2010
Downloaded: 2059 file(s) [attempted 2059/8459 = 24%, 38 KB/s], Decompressed: 2055
Downloaded: 2096 file(s) [attempted 2096/8459 = 24%, 118 KB/s], Decompressed: 2089
Downloaded: 2134 file(s) [attempted 2134/8459 = 25%, 805 KB/s], Decompressed: 2130
Downloaded: 2175 file(s) [attempted 2175/8459 = 25%, 97 KB/s], Decompressed: 2171
Downloaded: 2212 file(s) [attempted 2212/8459 = 26%, 137 KB/s], Decompressed: 2209
Downloaded: 2257 file(s) [attempted 2257/8459 = 26%, 288 KB/s], Decompressed: 2253
Downloaded: 2294 file(s) [attempted 2294/8459 = 27%, 159 KB/s], Decompressed: 2291
Downloaded: 2336 file(s) [attempted 2336/8459 = 27%, 135 KB/s], Decompressed: 2329
Downloaded: 2373 file(s) [attempted 2373/8459 = 28%, 246 KB/s], Decompressed: 2366
Downloaded: 2414 file(s) [attempted 2414/8459 = 28%, 45 KB/s], Decompressed: 2407
Downloaded: 2455 file(s) [attempted 2455/8459 = 29%, 323 KB/s], Decompressed: 2445
Downloaded: 2496 file(s) [attempted 2496/8459 = 29%, 278 KB/s], Decompressed: 2490
Downloaded: 2537 file(s) [attempted 2537/8459 = 29%, 336 KB/s], Decompressed: 2531
Downloaded: 2575 file(s) [attempted 2575/8459 = 30%, 286 KB/s], Decompressed: 2568
Downloaded: 2615 file(s) [attempted 2615/8459 = 30%, 398 KB/s], Decompressed: 2606
Downloaded: 2654 file(s) [attempted 2654/8459 = 31%, 93 KB/s], Decompressed: 2650
Downloaded: 2698 file(s) [attempted 2698/8459 = 31%, 36 KB/s], Decompressed: 2695
Downloaded: 2743 file(s) [attempted 2743/8459 = 32%, 103 KB/s], Decompressed: 2739
Downloaded: 2784 file(s) [attempted 2784/8459 = 32%, 686 KB/s], Decompressed: 2777
Downloaded: 2822 file(s) [attempted 2822/8459 = 33%, 135 KB/s], Decompressed: 2821
Downloaded: 2856 file(s) [attempted 2856/8459 = 33%, 333 KB/s], Decompressed: 2852
Downloaded: 2898 file(s) [attempted 2898/8459 = 34%, 157 KB/s], Decompressed: 2893
Downloaded: 2941 file(s) [attempted 2941/8459 = 34%, 861 KB/s], Decompressed: 2934
Downloaded: 2989 file(s) [attempted 2989/8459 = 35%, 263 KB/s], Decompressed: 2982
Downloaded: 3027 file(s) [attempted 3027/8459 = 35%, 178 KB/s], Decompressed: 3023
Downloaded: 3064 file(s) [attempted 3064/8459 = 36%, 1932 KB/s], Decompressed: 3058
Downloaded: 3106 file(s) [attempted 3106/8459 = 36%, 163 KB/s], Decompressed: 3102
Downloaded: 3143 file(s) [attempted 3143/8459 = 37%, 1409 KB/s], Decompressed: 3140
Downloaded: 3191 file(s) [attempted 3191/8459 = 37%, 234 KB/s], Decompressed: 3188
Downloaded: 3236 file(s) [attempted 3236/8459 = 38%, 219 KB/s], Decompressed: 3232
Downloaded: 3275 file(s) [attempted 3275/8459 = 38%, 101 KB/s], Decompressed: 3270
Downloaded: 3314 file(s) [attempted 3314/8459 = 39%, 1151 KB/s], Decompressed: 3307
Downloaded: 3353 file(s) [attempted 3353/8459 = 39%, 55 KB/s], Decompressed: 3345
Downloaded: 3393 file(s) [attempted 3393/8459 = 40%, 102 KB/s], Decompressed: 3390
Downloaded: 3434 file(s) [attempted 3434/8459 = 40%, 44 KB/s], Decompressed: 3431
Downloaded: 3475 file(s) [attempted 3475/8459 = 41%, 91 KB/s], Decompressed: 3472
Downloaded: 3514 file(s) [attempted 3514/8459 = 41%, 60 KB/s], Decompressed: 3506
Downloaded: 3557 file(s) [attempted 3557/8459 = 42%, 89 KB/s], Decompressed: 3554
Downloaded: 3603 file(s) [attempted 3603/8459 = 42%, 107 KB/s], Decompressed: 3598
Downloaded: 3636 file(s) [attempted 3636/8459 = 42%, 550 KB/s], Decompressed: 3629
Downloaded: 3681 file(s) [attempted 3681/8459 = 43%, 182 KB/s], Decompressed: 3677
Downloaded: 3725 file(s) [attempted 3725/8459 = 44%, 158 KB/s], Decompressed: 3722
Downloaded: 3762 file(s) [attempted 3762/8459 = 44%, 59 KB/s], Decompressed: 3756
Downloaded: 3804 file(s) [attempted 3804/8459 = 44%, 85 KB/s], Decompressed: 3800
Downloaded: 3843 file(s) [attempted 3843/8459 = 45%, 567 KB/s], Decompressed: 3838
Downloaded: 3879 file(s) [attempted 3879/8459 = 45%, 103 KB/s], Decompressed: 3876
Downloaded: 3920 file(s) [attempted 3920/8459 = 46%, 225 KB/s], Decompressed: 3917
Downloaded: 3966 file(s) [attempted 3966/8459 = 46%, 103 KB/s], Decompressed: 3954
Downloaded: 4006 file(s) [attempted 4006/8459 = 47%, 792 KB/s], Decompressed: 4002
Downloaded: 4048 file(s) [attempted 4048/8459 = 47%, 79 KB/s], Decompressed: 4043
Downloaded: 4086 file(s) [attempted 4086/8459 = 48%, 280 KB/s], Decompressed: 4074
Downloaded: 4119 file(s) [attempted 4119/8459 = 48%, 1231 KB/s], Decompressed: 4112
Downloaded: 4163 file(s) [attempted 4163/8459 = 49%, 65 KB/s], Decompressed: 4156
Downloaded: 4204 file(s) [attempted 4204/8459 = 49%, 612 KB/s], Decompressed: 4201
Downloaded: 4249 file(s) [attempted 4249/8459 = 50%, 56 KB/s], Decompressed: 4245
Downloaded: 4286 file(s) [attempted 4286/8459 = 50%, 397 KB/s], Decompressed: 4283
Downloaded: 4327 file(s) [attempted 4327/8459 = 51%, 747 KB/s], Decompressed: 4321
Downloaded: 4365 file(s) [attempted 4365/8459 = 51%, 424 KB/s], Decompressed: 4358
Downloaded: 4403 file(s) [attempted 4403/8459 = 52%, 370 KB/s], Decompressed: 4396
Downloaded: 4444 file(s) [attempted 4444/8459 = 52%, 478 KB/s], Decompressed: 4440
Downloaded: 4488 file(s) [attempted 4488/8459 = 53%, 91 KB/s], Decompressed: 4486
Downloaded: 4527 file(s) [attempted 4527/8459 = 53%, 59 KB/s], Decompressed: 4522
Downloaded: 4567 file(s) [attempted 4567/8459 = 53%, 33 KB/s], Decompressed: 4561
Downloaded: 4598 file(s) [attempted 4598/8459 = 54%, 94 KB/s], Decompressed: 4594
Downloaded: 4642 file(s) [attempted 4642/8459 = 54%, 331 KB/s], Decompressed: 4639
Downloaded: 4685 file(s) [attempted 4685/8459 = 55%, 372 KB/s], Decompressed: 4680
Downloaded: 4728 file(s) [attempted 4728/8459 = 55%, 103 KB/s], Decompressed: 4724
Downloaded: 4772 file(s) [attempted 4772/8459 = 56%, 154 KB/s], Decompressed: 4765
Downloaded: 4813 file(s) [attempted 4813/8459 = 56%, 492 KB/s], Decompressed: 4806
Downloaded: 4854 file(s) [attempted 4854/8459 = 57%, 440 KB/s], Decompressed: 4851
Downloaded: 4892 file(s) [attempted 4892/8459 = 57%, 118 KB/s], Decompressed: 4885
Downloaded: 4933 file(s) [attempted 4933/8459 = 58%, 270 KB/s], Decompressed: 4926
Downloaded: 4975 file(s) [attempted 4975/8459 = 58%, 74 KB/s], Decompressed: 4971
Downloaded: 5017 file(s) [attempted 5017/8459 = 59%, 1512 KB/s], Decompressed: 5012
Downloaded: 5060 file(s) [attempted 5060/8459 = 59%, 202 KB/s], Decompressed: 5056
Downloaded: 5097 file(s) [attempted 5097/8459 = 60%, 377 KB/s], Decompressed: 5091
Downloaded: 5138 file(s) [attempted 5138/8459 = 60%, 32 KB/s], Decompressed: 5133
Downloaded: 5183 file(s) [attempted 5183/8459 = 61%, 104 KB/s], Decompressed: 5173
Downloaded: 5221 file(s) [attempted 5221/8459 = 61%, 48 KB/s], Decompressed: 5217
Downloaded: 5265 file(s) [attempted 5265/8459 = 62%, 477 KB/s], Decompressed: 5262
Downloaded: 5306 file(s) [attempted 5306/8459 = 62%, 27 KB/s], Decompressed: 5303
Downloaded: 5347 file(s) [attempted 5347/8459 = 63%, 154 KB/s], Decompressed: 5340
Downloaded: 5385 file(s) [attempted 5385/8459 = 63%, 778 KB/s], Decompressed: 5381
Downloaded: 5426 file(s) [attempted 5426/8459 = 64%, 96 KB/s], Decompressed: 5423
Downloaded: 5467 file(s) [attempted 5467/8459 = 64%, 24 KB/s], Decompressed: 5460
Downloaded: 5508 file(s) [attempted 5508/8459 = 65%, 298 KB/s], Decompressed: 5505
Downloaded: 5547 file(s) [attempted 5547/8459 = 65%, 1065 KB/s], Decompressed: 5542
Downloaded: 5586 file(s) [attempted 5586/8459 = 66%, 59 KB/s], Decompressed: 5577
Downloaded: 5625 file(s) [attempted 5625/8459 = 66%, 292 KB/s], Decompressed: 5621
Downloaded: 5665 file(s) [attempted 5665/8459 = 66%, 824 KB/s], Decompressed: 5662
Downloaded: 5703 file(s) [attempted 5703/8459 = 67%, 69 KB/s], Decompressed: 5700
Downloaded: 5744 file(s) [attempted 5744/8459 = 67%, 102 KB/s], Decompressed: 5737
Downloaded: 5789 file(s) [attempted 5789/8459 = 68%, 140 KB/s], Decompressed: 5785
Downloaded: 5826 file(s) [attempted 5826/8459 = 68%, 177 KB/s], Decompressed: 5823
Downloaded: 5862 file(s) [attempted 5862/8459 = 69%, 113 KB/s], Decompressed: 5858
Downloaded: 5905 file(s) [attempted 5905/8459 = 69%, 119 KB/s], Decompressed: 5903
Downloaded: 5950 file(s) [attempted 5950/8459 = 70%, 547 KB/s], Decompressed: 5946
Downloaded: 5987 file(s) [attempted 5987/8459 = 70%, 601 KB/s], Decompressed: 5980
Downloaded: 6030 file(s) [attempted 6030/8459 = 71%, 97 KB/s], Decompressed: 6021
Downloaded: 6066 file(s) [attempted 6066/8459 = 71%, 23 KB/s], Decompressed: 6056
Downloaded: 6107 file(s) [attempted 6107/8459 = 72%, 325 KB/s], Decompressed: 6100
Downloaded: 6145 file(s) [attempted 6145/8459 = 72%, 808 KB/s], Decompressed: 6141
Downloaded: 6183 file(s) [attempted 6183/8459 = 73%, 713 KB/s], Decompressed: 6179
Downloaded: 6223 file(s) [attempted 6223/8459 = 73%, 481 KB/s], Decompressed: 6220
Downloaded: 6266 file(s) [attempted 6266/8459 = 74%, 110 KB/s], Decompressed: 6258
Downloaded: 6300 file(s) [attempted 6300/8459 = 74%, 40 KB/s], Decompressed: 6292
Downloaded: 6340 file(s) [attempted 6340/8459 = 74%, 57 KB/s], Decompressed: 6336
Downloaded: 6381 file(s) [attempted 6381/8459 = 75%, 127 KB/s], Decompressed: 6377
Downloaded: 6423 file(s) [attempted 6423/8459 = 75%, 302 KB/s], Decompressed: 6418
Downloaded: 6463 file(s) [attempted 6463/8459 = 76%, 585 KB/s], Decompressed: 6459
Downloaded: 6498 file(s) [attempted 6498/8459 = 76%, 34 KB/s], Decompressed: 6494
Downloaded: 6538 file(s) [attempted 6538/8459 = 77%, 193 KB/s], Decompressed: 6535
Downloaded: 6579 file(s) [attempted 6579/8459 = 77%, 412 KB/s], Decompressed: 6576
Downloaded: 6624 file(s) [attempted 6624/8459 = 78%, 53 KB/s], Decompressed: 6620
Downloaded: 6668 file(s) [attempted 6668/8459 = 78%, 183 KB/s], Decompressed: 6661
Downloaded: 6709 file(s) [attempted 6709/8459 = 79%, 60 KB/s], Decompressed: 6702
Downloaded: 6746 file(s) [attempted 6746/8459 = 79%, 1257 KB/s], Decompressed: 6740
Downloaded: 6785 file(s) [attempted 6785/8459 = 80%, 86 KB/s], Decompressed: 6778
Downloaded: 6824 file(s) [attempted 6824/8459 = 80%, 1451 KB/s], Decompressed: 6819
Downloaded: 6867 file(s) [attempted 6867/8459 = 81%, 141 KB/s], Decompressed: 6863
Downloaded: 6908 file(s) [attempted 6908/8459 = 81%, 617 KB/s], Decompressed: 6904
Downloaded: 6952 file(s) [attempted 6952/8459 = 82%, 299 KB/s], Decompressed: 6945
Downloaded: 6993 file(s) [attempted 6993/8459 = 82%, 97 KB/s], Decompressed: 6990
Downloaded: 7035 file(s) [attempted 7035/8459 = 83%, 41 KB/s], Decompressed: 7031
Downloaded: 7072 file(s) [attempted 7072/8459 = 83%, 284 KB/s], Decompressed: 7069
Downloaded: 7110 file(s) [attempted 7110/8459 = 84%, 51 KB/s], Decompressed: 7106
Downloaded: 7151 file(s) [attempted 7151/8459 = 84%, 43 KB/s], Decompressed: 7147
Downloaded: 7195 file(s) [attempted 7195/8459 = 85%, 55 KB/s], Decompressed: 7192
Downloaded: 7233 file(s) [attempted 7233/8459 = 85%, 573 KB/s], Decompressed: 7229
Downloaded: 7277 file(s) [attempted 7277/8459 = 86%, 173 KB/s], Decompressed: 7274
Downloaded: 7325 file(s) [attempted 7325/8459 = 86%, 75 KB/s], Decompressed: 7322
Downloaded: 7366 file(s) [attempted 7366/8459 = 87%, 59 KB/s], Decompressed: 7362
Downloaded: 7405 file(s) [attempted 7405/8459 = 87%, 81 KB/s], Decompressed: 7397
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 80 KB/s], Decompressed: 7442
Downloaded: 7488 file(s) [attempted 7488/8459 = 88%, 150 KB/s], Decompressed: 7479
Downloaded: 7527 file(s) [attempted 7527/8459 = 88%, 399 KB/s], Decompressed: 7524
Downloaded: 7567 file(s) [attempted 7567/8459 = 89%, 274 KB/s], Decompressed: 7561
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 208 KB/s], Decompressed: 7606
Downloaded: 7654 file(s) [attempted 7654/8459 = 90%, 104 KB/s], Decompressed: 7650
Downloaded: 7693 file(s) [attempted 7693/8459 = 90%, 379 KB/s], Decompressed: 7685
Downloaded: 7731 file(s) [attempted 7731/8459 = 91%, 580 KB/s], Decompressed: 7722
Downloaded: 7770 file(s) [attempted 7770/8459 = 91%, 482 KB/s], Decompressed: 7767
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 51 KB/s], Decompressed: 7804
Downloaded: 7852 file(s) [attempted 7852/8459 = 92%, 2351 KB/s], Decompressed: 7849
Downloaded: 7893 file(s) [attempted 7893/8459 = 93%, 67 KB/s], Decompressed: 7883
Downloaded: 7934 file(s) [attempted 7934/8459 = 93%, 2623 KB/s], Decompressed: 7928
Downloaded: 7973 file(s) [attempted 7973/8459 = 94%, 373 KB/s], Decompressed: 7969
Downloaded: 8008 file(s) [attempted 8008/8459 = 94%, 263 KB/s], Decompressed: 8003
Downloaded: 8051 file(s) [attempted 8051/8459 = 95%, 100 KB/s], Decompressed: 8047
Downloaded: 8092 file(s) [attempted 8092/8459 = 95%, 113 KB/s], Decompressed: 8088
Downloaded: 8130 file(s) [attempted 8130/8459 = 96%, 294 KB/s], Decompressed: 8126
Downloaded: 8174 file(s) [attempted 8174/8459 = 96%, 50 KB/s], Decompressed: 8167
Downloaded: 8215 file(s) [attempted 8215/8459 = 97%, 97 KB/s], Decompressed: 8208
Downloaded: 8251 file(s) [attempted 8251/8459 = 97%, 279 KB/s], Decompressed: 8246
Downloaded: 8290 file(s) [attempted 8290/8459 = 98%, 121 KB/s], Decompressed: 8284
Downloaded: 8331 file(s) [attempted 8331/8459 = 98%, 45 KB/s], Decompressed: 8325
Downloaded: 8379 file(s) [attempted 8379/8459 = 99%, 317 KB/s], Decompressed: 8373
Downloaded: 8426 file(s) [attempted 8426/8459 = 99%, 661 KB/s], Decompressed: 8420
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 677 KB/s], Decompressed: 8455
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 677 KB/s], Decompressed: 8455

lean_checker exit 0 duration 3s · created 6/4/2026, 5:52:23 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, 5:52:23 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 4m · created 6/4/2026, 5:52:23 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
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: stored compiled static runner cache f27363d7b4c2bc072aa1a6c13b770bd578347e88a8f6a5a8933b30bc89d802c4
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes