kobako 0.19.0 → 0.20.0

data/sig/kobako/context.rbs

@@ -0,0 +1,36 @@
+module Kobako
+  class Context
+    def initialize: (
+      runtime: Kobako::Runtime,
+      services: Kobako::Catalog::Services,
+      snippets: Kobako::Catalog::Snippets,
+      extensions: Kobako::Catalog::Extensions
+    ) -> void
+
+    def bind: (Symbol | String path, untyped object) -> self
+
+    def lookup: (Symbol | String path) -> untyped
+
+    def eval: (String code) ?{ (Kobako::Context) -> void } -> Kobako::Execution
+
+    def run: (Kobako::Transport::Run run_envelope) ?{ (Kobako::Context) -> void } -> Kobako::Execution
+
+    private
+
+    def collect_overrides: () { (Kobako::Context) -> void } -> void
+
+    def dispatch_handler: () -> ^(String, Kobako::Transport::_GuestYielder) -> String
+
+    def populate_observability!: (Kobako::Runtime::Snapshot snapshot) -> void
+
+    def trap_class_for: (Kobako::TrapError err) -> singleton(Kobako::TrapError)
+
+    def trap_error_for: (Kobako::Runtime::Snapshot snapshot, Symbol verb) -> Kobako::TrapError
+
+    def build_execution: (untyped value, failed: bool) -> Kobako::Execution
+
+    def settle_outcome: (Kobako::Runtime::Snapshot snapshot, Symbol verb) -> Kobako::Execution
+
+    def invoke!: (Symbol verb) { () -> Kobako::Runtime::Snapshot } -> Kobako::Execution
+  end
+end

data/sig/kobako/errors.rbs

@@ -2,7 +2,14 @@ module Kobako
   class Error < StandardError
   end
 
+  module CarriesExecution
+    attr_reader execution: Kobako::Execution?
+
+    def with_execution: (Kobako::Execution execution) -> self
+  end
+
   class TrapError < Error
+    include CarriesExecution
   end
 
   class TimeoutError < TrapError
@@ -17,7 +24,7 @@ module Kobako
   class ModuleNotBuiltError < SetupError
   end
 
-  module StructuredError : Error
+  module Diagnosable : Error
     attr_reader origin: String?
     attr_reader klass: String?
     attr_reader backtrace_lines: Array[String]?
@@ -33,11 +40,13 @@ module Kobako
   end
 
   class SandboxError < Error
-    include StructuredError
+    include Diagnosable
+    include CarriesExecution
   end
 
   class ServiceError < Error
-    include StructuredError
+    include Diagnosable
+    include CarriesExecution
   end
 
   class HandleExhaustedError < SandboxError

data/sig/kobako/execution.rbs

@@ -0,0 +1,24 @@
+module Kobako
+  class Execution
+    attr_reader value: untyped
+    attr_reader usage: Kobako::Usage
+
+    def initialize: (
+      value: untyped,
+      usage: Kobako::Usage,
+      stdout: Kobako::Capture,
+      stderr: Kobako::Capture,
+      failed: bool
+    ) -> void
+
+    def failed?: () -> bool
+
+    def stdout: () -> String
+
+    def stderr: () -> String
+
+    def stdout_truncated?: () -> bool
+
+    def stderr_truncated?: () -> bool
+  end
+end

data/sig/kobako/extension.rbs

@@ -11,10 +11,12 @@ module Kobako
 
     class Backend < Data
       attr_reader path: String
+      attr_reader object: untyped
       attr_reader provider: untyped
 
-      def self.new: (path: String, provider: untyped) -> Kobako::Extension::Backend
-                  | (String path, untyped provider) -> Kobako::Extension::Backend
+      def self.new: (path: String, ?object: untyped, ?provider: untyped) -> Kobako::Extension::Backend
+
+      def initialize: (path: String, ?object: untyped, ?provider: untyped) -> void
     end
   end
 end

data/sig/kobako/runtime.rbs

@@ -8,18 +8,23 @@ module Kobako
       Integer? memory_limit,
       Integer? stdout_limit_bytes,
       Integer? stderr_limit_bytes,
-      Symbol profile
+      Symbol profile,
+      Symbol gvl
     ) -> Runtime
 
-    def on_dispatch=: (^(String, Kobako::Transport::_GuestYielder) -> String dispatch_proc) -> void
+    def eval: (
+      ^(String, Kobako::Transport::_GuestYielder) -> String dispatch,
+      String preamble,
+      String source,
+      String snippets
+    ) -> Kobako::Runtime::Snapshot
 
-    def eval: (String preamble, String source, String snippets) -> String
-
-    def run: (String preamble, String snippets, String envelope) -> String
-
-    def usage: () -> [Float, Integer]
-
-    def captures: () -> [String, bool, String, bool]
+    def run: (
+      ^(String, Kobako::Transport::_GuestYielder) -> String dispatch,
+      String preamble,
+      String snippets,
+      String envelope
+    ) -> Kobako::Runtime::Snapshot
 
     def profile: () -> Symbol
 
@@ -29,5 +34,28 @@ module Kobako
     class GuestYielder
       def call: (String args_bytes) -> String
     end
+
+    # One invocation's result — the whole Snapshot the driver produced.
+    class Snapshot
+      def outcome: () -> String
+
+      def trapped?: () -> bool
+
+      def trap_kind: () -> Symbol?
+
+      def trap_message: () -> String?
+
+      def wall_time: () -> Float
+
+      def memory_peak: () -> Integer
+
+      def stdout: () -> String
+
+      def stdout_truncated?: () -> bool
+
+      def stderr: () -> String
+
+      def stderr_truncated?: () -> bool
+    end
   end
 end

data/sig/kobako/sandbox.rbs

@@ -11,6 +11,7 @@ module Kobako
     def stdout_limit: () -> Integer?
     def stderr_limit: () -> Integer?
     def profile: () -> Symbol
+    def gvl: () -> Symbol
 
     # Every keyword beyond wasm_path forwards verbatim to
     # SandboxOptions.new (the four caps + the profile floor).
@@ -19,43 +20,23 @@ module Kobako
       **untyped options
     ) -> void
 
-    def stdout: () -> String
-
-    def stderr: () -> String
-
-    def stdout_truncated?: () -> bool
-
-    def stderr_truncated?: () -> bool
-
-    attr_reader usage: Kobako::Usage
-
-    def bind: (Symbol | String path, untyped object) -> Kobako::Sandbox
+    def bind: (Symbol | String path, ?untyped object) -> Kobako::Sandbox
 
     def install: (*untyped extensions) -> Kobako::Sandbox
 
     def preload: (code: String, name: Symbol | String) -> Kobako::Sandbox
                | (binary: String) -> Kobako::Sandbox
 
-    def run: (Symbol | String target, *untyped args, **untyped kwargs) -> untyped
+    def run: (Symbol | String target, *untyped args, **untyped kwargs) ?{ (Kobako::Context) -> void } -> Kobako::Execution
 
-    def eval: (String code) -> untyped
-
-    def reset_invocation_state!: () -> void
+    def eval: (String code) ?{ (Kobako::Context) -> void } -> Kobako::Execution
 
     private
 
     def build_runtime!: () -> Kobako::Runtime
 
-    def install_dispatch_proc!: () -> void
+    def new_invocation: () -> Kobako::Context
 
     def begin_invocation!: () -> void
-
-    def read_usage!: () -> void
-
-    def read_captures!: () -> void
-
-    def trap_class_for: (Kobako::TrapError err) -> singleton(Kobako::TrapError)
-
-    def invoke!: (Symbol verb) { () -> String } -> untyped
   end
 end

data/sig/kobako/sandbox_options.rbs

@@ -5,19 +5,23 @@ module Kobako
     DEFAULT_OUTPUT_LIMIT: Integer
     DEFAULT_PROFILE: Symbol
     PROFILES: Array[Symbol]
+    GVL_MODES: Array[Symbol]
+    DEFAULT_GVL: Symbol
 
     attr_reader timeout: Float?
     attr_reader memory_limit: Integer?
     attr_reader stdout_limit: Integer?
     attr_reader stderr_limit: Integer?
     attr_reader profile: Symbol
+    attr_reader gvl: Symbol
 
     def self.new: (
       ?timeout: (Float | Integer)?,
       ?memory_limit: Integer?,
       ?stdout_limit: Integer?,
       ?stderr_limit: Integer?,
-      ?profile: Symbol
+      ?profile: Symbol,
+      ?gvl: Symbol
     ) -> SandboxOptions
 
     def initialize: (
@@ -25,7 +29,8 @@ module Kobako
       ?memory_limit: Integer?,
       ?stdout_limit: Integer?,
       ?stderr_limit: Integer?,
-      ?profile: Symbol
+      ?profile: Symbol,
+      ?gvl: Symbol
     ) -> void
 
     def enforce_floor!: (Symbol declared) -> void
@@ -39,5 +44,7 @@ module Kobako
     def normalize_output_limit: (Integer? limit, String name) -> Integer?
 
     def normalize_profile: (untyped profile) -> Symbol
+
+    def normalize_gvl: (untyped gvl) -> Symbol
   end
 end

data/sig/kobako/transport/dispatcher.rbs

@@ -12,7 +12,7 @@ module Kobako
 
       CALLABLE_ALLOW: Array[Symbol]
 
-      def self?.dispatch: (String request_bytes, Kobako::Transport::_ServiceRegistry services, Kobako::Codec::_HandleTable handler, Kobako::Transport::_GuestYielder yield_to_guest) -> String
+      def self?.dispatch: (String request_bytes, Kobako::Transport::_ServiceRegistry resolver, Kobako::Codec::_HandleTable handler, Kobako::Transport::_GuestYielder yield_to_guest) -> String
 
       def self?.resolve_call_args: (Kobako::Transport::Request request, Kobako::Codec::_HandleTable handler, bool carried_handle) -> [Array[untyped], Hash[Symbol, untyped]]
 
@@ -26,9 +26,9 @@ module Kobako
 
       def self?.resolve_arg: (untyped value, Kobako::Codec::_HandleTable handler) -> untyped
 
-      def self?.resolve_target: (String | Kobako::Handle target, Kobako::Transport::_ServiceRegistry services, Kobako::Codec::_HandleTable handler) -> untyped
+      def self?.resolve_target: (String | Kobako::Handle target, Kobako::Transport::_ServiceRegistry resolver, Kobako::Codec::_HandleTable handler) -> untyped
 
-      def self?.resolve_path: (String path, Kobako::Transport::_ServiceRegistry services) -> untyped
+      def self?.resolve_path: (String path, Kobako::Transport::_ServiceRegistry resolver) -> untyped
 
       def self?.require_live_object!: (Integer id, Kobako::Codec::_HandleTable handler) -> untyped
 

data/sig/kobako/unresolved.rbs

@@ -0,0 +1,4 @@
+module Kobako
+  module Unresolved
+  end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kobako
 version: !ruby/object:Gem::Version
-  version: 0.19.0
+  version: 0.20.0
 platform: ruby
 authors:
 - Aotokitsuruya
@@ -88,6 +88,7 @@ files:
 - ext/kobako/src/runtime.rs
 - ext/kobako/src/runtime/bridge.rs
 - ext/kobako/src/runtime/errors.rs
+- ext/kobako/src/runtime/gvl.rs
 - lib/kobako.rb
 - lib/kobako/capture.rb
 - lib/kobako/catalog.rb
@@ -103,7 +104,9 @@ files:
 - lib/kobako/codec/handle_walk.rb
 - lib/kobako/codec/state.rb
 - lib/kobako/codec/utils.rb
+- lib/kobako/context.rb
 - lib/kobako/errors.rb
+- lib/kobako/execution.rb
 - lib/kobako/extension.rb
 - lib/kobako/fault.rb
 - lib/kobako/handle.rb
@@ -124,6 +127,7 @@ files:
 - lib/kobako/transport/run.rb
 - lib/kobako/transport/yield.rb
 - lib/kobako/transport/yielder.rb
+- lib/kobako/unresolved.rb
 - lib/kobako/usage.rb
 - lib/kobako/version.rb
 - release-please-config.json
@@ -143,7 +147,9 @@ files:
 - sig/kobako/codec/handle_walk.rbs
 - sig/kobako/codec/state.rbs
 - sig/kobako/codec/utils.rbs
+- sig/kobako/context.rbs
 - sig/kobako/errors.rbs
+- sig/kobako/execution.rbs
 - sig/kobako/extension.rbs
 - sig/kobako/fault.rbs
 - sig/kobako/handle.rbs
@@ -164,6 +170,7 @@ files:
 - sig/kobako/transport/run.rbs
 - sig/kobako/transport/yield.rbs
 - sig/kobako/transport/yielder.rbs
+- sig/kobako/unresolved.rbs
 - sig/kobako/usage.rbs
 - sig/kobako/version.rbs
 homepage: https://github.com/elct9620/kobako