Verification run

Run 36

promachina/iut-lean branch master triggered via poller

failed commit 70bfde35cdf8 toolchain lean-v4-30-0 prover lean took 52m 38s · finished 6w ago

./.apodeixis/tools/lean-semantic-extract.sh failed with exit code 1 (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 3s · created 6/5/2026, 5:55:21 PM

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

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

git_checkout exit 0 duration 96 ms · created 6/5/2026, 5:55:21 PM

git checkout 70bfde35cdf887763c4ee523dbd6efbacf43751f

Note: switching to '70bfde35cdf887763c4ee523dbd6efbacf43751f'.

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 70bfde3 Add summand source bridge constructor

lake_cache exit 0 duration 40s · created 6/5/2026, 5:55: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)

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

Downloaded: 1 file(s) [attempted 1/8459 = 0%, 9 KB/s], Decompressed: 0
Downloaded: 13 file(s) [attempted 13/8459 = 0%, 9 KB/s], Decompressed: 10
Downloaded: 34 file(s) [attempted 34/8459 = 0%, 95 KB/s], Decompressed: 33
Downloaded: 62 file(s) [attempted 62/8459 = 0%, 58 KB/s], Decompressed: 57
Downloaded: 89 file(s) [attempted 89/8459 = 1%, 321 KB/s], Decompressed: 86
Downloaded: 120 file(s) [attempted 120/8459 = 1%, 332 KB/s], Decompressed: 117
Downloaded: 148 file(s) [attempted 148/8459 = 1%, 55 KB/s], Decompressed: 144
Downloaded: 186 file(s) [attempted 186/8459 = 2%, 51 KB/s], Decompressed: 179
Downloaded: 223 file(s) [attempted 223/8459 = 2%, 413 KB/s], Decompressed: 216
Downloaded: 261 file(s) [attempted 261/8459 = 3%, 38 KB/s], Decompressed: 258
Downloaded: 302 file(s) [attempted 302/8459 = 3%, 91 KB/s], Decompressed: 299
Downloaded: 343 file(s) [attempted 343/8459 = 4%, 24 KB/s], Decompressed: 340
Downloaded: 384 file(s) [attempted 384/8459 = 4%, 232 KB/s], Decompressed: 381
Downloaded: 425 file(s) [attempted 425/8459 = 5%, 330 KB/s], Decompressed: 419
Downloaded: 460 file(s) [attempted 460/8459 = 5%, 175 KB/s], Decompressed: 449
Downloaded: 504 file(s) [attempted 504/8459 = 5%, 351 KB/s], Decompressed: 497
Downloaded: 552 file(s) [attempted 552/8459 = 6%, 37 KB/s], Decompressed: 545
Downloaded: 597 file(s) [attempted 597/8459 = 7%, 29 KB/s], Decompressed: 590
Downloaded: 638 file(s) [attempted 638/8459 = 7%, 290 KB/s], Decompressed: 624
Downloaded: 669 file(s) [attempted 669/8459 = 7%, 42 KB/s], Decompressed: 665
Downloaded: 710 file(s) [attempted 710/8459 = 8%, 301 KB/s], Decompressed: 706
Downloaded: 754 file(s) [attempted 754/8459 = 8%, 129 KB/s], Decompressed: 751
Downloaded: 799 file(s) [attempted 799/8459 = 9%, 733 KB/s], Decompressed: 795
Downloaded: 843 file(s) [attempted 843/8459 = 9%, 22 KB/s], Decompressed: 840
Downloaded: 881 file(s) [attempted 881/8459 = 10%, 36 KB/s], Decompressed: 874
Downloaded: 915 file(s) [attempted 915/8459 = 10%, 297 KB/s], Decompressed: 912
Downloaded: 956 file(s) [attempted 956/8459 = 11%, 878 KB/s], Decompressed: 953
Downloaded: 1001 file(s) [attempted 1001/8459 = 11%, 580 KB/s], Decompressed: 997
Downloaded: 1049 file(s) [attempted 1049/8459 = 12%, 252 KB/s], Decompressed: 1042
Downloaded: 1086 file(s) [attempted 1086/8459 = 12%, 426 KB/s], Decompressed: 1084
Downloaded: 1127 file(s) [attempted 1127/8459 = 13%, 483 KB/s], Decompressed: 1124
Downloaded: 1164 file(s) [attempted 1164/8459 = 13%, 54 KB/s], Decompressed: 1155
Downloaded: 1203 file(s) [attempted 1203/8459 = 14%, 203 KB/s], Decompressed: 1199
Downloaded: 1247 file(s) [attempted 1247/8459 = 14%, 142 KB/s], Decompressed: 1240
Downloaded: 1288 file(s) [attempted 1288/8459 = 15%, 849 KB/s], Decompressed: 1285
Downloaded: 1329 file(s) [attempted 1329/8459 = 15%, 160 KB/s], Decompressed: 1323
Downloaded: 1365 file(s) [attempted 1365/8459 = 16%, 303 KB/s], Decompressed: 1360
Downloaded: 1402 file(s) [attempted 1402/8459 = 16%, 105 KB/s], Decompressed: 1398
Downloaded: 1442 file(s) [attempted 1442/8459 = 17%, 126 KB/s], Decompressed: 1439
Downloaded: 1488 file(s) [attempted 1488/8459 = 17%, 45 KB/s], Decompressed: 1483
Downloaded: 1528 file(s) [attempted 1528/8459 = 18%, 372 KB/s], Decompressed: 1521
Downloaded: 1562 file(s) [attempted 1562/8459 = 18%, 43 KB/s], Decompressed: 1555
Downloaded: 1596 file(s) [attempted 1596/8459 = 18%, 480 KB/s], Decompressed: 1593
Downloaded: 1644 file(s) [attempted 1644/8459 = 19%, 439 KB/s], Decompressed: 1641
Downloaded: 1692 file(s) [attempted 1692/8459 = 20%, 183 KB/s], Decompressed: 1689
Downloaded: 1737 file(s) [attempted 1737/8459 = 20%, 79 KB/s], Decompressed: 1730
Downloaded: 1774 file(s) [attempted 1774/8459 = 20%, 734 KB/s], Decompressed: 1767
Downloaded: 1812 file(s) [attempted 1812/8459 = 21%, 393 KB/s], Decompressed: 1809
Downloaded: 1854 file(s) [attempted 1854/8459 = 21%, 151 KB/s], Decompressed: 1846
Downloaded: 1891 file(s) [attempted 1891/8459 = 22%, 146 KB/s], Decompressed: 1884
Downloaded: 1932 file(s) [attempted 1932/8459 = 22%, 74 KB/s], Decompressed: 1928
Downloaded: 1969 file(s) [attempted 1969/8459 = 23%, 261 KB/s], Decompressed: 1963
Downloaded: 2007 file(s) [attempted 2007/8459 = 23%, 137 KB/s], Decompressed: 2004
Downloaded: 2045 file(s) [attempted 2045/8459 = 24%, 201 KB/s], Decompressed: 2038
Downloaded: 2075 file(s) [attempted 2075/8459 = 24%, 100 KB/s], Decompressed: 2072
Downloaded: 2107 file(s) [attempted 2107/8459 = 24%, 40 KB/s], Decompressed: 2103
Downloaded: 2147 file(s) [attempted 2147/8459 = 25%, 641 KB/s], Decompressed: 2144
Downloaded: 2188 file(s) [attempted 2188/8459 = 25%, 480 KB/s], Decompressed: 2185
Downloaded: 2229 file(s) [attempted 2229/8459 = 26%, 160 KB/s], Decompressed: 2226
Downloaded: 2271 file(s) [attempted 2271/8459 = 26%, 970 KB/s], Decompressed: 2267
Downloaded: 2310 file(s) [attempted 2310/8459 = 27%, 35 KB/s], Decompressed: 2305
Downloaded: 2348 file(s) [attempted 2348/8459 = 27%, 335 KB/s], Decompressed: 2339
Downloaded: 2383 file(s) [attempted 2383/8459 = 28%, 671 KB/s], Decompressed: 2380
Downloaded: 2428 file(s) [attempted 2428/8459 = 28%, 142 KB/s], Decompressed: 2425
Downloaded: 2462 file(s) [attempted 2462/8459 = 29%, 276 KB/s], Decompressed: 2459
Downloaded: 2500 file(s) [attempted 2500/8459 = 29%, 226 KB/s], Decompressed: 2496
Downloaded: 2542 file(s) [attempted 2542/8459 = 30%, 97 KB/s], Decompressed: 2537
Downloaded: 2582 file(s) [attempted 2582/8459 = 30%, 290 KB/s], Decompressed: 2575
Downloaded: 2620 file(s) [attempted 2620/8459 = 30%, 172 KB/s], Decompressed: 2616
Downloaded: 2657 file(s) [attempted 2657/8459 = 31%, 487 KB/s], Decompressed: 2654
Downloaded: 2698 file(s) [attempted 2698/8459 = 31%, 518 KB/s], Decompressed: 2691
Downloaded: 2739 file(s) [attempted 2739/8459 = 32%, 3703 KB/s], Decompressed: 2733
Downloaded: 2780 file(s) [attempted 2780/8459 = 32%, 313 KB/s], Decompressed: 2777
Downloaded: 2825 file(s) [attempted 2825/8459 = 33%, 187 KB/s], Decompressed: 2822
Downloaded: 2859 file(s) [attempted 2859/8459 = 33%, 262 KB/s], Decompressed: 2856
Downloaded: 2897 file(s) [attempted 2897/8459 = 34%, 161 KB/s], Decompressed: 2893
Downloaded: 2938 file(s) [attempted 2938/8459 = 34%, 789 KB/s], Decompressed: 2934
Downloaded: 2982 file(s) [attempted 2982/8459 = 35%, 1069 KB/s], Decompressed: 2979
Downloaded: 3024 file(s) [attempted 3024/8459 = 35%, 88 KB/s], Decompressed: 3020
Downloaded: 3061 file(s) [attempted 3061/8459 = 36%, 2021 KB/s], Decompressed: 3058
Downloaded: 3099 file(s) [attempted 3099/8459 = 36%, 467 KB/s], Decompressed: 3092
Downloaded: 3136 file(s) [attempted 3136/8459 = 37%, 1577 KB/s], Decompressed: 3133
Downloaded: 3178 file(s) [attempted 3178/8459 = 37%, 219 KB/s], Decompressed: 3171
Downloaded: 3219 file(s) [attempted 3219/8459 = 38%, 72 KB/s], Decompressed: 3215
Downloaded: 3260 file(s) [attempted 3260/8459 = 38%, 417 KB/s], Decompressed: 3256
Downloaded: 3297 file(s) [attempted 3297/8459 = 38%, 170 KB/s], Decompressed: 3290
Downloaded: 3336 file(s) [attempted 3336/8459 = 39%, 148 KB/s], Decompressed: 3331
Downloaded: 3379 file(s) [attempted 3379/8459 = 39%, 392 KB/s], Decompressed: 3376
Downloaded: 3420 file(s) [attempted 3420/8459 = 40%, 251 KB/s], Decompressed: 3414
Downloaded: 3461 file(s) [attempted 3461/8459 = 40%, 181 KB/s], Decompressed: 3458
Downloaded: 3499 file(s) [attempted 3499/8459 = 41%, 140 KB/s], Decompressed: 3492
Downloaded: 3537 file(s) [attempted 3537/8459 = 41%, 165 KB/s], Decompressed: 3533
Downloaded: 3578 file(s) [attempted 3578/8459 = 42%, 480 KB/s], Decompressed: 3574
Downloaded: 3619 file(s) [attempted 3619/8459 = 42%, 965 KB/s], Decompressed: 3616
Downloaded: 3661 file(s) [attempted 3661/8459 = 43%, 625 KB/s], Decompressed: 3657
Downloaded: 3698 file(s) [attempted 3698/8459 = 43%, 664 KB/s], Decompressed: 3694
Downloaded: 3739 file(s) [attempted 3739/8459 = 44%, 496 KB/s], Decompressed: 3735
Downloaded: 3780 file(s) [attempted 3780/8459 = 44%, 103 KB/s], Decompressed: 3776
Downloaded: 3823 file(s) [attempted 3823/8459 = 45%, 309 KB/s], Decompressed: 3817
Downloaded: 3864 file(s) [attempted 3864/8459 = 45%, 1347 KB/s], Decompressed: 3859
Downloaded: 3903 file(s) [attempted 3903/8459 = 46%, 56 KB/s], Decompressed: 3900
Downloaded: 3941 file(s) [attempted 3941/8459 = 46%, 873 KB/s], Decompressed: 3937
Downloaded: 3982 file(s) [attempted 3982/8459 = 47%, 376 KB/s], Decompressed: 3976
Downloaded: 4023 file(s) [attempted 4023/8459 = 47%, 514 KB/s], Decompressed: 4019
Downloaded: 4064 file(s) [attempted 4064/8459 = 48%, 300 KB/s], Decompressed: 4060
Downloaded: 4105 file(s) [attempted 4105/8459 = 48%, 211 KB/s], Decompressed: 4101
Downloaded: 4149 file(s) [attempted 4149/8459 = 49%, 39 KB/s], Decompressed: 4139
Downloaded: 4187 file(s) [attempted 4187/8459 = 49%, 977 KB/s], Decompressed: 4180
Downloaded: 4225 file(s) [attempted 4225/8459 = 49%, 526 KB/s], Decompressed: 4221
Downloaded: 4269 file(s) [attempted 4269/8459 = 50%, 390 KB/s], Decompressed: 4262
Downloaded: 4308 file(s) [attempted 4308/8459 = 50%, 342 KB/s], Decompressed: 4303
Downloaded: 4344 file(s) [attempted 4344/8459 = 51%, 50 KB/s], Decompressed: 4334
Downloaded: 4382 file(s) [attempted 4382/8459 = 51%, 922 KB/s], Decompressed: 4375
Downloaded: 4424 file(s) [attempted 4424/8459 = 52%, 139 KB/s], Decompressed: 4420
Downloaded: 4468 file(s) [attempted 4468/8459 = 52%, 572 KB/s], Decompressed: 4464
Downloaded: 4509 file(s) [attempted 4509/8459 = 53%, 307 KB/s], Decompressed: 4505
Downloaded: 4546 file(s) [attempted 4546/8459 = 53%, 111 KB/s], Decompressed: 4540
Downloaded: 4587 file(s) [attempted 4587/8459 = 54%, 283 KB/s], Decompressed: 4581
Downloaded: 4632 file(s) [attempted 4632/8459 = 54%, 550 KB/s], Decompressed: 4629
Downloaded: 4676 file(s) [attempted 4676/8459 = 55%, 614 KB/s], Decompressed: 4673
Downloaded: 4715 file(s) [attempted 4715/8459 = 55%, 125 KB/s], Decompressed: 4711
Downloaded: 4755 file(s) [attempted 4755/8459 = 56%, 265 KB/s], Decompressed: 4748
Downloaded: 4795 file(s) [attempted 4795/8459 = 56%, 470 KB/s], Decompressed: 4789
Downloaded: 4834 file(s) [attempted 4834/8459 = 57%, 421 KB/s], Decompressed: 4830
Downloaded: 4875 file(s) [attempted 4875/8459 = 57%, 289 KB/s], Decompressed: 4872
Downloaded: 4917 file(s) [attempted 4917/8459 = 58%, 99 KB/s], Decompressed: 4909
Downloaded: 4957 file(s) [attempted 4957/8459 = 58%, 422 KB/s], Decompressed: 4954
Downloaded: 4995 file(s) [attempted 4995/8459 = 59%, 450 KB/s], Decompressed: 4991
Downloaded: 5026 file(s) [attempted 5026/8459 = 59%, 271 KB/s], Decompressed: 5022
Downloaded: 5063 file(s) [attempted 5063/8459 = 59%, 330 KB/s], Decompressed: 5060
Downloaded: 5102 file(s) [attempted 5102/8459 = 60%, 789 KB/s], Decompressed: 5097
Downloaded: 5145 file(s) [attempted 5145/8459 = 60%, 241 KB/s], Decompressed: 5142
Downloaded: 5190 file(s) [attempted 5190/8459 = 61%, 115 KB/s], Decompressed: 5186
Downloaded: 5227 file(s) [attempted 5227/8459 = 61%, 50 KB/s], Decompressed: 5221
Downloaded: 5265 file(s) [attempted 5265/8459 = 62%, 124 KB/s], Decompressed: 5262
Downloaded: 5306 file(s) [attempted 5306/8459 = 62%, 84 KB/s], Decompressed: 5303
Downloaded: 5347 file(s) [attempted 5347/8459 = 63%, 88 KB/s], Decompressed: 5344
Downloaded: 5392 file(s) [attempted 5392/8459 = 63%, 203 KB/s], Decompressed: 5388
Downloaded: 5434 file(s) [attempted 5434/8459 = 64%, 228 KB/s], Decompressed: 5429
Downloaded: 5472 file(s) [attempted 5472/8459 = 64%, 787 KB/s], Decompressed: 5467
Downloaded: 5508 file(s) [attempted 5508/8459 = 65%, 39 KB/s], Decompressed: 5505
Downloaded: 5549 file(s) [attempted 5549/8459 = 65%, 230 KB/s], Decompressed: 5546
Downloaded: 5597 file(s) [attempted 5597/8459 = 66%, 92 KB/s], Decompressed: 5594
Downloaded: 5640 file(s) [attempted 5640/8459 = 66%, 141 KB/s], Decompressed: 5631
Downloaded: 5676 file(s) [attempted 5676/8459 = 67%, 840 KB/s], Decompressed: 5672
Downloaded: 5713 file(s) [attempted 5713/8459 = 67%, 61 KB/s], Decompressed: 5710
Downloaded: 5756 file(s) [attempted 5756/8459 = 68%, 387 KB/s], Decompressed: 5748
Downloaded: 5796 file(s) [attempted 5796/8459 = 68%, 413 KB/s], Decompressed: 5792
Downloaded: 5840 file(s) [attempted 5840/8459 = 69%, 55 KB/s], Decompressed: 5837
Downloaded: 5878 file(s) [attempted 5878/8459 = 69%, 618 KB/s], Decompressed: 5867
Downloaded: 5915 file(s) [attempted 5915/8459 = 69%, 49 KB/s], Decompressed: 5909
Downloaded: 5956 file(s) [attempted 5956/8459 = 70%, 713 KB/s], Decompressed: 5950
Downloaded: 5989 file(s) [attempted 5989/8459 = 70%, 658 KB/s], Decompressed: 5984
Downloaded: 6028 file(s) [attempted 6028/8459 = 71%, 400 KB/s], Decompressed: 6025
Downloaded: 6069 file(s) [attempted 6069/8459 = 71%, 110 KB/s], Decompressed: 6066
Downloaded: 6107 file(s) [attempted 6107/8459 = 72%, 1202 KB/s], Decompressed: 6104
Downloaded: 6138 file(s) [attempted 6138/8459 = 72%, 1134 KB/s], Decompressed: 6134
Downloaded: 6180 file(s) [attempted 6180/8459 = 73%, 197 KB/s], Decompressed: 6175
Downloaded: 6213 file(s) [attempted 6213/8459 = 73%, 60 KB/s], Decompressed: 6203
Downloaded: 6251 file(s) [attempted 6251/8459 = 73%, 93 KB/s], Decompressed: 6247
Downloaded: 6295 file(s) [attempted 6295/8459 = 74%, 837 KB/s], Decompressed: 6292
Downloaded: 6340 file(s) [attempted 6340/8459 = 74%, 205 KB/s], Decompressed: 6333
Downloaded: 6377 file(s) [attempted 6377/8459 = 75%, 38 KB/s], Decompressed: 6374
Downloaded: 6415 file(s) [attempted 6415/8459 = 75%, 1705 KB/s], Decompressed: 6412
Downloaded: 6453 file(s) [attempted 6453/8459 = 76%, 1312 KB/s], Decompressed: 6449
Downloaded: 6494 file(s) [attempted 6494/8459 = 76%, 81 KB/s], Decompressed: 6490
Downloaded: 6538 file(s) [attempted 6538/8459 = 77%, 210 KB/s], Decompressed: 6531
Downloaded: 6576 file(s) [attempted 6576/8459 = 77%, 396 KB/s], Decompressed: 6572
Downloaded: 6615 file(s) [attempted 6615/8459 = 78%, 50 KB/s], Decompressed: 6610
Downloaded: 6656 file(s) [attempted 6656/8459 = 78%, 142 KB/s], Decompressed: 6651
Downloaded: 6696 file(s) [attempted 6696/8459 = 79%, 96 KB/s], Decompressed: 6689
Downloaded: 6733 file(s) [attempted 6733/8459 = 79%, 29 KB/s], Decompressed: 6726
Downloaded: 6778 file(s) [attempted 6778/8459 = 80%, 603 KB/s], Decompressed: 6771
Downloaded: 6819 file(s) [attempted 6819/8459 = 80%, 249 KB/s], Decompressed: 6815
Downloaded: 6860 file(s) [attempted 6860/8459 = 81%, 604 KB/s], Decompressed: 6853
Downloaded: 6898 file(s) [attempted 6898/8459 = 81%, 1866 KB/s], Decompressed: 6894
Downloaded: 6942 file(s) [attempted 6942/8459 = 82%, 77 KB/s], Decompressed: 6935
Downloaded: 6976 file(s) [attempted 6976/8459 = 82%, 689 KB/s], Decompressed: 6973
Downloaded: 7018 file(s) [attempted 7018/8459 = 82%, 350 KB/s], Decompressed: 7014
Downloaded: 7058 file(s) [attempted 7058/8459 = 83%, 166 KB/s], Decompressed: 7055
Downloaded: 7096 file(s) [attempted 7096/8459 = 83%, 77 KB/s], Decompressed: 7089
Downloaded: 7141 file(s) [attempted 7141/8459 = 84%, 107 KB/s], Decompressed: 7134
Downloaded: 7178 file(s) [attempted 7178/8459 = 84%, 996 KB/s], Decompressed: 7175
Downloaded: 7226 file(s) [attempted 7226/8459 = 85%, 130 KB/s], Decompressed: 7219
Downloaded: 7277 file(s) [attempted 7277/8459 = 86%, 78 KB/s], Decompressed: 7274
Downloaded: 7325 file(s) [attempted 7325/8459 = 86%, 95 KB/s], Decompressed: 7319
Downloaded: 7367 file(s) [attempted 7367/8459 = 87%, 237 KB/s], Decompressed: 7363
Downloaded: 7405 file(s) [attempted 7405/8459 = 87%, 429 KB/s], Decompressed: 7401
Downloaded: 7445 file(s) [attempted 7445/8459 = 88%, 122 KB/s], Decompressed: 7442
Downloaded: 7486 file(s) [attempted 7486/8459 = 88%, 300 KB/s], Decompressed: 7479
Downloaded: 7527 file(s) [attempted 7527/8459 = 88%, 234 KB/s], Decompressed: 7520
Downloaded: 7568 file(s) [attempted 7568/8459 = 89%, 233 KB/s], Decompressed: 7565
Downloaded: 7609 file(s) [attempted 7609/8459 = 89%, 48 KB/s], Decompressed: 7606
Downloaded: 7650 file(s) [attempted 7650/8459 = 90%, 256 KB/s], Decompressed: 7647
Downloaded: 7686 file(s) [attempted 7686/8459 = 90%, 49 KB/s], Decompressed: 7681
Downloaded: 7729 file(s) [attempted 7729/8459 = 91%, 153 KB/s], Decompressed: 7726
Downloaded: 7765 file(s) [attempted 7765/8459 = 91%, 521 KB/s], Decompressed: 7757
Downloaded: 7802 file(s) [attempted 7802/8459 = 92%, 584 KB/s], Decompressed: 7798
Downloaded: 7846 file(s) [attempted 7846/8459 = 92%, 49 KB/s], Decompressed: 7842
Downloaded: 7885 file(s) [attempted 7885/8459 = 93%, 477 KB/s], Decompressed: 7880
Downloaded: 7924 file(s) [attempted 7924/8459 = 93%, 50 KB/s], Decompressed: 7921
Downloaded: 7958 file(s) [attempted 7958/8459 = 94%, 200 KB/s], Decompressed: 7955
Downloaded: 7998 file(s) [attempted 7998/8459 = 94%, 107 KB/s], Decompressed: 7993
Downloaded: 8041 file(s) [attempted 8041/8459 = 95%, 101 KB/s], Decompressed: 8037
Downloaded: 8085 file(s) [attempted 8085/8459 = 95%, 109 KB/s], Decompressed: 8078
Downloaded: 8126 file(s) [attempted 8126/8459 = 96%, 199 KB/s], Decompressed: 8123
Downloaded: 8164 file(s) [attempted 8164/8459 = 96%, 353 KB/s], Decompressed: 8157
Downloaded: 8201 file(s) [attempted 8201/8459 = 96%, 164 KB/s], Decompressed: 8198
Downloaded: 8239 file(s) [attempted 8239/8459 = 97%, 255 KB/s], Decompressed: 8236
Downloaded: 8280 file(s) [attempted 8280/8459 = 97%, 688 KB/s], Decompressed: 8277
Downloaded: 8321 file(s) [attempted 8321/8459 = 98%, 288 KB/s], Decompressed: 8318
Downloaded: 8362 file(s) [attempted 8362/8459 = 98%, 919 KB/s], Decompressed: 8355
Downloaded: 8403 file(s) [attempted 8403/8459 = 99%, 263 KB/s], Decompressed: 8400
Downloaded: 8443 file(s) [attempted 8443/8459 = 99%, 807 KB/s], Decompressed: 8434
Downloaded: 8458 file(s) [attempted 8458/8459 = 99%, 196 KB/s], Decompressed: 8455
Downloaded: 8459 file(s) [attempted 8459/8459 = 100%, 196 KB/s], Decompressed: 8455

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

lake build

✔ [3387/3407] Built Iut.Foundations.QualitativeData (8.4s)
✔ [3388/3407] Built Iut.Foundations.AlgorithmicBridge (2.6s)
✔ [3389/3407] Built Iut.Stage1.CorollarySchema (13s)
✔ [3390/3407] Built Iut.Stage1.SourceObligations (3.4s)
✔ [3391/3407] Built Iut.Stage1.IUTSourceScaffold (2.6s)
✔ [3392/3407] Built Iut.Stage1.IUTStage1Data (3.1s)
✔ [3393/3407] Built Iut.Stage1.IUTStage1SourceCore (13s)
✔ [3394/3407] Built Iut.Stage1.IUTStage1Remark312Absorption (3.0s)
✔ [3395/3407] Built Iut.Stage1.IUTStage1IUTIVAlgebra (9.9s)
✔ [3396/3407] Built Iut.Stage1.IUTStage1FiniteLabels (4.6s)
✔ [3397/3407] Built Iut.Stage1.IUTStage1StepX (4.9s)
✔ [3398/3407] Built Iut.Stage1.IUTStage1Gaussian (9.1s)
✔ [3399/3407] Built Iut.Stage1.IUTStage1HodgeSHE (5.5s)
✔ [3400/3407] Built Iut.Stage1.IUTStage1Theorem311 (4.6s)
✔ [3401/3407] Built Iut.Stage1.IUTStage1StepXI (11s)
✔ [3402/3407] Built Iut.Stage1.IUTStage1FrobenioidShift (35s)
✔ [3403/3407] Built Iut.Stage1.IUTStage1Source (7.1s)
✔ [3404/3407] Built Iut.Stage1.IUTStage1Experiments (16s)
✔ [3405/3407] Built Iut.Basic (2.7s)
✔ [3406/3407] Built Iut (2.5s)
Build completed successfully (3407 jobs).

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

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

lake build :blueprint

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

semantic_extract exit 1 duration 47m 55s · created 6/5/2026, 5:55:21 PM

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

warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
lean semantic helper: stored compiled static runner cache 8dfa8895d214844f1bdfe11d6ad28db803bd680e6bce8b7ab3eef078a0c28714
warning: mathlib: repository '/apx/source/.lake/packages/mathlib' has local changes
warning: batteries: repository '/apx/source/.lake/packages/batteries' has local changes
Terminated
lean semantic helper failed: generated static runner exited non-zero
remediation: inspect the generated repository runner and imported root modules