connectrpc 0.1.0

data/sig/connectrpc.rbs

@@ -0,0 +1,772 @@
+module ConnectRPC
+  VERSION: String
+  type idempotency = :unknown | :no_side_effects | :idempotent
+  type codec = :proto | :json
+  type server_protocol = :connect | :grpc | :grpc_web
+  type server_protocol_selection = server_protocol | :auto | Array[server_protocol]
+  type grpc_web_cardinality = :unary | :server_stream
+  type headers = Hash[String, Array[String]]
+  type metadata_input = Metadata | Hash[String, String | Array[String]]
+
+  # Tokens belong to the binding. Only schema facts or an application assertion
+  # associate them with instance types; the constructor cannot infer that link.
+  class Method[Req, Resp]
+    def initialize: (service: String, name: String, request_type: Object, response_type: Object, ?cardinality: :unary, ?idempotency: idempotency) -> void
+    attr_reader service: String
+    attr_reader name: String
+    attr_reader idempotency: idempotency
+    attr_reader path: String
+    attr_reader request_type: Object
+    attr_reader response_type: Object
+    def cardinality: () -> :unary
+  end
+
+  type declaration = Method[untyped, untyped] | ServerStreamMethod[untyped, untyped] | ClientStreamMethod[untyped, untyped] | BidiStreamMethod[untyped, untyped]
+  type streaming_cardinality = :server_stream | :client_stream | :bidi_stream
+
+  class Service
+    def initialize: (name: String, methods: Array[declaration]) -> void
+    attr_reader name: String
+    attr_reader methods: Array[declaration]
+  end
+
+  # Custom token-based codecs erase message identity at this boundary.
+  interface _Binding
+    def encode: (untyped message, type: Object, codec: codec) -> String
+    def decode: (String bytes, type: Object, codec: codec) -> untyped
+  end
+
+  interface _Transport
+    def call: (TransportRequest) -> TransportResponse
+  end
+
+  type cancellation_reason = :canceled | :deadline_exceeded
+
+  # Read-only transport/host cancellation SPI. Each call owns its arbitration.
+  interface _Cancellation
+    def cancelled?: () -> bool
+    def reason: () -> cancellation_reason?
+    def check!: () -> nil
+    def on_cancel: () { () -> void } -> CancellationRegistration
+  end
+
+  class CancellationSource
+    def initialize: () -> void
+    attr_reader token: CancellationToken
+    def cancel: () -> bool
+  end
+
+  class CancellationToken
+    def cancelled?: () -> bool
+    def reason: () -> (:canceled | nil)
+    def check!: () -> nil
+    def on_cancel: () { () -> void } -> CancellationRegistration
+  end
+
+  class CancellationRegistration
+    def unregister: () -> bool
+  end
+
+  interface _Input
+    def read: (Integer) -> String?
+  end
+
+  interface _Handler[Req, Resp]
+    def call: (Req, Context) -> Resp
+  end
+
+  interface _Subscriber
+    # Observers may implement any of attach, detach, processing_finished, finished.
+    # Ruby's optional structural methods are deliberately not required here.
+    def start: (Instrumentation::Call) -> Object?
+  end
+
+  class Instrumentation
+    type delivery = :unobserved | :body_closed | :response_finished | :completed | :aborted
+    type decision = :processed | :admission_rejected | :host_rejected
+    def initialize: (subscribers: Array[_Subscriber], ?on_error: (^(StandardError) -> void | _InstrumentationErrorHandler)?) -> void
+
+    class Call
+      def initialize: (role: :client | :server, protocol: :connect | :grpc | :grpc_web, method: declaration?, server_address: String?, server_port: Integer?, carrier: Hash[String, String | Array[String]]) -> void
+        | (:client | :server, :connect | :grpc | :grpc_web, declaration?, String?, Integer?, Hash[String, String | Array[String]]) -> void
+      attr_reader role: :client | :server
+      attr_reader protocol: :connect | :grpc | :grpc_web
+      attr_reader method: declaration?
+      attr_reader server_address: String?
+      attr_reader server_port: Integer?
+      attr_reader carrier: Hash[String, String | Array[String]]
+    end
+
+    class Outcome
+      def initialize: (code: String?, http_status: Integer?, error: Exception?, normalized_error: Exception?, duration: Float, request_bytes: Integer?, response_bytes: Integer?, request_metadata: headers, response_metadata: headers) -> void
+        | (String?, Integer?, Exception?, Exception?, Float, Integer?, Integer?, headers, headers) -> void
+      attr_reader code: String?
+      attr_reader http_status: Integer?
+      attr_reader error: Exception?
+      attr_reader normalized_error: Exception?
+      attr_reader duration: Float
+      attr_reader request_bytes: Integer?
+      attr_reader response_bytes: Integer?
+      attr_reader request_metadata: headers
+      attr_reader response_metadata: headers
+    end
+
+    class Completion
+      def initialize: (outcome: Outcome?, processing_state: :not_started | :running | :finished, decision: decision, delivery: delivery, error: Exception?, http_status: Integer?, duration: Float) -> void
+        | (Outcome?, :not_started | :running | :finished, decision, delivery, Exception?, Integer?, Float) -> void
+      attr_reader outcome: Outcome?
+      attr_reader processing_state: :not_started | :running | :finished
+      attr_reader decision: decision
+      attr_reader delivery: delivery
+      attr_reader error: Exception?
+      attr_reader http_status: Integer?
+      attr_reader duration: Float
+    end
+
+    class Handle
+      def record_failure: (Exception) -> nil
+      def host_rejected!: () -> bool
+      def host_rejected?: () -> bool
+      def activate: [T] () { () -> T } -> T
+      def finish: (delivery: delivery, ?error: Exception?, ?decision: decision, ?http_status: Integer?) -> nil
+    end
+  end
+
+  interface _Clock
+    def call: () -> Numeric
+  end
+
+  interface _Invoker
+    def call: (Method[untyped, untyped], untyped, Context) -> untyped
+  end
+
+  interface _InstrumentationErrorHandler
+    def call: (StandardError) -> void
+  end
+
+  interface _ObserverAttach
+    def attach: () -> Object?
+  end
+  interface _ObserverDetach
+    def detach: (Object?) -> void
+  end
+  interface _ObserverProcessingFinished
+    def processing_finished: (Instrumentation::Outcome) -> void
+  end
+  interface _ObserverFinished
+    def finished: (Instrumentation::Completion) -> void
+  end
+
+  module Bindings
+    class GoogleProtobuf
+      def encode_status: (Error) -> String
+      def decode_status: (String, code: Integer) -> Error
+      def initialize: () -> void
+      def encode: (untyped message, type: Object, codec: codec) -> String
+      def decode: (String bytes, type: Object, codec: codec) -> untyped
+    end
+  end
+
+  module Transports
+    class NetHTTP
+      def initialize: () -> void
+      def call: (TransportRequest) -> TransportResponse
+    end
+  end
+
+  class Client
+    def initialize: (base_url: String, binding: _Binding, ?transport: (_Transport | _StreamingTransport | _GRPCTransport)?, ?codec: codec, ?request_limit: Integer, ?response_limit: Integer, ?request_wire_limit: Integer, ?response_wire_limit: Integer, ?accept_encoding: Array[:identity | :gzip]?, ?use_get: bool, ?get_url_limit: Integer, ?protocol: :connect | :grpc, ?mode: :unary, ?encoding: :identity | :gzip, ?instrumentation: Instrumentation?, ?terminal_wire_limit: Integer, ?terminal_limit: Integer, ?status_codec: _GRPCStatusCodec?, ?grpc_status_wire_limit: Integer, ?grpc_status_limit: Integer) -> void
+    def call: [Req, Resp] (Method[Req, Resp], Req request, ?metadata: metadata_input, ?timeout: Numeric?, ?cancellation: CancellationToken?) -> Response[Resp]
+  end
+
+  class Server
+    # Generated .handlers checks each concrete callable before this heterogeneous
+    # registration map erases its individual request/response associations.
+    def initialize: (services: Array[Service], binding: _Binding, ?handlers: Hash[String, registered_handler], ?invoker: (^(Method[untyped, untyped], untyped, Context) -> untyped | _Invoker)?, ?request_limit: Integer, ?response_limit: Integer, ?request_wire_limit: Integer, ?response_wire_limit: Integer, ?protocol: server_protocol_selection, ?mode: :unary, ?encoding: :identity | :gzip, ?instrumentation: Instrumentation?, ?get_query_limit: Integer?, ?terminal_wire_limit: Integer, ?terminal_limit: Integer, ?status_codec: _GRPCStatusCodec?, ?grpc_status_wire_limit: Integer, ?grpc_status_limit: Integer, ?cors: GRPCWebCORS?) -> void
+    attr_reader services: Array[Service]
+    def handles?: (String path) -> bool
+    def start_call: (path: String, headers: headers, ?http_method: String) -> Instrumentation::Handle?
+    def call: (path: String, http_method: String, headers: headers, input: _Input?, ?query: String, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> TransportResponse
+  end
+
+  # Complete records retain precise readers; partial construction admits nil defaults.
+  interface _PartialResponse[M]
+    def message: () -> M
+    def message=: (M) -> M
+    def metadata: () -> Metadata?
+    def metadata=: (Metadata?) -> Metadata?
+    def trailers: () -> Metadata?
+    def trailers=: (Metadata?) -> Metadata?
+    def []: (:message | "message" | 0 | -3) -> M
+      | (:metadata | "metadata" | 1 | -2) -> Metadata?
+      | (:trailers | "trailers" | 2 | -1) -> Metadata?
+    def []=: (:message | "message" | 0 | -3, M) -> M
+      | (:metadata | "metadata" | 1 | -2, Metadata?) -> Metadata?
+      | (:trailers | "trailers" | 2 | -1, Metadata?) -> Metadata?
+    def to_h: () -> Hash[Symbol, M? | Metadata?]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[M? | Metadata?]
+    def values: () -> Array[M? | Metadata?]
+    def deconstruct: () -> Array[M? | Metadata?]
+    def each: () { (M | Metadata | nil) -> void } -> self
+            | () -> Enumerator[M | Metadata | nil, self]
+    def each_pair: () { ([Symbol, M | Metadata | nil]) -> void } -> self
+                 | () -> Enumerator[[Symbol, M | Metadata | nil], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, M | Metadata | nil]
+    def values_at: (*(Integer | Range[Integer])) -> Array[M | Metadata | nil | nil]
+
+  end
+
+  class Response[M]
+    def self.new: [T] (message: T, metadata: Metadata, trailers: Metadata) -> Response[T]
+      | [T] ({ message: T, metadata: Metadata, trailers: Metadata }) -> Response[T]
+      | [T] (message: T, ?metadata: Metadata?, ?trailers: Metadata?) -> _PartialResponse[T]
+      | [T] ({ message: T, ?metadata: Metadata?, ?trailers: Metadata? }) -> _PartialResponse[T]
+      | (?metadata: Metadata?, ?trailers: Metadata?) -> _PartialResponse[nil]
+      | ({ ?metadata: Metadata?, ?trailers: Metadata? }) -> _PartialResponse[nil]
+    def self.[]: [T] (message: T, metadata: Metadata, trailers: Metadata) -> Response[T]
+      | [T] ({ message: T, metadata: Metadata, trailers: Metadata }) -> Response[T]
+      | [T] (message: T, ?metadata: Metadata?, ?trailers: Metadata?) -> _PartialResponse[T]
+      | [T] ({ message: T, ?metadata: Metadata?, ?trailers: Metadata? }) -> _PartialResponse[T]
+      | (?metadata: Metadata?, ?trailers: Metadata?) -> _PartialResponse[nil]
+      | ({ ?metadata: Metadata?, ?trailers: Metadata? }) -> _PartialResponse[nil]
+    attr_accessor message: M
+    attr_accessor metadata: Metadata
+    attr_accessor trailers: Metadata
+    def []: (:message | "message" | 0 | -3) -> M
+      | (:metadata | "metadata" | 1 | -2) -> Metadata
+      | (:trailers | "trailers" | 2 | -1) -> Metadata
+    def []=: (:message | "message" | 0 | -3, M) -> M
+      | (:metadata | "metadata" | 1 | -2, Metadata) -> Metadata
+      | (:trailers | "trailers" | 2 | -1, Metadata) -> Metadata
+    def to_h: () -> Hash[Symbol, M | Metadata]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[M | Metadata]
+    def values: () -> Array[M | Metadata]
+    def deconstruct: () -> Array[M | Metadata]
+    def each: () { (M | Metadata) -> void } -> self
+            | () -> Enumerator[M | Metadata, self]
+    def each_pair: () { ([Symbol, M | Metadata]) -> void } -> self
+                 | () -> Enumerator[[Symbol, M | Metadata], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, M | Metadata]
+    def values_at: (*(Integer | Range[Integer])) -> Array[M | Metadata | nil]
+
+  end
+
+  interface _PartialTransportRequest
+    def url: () -> URI::Generic?
+    def url=: (URI::Generic?) -> URI::Generic?
+    def http_method: () -> String?
+    def http_method=: (String?) -> String?
+    def headers: () -> headers?
+    def headers=: (headers?) -> headers?
+    def body: () -> String?
+    def body=: (String?) -> String?
+    def response_limit: () -> Integer?
+    def response_limit=: (Integer?) -> Integer?
+    def deadline: () -> Deadline?
+    def deadline=: (Deadline?) -> Deadline?
+    def lifecycle: () -> Instrumentation::Handle?
+    def lifecycle=: (Instrumentation::Handle?) -> Instrumentation::Handle?
+    def cancellation: () -> _Cancellation?
+    def cancellation=: (_Cancellation?) -> _Cancellation?
+    def []: (:url | "url" | 0 | -8) -> URI::Generic?
+      | (:http_method | "http_method" | 1 | -7) -> String?
+      | (:headers | "headers" | 2 | -6) -> headers?
+      | (:body | "body" | 3 | -5) -> String?
+      | (:response_limit | "response_limit" | 4 | -4) -> Integer?
+      | (:deadline | "deadline" | 5 | -3) -> Deadline?
+      | (:lifecycle | "lifecycle" | 6 | -2) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 7 | -1) -> _Cancellation?
+    def []=: (:url | "url" | 0 | -8, URI::Generic?) -> URI::Generic?
+      | (:http_method | "http_method" | 1 | -7, String?) -> String?
+      | (:headers | "headers" | 2 | -6, headers?) -> headers?
+      | (:body | "body" | 3 | -5, String?) -> String?
+      | (:response_limit | "response_limit" | 4 | -4, Integer?) -> Integer?
+      | (:deadline | "deadline" | 5 | -3, Deadline?) -> Deadline?
+      | (:lifecycle | "lifecycle" | 6 | -2, Instrumentation::Handle?) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 7 | -1, _Cancellation?) -> _Cancellation?
+    def to_h: () -> Hash[Symbol, URI::Generic? | String? | headers? | Integer? | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[URI::Generic? | String? | headers? | Integer? | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def values: () -> Array[URI::Generic? | String? | headers? | Integer? | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def deconstruct: () -> Array[URI::Generic? | String? | headers? | Integer? | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def each: () { (URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil) -> void } -> self
+            | () -> Enumerator[URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil, self]
+    def each_pair: () { ([Symbol, URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil]) -> void } -> self
+                 | () -> Enumerator[[Symbol, URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil]
+    def values_at: (*(Integer | Range[Integer])) -> Array[URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil | nil]
+
+  end
+
+  class TransportRequest
+    def self.new: (url: URI::Generic, http_method: String, headers: headers, body: String, response_limit: Integer, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> TransportRequest
+      | ({ url: URI::Generic, http_method: String, headers: headers, body: String, response_limit: Integer, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> TransportRequest
+      | (?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?body: String?, ?response_limit: Integer?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> _PartialTransportRequest
+      | ({ ?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?body: String?, ?response_limit: Integer?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> _PartialTransportRequest
+    def self.[]: (url: URI::Generic, http_method: String, headers: headers, body: String, response_limit: Integer, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> TransportRequest
+      | ({ url: URI::Generic, http_method: String, headers: headers, body: String, response_limit: Integer, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> TransportRequest
+      | (?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?body: String?, ?response_limit: Integer?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> _PartialTransportRequest
+      | ({ ?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?body: String?, ?response_limit: Integer?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> _PartialTransportRequest
+    attr_accessor url: URI::Generic
+    attr_accessor http_method: String
+    attr_accessor headers: headers
+    attr_accessor body: String
+    attr_accessor response_limit: Integer
+    attr_accessor deadline: Deadline?
+    attr_accessor lifecycle: Instrumentation::Handle?
+    attr_accessor cancellation: _Cancellation?
+    def []: (:url | "url" | 0 | -8) -> URI::Generic
+      | (:http_method | "http_method" | 1 | -7) -> String
+      | (:headers | "headers" | 2 | -6) -> headers
+      | (:body | "body" | 3 | -5) -> String
+      | (:response_limit | "response_limit" | 4 | -4) -> Integer
+      | (:deadline | "deadline" | 5 | -3) -> Deadline?
+      | (:lifecycle | "lifecycle" | 6 | -2) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 7 | -1) -> _Cancellation?
+    def []=: (:url | "url" | 0 | -8, URI::Generic) -> URI::Generic
+      | (:http_method | "http_method" | 1 | -7, String) -> String
+      | (:headers | "headers" | 2 | -6, headers) -> headers
+      | (:body | "body" | 3 | -5, String) -> String
+      | (:response_limit | "response_limit" | 4 | -4, Integer) -> Integer
+      | (:deadline | "deadline" | 5 | -3, Deadline?) -> Deadline?
+      | (:lifecycle | "lifecycle" | 6 | -2, Instrumentation::Handle?) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 7 | -1, _Cancellation?) -> _Cancellation?
+    def to_h: () -> Hash[Symbol, URI::Generic | String | headers | Integer | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[URI::Generic | String | headers | Integer | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def values: () -> Array[URI::Generic | String | headers | Integer | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def deconstruct: () -> Array[URI::Generic | String | headers | Integer | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def each: () { (URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil) -> void } -> self
+            | () -> Enumerator[URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil, self]
+    def each_pair: () { ([Symbol, URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil]) -> void } -> self
+                 | () -> Enumerator[[Symbol, URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil]
+    def values_at: (*(Integer | Range[Integer])) -> Array[URI::Generic | String | headers | Integer | Deadline | Instrumentation::Handle | _Cancellation | nil | nil]
+
+  end
+
+  interface _PartialTransportResponse
+    def status: () -> Integer?
+    def status=: (Integer?) -> Integer?
+    def headers: () -> headers?
+    def headers=: (headers?) -> headers?
+    def body: () -> String?
+    def body=: (String?) -> String?
+    def []: (:status | "status" | 0 | -3) -> Integer?
+      | (:headers | "headers" | 1 | -2) -> headers?
+      | (:body | "body" | 2 | -1) -> String?
+    def []=: (:status | "status" | 0 | -3, Integer?) -> Integer?
+      | (:headers | "headers" | 1 | -2, headers?) -> headers?
+      | (:body | "body" | 2 | -1, String?) -> String?
+    def to_h: () -> Hash[Symbol, Integer? | headers? | String?]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[Integer? | headers? | String?]
+    def values: () -> Array[Integer? | headers? | String?]
+    def deconstruct: () -> Array[Integer? | headers? | String?]
+    def each: () { (Integer | headers | String | nil) -> void } -> self
+            | () -> Enumerator[Integer | headers | String | nil, self]
+    def each_pair: () { ([Symbol, Integer | headers | String | nil]) -> void } -> self
+                 | () -> Enumerator[[Symbol, Integer | headers | String | nil], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, Integer | headers | String | nil]
+    def values_at: (*(Integer | Range[Integer])) -> Array[Integer | headers | String | nil | nil]
+
+  end
+
+  class TransportResponse
+    def self.new: (status: Integer, headers: headers, body: String) -> TransportResponse
+      | ({ status: Integer, headers: headers, body: String }) -> TransportResponse
+      | (?status: Integer?, ?headers: headers?, ?body: String?) -> _PartialTransportResponse
+      | ({ ?status: Integer?, ?headers: headers?, ?body: String? }) -> _PartialTransportResponse
+    def self.[]: (status: Integer, headers: headers, body: String) -> TransportResponse
+      | ({ status: Integer, headers: headers, body: String }) -> TransportResponse
+      | (?status: Integer?, ?headers: headers?, ?body: String?) -> _PartialTransportResponse
+      | ({ ?status: Integer?, ?headers: headers?, ?body: String? }) -> _PartialTransportResponse
+    attr_accessor status: Integer
+    attr_accessor headers: headers
+    attr_accessor body: String
+    def []: (:status | "status" | 0 | -3) -> Integer
+      | (:headers | "headers" | 1 | -2) -> headers
+      | (:body | "body" | 2 | -1) -> String
+    def []=: (:status | "status" | 0 | -3, Integer) -> Integer
+      | (:headers | "headers" | 1 | -2, headers) -> headers
+      | (:body | "body" | 2 | -1, String) -> String
+    def to_h: () -> Hash[Symbol, Integer | headers | String]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[Integer | headers | String]
+    def values: () -> Array[Integer | headers | String]
+    def deconstruct: () -> Array[Integer | headers | String]
+    def each: () { (Integer | headers | String) -> void } -> self
+            | () -> Enumerator[Integer | headers | String, self]
+    def each_pair: () { ([Symbol, Integer | headers | String]) -> void } -> self
+                 | () -> Enumerator[[Symbol, Integer | headers | String], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, Integer | headers | String]
+    def values_at: (*(Integer | Range[Integer])) -> Array[Integer | headers | String | nil]
+
+  end
+
+  class Metadata
+    include Enumerable[[String, Array[String]]]
+    def initialize: (?metadata_input values) -> void
+    def self.reserved?: (String) -> bool
+    def self.encode_binary: (String) -> String
+    def self.decode_binary: (String) -> String
+    def []: (String key) -> Array[String]?
+    def []=: (String key, String | Array[String] entries) -> Array[String]
+    def add: (String key, String value) -> self
+    def add_binary: (String key, String bytes) -> self
+    def binary: (String key) -> Array[String]
+    def each: () { ([String, Array[String]]) -> void } -> headers
+            | () -> Enumerator[[String, Array[String]], headers]
+    def to_h: () -> headers
+  end
+
+  class Deadline
+    MAX_NATIVE_WAIT: Float
+    def initialize: (Numeric timeout, ?clock: ^() -> Numeric | _Clock) -> void
+    def remaining: () -> Numeric
+    def expired?: () -> bool
+    def native_timeout: () -> Numeric
+    def check!: () -> nil
+    def timeout_ms: () -> String
+  end
+
+  class Context
+    def initialize: (?request_metadata: metadata_input, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> void
+    attr_reader request_metadata: Metadata
+    attr_reader response_metadata: Metadata
+    attr_reader response_trailers: Metadata
+    attr_reader deadline: Deadline?
+    def record_failure: (Exception error) -> nil
+    def cancelled?: () -> bool
+    def check!: () -> nil
+    def cancellation_reason: () -> cancellation_reason?
+  end
+
+  class CodecError < StandardError
+  end
+
+  class ErrorDetail
+    def initialize: (type: String, value: String) -> void
+    attr_reader type: String
+    attr_reader value: String
+    def decode: (binding: _Binding, type: Object) -> untyped
+    def to_h: () -> Hash[String, String]
+  end
+
+  class Error < StandardError
+    def initialize: (String | Symbol code, ?String message, ?details: Array[ErrorDetail], ?metadata: metadata_input, ?trailers: metadata_input) -> void
+    attr_reader code: String
+    attr_reader details: Array[ErrorDetail]
+    attr_reader metadata: Metadata
+    attr_reader trailers: Metadata
+    def http_status: () -> Integer
+    def to_h: () -> Hash[String, String | Array[Hash[String, String]]]
+  end
+end
+
+module ConnectRPC
+
+  class StreamStateError < StandardError
+  end
+  class StreamNotConsumedError < StreamStateError
+  end
+
+  class StreamDeclaration[Req, Resp]
+    def initialize: (service: String, name: String, request_type: Object, response_type: Object, ?idempotency: idempotency) -> void
+    attr_reader service: String
+    attr_reader name: String
+    attr_reader idempotency: idempotency
+    attr_reader path: String
+    attr_reader request_type: Object
+    attr_reader response_type: Object
+  end
+  class ServerStreamMethod[Req, Resp] < StreamDeclaration[Req, Resp]
+    def cardinality: () -> :server_stream
+  end
+  class ClientStreamMethod[Req, Resp] < StreamDeclaration[Req, Resp]
+    def cardinality: () -> :client_stream
+  end
+  class BidiStreamMethod[Req, Resp] < StreamDeclaration[Req, Resp]
+    def cardinality: () -> :bidi_stream
+  end
+
+  interface _StreamingTransport
+    def respond_to?: (Symbol, ?bool) -> bool
+    def streaming_capabilities: () -> Array[streaming_cardinality]
+    def open_stream: [T] (StreamRequest) { (_StreamExchange) -> T } -> T
+  end
+  interface _StreamExchange
+    def response_head: (?timeout: Numeric?) -> StreamHead
+    def read: (Integer, ?timeout: Numeric?) -> String?
+    def write: (String) -> nil
+    def close_send: () -> nil
+    def finish: (?timeout: Numeric?) -> nil
+    def abort: () -> nil
+  end
+  interface _StreamingInput
+    def read: (Integer, ?timeout: Numeric?) -> String?
+  end
+  interface _StreamingOutput
+    def write: (String, ?timeout: Numeric?) -> nil
+    def abort: () -> nil
+  end
+  interface _PublishStreamHead
+    def call: (StreamHead) -> void
+  end
+
+  class StreamingContext < Context
+    def send_headers: (?metadata: metadata_input) -> nil
+  end
+  class ResponseReader[Resp]
+    def receive: () -> Resp?
+    def each: () { (Resp) -> void } -> nil
+    def headers: () -> Metadata
+    def trailers: () -> Metadata?
+    def abandon: () -> nil
+  end
+  class RequestWriter[Req]
+    def send_message: (Req) -> nil
+    def close_send: () -> nil
+    def abandon: () -> nil
+  end
+  class ClientDuplex[Req, Resp] < ResponseReader[Resp]
+    def send_message: (Req) -> nil
+    def close_send: () -> nil
+  end
+  class RequestReader[Req] < ResponseReader[Req]
+  end
+  class ResponseWriter[Resp]
+    def send_message: (Resp) -> nil
+    def send_headers: (?metadata: metadata_input) -> nil
+  end
+  class ServerDuplex[Req, Resp] < RequestReader[Req]
+    def send_message: (Resp) -> nil
+    def send_headers: (?metadata: metadata_input) -> nil
+  end
+
+  interface _ServerStreamHandler[Req, Resp]
+    def call: (Req, ResponseWriter[Resp], StreamingContext) -> void
+  end
+  interface _ClientStreamHandler[Req, Resp]
+    def call: (RequestReader[Req], StreamingContext) -> Resp
+  end
+  interface _BidiStreamHandler[Req, Resp]
+    def call: (ServerDuplex[Req, Resp], StreamingContext) -> void
+  end
+  type registered_handler = _Handler[untyped, untyped] | ^(untyped, Context) -> untyped
+    | _ServerStreamHandler[untyped, untyped] | ^(untyped, ResponseWriter[untyped], StreamingContext) -> void
+    | _ClientStreamHandler[untyped, untyped] | ^(RequestReader[untyped], StreamingContext) -> untyped
+    | _BidiStreamHandler[untyped, untyped] | ^(ServerDuplex[untyped, untyped], StreamingContext) -> void
+
+  class Client
+    def server_stream: [Req, Resp] (ServerStreamMethod[Req, Resp], Req, ?metadata: metadata_input, ?timeout: Numeric?, ?cancellation: CancellationToken?) { (ResponseReader[Resp]) -> void } -> nil
+    def client_stream: [Req, Resp] (ClientStreamMethod[Req, Resp], ?metadata: metadata_input, ?timeout: Numeric?, ?cancellation: CancellationToken?) { (RequestWriter[Req]) -> void } -> Response[Resp]
+    def bidi_stream: [Req, Resp] (BidiStreamMethod[Req, Resp], ?metadata: metadata_input, ?timeout: Numeric?, ?cancellation: CancellationToken?) { (ClientDuplex[Req, Resp]) -> void } -> nil
+  end
+  class Server
+    def call_stream: (path: String, http_method: String, headers: headers, input: _StreamingInput, output: _StreamingOutput, publish: _PublishStreamHead | ^(StreamHead) -> void, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?, ?http2: bool, ?capabilities: Array[streaming_cardinality]?) -> TransportResponse?
+  end
+  interface _PartialStreamRequest
+    def url: () -> URI::Generic?
+    def url=: (URI::Generic?) -> URI::Generic?
+    def http_method: () -> String?
+    def http_method=: (String?) -> String?
+    def headers: () -> headers?
+    def headers=: (headers?) -> headers?
+    def deadline: () -> Deadline?
+    def deadline=: (Deadline?) -> Deadline?
+    def lifecycle: () -> Instrumentation::Handle?
+    def lifecycle=: (Instrumentation::Handle?) -> Instrumentation::Handle?
+    def cancellation: () -> _Cancellation?
+    def cancellation=: (_Cancellation?) -> _Cancellation?
+    def []: (:url | "url" | 0 | -6) -> URI::Generic?
+      | (:http_method | "http_method" | 1 | -5) -> String?
+      | (:headers | "headers" | 2 | -4) -> headers?
+      | (:deadline | "deadline" | 3 | -3) -> Deadline?
+      | (:lifecycle | "lifecycle" | 4 | -2) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 5 | -1) -> _Cancellation?
+    def []=: (:url | "url" | 0 | -6, URI::Generic?) -> URI::Generic?
+      | (:http_method | "http_method" | 1 | -5, String?) -> String?
+      | (:headers | "headers" | 2 | -4, headers?) -> headers?
+      | (:deadline | "deadline" | 3 | -3, Deadline?) -> Deadline?
+      | (:lifecycle | "lifecycle" | 4 | -2, Instrumentation::Handle?) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 5 | -1, _Cancellation?) -> _Cancellation?
+    def to_h: () -> Hash[Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil]
+    def values: () -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil]
+    def deconstruct: () -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil]
+    def each: () { (URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil) -> void } -> self
+      | () -> Enumerator[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil, self]
+    def each_pair: () { ([Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil]) -> void } -> self
+      | () -> Enumerator[[Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil]
+    def values_at: (*(Integer | Range[Integer])) -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil | nil]
+  end
+  class StreamRequest
+    def self.new: (url: URI::Generic, http_method: String, headers: headers, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> StreamRequest
+      | ({ url: URI::Generic, http_method: String, headers: headers, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> StreamRequest
+      | (?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> _PartialStreamRequest
+      | ({ ?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> _PartialStreamRequest
+    def self.[]: (url: URI::Generic, http_method: String, headers: headers, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> StreamRequest
+      | ({ url: URI::Generic, http_method: String, headers: headers, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> StreamRequest
+      | (?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> _PartialStreamRequest
+      | ({ ?url: URI::Generic?, ?http_method: String?, ?headers: headers?, ?deadline: Deadline?, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation? }) -> _PartialStreamRequest
+    attr_accessor url: URI::Generic
+    attr_accessor http_method: String
+    attr_accessor headers: headers
+    attr_accessor deadline: Deadline?
+    attr_accessor lifecycle: Instrumentation::Handle?
+    attr_accessor cancellation: _Cancellation?
+    def []: (:url | "url" | 0 | -6) -> URI::Generic
+      | (:http_method | "http_method" | 1 | -5) -> String
+      | (:headers | "headers" | 2 | -4) -> headers
+      | (:deadline | "deadline" | 3 | -3) -> Deadline?
+      | (:lifecycle | "lifecycle" | 4 | -2) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 5 | -1) -> _Cancellation?
+    def []=: (:url | "url" | 0 | -6, URI::Generic) -> URI::Generic
+      | (:http_method | "http_method" | 1 | -5, String) -> String
+      | (:headers | "headers" | 2 | -4, headers) -> headers
+      | (:deadline | "deadline" | 3 | -3, Deadline?) -> Deadline?
+      | (:lifecycle | "lifecycle" | 4 | -2, Instrumentation::Handle?) -> Instrumentation::Handle?
+      | (:cancellation | "cancellation" | 5 | -1, _Cancellation?) -> _Cancellation?
+    def to_h: () -> Hash[Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def values: () -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def deconstruct: () -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def each: () { (URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?) -> void } -> self
+      | () -> Enumerator[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?, self]
+    def each_pair: () { ([Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?]) -> void } -> self
+      | () -> Enumerator[[Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation?]
+    def values_at: (*(Integer | Range[Integer])) -> Array[URI::Generic | String | headers | Deadline? | Instrumentation::Handle? | _Cancellation? | nil]
+  end
+  interface _PartialStreamHead
+    def status: () -> Integer?
+    def status=: (Integer?) -> Integer?
+    def headers: () -> headers?
+    def headers=: (headers?) -> headers?
+    def []: (:status | "status" | 0 | -2) -> Integer?
+      | (:headers | "headers" | 1 | -1) -> headers?
+    def []=: (:status | "status" | 0 | -2, Integer?) -> Integer?
+      | (:headers | "headers" | 1 | -1, headers?) -> headers?
+    def to_h: () -> Hash[Symbol, Integer | headers | nil]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[Integer | headers | nil]
+    def values: () -> Array[Integer | headers | nil]
+    def deconstruct: () -> Array[Integer | headers | nil]
+    def each: () { (Integer | headers | nil) -> void } -> self
+      | () -> Enumerator[Integer | headers | nil, self]
+    def each_pair: () { ([Symbol, Integer | headers | nil]) -> void } -> self
+      | () -> Enumerator[[Symbol, Integer | headers | nil], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, Integer | headers | nil]
+    def values_at: (*(Integer | Range[Integer])) -> Array[Integer | headers | nil | nil]
+  end
+  class StreamHead
+    def self.new: (status: Integer, headers: headers) -> StreamHead
+      | ({ status: Integer, headers: headers }) -> StreamHead
+      | (?status: Integer?, ?headers: headers?) -> _PartialStreamHead
+      | ({ ?status: Integer?, ?headers: headers? }) -> _PartialStreamHead
+    def self.[]: (status: Integer, headers: headers) -> StreamHead
+      | ({ status: Integer, headers: headers }) -> StreamHead
+      | (?status: Integer?, ?headers: headers?) -> _PartialStreamHead
+      | ({ ?status: Integer?, ?headers: headers? }) -> _PartialStreamHead
+    attr_accessor status: Integer
+    attr_accessor headers: headers
+    def []: (:status | "status" | 0 | -2) -> Integer
+      | (:headers | "headers" | 1 | -1) -> headers
+    def []=: (:status | "status" | 0 | -2, Integer) -> Integer
+      | (:headers | "headers" | 1 | -1, headers) -> headers
+    def to_h: () -> Hash[Symbol, Integer | headers]
+    def members: () -> Array[Symbol]
+    def size: () -> Integer
+    def length: () -> Integer
+    def to_a: () -> Array[Integer | headers]
+    def values: () -> Array[Integer | headers]
+    def deconstruct: () -> Array[Integer | headers]
+    def each: () { (Integer | headers) -> void } -> self
+      | () -> Enumerator[Integer | headers, self]
+    def each_pair: () { ([Symbol, Integer | headers]) -> void } -> self
+      | () -> Enumerator[[Symbol, Integer | headers], self]
+    def deconstruct_keys: (Array[Symbol]?) -> Hash[Symbol, Integer | headers]
+    def values_at: (*(Integer | Range[Integer])) -> Array[Integer | headers | nil]
+  end
+end
+
+module ConnectRPC
+  type grpc_cardinality = :unary | streaming_cardinality
+  interface _GRPCStatusCodec
+    def encode_status: (Error) -> String
+    def decode_status: (String, code: Integer) -> Error
+  end
+  interface _GRPCTransport
+    def grpc_capabilities: () -> Array[grpc_cardinality]
+    def open_grpc_stream: [T] (StreamRequest) { (_GRPCStreamExchange) -> T } -> T
+  end
+  interface _GRPCStreamExchange
+    def response_head: (?timeout: Numeric?) -> GRPCHead
+    def read: (Integer, ?timeout: Numeric?) -> String?
+    def write: (String) -> nil
+    def close_send: () -> nil
+    def response_trailers: () -> headers?
+    def finish: (?timeout: Numeric?) -> nil
+    def abort: () -> nil
+  end
+  interface _GRPCOutput
+    def write: (String, ?timeout: Numeric?) -> nil
+    def finish: (headers: headers) -> nil
+    def abort: () -> nil
+  end
+  interface _PublishGRPCHead
+    def call: (GRPCHead) -> void
+  end
+  class GRPCHead
+    def initialize: (status: Integer, headers: headers, end_stream: bool) -> void
+    attr_reader status: Integer
+    attr_reader headers: headers
+    attr_reader end_stream: bool
+  end
+  class Server
+    def call_grpc: (path: String, http_method: String, headers: headers, input: _StreamingInput, output: _GRPCOutput, publish: _PublishGRPCHead | ^(GRPCHead) -> void, ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?, ?http2: bool) -> TransportResponse?
+  end
+end
+
+module ConnectRPC
+  class GRPCWebCORS
+    def initialize: (origins: Array[String], ?credentials: bool, ?request_headers: Array[String], ?expose_headers: Array[String]) -> void
+    attr_reader origins: Array[String]
+    attr_reader credentials: bool
+    attr_reader request_headers: Array[String]
+    attr_reader expose_headers: Array[String]
+  end
+  interface _GRPCWebOutput
+    def write: (String, ?timeout: Numeric?) -> nil
+    def finish: (terminal: String) -> nil
+    def abort: () -> nil
+  end
+  class Server
+    def call_grpc_web: (path: String, http_method: String, headers: headers, input: _StreamingInput, output: _GRPCWebOutput, publish: _PublishStreamHead | ^(StreamHead) -> void, ?capabilities: Array[grpc_web_cardinality], ?lifecycle: Instrumentation::Handle?, ?cancellation: _Cancellation?) -> TransportResponse?
+    def cors_response: (path: String, http_method: String, headers: headers, ?response: TransportResponse?) -> TransportResponse?
+  end
+end