a2c51ccc10d74c157bdea3292
 SIZE (rust/crates/subtle-2.6.1.crate) = 14562
+SHA256 (rust/crates/syn-1.0.109.crate) = 72b64191b275b66ffe2469e8af2c1cfe3bafa67b529ead792a6d0160888b4237
+SIZE (rust/crates/syn-1.0.109.crate) = 237611
 SHA256 (rust/crates/syn-2.0.117.crate) = e665b8803e7b1d2a727f4023456bbbbe74da67099c585258af0ad9c5013b9b99
 SIZE (rust/crates/syn-2.0.117.crate) = 306011
 SHA256 (rust/crates/tar-0.4.45.crate) = 22692a6476a21fa75fdfc11d452fda482af402c008cdbaf3476414e122040973
 SIZE (rust/crates/tar-0.4.45.crate) = 67847
 SHA256 (rust/crates/tempfile-3.27.0.crate) = 32497e9a4c7b38532efcdebeef879707aa9f794296a4f0244f6f69e9bc8574bd
 SIZE (rust/crates/tempfile-3.27.0.crate) = 44780
+SHA256 (rust/crates/terminfo-0.9.0.crate) = d4ea810f0692f9f51b382fff5893887bb4580f5fa246fde546e0b13e7fcee662
+SIZE (rust/crates/terminfo-0.9.0.crate) = 45420
+SHA256 (rust/crates/termios-0.3.3.crate) = 411c5bf740737c7918b8b1fe232dca4dc9f8e754b8ad5e20966814001ed0ac6b
+SIZE (rust/crates/termios-0.3.3.crate) = 17103
+SHA256 (rust/crates/termwiz-0.23.3.crate) = 4676b37242ccbd1aabf56edb093a4827dc49086c0ffd764a5705899e0f35f8f7
+SIZE (rust/crates/termwiz-0.23.3.crate) = 400004
 SHA256 (rust/crates/thiserror-1.0.69.crate) = b6aaf5339b578ea85b50e080feb250a3e8ae8cfcdff9a461c9ec2904bc923f52
 SIZE (rust/crates/thiserror-1.0.69.crate) = 22198
 SHA256 (rust/crates/thiserror-2.0.18.crate) = 4288b5bcbc7920c07a1149a35cf9590a2aa808e0bc1eafaade0b80947865fbc4
@@ -471,16 +575,16 @@ SHA256 (rust/crates/typeid-1.0.3.crate) = bc7d623258602320d5c55d1bc22793b57daff0
 SIZE (rust/crates/typeid-1.0.3.crate) = 9006
 SHA256 (rust/crates/typenum-1.19.0.crate) = 562d481066bde0658276a35467c4af00bdc6ee726305698a55b86e61d7ad82bb
 SIZE (rust/crates/typenum-1.19.0.crate) = 76414
+SHA256 (rust/crates/ucd-trie-0.1.7.crate) = 2896d95c02a80c6d6a5d6e953d479f5ddf2dfdb6a244441010e373ac0fb88971
+SIZE (rust/crates/ucd-trie-0.1.7.crate) = 46795
 SHA256 (rust/crates/unicode-ident-1.0.24.crate) = e6e4313cd5fcd3dad5cafa179702e2b244f760991f45397d14d4ebf38247da75
 SIZE (rust/crates/unicode-ident-1.0.24.crate) = 49298
 SHA256 (rust/crates/unicode-segmentation-1.13.2.crate) = 9629274872b2bfaf8d66f5f15725007f635594914870f65218920345aa11aa8c
 SIZE (rust/crates/unicode-segmentation-1.13.2.crate) = 111829
-SHA256 (rust/crates/unicode-truncate-1.1.0.crate) = b3644627a5af5fa321c95b9b235a72fd24cd29c648c2c379431e6628655627bf
-SIZE (rust/crates/unicode-truncate-1.1.0.crate) = 12529
-SHA256 (rust/crates/unicode-width-0.1.14.crate) = 7dd6e30e90baa6f72411720665d41d89b9a3d039dc45b8faea1ddd07f617f6af
-SIZE (rust/crates/unicode-width-0.1.14.crate) = 271615
-SHA256 (rust/crates/unicode-width-0.2.0.crate) = 1fc81956842c57dac11422a97c3b8195a1ff727f06e85c84ed2e8aa277c9a0fd
-SIZE (rust/crates/unicode-width-0.2.0.crate) = 271509
+SHA256 (rust/crates/unicode-truncate-2.0.1.crate) = 16b380a1238663e5f8a691f9039c73e1cdae598a30e9855f541d29b08b53e9a5
+SIZE (rust/crates/unicode-truncate-2.0.1.crate) = 18182
+SHA256 (rust/crates/unicode-width-0.2.2.crate) = b4ac048d71ede7ee76d585517add45da530660ef4390e49b098733c6e897f254
+SIZE (rust/crates/unicode-width-0.2.2.crate) = 282768
 SHA256 (rust/crates/unicode-xid-0.2.6.crate) = ebc1c04c71510c7f702b52b7c350734c9ff1295c464a03335b00bb84fc54f853
 SIZE (rust/crates/unicode-xid-0.2.6.crate) = 15744
 SHA256 (rust/crates/untrusted-0.9.0.crate) = 8ecb6da28b8a351d773b68d5825ac39017e680750f980f3a1a85cd8dd28a47c1
@@ -491,10 +595,16 @@ SHA256 (rust/crates/ureq-proto-0.6.0.crate) = e994ba84b0bd1b1b0cf92878b7ef898a5c
 SIZE (rust/crates/ureq-proto-0.6.0.crate) = 61319
 SHA256 (rust/crates/utf8-zero-0.8.1.crate) = b8c0a043c9540bae7c578c88f91dda8bd82e59ae27c21baca69c8b191aaf5a6e
 SIZE (rust/crates/utf8-zero-0.8.1.crate) = 13984
+SHA256 (rust/crates/utf8parse-0.2.2.crate) = 06abde3611657adf66d383f00b093d7faecc7fa57071cce2578660c9f1010821
+SIZE (rust/crates/utf8parse-0.2.2.crate) = 13499
+SHA256 (rust/crates/uuid-1.23.0.crate) = 5ac8b6f42ead25368cf5b098aeb3dc8a1a2c05a3eee8a9a1a68c640edbfc79d9
+SIZE (rust/crates/uuid-1.23.0.crate) = 63006
 SHA256 (rust/crates/valuable-0.1.1.crate) = ba73ea9cf16a25df0c8caa16c51acb937d5712a8429db78a3ee29d5dcacd3a65
 SIZE (rust/crates/valuable-0.1.1.crate) = 28679
 SHA256 (rust/crates/version_check-0.9.5.crate) = 0b928f33d975fc6ad9f86c8f283853ad26bdd5b10b7f1542aa2fa15e2289105a
 SIZE (rust/crates/version_check-0.9.5.crate) = 15554
+SHA256 (rust/crates/vtparse-0.6.2.crate) = 6d9b2acfb050df409c972a37d3b8e08cdea3bddb0c09db9d53137e504cfabed0
+SIZE (rust/crates/vtparse-0.6.2.crate) = 11448
 SHA256 (rust/crates/walkdir-2.5.0.crate) = 29790946404f91d9c5d06f9874efddea1dc06c5efe94541a7d6863108e3a5e4b
 SIZE (rust/crates/walkdir-2.5.0.crate) = 23951
 SHA256 (rust/crates/wasi-0.11.1+wasi-snapshot-preview1.crate) = ccf3ec651a847eb01de73ccad15eb7d99f80485de043efb2f370cd654f4ea44b
@@ -519,6 +629,18 @@ SHA256 (rust/crates/wasmparser-0.244.0.crate) = 47b807c72e1bac69382b3a6fb3dbe8ea
 SIZE (rust/crates/wasmparser-0.244.0.crate) = 265607
 SHA256 (rust/crates/webpki-roots-1.0.6.crate) = 22cfaf3c063993ff62e73cb4311efde4db1efb31ab78a3e5c457939ad5cc0bed
 SIZE (rust/crates/webpki-roots-1.0.6.crate) = 240440
+SHA256 (rust/crates/wezterm-bidi-0.2.3.crate) = 0c0a6e355560527dd2d1cf7890652f4f09bb3433b6aadade4c9b5ed76de5f3ec
+SIZE (rust/crates/wezterm-bidi-0.2.3.crate) = 73214
+SHA256 (rust/crates/wezterm-blob-leases-0.1.1.crate) = 692daff6d93d94e29e4114544ef6d5c942a7ed998b37abdc19b17136ea428eb7
+SIZE (rust/crates/wezterm-blob-leases-0.1.1.crate) = 9305
+SHA256 (rust/crates/wezterm-color-types-0.3.0.crate) = 7de81ef35c9010270d63772bebef2f2d6d1f2d20a983d27505ac850b8c4b4296
+SIZE (rust/crates/wezterm-color-types-0.3.0.crate) = 14631
+SHA256 (rust/crates/wezterm-dynamic-0.2.1.crate) = 5f2ab60e120fd6eaa68d9567f3226e876684639d22a4219b313ff69ec0ccd5ac
+SIZE (rust/crates/wezterm-dynamic-0.2.1.crate) = 11528
+SHA256 (rust/crates/wezterm-dynamic-derive-0.1.1.crate) = 46c0cf2d539c645b448eaffec9ec494b8b19bd5077d9e58cb1ae7efece8d575b
+SIZE (rust/crates/wezterm-dynamic-derive-0.1.1.crate) = 6960
+SHA256 (rust/crates/wezterm-input-types-0.1.0.crate) = 7012add459f951456ec9d6c7e6fc340b1ce15d6fc9629f8c42853412c029e57e
+SIZE (rust/crates/wezterm-input-types-0.1.0.crate) = 16748
 SHA256 (rust/crates/winapi-0.3.9.crate) = 5c839a674fcd7a98952e593242ea400abe93992746761e38641405d28b00f419
 SIZE (rust/crates/winapi-0.3.9.crate) = 1200382
 SHA256 (rust/crates/winapi-i686-pc-windows-gnu-0.4.0.crate) = ac3b87c63620426dd9b991e5ce0329eff545bccbbb34f3be09ff6fb6ab51b7b6
@@ -543,6 +665,8 @@ SHA256 (rust/crates/windows-sys-0.48.0.crate) = 677d2418bec65e3338edb076e806bc1e
 SIZE (rust/crates/windows-sys-0.48.0.crate) = 2628884
 SHA256 (rust/crates/windows-sys-0.52.0.crate) = 282be5f36a8ce781fad8c8ae18fa3f9beff57ec1b52cb3de0789201425d9a33d
 SIZE (rust/crates/windows-sys-0.52.0.crate) = 2576877
+SHA256 (rust/crates/windows-sys-0.59.0.crate) = 1e38bc4d79ed67fd075bcc251a1c39b32a1776bbe92e5bef1f0bf1f8c531853b
+SIZE (rust/crates/windows-sys-0.59.0.crate) = 2387323
 SHA256 (rust/crates/windows-sys-0.61.2.crate) = ae137229bcbd6cdf0f7b80a31df61766145077ddf49416a728b02cb3921ff3fc
 SIZE (rust/crates/windows-sys-0.61.2.crate) = 2517186
 SHA256 (rust/crates/windows-targets-0.48.5.crate) = 9a2fa6e2155d7247be68c096456083145c183cbbbc2764150dda45a87197940c
@@ -611,5 +735,5 @@ SHA256 (rust/crates/zstd-safe-7.2.4.crate) = 8f49c4d5f0abb602a93fb8736af2a4f4dd9
 SIZE (rust/crates/zstd-safe-7.2.4.crate) = 29350
 SHA256 (rust/crates/zstd-sys-2.0.16+zstd.1.5.7.crate) = 91e19ebc2adc8f83e43039e79776e3fda8ca919132d68a1fed6a5faca2683748
 SIZE (rust/crates/zstd-sys-2.0.16+zstd.1.5.7.crate) = 775620
-SHA256 (yvgude-lean-ctx-v3.0.1_GH0.tar.gz) = cce93eb51b037a6462947139e3e67b8eae0ba0e09198bb374a2531891f9c823c
-SIZE (yvgude-lean-ctx-v3.0.1_GH0.tar.gz) = 652159
+SHA256 (yvgude-lean-ctx-v3.0.3_GH0.tar.gz) = 49329710748f94f0ddccb43c5c5dd82127e6efbc3bb89c331baf808d36ec87e2
+SIZE (yvgude-lean-ctx-v3.0.3_GH0.tar.gz) = 690050