acp-sdk 0.6.0 → 0.8.0

data/lib/acp/types.rb

@@ -1,4 +1,251 @@
 # frozen_string_literal: true
 
 module ACP::Types
+  # Raised by the generated from_h when a param does not match its schema
+  # type; the connection boundaries rescue it into an invalid-params reply
+  # that names the failing path.
+  class ParseError < StandardError
+    # @rbs @segments: Array[String | Integer]
+    # @rbs @detail: String
+
+    # @rbs segments: Array[String | Integer]
+    # @rbs detail: String
+    # @rbs return: void
+    def initialize(segments, detail)
+      @segments = segments.freeze
+      @detail = detail
+      super("#{path}: #{detail}")
+    end
+
+    # @dynamic segments
+    attr_reader :segments #: Array[String | Integer]
+
+    # @rbs return: String
+    def path
+      segments.each_with_index.map do |segment, index|
+        if segment.is_a?(Integer) then "[#{segment}]"
+        elsif index.zero? then segment
+        else ".#{segment}"
+        end
+      end.join
+    end
+
+    # Prepends a container's segments so nested failures report an absolute path.
+    #
+    # @rbs *segments: (String | Integer)
+    # @rbs return: ACP::Types::ParseError
+    def prefix(*segments)
+      ParseError.new([*segments, *@segments], @detail)
+    end
+  end
+
+  # The guards the generated from_h methods call. Each takes the fetched value
+  # and the path to it, and raises ParseError naming that path when the value
+  # does not match the schema type. Nested from_h failures come back with the
+  # field path prepended, so the reported path is absolute.
+  module Check
+    # @rbs hash: Hash[String, untyped]
+    # @rbs key: String
+    # @rbs return: untyped
+    def self.key(hash, key)
+      hash.fetch(key)
+    rescue KeyError
+      raise ParseError.new([key], 'is required')
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.string(value, path, allow_nil: false, allow_unset: false)
+      return value if value.is_a?(String) || skipped?(value, allow_nil, allow_unset)
+
+      raise ParseError.new(segments(path), "expected String, got #{describe(value)}")
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.boolean(value, path, allow_nil: false, allow_unset: false)
+      return value if value == true || value == false || skipped?(value, allow_nil, allow_unset)
+
+      raise ParseError.new(segments(path), "expected boolean, got #{describe(value)}")
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.integer(value, path, min: nil, max: nil, allow_nil: false, allow_unset: false)
+      return value if (value.is_a?(Integer) && within?(value, min, max)) || skipped?(value, allow_nil, allow_unset)
+
+      raise ParseError.new(segments(path), "expected #{bounded('Integer', min, max)}, got #{describe(value)}")
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.number(value, path, min: nil, max: nil, allow_nil: false, allow_unset: false)
+      return value if (value.is_a?(Numeric) && within?(value, min, max)) || skipped?(value, allow_nil, allow_unset)
+
+      raise ParseError.new(segments(path), "expected #{bounded('Numeric', min, max)}, got #{describe(value)}")
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs values: Array[untyped]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.enum(value, path, values, allow_nil: false, allow_unset: false)
+      return value if values.include?(value) || skipped?(value, allow_nil, allow_unset)
+
+      expected = values.map(&:inspect).join(', ')
+      raise ParseError.new(segments(path), "expected one of #{expected}, got #{describe(value)}")
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs classes: Array[untyped]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs ?&items: (untyped, Array[String | Integer]) -> void
+    # @rbs return: untyped
+    def self.one_of(value, path, classes, allow_nil: false, allow_unset: false, &items)
+      return value if skipped?(value, allow_nil, allow_unset)
+
+      matched = classes.any? { |klass| value.is_a?(klass) }
+      unless matched
+        raise ParseError.new(segments(path), "expected #{classes.map(&:name).join(' | ')}, got #{describe(value)}")
+      end
+
+      return value unless value.is_a?(Array) && items
+
+      value.each_with_index { |item, index| yield(item, [*segments(path), index]) }
+      value
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs &check: (untyped, Array[String | Integer]) -> void
+    # @rbs return: untyped
+    def self.hash(value, path, allow_nil: false, allow_unset: false, &check)
+      return value if skipped?(value, allow_nil, allow_unset)
+      raise ParseError.new(segments(path), "expected object, got #{describe(value)}") unless value.is_a?(Hash)
+
+      parsed = {} #: Hash[String, untyped]
+      value.each { |key, item| parsed[key] = yield(item, [*segments(path), key]) }
+      parsed
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs &check: (untyped, Array[String | Integer]) -> void
+    # @rbs return: untyped
+    def self.array(value, path, allow_nil: false, allow_unset: false, &check)
+      return value if skipped?(value, allow_nil, allow_unset)
+      raise ParseError.new(segments(path), "expected array, got #{describe(value)}") unless value.is_a?(Array)
+
+      value.each_with_index.map { |item, index| yield(item, [*segments(path), index]) }
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs klass: untyped
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.object(value, path, klass, allow_nil: false, allow_unset: false)
+      return value if skipped?(value, allow_nil, allow_unset)
+      raise ParseError.new(segments(path), "expected object, got #{describe(value)}") unless value.is_a?(Hash)
+
+      begin
+        klass.from_h(value)
+      rescue ParseError => e
+        raise e.prefix(*segments(path))
+      end
+    end
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs klass: untyped
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.objects(value, path, klass, allow_nil: false, allow_unset: false)
+      return value if skipped?(value, allow_nil, allow_unset)
+      raise ParseError.new(segments(path), "expected array, got #{describe(value)}") unless value.is_a?(Array)
+
+      value.each_with_index do |item, index|
+        next if item.is_a?(Hash)
+
+        raise ParseError.new([*segments(path), index], "expected object, got #{describe(item)}")
+      end
+
+      begin
+        klass.from_a(value)
+      rescue ParseError => e
+        raise e.prefix(*segments(path))
+      end
+    end
+
+    # @rbs value: untyped
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: bool
+    def self.skipped?(value, allow_nil, allow_unset)
+      (value.nil? && allow_nil) || (allow_unset && value.equal?(:unset))
+    end
+
+    # @rbs path: String | Array[String | Integer]
+    # @rbs return: Array[String | Integer]
+    def self.segments(path)
+      path.is_a?(Array) ? path : [path]
+    end
+
+    # @rbs value: untyped
+    # @rbs return: String
+    def self.describe(value)
+      case value
+      when nil then 'null'
+      when true then 'true'
+      when false then 'false'
+      else value.class.name
+      end
+    end
+
+    # @rbs value: Numeric
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs return: bool
+    def self.within?(value, min, max)
+      (min.nil? || value >= min) && (max.nil? || value <= max)
+    end
+
+    # @rbs name: String
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs return: String
+    def self.bounded(name, min, max)
+      if min && max then "#{name} between #{min} and #{max}"
+      elsif min then "#{name} >= #{min}"
+      elsif max then "#{name} <= #{max}"
+      else name
+      end
+    end
+  end
 end

data/lib/acp/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module ACP
-  VERSION = '0.6.0'
+  VERSION = '0.8.0'
 end

data/sig/generated/acp/client_connection.rbs

@@ -1,29 +1,49 @@
 # Generated from lib/acp/client_connection.rb with RBS::Inline
 
 class ACP::ClientConnection
-  @logger: ACP::Transport::_Logger
+  @transport: ACP::AgentConnection::_Transport
 
-  @pending_permissions: Hash[String, Array[Thread::Queue]]
+  @permission: ACP::ClientConnection::_PermissionHandler
 
-  @streams: Hash[String, Thread::Queue]
+  @read_text_file: (^(ACP::Types::ReadTextFileRequest) -> (ACP::Types::ReadTextFileResponse | ACP::RequestError))?
 
-  @lock: Thread::Mutex
+  @write_text_file: (^(ACP::Types::WriteTextFileRequest) -> (ACP::Types::WriteTextFileResponse | ACP::RequestError))?
 
-  @extension_notifications: Hash[String, ^(untyped) -> void]
+  @create_terminal: (^(ACP::Types::CreateTerminalRequest) -> (ACP::Types::CreateTerminalResponse | ACP::RequestError))?
 
-  @extension_requests: Hash[String, ^(untyped) -> untyped]
+  @terminal_output: (^(ACP::Types::TerminalOutputRequest) -> (ACP::Types::TerminalOutputResponse | ACP::RequestError))?
 
-  @fs_capabilities: ACP::Types::FileSystemCapabilities?
+  @wait_for_terminal_exit: (^(ACP::Types::WaitForTerminalExitRequest) -> (ACP::Types::WaitForTerminalExitResponse | ACP::RequestError))?
+
+  @kill_terminal: (^(ACP::Types::KillTerminalRequest) -> (ACP::Types::KillTerminalResponse | ACP::RequestError))?
+
+  @release_terminal: (^(ACP::Types::ReleaseTerminalRequest) -> (ACP::Types::ReleaseTerminalResponse | ACP::RequestError))?
+
+  @elicitation: (^(ACP::Types::CreateElicitationRequest) -> (ACP::Types::CreateElicitationResponse | ACP::RequestError))?
+
+  @complete_elicitation: (^(ACP::Types::CompleteElicitationNotification) -> void)?
 
   @updates: ACP::ClientConnection::_UpdateHandler
 
-  @write_text_file: (^(ACP::Types::WriteTextFileRequest) -> (ACP::Types::WriteTextFileResponse | ACP::RequestError))?
+  @fs_capabilities: ACP::Types::FileSystemCapabilities?
 
-  @read_text_file: (^(ACP::Types::ReadTextFileRequest) -> (ACP::Types::ReadTextFileResponse | ACP::RequestError))?
+  @terminal: bool?
 
-  @permission: ACP::ClientConnection::_PermissionHandler
+  @elicitation_capabilities: ACP::Types::ElicitationCapabilities?
 
-  @transport: ACP::AgentConnection::_Transport
+  @extension_requests: Hash[String, ^(untyped) -> untyped]
+
+  @extension_notifications: Hash[String, ^(untyped) -> void]
+
+  @lock: Thread::Mutex
+
+  @streams: Hash[String, Thread::Queue]
+
+  @pending_permissions: Hash[String, Array[Thread::Queue]]
+
+  @outstanding_elicitations: Hash[String, bool]
+
+  @logger: ACP::Transport::_Logger
 
   PROTOCOL_VERSION: Integer
 
@@ -35,12 +55,21 @@ class ACP::ClientConnection
   # @rbs permission: ACP::ClientConnection::_PermissionHandler
   # @rbs read_text_file: (^(ACP::Types::ReadTextFileRequest) -> (ACP::Types::ReadTextFileResponse | ACP::RequestError))?
   # @rbs write_text_file: (^(ACP::Types::WriteTextFileRequest) -> (ACP::Types::WriteTextFileResponse | ACP::RequestError))?
+  # @rbs create_terminal: (^(ACP::Types::CreateTerminalRequest) -> (ACP::Types::CreateTerminalResponse | ACP::RequestError))?
+  # @rbs terminal_output: (^(ACP::Types::TerminalOutputRequest) -> (ACP::Types::TerminalOutputResponse | ACP::RequestError))?
+  # @rbs wait_for_terminal_exit: (^(ACP::Types::WaitForTerminalExitRequest) ->
+  #   (ACP::Types::WaitForTerminalExitResponse | ACP::RequestError))?
+  # @rbs kill_terminal: (^(ACP::Types::KillTerminalRequest) -> (ACP::Types::KillTerminalResponse | ACP::RequestError))?
+  # @rbs release_terminal: (^(ACP::Types::ReleaseTerminalRequest) -> (ACP::Types::ReleaseTerminalResponse | ACP::RequestError))?
+  # @rbs elicitation: (^(ACP::Types::CreateElicitationRequest) ->
+  #   (ACP::Types::CreateElicitationResponse | ACP::RequestError))?
+  # @rbs complete_elicitation: (^(ACP::Types::CompleteElicitationNotification) -> void)?
   # @rbs updates: ACP::ClientConnection::_UpdateHandler
   # @rbs extension_requests: Hash[String, ^(untyped) -> untyped]
   # @rbs extension_notifications: Hash[String, ^(untyped) -> void]
   # @rbs logger: ACP::Transport::_Logger
   # @rbs return: void
-  def initialize: (transport: ACP::AgentConnection::_Transport, permission: ACP::ClientConnection::_PermissionHandler, ?read_text_file: (^(ACP::Types::ReadTextFileRequest) -> (ACP::Types::ReadTextFileResponse | ACP::RequestError))?, ?write_text_file: (^(ACP::Types::WriteTextFileRequest) -> (ACP::Types::WriteTextFileResponse | ACP::RequestError))?, ?updates: ACP::ClientConnection::_UpdateHandler, ?extension_requests: Hash[String, ^(untyped) -> untyped], ?extension_notifications: Hash[String, ^(untyped) -> void], ?logger: ACP::Transport::_Logger) -> void
+  def initialize: (transport: ACP::AgentConnection::_Transport, permission: ACP::ClientConnection::_PermissionHandler, ?read_text_file: (^(ACP::Types::ReadTextFileRequest) -> (ACP::Types::ReadTextFileResponse | ACP::RequestError))?, ?write_text_file: (^(ACP::Types::WriteTextFileRequest) -> (ACP::Types::WriteTextFileResponse | ACP::RequestError))?, ?create_terminal: (^(ACP::Types::CreateTerminalRequest) -> (ACP::Types::CreateTerminalResponse | ACP::RequestError))?, ?terminal_output: (^(ACP::Types::TerminalOutputRequest) -> (ACP::Types::TerminalOutputResponse | ACP::RequestError))?, ?wait_for_terminal_exit: (^(ACP::Types::WaitForTerminalExitRequest) -> (ACP::Types::WaitForTerminalExitResponse | ACP::RequestError))?, ?kill_terminal: (^(ACP::Types::KillTerminalRequest) -> (ACP::Types::KillTerminalResponse | ACP::RequestError))?, ?release_terminal: (^(ACP::Types::ReleaseTerminalRequest) -> (ACP::Types::ReleaseTerminalResponse | ACP::RequestError))?, ?elicitation: (^(ACP::Types::CreateElicitationRequest) -> (ACP::Types::CreateElicitationResponse | ACP::RequestError))?, ?complete_elicitation: (^(ACP::Types::CompleteElicitationNotification) -> void)?, ?updates: ACP::ClientConnection::_UpdateHandler, ?extension_requests: Hash[String, ^(untyped) -> untyped], ?extension_notifications: Hash[String, ^(untyped) -> void], ?logger: ACP::Transport::_Logger) -> void
 
   # @rbs return: Thread
   def start: () -> Thread
@@ -182,9 +211,69 @@ class ACP::ClientConnection
   # @rbs return: (ACP::Types::WriteTextFileResponse | ACP::RequestError)
   def write_text_file: (untyped params) -> (ACP::Types::WriteTextFileResponse | ACP::RequestError)
 
+  # The terminal routes are registered at start, before connect records the
+  # advertised capability, so each one answers -32601 until then.
+  #
+  # @rbs params: untyped
+  # @rbs return: (ACP::Types::CreateTerminalResponse | ACP::RequestError)
+  def create_terminal: (untyped params) -> (ACP::Types::CreateTerminalResponse | ACP::RequestError)
+
+  # @rbs params: untyped
+  # @rbs return: (ACP::Types::TerminalOutputResponse | ACP::RequestError)
+  def terminal_output: (untyped params) -> (ACP::Types::TerminalOutputResponse | ACP::RequestError)
+
+  # The handler may block for as long as the command runs, so the transport
+  # must serve each request on its own thread for this not to hold up others.
+  #
+  # @rbs params: untyped
+  # @rbs return: (ACP::Types::WaitForTerminalExitResponse | ACP::RequestError)
+  def wait_for_terminal_exit: (untyped params) -> (ACP::Types::WaitForTerminalExitResponse | ACP::RequestError)
+
+  # @rbs params: untyped
+  # @rbs return: (ACP::Types::KillTerminalResponse | ACP::RequestError)
+  def kill_terminal: (untyped params) -> (ACP::Types::KillTerminalResponse | ACP::RequestError)
+
+  # @rbs params: untyped
+  # @rbs return: (ACP::Types::ReleaseTerminalResponse | ACP::RequestError)
+  def release_terminal: (untyped params) -> (ACP::Types::ReleaseTerminalResponse | ACP::RequestError)
+
+  # The routes are registered at start, before connect records the advertised
+  # capabilities, so a request for an unadvertised mode answers -32602.
+  #
+  # @rbs params: untyped
+  # @rbs return: (ACP::Types::CreateElicitationResponse | ACP::RequestError)
+  def create_elicitation: (untyped params) -> (ACP::Types::CreateElicitationResponse | ACP::RequestError)
+
+  # The spec requires a completion for an unknown or already-completed
+  # elicitation id to be ignored, so only an id registered by a served
+  # url-mode request reaches the handler. It runs on the transport's reader
+  # thread, so it must return quickly.
+  #
+  # @rbs params: untyped
+  # @rbs return: void
+  def complete_elicitation: (untyped params) -> void
+
+  # @rbs elicitation_id: String
+  # @rbs return: void
+  def register_elicitation: (String elicitation_id) -> void
+
   # The fs capabilities initialize advertises that no injected handler serves.
   #
   # @rbs capabilities: ACP::Types::FileSystemCapabilities?
   # @rbs return: Array[String]
   def unserved_fs_methods: (ACP::Types::FileSystemCapabilities? capabilities) -> Array[String]
+
+  # The terminal capabilities initialize advertises that no injected handler
+  # serves.
+  #
+  # @rbs capabilities: bool?
+  # @rbs return: Array[String]
+  def unserved_terminal_methods: (bool? capabilities) -> Array[String]
+
+  # The elicitation capabilities initialize advertises that no injected
+  # handler serves.
+  #
+  # @rbs capabilities: ACP::Types::ElicitationCapabilities?
+  # @rbs return: Array[String]
+  def unserved_elicitation_modes: (ACP::Types::ElicitationCapabilities? capabilities) -> Array[String]
 end

data/sig/generated/acp/request_error.rbs

@@ -44,11 +44,13 @@ class ACP::RequestError
   # @rbs return: ACP::RequestError
   def self.invalid_request: () -> ACP::RequestError
 
+  # @rbs method: String?
   # @rbs return: ACP::RequestError
-  def self.method_not_found: () -> ACP::RequestError
+  def self.method_not_found: (?String? method) -> ACP::RequestError
 
+  # @rbs errors: Array[String]?
   # @rbs return: ACP::RequestError
-  def self.invalid_params: () -> ACP::RequestError
+  def self.invalid_params: (?Array[String]? errors) -> ACP::RequestError
 
   # The method-not-found code for a method the client's capabilities do not
   # advertise, with a message that names the capability so it can be told
@@ -58,6 +60,16 @@ class ACP::RequestError
   # @rbs return: ACP::RequestError
   def self.unadvertised: (String capability) -> ACP::RequestError
 
+  # The invalid-params code for a request whose mode the client's
+  # capabilities do not advertise, with a message that names the mode so it
+  # can be told apart from malformed params. The spec gives elicitation a
+  # mode in its params, so an unadvertised one is invalid params rather than
+  # method not found.
+  #
+  # @rbs mode: String
+  # @rbs return: ACP::RequestError
+  def self.unadvertised_mode: (String mode) -> ACP::RequestError
+
   # @rbs return: ACP::RequestError
   def self.internal_error: () -> ACP::RequestError
 

data/sig/generated/acp/transport/stdio.rbs

@@ -62,6 +62,14 @@ class ACP::Transport::Stdio
   # @rbs return: void
   def route: (Hash[String, untyped] message, Hash[String, _Handler] requests, Hash[String, _NotificationHandler] notifications) -> void
 
+  # JSON-RPC 2.0 says an error reply echoes the request id whenever it can be
+  # detected; ids outside the spec's String/Number/Null types are not, so
+  # those replies keep id null.
+  #
+  # @rbs message: Hash[String, untyped]
+  # @rbs return: untyped
+  def detectable_id: (Hash[String, untyped] message) -> untyped
+
   # @rbs line: String
   # @rbs return: Hash[String, untyped] | ACP::RequestError
   def parse: (String line) -> (Hash[String, untyped] | ACP::RequestError)
@@ -69,8 +77,9 @@ class ACP::Transport::Stdio
   # @rbs handler: _Handler?
   # @rbs id: untyped
   # @rbs params: untyped
+  # @rbs method: String
   # @rbs return: void
-  def serve: (_Handler? handler, untyped id, untyped params) -> void
+  def serve: (_Handler? handler, untyped id, untyped params, String method) -> void
 
   # For code with no reply to carry an error: a notification handler, or a
   # Reply's after once the reply is on the wire. An exception must not kill
@@ -82,7 +91,9 @@ class ACP::Transport::Stdio
   def quietly: (String label) { () -> void } -> void
 
   # Handlers are application code at the protocol boundary: an exception
-  # becomes an error response instead of killing the thread serving it.
+  # becomes an error response instead of killing the thread serving it. The
+  # exception is only logged, not sent: its message can carry paths, SQL or
+  # anything else the handler interpolated, which must not reach the peer.
   #
   # @rbs handler: _Handler
   # @rbs params: untyped

data/sig/generated/acp/types.rbs

@@ -1,4 +1,147 @@
 # Generated from lib/acp/types.rb with RBS::Inline
 
 module ACP::Types
+  # Raised by the generated from_h when a param does not match its schema
+  # type; the connection boundaries rescue it into an invalid-params reply
+  # that names the failing path.
+  class ParseError < StandardError
+    @segments: Array[String | Integer]
+
+    @detail: String
+
+    # @rbs segments: Array[String | Integer]
+    # @rbs detail: String
+    # @rbs return: void
+    def initialize: (Array[String | Integer] segments, String detail) -> void
+
+    # @dynamic segments
+    attr_reader segments: Array[String | Integer]
+
+    # @rbs return: String
+    def path: () -> String
+
+    # Prepends a container's segments so nested failures report an absolute path.
+    #
+    # @rbs *segments: (String | Integer)
+    # @rbs return: ACP::Types::ParseError
+    def prefix: (*String | Integer segments) -> ACP::Types::ParseError
+  end
+
+  # The guards the generated from_h methods call. Each takes the fetched value
+  # and the path to it, and raises ParseError naming that path when the value
+  # does not match the schema type. Nested from_h failures come back with the
+  # field path prepended, so the reported path is absolute.
+  module Check
+    # @rbs hash: Hash[String, untyped]
+    # @rbs key: String
+    # @rbs return: untyped
+    def self.key: (Hash[String, untyped] hash, String key) -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.string: (untyped value, String | Array[String | Integer] path, ?allow_nil: bool, ?allow_unset: bool) -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.boolean: (untyped value, String | Array[String | Integer] path, ?allow_nil: bool, ?allow_unset: bool) -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.integer: (untyped value, String | Array[String | Integer] path, ?min: Integer?, ?max: Integer?, ?allow_nil: bool, ?allow_unset: bool) -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.number: (untyped value, String | Array[String | Integer] path, ?min: Integer?, ?max: Integer?, ?allow_nil: bool, ?allow_unset: bool) -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs values: Array[untyped]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.enum: (untyped value, String | Array[String | Integer] path, Array[untyped] values, ?allow_nil: bool, ?allow_unset: bool) -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs classes: Array[untyped]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs ?&items: (untyped, Array[String | Integer]) -> void
+    # @rbs return: untyped
+    def self.one_of: (untyped value, String | Array[String | Integer] path, Array[untyped] classes, ?allow_nil: bool, ?allow_unset: bool) ?{ (?) -> untyped } -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs &check: (untyped, Array[String | Integer]) -> void
+    # @rbs return: untyped
+    def self.hash: (untyped value, String | Array[String | Integer] path, ?allow_nil: bool, ?allow_unset: bool) { (untyped, Array[String | Integer]) -> void } -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs &check: (untyped, Array[String | Integer]) -> void
+    # @rbs return: untyped
+    def self.array: (untyped value, String | Array[String | Integer] path, ?allow_nil: bool, ?allow_unset: bool) { (untyped, Array[String | Integer]) -> void } -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs klass: untyped
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.object: (untyped value, String | Array[String | Integer] path, untyped klass, ?allow_nil: bool, ?allow_unset: bool) -> untyped
+
+    # @rbs value: untyped
+    # @rbs path: String | Array[String | Integer]
+    # @rbs klass: untyped
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: untyped
+    def self.objects: (untyped value, String | Array[String | Integer] path, untyped klass, ?allow_nil: bool, ?allow_unset: bool) -> untyped
+
+    # @rbs value: untyped
+    # @rbs allow_nil: bool
+    # @rbs allow_unset: bool
+    # @rbs return: bool
+    def self.skipped?: (untyped value, bool allow_nil, bool allow_unset) -> bool
+
+    # @rbs path: String | Array[String | Integer]
+    # @rbs return: Array[String | Integer]
+    def self.segments: (String | Array[String | Integer] path) -> Array[String | Integer]
+
+    # @rbs value: untyped
+    # @rbs return: String
+    def self.describe: (untyped value) -> String
+
+    # @rbs value: Numeric
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs return: bool
+    def self.within?: (Numeric value, Integer? min, Integer? max) -> bool
+
+    # @rbs name: String
+    # @rbs min: Integer?
+    # @rbs max: Integer?
+    # @rbs return: String
+    def self.bounded: (String name, Integer? min, Integer? max) -> String
+  end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: acp-sdk
 version: !ruby/object:Gem::Version
-  version: 0.6.0
+  version: 0.8.0
 platform: ruby
 authors:
 - Jake Bottrall