Verification run

Run 33

promachina/iut-lean branch master triggered via manual

failed commit 7dc5aeb267bc toolchain lean-v4-30-0 prover lean took 2h 4m · finished 6w ago

./.apodeixis/tools/lean-semantic-extract.sh failed with exit code none (process did not exit cleanly) (toolchain lean-v4-30-0, command: elan run leanprover/lean4:v4.30.0 -- bash -c export PATH="$(dirname "$(elan which lean)"):$PATH"; exec "$@" apx-lean-phase ./.apodeixis/tools/lean-semantic-extract.sh)

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_clone exit 0 duration 2s · created 6/3/2026, 5:03:06 PM

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

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

git_checkout exit 0 duration 122 ms · created 6/3/2026, 5:03:06 PM

git checkout 7dc5aeb267bc377d6848d260ba7f9289232728df

Note: switching to '7dc5aeb267bc377d6848d260ba7f9289232728df'.

You are in 'detached HEAD' state. You can look around, make experimental
changes and commit them, and you can discard any commits you make in this
state without impacting any branches by switching back to a branch.

If you want to create a new branch to retain commits you create, you may
do so (now or later) by using -c with the switch command. Example:

  git switch -c <new-branch-name>

Or undo this operation with:

  git switch -

Turn off this advice by setting config variable advice.detachedHead to false

HEAD is now at 7dc5aeb Add finite source first pass route

lake_cache exit 0 duration 1m 27s · created 6/3/2026, 5:03:06 PM

lake exe cache get

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

info: mathlib: cloning https://github.com/leanprover-community/mathlib4
info: mathlib: checking out revision 'c5ea00351c28e24afc9f0f84379aa41082b1188f'
info: plausible: cloning https://github.com/leanprover-community/plausible
info: plausible: checking out revision 'a456461b368b71d2accd95234832cd9c174b5437'
info: LeanSearchClient: cloning https://github.com/leanprover-community/LeanSearchClient
info: LeanSearchClient: checking out revision 'c5d5b8fe6e5158def25cd28eb94e4141ad97c843'
info: importGraph: cloning https://github.com/leanprover-community/import-graph
info: importGraph: checking out revision '515cf9d0c00ece5e661f6de4326a53dedc1e8ea1'
info: proofwidgets: cloning https://github.com/leanprover-community/ProofWidgets4
info: proofwidgets: checking out revision 'a84b3e2475d5c5ab979567b1ad8aea21b764bcf8'
info: aesop: cloning https://github.com/leanprover-community/aesop
info: aesop: checking out revision '558915ae105bfd8074e22d597613d1961822adc2'
info: Qq: cloning https://github.com/leanprover-community/quote4
info: Qq: checking out revision 'a6e6c34c4ef182f83b219a3a5a385f51f44bdc4c'
info: batteries: cloning https://github.com/leanprover-community/batteries
info: batteries: checking out revision '32dc18cde3684679f3c003de608743b57498c56f'
info: Cli: cloning https://github.com/leanprover/lean4-cli
info: Cli: checking out revision '6b907cf12b2e445ccb7c24bc208ef04a1f39e84c'
✔ [3/25] Built Cache.Init (318ms)
✔ [4/25] Built Cache.Lean (398ms)
✔ [5/25] Built Cache.Lean:c.o (360ms)
✔ [6/25] Built Cache.Init:c.o (416ms)
✔ [14/25] Built Batteries.Data.String.Basic:c.o (97ms)
✔ [15/25] Built Batteries.Data.Array.Match:c.o (214ms)
✔ [16/25] Built Batteries.Data.String.Matcher:c.o (191ms)
✔ [17/25] Built Cache.IO (1.8s)
✔ [18/25] Built Cache.Hashing (847ms)
✔ [19/25] Built Cache.IO:c.o (1.2s)
✔ [20/25] Built Cache.Hashing:c.o (330ms)
✔ [21/25] Built Cache.Requests (1.8s)
✔ [22/25] Built Cache.Main (921ms)
✔ [23/25] Built Cache.Main:c.o (520ms)
✔ [24/25] Built Cache.Requests:c.o (1.8s)
✔ [25/25] Built cache:exe (2.1s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 1 KB/s], Decompressed: 9
Downloaded: 35 file(s) [attempted 35/8459 = 0%, 16 KB/s], Decompressed: 22
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 29 KB/s], Decompressed: 57
Downloaded: 86 file(s) [attempted 86/8459 = 1%, 192 KB/s], Decompressed: 79
Downloaded: 113 file(s) [attempted 113/8459 = 1%, 300 KB/s], Decompressed: 96
Downloaded: 141 file(s) [attempted 141/8459 = 1%, 84 KB/s], Decompressed: 124
Downloaded: 172 file(s) [attempted 172/8459 = 2%, 138 KB/s], Decompressed: 148
Downloaded: 199 file(s) [attempted 199/8459 = 2%, 798 KB/s], Decompressed: 175
Downloaded: 230 file(s) [attempted 230/8459 = 2%, 255 KB/s], Decompressed: 202
Downloaded: 267 file(s) [attempted 267/8459 = 3%, 247 KB/s], Decompressed: 257
Downloaded: 302 file(s) [attempted 302/8459 = 3%, 706 KB/s], Decompressed: 281
Downloaded: 343 file(s) [attempted 343/8459 = 4%, 27 KB/s], Decompressed: 322
Downloaded: 384 file(s) [attempted 384/8459 = 4%, 575 KB/s], Decompressed: 346
Downloaded: 425 file(s) [attempted 425/8459 = 5%, 209 KB/s], Decompressed: 388
Downloaded: 463 file(s) [attempted 463/8459 = 5%, 219 KB/s], Decompressed: 415
Downloaded: 508 file(s) [attempted 508/8459 = 6%, 777 KB/s], Decompressed: 470
Downloaded: 545 file(s) [attempted 545/8459 = 6%, 179 KB/s], Decompressed: 497
Downloaded: 590 file(s) [attempted 590/8459 = 6%, 157 KB/s], Decompressed: 532
Downloaded: 627 file(s) [attempted 627/8459 = 7%, 348 KB/s], Decompressed: 576
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 64 KB/s], Decompressed: 617
Downloaded: 710 file(s) [attempted 710/8459 = 8%, 28 KB/s], Decompressed: 662
Downloaded: 747 file(s) [attempted 747/8459 = 8%, 368 KB/s], Decompressed: 706
Downloaded: 788 file(s) [attempted 788/8459 = 9%, 64 KB/s], Decompressed: 741
Downloaded: 830 file(s) [attempted 830/8459 = 9%, 344 KB/s], Decompressed: 778
Downloaded: 873 file(s) [attempted 873/8459 = 10%, 1074 KB/s], Decompressed: 816
Downloaded: 912 file(s) [attempted 912/8459 = 10%, 304 KB/s], Decompressed: 850
Downloaded: 953 file(s) [attempted 953/8459 = 11%, 865 KB/s], Decompressed: 882
Downloaded: 987 file(s) [attempted 987/8459 = 11%, 142 KB/s], Decompressed: 915
Downloaded: 1032 file(s) [attempted 1032/8459 = 12%, 1029 KB/s], Decompressed: 960
Downloaded: 1073 file(s) [attempted 1073/8459 = 12%, 365 KB/s], Decompressed: 1011
Downloaded: 1117 file(s) [attempted 1117/8459 = 13%, 245 KB/s], Decompressed: 1056
Downloaded: 1158 file(s) [attempted 1158/8459 = 13%, 1614 KB/s], Decompressed: 1104
Downloaded: 1198 file(s) [attempted 1198/8459 = 14%, 275 KB/s], Decompressed: 1151
Downloaded: 1240 file(s) [attempted 1240/8459 = 14%, 655 KB/s], Decompressed: 1151
Downloaded: 1281 file(s) [attempted 1281/8459 = 15%, 135 KB/s], Decompressed: 1196
Downloaded: 1323 file(s) [attempted 1323/8459 = 15%, 757 KB/s], Decompressed: 1247
Downloaded: 1364 file(s) [attempted 1364/8459 = 16%, 214 KB/s], Decompressed: 1302
Downloaded: 1405 file(s) [attempted 1405/8459 = 16%, 135 KB/s], Decompressed: 1302
Downloaded: 1446 file(s) [attempted 1446/8459 = 17%, 272 KB/s], Decompressed: 1357
Downloaded: 1483 file(s) [attempted 1483/8459 = 17%, 128 KB/s], Decompressed: 1412
Downloaded: 1531 file(s) [attempted 1531/8459 = 18%, 124 KB/s], Decompressed: 1456
Downloaded: 1569 file(s) [attempted 1569/8459 = 18%, 1042 KB/s], Decompressed: 1504
Downloaded: 1607 file(s) [attempted 1607/8459 = 18%, 312 KB/s], Decompressed: 1552
Downloaded: 1644 file(s) [attempted 1644/8459 = 19%, 305 KB/s], Decompressed: 1552
Downloaded: 1685 file(s) [attempted 1685/8459 = 19%, 399 KB/s], Decompressed: 1648
Downloaded: 1730 file(s) [attempted 1730/8459 = 20%, 285 KB/s], Decompressed: 1685
Downloaded: 1771 file(s) [attempted 1771/8459 = 20%, 488 KB/s], Decompressed: 1685
Downloaded: 1809 file(s) [attempted 1809/8459 = 21%, 273 KB/s], Decompressed: 1726
Downloaded: 1846 file(s) [attempted 1846/8459 = 21%, 529 KB/s], Decompressed: 1774
Downloaded: 1884 file(s) [attempted 1884/8459 = 22%, 22 KB/s], Decompressed: 1826
Downloaded: 1928 file(s) [attempted 1928/8459 = 22%, 75 KB/s], Decompressed: 1874
Downloaded: 1969 file(s) [attempted 1969/8459 = 23%, 169 KB/s], Decompressed: 1874
Downloaded: 2010 file(s) [attempted 2010/8459 = 23%, 24 KB/s], Decompressed: 1874
Downloaded: 2045 file(s) [attempted 2045/8459 = 24%, 420 KB/s], Decompressed: 1928
Downloaded: 2082 file(s) [attempted 2082/8459 = 24%, 95 KB/s], Decompressed: 1928
Downloaded: 2127 file(s) [attempted 2127/8459 = 25%, 1439 KB/s], Decompressed: 2014
Downloaded: 2171 file(s) [attempted 2171/8459 = 25%, 549 KB/s], Decompressed: 2014
Downloaded: 2212 file(s) [attempted 2212/8459 = 26%, 825 KB/s], Decompressed: 2106
Downloaded: 2247 file(s) [attempted 2247/8459 = 26%, 174 KB/s], Decompressed: 2106
Downloaded: 2281 file(s) [attempted 2281/8459 = 26%, 136 KB/s], Decompressed: 2106
Downloaded: 2329 file(s) [attempted 2329/8459 = 27%, 306 KB/s], Decompressed: 2202
Downloaded: 2373 file(s) [attempted 2373/8459 = 28%, 982 KB/s], Decompressed: 2202
Downloaded: 2418 file(s) [attempted 2418/8459 = 28%, 271 KB/s], Decompressed: 2291
Downloaded: 2455 file(s) [attempted 2455/8459 = 29%, 85 KB/s], Decompressed: 2291
Downloaded: 2486 file(s) [attempted 2486/8459 = 29%, 125 KB/s], Decompressed: 2383
Downloaded: 2531 file(s) [attempted 2531/8459 = 29%, 564 KB/s], Decompressed: 2383
Downloaded: 2575 file(s) [attempted 2575/8459 = 30%, 101 KB/s], Decompressed: 2383
Downloaded: 2620 file(s) [attempted 2620/8459 = 30%, 268 KB/s], Decompressed: 2483
Downloaded: 2657 file(s) [attempted 2657/8459 = 31%, 243 KB/s], Decompressed: 2483
Downloaded: 2698 file(s) [attempted 2698/8459 = 31%, 187 KB/s], Decompressed: 2585
Downloaded: 2733 file(s) [attempted 2733/8459 = 32%, 297 KB/s], Decompressed: 2585
Downloaded: 2777 file(s) [attempted 2777/8459 = 32%, 241 KB/s], Decompressed: 2681
Downloaded: 2822 file(s) [attempted 2822/8459 = 33%, 91 KB/s], Decompressed: 2681
Downloaded: 2860 file(s) [attempted 2860/8459 = 33%, 497 KB/s], Decompressed: 2681
Downloaded: 2897 file(s) [attempted 2897/8459 = 34%, 160 KB/s], Decompressed: 2777
Downloaded: 2938 file(s) [attempted 2938/8459 = 34%, 789 KB/s], Decompressed: 2777
Downloaded: 2982 file(s) [attempted 2982/8459 = 35%, 844 KB/s], Decompressed: 2870
Downloaded: 3023 file(s) [attempted 3023/8459 = 35%, 117 KB/s], Decompressed: 2870
Downloaded: 3071 file(s) [attempted 3071/8459 = 36%, 364 KB/s], Decompressed: 2972
Downloaded: 3119 file(s) [attempted 3119/8459 = 36%, 74 KB/s], Decompressed: 2972
Downloaded: 3160 file(s) [attempted 3160/8459 = 37%, 161 KB/s], Decompressed: 2972
Downloaded: 3195 file(s) [attempted 3195/8459 = 37%, 197 KB/s], Decompressed: 3071
Downloaded: 3236 file(s) [attempted 3236/8459 = 38%, 229 KB/s], Decompressed: 3071
Downloaded: 3280 file(s) [attempted 3280/8459 = 38%, 124 KB/s], Decompressed: 3177
Downloaded: 3325 file(s) [attempted 3325/8459 = 39%, 221 KB/s], Decompressed: 3177
Downloaded: 3366 file(s) [attempted 3366/8459 = 39%, 468 KB/s], Decompressed: 3177
Downloaded: 3403 file(s) [attempted 3403/8459 = 40%, 112 KB/s], Decompressed: 3273
Downloaded: 3441 file(s) [attempted 3441/8459 = 40%, 69 KB/s], Decompressed: 3273
Downloaded: 3482 file(s) [attempted 3482/8459 = 41%, 42 KB/s], Decompressed: 3369
Downloaded: 3527 file(s) [attempted 3527/8459 = 41%, 131 KB/s], Decompressed: 3369
Downloaded: 3568 file(s) [attempted 3568/8459 = 42%, 363 KB/s], Decompressed: 3461
Downloaded: 3598 file(s) [attempted 3598/8459 = 42%, 219 KB/s], Decompressed: 3461
Downloaded: 3643 file(s) [attempted 3643/8459 = 43%, 105 KB/s], Decompressed: 3537
Downloaded: 3681 file(s) [attempted 3681/8459 = 43%, 741 KB/s], Decompressed: 3537
Downloaded: 3725 file(s) [attempted 3725/8459 = 44%, 390 KB/s], Decompressed: 3626
Downloaded: 3766 file(s) [attempted 3766/8459 = 44%, 113 KB/s], Decompressed: 3626
Downloaded: 3797 file(s) [attempted 3797/8459 = 44%, 218 KB/s], Decompressed: 3715
Downloaded: 3838 file(s) [attempted 3838/8459 = 45%, 137 KB/s], Decompressed: 3715
Downloaded: 3882 file(s) [attempted 3882/8459 = 45%, 115 KB/s], Decompressed: 3787
Downloaded: 3924 file(s) [attempted 3924/8459 = 46%, 333 KB/s], Decompressed: 3787
Downloaded: 3968 file(s) [attempted 3968/8459 = 46%, 124 KB/s], Decompressed: 3869
Downloaded: 4002 file(s) [attempted 4002/8459 = 47%, 168 KB/s], Decompressed: 3937
Downloaded: 4040 file(s) [attempted 4040/8459 = 47%, 115 KB/s], Decompressed: 3937
Downloaded: 4084 file(s) [attempted 4084/8459 = 48%, 697 KB/s], Decompressed: 4002
Downloaded: 4132 file(s) [attempted 4132/8459 = 48%, 631 KB/s], Decompressed: 4002
Downloaded: 4173 file(s) [attempted 4173/8459 = 49%, 2470 KB/s], Decompressed: 4067
Downloaded: 4214 file(s) [attempted 4214/8459 = 49%, 400 KB/s], Decompressed: 4067
Downloaded: 4249 file(s) [attempted 4249/8459 = 50%, 53 KB/s], Decompressed: 4149
Downloaded: 4290 file(s) [attempted 4290/8459 = 50%, 527 KB/s], Decompressed: 4149
Downloaded: 4334 file(s) [attempted 4334/8459 = 51%, 613 KB/s], Decompressed: 4238
Downloaded: 4379 file(s) [attempted 4379/8459 = 51%, 170 KB/s], Decompressed: 4238
Downloaded: 4420 file(s) [attempted 4420/8459 = 52%, 1084 KB/s], Decompressed: 4331
Downloaded: 4461 file(s) [attempted 4461/8459 = 52%, 99 KB/s], Decompressed: 4331
Downloaded: 4495 file(s) [attempted 4495/8459 = 53%, 241 KB/s], Decompressed: 4331
Downloaded: 4540 file(s) [attempted 4540/8459 = 53%, 41 KB/s], Decompressed: 4420
Downloaded: 4581 file(s) [attempted 4581/8459 = 54%, 131 KB/s], Decompressed: 4420
Downloaded: 4625 file(s) [attempted 4625/8459 = 54%, 262 KB/s], Decompressed: 4509
Downloaded: 4663 file(s) [attempted 4663/8459 = 55%, 543 KB/s], Decompressed: 4509
Downloaded: 4700 file(s) [attempted 4700/8459 = 55%, 308 KB/s], Decompressed: 4601
Downloaded: 4745 file(s) [attempted 4745/8459 = 56%, 248 KB/s], Decompressed: 4601
Downloaded: 4789 file(s) [attempted 4789/8459 = 56%, 353 KB/s], Decompressed: 4601
Downloaded: 4830 file(s) [attempted 4830/8459 = 57%, 104 KB/s], Decompressed: 4697
Downloaded: 4872 file(s) [attempted 4872/8459 = 57%, 182 KB/s], Decompressed: 4697
Downloaded: 4913 file(s) [attempted 4913/8459 = 58%, 254 KB/s], Decompressed: 4697
Downloaded: 4950 file(s) [attempted 4950/8459 = 58%, 447 KB/s], Decompressed: 4803
Downloaded: 4995 file(s) [attempted 4995/8459 = 59%, 1134 KB/s], Decompressed: 4803
Downloaded: 5036 file(s) [attempted 5036/8459 = 59%, 546 KB/s], Decompressed: 4803
Downloaded: 5080 file(s) [attempted 5080/8459 = 60%, 111 KB/s], Decompressed: 4926
Downloaded: 5118 file(s) [attempted 5118/8459 = 60%, 74 KB/s], Decompressed: 4926
Downloaded: 5156 file(s) [attempted 5156/8459 = 60%, 144 KB/s], Decompressed: 4926
Downloaded: 5200 file(s) [attempted 5200/8459 = 61%, 894 KB/s], Decompressed: 4926
Downloaded: 5241 file(s) [attempted 5241/8459 = 61%, 50 KB/s], Decompressed: 4926
Downloaded: 5282 file(s) [attempted 5282/8459 = 62%, 599 KB/s], Decompressed: 5080
Downloaded: 5323 file(s) [attempted 5323/8459 = 62%, 64 KB/s], Decompressed: 5080
Downloaded: 5361 file(s) [attempted 5361/8459 = 63%, 148 KB/s], Decompressed: 5080
Downloaded: 5402 file(s) [attempted 5402/8459 = 63%, 373 KB/s], Decompressed: 5248
Downloaded: 5446 file(s) [attempted 5446/8459 = 64%, 681 KB/s], Decompressed: 5248
Downloaded: 5484 file(s) [attempted 5484/8459 = 64%, 532 KB/s], Decompressed: 5248
Downloaded: 5529 file(s) [attempted 5529/8459 = 65%, 600 KB/s], Decompressed: 5248
Downloaded: 5566 file(s) [attempted 5566/8459 = 65%, 79 KB/s], Decompressed: 5399
Downloaded: 5607 file(s) [attempted 5607/8459 = 66%, 69 KB/s], Decompressed: 5399
Downloaded: 5645 file(s) [attempted 5645/8459 = 66%, 224 KB/s], Decompressed: 5399
Downloaded: 5686 file(s) [attempted 5686/8459 = 67%, 641 KB/s], Decompressed: 5399
Downloaded: 5734 file(s) [attempted 5734/8459 = 67%, 279 KB/s], Decompressed: 5559
Downloaded: 5772 file(s) [attempted 5772/8459 = 68%, 247 KB/s], Decompressed: 5559
Downloaded: 5809 file(s) [attempted 5809/8459 = 68%, 842 KB/s], Decompressed: 5559
Downloaded: 5850 file(s) [attempted 5850/8459 = 69%, 305 KB/s], Decompressed: 5559
Downloaded: 5895 file(s) [attempted 5895/8459 = 69%, 100 KB/s], Decompressed: 5703
Downloaded: 5936 file(s) [attempted 5936/8459 = 70%, 145 KB/s], Decompressed: 5703
Downloaded: 5980 file(s) [attempted 5980/8459 = 70%, 767 KB/s], Decompressed: 5703
Downloaded: 6021 file(s) [attempted 6021/8459 = 71%, 883 KB/s], Decompressed: 5857
Downloaded: 6063 file(s) [attempted 6063/8459 = 71%, 1064 KB/s], Decompressed: 5857
Downloaded: 6104 file(s) [attempted 6104/8459 = 72%, 27 KB/s], Decompressed: 5857
Downloaded: 6145 file(s) [attempted 6145/8459 = 72%, 47 KB/s], Decompressed: 5857
Downloaded: 6182 file(s) [attempted 6182/8459 = 73%, 192 KB/s], Decompressed: 6004
Downloaded: 6227 file(s) [attempted 6227/8459 = 73%, 89 KB/s], Decompressed: 6004
Downloaded: 6264 file(s) [attempted 6264/8459 = 74%, 119 KB/s], Decompressed: 6004
Downloaded: 6305 file(s) [attempted 6305/8459 = 74%, 353 KB/s], Decompressed: 6151
Downloaded: 6347 file(s) [attempted 6347/8459 = 75%, 117 KB/s], Decompressed: 6151
Downloaded: 6388 file(s) [attempted 6388/8459 = 75%, 717 KB/s], Decompressed: 6151
Downloaded: 6425 file(s) [attempted 6425/8459 = 75%, 146 KB/s], Decompressed: 6151
Downloaded: 6466 file(s) [attempted 6466/8459 = 76%, 274 KB/s], Decompressed: 6302
Downloaded: 6507 file(s) [attempted 6507/8459 = 76%, 456 KB/s], Decompressed: 6302
Downloaded: 6548 file(s) [attempted 6548/8459 = 77%, 54 KB/s], Decompressed: 6302
Downloaded: 6590 file(s) [attempted 6590/8459 = 77%, 1330 KB/s], Decompressed: 6302
Downloaded: 6631 file(s) [attempted 6631/8459 = 78%, 434 KB/s], Decompressed: 6449
Downloaded: 6672 file(s) [attempted 6672/8459 = 78%, 84 KB/s], Decompressed: 6449
Downloaded: 6713 file(s) [attempted 6713/8459 = 79%, 48 KB/s], Decompressed: 6449
Downloaded: 6754 file(s) [attempted 6754/8459 = 79%, 295 KB/s], Decompressed: 6449
Downloaded: 6791 file(s) [attempted 6791/8459 = 80%, 612 KB/s], Decompressed: 6620
Downloaded: 6829 file(s) [attempted 6829/8459 = 80%, 98 KB/s], Decompressed: 6620
Downloaded: 6870 file(s) [attempted 6870/8459 = 81%, 989 KB/s], Decompressed: 6620
Downloaded: 6911 file(s) [attempted 6911/8459 = 81%, 564 KB/s], Decompressed: 6620
Downloaded: 6952 file(s) [attempted 6952/8459 = 82%, 384 KB/s], Decompressed: 6785
Downloaded: 6993 file(s) [attempted 6993/8459 = 82%, 228 KB/s], Decompressed: 6785
Downloaded: 7034 file(s) [attempted 7034/8459 = 83%, 42 KB/s], Decompressed: 6785
Downloaded: 7075 file(s) [attempted 7075/8459 = 83%, 202 KB/s], Decompressed: 6785
Downloaded: 7120 file(s) [attempted 7120/8459 = 84%, 113 KB/s], Decompressed: 6942
Downloaded: 7158 file(s) [attempted 7158/8459 = 84%, 98 KB/s], Decompressed: 6942
Downloaded: 7199 file(s) [attempted 7199/8459 = 85%, 819 KB/s], Decompressed: 6942
Downloaded: 7236 file(s) [attempted 7236/8459 = 85%, 1010 KB/s], Decompressed: 6942
Downloaded: 7277 file(s) [attempted 7277/8459 = 86%, 57 KB/s], Decompressed: 7093
Downloaded: 7318 file(s) [attempted 7318/8459 = 86%, 190 KB/s], Decompressed: 7093
Downloaded: 7356 file(s) [attempted 7356/8459 = 86%, 147 KB/s], Decompressed: 7093
Downloaded: 7401 file(s) [attempted 7401/8459 = 87%, 533 KB/s], Decompressed: 7240
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 79 KB/s], Decompressed: 7240
Downloaded: 7479 file(s) [attempted 7479/8459 = 88%, 144 KB/s], Decompressed: 7240
Downloaded: 7520 file(s) [attempted 7520/8459 = 88%, 24 KB/s], Decompressed: 7384
Downloaded: 7561 file(s) [attempted 7561/8459 = 89%, 322 KB/s], Decompressed: 7384
Downloaded: 7606 file(s) [attempted 7606/8459 = 89%, 142 KB/s], Decompressed: 7384
Downloaded: 7647 file(s) [attempted 7647/8459 = 90%, 390 KB/s], Decompressed: 7384
Downloaded: 7685 file(s) [attempted 7685/8459 = 90%, 50 KB/s], Decompressed: 7514
Downloaded: 7722 file(s) [attempted 7722/8459 = 91%, 756 KB/s], Decompressed: 7514
Downloaded: 7767 file(s) [attempted 7767/8459 = 91%, 98 KB/s], Decompressed: 7514
Downloaded: 7808 file(s) [attempted 7808/8459 = 92%, 582 KB/s], Decompressed: 7656
Downloaded: 7852 file(s) [attempted 7852/8459 = 92%, 284 KB/s], Decompressed: 7656
Downloaded: 7893 file(s) [attempted 7893/8459 = 93%, 64 KB/s], Decompressed: 7656
Downloaded: 7931 file(s) [attempted 7931/8459 = 93%, 651 KB/s], Decompressed: 7791
Downloaded: 7969 file(s) [attempted 7969/8459 = 94%, 701 KB/s], Decompressed: 7791
Downloaded: 8013 file(s) [attempted 8013/8459 = 94%, 340 KB/s], Decompressed: 7791
Downloaded: 8054 file(s) [attempted 8054/8459 = 95%, 166 KB/s], Decompressed: 7791
Downloaded: 8092 file(s) [attempted 8092/8459 = 95%, 153 KB/s], Decompressed: 7931
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 476 KB/s], Decompressed: 7931
Downloaded: 8167 file(s) [attempted 8167/8459 = 96%, 122 KB/s], Decompressed: 7931
Downloaded: 8212 file(s) [attempted 8212/8459 = 97%, 844 KB/s], Decompressed: 7931
Downloaded: 8249 file(s) [attempted 8249/8459 = 97%, 315 KB/s], Decompressed: 8085
Downloaded: 8287 file(s) [attempted 8287/8459 = 97%, 115 KB/s], Decompressed: 8085
Downloaded: 8325 file(s) [attempted 8325/8459 = 98%, 336 KB/s], Decompressed: 8085
Downloaded: 8366 file(s) [attempted 8366/8459 = 98%, 313 KB/s], Decompressed: 8085
Downloaded: 8410 file(s) [attempted 8410/8459 = 99%, 757 KB/s], Decompressed: 8246
Downloaded: 8451 file(s) [attempted 8451/8459 = 99%, 89 KB/s], Decompressed: 8246
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 89 KB/s], Decompressed: 8246

lean_checker exit 0 duration 2m 13s · created 6/3/2026, 5:03:06 PM

lake build

✔ [633/854] Built Iut.Foundations.Species (354ms)
✔ [3378/3399] Built Iut.Stage1.PilotComparison (4.7s)
✔ [3379/3399] Built Iut.Foundations.RealLineCopy (6.0s)
✔ [3380/3399] Built Iut.Foundations.TransportDiagram (1.6s)
✔ [3381/3399] Built Iut.Foundations.IndeterminacyRelation (1.8s)
✔ [3382/3399] Built Iut.Foundations.RegionMeasure (1.7s)
✔ [3383/3399] Built Iut.Foundations.CommonTargetBound (1.8s)
✔ [3384/3399] Built Iut.Foundations.TransportedRegionFamily (1.5s)
✔ [3385/3399] Built Iut.Foundations.AlgorithmicOutput (1.9s)
✔ [3386/3399] Built Iut.Foundations.QualitativeData (2.1s)
✔ [3387/3399] Built Iut.Foundations.AlgorithmicBridge (3.3s)
✔ [3388/3399] Built Iut.Stage1.CorollarySchema (3.3s)
✔ [3389/3399] Built Iut.Stage1.SourceObligations (3.1s)
✔ [3390/3399] Built Iut.Foundations.InitialThetaData (26s)
✔ [3391/3399] Built Iut.Stage1.IUTSourceScaffold (2.5s)
✔ [3392/3399] Built Iut.Stage1.IUTStage1Data (2.8s)
✔ [3393/3399] Built Iut.Stage1.IUTStage1SourceCore (11s)
✔ [3394/3399] Built Iut.Stage1.IUTStage1Remark312Absorption (2.4s)
✔ [3395/3399] Built Iut.Stage1.IUTStage1Source (63s)
✔ [3396/3399] Built Iut.Stage1.IUTStage1Experiments (14s)
✔ [3397/3399] Built Iut.Basic (2.4s)
✔ [3398/3399] Built Iut (2.4s)
Build completed successfully (3399 jobs).

blueprint_build exit 1 duration 4s · created 6/3/2026, 5:03:06 PM

lake build :blueprint

error: unknown package facet `blueprint`

semantic_extract exit - duration 2h 0m · created 6/3/2026, 5:03:06 PM

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

lean semantic helper: restored compiled static runner cache ec7804cd11eb8cfea55544dcc9618dbeb4e4e103dea2d7ac6c2d67c80b2f1d0e
/usr/bin/podman timed out after 7200s