Verification run

Run 7

ImperialCollegeLondon/FLT branch main triggered via poller

failed commit 070867aa3bf6 toolchain lean-v4-31-0-rc1 prover lean took 14m 51s · finished 6w ago

lean semantic extraction artifact validation failed: semantic_commit_sha_mismatch: semantic commit_sha c4d4c2e8323150cb677ad6d771dcad039079dfe2 does not match expected 070867aa3bf698a3f98b5678d6049338c485e750. remediation: inspect semantic_extract command output and ensure .apodeixis/semantic-extraction.json exists with valid schema and repository context

Open project

Package inputs

This verification run did not include a theorem package lock. Its inputs depend only on repository, toolchain, image, and command inputs.

Trust verification

Recomputes trust checks from the recorded attestations, manifest, and command history.

(verification not run)

Manifest

Loads the published files manifest and location metadata for this job.

(manifest not loaded)

Verifier log excerpt

(no log excerpt)

Command runs

git_checkout exit 0 duration 7 ms · created 6/3/2026, 8:12:24 AM

git remote set-url origin [clone-url]

git_checkout exit 0 duration 477 ms · created 6/3/2026, 8:12:24 AM

git fetch --prune --depth 1 origin main

From https://github.com/ImperialCollegeLondon/FLT
 * branch            main       -> FETCH_HEAD
 + c4d4c2e...070867a main       -> origin/main  (forced update)

git_checkout exit 0 duration 42 ms · created 6/3/2026, 8:12:24 AM

git checkout -B main FETCH_HEAD

Your branch is up to date with 'origin/main'.

Previous HEAD position was c4d4c2e chore: bump mathlib to 405bba7, fix breaking changes (#995)
Switched to and reset branch 'main'

git_checkout exit 0 duration 4 ms · created 6/3/2026, 8:12:24 AM

git checkout 070867aa3bf698a3f98b5678d6049338c485e750

Note: switching to '070867aa3bf698a3f98b5678d6049338c485e750'.

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 070867a chore(deps): bump actions/checkout from 6.0.2 to 6.0.3 (#996)

lake_cache exit 0 duration 37s · created 6/3/2026, 8:12:24 AM

lake exe cache get

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

Downloaded: 1 file(s) [attempted 1/8477 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8477 = 0%, 6 KB/s], Decompressed: 14
Downloaded: 38 file(s) [attempted 38/8477 = 0%, 22 KB/s], Decompressed: 36
Downloaded: 66 file(s) [attempted 66/8477 = 0%, 51 KB/s], Decompressed: 65
Downloaded: 90 file(s) [attempted 90/8477 = 1%, 307 KB/s], Decompressed: 86
Downloaded: 124 file(s) [attempted 124/8477 = 1%, 255 KB/s], Decompressed: 117
Downloaded: 155 file(s) [attempted 155/8477 = 1%, 360 KB/s], Decompressed: 151
Downloaded: 194 file(s) [attempted 194/8477 = 2%, 514 KB/s], Decompressed: 186
Downloaded: 237 file(s) [attempted 237/8477 = 2%, 86 KB/s], Decompressed: 230
Downloaded: 273 file(s) [attempted 273/8477 = 3%, 155 KB/s], Decompressed: 268
Downloaded: 309 file(s) [attempted 309/8477 = 3%, 460 KB/s], Decompressed: 306
Downloaded: 348 file(s) [attempted 348/8477 = 4%, 24 KB/s], Decompressed: 343
Downloaded: 388 file(s) [attempted 388/8477 = 4%, 139 KB/s], Decompressed: 384
Downloaded: 425 file(s) [attempted 425/8477 = 5%, 196 KB/s], Decompressed: 419
Downloaded: 463 file(s) [attempted 463/8477 = 5%, 219 KB/s], Decompressed: 460
Downloaded: 508 file(s) [attempted 508/8477 = 5%, 245 KB/s], Decompressed: 504
Downloaded: 547 file(s) [attempted 547/8477 = 6%, 443 KB/s], Decompressed: 538
Downloaded: 586 file(s) [attempted 586/8477 = 6%, 395 KB/s], Decompressed: 580
Downloaded: 627 file(s) [attempted 627/8477 = 7%, 77 KB/s], Decompressed: 620
Downloaded: 669 file(s) [attempted 669/8477 = 7%, 338 KB/s], Decompressed: 658
Downloaded: 710 file(s) [attempted 710/8477 = 8%, 469 KB/s], Decompressed: 706
Downloaded: 754 file(s) [attempted 754/8477 = 8%, 311 KB/s], Decompressed: 751
Downloaded: 795 file(s) [attempted 795/8477 = 9%, 134 KB/s], Decompressed: 788
Downloaded: 830 file(s) [attempted 830/8477 = 9%, 111 KB/s], Decompressed: 826
Downloaded: 865 file(s) [attempted 865/8477 = 10%, 273 KB/s], Decompressed: 860
Downloaded: 908 file(s) [attempted 908/8477 = 10%, 63 KB/s], Decompressed: 905
Downloaded: 953 file(s) [attempted 953/8477 = 11%, 186 KB/s], Decompressed: 949
Downloaded: 992 file(s) [attempted 992/8477 = 11%, 138 KB/s], Decompressed: 984
Downloaded: 1026 file(s) [attempted 1026/8477 = 12%, 173 KB/s], Decompressed: 1015
Downloaded: 1066 file(s) [attempted 1066/8477 = 12%, 68 KB/s], Decompressed: 1062
Downloaded: 1110 file(s) [attempted 1110/8477 = 13%, 475 KB/s], Decompressed: 1107
Downloaded: 1152 file(s) [attempted 1152/8477 = 13%, 374 KB/s], Decompressed: 1148
Downloaded: 1187 file(s) [attempted 1187/8477 = 14%, 38 KB/s], Decompressed: 1182
Downloaded: 1227 file(s) [attempted 1227/8477 = 14%, 195 KB/s], Decompressed: 1223
Downloaded: 1264 file(s) [attempted 1264/8477 = 14%, 283 KB/s], Decompressed: 1261
Downloaded: 1305 file(s) [attempted 1305/8477 = 15%, 209 KB/s], Decompressed: 1302
Downloaded: 1347 file(s) [attempted 1347/8477 = 15%, 42 KB/s], Decompressed: 1340
Downloaded: 1382 file(s) [attempted 1382/8477 = 16%, 36 KB/s], Decompressed: 1377
Downloaded: 1418 file(s) [attempted 1418/8477 = 16%, 403 KB/s], Decompressed: 1417
Downloaded: 1463 file(s) [attempted 1463/8477 = 17%, 361 KB/s], Decompressed: 1459
Downloaded: 1501 file(s) [attempted 1501/8477 = 17%, 1901 KB/s], Decompressed: 1497
Downloaded: 1538 file(s) [attempted 1538/8477 = 18%, 177 KB/s], Decompressed: 1535
Downloaded: 1576 file(s) [attempted 1576/8477 = 18%, 504 KB/s], Decompressed: 1572
Downloaded: 1621 file(s) [attempted 1621/8477 = 19%, 194 KB/s], Decompressed: 1617
Downloaded: 1661 file(s) [attempted 1661/8477 = 19%, 121 KB/s], Decompressed: 1658
Downloaded: 1702 file(s) [attempted 1702/8477 = 20%, 126 KB/s], Decompressed: 1699
Downloaded: 1739 file(s) [attempted 1739/8477 = 20%, 303 KB/s], Decompressed: 1730
Downloaded: 1774 file(s) [attempted 1774/8477 = 20%, 85 KB/s], Decompressed: 1771
Downloaded: 1819 file(s) [attempted 1819/8477 = 21%, 92 KB/s], Decompressed: 1815
Downloaded: 1856 file(s) [attempted 1856/8477 = 21%, 84 KB/s], Decompressed: 1853
Downloaded: 1895 file(s) [attempted 1895/8477 = 22%, 660 KB/s], Decompressed: 1887
Downloaded: 1928 file(s) [attempted 1928/8477 = 22%, 124 KB/s], Decompressed: 1925
Downloaded: 1969 file(s) [attempted 1969/8477 = 23%, 466 KB/s], Decompressed: 1966
Downloaded: 2010 file(s) [attempted 2010/8477 = 23%, 1327 KB/s], Decompressed: 2007
Downloaded: 2055 file(s) [attempted 2055/8477 = 24%, 117 KB/s], Decompressed: 2051
Downloaded: 2089 file(s) [attempted 2089/8477 = 24%, 92 KB/s], Decompressed: 2082
Downloaded: 2129 file(s) [attempted 2129/8477 = 25%, 290 KB/s], Decompressed: 2123
Downloaded: 2169 file(s) [attempted 2169/8477 = 25%, 313 KB/s], Decompressed: 2164
Downloaded: 2206 file(s) [attempted 2206/8477 = 26%, 710 KB/s], Decompressed: 2202
Downloaded: 2247 file(s) [attempted 2247/8477 = 26%, 205 KB/s], Decompressed: 2243
Downloaded: 2284 file(s) [attempted 2284/8477 = 26%, 395 KB/s], Decompressed: 2277
Downloaded: 2325 file(s) [attempted 2325/8477 = 27%, 318 KB/s], Decompressed: 2322
Downloaded: 2373 file(s) [attempted 2373/8477 = 27%, 143 KB/s], Decompressed: 2366
Downloaded: 2418 file(s) [attempted 2418/8477 = 28%, 5239 KB/s], Decompressed: 2414
Downloaded: 2452 file(s) [attempted 2452/8477 = 28%, 250 KB/s], Decompressed: 2448
Downloaded: 2491 file(s) [attempted 2491/8477 = 29%, 271 KB/s], Decompressed: 2486
Downloaded: 2537 file(s) [attempted 2537/8477 = 29%, 554 KB/s], Decompressed: 2534
Downloaded: 2575 file(s) [attempted 2575/8477 = 30%, 718 KB/s], Decompressed: 2572
Downloaded: 2613 file(s) [attempted 2613/8477 = 30%, 303 KB/s], Decompressed: 2606
Downloaded: 2652 file(s) [attempted 2652/8477 = 31%, 122 KB/s], Decompressed: 2644
Downloaded: 2691 file(s) [attempted 2691/8477 = 31%, 213 KB/s], Decompressed: 2688
Downloaded: 2729 file(s) [attempted 2729/8477 = 32%, 1031 KB/s], Decompressed: 2726
Downloaded: 2770 file(s) [attempted 2770/8477 = 32%, 444 KB/s], Decompressed: 2763
Downloaded: 2808 file(s) [attempted 2808/8477 = 33%, 142 KB/s], Decompressed: 2804
Downloaded: 2845 file(s) [attempted 2845/8477 = 33%, 86 KB/s], Decompressed: 2842
Downloaded: 2890 file(s) [attempted 2890/8477 = 34%, 79 KB/s], Decompressed: 2887
Downloaded: 2928 file(s) [attempted 2928/8477 = 34%, 590 KB/s], Decompressed: 2924
Downloaded: 2969 file(s) [attempted 2969/8477 = 35%, 479 KB/s], Decompressed: 2965
Downloaded: 3006 file(s) [attempted 3006/8477 = 35%, 98 KB/s], Decompressed: 3003
Downloaded: 3047 file(s) [attempted 3047/8477 = 35%, 143 KB/s], Decompressed: 3044
Downloaded: 3086 file(s) [attempted 3086/8477 = 36%, 1952 KB/s], Decompressed: 3082
Downloaded: 3126 file(s) [attempted 3126/8477 = 36%, 194 KB/s], Decompressed: 3123
Downloaded: 3167 file(s) [attempted 3167/8477 = 37%, 1562 KB/s], Decompressed: 3160
Downloaded: 3205 file(s) [attempted 3205/8477 = 37%, 213 KB/s], Decompressed: 3201
Downloaded: 3249 file(s) [attempted 3249/8477 = 38%, 282 KB/s], Decompressed: 3242
Downloaded: 3287 file(s) [attempted 3287/8477 = 38%, 313 KB/s], Decompressed: 3284
Downloaded: 3328 file(s) [attempted 3328/8477 = 39%, 460 KB/s], Decompressed: 3321
Downloaded: 3369 file(s) [attempted 3369/8477 = 39%, 370 KB/s], Decompressed: 3366
Downloaded: 3407 file(s) [attempted 3407/8477 = 40%, 802 KB/s], Decompressed: 3396
Downloaded: 3444 file(s) [attempted 3444/8477 = 40%, 390 KB/s], Decompressed: 3441
Downloaded: 3489 file(s) [attempted 3489/8477 = 41%, 91 KB/s], Decompressed: 3485
Downloaded: 3530 file(s) [attempted 3530/8477 = 41%, 234 KB/s], Decompressed: 3526
Downloaded: 3571 file(s) [attempted 3571/8477 = 42%, 432 KB/s], Decompressed: 3568
Downloaded: 3619 file(s) [attempted 3619/8477 = 42%, 38 KB/s], Decompressed: 3615
Downloaded: 3647 file(s) [attempted 3647/8477 = 43%, 115 KB/s], Decompressed: 3643
Downloaded: 3686 file(s) [attempted 3686/8477 = 43%, 184 KB/s], Decompressed: 3681
Downloaded: 3725 file(s) [attempted 3725/8477 = 43%, 346 KB/s], Decompressed: 3718
Downloaded: 3766 file(s) [attempted 3766/8477 = 44%, 877 KB/s], Decompressed: 3759
Downloaded: 3811 file(s) [attempted 3811/8477 = 44%, 299 KB/s], Decompressed: 3804
Downloaded: 3848 file(s) [attempted 3848/8477 = 45%, 355 KB/s], Decompressed: 3841
Downloaded: 3889 file(s) [attempted 3889/8477 = 45%, 28 KB/s], Decompressed: 3887
Downloaded: 3935 file(s) [attempted 3935/8477 = 46%, 102 KB/s], Decompressed: 3930
Downloaded: 3975 file(s) [attempted 3975/8477 = 46%, 356 KB/s], Decompressed: 3971
Downloaded: 4012 file(s) [attempted 4012/8477 = 47%, 501 KB/s], Decompressed: 4009
Downloaded: 4054 file(s) [attempted 4054/8477 = 47%, 324 KB/s], Decompressed: 4047
Downloaded: 4088 file(s) [attempted 4088/8477 = 48%, 50 KB/s], Decompressed: 4084
Downloaded: 4129 file(s) [attempted 4129/8477 = 48%, 78 KB/s], Decompressed: 4125
Downloaded: 4170 file(s) [attempted 4170/8477 = 49%, 74 KB/s], Decompressed: 4163
Downloaded: 4204 file(s) [attempted 4204/8477 = 49%, 154 KB/s], Decompressed: 4201
Downloaded: 4242 file(s) [attempted 4242/8477 = 50%, 478 KB/s], Decompressed: 4238
Downloaded: 4283 file(s) [attempted 4283/8477 = 50%, 1254 KB/s], Decompressed: 4279
Downloaded: 4324 file(s) [attempted 4324/8477 = 51%, 208 KB/s], Decompressed: 4321
Downloaded: 4363 file(s) [attempted 4363/8477 = 51%, 502 KB/s], Decompressed: 4358
Downloaded: 4396 file(s) [attempted 4396/8477 = 51%, 380 KB/s], Decompressed: 4392
Downloaded: 4440 file(s) [attempted 4440/8477 = 52%, 529 KB/s], Decompressed: 4437
Downloaded: 4481 file(s) [attempted 4481/8477 = 52%, 52 KB/s], Decompressed: 4478
Downloaded: 4519 file(s) [attempted 4519/8477 = 53%, 393 KB/s], Decompressed: 4512
Downloaded: 4557 file(s) [attempted 4557/8477 = 53%, 138 KB/s], Decompressed: 4553
Downloaded: 4601 file(s) [attempted 4601/8477 = 54%, 525 KB/s], Decompressed: 4591
Downloaded: 4635 file(s) [attempted 4635/8477 = 54%, 251 KB/s], Decompressed: 4632
Downloaded: 4676 file(s) [attempted 4676/8477 = 55%, 561 KB/s], Decompressed: 4670
Downloaded: 4718 file(s) [attempted 4718/8477 = 55%, 153 KB/s], Decompressed: 4714
Downloaded: 4762 file(s) [attempted 4762/8477 = 56%, 274 KB/s], Decompressed: 4759
Downloaded: 4806 file(s) [attempted 4806/8477 = 56%, 346 KB/s], Decompressed: 4803
Downloaded: 4839 file(s) [attempted 4839/8477 = 57%, 195 KB/s], Decompressed: 4834
Downloaded: 4885 file(s) [attempted 4885/8477 = 57%, 113 KB/s], Decompressed: 4878
Downloaded: 4930 file(s) [attempted 4930/8477 = 58%, 95 KB/s], Decompressed: 4926
Downloaded: 4967 file(s) [attempted 4967/8477 = 58%, 193 KB/s], Decompressed: 4961
Downloaded: 5005 file(s) [attempted 5005/8477 = 59%, 1082 KB/s], Decompressed: 4998
Downloaded: 5046 file(s) [attempted 5046/8477 = 59%, 150 KB/s], Decompressed: 5039
Downloaded: 5084 file(s) [attempted 5084/8477 = 59%, 47 KB/s], Decompressed: 5080
Downloaded: 5128 file(s) [attempted 5128/8477 = 60%, 50 KB/s], Decompressed: 5121
Downloaded: 5166 file(s) [attempted 5166/8477 = 60%, 125 KB/s], Decompressed: 5162
Downloaded: 5207 file(s) [attempted 5207/8477 = 61%, 135 KB/s], Decompressed: 5203
Downloaded: 5248 file(s) [attempted 5248/8477 = 61%, 1019 KB/s], Decompressed: 5241
Downloaded: 5286 file(s) [attempted 5286/8477 = 62%, 480 KB/s], Decompressed: 5282
Downloaded: 5328 file(s) [attempted 5328/8477 = 62%, 143 KB/s], Decompressed: 5323
Downloaded: 5361 file(s) [attempted 5361/8477 = 63%, 729 KB/s], Decompressed: 5358
Downloaded: 5401 file(s) [attempted 5401/8477 = 63%, 209 KB/s], Decompressed: 5392
Downloaded: 5443 file(s) [attempted 5443/8477 = 64%, 252 KB/s], Decompressed: 5440
Downloaded: 5484 file(s) [attempted 5484/8477 = 64%, 1111 KB/s], Decompressed: 5480
Downloaded: 5522 file(s) [attempted 5522/8477 = 65%, 37 KB/s], Decompressed: 5515
Downloaded: 5559 file(s) [attempted 5559/8477 = 65%, 68 KB/s], Decompressed: 5556
Downloaded: 5600 file(s) [attempted 5600/8477 = 66%, 332 KB/s], Decompressed: 5597
Downloaded: 5640 file(s) [attempted 5640/8477 = 66%, 496 KB/s], Decompressed: 5631
Downloaded: 5679 file(s) [attempted 5679/8477 = 66%, 140 KB/s], Decompressed: 5676
Downloaded: 5717 file(s) [attempted 5717/8477 = 67%, 69 KB/s], Decompressed: 5710
Downloaded: 5758 file(s) [attempted 5758/8477 = 67%, 64 KB/s], Decompressed: 5754
Downloaded: 5799 file(s) [attempted 5799/8477 = 68%, 299 KB/s], Decompressed: 5796
Downloaded: 5840 file(s) [attempted 5840/8477 = 68%, 186 KB/s], Decompressed: 5833
Downloaded: 5874 file(s) [attempted 5874/8477 = 69%, 363 KB/s], Decompressed: 5867
Downloaded: 5915 file(s) [attempted 5915/8477 = 69%, 357 KB/s], Decompressed: 5912
Downloaded: 5956 file(s) [attempted 5956/8477 = 70%, 1000 KB/s], Decompressed: 5953
Downloaded: 6001 file(s) [attempted 6001/8477 = 70%, 292 KB/s], Decompressed: 5997
Downloaded: 6045 file(s) [attempted 6045/8477 = 71%, 757 KB/s], Decompressed: 6042
Downloaded: 6080 file(s) [attempted 6080/8477 = 71%, 165 KB/s], Decompressed: 6076
Downloaded: 6116 file(s) [attempted 6116/8477 = 72%, 59 KB/s], Decompressed: 6107
Downloaded: 6158 file(s) [attempted 6158/8477 = 72%, 78 KB/s], Decompressed: 6155
Downloaded: 6199 file(s) [attempted 6199/8477 = 73%, 140 KB/s], Decompressed: 6193
Downloaded: 6240 file(s) [attempted 6240/8477 = 73%, 182 KB/s], Decompressed: 6237
Downloaded: 6278 file(s) [attempted 6278/8477 = 74%, 353 KB/s], Decompressed: 6271
Downloaded: 6317 file(s) [attempted 6317/8477 = 74%, 799 KB/s], Decompressed: 6312
Downloaded: 6357 file(s) [attempted 6357/8477 = 74%, 58 KB/s], Decompressed: 6353
Downloaded: 6398 file(s) [attempted 6398/8477 = 75%, 36 KB/s], Decompressed: 6394
Downloaded: 6442 file(s) [attempted 6442/8477 = 75%, 151 KB/s], Decompressed: 6439
Downloaded: 6480 file(s) [attempted 6480/8477 = 76%, 2029 KB/s], Decompressed: 6473
Downloaded: 6515 file(s) [attempted 6515/8477 = 76%, 531 KB/s], Decompressed: 6511
Downloaded: 6553 file(s) [attempted 6553/8477 = 77%, 438 KB/s], Decompressed: 6548
Downloaded: 6596 file(s) [attempted 6596/8477 = 77%, 380 KB/s], Decompressed: 6593
Downloaded: 6641 file(s) [attempted 6641/8477 = 78%, 404 KB/s], Decompressed: 6637
Downloaded: 6682 file(s) [attempted 6682/8477 = 78%, 82 KB/s], Decompressed: 6675
Downloaded: 6717 file(s) [attempted 6717/8477 = 79%, 110 KB/s], Decompressed: 6709
Downloaded: 6754 file(s) [attempted 6754/8477 = 79%, 1300 KB/s], Decompressed: 6750
Downloaded: 6798 file(s) [attempted 6798/8477 = 80%, 90 KB/s], Decompressed: 6795
Downloaded: 6843 file(s) [attempted 6843/8477 = 80%, 330 KB/s], Decompressed: 6833
Downloaded: 6884 file(s) [attempted 6884/8477 = 81%, 160 KB/s], Decompressed: 6880
Downloaded: 6918 file(s) [attempted 6918/8477 = 81%, 513 KB/s], Decompressed: 6915
Downloaded: 6959 file(s) [attempted 6959/8477 = 82%, 426 KB/s], Decompressed: 6956
Downloaded: 6997 file(s) [attempted 6997/8477 = 82%, 402 KB/s], Decompressed: 6993
Downloaded: 7041 file(s) [attempted 7041/8477 = 83%, 101 KB/s], Decompressed: 7038
Downloaded: 7081 file(s) [attempted 7081/8477 = 83%, 1215 KB/s], Decompressed: 7072
Downloaded: 7110 file(s) [attempted 7110/8477 = 83%, 619 KB/s], Decompressed: 7106
Downloaded: 7154 file(s) [attempted 7154/8477 = 84%, 1689 KB/s], Decompressed: 7147
Downloaded: 7199 file(s) [attempted 7199/8477 = 84%, 91 KB/s], Decompressed: 7195
Downloaded: 7243 file(s) [attempted 7243/8477 = 85%, 1997 KB/s], Decompressed: 7240
Downloaded: 7281 file(s) [attempted 7281/8477 = 85%, 278 KB/s], Decompressed: 7277
Downloaded: 7316 file(s) [attempted 7316/8477 = 86%, 89 KB/s], Decompressed: 7313
Downloaded: 7356 file(s) [attempted 7356/8477 = 86%, 359 KB/s], Decompressed: 7349
Downloaded: 7397 file(s) [attempted 7397/8477 = 87%, 193 KB/s], Decompressed: 7394
Downloaded: 7438 file(s) [attempted 7438/8477 = 87%, 105 KB/s], Decompressed: 7431
Downloaded: 7479 file(s) [attempted 7479/8477 = 88%, 322 KB/s], Decompressed: 7476
Downloaded: 7517 file(s) [attempted 7517/8477 = 88%, 473 KB/s], Decompressed: 7514
Downloaded: 7557 file(s) [attempted 7557/8477 = 89%, 162 KB/s], Decompressed: 7551
Downloaded: 7599 file(s) [attempted 7599/8477 = 89%, 877 KB/s], Decompressed: 7596
Downloaded: 7640 file(s) [attempted 7640/8477 = 90%, 601 KB/s], Decompressed: 7637
Downloaded: 7681 file(s) [attempted 7681/8477 = 90%, 144 KB/s], Decompressed: 7674
Downloaded: 7722 file(s) [attempted 7722/8477 = 91%, 43 KB/s], Decompressed: 7715
Downloaded: 7760 file(s) [attempted 7760/8477 = 91%, 2776 KB/s], Decompressed: 7757
Downloaded: 7798 file(s) [attempted 7798/8477 = 91%, 147 KB/s], Decompressed: 7794
Downloaded: 7842 file(s) [attempted 7842/8477 = 92%, 692 KB/s], Decompressed: 7835
Downloaded: 7883 file(s) [attempted 7883/8477 = 92%, 169 KB/s], Decompressed: 7880
Downloaded: 7921 file(s) [attempted 7921/8477 = 93%, 820 KB/s], Decompressed: 7914
Downloaded: 7962 file(s) [attempted 7962/8477 = 93%, 236 KB/s], Decompressed: 7958
Downloaded: 8006 file(s) [attempted 8006/8477 = 94%, 202 KB/s], Decompressed: 8000
Downloaded: 8047 file(s) [attempted 8047/8477 = 94%, 934 KB/s], Decompressed: 8044
Downloaded: 8092 file(s) [attempted 8092/8477 = 95%, 98 KB/s], Decompressed: 8082
Downloaded: 8124 file(s) [attempted 8124/8477 = 95%, 171 KB/s], Decompressed: 8119
Downloaded: 8167 file(s) [attempted 8167/8477 = 96%, 76 KB/s], Decompressed: 8164
Downloaded: 8209 file(s) [attempted 8209/8477 = 96%, 103 KB/s], Decompressed: 8201
Downloaded: 8249 file(s) [attempted 8249/8477 = 97%, 659 KB/s], Decompressed: 8246
Downloaded: 8288 file(s) [attempted 8288/8477 = 97%, 558 KB/s], Decompressed: 8280
Downloaded: 8321 file(s) [attempted 8321/8477 = 98%, 24 KB/s], Decompressed: 8318
Downloaded: 8365 file(s) [attempted 8365/8477 = 98%, 1178 KB/s], Decompressed: 8359
Downloaded: 8403 file(s) [attempted 8403/8477 = 99%, 54 KB/s], Decompressed: 8397
Downloaded: 8444 file(s) [attempted 8444/8477 = 99%, 342 KB/s], Decompressed: 8441
Downloaded: 8475 file(s) [attempted 8475/8477 = 99%, 115 KB/s], Decompressed: 8472
Downloaded: 8477 file(s) [attempted 8477/8477 = 100%, 115 KB/s], Decompressed: 8472

lean_checker exit 0 duration 3s · created 6/3/2026, 8:12:24 AM

lake build

Build completed successfully (4009 jobs).

blueprint_build exit 1 duration 1s · created 6/3/2026, 8:12:24 AM

lake build :blueprint

error: unknown package facet `blueprint`

semantic_extract exit 0 duration 12m 5s · created 6/3/2026, 8:12:24 AM

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

lean semantic helper: reusing cached response at .apodeixis/semantic-extraction.json