Verification run

Run 27

promachina/iut-lean branch master triggered via poller

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

Package inputs

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

Trust verification

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

(verification not run)

Manifest

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

(manifest not loaded)

Verifier log excerpt

(no log excerpt)

Command runs

git_clone exit 0 duration 2s · created 6/2/2026, 5:22:21 PM

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

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

git_checkout exit 0 duration 50 ms · created 6/2/2026, 5:22:21 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 34s · created 6/2/2026, 5:22:21 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 (349ms)
✔ [4/25] Built Cache.Lean (431ms)
✔ [5/25] Built Cache.Lean:c.o (311ms)
✔ [6/25] Built Cache.Init:c.o (380ms)
✔ [14/25] Built Batteries.Data.String.Basic:c.o (106ms)
✔ [15/25] Built Batteries.Data.String.Matcher:c.o (180ms)
✔ [16/25] Built Batteries.Data.Array.Match:c.o (204ms)
✔ [17/25] Built Cache.IO (1.7s)
✔ [18/25] Built Cache.Hashing (867ms)
✔ [19/25] Built Cache.IO:c.o (1.2s)
✔ [20/25] Built Cache.Hashing:c.o (328ms)
✔ [21/25] Built Cache.Requests (1.9s)
✔ [22/25] Built Cache.Main (986ms)
✔ [23/25] Built Cache.Main:c.o (526ms)
✔ [24/25] Built Cache.Requests:c.o (1.8s)
✔ [25/25] Built cache:exe (2.1s)

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 11 KB/s], Decompressed: 0
Downloaded: 15 file(s) [attempted 15/8459 = 0%, 10 KB/s], Decompressed: 11
Downloaded: 37 file(s) [attempted 37/8459 = 0%, 21 KB/s], Decompressed: 32
Downloaded: 61 file(s) [attempted 61/8459 = 0%, 27 KB/s], Decompressed: 57
Downloaded: 90 file(s) [attempted 90/8459 = 1%, 59 KB/s], Decompressed: 82
Downloaded: 127 file(s) [attempted 127/8459 = 1%, 904 KB/s], Decompressed: 107
Downloaded: 158 file(s) [attempted 158/8459 = 1%, 98 KB/s], Decompressed: 127
Downloaded: 192 file(s) [attempted 192/8459 = 2%, 152 KB/s], Decompressed: 165
Downloaded: 234 file(s) [attempted 234/8459 = 2%, 601 KB/s], Decompressed: 186
Downloaded: 275 file(s) [attempted 275/8459 = 3%, 254 KB/s], Decompressed: 213
Downloaded: 316 file(s) [attempted 316/8459 = 3%, 335 KB/s], Decompressed: 247
Downloaded: 353 file(s) [attempted 353/8459 = 4%, 83 KB/s], Decompressed: 292
Downloaded: 398 file(s) [attempted 398/8459 = 4%, 1355 KB/s], Decompressed: 292
Downloaded: 443 file(s) [attempted 443/8459 = 5%, 79 KB/s], Decompressed: 343
Downloaded: 480 file(s) [attempted 480/8459 = 5%, 1148 KB/s], Decompressed: 343
Downloaded: 521 file(s) [attempted 521/8459 = 6%, 658 KB/s], Decompressed: 405
Downloaded: 564 file(s) [attempted 564/8459 = 6%, 550 KB/s], Decompressed: 405
Downloaded: 603 file(s) [attempted 603/8459 = 7%, 173 KB/s], Decompressed: 487
Downloaded: 641 file(s) [attempted 641/8459 = 7%, 858 KB/s], Decompressed: 487
Downloaded: 682 file(s) [attempted 682/8459 = 8%, 575 KB/s], Decompressed: 487
Downloaded: 723 file(s) [attempted 723/8459 = 8%, 46 KB/s], Decompressed: 576
Downloaded: 768 file(s) [attempted 768/8459 = 9%, 483 KB/s], Decompressed: 576
Downloaded: 806 file(s) [attempted 806/8459 = 9%, 532 KB/s], Decompressed: 576
Downloaded: 843 file(s) [attempted 843/8459 = 9%, 96 KB/s], Decompressed: 693
Downloaded: 884 file(s) [attempted 884/8459 = 10%, 44 KB/s], Decompressed: 693
Downloaded: 925 file(s) [attempted 925/8459 = 10%, 142 KB/s], Decompressed: 693
Downloaded: 970 file(s) [attempted 970/8459 = 11%, 788 KB/s], Decompressed: 693
Downloaded: 1011 file(s) [attempted 1011/8459 = 11%, 901 KB/s], Decompressed: 693
Downloaded: 1052 file(s) [attempted 1052/8459 = 12%, 650 KB/s], Decompressed: 840
Downloaded: 1086 file(s) [attempted 1086/8459 = 12%, 211 KB/s], Decompressed: 840
Downloaded: 1134 file(s) [attempted 1134/8459 = 13%, 288 KB/s], Decompressed: 840
Downloaded: 1182 file(s) [attempted 1182/8459 = 13%, 332 KB/s], Decompressed: 840
Downloaded: 1227 file(s) [attempted 1227/8459 = 14%, 301 KB/s], Decompressed: 840
Downloaded: 1264 file(s) [attempted 1264/8459 = 14%, 29 KB/s], Decompressed: 840
Downloaded: 1302 file(s) [attempted 1302/8459 = 15%, 549 KB/s], Decompressed: 840
Downloaded: 1343 file(s) [attempted 1343/8459 = 15%, 46 KB/s], Decompressed: 1052
Downloaded: 1384 file(s) [attempted 1384/8459 = 16%, 83 KB/s], Decompressed: 1052
Downloaded: 1432 file(s) [attempted 1432/8459 = 16%, 82 KB/s], Decompressed: 1052
Downloaded: 1473 file(s) [attempted 1473/8459 = 17%, 25 KB/s], Decompressed: 1052
Downloaded: 1514 file(s) [attempted 1514/8459 = 17%, 146 KB/s], Decompressed: 1052
Downloaded: 1559 file(s) [attempted 1559/8459 = 18%, 257 KB/s], Decompressed: 1052
Downloaded: 1596 file(s) [attempted 1596/8459 = 18%, 23 KB/s], Decompressed: 1052
Downloaded: 1641 file(s) [attempted 1641/8459 = 19%, 590 KB/s], Decompressed: 1052
Downloaded: 1682 file(s) [attempted 1682/8459 = 19%, 144 KB/s], Decompressed: 1312
Downloaded: 1726 file(s) [attempted 1726/8459 = 20%, 114 KB/s], Decompressed: 1312
Downloaded: 1771 file(s) [attempted 1771/8459 = 20%, 45 KB/s], Decompressed: 1312
Downloaded: 1808 file(s) [attempted 1808/8459 = 21%, 47 KB/s], Decompressed: 1312
Downloaded: 1850 file(s) [attempted 1850/8459 = 21%, 504 KB/s], Decompressed: 1312
Downloaded: 1887 file(s) [attempted 1887/8459 = 22%, 184 KB/s], Decompressed: 1312
Downloaded: 1925 file(s) [attempted 1925/8459 = 22%, 87 KB/s], Decompressed: 1312
Downloaded: 1963 file(s) [attempted 1963/8459 = 23%, 847 KB/s], Decompressed: 1312
Downloaded: 2010 file(s) [attempted 2010/8459 = 23%, 24 KB/s], Decompressed: 1312
Downloaded: 2051 file(s) [attempted 2051/8459 = 24%, 408 KB/s], Decompressed: 1312
Downloaded: 2093 file(s) [attempted 2093/8459 = 24%, 640 KB/s], Decompressed: 1644
Downloaded: 2130 file(s) [attempted 2130/8459 = 25%, 47 KB/s], Decompressed: 1644
Downloaded: 2171 file(s) [attempted 2171/8459 = 25%, 56 KB/s], Decompressed: 1644
Downloaded: 2209 file(s) [attempted 2209/8459 = 26%, 246 KB/s], Decompressed: 1644
Downloaded: 2253 file(s) [attempted 2253/8459 = 26%, 48 KB/s], Decompressed: 1644
Downloaded: 2294 file(s) [attempted 2294/8459 = 27%, 26 KB/s], Decompressed: 1644
Downloaded: 2336 file(s) [attempted 2336/8459 = 27%, 524 KB/s], Decompressed: 1644
Downloaded: 2376 file(s) [attempted 2376/8459 = 28%, 620 KB/s], Decompressed: 1644
Downloaded: 2414 file(s) [attempted 2414/8459 = 28%, 117 KB/s], Decompressed: 1644
Downloaded: 2452 file(s) [attempted 2452/8459 = 28%, 89 KB/s], Decompressed: 1644
Downloaded: 2493 file(s) [attempted 2493/8459 = 29%, 50 KB/s], Decompressed: 1644
Downloaded: 2537 file(s) [attempted 2537/8459 = 29%, 593 KB/s], Decompressed: 1644
Downloaded: 2575 file(s) [attempted 2575/8459 = 30%, 103 KB/s], Decompressed: 1644
Downloaded: 2613 file(s) [attempted 2613/8459 = 30%, 405 KB/s], Decompressed: 2058
Downloaded: 2657 file(s) [attempted 2657/8459 = 31%, 582 KB/s], Decompressed: 2058
Downloaded: 2698 file(s) [attempted 2698/8459 = 31%, 60 KB/s], Decompressed: 2058
Downloaded: 2743 file(s) [attempted 2743/8459 = 32%, 98 KB/s], Decompressed: 2058
Downloaded: 2780 file(s) [attempted 2780/8459 = 32%, 31 KB/s], Decompressed: 2058
Downloaded: 2818 file(s) [attempted 2818/8459 = 33%, 36 KB/s], Decompressed: 2058
Downloaded: 2859 file(s) [attempted 2859/8459 = 33%, 32 KB/s], Decompressed: 2058
Downloaded: 2904 file(s) [attempted 2904/8459 = 34%, 401 KB/s], Decompressed: 2058
Downloaded: 2938 file(s) [attempted 2938/8459 = 34%, 791 KB/s], Decompressed: 2058
Downloaded: 2982 file(s) [attempted 2982/8459 = 35%, 22 KB/s], Decompressed: 2058
Downloaded: 3020 file(s) [attempted 3020/8459 = 35%, 198 KB/s], Decompressed: 2058
Downloaded: 3064 file(s) [attempted 3064/8459 = 36%, 1152 KB/s], Decompressed: 2058
Downloaded: 3112 file(s) [attempted 3112/8459 = 36%, 220 KB/s], Decompressed: 2058
Downloaded: 3150 file(s) [attempted 3150/8459 = 37%, 92 KB/s], Decompressed: 2058
Downloaded: 3191 file(s) [attempted 3191/8459 = 37%, 198 KB/s], Decompressed: 2058
Downloaded: 3236 file(s) [attempted 3236/8459 = 38%, 221 KB/s], Decompressed: 2058
Downloaded: 3273 file(s) [attempted 3273/8459 = 38%, 80 KB/s], Decompressed: 2058
Downloaded: 3314 file(s) [attempted 3314/8459 = 39%, 288 KB/s], Decompressed: 2592
Downloaded: 3359 file(s) [attempted 3359/8459 = 39%, 79 KB/s], Decompressed: 2592
Downloaded: 3400 file(s) [attempted 3400/8459 = 40%, 70 KB/s], Decompressed: 2592
Downloaded: 3444 file(s) [attempted 3444/8459 = 40%, 192 KB/s], Decompressed: 2592
Downloaded: 3492 file(s) [attempted 3492/8459 = 41%, 193 KB/s], Decompressed: 2592
Downloaded: 3537 file(s) [attempted 3537/8459 = 41%, 352 KB/s], Decompressed: 2592
Downloaded: 3574 file(s) [attempted 3574/8459 = 42%, 294 KB/s], Decompressed: 2592
Downloaded: 3615 file(s) [attempted 3615/8459 = 42%, 1296 KB/s], Decompressed: 2592
Downloaded: 3659 file(s) [attempted 3659/8459 = 43%, 60 KB/s], Decompressed: 2592
Downloaded: 3694 file(s) [attempted 3694/8459 = 43%, 1997 KB/s], Decompressed: 2592
Downloaded: 3742 file(s) [attempted 3742/8459 = 44%, 77 KB/s], Decompressed: 2592
Downloaded: 3793 file(s) [attempted 3793/8459 = 44%, 638 KB/s], Decompressed: 2592
Downloaded: 3841 file(s) [attempted 3841/8459 = 45%, 169 KB/s], Decompressed: 2592
Downloaded: 3879 file(s) [attempted 3879/8459 = 45%, 231 KB/s], Decompressed: 2592
Downloaded: 3917 file(s) [attempted 3917/8459 = 46%, 1578 KB/s], Decompressed: 2592
Downloaded: 3958 file(s) [attempted 3958/8459 = 46%, 94 KB/s], Decompressed: 2592
Downloaded: 3999 file(s) [attempted 3999/8459 = 47%, 581 KB/s], Decompressed: 2592
Downloaded: 4043 file(s) [attempted 4043/8459 = 47%, 673 KB/s], Decompressed: 2592
Downloaded: 4084 file(s) [attempted 4084/8459 = 48%, 59 KB/s], Decompressed: 2592
Downloaded: 4119 file(s) [attempted 4119/8459 = 48%, 109 KB/s], Decompressed: 2592
Downloaded: 4160 file(s) [attempted 4160/8459 = 49%, 68 KB/s], Decompressed: 2592
Downloaded: 4204 file(s) [attempted 4204/8459 = 49%, 194 KB/s], Decompressed: 2592
Downloaded: 4245 file(s) [attempted 4245/8459 = 50%, 96 KB/s], Decompressed: 3307
Downloaded: 4286 file(s) [attempted 4286/8459 = 50%, 57 KB/s], Decompressed: 3307
Downloaded: 4331 file(s) [attempted 4331/8459 = 51%, 139 KB/s], Decompressed: 3307
Downloaded: 4365 file(s) [attempted 4365/8459 = 51%, 371 KB/s], Decompressed: 3307
Downloaded: 4403 file(s) [attempted 4403/8459 = 52%, 562 KB/s], Decompressed: 3307
Downloaded: 4447 file(s) [attempted 4447/8459 = 52%, 67 KB/s], Decompressed: 3307
Downloaded: 4492 file(s) [attempted 4492/8459 = 53%, 257 KB/s], Decompressed: 3307
Downloaded: 4536 file(s) [attempted 4536/8459 = 53%, 199 KB/s], Decompressed: 3307
Downloaded: 4577 file(s) [attempted 4577/8459 = 54%, 477 KB/s], Decompressed: 3307
Downloaded: 4615 file(s) [attempted 4615/8459 = 54%, 44 KB/s], Decompressed: 3307
Downloaded: 4652 file(s) [attempted 4652/8459 = 54%, 216 KB/s], Decompressed: 3307
Downloaded: 4690 file(s) [attempted 4690/8459 = 55%, 101 KB/s], Decompressed: 3307
Downloaded: 4738 file(s) [attempted 4738/8459 = 56%, 247 KB/s], Decompressed: 3307
Downloaded: 4789 file(s) [attempted 4789/8459 = 56%, 106 KB/s], Decompressed: 3307
Downloaded: 4837 file(s) [attempted 4837/8459 = 57%, 264 KB/s], Decompressed: 3307
Downloaded: 4885 file(s) [attempted 4885/8459 = 57%, 41 KB/s], Decompressed: 3307
Downloaded: 4933 file(s) [attempted 4933/8459 = 58%, 375 KB/s], Decompressed: 3307
Downloaded: 4974 file(s) [attempted 4974/8459 = 58%, 494 KB/s], Decompressed: 3307
Downloaded: 5012 file(s) [attempted 5012/8459 = 59%, 117 KB/s], Decompressed: 3307
Downloaded: 5049 file(s) [attempted 5049/8459 = 59%, 495 KB/s], Decompressed: 3307
Downloaded: 5097 file(s) [attempted 5097/8459 = 60%, 142 KB/s], Decompressed: 3307
Downloaded: 5145 file(s) [attempted 5145/8459 = 60%, 899 KB/s], Decompressed: 3307
Downloaded: 5193 file(s) [attempted 5193/8459 = 61%, 136 KB/s], Decompressed: 3307
Downloaded: 5238 file(s) [attempted 5238/8459 = 61%, 1723 KB/s], Decompressed: 3307
Downloaded: 5279 file(s) [attempted 5279/8459 = 62%, 300 KB/s], Decompressed: 3307
Downloaded: 5313 file(s) [attempted 5313/8459 = 62%, 424 KB/s], Decompressed: 3307
Downloaded: 5354 file(s) [attempted 5354/8459 = 63%, 1148 KB/s], Decompressed: 3307
Downloaded: 5392 file(s) [attempted 5392/8459 = 63%, 124 KB/s], Decompressed: 3307
Downloaded: 5436 file(s) [attempted 5436/8459 = 64%, 160 KB/s], Decompressed: 3307
Downloaded: 5477 file(s) [attempted 5477/8459 = 64%, 139 KB/s], Decompressed: 4242
Downloaded: 5512 file(s) [attempted 5512/8459 = 65%, 341 KB/s], Decompressed: 4242
Downloaded: 5559 file(s) [attempted 5559/8459 = 65%, 79 KB/s], Decompressed: 4242
Downloaded: 5600 file(s) [attempted 5600/8459 = 66%, 22 KB/s], Decompressed: 4242
Downloaded: 5642 file(s) [attempted 5642/8459 = 66%, 29 KB/s], Decompressed: 4242
Downloaded: 5683 file(s) [attempted 5683/8459 = 67%, 216 KB/s], Decompressed: 4242
Downloaded: 5720 file(s) [attempted 5720/8459 = 67%, 166 KB/s], Decompressed: 4242
Downloaded: 5755 file(s) [attempted 5755/8459 = 68%, 266 KB/s], Decompressed: 4242
Downloaded: 5802 file(s) [attempted 5802/8459 = 68%, 207 KB/s], Decompressed: 4242
Downloaded: 5850 file(s) [attempted 5850/8459 = 69%, 445 KB/s], Decompressed: 4242
Downloaded: 5885 file(s) [attempted 5885/8459 = 69%, 93 KB/s], Decompressed: 4242
Downloaded: 5936 file(s) [attempted 5936/8459 = 70%, 142 KB/s], Decompressed: 4242
Downloaded: 5974 file(s) [attempted 5974/8459 = 70%, 558 KB/s], Decompressed: 4242
Downloaded: 6018 file(s) [attempted 6018/8459 = 71%, 104 KB/s], Decompressed: 4242
Downloaded: 6059 file(s) [attempted 6059/8459 = 71%, 223 KB/s], Decompressed: 4242
Downloaded: 6097 file(s) [attempted 6097/8459 = 72%, 748 KB/s], Decompressed: 4242
Downloaded: 6141 file(s) [attempted 6141/8459 = 72%, 140 KB/s], Decompressed: 4242
Downloaded: 6182 file(s) [attempted 6182/8459 = 73%, 138 KB/s], Decompressed: 4242
Downloaded: 6220 file(s) [attempted 6220/8459 = 73%, 475 KB/s], Decompressed: 4242
Downloaded: 6261 file(s) [attempted 6261/8459 = 74%, 53 KB/s], Decompressed: 4242
Downloaded: 6302 file(s) [attempted 6302/8459 = 74%, 1062 KB/s], Decompressed: 4242
Downloaded: 6343 file(s) [attempted 6343/8459 = 74%, 271 KB/s], Decompressed: 4242
Downloaded: 6381 file(s) [attempted 6381/8459 = 75%, 293 KB/s], Decompressed: 4242
Downloaded: 6415 file(s) [attempted 6415/8459 = 75%, 53 KB/s], Decompressed: 4242
Downloaded: 6463 file(s) [attempted 6463/8459 = 76%, 139 KB/s], Decompressed: 4242
Downloaded: 6514 file(s) [attempted 6514/8459 = 77%, 477 KB/s], Decompressed: 4242
Downloaded: 6561 file(s) [attempted 6561/8459 = 77%, 124 KB/s], Decompressed: 4242
Downloaded: 6600 file(s) [attempted 6600/8459 = 78%, 72 KB/s], Decompressed: 4242
Downloaded: 6637 file(s) [attempted 6637/8459 = 78%, 28 KB/s], Decompressed: 4242
Downloaded: 6678 file(s) [attempted 6678/8459 = 78%, 86 KB/s], Decompressed: 4242
Downloaded: 6720 file(s) [attempted 6720/8459 = 79%, 184 KB/s], Decompressed: 4242
Downloaded: 6761 file(s) [attempted 6761/8459 = 79%, 261 KB/s], Decompressed: 4242
Downloaded: 6802 file(s) [attempted 6802/8459 = 80%, 240 KB/s], Decompressed: 4242
Downloaded: 6843 file(s) [attempted 6843/8459 = 80%, 202 KB/s], Decompressed: 4242
Downloaded: 6880 file(s) [attempted 6880/8459 = 81%, 231 KB/s], Decompressed: 4242
Downloaded: 6928 file(s) [attempted 6928/8459 = 81%, 251 KB/s], Decompressed: 5440
Downloaded: 6973 file(s) [attempted 6973/8459 = 82%, 146 KB/s], Decompressed: 5440
Downloaded: 7017 file(s) [attempted 7017/8459 = 82%, 341 KB/s], Decompressed: 5440
Downloaded: 7055 file(s) [attempted 7055/8459 = 83%, 318 KB/s], Decompressed: 5440
Downloaded: 7089 file(s) [attempted 7089/8459 = 83%, 45 KB/s], Decompressed: 5440
Downloaded: 7130 file(s) [attempted 7130/8459 = 84%, 290 KB/s], Decompressed: 5440
Downloaded: 7178 file(s) [attempted 7178/8459 = 84%, 32 KB/s], Decompressed: 5440
Downloaded: 7219 file(s) [attempted 7219/8459 = 85%, 190 KB/s], Decompressed: 5440
Downloaded: 7264 file(s) [attempted 7264/8459 = 85%, 124 KB/s], Decompressed: 5440
Downloaded: 7302 file(s) [attempted 7302/8459 = 86%, 28 KB/s], Decompressed: 5440
Downloaded: 7336 file(s) [attempted 7336/8459 = 86%, 383 KB/s], Decompressed: 5440
Downloaded: 7380 file(s) [attempted 7380/8459 = 87%, 189 KB/s], Decompressed: 5440
Downloaded: 7428 file(s) [attempted 7428/8459 = 87%, 103 KB/s], Decompressed: 5440
Downloaded: 7472 file(s) [attempted 7472/8459 = 88%, 152 KB/s], Decompressed: 5440
Downloaded: 7510 file(s) [attempted 7510/8459 = 88%, 226 KB/s], Decompressed: 5440
Downloaded: 7551 file(s) [attempted 7551/8459 = 89%, 90 KB/s], Decompressed: 5440
Downloaded: 7589 file(s) [attempted 7589/8459 = 89%, 158 KB/s], Decompressed: 5440
Downloaded: 7633 file(s) [attempted 7633/8459 = 90%, 23 KB/s], Decompressed: 5440
Downloaded: 7671 file(s) [attempted 7671/8459 = 90%, 83 KB/s], Decompressed: 5440
Downloaded: 7706 file(s) [attempted 7706/8459 = 91%, 89 KB/s], Decompressed: 5440
Downloaded: 7753 file(s) [attempted 7753/8459 = 91%, 171 KB/s], Decompressed: 5440
Downloaded: 7791 file(s) [attempted 7791/8459 = 92%, 25 KB/s], Decompressed: 5440
Downloaded: 7828 file(s) [attempted 7828/8459 = 92%, 1863 KB/s], Decompressed: 5440
Downloaded: 7869 file(s) [attempted 7869/8459 = 93%, 159 KB/s], Decompressed: 5440
Downloaded: 7914 file(s) [attempted 7914/8459 = 93%, 104 KB/s], Decompressed: 5440
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 841 KB/s], Decompressed: 5440
Downloaded: 7996 file(s) [attempted 7996/8459 = 94%, 294 KB/s], Decompressed: 5440
Downloaded: 8041 file(s) [attempted 8041/8459 = 95%, 563 KB/s], Decompressed: 5440
Downloaded: 8071 file(s) [attempted 8071/8459 = 95%, 309 KB/s], Decompressed: 5440
Downloaded: 8116 file(s) [attempted 8116/8459 = 95%, 368 KB/s], Decompressed: 5440
Downloaded: 8160 file(s) [attempted 8160/8459 = 96%, 60 KB/s], Decompressed: 5440
Downloaded: 8201 file(s) [attempted 8201/8459 = 96%, 84 KB/s], Decompressed: 5440
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 54 KB/s], Decompressed: 5440
Downloaded: 8284 file(s) [attempted 8284/8459 = 97%, 128 KB/s], Decompressed: 5440
Downloaded: 8331 file(s) [attempted 8331/8459 = 98%, 678 KB/s], Decompressed: 5440
Downloaded: 8373 file(s) [attempted 8373/8459 = 98%, 295 KB/s], Decompressed: 5440
Downloaded: 8414 file(s) [attempted 8414/8459 = 99%, 194 KB/s], Decompressed: 5440
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 515 KB/s], Decompressed: 5440
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 515 KB/s], Decompressed: 5440

lean_checker exit 0 duration 2m 19s · created 6/2/2026, 5:22:21 PM

lake build

✔ [599/801] Built Iut.Foundations.Species (421ms)
✔ [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.7s)
✔ [3382/3399] Built Iut.Foundations.RegionMeasure (1.5s)
✔ [3383/3399] Built Iut.Foundations.CommonTargetBound (1.7s)
✔ [3384/3399] Built Iut.Foundations.TransportedRegionFamily (1.5s)
✔ [3385/3399] Built Iut.Foundations.AlgorithmicOutput (2.2s)
✔ [3386/3399] Built Iut.Foundations.QualitativeData (2.4s)
✔ [3387/3399] Built Iut.Foundations.AlgorithmicBridge (3.2s)
✔ [3388/3399] Built Iut.Stage1.CorollarySchema (2.8s)
✔ [3389/3399] Built Iut.Stage1.SourceObligations (3.2s)
✔ [3390/3399] Built Iut.Foundations.InitialThetaData (26s)
✔ [3391/3399] Built Iut.Stage1.IUTSourceScaffold (2.5s)
✔ [3392/3399] Built Iut.Stage1.IUTStage1Data (3.1s)
✔ [3393/3399] Built Iut.Stage1.IUTStage1SourceCore (11s)
✔ [3394/3399] Built Iut.Stage1.IUTStage1Remark312Absorption (2.8s)
✔ [3395/3399] Built Iut.Stage1.IUTStage1Source (71s)
✔ [3396/3399] Built Iut.Stage1.IUTStage1Experiments (15s)
✔ [3397/3399] Built Iut.Basic (2.3s)
✔ [3398/3399] Built Iut (2.3s)
Build completed successfully (3399 jobs).

blueprint_build exit 1 duration 2s · created 6/2/2026, 5:22:21 PM

lake build :blueprint

error: unknown package facet `blueprint`

semantic_extract exit 0 duration 1h 39m · created 6/2/2026, 5:22:21 PM

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