Verification run

Run 19

ImperialCollegeLondon/FLT branch main triggered via poller

succeeded commit 790624e02dd3 toolchain lean-v4-31-0-rc1 prover lean took 11h 53m · finished 5w 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 773 ms · created 6/13/2026, 7:07:37 AM

git clone --depth 1 --branch main --single-branch https://github.com/ImperialCollegeLondon/FLT.git /var/lib/apodeixis/repos/job-439-source

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

semantic_extract exit 0 duration 4m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00014)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 7a7543bc970ccbdfc85527ddaf6f85702e377ce232f177b9c2a4fe326416364e
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

git_checkout exit 0 duration 18 ms · created 6/13/2026, 7:07:37 AM

git checkout 790624e02dd303dd3355b2be007d1c778951d355

Note: switching to '790624e02dd303dd3355b2be007d1c778951d355'.

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 790624e chore: bump mathlib to e973e03, fix breaking changes (#1017)

lake_cache exit 0 duration 1m 21s · created 6/13/2026, 7:07:37 AM

lake exe cache get

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

info: mathlib: cloning https://github.com/leanprover-community/mathlib4.git
info: mathlib: checking out revision 'e973e031cd47a0559c550e08a2c83a9990ec8f12'
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
✔ [6/23] Built Cache.Lean (492ms)
✔ [11/23] Built Cache.Lean:c.o (489ms)
✔ [13/23] Built Cache.Init (398ms)
✔ [14/23] Built Cache.IO (1.8s)
✔ [15/23] Built Cache.Init:c.o (80ms)
✔ [16/23] Built Cache.IO:c.o (1.2s)
✔ [17/23] Built Cache.Hashing (949ms)
✔ [18/23] Built Cache.Hashing:c.o (360ms)
✔ [19/23] Built Cache.Requests (2.1s)
✔ [20/23] Built Cache.Requests:c.o (1.9s)
✔ [21/23] Built Cache.Main (1.1s)
✔ [22/23] Built Cache.Main:c.o (491ms)
✔ [23/23] Built cache:exe (2.3s)

Downloaded: 1 file(s) [attempted 1/8536 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 19 file(s) [attempted 19/8536 = 0%, 15 KB/s], Decompressed: 8
Downloaded: 40 file(s) [attempted 40/8536 = 0%, 27 KB/s], Decompressed: 23
Downloaded: 69 file(s) [attempted 69/8536 = 0%, 50 KB/s], Decompressed: 61
Downloaded: 97 file(s) [attempted 97/8536 = 1%, 506 KB/s], Decompressed: 93
Downloaded: 131 file(s) [attempted 131/8536 = 1%, 892 KB/s], Decompressed: 121
Downloaded: 162 file(s) [attempted 162/8536 = 1%, 79 KB/s], Decompressed: 141
Downloaded: 203 file(s) [attempted 203/8536 = 2%, 82 KB/s], Decompressed: 186
Downloaded: 237 file(s) [attempted 237/8536 = 2%, 213 KB/s], Decompressed: 220
Downloaded: 278 file(s) [attempted 278/8536 = 3%, 781 KB/s], Decompressed: 251
Downloaded: 323 file(s) [attempted 323/8536 = 3%, 289 KB/s], Decompressed: 299
Downloaded: 361 file(s) [attempted 361/8536 = 4%, 200 KB/s], Decompressed: 343
Downloaded: 401 file(s) [attempted 401/8536 = 4%, 638 KB/s], Decompressed: 374
Downloaded: 439 file(s) [attempted 439/8536 = 5%, 550 KB/s], Decompressed: 408
Downloaded: 480 file(s) [attempted 480/8536 = 5%, 709 KB/s], Decompressed: 449
Downloaded: 525 file(s) [attempted 525/8536 = 6%, 1583 KB/s], Decompressed: 477
Downloaded: 566 file(s) [attempted 566/8536 = 6%, 209 KB/s], Decompressed: 514
Downloaded: 607 file(s) [attempted 607/8536 = 7%, 221 KB/s], Decompressed: 552
Downloaded: 645 file(s) [attempted 645/8536 = 7%, 254 KB/s], Decompressed: 586
Downloaded: 682 file(s) [attempted 682/8536 = 7%, 424 KB/s], Decompressed: 621
Downloaded: 723 file(s) [attempted 723/8536 = 8%, 477 KB/s], Decompressed: 665
Downloaded: 765 file(s) [attempted 765/8536 = 8%, 230 KB/s], Decompressed: 713
Downloaded: 806 file(s) [attempted 806/8536 = 9%, 893 KB/s], Decompressed: 754
Downloaded: 847 file(s) [attempted 847/8536 = 9%, 171 KB/s], Decompressed: 792
Downloaded: 884 file(s) [attempted 884/8536 = 10%, 1108 KB/s], Decompressed: 830
Downloaded: 925 file(s) [attempted 925/8536 = 10%, 594 KB/s], Decompressed: 874
Downloaded: 963 file(s) [attempted 963/8536 = 11%, 416 KB/s], Decompressed: 908
Downloaded: 1004 file(s) [attempted 1004/8536 = 11%, 464 KB/s], Decompressed: 949
Downloaded: 1045 file(s) [attempted 1045/8536 = 12%, 225 KB/s], Decompressed: 1008
Downloaded: 1083 file(s) [attempted 1083/8536 = 12%, 281 KB/s], Decompressed: 1035
Downloaded: 1121 file(s) [attempted 1121/8536 = 13%, 117 KB/s], Decompressed: 1062
Downloaded: 1162 file(s) [attempted 1162/8536 = 13%, 110 KB/s], Decompressed: 1110
Downloaded: 1199 file(s) [attempted 1199/8536 = 14%, 155 KB/s], Decompressed: 1151
Downloaded: 1240 file(s) [attempted 1240/8536 = 14%, 98 KB/s], Decompressed: 1192
Downloaded: 1278 file(s) [attempted 1278/8536 = 14%, 619 KB/s], Decompressed: 1234
Downloaded: 1319 file(s) [attempted 1319/8536 = 15%, 796 KB/s], Decompressed: 1271
Downloaded: 1357 file(s) [attempted 1357/8536 = 15%, 367 KB/s], Decompressed: 1305
Downloaded: 1398 file(s) [attempted 1398/8536 = 16%, 86 KB/s], Decompressed: 1350
Downloaded: 1442 file(s) [attempted 1442/8536 = 16%, 92 KB/s], Decompressed: 1394
Downloaded: 1480 file(s) [attempted 1480/8536 = 17%, 655 KB/s], Decompressed: 1429
Downloaded: 1521 file(s) [attempted 1521/8536 = 17%, 140 KB/s], Decompressed: 1487
Downloaded: 1562 file(s) [attempted 1562/8536 = 18%, 559 KB/s], Decompressed: 1521
Downloaded: 1603 file(s) [attempted 1603/8536 = 18%, 60 KB/s], Decompressed: 1555
Downloaded: 1648 file(s) [attempted 1648/8536 = 19%, 1080 KB/s], Decompressed: 1593
Downloaded: 1689 file(s) [attempted 1689/8536 = 19%, 1070 KB/s], Decompressed: 1651
Downloaded: 1726 file(s) [attempted 1726/8536 = 20%, 230 KB/s], Decompressed: 1685
Downloaded: 1767 file(s) [attempted 1767/8536 = 20%, 291 KB/s], Decompressed: 1713
Downloaded: 1812 file(s) [attempted 1812/8536 = 21%, 231 KB/s], Decompressed: 1774
Downloaded: 1853 file(s) [attempted 1853/8536 = 21%, 547 KB/s], Decompressed: 1819
Downloaded: 1887 file(s) [attempted 1887/8536 = 22%, 272 KB/s], Decompressed: 1856
Downloaded: 1928 file(s) [attempted 1928/8536 = 22%, 509 KB/s], Decompressed: 1897
Downloaded: 1969 file(s) [attempted 1969/8536 = 23%, 69 KB/s], Decompressed: 1928
Downloaded: 2014 file(s) [attempted 2014/8536 = 23%, 202 KB/s], Decompressed: 1928
Downloaded: 2055 file(s) [attempted 2055/8536 = 24%, 484 KB/s], Decompressed: 1966
Downloaded: 2089 file(s) [attempted 2089/8536 = 24%, 242 KB/s], Decompressed: 2017
Downloaded: 2130 file(s) [attempted 2130/8536 = 24%, 773 KB/s], Decompressed: 2072
Downloaded: 2171 file(s) [attempted 2171/8536 = 25%, 131 KB/s], Decompressed: 2123
Downloaded: 2212 file(s) [attempted 2212/8536 = 25%, 449 KB/s], Decompressed: 2123
Downloaded: 2253 file(s) [attempted 2253/8536 = 26%, 131 KB/s], Decompressed: 2171
Downloaded: 2291 file(s) [attempted 2291/8536 = 26%, 70 KB/s], Decompressed: 2229
Downloaded: 2332 file(s) [attempted 2332/8536 = 27%, 35 KB/s], Decompressed: 2284
Downloaded: 2370 file(s) [attempted 2370/8536 = 27%, 298 KB/s], Decompressed: 2284
Downloaded: 2407 file(s) [attempted 2407/8536 = 28%, 110 KB/s], Decompressed: 2332
Downloaded: 2448 file(s) [attempted 2448/8536 = 28%, 604 KB/s], Decompressed: 2387
Downloaded: 2490 file(s) [attempted 2490/8536 = 29%, 1552 KB/s], Decompressed: 2387
Downloaded: 2527 file(s) [attempted 2527/8536 = 29%, 44 KB/s], Decompressed: 2442
Downloaded: 2568 file(s) [attempted 2568/8536 = 30%, 231 KB/s], Decompressed: 2442
Downloaded: 2609 file(s) [attempted 2609/8536 = 30%, 447 KB/s], Decompressed: 2510
Downloaded: 2647 file(s) [attempted 2647/8536 = 31%, 24 KB/s], Decompressed: 2575
Downloaded: 2685 file(s) [attempted 2685/8536 = 31%, 660 KB/s], Decompressed: 2575
Downloaded: 2729 file(s) [attempted 2729/8536 = 31%, 259 KB/s], Decompressed: 2630
Downloaded: 2770 file(s) [attempted 2770/8536 = 32%, 209 KB/s], Decompressed: 2695
Downloaded: 2811 file(s) [attempted 2811/8536 = 32%, 1772 KB/s], Decompressed: 2695
Downloaded: 2852 file(s) [attempted 2852/8536 = 33%, 73 KB/s], Decompressed: 2763
Downloaded: 2890 file(s) [attempted 2890/8536 = 33%, 91 KB/s], Decompressed: 2818
Downloaded: 2931 file(s) [attempted 2931/8536 = 34%, 235 KB/s], Decompressed: 2818
Downloaded: 2972 file(s) [attempted 2972/8536 = 34%, 673 KB/s], Decompressed: 2883
Downloaded: 3013 file(s) [attempted 3013/8536 = 35%, 194 KB/s], Decompressed: 2948
Downloaded: 3054 file(s) [attempted 3054/8536 = 35%, 22 KB/s], Decompressed: 2948
Downloaded: 3088 file(s) [attempted 3088/8536 = 36%, 87 KB/s], Decompressed: 3010
Downloaded: 3126 file(s) [attempted 3126/8536 = 36%, 82 KB/s], Decompressed: 3010
Downloaded: 3171 file(s) [attempted 3171/8536 = 37%, 120 KB/s], Decompressed: 3071
Downloaded: 3212 file(s) [attempted 3212/8536 = 37%, 228 KB/s], Decompressed: 3136
Downloaded: 3249 file(s) [attempted 3249/8536 = 38%, 165 KB/s], Decompressed: 3136
Downloaded: 3290 file(s) [attempted 3290/8536 = 38%, 552 KB/s], Decompressed: 3212
Downloaded: 3335 file(s) [attempted 3335/8536 = 39%, 281 KB/s], Decompressed: 3212
Downloaded: 3379 file(s) [attempted 3379/8536 = 39%, 51 KB/s], Decompressed: 3284
Downloaded: 3424 file(s) [attempted 3424/8536 = 40%, 451 KB/s], Decompressed: 3359
Downloaded: 3468 file(s) [attempted 3468/8536 = 40%, 255 KB/s], Decompressed: 3359
Downloaded: 3503 file(s) [attempted 3503/8536 = 41%, 171 KB/s], Decompressed: 3424
Downloaded: 3540 file(s) [attempted 3540/8536 = 41%, 276 KB/s], Decompressed: 3482
Downloaded: 3581 file(s) [attempted 3581/8536 = 41%, 235 KB/s], Decompressed: 3482
Downloaded: 3626 file(s) [attempted 3626/8536 = 42%, 403 KB/s], Decompressed: 3533
Downloaded: 3667 file(s) [attempted 3667/8536 = 42%, 121 KB/s], Decompressed: 3585
Downloaded: 3711 file(s) [attempted 3711/8536 = 43%, 246 KB/s], Decompressed: 3585
Downloaded: 3749 file(s) [attempted 3749/8536 = 43%, 166 KB/s], Decompressed: 3646
Downloaded: 3790 file(s) [attempted 3790/8536 = 44%, 356 KB/s], Decompressed: 3715
Downloaded: 3831 file(s) [attempted 3831/8536 = 44%, 87 KB/s], Decompressed: 3715
Downloaded: 3872 file(s) [attempted 3872/8536 = 45%, 395 KB/s], Decompressed: 3780
Downloaded: 3913 file(s) [attempted 3913/8536 = 45%, 429 KB/s], Decompressed: 3841
Downloaded: 3947 file(s) [attempted 3947/8536 = 46%, 220 KB/s], Decompressed: 3896
Downloaded: 3992 file(s) [attempted 3992/8536 = 46%, 285 KB/s], Decompressed: 3896
Downloaded: 4036 file(s) [attempted 4036/8536 = 47%, 77 KB/s], Decompressed: 3947
Downloaded: 4074 file(s) [attempted 4074/8536 = 47%, 96 KB/s], Decompressed: 4009
Downloaded: 4119 file(s) [attempted 4119/8536 = 48%, 249 KB/s], Decompressed: 4060
Downloaded: 4160 file(s) [attempted 4160/8536 = 48%, 348 KB/s], Decompressed: 4060
Downloaded: 4197 file(s) [attempted 4197/8536 = 49%, 262 KB/s], Decompressed: 4115
Downloaded: 4235 file(s) [attempted 4235/8536 = 49%, 201 KB/s], Decompressed: 4166
Downloaded: 4273 file(s) [attempted 4273/8536 = 50%, 341 KB/s], Decompressed: 4214
Downloaded: 4314 file(s) [attempted 4314/8536 = 50%, 758 KB/s], Decompressed: 4255
Downloaded: 4355 file(s) [attempted 4355/8536 = 51%, 196 KB/s], Decompressed: 4255
Downloaded: 4396 file(s) [attempted 4396/8536 = 51%, 388 KB/s], Decompressed: 4307
Downloaded: 4437 file(s) [attempted 4437/8536 = 51%, 83 KB/s], Decompressed: 4368
Downloaded: 4471 file(s) [attempted 4471/8536 = 52%, 736 KB/s], Decompressed: 4368
Downloaded: 4516 file(s) [attempted 4516/8536 = 52%, 441 KB/s], Decompressed: 4423
Downloaded: 4553 file(s) [attempted 4553/8536 = 53%, 113 KB/s], Decompressed: 4475
Downloaded: 4594 file(s) [attempted 4594/8536 = 53%, 507 KB/s], Decompressed: 4533
Downloaded: 4632 file(s) [attempted 4632/8536 = 54%, 1438 KB/s], Decompressed: 4533
Downloaded: 4670 file(s) [attempted 4670/8536 = 54%, 536 KB/s], Decompressed: 4584
Downloaded: 4708 file(s) [attempted 4708/8536 = 55%, 695 KB/s], Decompressed: 4584
Downloaded: 4748 file(s) [attempted 4748/8536 = 55%, 149 KB/s], Decompressed: 4646
Downloaded: 4789 file(s) [attempted 4789/8536 = 56%, 163 KB/s], Decompressed: 4711
Downloaded: 4827 file(s) [attempted 4827/8536 = 56%, 596 KB/s], Decompressed: 4711
Downloaded: 4872 file(s) [attempted 4872/8536 = 57%, 106 KB/s], Decompressed: 4776
Downloaded: 4913 file(s) [attempted 4913/8536 = 57%, 117 KB/s], Decompressed: 4837
Downloaded: 4954 file(s) [attempted 4954/8536 = 58%, 263 KB/s], Decompressed: 4837
Downloaded: 4995 file(s) [attempted 4995/8536 = 58%, 201 KB/s], Decompressed: 4902
Downloaded: 5036 file(s) [attempted 5036/8536 = 58%, 1048 KB/s], Decompressed: 4961
Downloaded: 5073 file(s) [attempted 5073/8536 = 59%, 63 KB/s], Decompressed: 5019
Downloaded: 5118 file(s) [attempted 5118/8536 = 59%, 483 KB/s], Decompressed: 5019
Downloaded: 5162 file(s) [attempted 5162/8536 = 60%, 92 KB/s], Decompressed: 5070
Downloaded: 5197 file(s) [attempted 5197/8536 = 60%, 58 KB/s], Decompressed: 5121
Downloaded: 5241 file(s) [attempted 5241/8536 = 61%, 173 KB/s], Decompressed: 5173
Downloaded: 5279 file(s) [attempted 5279/8536 = 61%, 314 KB/s], Decompressed: 5173
Downloaded: 5316 file(s) [attempted 5316/8536 = 62%, 372 KB/s], Decompressed: 5227
Downloaded: 5361 file(s) [attempted 5361/8536 = 62%, 24 KB/s], Decompressed: 5289
Downloaded: 5395 file(s) [attempted 5395/8536 = 63%, 158 KB/s], Decompressed: 5340
Downloaded: 5440 file(s) [attempted 5440/8536 = 63%, 146 KB/s], Decompressed: 5340
Downloaded: 5481 file(s) [attempted 5481/8536 = 64%, 289 KB/s], Decompressed: 5392
Downloaded: 5518 file(s) [attempted 5518/8536 = 64%, 22 KB/s], Decompressed: 5450
Downloaded: 5559 file(s) [attempted 5559/8536 = 65%, 338 KB/s], Decompressed: 5450
Downloaded: 5601 file(s) [attempted 5601/8536 = 65%, 1168 KB/s], Decompressed: 5508
Downloaded: 5642 file(s) [attempted 5642/8536 = 66%, 700 KB/s], Decompressed: 5570
Downloaded: 5679 file(s) [attempted 5679/8536 = 66%, 145 KB/s], Decompressed: 5570
Downloaded: 5720 file(s) [attempted 5720/8536 = 67%, 206 KB/s], Decompressed: 5628
Downloaded: 5761 file(s) [attempted 5761/8536 = 67%, 156 KB/s], Decompressed: 5693
Downloaded: 5802 file(s) [attempted 5802/8536 = 67%, 63 KB/s], Decompressed: 5693
Downloaded: 5843 file(s) [attempted 5843/8536 = 68%, 418 KB/s], Decompressed: 5751
Downloaded: 5885 file(s) [attempted 5885/8536 = 68%, 134 KB/s], Decompressed: 5751
Downloaded: 5926 file(s) [attempted 5926/8536 = 69%, 252 KB/s], Decompressed: 5826
Downloaded: 5963 file(s) [attempted 5963/8536 = 69%, 52 KB/s], Decompressed: 5891
Downloaded: 6004 file(s) [attempted 6004/8536 = 70%, 271 KB/s], Decompressed: 5950
Downloaded: 6045 file(s) [attempted 6045/8536 = 70%, 244 KB/s], Decompressed: 5950
Downloaded: 6086 file(s) [attempted 6086/8536 = 71%, 40 KB/s], Decompressed: 6004
Downloaded: 6128 file(s) [attempted 6128/8536 = 71%, 290 KB/s], Decompressed: 6004
Downloaded: 6165 file(s) [attempted 6165/8536 = 72%, 966 KB/s], Decompressed: 6069
Downloaded: 6206 file(s) [attempted 6206/8536 = 72%, 374 KB/s], Decompressed: 6069
Downloaded: 6244 file(s) [attempted 6244/8536 = 73%, 480 KB/s], Decompressed: 6134
Downloaded: 6282 file(s) [attempted 6282/8536 = 73%, 273 KB/s], Decompressed: 6134
Downloaded: 6323 file(s) [attempted 6323/8536 = 74%, 104 KB/s], Decompressed: 6210
Downloaded: 6360 file(s) [attempted 6360/8536 = 74%, 350 KB/s], Decompressed: 6210
Downloaded: 6401 file(s) [attempted 6401/8536 = 74%, 29 KB/s], Decompressed: 6295
Downloaded: 6446 file(s) [attempted 6446/8536 = 75%, 71 KB/s], Decompressed: 6295
Downloaded: 6483 file(s) [attempted 6483/8536 = 75%, 258 KB/s], Decompressed: 6377
Downloaded: 6521 file(s) [attempted 6521/8536 = 76%, 108 KB/s], Decompressed: 6377
Downloaded: 6566 file(s) [attempted 6566/8536 = 76%, 116 KB/s], Decompressed: 6453
Downloaded: 6607 file(s) [attempted 6607/8536 = 77%, 538 KB/s], Decompressed: 6453
Downloaded: 6651 file(s) [attempted 6651/8536 = 77%, 251 KB/s], Decompressed: 6542
Downloaded: 6689 file(s) [attempted 6689/8536 = 78%, 204 KB/s], Decompressed: 6542
Downloaded: 6726 file(s) [attempted 6726/8536 = 78%, 79 KB/s], Decompressed: 6634
Downloaded: 6768 file(s) [attempted 6768/8536 = 79%, 59 KB/s], Decompressed: 6634
Downloaded: 6810 file(s) [attempted 6810/8536 = 79%, 46 KB/s], Decompressed: 6716
Downloaded: 6850 file(s) [attempted 6850/8536 = 80%, 362 KB/s], Decompressed: 6716
Downloaded: 6887 file(s) [attempted 6887/8536 = 80%, 40 KB/s], Decompressed: 6795
Downloaded: 6925 file(s) [attempted 6925/8536 = 81%, 98 KB/s], Decompressed: 6795
Downloaded: 6963 file(s) [attempted 6963/8536 = 81%, 411 KB/s], Decompressed: 6870
Downloaded: 7004 file(s) [attempted 7004/8536 = 82%, 121 KB/s], Decompressed: 6870
Downloaded: 7041 file(s) [attempted 7041/8536 = 82%, 530 KB/s], Decompressed: 6942
Downloaded: 7082 file(s) [attempted 7082/8536 = 82%, 340 KB/s], Decompressed: 7007
Downloaded: 7123 file(s) [attempted 7123/8536 = 83%, 98 KB/s], Decompressed: 7007
Downloaded: 7165 file(s) [attempted 7165/8536 = 83%, 364 KB/s], Decompressed: 7072
Downloaded: 7202 file(s) [attempted 7202/8536 = 84%, 130 KB/s], Decompressed: 7127
Downloaded: 7243 file(s) [attempted 7243/8536 = 84%, 1619 KB/s], Decompressed: 7127
Downloaded: 7288 file(s) [attempted 7288/8536 = 85%, 310 KB/s], Decompressed: 7192
Downloaded: 7325 file(s) [attempted 7325/8536 = 85%, 128 KB/s], Decompressed: 7192
Downloaded: 7370 file(s) [attempted 7370/8536 = 86%, 81 KB/s], Decompressed: 7267
Downloaded: 7408 file(s) [attempted 7408/8536 = 86%, 560 KB/s], Decompressed: 7336
Downloaded: 7449 file(s) [attempted 7449/8536 = 87%, 367 KB/s], Decompressed: 7336
Downloaded: 7486 file(s) [attempted 7486/8536 = 87%, 313 KB/s], Decompressed: 7408
Downloaded: 7527 file(s) [attempted 7527/8536 = 88%, 202 KB/s], Decompressed: 7408
Downloaded: 7565 file(s) [attempted 7565/8536 = 88%, 446 KB/s], Decompressed: 7479
Downloaded: 7606 file(s) [attempted 7606/8536 = 89%, 145 KB/s], Decompressed: 7541
Downloaded: 7650 file(s) [attempted 7650/8536 = 89%, 987 KB/s], Decompressed: 7541
Downloaded: 7692 file(s) [attempted 7692/8536 = 90%, 285 KB/s], Decompressed: 7599
Downloaded: 7733 file(s) [attempted 7733/8536 = 90%, 73 KB/s], Decompressed: 7661
Downloaded: 7770 file(s) [attempted 7770/8536 = 91%, 100 KB/s], Decompressed: 7661
Downloaded: 7811 file(s) [attempted 7811/8536 = 91%, 1500 KB/s], Decompressed: 7719
Downloaded: 7856 file(s) [attempted 7856/8536 = 92%, 32 KB/s], Decompressed: 7784
Downloaded: 7890 file(s) [attempted 7890/8536 = 92%, 140 KB/s], Decompressed: 7784
Downloaded: 7931 file(s) [attempted 7931/8536 = 92%, 692 KB/s], Decompressed: 7849
Downloaded: 7969 file(s) [attempted 7969/8536 = 93%, 499 KB/s], Decompressed: 7849
Downloaded: 8010 file(s) [attempted 8010/8536 = 93%, 258 KB/s], Decompressed: 7921
Downloaded: 8054 file(s) [attempted 8054/8536 = 94%, 210 KB/s], Decompressed: 7921
Downloaded: 8092 file(s) [attempted 8092/8536 = 94%, 239 KB/s], Decompressed: 8006
Downloaded: 8126 file(s) [attempted 8126/8536 = 95%, 411 KB/s], Decompressed: 8006
Downloaded: 8167 file(s) [attempted 8167/8536 = 95%, 648 KB/s], Decompressed: 8006
Downloaded: 8208 file(s) [attempted 8208/8536 = 96%, 21 KB/s], Decompressed: 8085
Downloaded: 8246 file(s) [attempted 8246/8536 = 96%, 1016 KB/s], Decompressed: 8085
Downloaded: 8284 file(s) [attempted 8284/8536 = 97%, 1016 KB/s], Decompressed: 8171
Downloaded: 8328 file(s) [attempted 8328/8536 = 97%, 176 KB/s], Decompressed: 8171
Downloaded: 8369 file(s) [attempted 8369/8536 = 98%, 470 KB/s], Decompressed: 8260
Downloaded: 8414 file(s) [attempted 8414/8536 = 98%, 211 KB/s], Decompressed: 8260
Downloaded: 8448 file(s) [attempted 8448/8536 = 98%, 759 KB/s], Decompressed: 8342
Downloaded: 8489 file(s) [attempted 8489/8536 = 99%, 633 KB/s], Decompressed: 8342
Downloaded: 8527 file(s) [attempted 8527/8536 = 99%, 183 KB/s], Decompressed: 8424
Downloaded: 8536 file(s) [attempted 8536/8536 = 100%, 183 KB/s], Decompressed: 8424

lean_checker exit 0 duration 12m 31s · created 6/13/2026, 7:07:37 AM

lake build

✔ [1957/1971] Built FLT.Assumptions.Mazur (6.0s)
✔ [2944/2951] Built FLT.Deformations.ContinuousRepresentation.IsTopologicalModule (2.3s)
✔ [2949/2953] Built FLT.Mathlib.Algebra.Algebra.Tower (1.9s)
✔ [2951/2974] Built FLT.Assumptions.Odlyzko (3.4s)
✔ [3221/3226] Built FLT.Mathlib.Algebra.FixedPoints.Basic (2.6s)
✔ [3224/3228] Built FLT.Mathlib.Topology.Algebra.Module.ModuleTopology (4.8s)
✔ [3225/3250] Built FLT.Hacks.RightActionInstances (3.0s)
✔ [3306/3323] Built FLT.Mathlib.MeasureTheory.Constructions.BorelSpace.RestrictedProduct (1.6s)
✔ [3307/3323] Built FLT.Mathlib.Topology.Algebra.RestrictedProduct.Basic (2.0s)
✔ [3308/3323] Built FLT.Mathlib.Topology.Algebra.Module.Quotient (1.7s)
✔ [3309/3323] Built FLT.Mathlib.Topology.Algebra.Group.Units (1.1s)
✔ [3310/3323] Built FLT.Mathlib.Order.Filter.Cofinite (1.1s)
✔ [3312/3323] Built FLT.Mathlib.Topology.Bases (1.0s)
✔ [3314/3323] Built FLT.Mathlib.MeasureTheory.Group.Action (2.5s)
✔ [3315/3323] Built FLT.Mathlib.MeasureTheory.Measure.Typeclasses.Finite (1.4s)
✔ [3316/3323] Built FLT.DedekindDomain.FiniteAdeleRing.TensorPi (3.5s)
✔ [3317/3323] Built FLT.Mathlib.Topology.Algebra.RestrictedProduct.Equiv (5.3s)
✔ [3319/3324] Built FLT.Mathlib.Topology.Algebra.ContinuousMonoidHom (1.7s)
✔ [3320/3324] Built FLT.Mathlib.MeasureTheory.Group.Measure (1.6s)
✔ [3321/3324] Built FLT.Mathlib.Topology.Algebra.RestrictedProduct.TopologicalSpace (5.0s)
✔ [3322/3337] Built FLT.AutomorphicForm.QuaternionAlgebra.Defs (4.4s)
✔ [3329/3337] Built FLT.Mathlib.RingTheory.TensorProduct.Pi (1.3s)
✔ [3331/3337] Built FLT.Mathlib.RingTheory.DedekindDomain.FiniteAdeleRing (10s)
✔ [3333/3345] Built FLT.Mathlib.LinearAlgebra.Dimension.Constructions (1.6s)
✔ [3336/3345] Built FLT.Mathlib.RingTheory.DedekindDomain.AdicValuation (1.7s)
✔ [3337/3345] Built FLT.Mathlib.RingTheory.LocalRing.MaximalIdeal.Basic (1.3s)
✔ [3339/3345] Built FLT.Mathlib.RingTheory.Valuation.ValuationSubring (2.3s)
✔ [3341/3350] Built FLT.HaarMeasure.HaarChar.AddEquiv (5.0s)
✔ [3343/3351] Built FLT.HaarMeasure.HaarChar.Ring (2.9s)
✔ [3345/3351] Built FLT.Mathlib.RingTheory.Ideal.Quotient.Basic (1.1s)
✔ [3346/3352] Built FLT.Mathlib.LinearAlgebra.Countable (1.5s)
✔ [3350/3358] Built FLT.DedekindDomain.AdicValuation (7.4s)
✔ [3357/3378] Built FLT.Mathlib.Topology.Algebra.Valued.WithZeroMulInt (2.3s)
✔ [3367/3378] Built FLT.Mathlib.RingTheory.Localization.BaseChange (2.2s)
✔ [3371/3378] Built FLT.DedekindDomain.IntegralClosure (4.0s)
✔ [3374/3380] Built FLT.Mathlib.NumberTheory.NumberField.InfinitePlace.Completion (1.8s)
✔ [3376/3382] Built FLT.NumberField.HeightOneSpectrum (1.8s)
✔ [3377/3382] Built FLT.NumberField.Completion.Finite (2.4s)
✔ [3380/3387] Built FLT.Mathlib.NumberTheory.NumberField.FiniteAdeleRing (2.9s)
✔ [3383/3396] Built FLT.Mathlib.MeasureTheory.Constructions.BorelSpace.AdicCompletion (1.6s)
✔ [3384/3396] Built FLT.Mathlib.Algebra.Algebra.Hom (2.4s)
✔ [3386/3396] Built FLT.Mathlib.Algebra.Module.Submodule.Basic (1.1s)
✔ [3387/3406] Built FLT.Mathlib.RingTheory.TensorProduct.Basis (1.8s)
✔ [3388/3406] Built FLT.Mathlib.Topology.Algebra.UniformRing (1.5s)
✔ [3389/3406] Built FLT.Mathlib.Algebra.Algebra.Pi (1.5s)
✔ [3391/3406] Built FLT.Mathlib.Algebra.Algebra.Bilinear (2.1s)
✔ [3393/3406] Built FLT.Mathlib.Algebra.IsDirectLimit (2.1s)
✔ [3394/3406] Built FLT.Mathlib.Topology.Algebra.MulAction (1.3s)
✔ [3395/3406] Built FLT.Mathlib.Topology.Algebra.Algebra.Hom (1.8s)
✔ [3398/3410] Built FLT.Mathlib.LinearAlgebra.Pi (1.6s)
✔ [3399/3410] Built FLT.DedekindDomain.FiniteAdeleRing.IsDirectLimitRestricted (1.7s)
✔ [3401/3410] Built FLT.Mathlib.Topology.Algebra.RestrictedProduct.Module (7.3s)
✔ [3403/3410] Built FLT.Mathlib.NumberTheory.NumberField.InfiniteAdeleRing (3.1s)
✔ [3405/3410] Built FLT.DedekindDomain.Completion.BaseChange (29s)
✔ [3406/3412] Built FLT.DedekindDomain.FiniteAdeleRing.TensorRestrictedProduct (7.2s)
✔ [3407/3425] Built FLT.Mathlib.NumberTheory.NumberField.AdeleRing (1.9s)
✔ [3410/3426] Built FLT.DedekindDomain.FiniteAdeleRing.BaseChange (74s)
✔ [3413/3426] Built FLT.Mathlib.MeasureTheory.Constructions.BorelSpace.FiniteAdeleRing (1.6s)
✔ [3414/3426] Built FLT.Mathlib.NumberTheory.NumberField.InfinitePlace.Basic (1.7s)
✔ [3415/3426] Built FLT.Mathlib.Topology.Algebra.Group.Quotient (1.5s)
✔ [3416/3426] Built FLT.Mathlib.Topology.Algebra.ContinuousAlgEquiv (1.3s)
✔ [3417/3426] Built FLT.NumberField.InfinitePlace.Extension (2.6s)
✔ [3418/3426] Built FLT.Mathlib.Topology.Algebra.Module.FiniteDimension (1.6s)
✔ [3420/3429] Built FLT.Mathlib.Topology.Constructions (1.2s)
✔ [3422/3429] Built FLT.Mathlib.Topology.MetricSpace.Pseudo.Matrix (1.7s)
✔ [3424/3436] Built FLT.Mathlib.Topology.Algebra.Module.Equiv (1.0s)
✔ [3425/3438] Built FLT.Mathlib.Topology.MetricSpace.ProperSpace.InfinitePlace (1.9s)
✔ [3426/3438] Built FLT.NumberField.Completion.Infinite (19s)
✔ [3428/3438] Built FLT.NumberField.Padics.RestrictedProduct (2.7s)
✔ [3429/3438] Built FLT.Mathlib.Data.Real.Archimedean (1.2s)
✔ [3430/3438] Built FLT.Mathlib.LinearAlgebra.Matrix.Transvection (1.5s)
✔ [3431/3438] Built FLT.Mathlib.MeasureTheory.Constructions.BorelSpace.InfinitePlace (1.8s)
✔ [3434/3441] Built FLT.Mathlib.MeasureTheory.Constructions.BorelSpace.AdeleRing (1.9s)
✔ [3435/3441] Built FLT.Mathlib.RingTheory.SimpleRing.TensorProduct (5.9s)
✔ [3436/3441] Built FLT.NumberField.InfiniteAdeleRing (14s)
✔ [3438/3457] Built FLT.NumberField.AdeleRing (23s)
✔ [3445/3463] Built FLT.Mathlib.NumberTheory.Padics.PadicIntegers (2.1s)
✔ [3448/3466] Built FLT.Mathlib.NumberTheory.Padics.HeightOneSpectrum (3.2s)
✔ [3449/3466] Built FLT.HaarMeasure.MeasurableSpacePadics (2.1s)
✔ [3451/3466] Built FLT.Mathlib.LinearAlgebra.TensorProduct.FiniteFree (1.3s)
✔ [3452/3469] Built FLT.Mathlib.LinearAlgebra.TensorProduct.Algebra (1.5s)
✔ [3454/3469] Built FLT.HaarMeasure.HaarChar.RealComplex (2.4s)
✔ [3456/3469] Built FLT.HaarMeasure.HaarChar.Padic (2.5s)
✔ [3457/3469] Built FLT.Mathlib.Topology.Algebra.Module.TensorProduct (2.3s)
✔ [3460/3469] Built FLT.Mathlib.LinearAlgebra.TensorProduct.Basis (1.3s)
✔ [3461/3469] Built FLT.Mathlib.Algebra.Central.TensorProduct (2.2s)
✔ [3462/3469] Built FLT.DedekindDomain.FiniteAdeleRing.TensorProduct (6.9s)
✔ [3464/3469] Built FLT.Mathlib.GroupTheory.DoubleCoset (1.3s)
✔ [3465/3470] Built FLT.Mathlib.LinearAlgebra.Determinant (4.3s)
✔ [3466/3471] Built FLT.HaarMeasure.HaarChar.FiniteDimensional (2.8s)
✔ [3468/3474] Built FLT.HaarMeasure.HaarChar.FiniteAdeleRing (29s)
✔ [3469/3488] Built FLT.HaarMeasure.HaarChar.AdeleRing (4.7s)
✔ [3479/3488] Built FLT.Mathlib.Topology.HomToDiscrete (1.6s)
✔ [3480/3488] Built FLT.Mathlib.Topology.Polish (1.5s)
✔ [3484/3505] Built FLT.AutomorphicForm.QuaternionAlgebra.HeckeOperators.Abstract (2.4s)
✔ [3486/3505] Built FLT.Mathlib.Topology.Algebra.Valued.ValuationTopology (1.6s)
✔ [3487/3505] Built FLT.Mathlib.Topology.Instances.Matrix (1.5s)
✔ [3488/3505] Built FLT.Mathlib.LinearAlgebra.Matrix.GeneralLinearGroup.Defs (1.8s)
✔ [3489/3505] Built FLT.DedekindDomain.FiniteAdeleRing.LocalUnits (3.6s)
✔ [3490/3505] Built FLT.Mathlib.MeasureTheory.Haar.Extension (2.3s)
✔ [3493/3505] Built FLT.Deformations.Algebra.InverseLimit.Basic (5.4s)
✔ [3494/3505] Built FLT.DivisionAlgebra.Finiteness (40s)
✔ [3495/3505] Built FLT.Data.QHat (5.6s)
✔ [3497/3505] Built FLT.Deformations.Algebra.InverseLimit.Topology (3.4s)
✔ [3498/3505] Built FLT.AutomorphicForm.QuaternionAlgebra.FiniteDimensional (2.3s)
✔ [3499/3511] Built FLT.Data.Hurwitz (3.7s)
✔ [3500/3512] Built FLT.Mathlib.Algebra.IsQuaternionAlgebra (1.9s)
✔ [3501/3512] Built FLT.Data.HurwitzRatHat (2.3s)
✔ [3503/3514] Built FLT.QuaternionAlgebra.NumberField (8.0s)
✔ [3506/3514] Built FLT.AutomorphicForm.QuaternionAlgebra.HeckeOperators.Local (5.9s)
✔ [3509/3517] Built FLT.AutomorphicForm.QuaternionAlgebra.HeckeOperators.Concrete (8.6s)
✔ [3512/3517] Built FLT.Patching.Utils.Lemmas (4.0s)
✔ [3515/3523] Built FLT.Patching.Utils.InverseLimit (1.4s)
✔ [3525/3535] Built FLT.Deformations.Lemmas (3.8s)
✔ [3527/3535] Built FLT.Mathlib.RingTheory.LocalRing.Defs (1.3s)
✔ [3529/3535] Built FLT.Deformations.RepresentationTheory.ContinuousSMulDiscrete (1.3s)
✔ [3530/3535] Built FLT.Deformations.IsResidueAlgebra (1.0s)
✔ [3531/3535] Built FLT.Patching.Utils.AdicTopology (3.4s)
✔ [3532/3535] Built FLT.Deformations.Subfunctor (1.0s)
✔ [3533/3536] Built FLT.Deformations.IsProartinian (1.9s)
✔ [3534/3539] Built FLT.Deformations.Categories (3.1s)
✔ [3582/3584] Built FLT.Deformations.RepresentationTheory.IntegralClosure (2.2s)
✔ [3583/3605] Built FLT.Deformations.RepresentationTheory.Frobenius (2.3s)
✔ [3603/3615] Built FLT.Deformations.RepresentationTheory.AbsoluteGaloisGroup (13s)
✔ [3614/3632] Built FLT.Deformations.RepresentationTheory.Etale (8.8s)
✔ [3631/3639] Built FLT.Deformations.RepresentationTheory.GaloisRep (12s)
✔ [3634/3640] Built FLT.Mathlib.RepresentationTheory.Basic (2.3s)
✔ [3636/3640] Built FLT.Deformations.RepresentationTheory.Irreducible (1.5s)
✔ [3638/3640] Built FLT.Deformations.LiftFunctor (3.8s)
✔ [3639/3651] Built FLT.Deformations.Representable (2.7s)
✔ [3649/3654] Built FLT.EllipticCurve.Torsion (2.3s)
✔ [3651/3658] Built FLT.Deformations.RepresentationTheory.GaloisRepFamily (2.0s)
✔ [3816/3829] Built FLT.Mathlib.RingTheory.DedekindDomain.Ideal.Lemmas (1.7s)
✔ [3817/3829] Built FLT.GaloisRepresentation.Automorphic (2.8s)
✔ [3819/3829] Built FLT.GaloisRepresentation.Cyclotomic (1.0s)
✔ [3821/3829] Built FLT.GaloisRepresentation.HardlyRamified.Defs (2.5s)
✔ [3822/3829] Built FLT.GaloisRepresentation.HardlyRamified.Threeadic (2.1s)
✔ [3823/3829] Built FLT.GaloisRepresentation.HardlyRamified.ModThree (1.9s)
✔ [3824/3829] Built FLT.GaloisRepresentation.HardlyRamified.Lift (1.0s)
✔ [3825/3829] Built FLT.GaloisRepresentation.HardlyRamified.Family (2.2s)
✔ [3826/3834] Built FLT.FreyCurve.FreyPackage (2.7s)
✔ [3827/3834] Built FLT.GaloisRepresentation.HardlyRamified.Frey (1.0s)
✔ [3829/3841] Built FLT.FreyCurve.Contradiction (1.9s)
✔ [3953/3971] Built FLT.Mathlib.Algebra.Order.AbsoluteValue.Basic (1.4s)
✔ [3954/3971] Built FLT.Mathlib.Analysis.Normed.Ring.WithAbs (1.5s)
✔ [3955/3971] Built FLT.Mathlib.Data.Fin.Basic (1.0s)
✔ [3956/3971] Built FLT.Mathlib.Data.Set.Prod (561ms)
✔ [3957/3971] Built FLT.Mathlib.GroupTheory.Index (1.2s)
✔ [3958/3971] Built FLT.Mathlib.MeasureTheory.Constructions.BorelSpace.Padic (1.5s)
✔ [3959/3971] Built FLT.Mathlib.MeasureTheory.Measure.Regular (1.5s)
✔ [3960/3971] Built FLT.Mathlib.NumberTheory.NumberField.Completion (1.5s)
✔ [3962/3971] Built FLT.Mathlib.Topology.Algebra.Monoid (1.4s)
✔ [3964/3971] Built FLT.Mathlib.Topology.Algebra.Order.Field (2.3s)
✔ [3973/3981] Built FLT.GlobalLanglandsConjectures.GLnDefs (7.9s)
✔ [3975/3981] Built FLT.GlobalLanglandsConjectures.GLzero (2.2s)
✔ [3979/3988] Built FLT.Patching.Utils.TopologicallyFG (1.6s)
✔ [3981/3988] Built FLT.NumberField.DiscriminantBounds (2.6s)
✔ [3983/3990] Built FLT.Patching.Utils.StructureFiniteness (3.7s)
✔ [3984/3990] Built FLT.Patching.Ultraproduct (8.2s)
✔ [3986/3990] Built FLT.Patching.Module (11s)
✔ [3987/3990] Built FLT.Patching.Algebra (9.8s)
✔ [3989/3993] Built FLT.Patching.Over (11s)
✔ [4006/4014] Built FLT.Patching.VanishingFilter (2.8s)
✔ [4008/4014] Built FLT.Patching.Utils.Depth (2.0s)
✔ [4009/4014] Built FLT.Patching.Utils.CompactHausdorffRings (2.3s)
✔ [4010/4014] Built FLT.Patching.System (9.6s)
✔ [4011/4014] Built FLT.Patching.REqualsT (4.1s)
✔ [4012/4014] Built FLT (1.0s)
✔ [4013/4014] Built FermatsLastTheorem (16s)
Build completed successfully (4014 jobs).

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

blueprint_build exit 1 duration 1s · created 6/13/2026, 7:07:37 AM

lake build :blueprint

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

semantic_extract exit 0 duration 5m 50s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00000)

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

semantic_extract exit 0 duration 5m 55s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00001)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 75d99f72325248f8bec25815231e6df9c41a7f1cfa3d60f6b018ab59a180c5df
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 8m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00002)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 6471d5c0e75dc3201883ba6026a2ea5b45bc7496bd48688786f1d89680dc3da8
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 10s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00003)

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

semantic_extract exit 0 duration 4m 13s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00004)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 84f10b9b2f3d0b5439acf2d6ebe9a7fd4e6c64e247d68353ed13fe569ec9d5f1
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 47s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00005)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 58f86208a4b9578b46998ec5ba68f8863810d1faf1b6482ce7288b00b8f3760c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 47s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00006)

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

semantic_extract exit 0 duration 6m 40s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00007)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 9e463f9e4fab5f8de62a9ea20a8242d606574a763eb21c7ef60fa5fe6a29ff84
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 28s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00008)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 5f72c03892e30ae334f2e039c64354b0002cee072bbd5d6a33c281ffbd197c5f
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 39s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00009)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 129a2eabb0999b1f44b6f0a9e393483940bb0d2a1e6c8e725f18f98fbda7d6b2
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 8m 1s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00010)

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

semantic_extract exit 0 duration 4m 0s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00011)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 3e81c94a50bceb27be3a5d09cc97215609cbb8aafafa1cc47d4441b6aa409a29
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 21s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00012)

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

semantic_extract exit 0 duration 3m 56s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00013)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8f7547d7904bc3b25aa15c0c3de06010b57c4ddead997b8f32aa8eec0360af64
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 46s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00015)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 5c492616150210a503d624ffa4bcbb63bcc6c1d66894cc046626faf43e0d3298
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 18s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00016)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 3628583be458db37a593846d08a41be0c5dba7d717c485948c964f69edd86239
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00017)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 39ff2ce6cdae929e3389871bb040c620b69d3c739c23deab4f3b6e2caa5d5412
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 13s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00018)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 79667c0bff4f0576e780db8a0d2f3d76464f475dcca3ae5973d3b7c4d57e58d9
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 48s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00019)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 223b1b865bbe04965765f7ba9f9f2a6afd76d2321a2eeb19c37b2917ce1bf32e
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 56s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00020)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 701b732217a370ed6be816ba8199ecb5051bb314003a4f04566888e1ae53183c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 29s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00021)

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

semantic_extract exit 0 duration 2m 52s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00022)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 147bfb68fde1a6ff57a93caa05a012b414a88d787bd1c32728eb695438e35330
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 31s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00023)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 6abb99b4efd937cba68908021ca9bc5d8676bb9d1256821e64b4726f1d4fe75c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 37s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00024)

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

semantic_extract exit 0 duration 2m 14s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00025)

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

semantic_extract exit 0 duration 2m 16s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00026)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 6a79eba5f0861ad09b8c4954d10dc3886a8d244826c3b00ca4153a83ee8da890
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 50s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00027)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 9e3b2c452b56febf897cfe57c921fd5a0d3fce14fb437e2706ef1b304011c43b
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 26s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00028)

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

semantic_extract exit 0 duration 3m 9s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00029)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 54918e7ccc9a6f5b23ebc455a0b642a9f185d771ae2536e1415f6ce29c6c3b27
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 47s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00030)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 87fbd2056ca54b0f34e6c5531f3b5299e6f34d0c41e53d760656feb3703f2eb3
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 20s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00031)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 1da1d73c1ef6b149ea8bf256ddaf1f2064848621da1b3c9f372991bfc4885636
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 1s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00032)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 64d892e63be608e1a33033f8c6a7596bbdd167f32328424b44140baefb575d6d
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 43s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00033)

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

semantic_extract exit 0 duration 3m 25s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00034)

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

semantic_extract exit 0 duration 2m 21s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00035)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 331f6d62c93ff54f165710bfa2a9a360046e3d0fd61581209fdea8b10fbb85fa
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 4s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00036)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 5c7dc20f4ab616e1bb57834fe7cc4489ff368d5cdef32a720ba2aa23f8f93b32
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 55s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00037)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 86dc46714c9c09981e85ad4acccea3ed3641217e1e3014431bccaf419f6275ea
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 44s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00038)

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

semantic_extract exit 0 duration 4m 14s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00039)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 780d7b5407a403700203128e63892abe5fdd753a094ebfcadb91e63c35df3e84
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 8s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00040)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 9ddbee47881e69bf33c666754202596076e4240730b6acc85f4070dda385fd65
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 31s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00041)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 9a6772e04736c0aacbdef68b68591e545b6794acd4fe39031e286f14f9bca2b7
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 28s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00042)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 09efb978781675acb5cb586a7428af6e504bb20561eaf67b738597ef76dd34f2
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 25s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00043)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 70f797866488d10c890123d6c24411bb5e7928902b3575cd9398b0a20cd29c77
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 59s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00044)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 45250f9d6d4e3b321bc6133247ab55d6ecba6bf3ab32a75f87f251ecf8877bd3
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00045)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8f86aee4f41a8f1a7a2ccd20daba6b8971fdf932a66bb5466562949f1942afd5
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 46s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00046)

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

semantic_extract exit 0 duration 3m 24s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00047)

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

semantic_extract exit 0 duration 2m 46s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00048)

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

semantic_extract exit 0 duration 3m 8s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00049)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 7b9b2a4de5ce8c9184bb6d94b7d35e4047c46bd7425ab41584600c615fa259c9
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 58s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00050)

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

semantic_extract exit 0 duration 2m 25s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00051)

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

semantic_extract exit 0 duration 2m 10s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00052)

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

semantic_extract exit 0 duration 2m 56s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00053)

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

semantic_extract exit 0 duration 3m 39s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00054)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 37123437ffc621fd0e1acb22b500cff8b11cbec022b657a513b05a60c6f6fc45
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 8s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00055)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 5b68d0fe55d4c8c436261b91e10e573b31298f22f8436936ebd7606095e33dd2
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 20s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00056)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 35313166b8be7b2864eb4f41e1cb64c46fca433f8596ec4c88d864d90c873996
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 24s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00057)

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

semantic_extract exit 0 duration 4m 17s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00058)

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

semantic_extract exit 0 duration 3m 12s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00059)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 2e5399e4c2baf71431f6b1c272cba2585f2c8759f6e3e0f6770ca5a2f7823c0f
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 29s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00060)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 48761c9011ab56082284e4299d8b0ae872fa1f1abd7b4aff88d92233c5e79047
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 46s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00061)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 2a81f121e294d3ccc917f0be53196126945a586d7ecabfd1ca3998579e0f277c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 51s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00062)

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

semantic_extract exit 0 duration 5m 58s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00063)

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

semantic_extract exit 0 duration 3m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00064)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 70d1c555755bc57b878a0533138130ef1e9b777aaa8b600b96e647bbe7e1f043
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 13s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00065)

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

semantic_extract exit 0 duration 5m 20s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00066)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 98be5fbf533e59908ba5d334c0a1020d58003a617ad05c8607f84f5f2ed94c5c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 56s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00067)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 735f2b95c7009e1919216bad3f1f4828f0ce8a3d83128db327f607dd32a34d84
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 49s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00068)

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

semantic_extract exit 0 duration 2m 45s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00069)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 993634c1aaeeb0719bc6f8bef842d3f5e64230992050b8804655f83e14c2da7d
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 7s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00070)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0d55a0d231d75c3af672c07f8e3d2c768e5300efbb56d82d8537660a951f9948
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 11s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00071)

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

semantic_extract exit 0 duration 5m 23s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00072)

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

semantic_extract exit 0 duration 3m 24s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00073)

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

semantic_extract exit 0 duration 3m 32s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00074)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8e9484b662f04d1e7a66a83e227ee043e9a4e7cc98caf88d31996cb9a5f89aa4
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 19s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00075)

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

semantic_extract exit 0 duration 4m 26s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00076)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 85222f25aa2f84466f7672d49d406482e64c024e512a56ef9e6f6511bd32fc73
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 40s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00077)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0c565a129c4ee9fbb64a43b81d4b52bef0f0f457e03b2b4658db6f6a851a3df8
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 21s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00078)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 2847455705ae0b1b2af01727f1cd8444acea954e50b2767ca8560c3a55c7eea6
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 52s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00079)

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

semantic_extract exit 0 duration 3m 2s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00080)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 7642400cef6d8ee3f4bd59fe04f115f9f07a7b34589f855768d6ce8376b4ca85
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 44s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00081)

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

semantic_extract exit 0 duration 3m 14s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00082)

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

semantic_extract exit 0 duration 2m 37s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00083)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0c5d364f671931bdf1fe754e10e49e680a4fedb46defd00b6a3c186200ad9a3a
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 13s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00084)

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

semantic_extract exit 0 duration 3m 28s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00085)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 59b81d44ccc0c9a65382c56917397aed764e8a823f1226ce033434de4a98d4b3
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 6s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00086)

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

semantic_extract exit 0 duration 4m 4s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00087)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8593437647837c22f719414edbf57a1bf5a0f4766bf0f298b48565ccc3209147
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 17s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00088)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8cc4d12648434554b03cb9320c4b8822ac1c61170e10660db9a3cdb336cc3887
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 6s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00089)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 866efb31f2c45ac926bbea4ac56f13ae6e42ab88bffaebae47bb02f95688eb51
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 33s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00090)

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

semantic_extract exit 0 duration 3m 25s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00091)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 4d7469abdec2f5647c20a64e70eabc7ae7f3b8c2037b0ee91c175e28a605773c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 2m 52s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00092)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0d3d3706049fbc5ed5aad43c4dbf27c6c7836320a2c4a4139549fec5be0890f7
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 57s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00093)

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

semantic_extract exit 0 duration 3m 56s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00094)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0aec2113500537ef6db00a05acdf6541d089832f495305ab497f72a484a9e82c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 34s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00095)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 2b3bbfe417738eb3d6d00da611d9fddfdd3abb2a1858abf45ec57769307e8f4a
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 36s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00096)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8e586e7d9f49a4287e1fcca5a2532db3a87cf0dab6784443fcb427f43a634829
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 6s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00097)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 26687349408984e221890bd7c76d72b7d41d6770b980622209f629ac57b0c501
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 11s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00098)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 72a4edf3bb4ca48108a05eb1cbf1d37c9ed714bd6469dae1f67c7d0c170c19bc
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 14s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00099)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0538f98d535a7af28c8c41db70378af68dafb3f205cad690cea0923c0aca3d60
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 27s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00100)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 286ec3b02cc2716c214a1cad666dab7fb9c494cd6770e9cead766dac119c77bc
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 3m 30s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00101)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8728650006c1b8ce51fa12be0a7f56690068de5884db5fc2e646beee5f0ad9f7
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 3s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00102)

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

semantic_extract exit 0 duration 4m 7s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00103)

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

semantic_extract exit 0 duration 3m 27s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00104)

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

semantic_extract exit 0 duration 3m 21s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00105)

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

semantic_extract exit 0 duration 4m 27s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00106)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 7f51cbe2c93cd07b571129ae3a3454246a371317988444a91a180823d36979f5
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 11s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00107)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 2cf34b19e04359d9febb4afd60d4b7e676e43308dd211c16049ccef56545ffb5
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 32s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00108)

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

semantic_extract exit 0 duration 5m 29s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00109)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 6c195e068106332c42720693bfb02269ca92bd1ad8195ce6eba608798aaf5fcf
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 9s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00110)

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

semantic_extract exit 0 duration 4m 36s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00111)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 60214805d1589f6be5f2040cfb6ff71a44462e3546a1380d8588fb92c3502044
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 33s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00112)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 3e453d62137b565fed5853772154c433ed2e867ffe5b27eea8a6812be3b61880
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 27s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00113)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 7b01cdcc092f515d9dfeacad8a930e91f5dc6fb72517fc66ad3a5b5b099e3a14
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 26s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00114)

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

semantic_extract exit 0 duration 3m 38s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00115)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 3c551069dc4a8054baa9b42305f755d462f37ba55c55837e95e678490a969b45
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 11s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00116)

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

semantic_extract exit 0 duration 4m 28s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00117)

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

semantic_extract exit 0 duration 4m 25s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00118)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 09efeac4be4933f9a2b4d9381564e52c214635784f79a5315499a4091098f1c2
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 40s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00119)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 895c287ae12b792b9c7ab7d6119a641ee044265fd9099f34b7fd9b0cd6fe9b48
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 22s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00120)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 2eb7de207f827c115e3a9dd27d2462c4154d528a9606707be2796d84a5128778
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 36s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00121)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8f21a0215db22a5d544f5908e0fcac45257ba1080b1d9dbf4333b512f7a4dd38
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 36s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00122)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 68467058bb76a0de1b512a80d6091ec58fa8fb9e7cbf93402d01a757159ef1cb
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 32s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00123)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 16e4f2ee12cb2ba55e4b80c803e1e0ccc5798bc8f67aa39cd0f982db91ab335c
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 17s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00124)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 5952c50a24578a9f08a4dd679eb3c3ab7c9cf688d59cc685c8303472a2c461c9
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 4m 23s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00125)

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

semantic_extract exit 0 duration 6m 19s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00126)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 24d56bab3ccd21b3e937216cffbf4bfb63df1bab69dc340a19f8b967480b2e53
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 59s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00127)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 69854ddcbf91305da6685f3e527a1f1f043b285f3034561db0162328e77705c1
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 52s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00128)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 90063697b6a798f7ecac92db71553605107b7f8eb9e76ec7745308a367806c46
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 22s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00129)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 3424b1aede6ec869d48f4844297e157f9eff331ca107f0b86db4142acbc2e3e5
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 16s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00130)

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

semantic_extract exit 0 duration 5m 21s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00131)

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

semantic_extract exit 0 duration 5m 42s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00132)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 58cbfb50229ff7ab75da844f681c243172d79a4c3d352b6330943f4892bf3cc0
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 3s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00133)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 28eac09e68e78549637cd3a575b957e864b23056df5f3167f1eba8eb41d3e00e
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 2s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00134)

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

semantic_extract exit 0 duration 5m 57s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00135)

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

semantic_extract exit 0 duration 5m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00136)

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

semantic_extract exit 0 duration 6m 5s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00137)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 2e2597081dbc4f38d6a8b1937055469fd05ec2a8bb6488d84973c97743f009f3
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 24s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00138)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 769961a96771c46e7bf55ada49c8e9a50d277e92cee7ed893b80a9cfb7ba2e92
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 19s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00139)

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

semantic_extract exit 0 duration 5m 35s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00140)

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

semantic_extract exit 0 duration 6m 20s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00141)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8dfe843964882b1211dadcc743a3229bbcb83e4d7a516b102fd0a3f8e0c92ad1
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 52s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00142)

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

semantic_extract exit 0 duration 5m 35s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00143)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 4ae3f9c12fce834cbec49c9d4434ac08f87ab4b8b0668e7d849cd6f3053b4100
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 0s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00144)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 44418aadffa05d25bd055096b43e76b2ef74df8730876f10d62f65fcfa5183db
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 0s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00145)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 69060efb29bd25f2d4ff75dce287489b7a1107d8ac2c4417b19f31a8ba438c7f
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 21s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00146)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 6615cb694fc90910c17ca42683761c57ffa9c5936d855f29d4980e6a93f3b12e
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 5m 26s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00147)

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

semantic_extract exit 0 duration 5m 56s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00148)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 620481bef58979347a0ab1df93566dc26465241631d4c7559c2c9a0c5afdfabc
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 32s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00149)

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

semantic_extract exit 0 duration 5m 52s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00150)

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

semantic_extract exit 0 duration 6m 13s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00151)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0181fd61dfffbbf14866eb4b7a2e46cdbb06d5cef71fb2444a432b62916de6e7
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 21s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00152)

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

semantic_extract exit 0 duration 6m 32s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00153)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 166aedad9c9f2971fc3c0c1ee3c5f2fd3985a63a8ad84e0755881100b4ad4893
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 36s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00154)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 3ae13e831e3180cc616b1721fbe6a4b0b78bcb5607f224c08b984c1cdb3fb04e
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 7m 5s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00155)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 0b49dd4f113927203e50c808ed1f742c4384844dda33847d0a0c488eadcdee62
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 6m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00156)

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

semantic_extract exit 0 duration 7m 15s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00157)

warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 48c954a5fc26a7c3ece9128fd71268c20d8c45f367eaf141f29951f5e0d66c07
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes

semantic_extract exit 0 duration 7m 13s · created 6/13/2026, 7:07:37 AM

./.apodeixis/tools/lean-semantic-extract.sh (extract-batch-00158)

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