acp-sdk 0.9.0 → 0.11.0

data/lib/acp/types.rb

@@ -1,251 +1,12 @@
 # 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
+  # Lives on ACP::Types rather than ACP::Types::Unstable because the callers
+  # run in the stable-only load, where even naming the inner module would raise
+  # NameError.
+  #
+  # @rbs return: bool
+  def self.unstable_enabled?
+    !defined?(ACP::Types::Unstable).nil?
   end
 end

data/lib/acp/version.rb

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

data/sig/generated/acp/agent_connection/client.rbs

@@ -1,14 +1,17 @@
 # Generated from lib/acp/agent_connection/client.rb with RBS::Inline
 
 class ACP::AgentConnection::Client
-  @peer: ACP::AgentConnection::_Peer
+  @mcp_advertised: bool
+
+  @peer: ACP::Transport::_Peer
 
   # @dynamic capabilities, capabilities=
   attr_accessor capabilities: ACP::Types::ClientCapabilities?
 
-  # @rbs peer: ACP::AgentConnection::_Peer
+  # @rbs peer: ACP::Transport::_Peer
+  # @rbs mcp_advertised: bool
   # @rbs return: void
-  def initialize: (peer: ACP::AgentConnection::_Peer) -> void
+  def initialize: (peer: ACP::Transport::_Peer, ?mcp_advertised: bool) -> void
 
   # @rbs session_id: String
   # @rbs update: ACP::Types::SessionUpdate::t
@@ -20,13 +23,18 @@ class ACP::AgentConnection::Client
   # @rbs return: void
   def available_commands: (String session_id, Array[ACP::Types::AvailableCommand] commands) -> void
 
-  # Blocks the calling thread until the client answers or the connection
-  # closes.
-  #
   # @rbs request: ACP::Types::RequestPermissionRequest
   # @rbs return: ACP::Types::RequestPermissionResponse | ACP::RequestError
   def request_permission: (ACP::Types::RequestPermissionRequest request) -> (ACP::Types::RequestPermissionResponse | ACP::RequestError)
 
+  # @rbs return: void
+  def cancel_requests: () -> void
+
+  # Always false off a handler thread.
+  #
+  # @rbs return: bool
+  def cancelled?: () -> bool
+
   # @rbs request: ACP::Types::ReadTextFileRequest
   # @rbs return: ACP::Types::ReadTextFileResponse | ACP::RequestError
   def read_text_file: (ACP::Types::ReadTextFileRequest request) -> (ACP::Types::ReadTextFileResponse | ACP::RequestError)
@@ -63,9 +71,11 @@ class ACP::AgentConnection::Client
   # @rbs return: void
   def complete_elicitation: (ACP::Types::CompleteElicitationNotification notification) -> void
 
-  # Sends an extension request, keyed by its raw `_`-prefixed wire name, and
-  # returns the client's reply as-is: extension methods have no schema to
-  # parse the result into.
+  # @rbs request: ACP::Types::Unstable::MessageMcpRequest
+  # @rbs return: (ACP::Types::Unstable::MessageMcpResponse::t | ACP::RequestError)
+  def mcp_message: (ACP::Types::Unstable::MessageMcpRequest request) -> (ACP::Types::Unstable::MessageMcpResponse::t | ACP::RequestError)
+
+  # Extension methods have no schema to parse the result into.
   #
   # @rbs method: String
   # @rbs params: untyped
@@ -80,14 +90,14 @@ class ACP::AgentConnection::Client
   private
 
   # @rbs rpc_method: String
-  # @rbs type: ACP::AgentConnection::_Parser
-  # @rbs request: ACP::AgentConnection::_Response
+  # @rbs type: ACP::Transport::_Parser
+  # @rbs request: ACP::Transport::_Response
   # @rbs return: untyped
-  def call: (String rpc_method, ACP::AgentConnection::_Parser type, ACP::AgentConnection::_Response request) -> untyped
+  def call: (String rpc_method, ACP::Transport::_Parser type, ACP::Transport::_Response request) -> untyped
 
   # @rbs rpc_method: String
-  # @rbs type: ACP::AgentConnection::_Parser
-  # @rbs request: ACP::AgentConnection::_Response
+  # @rbs type: ACP::Transport::_Parser
+  # @rbs request: ACP::Transport::_Response
   # @rbs return: untyped
-  def terminal_call: (String rpc_method, ACP::AgentConnection::_Parser type, ACP::AgentConnection::_Response request) -> untyped
+  def terminal_call: (String rpc_method, ACP::Transport::_Parser type, ACP::Transport::_Response request) -> untyped
 end

data/sig/generated/acp/agent_connection/optional_method/spec.rbs

@@ -0,0 +1,32 @@
+# Generated from lib/acp/agent_connection/optional_method/spec.rb with RBS::Inline
+
+class ACP::AgentConnection::OptionalMethod::Spec
+  # @dynamic rpc_method
+  attr_reader rpc_method: String
+
+  # @dynamic agent_method
+  attr_reader agent_method: Symbol
+
+  # @dynamic path
+  attr_reader path: Array[Symbol]
+
+  # @rbs rpc_method: String
+  # @rbs agent_method: Symbol
+  # @rbs path: Array[Symbol]
+  # @rbs return: void
+  def initialize: (rpc_method: String, agent_method: Symbol, path: Array[Symbol]) -> void
+
+  # Readers missing along the chain count as unadvertised, so the stable
+  # capabilities answer false for the unstable-only paths (fork, providers).
+  #
+  # @rbs initialize_response: ACP::Types::InitializeResponse
+  # @rbs return: bool
+  def advertised?: (ACP::Types::InitializeResponse initialize_response) -> bool
+
+  private
+
+  # @rbs node: untyped
+  # @rbs name: Symbol
+  # @rbs return: untyped
+  def follow: (untyped node, Symbol name) -> untyped
+end

data/sig/generated/acp/agent_connection/optional_method.rbs

@@ -1,4 +1,7 @@
 # Generated from lib/acp/agent_connection/optional_method.rb with RBS::Inline
 
 module ACP::AgentConnection::OptionalMethod
+  SPECS: Array[Spec]
+
+  UNSTABLE_SPECS: Array[Spec]
 end

data/sig/generated/acp/agent_connection.rbs

@@ -15,18 +15,14 @@ class ACP::AgentConnection
 
   @capabilities: ACP::Types::AgentCapabilities
 
-  @transport: ACP::AgentConnection::_Transport
-
-  PROTOCOL_VERSION: Integer
-
-  OPTIONAL: Array[ACP::AgentConnection::_OptionalMethod]
+  @transport: ACP::Transport::_Transport
 
   # The schema has no initialize capability for modes or config options: an
   # agent offers them per session, in its session responses, so they are
   # routed whenever the agent defines them.
   PER_SESSION: Hash[String, Symbol]
 
-  # @rbs transport: ACP::AgentConnection::_Transport
+  # @rbs transport: ACP::Transport::_Transport
   # @rbs capabilities: ACP::Types::AgentCapabilities
   # @rbs agent_info: ACP::Types::Implementation?
   # @rbs auth_methods: Array[ACP::Types::AuthMethod::t]
@@ -35,7 +31,7 @@ class ACP::AgentConnection
   # @rbs logger: ACP::Transport::_Logger
   # @rbs &factory: (ACP::AgentConnection::Client) -> ACP::AgentConnection::_Agent
   # @rbs return: void
-  def initialize: (transport: ACP::AgentConnection::_Transport, capabilities: ACP::Types::AgentCapabilities, ?agent_info: ACP::Types::Implementation?, ?auth_methods: Array[ACP::Types::AuthMethod::t], ?extension_requests: Hash[String, ^(untyped) -> untyped], ?extension_notifications: Hash[String, ^(untyped) -> void], ?logger: ACP::Transport::_Logger) { (ACP::AgentConnection::Client) -> ACP::AgentConnection::_Agent } -> void
+  def initialize: (transport: ACP::Transport::_Transport, capabilities: ACP::Types::AgentCapabilities, ?agent_info: ACP::Types::Implementation?, ?auth_methods: Array[ACP::Types::AuthMethod::t], ?extension_requests: Hash[String, ^(untyped) -> untyped], ?extension_notifications: Hash[String, ^(untyped) -> void], ?logger: ACP::Transport::_Logger) { (ACP::AgentConnection::Client) -> ACP::AgentConnection::_Agent } -> void
 
   # @rbs return: Thread
   def start: () -> Thread
@@ -44,8 +40,23 @@ class ACP::AgentConnection
 
   # @rbs agent: ACP::AgentConnection::_Agent
   # @rbs client: ACP::AgentConnection::Client
-  # @rbs return: Hash[String, ^(untyped) -> (ACP::AgentConnection::_Response | ACP::RequestError | ACP::Transport::Reply)]
-  def requests: (ACP::AgentConnection::_Agent agent, ACP::AgentConnection::Client client) -> Hash[String, ^(untyped) -> (ACP::AgentConnection::_Response | ACP::RequestError | ACP::Transport::Reply)]
+  # @rbs return: Hash[String, ^(untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply)]
+  def requests: (ACP::AgentConnection::_Agent agent, ACP::AgentConnection::Client client) -> Hash[String, ^(untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply)]
+
+  # The unstable request types are referenced while the hash is built, so
+  # without the guard start would raise NameError even for an agent that never
+  # advertises fork or providers.
+  #
+  # @rbs full: ACP::AgentConnection::_FullAgent
+  # @rbs return: Hash[String, ^(untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply)]
+  def unstable_requests: (ACP::AgentConnection::_FullAgent full) -> Hash[String, ^(untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply)]
+
+  # The unstable specs pair with the unstable request routes, which reference
+  # the unstable request classes, so both are only probed after the caller
+  # opted in with `require 'acp/types/unstable'`.
+  #
+  # @rbs return: Array[ACP::AgentConnection::OptionalMethod::Spec]
+  def optional_methods: () -> Array[ACP::AgentConnection::OptionalMethod::Spec]
 
   # @rbs agent: ACP::AgentConnection::_Agent
   # @rbs return: Hash[String, ^(untyped) -> void]
@@ -58,12 +69,22 @@ class ACP::AgentConnection
   # @rbs return: void
   def cancel: (ACP::AgentConnection::_Agent agent, untyped params) -> void
 
+  # @rbs return: bool
+  def mcp_acp_advertised?: () -> bool
+
+  # A notification has no reply to carry a parse failure.
+  #
+  # @rbs agent: ACP::AgentConnection::_Agent
+  # @rbs params: untyped
+  # @rbs return: void
+  def mcp_message_notification: (ACP::AgentConnection::_Agent agent, untyped params) -> void
+
   # Generated from_h raises on a missing key or a value of the wrong shape.
   #
-  # @rbs type: ACP::AgentConnection::_Parser
-  # @rbs &handle: (untyped) -> (ACP::AgentConnection::_Response | ACP::RequestError | ACP::Transport::Reply)
-  # @rbs return: ^(untyped) -> (ACP::AgentConnection::_Response | ACP::RequestError | ACP::Transport::Reply)
-  def route: (ACP::AgentConnection::_Parser type) { (untyped) -> (ACP::AgentConnection::_Response | ACP::RequestError | ACP::Transport::Reply) } -> ^(untyped) -> (ACP::AgentConnection::_Response | ACP::RequestError | ACP::Transport::Reply)
+  # @rbs type: ACP::Transport::_Parser
+  # @rbs &handle: (untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply)
+  # @rbs return: ^(untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply)
+  def route: (ACP::Transport::_Parser type) { (untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply) } -> ^(untyped) -> (ACP::Transport::_Response | ACP::RequestError | ACP::Transport::Reply)
 
   # @rbs client: ACP::AgentConnection::Client
   # @rbs request: ACP::Types::InitializeRequest

data/sig/generated/acp/agent_process.rbs

@@ -1,7 +1,5 @@
 # Generated from lib/acp/agent_process.rb with RBS::Inline
 
-# A child agent process and the ACP::ClientConnection wired to its stdio.
-# Spawn one with ACP::AgentProcess.spawn.
 class ACP::AgentProcess
   @stderr: String?
 
@@ -27,16 +25,9 @@ class ACP::AgentProcess
   # @dynamic connection
   attr_reader connection: ACP::ClientConnection
 
-  # Child stderr captured when spawn was given stderr: :capture, else nil.
-  #
   # @dynamic stderr
   attr_reader stderr: String?
 
-  # Starts a command with args, env and cwd, wires its stdio to a new
-  # ACP::ClientConnection and starts it. With a block, yields the connection
-  # and this process, then terminates the child when the block exits; without
-  # one, returns the process and terminate is the caller's job.
-  #
   # @rbs command: String
   # @rbs *args: String
   # @rbs env: Hash[String, String]?
@@ -48,10 +39,6 @@ class ACP::AgentProcess
   # @rbs return: (untyped | ACP::AgentProcess)
   def self.spawn: (String command, *String args, permission: ACP::ClientConnection::_PermissionHandler, ?env: Hash[String, String]?, ?cwd: String?, ?stderr: :inherit | :capture, ?updates: ACP::ClientConnection::_UpdateHandler) ?{ (ACP::ClientConnection, ACP::AgentProcess) -> untyped } -> (untyped | ACP::AgentProcess)
 
-  # Closes stdin, waits for the child to exit — sending TERM and then KILL if
-  # it will not — and joins the transport reader before closing the pipe it
-  # reads.
-  #
   # @rbs return: void
   def terminate: () -> void
 

data/sig/generated/acp/client_connection/streams.rbs

@@ -0,0 +1,94 @@
+# Generated from lib/acp/client_connection/streams.rb with RBS::Inline
+
+# It holds no send facade of its own — requests go through the sender and
+# answers to the agent ride the connection's routes — so it is unit-testable
+# without a transport.
+class ACP::ClientConnection::Streams
+  CANCELLED: ACP::Types::RequestPermissionResponse
+
+  @outstanding_elicitations: Hash[String, bool]
+
+  @pending_permissions: Hash[String, Array[Thread::Queue]]
+
+  @streams: Hash[String, Thread::Queue]
+
+  @lock: Thread::Mutex
+
+  @logger: ACP::Transport::_Logger
+
+  @complete_elicitation: (^(ACP::Types::CompleteElicitationNotification) -> void)?
+
+  @updates: ACP::ClientConnection::_UpdateHandler
+
+  @permission: ACP::ClientConnection::_PermissionHandler
+
+  @sender: ACP::ClientConnection::Streams::_Sender
+
+  # @rbs sender: ACP::ClientConnection::Streams::_Sender
+  # @rbs permission: ACP::ClientConnection::_PermissionHandler
+  # @rbs updates: ACP::ClientConnection::_UpdateHandler
+  # @rbs logger: ACP::Transport::_Logger
+  # @rbs complete_elicitation: (^(ACP::Types::CompleteElicitationNotification) -> void)?
+  # @rbs return: void
+  def initialize: (sender: ACP::ClientConnection::Streams::_Sender, permission: ACP::ClientConnection::_PermissionHandler, updates: ACP::ClientConnection::_UpdateHandler, logger: ACP::Transport::_Logger, ?complete_elicitation: (^(ACP::Types::CompleteElicitationNotification) -> void)?) -> void
+
+  # The request waits on its own thread so the caller's thread can yield each
+  # update as it arrives. The reader thread queues an update before it settles
+  # a reply sent after it, so the queue closes only after the last one.
+  #
+  # @rbs session_id: String
+  # @rbs method: String
+  # @rbs params: Hash[String, untyped]
+  # @rbs &block: (ACP::Types::SessionUpdate::t) -> void
+  # @rbs return: (Hash[String, untyped] | ACP::RequestError)
+  def stream: (String session_id, String method, Hash[String, untyped] params) { (ACP::Types::SessionUpdate::t) -> void } -> (Hash[String, untyped] | ACP::RequestError)
+
+  # Pushes under the lock so a stream cannot close its queue between the
+  # lookup and the push. A malformed notification has no reply to carry the
+  # failure.
+  #
+  # @rbs params: untyped
+  # @rbs return: void
+  def dispatch: (untyped params) -> void
+
+  # The handler runs on its own thread so a cancelled request is answered
+  # without waiting for it, and whatever it returns after that is pushed to a
+  # queue nobody reads.
+  #
+  # @rbs params: untyped
+  # @rbs return: (ACP::Types::RequestPermissionResponse | ACP::RequestError)
+  def request_permission: (untyped params) -> (ACP::Types::RequestPermissionResponse | ACP::RequestError)
+
+  # The spec requires a pending session/request_permission to be answered with
+  # the cancelled outcome once the turn is cancelled, so every queue registered
+  # for the session gets one before this returns.
+  #
+  # @rbs session_id: String
+  # @rbs return: void
+  def cancel: (String session_id) -> void
+
+  # @rbs elicitation_id: String
+  # @rbs return: void
+  def register_elicitation: (String elicitation_id) -> void
+
+  # 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
+
+  private
+
+  # @rbs session_id: String
+  # @rbs replies: Thread::Queue
+  # @rbs return: void
+  def register_permission: (String session_id, Thread::Queue replies) -> void
+
+  # @rbs session_id: String
+  # @rbs replies: Thread::Queue
+  # @rbs return: void
+  def unregister_permission: (String session_id, Thread::Queue replies) -> void
+end