kobako 0.4.0 → 0.5.0

data/sig/kobako/errors.rbs

@@ -11,6 +11,12 @@ module Kobako
   class MemoryLimitError < TrapError
   end
 
+  class SetupError < Error
+  end
+
+  class ModuleNotBuiltError < SetupError
+  end
+
   class SandboxError < Error
     attr_reader origin: String?
     attr_reader klass: String?
@@ -39,15 +45,9 @@ module Kobako
       ?backtrace_lines: Array[String]?,
       ?details: untyped
     ) -> void
-
-    class Disconnected < ServiceError
-    end
-  end
-
-  class HandleTableError < SandboxError
   end
 
-  class HandleTableExhausted < HandleTableError
+  class HandlerExhaustedError < SandboxError
   end
 
   class BytecodeError < SandboxError

data/sig/kobako/fault.rbs

@@ -0,0 +1,19 @@
+module Kobako
+  class Fault < Data
+    VALID_TYPES: Array[String]
+
+    attr_reader type: String
+    attr_reader message: String
+    attr_reader details: untyped
+
+    def self.new: (type: String, message: String, ?details: untyped) -> Fault
+
+    def initialize: (type: String, message: String, ?details: untyped) -> void
+
+    def with: (?type: String, ?message: String, ?details: untyped) -> Fault
+
+    def ==: (untyped other) -> bool
+
+    def hash: () -> Integer
+  end
+end

data/sig/kobako/handle.rbs

@@ -5,10 +5,9 @@ module Kobako
 
     attr_reader id: Integer
 
-    def initialize: (Integer id) -> void
-                  | (id: Integer) -> void
+    def initialize: (id: Integer) -> void
 
-    def self.from_wire: (Integer id) -> Handle
+    def self.restore: (Integer id) -> Handle
 
     def with: (?id: Integer) -> Handle
 

data/sig/kobako/namespace.rbs

@@ -0,0 +1,19 @@
+module Kobako
+  class Namespace
+    NAME_PATTERN: Regexp
+
+    attr_reader name: String
+
+    def initialize: (String name) -> void
+
+    def bind: (Symbol | String member, untyped object) -> self
+
+    def fetch: (Symbol | String member) -> untyped
+
+    def to_preamble: () -> [String, Array[String]]
+
+    private
+
+    def validate_member_name!: (Symbol | String member) -> String
+  end
+end

data/sig/kobako/outcome.rbs

@@ -13,12 +13,12 @@ module Kobako
 
     def self?.decode_panic: (String body) -> void
 
-    def self?.parse_panic: (String body) -> Panic
+    def self?.build_panic_record: (String body) -> Panic
 
     def self?.build_panic_error: (Panic panic) -> (SandboxError | ServiceError)
 
     def self?.panic_target_class: (Panic panic) -> (singleton(SandboxError) | singleton(ServiceError))
 
-    def self?.build_wire_violation_error: (String message, ?wire_error: String?) -> RPC::WireError
+    def self?.build_transport_error: (String message, ?detail: String?) -> Transport::Error
   end
 end

data/sig/kobako/runtime.rbs

@@ -0,0 +1,23 @@
+module Kobako
+  class Runtime
+    def self.default_path: () -> String
+
+    def self.from_path: (
+      String path,
+      (Float | Integer)? timeout_seconds,
+      Integer? memory_limit,
+      Integer? stdout_limit_bytes,
+      Integer? stderr_limit_bytes
+    ) -> Runtime
+
+    def on_dispatch=: (^(String) -> String dispatch_proc) -> void
+
+    def yield_to_active_invocation: (String args_bytes) -> String
+
+    def eval: (String preamble, String source, String snippets) -> Kobako::Snapshot
+
+    def run: (String preamble, String snippets, String envelope) -> Kobako::Snapshot
+
+    def usage: () -> [Float, Integer]
+  end
+end

data/sig/kobako/sandbox.rbs

@@ -3,10 +3,7 @@ module Kobako
     extend Forwardable
 
     attr_reader wasm_path: String
-    attr_reader instance: Kobako::Wasm::Instance
     attr_reader options: Kobako::SandboxOptions
-    attr_reader services: Kobako::RPC::Server
-    attr_reader snippets: Kobako::Snippet::Table
 
     # Forwarded to @options via Forwardable#def_delegators.
     def timeout: () -> Float?
@@ -32,7 +29,7 @@ module Kobako
 
     attr_reader usage: Kobako::Usage
 
-    def define: (Symbol | String name) -> Kobako::RPC::Namespace
+    def define: (Symbol | String name) -> Kobako::Namespace
 
     def preload: (code: String, name: Symbol | String) -> Kobako::Sandbox
                | (binary: String) -> Kobako::Sandbox
@@ -43,16 +40,16 @@ module Kobako
 
     private
 
+    def install_dispatch_proc!: () -> void
+
     def reset_invocation_state!: () -> void
 
     def begin_invocation!: () -> void
 
-    def read_captures!: () -> void
-
     def read_usage!: () -> void
 
-    def trap_class_for: (Kobako::Wasm::Error err) -> singleton(Kobako::TrapError)
+    def trap_class_for: (Kobako::TrapError err) -> singleton(Kobako::TrapError)
 
-    def invoke!: (Symbol verb) { () -> void } -> untyped
+    def invoke!: (Symbol verb) { () -> Kobako::Snapshot } -> untyped
   end
 end

data/sig/kobako/snapshot.rbs

@@ -0,0 +1,15 @@
+module Kobako
+  class Snapshot
+    def return_bytes: () -> String
+    def stdout_bytes: () -> String
+    def stdout_truncated: () -> bool
+    def stderr_bytes: () -> String
+    def stderr_truncated: () -> bool
+    def wall_time: () -> Float
+    def memory_peak: () -> Integer
+
+    def stdout: () -> Kobako::Capture
+    def stderr: () -> Kobako::Capture
+    def usage: () -> Kobako::Usage
+  end
+end

data/sig/kobako/transport/dispatcher.rbs

@@ -0,0 +1,34 @@
+module Kobako
+  module Transport
+    module Dispatcher
+      class UndefinedTargetError < StandardError
+      end
+
+      BREAK_THROW: Symbol
+
+      def self?.dispatch: (String request_bytes, Kobako::Catalog::Namespaces namespaces, Kobako::Catalog::Handles handler, ^(String) -> String yield_to_guest) -> String
+
+      def self?.resolve_call_args: (Kobako::Transport::Request request, Kobako::Catalog::Handles handler) -> [Array[untyped], Hash[Symbol, untyped]]
+
+      def self?.encode_caught_error: (StandardError error) -> String
+
+      def self?.invoke: (untyped target, String method, Array[untyped] args, Hash[Symbol, untyped] kwargs, ?Kobako::Transport::Yielder? yielder) -> untyped
+
+      def self?.resolve_arg: (untyped value, Kobako::Catalog::Handles handler) -> untyped
+
+      def self?.resolve_target: (String | Kobako::Handle target, Kobako::Catalog::Namespaces namespaces, Kobako::Catalog::Handles handler) -> untyped
+
+      def self?.resolve_path: (String path, Kobako::Catalog::Namespaces namespaces) -> untyped
+
+      def self?.resolve_handle: (Kobako::Handle handle, Kobako::Catalog::Handles handler) -> untyped
+
+      def self?.require_live_object!: (Integer id, Kobako::Catalog::Handles handler) -> untyped
+
+      def self?.encode_ok: (untyped value, Kobako::Catalog::Handles handler) -> String
+
+      def self?.wrap_as_handle: (untyped value, Kobako::Catalog::Handles handler) -> Kobako::Handle
+
+      def self?.encode_error: (String type, String message) -> String
+    end
+  end
+end

data/sig/kobako/transport/error.rbs

@@ -0,0 +1,6 @@
+module Kobako
+  module Transport
+    class Error < Kobako::SandboxError
+    end
+  end
+end

data/sig/kobako/transport/request.rbs

@@ -0,0 +1,32 @@
+module Kobako
+  module Transport
+    STATUS_OK: Integer
+    STATUS_ERROR: Integer
+
+    class Request < Data
+      attr_reader target: String | Kobako::Handle
+      attr_reader method_name: String
+      attr_reader args: Array[untyped]
+      attr_reader kwargs: Hash[Symbol, untyped]
+      attr_reader block_given: bool
+
+      def self.new: (target: String | Kobako::Handle, method_name: String, ?args: Array[untyped], ?kwargs: Hash[Symbol, untyped], ?block_given: bool) -> Request
+
+      def self.decode: (String bytes) -> Request
+
+      def initialize: (target: String | Kobako::Handle, method_name: String, ?args: Array[untyped], ?kwargs: Hash[Symbol, untyped], ?block_given: bool) -> void
+
+      def encode: () -> String
+
+      def with: (?target: String | Kobako::Handle, ?method_name: String, ?args: Array[untyped], ?kwargs: Hash[Symbol, untyped], ?block_given: bool) -> Request
+
+      def ==: (untyped other) -> bool
+
+      def hash: () -> Integer
+
+      private
+
+      def validate_kwargs!: (Hash[untyped, untyped] kwargs) -> void
+    end
+  end
+end

data/sig/kobako/transport/response.rbs

@@ -0,0 +1,30 @@
+module Kobako
+  module Transport
+    class Response < Data
+      attr_reader status: Integer
+      attr_reader payload: untyped
+
+      def self.ok: (untyped value) -> Response
+
+      def self.error: (Kobako::Fault fault) -> Response
+
+      def self.decode: (String bytes) -> Response
+
+      def self.new: (status: Integer, payload: untyped) -> Response
+
+      def initialize: (status: Integer, payload: untyped) -> void
+
+      def with: (?status: Integer, ?payload: untyped) -> Response
+
+      def ok?: () -> bool
+
+      def error?: () -> bool
+
+      def encode: () -> String
+
+      def ==: (untyped other) -> bool
+
+      def hash: () -> Integer
+    end
+  end
+end

data/sig/kobako/transport/run.rbs

@@ -0,0 +1,27 @@
+module Kobako
+  module Transport
+    class Run < Data
+      NAME_PATTERN: Regexp
+
+      attr_reader entrypoint: Symbol
+      attr_reader args: Array[untyped]
+      attr_reader kwargs: Hash[Symbol, untyped]
+
+      def self.new: (entrypoint: Symbol | String, ?args: Array[untyped], ?kwargs: Hash[untyped, untyped]) -> Run
+
+      def initialize: (entrypoint: Symbol | String, ?args: Array[untyped], ?kwargs: Hash[untyped, untyped]) -> void
+
+      def encode: (Kobako::Catalog::Handles handler) -> String
+
+      private
+
+      def normalize_entrypoint: (Symbol | String target) -> Symbol
+
+      def validate_args!: (Array[untyped] args) -> Array[untyped]
+
+      def validate_kwargs!: (Hash[untyped, untyped] kwargs) -> Hash[Symbol, untyped]
+
+      def forged_handle_message: (String slot) -> String
+    end
+  end
+end

data/sig/kobako/transport/yield.rbs

@@ -0,0 +1,34 @@
+module Kobako
+  module Transport
+    TAG_OK: Integer
+    TAG_BREAK: Integer
+    TAG_RESERVED: Integer
+    TAG_ERROR: Integer
+    LIVE_TAGS: Array[Integer]
+
+    class Yield
+      attr_reader tag: Integer
+      attr_reader value: untyped
+
+      def self.decode: (String bytes) -> Yield
+
+      def self.reject_dead_tag!: (Integer tag) -> void
+
+      def initialize: (tag: Integer, value: untyped) -> void
+
+      def with: (?tag: Integer, ?value: untyped) -> Yield
+
+      def ok?: () -> bool
+
+      def break?: () -> bool
+
+      def error?: () -> bool
+
+      def encode: () -> String
+
+      def ==: (untyped other) -> bool
+
+      def hash: () -> Integer
+    end
+  end
+end

data/sig/kobako/transport/yielder.rbs

@@ -0,0 +1,21 @@
+module Kobako
+  module Transport
+    class Yielder
+      @yield_to_guest: ^(String) -> String
+      @break_tag: Symbol
+      @active: bool
+
+      def initialize: (^(String) -> String yield_to_guest, Symbol break_tag) -> void
+
+      def yield: (*untyped args) -> untyped
+
+      def to_proc: () -> Proc
+
+      def invalidate!: () -> void
+
+      private
+
+      def yield_failure: (untyped payload, default: String) -> RuntimeError
+    end
+  end
+end

data/sig/kobako/transport.rbs

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

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kobako
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.5.0
 platform: ruby
 authors:
 - Aotokitsuruya
@@ -29,14 +29,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.9.91
+        version: 0.9.128
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.9.91
+        version: 0.9.128
 description: kobako provides an in-process Wasm sandbox (wasmtime + mruby) with a
   MessagePack-based host/guest RPC, allowing Ruby applications to execute untrusted
   mruby scripts under capability-based Service injection.
@@ -47,6 +47,8 @@ extensions:
 - ext/kobako/extconf.rb
 extra_rdoc_files: []
 files:
+- ".release-please-manifest.json"
+- CHANGELOG.md
 - Cargo.lock
 - Cargo.toml
 - LICENSE
@@ -55,13 +57,22 @@ files:
 - ext/kobako/Cargo.toml
 - ext/kobako/extconf.rb
 - ext/kobako/src/lib.rs
-- ext/kobako/src/wasm.rs
-- ext/kobako/src/wasm/cache.rs
-- ext/kobako/src/wasm/dispatch.rs
-- ext/kobako/src/wasm/host_state.rs
-- ext/kobako/src/wasm/instance.rs
+- ext/kobako/src/runtime.rs
+- ext/kobako/src/runtime/cache.rs
+- ext/kobako/src/runtime/capture.rs
+- ext/kobako/src/runtime/config.rs
+- ext/kobako/src/runtime/dispatch.rs
+- ext/kobako/src/runtime/exports.rs
+- ext/kobako/src/runtime/guest_mem.rs
+- ext/kobako/src/runtime/invocation.rs
+- ext/kobako/src/runtime/trap.rs
+- ext/kobako/src/snapshot.rs
 - lib/kobako.rb
 - lib/kobako/capture.rb
+- lib/kobako/catalog.rb
+- lib/kobako/catalog/handles.rb
+- lib/kobako/catalog/namespaces.rb
+- lib/kobako/catalog/snippets.rb
 - lib/kobako/codec.rb
 - lib/kobako/codec/decoder.rb
 - lib/kobako/codec/encoder.rb
@@ -69,55 +80,62 @@ files:
 - lib/kobako/codec/factory.rb
 - lib/kobako/codec/utils.rb
 - lib/kobako/errors.rb
+- lib/kobako/fault.rb
 - lib/kobako/handle.rb
-- lib/kobako/handle_table.rb
-- lib/kobako/invocation.rb
+- lib/kobako/namespace.rb
 - lib/kobako/outcome.rb
 - lib/kobako/outcome/panic.rb
-- lib/kobako/rpc.rb
-- lib/kobako/rpc/dispatcher.rb
-- lib/kobako/rpc/envelope.rb
-- lib/kobako/rpc/fault.rb
-- lib/kobako/rpc/namespace.rb
-- lib/kobako/rpc/server.rb
-- lib/kobako/rpc/wire_error.rb
+- lib/kobako/runtime.rb
 - lib/kobako/sandbox.rb
 - lib/kobako/sandbox_options.rb
+- lib/kobako/snapshot.rb
 - lib/kobako/snippet.rb
 - lib/kobako/snippet/binary.rb
 - lib/kobako/snippet/source.rb
-- lib/kobako/snippet/table.rb
+- lib/kobako/transport.rb
+- lib/kobako/transport/dispatcher.rb
+- lib/kobako/transport/error.rb
+- lib/kobako/transport/request.rb
+- lib/kobako/transport/response.rb
+- lib/kobako/transport/run.rb
+- lib/kobako/transport/yield.rb
+- lib/kobako/transport/yielder.rb
 - lib/kobako/usage.rb
 - lib/kobako/version.rb
-- lib/kobako/wasm.rb
+- release-please-config.json
 - sig/kobako.rbs
 - sig/kobako/capture.rbs
+- sig/kobako/catalog.rbs
+- sig/kobako/catalog/handles.rbs
+- sig/kobako/catalog/namespaces.rbs
+- sig/kobako/catalog/snippets.rbs
 - sig/kobako/codec/decoder.rbs
 - sig/kobako/codec/encoder.rbs
 - sig/kobako/codec/error.rbs
 - sig/kobako/codec/factory.rbs
 - sig/kobako/codec/utils.rbs
 - sig/kobako/errors.rbs
+- sig/kobako/fault.rbs
 - sig/kobako/handle.rbs
-- sig/kobako/handle_table.rbs
-- sig/kobako/invocation.rbs
+- sig/kobako/namespace.rbs
 - sig/kobako/outcome.rbs
 - sig/kobako/outcome/panic.rbs
-- sig/kobako/rpc.rbs
-- sig/kobako/rpc/dispatcher.rbs
-- sig/kobako/rpc/envelope.rbs
-- sig/kobako/rpc/fault.rbs
-- sig/kobako/rpc/namespace.rbs
-- sig/kobako/rpc/server.rbs
-- sig/kobako/rpc/wire_error.rbs
+- sig/kobako/runtime.rbs
 - sig/kobako/sandbox.rbs
 - sig/kobako/sandbox_options.rbs
+- sig/kobako/snapshot.rbs
 - sig/kobako/snippet.rbs
 - sig/kobako/snippet/binary.rbs
 - sig/kobako/snippet/source.rbs
-- sig/kobako/snippet/table.rbs
+- sig/kobako/transport.rbs
+- sig/kobako/transport/dispatcher.rbs
+- sig/kobako/transport/error.rbs
+- sig/kobako/transport/request.rbs
+- sig/kobako/transport/response.rbs
+- sig/kobako/transport/run.rbs
+- sig/kobako/transport/yield.rbs
+- sig/kobako/transport/yielder.rbs
 - sig/kobako/usage.rbs
-- sig/kobako/wasm.rbs
 homepage: https://github.com/elct9620/kobako
 licenses:
 - Apache-2.0