kobako 0.12.2 → 0.14.0

data/release-please-config.json

@@ -18,29 +18,39 @@
           "path": "/wasm/Cargo.lock",
           "jsonpath": "$.package[?(@.name=='kobako-core')].version"
         },
+        {
+          "type": "toml",
+          "path": "/wasm/kobako-core/Cargo.toml",
+          "jsonpath": "$.dependencies['kobako-codec'].version"
+        },
         {
           "type": "generic",
           "path": "/wasm/kobako-core/README.md"
         }
       ]
     },
-    "wasm/kobako": {
-      "component": "kobako-rs",
+    "wasm/kobako-mruby": {
+      "component": "kobako-mruby",
       "release-type": "rust",
       "extra-files": [
         {
           "type": "toml",
           "path": "/wasm/Cargo.lock",
-          "jsonpath": "$.package[?(@.name=='kobako')].version"
+          "jsonpath": "$.package[?(@.name=='kobako-mruby')].version"
         },
         {
           "type": "toml",
-          "path": "/wasm/kobako/Cargo.toml",
+          "path": "/wasm/kobako-mruby/Cargo.toml",
           "jsonpath": "$.dependencies['kobako-core'].version"
         },
+        {
+          "type": "toml",
+          "path": "/wasm/kobako-mruby/Cargo.toml",
+          "jsonpath": "$.dependencies['kobako-codec'].version"
+        },
         {
           "type": "generic",
-          "path": "/wasm/kobako/README.md"
+          "path": "/wasm/kobako-mruby/README.md"
         }
       ]
     },
@@ -104,6 +114,26 @@
         }
       ]
     },
+    "crates/kobako-codec": {
+      "component": "kobako-codec",
+      "release-type": "rust",
+      "extra-files": [
+        {
+          "type": "toml",
+          "path": "/crates/Cargo.lock",
+          "jsonpath": "$.package[?(@.name=='kobako-codec')].version"
+        },
+        {
+          "type": "toml",
+          "path": "/wasm/Cargo.lock",
+          "jsonpath": "$.package[?(@.name=='kobako-codec')].version"
+        },
+        {
+          "type": "generic",
+          "path": "/crates/kobako-codec/README.md"
+        }
+      ]
+    },
     "crates/kobako-runtime": {
       "component": "kobako-runtime",
       "release-type": "rust",
@@ -148,13 +178,43 @@
           "path": "/crates/kobako-wasmtime/README.md"
         }
       ]
+    },
+    "crates/kobako": {
+      "component": "kobako-sdk",
+      "release-type": "rust",
+      "extra-files": [
+        {
+          "type": "toml",
+          "path": "/crates/Cargo.lock",
+          "jsonpath": "$.package[?(@.name=='kobako')].version"
+        },
+        {
+          "type": "toml",
+          "path": "/crates/kobako/Cargo.toml",
+          "jsonpath": "$.dependencies['kobako-codec'].version"
+        },
+        {
+          "type": "toml",
+          "path": "/crates/kobako/Cargo.toml",
+          "jsonpath": "$.dependencies['kobako-runtime'].version"
+        },
+        {
+          "type": "toml",
+          "path": "/crates/kobako/Cargo.toml",
+          "jsonpath": "$.dependencies['kobako-wasmtime'].version"
+        },
+        {
+          "type": "generic",
+          "path": "/crates/kobako/README.md"
+        }
+      ]
     }
   },
   "plugins": [
     {
       "type": "linked-versions",
       "groupName": "kobako crates",
-      "components": ["kobako-core", "kobako-rs", "kobako-io", "kobako-json", "kobako-regexp", "kobako-baker", "kobako-runtime", "kobako-wasmtime"]
+      "components": ["kobako-codec", "kobako-core", "kobako-mruby", "kobako-io", "kobako-json", "kobako-regexp", "kobako-baker", "kobako-runtime", "kobako-wasmtime", "kobako-sdk"]
     }
   ],
   "extra-files": [

data/sig/kobako/codec/handle_walk.rbs

@@ -5,9 +5,9 @@ module Kobako
 
       def self?.representable?: (untyped value) -> bool
 
-      def self?.deep_wrap: (untyped value, Kobako::Catalog::Handles handler) -> untyped
+      def self?.deep_wrap: (untyped value, Kobako::Codec::_HandleTable handler) -> untyped
 
-      def self?.deep_restore: (untyped value, Kobako::Catalog::Handles handler) -> untyped
+      def self?.deep_restore: (untyped value, Kobako::Codec::_HandleTable handler) -> untyped
 
       def self?.primitive_type?: (untyped value) -> bool
 

data/sig/kobako/codec.rbs

@@ -1,4 +1,15 @@
 module Kobako
   module Codec
+    # The Handle allocator/resolver a wire walk works against: alloc
+    # registers a non-wire-representable object and returns its Handle,
+    # fetch resolves a wire Handle id back to the live object. The
+    # Sandbox's Kobako::Catalog::Handles is the production conformer;
+    # modelled structurally so the Codec and Transport tiers need no
+    # upward dependency on Catalog.
+    interface _HandleTable
+      def alloc: (untyped object) -> Kobako::Handle
+
+      def fetch: (Integer id) -> untyped
+    end
   end
 end

data/sig/kobako/handle.rbs

@@ -9,8 +9,6 @@ module Kobako
 
     def self.restore: (Integer id) -> Handle
 
-    def with: (?id: Integer) -> Handle
-
     def ==: (untyped other) -> bool
 
     def hash: () -> Integer

data/sig/kobako/runtime.rbs

@@ -7,17 +7,22 @@ module Kobako
       (Float | Integer)? timeout_seconds,
       Integer? memory_limit,
       Integer? stdout_limit_bytes,
-      Integer? stderr_limit_bytes
+      Integer? stderr_limit_bytes,
+      Symbol profile
     ) -> Runtime
 
     def on_dispatch=: (^(String, Kobako::Transport::_GuestYielder) -> String dispatch_proc) -> void
 
-    def eval: (String preamble, String source, String snippets) -> Kobako::Snapshot
+    def eval: (String preamble, String source, String snippets) -> String
 
-    def run: (String preamble, String snippets, String envelope) -> Kobako::Snapshot
+    def run: (String preamble, String snippets, String envelope) -> String
 
     def usage: () -> [Float, Integer]
 
+    def captures: () -> [String, bool, String, bool]
+
+    def profile: () -> Symbol
+
     # Frame-scoped guest re-entry handle the ext hands the dispatch Proc as
     # its second argument; stands in as the +String -> String+ callable the
     # host +Transport::Yielder+ invokes for a block yield.

data/sig/kobako/sandbox.rbs

@@ -10,13 +10,13 @@ module Kobako
     def memory_limit: () -> Integer?
     def stdout_limit: () -> Integer?
     def stderr_limit: () -> Integer?
+    def profile: () -> Symbol
 
+    # Every keyword beyond wasm_path forwards verbatim to
+    # SandboxOptions.new (the four caps + the profile floor).
     def initialize: (
       ?wasm_path: String?,
-      ?stdout_limit: Integer?,
-      ?stderr_limit: Integer?,
-      ?timeout: (Float | Integer)?,
-      ?memory_limit: Integer?
+      **untyped options
     ) -> void
 
     def stdout: () -> String
@@ -42,14 +42,18 @@ module Kobako
 
     private
 
+    def build_runtime!: () -> Kobako::Runtime
+
     def install_dispatch_proc!: () -> void
 
     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) { () -> Kobako::Snapshot } -> untyped
+    def invoke!: (Symbol verb) { () -> String } -> untyped
   end
 end

data/sig/kobako/sandbox_options.rbs

@@ -3,26 +3,33 @@ module Kobako
     DEFAULT_TIMEOUT_SECONDS: Float
     DEFAULT_MEMORY_LIMIT: Integer
     DEFAULT_OUTPUT_LIMIT: Integer
+    DEFAULT_PROFILE: Symbol
+    PROFILES: Array[Symbol]
 
     attr_reader timeout: Float?
     attr_reader memory_limit: Integer?
     attr_reader stdout_limit: Integer?
     attr_reader stderr_limit: Integer?
+    attr_reader profile: Symbol
 
     def self.new: (
       ?timeout: (Float | Integer)?,
       ?memory_limit: Integer?,
       ?stdout_limit: Integer?,
-      ?stderr_limit: Integer?
+      ?stderr_limit: Integer?,
+      ?profile: Symbol
     ) -> SandboxOptions
 
     def initialize: (
       ?timeout: (Float | Integer)?,
       ?memory_limit: Integer?,
       ?stdout_limit: Integer?,
-      ?stderr_limit: Integer?
+      ?stderr_limit: Integer?,
+      ?profile: Symbol
     ) -> void
 
+    def enforce_floor!: (Symbol declared) -> void
+
     private
 
     def normalize_timeout: ((Float | Integer)? timeout) -> Float?
@@ -30,5 +37,7 @@ module Kobako
     def normalize_memory_limit: (Integer? memory_limit) -> Integer?
 
     def normalize_output_limit: (Integer? limit, String name) -> Integer?
+
+    def normalize_profile: (untyped profile) -> Symbol
   end
 end

data/sig/kobako/transport/dispatcher.rbs

@@ -12,9 +12,9 @@ module Kobako
 
       CALLABLE_ALLOW: Array[Symbol]
 
-      def self?.dispatch: (String request_bytes, Kobako::Catalog::Namespaces namespaces, Kobako::Catalog::Handles handler, Kobako::Transport::_GuestYielder yield_to_guest) -> String
+      def self?.dispatch: (String request_bytes, Kobako::Transport::_NamespaceRegistry namespaces, Kobako::Codec::_HandleTable handler, Kobako::Transport::_GuestYielder yield_to_guest) -> String
 
-      def self?.resolve_call_args: (Kobako::Transport::Request request, Kobako::Catalog::Handles handler) -> [Array[untyped], Hash[Symbol, untyped]]
+      def self?.resolve_call_args: (Kobako::Transport::Request request, Kobako::Codec::_HandleTable handler) -> [Array[untyped], Hash[Symbol, untyped]]
 
       def self?.encode_caught_error: (StandardError error) -> String
 
@@ -24,17 +24,17 @@ module Kobako
 
       def self?.reject_unexposed!: (untyped target, Symbol name) -> void
 
-      def self?.resolve_arg: (untyped value, Kobako::Catalog::Handles handler) -> untyped
+      def self?.resolve_arg: (untyped value, Kobako::Codec::_HandleTable handler) -> untyped
 
-      def self?.resolve_target: (String | Kobako::Handle target, Kobako::Catalog::Namespaces namespaces, Kobako::Catalog::Handles handler) -> untyped
+      def self?.resolve_target: (String | Kobako::Handle target, Kobako::Transport::_NamespaceRegistry namespaces, Kobako::Codec::_HandleTable handler) -> untyped
 
-      def self?.resolve_path: (String path, Kobako::Catalog::Namespaces namespaces) -> untyped
+      def self?.resolve_path: (String path, Kobako::Transport::_NamespaceRegistry namespaces) -> untyped
 
-      def self?.require_live_object!: (Integer id, Kobako::Catalog::Handles handler) -> untyped
+      def self?.require_live_object!: (Integer id, Kobako::Codec::_HandleTable handler) -> untyped
 
-      def self?.encode_ok: (untyped value, Kobako::Catalog::Handles handler) -> String
+      def self?.encode_ok: (untyped value, Kobako::Codec::_HandleTable handler) -> String
 
-      def self?.wrap_as_handle: (untyped value, Kobako::Catalog::Handles handler) -> Kobako::Handle
+      def self?.wrap_as_handle: (untyped value, Kobako::Codec::_HandleTable handler) -> Kobako::Handle
 
       def self?.encode_error: (String type, String message) -> String
     end

data/sig/kobako/transport/run.rbs

@@ -11,7 +11,7 @@ module Kobako
 
       def initialize: (entrypoint: Symbol | String, ?args: Array[untyped], ?kwargs: Hash[untyped, untyped]) -> void
 
-      def encode: (Kobako::Catalog::Handles handler) -> String
+      def encode: (Kobako::Codec::_HandleTable handler) -> String
 
       private
 

data/sig/kobako/transport/yielder.rbs

@@ -3,10 +3,10 @@ module Kobako
     class Yielder
       @yield_to_guest: Kobako::Transport::_GuestYielder
       @break_tag: Symbol
-      @handler: Kobako::Catalog::Handles
+      @handler: Kobako::Codec::_HandleTable
       @active: bool
 
-      def initialize: (Kobako::Transport::_GuestYielder yield_to_guest, Symbol break_tag, Kobako::Catalog::Handles handler) -> void
+      def initialize: (Kobako::Transport::_GuestYielder yield_to_guest, Symbol break_tag, Kobako::Codec::_HandleTable handler) -> void
 
       def yield: (*untyped args) -> untyped
 

data/sig/kobako/transport.rbs

@@ -8,5 +8,13 @@ module Kobako
     interface _GuestYielder
       def call: (String) -> String
     end
+
+    # The Service registry a dispatch resolves constant-path targets
+    # against. The Sandbox's Kobako::Catalog::Namespaces is the
+    # production conformer; modelled structurally so the Transport
+    # layer needs no upward dependency on Catalog.
+    interface _NamespaceRegistry
+      def lookup: (String target) -> untyped
+    end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kobako
 version: !ruby/object:Gem::Version
-  version: 0.12.2
+  version: 0.14.0
 platform: ruby
 authors:
 - Aotokitsuruya
@@ -53,6 +53,7 @@ files:
 - Cargo.toml
 - LICENSE
 - README.md
+- ROADMAP.md
 - SECURITY.md
 - crates/kobako-runtime/CHANGELOG.md
 - crates/kobako-runtime/Cargo.toml
@@ -60,6 +61,7 @@ files:
 - crates/kobako-runtime/src/dispatch.rs
 - crates/kobako-runtime/src/error.rs
 - crates/kobako-runtime/src/lib.rs
+- crates/kobako-runtime/src/profile.rs
 - crates/kobako-runtime/src/runtime.rs
 - crates/kobako-runtime/src/snapshot.rs
 - crates/kobako-runtime/src/yielder.rs
@@ -86,7 +88,6 @@ files:
 - ext/kobako/src/runtime.rs
 - ext/kobako/src/runtime/bridge.rs
 - ext/kobako/src/runtime/errors.rs
-- ext/kobako/src/snapshot.rs
 - lib/kobako.rb
 - lib/kobako/capture.rb
 - lib/kobako/catalog.rb
@@ -110,7 +111,6 @@ files:
 - 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
@@ -149,7 +149,6 @@ files:
 - 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

data/ext/kobako/src/snapshot.rs

@@ -1,75 +0,0 @@
-//! `Kobako::Snapshot` — the Ruby-facing per-invocation observable bundle.
-//!
-//! The success-path view of the engine-neutral snapshot: the outcome bytes
-//! and the two captured output channels, exposed through five raw readers.
-//! The helper methods that pack them into `Kobako::Capture`
-//! (`Kobako::Snapshot#stdout` / `#stderr`) live in
-//! `lib/kobako/snapshot.rb`. The split keeps the ext side a pure value
-//! carrier and lets Ruby own the convenience surface. Usage is not on the
-//! Snapshot — `Sandbox#usage` reads it from `Kobako::Runtime#usage`, which
-//! survives the trap path where no `Kobako::Snapshot` is produced.
-
-use magnus::{method, prelude::*, Error as MagnusError, RModule, RString, Ruby};
-
-use kobako_runtime::snapshot::Capture;
-
-/// Per-invocation snapshot value. Magnus wraps it so a single ext call
-/// from `Runtime::eval` / `Runtime::run` returns the whole bundle — the
-/// Sandbox layer decomposes it without round-tripping into ext again. The
-/// fields are set once at construction and never mutated; the five public
-/// methods registered in `init` read them out one by one.
-#[magnus::wrap(class = "Kobako::Snapshot", free_immediately, size)]
-pub(crate) struct Snapshot {
-    return_bytes: Vec<u8>,
-    stdout: Capture,
-    stderr: Capture,
-}
-
-impl Snapshot {
-    /// Bundle the success outputs the Runtime collected once the guest
-    /// export returned with an outcome: the drained OUTCOME_BUFFER bytes
-    /// and the capture pipes clipped to their caps.
-    pub(crate) fn new(return_bytes: Vec<u8>, stdout: Capture, stderr: Capture) -> Self {
-        Self {
-            return_bytes,
-            stdout,
-            stderr,
-        }
-    }
-
-    fn return_bytes(&self) -> RString {
-        let ruby = Ruby::get().expect("Ruby thread");
-        ruby.str_from_slice(&self.return_bytes)
-    }
-
-    fn stdout_bytes(&self) -> RString {
-        let ruby = Ruby::get().expect("Ruby thread");
-        ruby.str_from_slice(&self.stdout.bytes)
-    }
-
-    fn stdout_truncated(&self) -> bool {
-        self.stdout.truncated
-    }
-
-    fn stderr_bytes(&self) -> RString {
-        let ruby = Ruby::get().expect("Ruby thread");
-        ruby.str_from_slice(&self.stderr.bytes)
-    }
-
-    fn stderr_truncated(&self) -> bool {
-        self.stderr.truncated
-    }
-}
-
-/// Register `Kobako::Snapshot` plus its five raw readers under the
-/// `Kobako` module. Called from `crate::init` after `Kobako::Runtime`
-/// is registered so the magnus wrap macro can resolve the class name.
-pub(crate) fn init(ruby: &Ruby, kobako: RModule) -> Result<(), MagnusError> {
-    let snapshot = kobako.define_class("Snapshot", ruby.class_object())?;
-    snapshot.define_method("return_bytes", method!(Snapshot::return_bytes, 0))?;
-    snapshot.define_method("stdout_bytes", method!(Snapshot::stdout_bytes, 0))?;
-    snapshot.define_method("stdout_truncated", method!(Snapshot::stdout_truncated, 0))?;
-    snapshot.define_method("stderr_bytes", method!(Snapshot::stderr_bytes, 0))?;
-    snapshot.define_method("stderr_truncated", method!(Snapshot::stderr_truncated, 0))?;
-    Ok(())
-}

data/lib/kobako/snapshot.rb

@@ -1,32 +0,0 @@
-# frozen_string_literal: true
-
-require_relative "capture"
-
-module Kobako
-  # Kobako::Snapshot — per-invocation observable bundle returned from
-  # +Kobako::Runtime#eval+ and +#run+.
-  #
-  # The magnus class (see ext/kobako/src/snapshot.rs) carries five raw
-  # readers: +return_bytes+, +stdout_bytes+, +stdout_truncated+,
-  # +stderr_bytes+, +stderr_truncated+. This file reopens the class to add
-  # the Ruby-side helpers that pack those raw fields into the user-facing
-  # value object +Kobako::Capture+ — the same shape +Kobako::Sandbox+
-  # exposes to the Host App. Usage is not on the Snapshot; +Sandbox#usage+
-  # reads it from +Kobako::Runtime#usage+, which also covers the trap path
-  # where no Snapshot is produced.
-  class Snapshot
-    # Wrap the stdout capture pair (+stdout_bytes+, +stdout_truncated+)
-    # as a +Kobako::Capture+ value object. The byte content never carries
-    # a truncation sentinel; +#truncated?+ is the only way to observe
-    # that the cap was hit.
-    def stdout
-      Capture.new(bytes: stdout_bytes, truncated: stdout_truncated)
-    end
-
-    # Wrap the stderr capture pair as a +Kobako::Capture+ value object.
-    # Mirror of +#stdout+.
-    def stderr
-      Capture.new(bytes: stderr_bytes, truncated: stderr_truncated)
-    end
-  end
-end

data/sig/kobako/snapshot.rbs

@@ -1,12 +0,0 @@
-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 stdout: () -> Kobako::Capture
-    def stderr: () -> Kobako::Capture
-  end
-end