kobako 0.2.1 → 0.4.0

data/sig/kobako/sandbox_options.rbs

@@ -0,0 +1,32 @@
+module Kobako
+  class SandboxOptions < Data
+    DEFAULT_TIMEOUT_SECONDS: Float
+    DEFAULT_MEMORY_LIMIT: Integer
+    DEFAULT_OUTPUT_LIMIT: Integer
+
+    attr_reader timeout: Float?
+    attr_reader memory_limit: Integer?
+    attr_reader stdout_limit: Integer
+    attr_reader stderr_limit: Integer
+
+    def self.new: (
+      ?timeout: (Float | Integer)?,
+      ?memory_limit: Integer?,
+      ?stdout_limit: Integer?,
+      ?stderr_limit: Integer?
+    ) -> SandboxOptions
+
+    def initialize: (
+      ?timeout: (Float | Integer)?,
+      ?memory_limit: Integer?,
+      ?stdout_limit: Integer?,
+      ?stderr_limit: Integer?
+    ) -> void
+
+    private
+
+    def normalize_timeout: ((Float | Integer)? timeout) -> Float?
+
+    def normalize_memory_limit: (Integer? memory_limit) -> Integer?
+  end
+end

data/sig/kobako/snippet/binary.rbs

@@ -0,0 +1,12 @@
+module Kobako
+  module Snippet
+    class Binary < Data
+      KIND: String
+
+      attr_reader body: String
+
+      def self.new: (body: String) -> Binary
+                  | (String body) -> Binary
+    end
+  end
+end

data/sig/kobako/snippet/source.rbs

@@ -0,0 +1,13 @@
+module Kobako
+  module Snippet
+    class Source < Data
+      KIND: String
+
+      attr_reader name: Symbol
+      attr_reader body: String
+
+      def self.new: (name: Symbol, body: String) -> Source
+                  | (Symbol name, String body) -> Source
+    end
+  end
+end

data/sig/kobako/snippet/table.rbs

@@ -0,0 +1,36 @@
+module Kobako
+  module Snippet
+    class Table
+      NAME_PATTERN: Regexp
+
+      type entry = Kobako::Snippet::Source | Kobako::Snippet::Binary
+
+      def initialize: () -> void
+
+      def register: (?code: String?, ?name: (Symbol | String)?, ?binary: String?) -> (Symbol | nil)
+
+      def encode: () -> String
+
+      def each: () { (entry) -> void } -> Array[entry]
+              | () -> Enumerator[entry, Array[entry]]
+
+      def names: () -> Array[Symbol]
+
+      def size: () -> Integer
+
+      def empty?: () -> bool
+
+      private
+
+      def register_source!: (String? code, (Symbol | String)? name) -> Symbol
+
+      def ensure_source_args!: (String? code, (Symbol | String)? name) -> [String, Symbol | String]
+
+      def register_binary!: (String bytes) -> nil
+
+      def entry_payload: (entry) -> Hash[String, untyped]
+
+      def normalize_name: (Symbol | String name) -> Symbol
+    end
+  end
+end

data/sig/kobako/snippet.rbs

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

data/sig/kobako/usage.rbs

@@ -0,0 +1,11 @@
+module Kobako
+  class Usage < Data
+    EMPTY: Usage
+
+    attr_reader wall_time: Float
+    attr_reader memory_peak: Integer
+
+    def self.new: (wall_time: Float, memory_peak: Integer) -> Usage
+                | (Float wall_time, Integer memory_peak) -> Usage
+  end
+end

data/sig/kobako/wasm.rbs

@@ -25,13 +25,17 @@ module Kobako
 
       def server=: (Kobako::RPC::Server server) -> void
 
-      def run: (String preamble, String source) -> void
+      def eval: (String preamble, String source, String snippets) -> void
+
+      def run: (String preamble, String snippets, String envelope) -> void
 
       def stdout: () -> [String, bool]
 
       def stderr: () -> [String, bool]
 
       def outcome!: () -> String
+
+      def usage: () -> [Float, Integer]
     end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kobako
 version: !ruby/object:Gem::Version
-  version: 0.2.1
+  version: 0.4.0
 platform: ruby
 authors:
 - Aotokitsuruya
@@ -69,17 +69,25 @@ files:
 - lib/kobako/codec/factory.rb
 - lib/kobako/codec/utils.rb
 - lib/kobako/errors.rb
+- lib/kobako/handle.rb
+- lib/kobako/handle_table.rb
+- lib/kobako/invocation.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/handle.rb
-- lib/kobako/rpc/handle_table.rb
 - lib/kobako/rpc/namespace.rb
 - lib/kobako/rpc/server.rb
+- lib/kobako/rpc/wire_error.rb
 - lib/kobako/sandbox.rb
+- lib/kobako/sandbox_options.rb
+- lib/kobako/snippet.rb
+- lib/kobako/snippet/binary.rb
+- lib/kobako/snippet/source.rb
+- lib/kobako/snippet/table.rb
+- lib/kobako/usage.rb
 - lib/kobako/version.rb
 - lib/kobako/wasm.rb
 - sig/kobako.rbs
@@ -90,17 +98,25 @@ files:
 - sig/kobako/codec/factory.rbs
 - sig/kobako/codec/utils.rbs
 - sig/kobako/errors.rbs
+- sig/kobako/handle.rbs
+- sig/kobako/handle_table.rbs
+- sig/kobako/invocation.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/handle.rbs
-- sig/kobako/rpc/handle_table.rbs
 - sig/kobako/rpc/namespace.rbs
 - sig/kobako/rpc/server.rbs
+- sig/kobako/rpc/wire_error.rbs
 - sig/kobako/sandbox.rbs
+- sig/kobako/sandbox_options.rbs
+- sig/kobako/snippet.rbs
+- sig/kobako/snippet/binary.rbs
+- sig/kobako/snippet/source.rbs
+- sig/kobako/snippet/table.rbs
+- sig/kobako/usage.rbs
 - sig/kobako/wasm.rbs
 homepage: https://github.com/elct9620/kobako
 licenses:

data/lib/kobako/rpc/handle.rb

@@ -1,38 +0,0 @@
-# frozen_string_literal: true
-
-module Kobako
-  module RPC
-    # Wire-level value object for an ext-0x01 Capability Handle.
-    #
-    # SPEC pins the binary layout to fixext 4 with a 4-byte big-endian u32
-    # payload (Wire Codec → Ext Types → ext 0x01). ID 0 is reserved as the
-    # invalid sentinel; the maximum valid ID is 0x7fff_ffff (2^31 - 1).
-    #
-    # This is intentionally a thin value object built on +Data.define+ so
-    # equality, hash, and immutability are inherited. The runtime-facing
-    # +Kobako::RPC::Handle+ class lives at a higher layer and may add behaviour
-    # (HandleTable bookkeeping, reset semantics). The codec only needs to
-    # carry the opaque integer ID across the wire.
-    Handle = Data.define(:id) do
-      # +MIN_ID+ / +MAX_ID+ live on the Handle class (defined below this
-      # block), not in this block's binding — Data.define's block scope
-      # resolves bare constants against the enclosing +Wire+ module, so
-      # +MIN_ID+ would raise +NameError+. Use +self.class::CONST+ to
-      # reach the constants attached to the Handle class itself. Do not
-      # "simplify" this back to bare +MIN_ID+/+MAX_ID+.
-      # steep:ignore:start
-      def initialize(id:)
-        min = self.class::MIN_ID
-        max = self.class::MAX_ID
-        raise ArgumentError, "Handle id must be Integer" unless id.is_a?(Integer)
-        raise ArgumentError, "Handle id #{id} out of range [#{min}, #{max}]" unless id.between?(min, max)
-
-        super
-      end
-      # steep:ignore:end
-    end
-
-    Handle::MIN_ID = 1
-    Handle::MAX_ID = 0x7fff_ffff
-  end
-end

data/lib/kobako/rpc/handle_table.rb

@@ -1,107 +0,0 @@
-# frozen_string_literal: true
-
-require_relative "handle"
-
-module Kobako
-  module RPC
-    # Host-side mapping from opaque integer Handle IDs to Ruby objects
-    # (capability proxies). One table is owned per +Kobako::RPC::Server+
-    # instance (and therefore per +Kobako::Sandbox+ instance). See
-    # {SPEC.md B-15}[link:../../../SPEC.md].
-    #
-    # Lifecycle invariants ({SPEC.md}[link:../../../SPEC.md]):
-    #
-    #   - {SPEC.md B-15}[link:../../../SPEC.md] — Handle IDs are allocated by
-    #     a monotonically increasing counter scoped to a single `#run`. The
-    #     first ID issued in a run is 1; ID 0 is reserved as the invalid
-    #     sentinel and is never returned by #alloc.
-    #
-    #   - {SPEC.md B-19}[link:../../../SPEC.md] — When between `#run`
-    #     invocations (via `#reset!`), every Handle issued under the old state
-    #     becomes invalid.
-    #
-    #   - {SPEC.md B-21}[link:../../../SPEC.md] — The cap is `0x7fff_ffff`
-    #     (2³¹ − 1). Allocation beyond the cap raises immediately — no silent
-    #     truncation, no wrap, no ID reuse.
-    class HandleTable
-      # Build a fresh, empty HandleTable. +next_id+ is an internal seam that
-      # sets the starting value of the monotonic counter (defaults to 1 per
-      # B-15); tests pass a value near +RPC::Handle::MAX_ID+ to exercise
-      # the cap-exhaustion path without 2³¹ allocations.
-      def initialize(next_id: 1)
-        @entries = {} # : Hash[Integer, untyped]
-        @next_id = next_id
-      end
-
-      # Bind +object+ in the table and return its newly-allocated Handle ID.
-      # +object+ is any host-side Ruby object to bind. Returns a freshly-
-      # allocated Handle ID in +[1, RPC::Handle::MAX_ID]+. Raises
-      # +Kobako::HandleTableExhausted+ if the next ID would exceed the cap.
-      # The cap is anchored on +RPC::Handle+ — the wire codec and the
-      # allocator share the same invariant ({SPEC.md B-21}[link:../../../SPEC.md]).
-      def alloc(object)
-        id = @next_id
-        cap = RPC::Handle::MAX_ID
-        raise HandleTableExhausted, "HandleTable exhausted: id #{id} exceeds MAX_ID #{cap}" if id > cap
-
-        @entries[id] = object
-        @next_id = id + 1
-        id
-      end
-
-      # Resolve a Handle ID to its bound object. +id+ is a Handle ID previously
-      # returned by +#alloc+. Returns the bound object. Raises
-      # +Kobako::HandleTableError+ if +id+ is not currently bound.
-      def fetch(id)
-        require_bound!(id)
-        @entries[id]
-      end
-
-      # Remove and return the binding for +id+. +id+ is the Handle ID to
-      # release. Returns the previously-bound object. Raises
-      # +Kobako::HandleTableError+ if +id+ is not currently bound.
-      def release(id)
-        require_bound!(id)
-        @entries.delete(id)
-      end
-
-      # Clear all entries AND reset the counter to 1. Called at the per-run
-      # boundary — see {SPEC.md B-19}[link:../../../SPEC.md].
-      # Returns +self+.
-      def reset!
-        @entries.clear
-        @next_id = 1
-        self
-      end
-
-      # Mark the entry at +id+ as disconnected (ABA protection). +id+ is the
-      # Handle ID to poison; silently ignored if +id+ is not currently bound.
-      # Returns +self+ for chainability, matching the convention of +#reset!+.
-      def mark_disconnected(id)
-        @entries[id] = :disconnected if @entries.key?(id)
-        self
-      end
-
-      # Returns the number of currently-bound entries.
-      def size
-        @entries.size
-      end
-
-      # Returns +true+ when +id+ is currently bound, +false+ otherwise.
-      def include?(id)
-        @entries.key?(id)
-      end
-
-      private
-
-      # Single source of truth for the "unknown Handle id" raise shared by
-      # {#fetch} and {#release}. Returns +nil+ on success; raises
-      # +Kobako::HandleTableError+ when +id+ is not currently bound.
-      def require_bound!(id)
-        return if @entries.key?(id)
-
-        raise HandleTableError, "unknown Handle id: #{id.inspect}"
-      end
-    end
-  end
-end

data/sig/kobako/rpc/handle.rbs

@@ -1,19 +0,0 @@
-module Kobako
-  module RPC
-    class Handle
-      MIN_ID: Integer
-      MAX_ID: Integer
-
-      attr_reader id: Integer
-
-      def initialize: (Integer id) -> void
-                    | (id: Integer) -> void
-
-      def with: (?id: Integer) -> Handle
-
-      def ==: (untyped other) -> bool
-
-      def hash: () -> Integer
-    end
-  end
-end

data/sig/kobako/rpc/handle_table.rbs

@@ -1,25 +0,0 @@
-module Kobako
-  module RPC
-    class HandleTable
-      def initialize: (?next_id: Integer) -> void
-
-      def alloc: (untyped object) -> Integer
-
-      def fetch: (Integer id) -> untyped
-
-      def release: (Integer id) -> untyped
-
-      def reset!: () -> self
-
-      def mark_disconnected: (Integer id) -> self
-
-      def size: () -> Integer
-
-      def include?: (Integer id) -> bool
-
-      private
-
-      def require_bound!: (Integer id) -> void
-    end
-  end
-end