diff --git a/gemfiles/typecheck/Gemfile.lock b/gemfiles/typecheck/Gemfile.lock
index a5363e44fb..1a75198d38 100644
--- a/gemfiles/typecheck/Gemfile.lock
+++ b/gemfiles/typecheck/Gemfile.lock
@@ -35,7 +35,6 @@ GEM
     logger (1.7.0)
     minitest (6.0.1)
       prism (~> 1.5)
-    mutex_m (0.3.0)
     netrc (0.11.0)
     parallel (1.27.0)
     parser (3.3.10.2)
@@ -54,12 +53,14 @@ GEM
     rbi (0.3.9)
       prism (~> 1.0)
       rbs (>= 3.4.4)
-    rbs (3.10.3)
+    rbs (4.0.1)
       logger
+      prism (>= 1.6.0)
       tsort
     rbs-inline (0.13.0)
       prism (>= 0.29)
       rbs (>= 3.8.0)
+    require-hooks (0.2.3)
     rexml (3.4.4)
     ruby_parser (3.22.0)
       racc (~> 1.5)
@@ -74,54 +75,53 @@ GEM
     sorbet-static-and-runtime (0.6.12666)
       sorbet (= 0.6.12666)
       sorbet-runtime (= 0.6.12666)
-    spoom (1.6.3)
+    spoom (1.7.11)
       erubi (>= 1.10.0)
       prism (>= 0.28.0)
       rbi (>= 0.3.3)
+      rbs (>= 4.0.0.dev.4)
       rexml (>= 3.2.6)
       sorbet-static-and-runtime (>= 0.5.10187)
       thor (>= 0.19.2)
-    steep (1.10.0)
+    steep (1.8.0.dev.2)
       activesupport (>= 5.1)
       concurrent-ruby (>= 1.1.10)
       csv (>= 3.0.9)
       fileutils (>= 1.1.0)
       json (>= 2.1.0)
-      language_server-protocol (>= 3.17.0.4, < 4.0)
+      language_server-protocol (>= 3.15, < 4.0)
       listen (~> 3.0)
       logger (>= 1.3.0)
-      mutex_m (>= 0.3.0)
       parser (>= 3.1)
       rainbow (>= 2.2.2, < 4.0)
-      rbs (~> 3.9)
+      rbs (>= 3.5.0.pre)
       securerandom (>= 0.1)
       strscan (>= 1.0.0)
-      terminal-table (>= 2, < 5)
-      uri (>= 0.12.0)
+      terminal-table (>= 2, < 4)
     strscan (3.1.5)
-    tapioca (0.16.11)
+    tapioca (0.18.0)
       benchmark
       bundler (>= 2.2.25)
       netrc (>= 0.11.0)
       parallel (>= 1.21.0)
-      rbi (~> 0.2)
+      rbi (>= 0.3.7)
+      require-hooks (>= 0.2.2)
       sorbet-static-and-runtime (>= 0.5.11087)
-      spoom (>= 1.2.0)
+      spoom (>= 1.7.9)
       thor (>= 1.2.0)
+      tsort
       yard-sorbet
-    terminal-table (4.0.0)
-      unicode-display_width (>= 1.1.1, < 4)
+    terminal-table (3.0.2)
+      unicode-display_width (>= 1.1.1, < 3)
     test-unit (3.7.7)
       power_assert
-    thor (1.4.0)
+    thor (1.5.0)
     tsort (0.2.0)
     tzinfo (2.0.6)
       concurrent-ruby (~> 1.0)
-    unicode-display_width (3.2.0)
-      unicode-emoji (~> 4.1)
-    unicode-emoji (4.2.0)
+    unicode-display_width (2.6.0)
     uri (1.1.1)
-    yard (0.9.37)
+    yard (0.9.38)
     yard-sorbet (0.9.0)
       sorbet-runtime
       yard