diff --git a/Library/Homebrew/sorbet/rbi/gems/rubocop-sorbet@0.5.1.rbi b/Library/Homebrew/sorbet/rbi/gems/rubocop-sorbet@0.5.1.rbi
new file mode 100644
index 0000000000..6fffaa4442
--- /dev/null
+++ b/Library/Homebrew/sorbet/rbi/gems/rubocop-sorbet@0.5.1.rbi
@@ -0,0 +1,237 @@
+# DO NOT EDIT MANUALLY
+# This is an autogenerated file for types exported from the `rubocop-sorbet` gem.
+# Please instead update this file by running `tapioca sync`.
+
+# typed: true
+
+module RuboCop
+end
+
+module RuboCop::Cop
+end
+
+module RuboCop::Cop::Sorbet
+end
+
+class RuboCop::Cop::Sorbet::AllowIncompatibleOverride < ::RuboCop::Cop::Cop
+  def allow_incompatible?(param0); end
+  def allow_incompatible_override?(param0 = T.unsafe(nil)); end
+  def not_nil?(node); end
+  def on_send(node); end
+  def sig?(param0); end
+end
+
+class RuboCop::Cop::Sorbet::BindingConstantWithoutTypeAlias < ::RuboCop::Cop::Cop
+  def autocorrect(node); end
+  def binding_unaliased_type?(param0 = T.unsafe(nil)); end
+  def dynamic_type_creation_with_block?(param0 = T.unsafe(nil)); end
+  def generic_parameter_decl?(param0 = T.unsafe(nil)); end
+  def method_needing_aliasing_on_t?(param0); end
+  def not_dynamic_type_creation_with_block?(node); end
+  def not_generic_parameter_decl?(node); end
+  def not_nil?(node); end
+  def not_t_let?(node); end
+  def on_casgn(node); end
+  def t_let?(param0 = T.unsafe(nil)); end
+  def using_deprecated_type_alias_syntax?(param0 = T.unsafe(nil)); end
+  def using_type_alias?(param0 = T.unsafe(nil)); end
+end
+
+class RuboCop::Cop::Sorbet::CheckedTrueInSignature < ::RuboCop::Cop::Sorbet::SignatureCop
+  include(::RuboCop::Cop::RangeHelp)
+
+  def offending_node(param0); end
+  def on_signature(node); end
+end
+
+class RuboCop::Cop::Sorbet::ConstantsFromStrings < ::RuboCop::Cop::Cop
+  def constant_from_string?(param0 = T.unsafe(nil)); end
+  def on_send(node); end
+end
+
+class RuboCop::Cop::Sorbet::EnforceSigilOrder < ::RuboCop::Cop::Sorbet::ValidSigil
+  include(::RuboCop::Cop::RangeHelp)
+
+  def autocorrect(_node); end
+  def investigate(processed_source); end
+
+  protected
+
+  def check_magic_comments_order(tokens); end
+  def extract_magic_comments(processed_source); end
+end
+
+RuboCop::Cop::Sorbet::EnforceSigilOrder::CODING_REGEX = T.let(T.unsafe(nil), Regexp)
+
+RuboCop::Cop::Sorbet::EnforceSigilOrder::FROZEN_REGEX = T.let(T.unsafe(nil), Regexp)
+
+RuboCop::Cop::Sorbet::EnforceSigilOrder::INDENT_REGEX = T.let(T.unsafe(nil), Regexp)
+
+RuboCop::Cop::Sorbet::EnforceSigilOrder::MAGIC_REGEX = T.let(T.unsafe(nil), Regexp)
+
+RuboCop::Cop::Sorbet::EnforceSigilOrder::PREFERRED_ORDER = T.let(T.unsafe(nil), Hash)
+
+class RuboCop::Cop::Sorbet::EnforceSignatures < ::RuboCop::Cop::Sorbet::SignatureCop
+  def accessor?(param0 = T.unsafe(nil)); end
+  def autocorrect(node); end
+  def on_def(node); end
+  def on_defs(node); end
+  def on_send(node); end
+
+  private
+
+  def check_node(node); end
+  def param_type_placeholder; end
+  def previous_node(node); end
+  def return_type_placeholder; end
+end
+
+class RuboCop::Cop::Sorbet::EnforceSignatures::SigSuggestion
+  def initialize(indent, param_placeholder, return_placeholder); end
+
+  def params; end
+  def params=(_); end
+  def returns; end
+  def returns=(_); end
+  def to_autocorrect; end
+
+  private
+
+  def generate_params; end
+  def generate_return; end
+end
+
+class RuboCop::Cop::Sorbet::FalseSigil < ::RuboCop::Cop::Sorbet::HasSigil
+  def minimum_strictness; end
+end
+
+class RuboCop::Cop::Sorbet::ForbidIncludeConstLiteral < ::RuboCop::Cop::Cop
+  def initialize(*_); end
+
+  def not_lit_const_include?(param0 = T.unsafe(nil)); end
+  def on_send(node); end
+  def used_names; end
+  def used_names=(_); end
+end
+
+RuboCop::Cop::Sorbet::ForbidIncludeConstLiteral::MSG = T.let(T.unsafe(nil), String)
+
+class RuboCop::Cop::Sorbet::ForbidSuperclassConstLiteral < ::RuboCop::Cop::Cop
+  def not_lit_const_superclass?(param0 = T.unsafe(nil)); end
+  def on_class(node); end
+end
+
+RuboCop::Cop::Sorbet::ForbidSuperclassConstLiteral::MSG = T.let(T.unsafe(nil), String)
+
+class RuboCop::Cop::Sorbet::ForbidUntypedStructProps < ::RuboCop::Cop::Cop
+  def on_class(node); end
+  def subclass_of_t_struct?(param0 = T.unsafe(nil)); end
+  def t_nilable_untyped(param0 = T.unsafe(nil)); end
+  def t_struct(param0 = T.unsafe(nil)); end
+  def t_untyped(param0 = T.unsafe(nil)); end
+  def untyped_props(param0); end
+end
+
+RuboCop::Cop::Sorbet::ForbidUntypedStructProps::MSG = T.let(T.unsafe(nil), String)
+
+class RuboCop::Cop::Sorbet::HasSigil < ::RuboCop::Cop::Sorbet::ValidSigil
+  def require_sigil_on_all_files?; end
+end
+
+class RuboCop::Cop::Sorbet::IgnoreSigil < ::RuboCop::Cop::Sorbet::HasSigil
+  def minimum_strictness; end
+end
+
+class RuboCop::Cop::Sorbet::KeywordArgumentOrdering < ::RuboCop::Cop::Sorbet::SignatureCop
+  def on_signature(node); end
+
+  private
+
+  def check_order_for_kwoptargs(parameters); end
+end
+
+class RuboCop::Cop::Sorbet::ParametersOrderingInSignature < ::RuboCop::Cop::Sorbet::SignatureCop
+  def on_signature(node); end
+  def signature_params(param0); end
+
+  private
+
+  def check_for_inconsistent_param_ordering(sig_params_order, parameters); end
+  def extract_parameters(sig_params); end
+end
+
+class RuboCop::Cop::Sorbet::SignatureBuildOrder < ::RuboCop::Cop::Sorbet::SignatureCop
+  def autocorrect(node); end
+  def on_signature(node); end
+  def root_call(param0); end
+
+  private
+
+  def call_chain(sig_child_node); end
+  def can_autocorrect?; end
+  def node_with_index_sends(node); end
+end
+
+RuboCop::Cop::Sorbet::SignatureBuildOrder::ORDER = T.let(T.unsafe(nil), Hash)
+
+class RuboCop::Cop::Sorbet::SignatureCop < ::RuboCop::Cop::Cop
+  def on_block(node); end
+  def on_signature(_); end
+  def signature?(param0 = T.unsafe(nil)); end
+end
+
+class RuboCop::Cop::Sorbet::StrictSigil < ::RuboCop::Cop::Sorbet::HasSigil
+  def minimum_strictness; end
+end
+
+class RuboCop::Cop::Sorbet::StrongSigil < ::RuboCop::Cop::Sorbet::HasSigil
+  def minimum_strictness; end
+end
+
+class RuboCop::Cop::Sorbet::TrueSigil < ::RuboCop::Cop::Sorbet::HasSigil
+  def minimum_strictness; end
+end
+
+class RuboCop::Cop::Sorbet::ValidSigil < ::RuboCop::Cop::Cop
+  def autocorrect(_node); end
+  def investigate(processed_source); end
+
+  protected
+
+  def check_sigil_present(sigil); end
+  def check_strictness_level(sigil, strictness); end
+  def check_strictness_not_empty(sigil, strictness); end
+  def check_strictness_valid(sigil, strictness); end
+  def extract_sigil(processed_source); end
+  def extract_strictness(sigil); end
+  def minimum_strictness; end
+  def require_sigil_on_all_files?; end
+  def suggested_strictness; end
+  def suggested_strictness_level(minimum_strictness, suggested_strictness); end
+end
+
+RuboCop::Cop::Sorbet::ValidSigil::SIGIL_REGEX = T.let(T.unsafe(nil), Regexp)
+
+RuboCop::Cop::Sorbet::ValidSigil::STRICTNESS_LEVELS = T.let(T.unsafe(nil), Array)
+
+RuboCop::NodePattern = RuboCop::AST::NodePattern
+
+RuboCop::ProcessedSource = RuboCop::AST::ProcessedSource
+
+module RuboCop::Sorbet
+end
+
+RuboCop::Sorbet::CONFIG = T.let(T.unsafe(nil), Hash)
+
+class RuboCop::Sorbet::Error < ::StandardError
+end
+
+module RuboCop::Sorbet::Inject
+  class << self
+    def defaults!; end
+  end
+end
+
+RuboCop::Sorbet::VERSION = T.let(T.unsafe(nil), String)
+
+RuboCop::Token = RuboCop::AST::Token
diff --git a/Library/Homebrew/sorbet/rbi/gems/sorbet-runtime-stub@0.2.0.rbi b/Library/Homebrew/sorbet/rbi/gems/sorbet-runtime-stub@0.2.0.rbi
new file mode 100644
index 0000000000..f03b037d47
--- /dev/null
+++ b/Library/Homebrew/sorbet/rbi/gems/sorbet-runtime-stub@0.2.0.rbi
@@ -0,0 +1,8 @@
+# DO NOT EDIT MANUALLY
+# This is an autogenerated file for types exported from the `sorbet-runtime-stub` gem.
+# Please instead update this file by running `tapioca sync`.
+
+# typed: true
+
+# THIS IS AN EMPTY RBI FILE.
+# see https://github.com/Shopify/tapioca/blob/master/README.md#manual-gem-requires
diff --git a/Library/Homebrew/sorbet/rbi/hidden-definitions/hidden.rbi b/Library/Homebrew/sorbet/rbi/hidden-definitions/hidden.rbi
index 2de4bb5a65..51e1c1853a 100644
--- a/Library/Homebrew/sorbet/rbi/hidden-definitions/hidden.rbi
+++ b/Library/Homebrew/sorbet/rbi/hidden-definitions/hidden.rbi
@@ -8158,6 +8158,8 @@ module Homebrew::EnvConfig
 
   def self.skip_or_later_bottles?(); end
 
+  def self.sorbet_runtime?(); end
+
   def self.sudo_askpass(); end
 
   def self.svn(); end
@@ -10256,8 +10258,6 @@ module IRB
 
   def self.load_modules(); end
 
-  def self.parse_opts(argv: T.unsafe(nil)); end
-
   def self.rc_file(ext=T.unsafe(nil)); end
 
   def self.rc_file_generators(); end
@@ -22357,10 +22357,16 @@ class RuboCop::AST::NodePattern::Parser
 end
 
 module RuboCop::AST::NodePattern::Sets
+  SET_ABSTRACT_OVERRIDE_OVERRIDABLE_ETC = ::T.let(nil, ::T.untyped)
+  SET_ANY_ALL_NORETURN_ETC = ::T.let(nil, ::T.untyped)
+  SET_ATTR_READER_ATTR_WRITER_ATTR_ACCESSOR = ::T.let(nil, ::T.untyped)
   SET_BUILD_RECOMMENDED_TEST_OPTIONAL = ::T.let(nil, ::T.untyped)
+  SET_CONSTANTIZE_CONSTANTS_CONST_GET = ::T.let(nil, ::T.untyped)
   SET_DEPENDS_ON_USES_FROM_MACOS = ::T.let(nil, ::T.untyped)
   SET_INCLUDE_WITH_WITHOUT = ::T.let(nil, ::T.untyped)
+  SET_PROP_CONST = ::T.let(nil, ::T.untyped)
   SET_SYSTEM_SHELL_OUTPUT_PIPE_OUTPUT = ::T.let(nil, ::T.untyped)
+  SET_TYPE_TEMPLATE_TYPE_MEMBER = ::T.let(nil, ::T.untyped)
   SET_WITH_WITHOUT = ::T.let(nil, ::T.untyped)
 end
 
@@ -26169,35 +26175,16 @@ module URI
 end
 
 class URL
-  def branch(); end
-
-  def cookies(); end
-
-  def data(); end
-
   def path(*args, &block); end
 
-  def referer(); end
-
-  def revision(); end
-
-  def revisions(); end
-
   def scheme(*args, &block); end
 
-  def specs(); end
-
-  def tag(); end
-
   def to_s(*args, &block); end
+end
 
-  def trust_cert(); end
-
-  def uri(); end
-
-  def user_agent(); end
-
-  def using(); end
+class URL
+  extend ::T::Private::Methods::MethodHooks
+  extend ::T::Private::Methods::SingletonMethodHooks
 end
 
 class UnboundMethod
@@ -26211,6 +26198,10 @@ end
 module UnicodeNormalize
 end
 
+class UnpackStrategy::Zip
+  include ::UnpackStrategy::Zip::MacOSZipExtension
+end
+
 class Utils::Bottles::Collector
   def [](*args, &block); end