kobako 0.23.0 → 0.26.0

data/sig/kobako/codec/nesting.rbs

@@ -0,0 +1,9 @@
+module Kobako
+  module Codec
+    module Nesting
+      def self.assert_within_bound!: (untyped value, ?Integer depth) -> void
+
+      def self.assert_members_within_bound!: (Array[untyped] members, Integer depth) -> void
+    end
+  end
+end

data/sig/kobako/context.rbs

@@ -9,7 +9,7 @@ module Kobako
 
     def bind: (Symbol | String path, untyped object) -> self
 
-    def lookup: (Symbol | String path) -> untyped
+    def lookup: (Symbol | String path) -> Kobako::Transport::Exposure
 
     def eval: (String code) ?{ (Kobako::Context) -> void } -> Kobako::Execution
 

data/sig/kobako/transport/dispatcher.rbs

@@ -14,9 +14,9 @@ module Kobako
 
 
 
-      def self?.dispatch: (Kobako::Transport::Call call, Kobako::Transport::_ServiceRegistry resolver, Kobako::Codec::_HandleTable handler, Kobako::Transport::_GuestYielder yield_to_guest) -> [bool, String, String?]
+      def self?.dispatch: (Kobako::Transport::Call call, Kobako::Transport::_ServiceRegistry resolver, Kobako::Transport::_HandleTable handler, Kobako::Transport::_GuestYielder yield_to_guest) -> [bool, String, String?]
 
-      def self?.run: (Kobako::Transport::Call call, Kobako::Transport::_ServiceRegistry resolver, Kobako::Codec::_HandleTable handler, Kobako::Transport::Yielder? yielder) -> untyped
+      def self?.run: (Kobako::Transport::Call call, Kobako::Transport::_ServiceRegistry resolver, Kobako::Transport::_HandleTable handler, Kobako::Transport::Yielder? yielder) -> untyped
 
       def self?.resolve_call_args: (Kobako::Payload::Arguments arguments, Kobako::Codec::_HandleTable handler, bool carried_handle) -> [Array[untyped], Hash[Symbol, untyped]]
 
@@ -24,18 +24,18 @@ module Kobako
 
       def self?.caught_fault: (StandardError error, Kobako::Transport::Yielder? yielder) -> [String, String]
 
-      def self?.invoke: (untyped target, String method, Array[untyped] args, Hash[Symbol, untyped] kwargs, ?Kobako::Transport::Yielder? yielder) -> untyped
+      def self?.invoke: (Kobako::Transport::Exposure exposure, String method, Array[untyped] args, Hash[Symbol, untyped] kwargs, ?Kobako::Transport::Yielder? yielder) -> untyped
 
-      def self?.reject_unreachable!: (untyped target, Symbol name) -> void
+      def self?.reject_unreachable!: (Kobako::Transport::Exposure exposure, Symbol name) -> void
 
 
       def self?.resolve_arg: (untyped value, Kobako::Codec::_HandleTable handler) -> untyped
 
-      def self?.resolve_target: (String | Integer target, Kobako::Transport::_ServiceRegistry resolver, Kobako::Codec::_HandleTable handler) -> untyped
+      def self?.resolve_target: (String | Integer target, Kobako::Transport::_ServiceRegistry resolver, Kobako::Transport::_HandleTable handler) -> Kobako::Transport::Exposure
 
-      def self?.resolve_path: (String path, Kobako::Transport::_ServiceRegistry resolver) -> untyped
+      def self?.resolve_path: (String path, Kobako::Transport::_ServiceRegistry resolver) -> Kobako::Transport::Exposure
 
-      def self?.require_live_object!: (Integer id, Kobako::Codec::_HandleTable handler) -> untyped
+      def self?.resolve_handle: (Integer id, Kobako::Transport::_HandleTable handler) -> Kobako::Transport::Exposure
 
       def self?.encode_ok: (untyped value, Kobako::Codec::_HandleTable handler) -> String
 

data/sig/kobako/transport/exposure.rbs

@@ -0,0 +1,43 @@
+module Kobako
+  module Transport
+    class Exposure < Data
+      PREDICATE: Symbol
+      CLASS_OF: UnboundMethod
+      SINGLETON_CLASS_OF: UnboundMethod
+      SINGLETON_METHODS: UnboundMethod
+      PRIVATE_METHODS: UnboundMethod
+      CALLABLE: Set[Symbol]
+      NOTHING: Set[Symbol]
+
+      attr_reader object: untyped
+      attr_reader names: Set[Symbol]?
+
+      def self.new: (object: untyped, names: Set[Symbol]?) -> Exposure
+                  | (untyped, Set[Symbol]?) -> Exposure
+
+      def self.of: (untyped object, ?Hash[Module, Set[Symbol]] surfaces) -> Exposure
+
+      def initialize: (object: untyped, names: Set[Symbol]?) -> void
+
+      def with: (?object: untyped, ?names: Set[Symbol]?) -> Exposure
+
+      def ==: (untyped other) -> bool
+
+      def hash: () -> Integer
+
+      def exposes?: (Symbol name) -> bool
+
+      private
+
+      def self.narrows_itself?: (untyped object, Module klass) -> bool
+
+      def self.default_names: (untyped object, Module klass, Hash[Module, Set[Symbol]] surfaces) -> Set[Symbol]
+
+      def self.class_names: (untyped object, Module klass) -> Set[Symbol]
+
+      def self.with_singleton: (untyped object, Set[Symbol] names) -> Set[Symbol]
+
+      def self.authored: (Module owner) -> Array[Symbol]
+    end
+  end
+end

data/sig/kobako/transport/reflection.rbs

@@ -5,13 +5,11 @@ module Kobako
       GADGET_OWNERS: Array[Module]
       CALLABLE_ALLOW: Array[Symbol]
 
-      def self?.refusal: (untyped target, Symbol name) -> String?
+      def self?.refusal: (Kobako::Transport::Exposure exposure, Symbol name) -> String?
 
       def self?.ambient_refusal: (untyped target, Symbol name) -> String?
 
       def self?.ambient_owner?: (Module owner, untyped target) -> bool
-
-      def self?.narrowing_refusal: (untyped target, Symbol name) -> String?
     end
   end
 end

data/sig/kobako/transport.rbs

@@ -20,7 +20,17 @@ module Kobako
     # production conformer; modelled structurally so the Transport
     # layer needs no upward dependency on Catalog.
     interface _ServiceRegistry
-      def lookup: (String target) -> untyped
+      def lookup: (String target) -> Exposure
+    end
+
+    # The per-invocation Handle table as a dispatch reads it: the codec's
+    # allocate / restore pair, plus the Exposure a Handle was minted with,
+    # which authorizes a call made through it. Kobako::Catalog::Handles is
+    # the production conformer.
+    interface _HandleTable
+      include Kobako::Codec::_HandleTable
+
+      def exposure: (Integer id) -> Exposure
     end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kobako
 version: !ruby/object:Gem::Version
-  version: 0.23.0
+  version: 0.26.0
 platform: ruby
 authors:
 - Aotokitsuruya
@@ -117,6 +117,7 @@ files:
 - lib/kobako/codec/error.rb
 - lib/kobako/codec/ext_types.rb
 - lib/kobako/codec/handle_walk.rb
+- lib/kobako/codec/nesting.rb
 - lib/kobako/codec/state.rb
 - lib/kobako/codec/utils.rb
 - lib/kobako/context.rb
@@ -138,6 +139,7 @@ files:
 - lib/kobako/transport/call.rb
 - lib/kobako/transport/dispatcher.rb
 - lib/kobako/transport/error.rb
+- lib/kobako/transport/exposure.rb
 - lib/kobako/transport/reflection.rb
 - lib/kobako/transport/run.rb
 - lib/kobako/transport/yielder.rb
@@ -159,6 +161,7 @@ files:
 - sig/kobako/codec/error.rbs
 - sig/kobako/codec/ext_types.rbs
 - sig/kobako/codec/handle_walk.rbs
+- sig/kobako/codec/nesting.rbs
 - sig/kobako/codec/state.rbs
 - sig/kobako/codec/utils.rbs
 - sig/kobako/context.rbs
@@ -180,6 +183,7 @@ files:
 - sig/kobako/transport/call.rbs
 - sig/kobako/transport/dispatcher.rbs
 - sig/kobako/transport/error.rbs
+- sig/kobako/transport/exposure.rbs
 - sig/kobako/transport/reflection.rbs
 - sig/kobako/transport/run.rbs
 - sig/kobako/transport/yielder.rbs