kobako 0.29.0-aarch64-linux → 0.30.0-aarch64-linux

data/lib/kobako.rb

@@ -1,5 +1,39 @@
 # frozen_string_literal: true
 
+# Inside +lib/+, the code sits in tiers: a tier may use the tiers below it
+# and never one above.
+#
+#   Orchestration   Sandbox, Pool, Runtime (+ ext), Context
+#         |
+#   Catalog         setup-time registries + the per-invocation Handle table
+#         |
+#   Transport --+   call value objects + dispatch
+#   Outcome ----+   guest-result attribution
+#         |     |
+#   Payload <---+   the [args, kwargs] shape a Call or Run carries
+#         |     |
+#   Codec <-----+   byte-level payload wire
+#         |
+#   Root            dependency-free value objects and error classes
+#
+# The Envelope has no tier here, because the native side frames and
+# decodes it.
+#
+# These rules keep the tiers acyclic:
+#
+# [A type sits at the lowest tier that needs it]
+#   Kobako::Handle sits at the root, for Codec.
+# [A native-defined handle that needs nothing in +lib/+ sits at the root]
+#   Kobako::Filesystem sits at the root, for the Catalog.
+# [Outcome may require <tt>transport/error.rb</tt>]
+#   The gem contract fixes the class name.
+# [<tt>Codec.track_handles</tt> wraps only the decode call]
+#   Wrapping more leaks its flag into re-entry.
+#
+# Namespace follows dependency direction, not which tier reads a type most.
+# Kobako::Transport::Error stays in Transport despite the lateral edge from
+# Outcome, because its file depends only on the root <tt>errors.rb</tt>.
+
 require_relative "kobako/version"
 
 begin

data/release-please-config.json

@@ -2,6 +2,7 @@
   "$schema": "https://raw.githubusercontent.com/googleapis/release-please/main/schemas/config.json",
   "release-type": "ruby",
   "bump-minor-pre-major": true,
+  "commit-search-depth": 1000,
   "last-release-sha": "98509af508988f708bf0d7a76a718bb0428a177e",
   "packages": {
     ".": {

data/sig/kobako/catalog/extensions.rbs

@@ -5,17 +5,17 @@ module Kobako
 
       def install: (untyped extension, snippets: Kobako::Catalog::Snippets, services: Kobako::Catalog::Services) -> self
 
-      def assert_dependencies!: () -> self
+      def assert_dependencies: () -> self
 
       def resolve: () -> Hash[String, untyped]
 
       private
 
-      def install_object: (untyped backend) -> untyped
+      def object_of: (untyped backend) -> untyped
 
       def resolve_backend: (untyped extension, Hash[String, untyped] resolved, Hash[untyped, untyped] by_provider) -> void
 
-      def validate!: (untyped extension) -> void
+      def validate: (untyped extension) -> void
 
       def unmet_dependency: () -> [untyped, untyped]?
 

data/sig/kobako/catalog/handles.rbs

@@ -13,11 +13,11 @@ module Kobako
 
       private
 
-      def reject_unwrappable!: (untyped object) -> void
+      def reject_unwrappable: (untyped object) -> void
 
-      def ensure_capacity!: () -> void
+      def ensure_capacity: () -> void
 
-      def require_bound!: (Integer id) -> void
+      def require_bound: (Integer id) -> void
     end
   end
 end

data/sig/kobako/catalog/mount.rbs

@@ -19,10 +19,6 @@ module Kobako
       def conflict: (Mount other) -> String?
 
       def to_native: () -> tuple
-
-      private
-
-      def nested?: (String other) -> bool
     end
   end
 end

data/sig/kobako/catalog/services.rbs

@@ -15,7 +15,7 @@ module Kobako
 
       private
 
-      def validate_path!: (Symbol | String path) -> String
+      def validate_path: (Symbol | String path) -> String
 
       def reserved?: (String path) -> bool
 

data/sig/kobako/catalog/snippets.rbs

@@ -15,11 +15,11 @@ module Kobako
 
       private
 
-      def register_source!: (String? code, (Symbol | String)? name) -> nil
+      def register_source: (String? code, (Symbol | String)? name) -> nil
 
-      def ensure_source_args!: (String? code, (Symbol | String)? name) -> [String, Symbol | String]
+      def ensure_source_args: (String? code, (Symbol | String)? name) -> [String, Symbol | String]
 
-      def register_binary!: (String bytes) -> nil
+      def register_binary: (String bytes) -> nil
 
       def entry_tuple: (entry) -> tuple
 

data/sig/kobako/catalog.rbs

@@ -1,5 +1,5 @@
 module Kobako
   module Catalog
-    def self.to_utf8!: (String text, String what) -> String
+    def self.to_utf8: (String text, String what) -> String
   end
 end

data/sig/kobako/codec/decoder.rbs

@@ -6,7 +6,7 @@ module Kobako
 
       private
 
-      def self.validate_utf8!: (untyped value) -> void
+      def self.validate_utf8: (untyped value) -> void
     end
   end
 end

data/sig/kobako/codec/handle_walk.rbs

@@ -11,7 +11,7 @@ module Kobako
 
       private
 
-      def self.guard_nesting!: (Integer depth) -> void
+      def self.guard_nesting: (Integer depth) -> void
 
       def self.deep_wrap_hash: (Hash[untyped, untyped] hash, Kobako::Codec::_HandleTable handles, Integer depth) -> Hash[untyped, untyped]
 

data/sig/kobako/codec/nesting.rbs

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

data/sig/kobako/codec/utils.rbs

@@ -1,7 +1,7 @@
 module Kobako
   module Codec
     module Utils
-      def self.assert_utf8!: (String string, String label) -> void
+      def self.assert_utf8: (String string, String label) -> void
 
       def self.with_boundary: [T] () { () -> T } -> T
     end

data/sig/kobako/codec/value_budget.rbs

@@ -9,7 +9,7 @@ module Kobako
 
       UINT: Hash[Integer, String]
 
-      def self.assert_within!: (String bytes, Integer? budget) -> void
+      def self.assert_within: (String bytes, Integer? budget) -> void
 
       private
 

data/sig/kobako/codec.rbs

@@ -2,8 +2,7 @@ module Kobako
   module Codec
     MAX_NESTING_DEPTH: Integer
 
-    # A value in the closed wire type set (docs/wire/payload-msgpack.md
-    # § Type Mapping): the scalar leaves, a Capability Handle, and Array / Hash
+    # A value in the closed wire type set: the scalar leaves, a Capability Handle, and Array / Hash
     # containers of the same. The by-value payloads that cross the wire —
     # dispatch arguments and success values — inhabit this type; a Fault is
     # an envelope shape, not a wire_value.

data/sig/kobako/context.rbs

@@ -38,6 +38,6 @@ module Kobako
 
     def settle_outcome: (Kobako::Snapshot snapshot, Symbol verb, Symbol? entrypoint) -> Kobako::Execution
 
-    def invoke!: (Symbol verb, ?entrypoint: Symbol?) { () -> Kobako::Snapshot } -> Kobako::Execution
+    def invoke: (Symbol verb, ?entrypoint: Symbol?) { () -> Kobako::Snapshot } -> Kobako::Execution
   end
 end

data/sig/kobako/filesystem.rbs

@@ -1,6 +1,6 @@
 module Kobako
   module Filesystem
-    type mountable = Memory | Temporary | Directory | Overlay | _Readable
+    type mountable = Tmpfs | Bind | Overlay | _Readable
 
     type access = :read | :read_write
 
@@ -20,13 +20,14 @@ module Kobako
       def mkdir: (String path) -> void
       def rmdir: (String path) -> void
       def unlink: (String path) -> void
-      def rename: (String from, String to, directory: bool?) -> void
+      def rename: (String from, String to) -> void
     end
 
     # A file a Filesystem written in Ruby opened; +::File+ answers it. One
     # that also answers _WritableFile takes writes too, one answering
     # _AppendableFile takes appends, and any file may answer _SyncableFile
-    # to flush or _ClosableFile to close.
+    # to flush, _ClosableFile to close, or _StatableFile to report its times
+    # and count of names.
     interface _File
       def pread: (Integer length, Integer offset) -> String?
       def size: () -> Integer
@@ -51,9 +52,14 @@ module Kobako
       def close: () -> void
     end
 
+    interface _StatableFile
+      def stat: () -> _Stat
+    end
+
     # What a Filesystem written in Ruby's +stat+ answers, as +File::Stat+
     # does; an +ino+ of zero names no identity. One that also answers
-    # _StatDevice names the device its +ino+ belongs to.
+    # _StatDevice names the device its +ino+ belongs to, and _StatKind says
+    # a special file is one.
     interface _Stat
       def directory?: () -> boolish
       def size: () -> Integer
@@ -64,24 +70,23 @@ module Kobako
       def dev: () -> Integer
     end
 
-    class Memory
-      # A bare <tt>"path" => contents</tt> arrives as keywords, which RBS
-      # cannot key by String; a Symbol keyword past +limit+ and +inodes+
-      # raises ArgumentError.
-      def initialize: (?Hash[String, String] files, ?limit: Integer?, ?inodes: Integer?, **String) -> void
+    interface _StatKind
+      def ftype: () -> String
     end
 
-    class Temporary
-      def initialize: (?limit: Integer?, ?inodes: Integer?) -> void
+    class Tmpfs
+      # A bare <tt>"path" => contents</tt> arrives as keywords, which RBS
+      # cannot key by String; a Symbol keyword past +size+ and +nr_inodes+
+      # raises ArgumentError.
+      def initialize: (?Hash[String, String] files, ?size: Integer?, ?nr_inodes: Integer?, **String) -> void
     end
 
-    class Directory
+    class Bind
       def initialize: (String path) -> void
     end
 
     class Overlay
-      def initialize: () -> void
-      def layer: (mountable filesystem, ?access: access) -> Overlay
+      def initialize: (lower: Array[mountable], ?upper: Tmpfs?) -> void
     end
 
   end

data/sig/kobako/guest_yielder.rbs

@@ -2,7 +2,7 @@ module Kobako
   # Frame-scoped guest re-entry handle the ext hands the dispatch Proc as
   # its last argument — the production conformer of
   # +Kobako::Transport::_GuestYielder+, answering the Yield Reply already
-  # split off the core envelope.
+  # split off the Envelope.
   class GuestYielder
     def call: (String args_bytes) -> [Symbol, String, String?]
   end

data/sig/kobako/payload/arguments.rbs

@@ -20,7 +20,7 @@ module Kobako
 
       private
 
-      def validate_kwargs!: (Hash[untyped, untyped] kwargs) -> void
+      def validate_kwargs: (Hash[untyped, untyped] kwargs) -> void
     end
   end
 end

data/sig/kobako/pool.rbs

@@ -25,7 +25,7 @@ module Kobako
 
     def claim_or_wait: (Float? deadline) -> [Symbol, Kobako::Sandbox?]
 
-    def await_slot!: (Float? deadline) -> void
+    def await_slot: (Float? deadline) -> void
 
     def construct_slot: () -> Kobako::Sandbox
 
@@ -35,7 +35,7 @@ module Kobako
 
     def monotonic_now: () -> Float
 
-    def validate_slots!: (untyped slots) -> void
+    def validate_slots: (untyped slots) -> void
 
     def normalize_checkout_timeout: ((Float | Integer)? checkout_timeout) -> Float?
   end

data/sig/kobako/runtime.rbs

@@ -2,7 +2,7 @@ module Kobako
   class Runtime
     def self.default_path: () -> String
 
-    def self.validate_mount!: (untyped at, untyped access, untyped filesystem) -> nil
+    def self.validate_mount: (untyped at, untyped access, untyped filesystem) -> nil
 
     def self.from_path: (
       String path,

data/sig/kobako/sandbox.rbs

@@ -39,14 +39,12 @@ module Kobako
 
     private
 
-    def build_runtime!: () -> Kobako::Runtime
-
-    def new_invocation: () -> Kobako::Context
+    def build_runtime: () -> Kobako::Runtime
 
     def preamble: (Array[Kobako::Catalog::Snippets::tuple] snippets) -> Kobako::Context::preamble
 
-    def refuse_once_invoked!: (String verb) -> void
+    def refuse_once_invoked: (String verb) -> void
 
-    def begin_invocation!: () -> void
+    def begin_invocation: () -> Kobako::Context
   end
 end

data/sig/kobako/sandbox_options.rbs

@@ -55,7 +55,7 @@ module Kobako
 
     def value_budget: () -> Integer?
 
-    def enforce_floor!: (Symbol declared) -> void
+    def enforce_floor: (Symbol declared) -> void
 
     private
 

data/sig/kobako/transport/dispatcher.rbs

@@ -21,11 +21,11 @@ module Kobako
 
       def self.resolve_call_args: (Kobako::Payload::Arguments arguments, Kobako::Codec::_HandleTable handles, bool carried_handle) -> [Array[untyped], Hash[Symbol, untyped]]
 
-      def self.caught_fault: (StandardError error, Kobako::Transport::BlockFailure failure) -> [String, String]
+      def self.fault_of: (StandardError error, Kobako::Transport::BlockFailure failure) -> [String, String]
 
       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!: (Kobako::Transport::Exposure exposure, Symbol name) -> void
+      def self.reject_unreachable: (Kobako::Transport::Exposure exposure, Symbol name) -> void
 
       def self.resolve_arg: (untyped value, Kobako::Codec::_HandleTable handles) -> untyped
 

data/sig/kobako/transport/exposure.rbs

@@ -31,7 +31,7 @@ module Kobako
 
       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.resolve_default_names: (untyped object, Module klass, Hash[Module, Set[Symbol]] surfaces) -> Set[Symbol]
 
       def self.class_names: (untyped object, Module klass) -> Set[Symbol]
 

data/sig/kobako/transport/reflection.rbs

@@ -14,11 +14,11 @@ module Kobako
 
       def self.ambient_refusal: (untyped target, Symbol name) -> String?
 
-      def self.defined_refusal: (untyped target, Symbol name, Module klass) -> String?
+      def self.public_method_refusal: (untyped target, Symbol name, Module klass) -> String?
 
       def self.authored_for?: (untyped target, Symbol name, UnboundMethod method, Module klass) -> bool
 
-      def self.refused: (Symbol name) -> String
+      def self.service_refusal: (Symbol name) -> String
 
       def self.owner_refusal: (untyped target, Symbol name, Module owner) -> String?
 

data/sig/kobako/transport/run.rbs

@@ -9,15 +9,15 @@ module Kobako
 
       def initialize: (entrypoint: Symbol | String, ?args: Array[untyped], ?kwargs: Hash[untyped, untyped]) -> void
 
-      def payload: (Kobako::Codec::_HandleTable handles) -> String
+      def encode_payload: (Kobako::Codec::_HandleTable handles) -> String
 
       private
 
       def normalize_entrypoint: (Symbol | String target) -> Symbol
 
-      def validate_args!: (Array[untyped] args) -> void
+      def validate_args: (Array[untyped] args) -> void
 
-      def validate_kwargs!: (Hash[untyped, untyped] kwargs) -> void
+      def validate_kwargs: (Hash[untyped, untyped] kwargs) -> void
 
       def forged_handle_message: (String slot) -> String
     end

data/sig/kobako/transport.rbs

@@ -11,7 +11,7 @@ module Kobako
     end
 
     # The per-invocation dispatch Proc, taking the routing fields the native
-    # side already decoded off the core envelope and answering the arm and
+    # side already decoded off the Envelope and answering the arm and
     # body it puts on the Reply. Named here so the producer (Context) and the
     # consumer (Runtime) cannot declare it differently.
     type dispatch_proc = ^(String | Integer, String, bool, String, _GuestYielder) -> [Symbol, String, String?]

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: kobako
 version: !ruby/object:Gem::Version
-  version: 0.29.0
+  version: 0.30.0
 platform: aarch64-linux
 authors:
 - Aotokitsuruya
 autorequire: 
 bindir: exe
 cert_chain: []
-date: 2026-10-26 00:00:00.000000000 Z
+date: 2026-11-07 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: msgpack
@@ -47,10 +47,14 @@ files:
 - SECURITY.md
 - crates/kobako-runtime/CHANGELOG.md
 - crates/kobako-runtime/README.md
+- crates/kobako-runtime/tests/linux_baseline/linux-baseline-expected.txt
 - crates/kobako-transport/CHANGELOG.md
 - crates/kobako-transport/README.md
 - crates/kobako-wasmtime/CHANGELOG.md
 - crates/kobako-wasmtime/README.md
+- crates/kobako-wasmtime/src/preview1/testsuite-expected.txt
+- crates/kobako-wasmtime/witx/typenames.witx
+- crates/kobako-wasmtime/witx/wasi_snapshot_preview1.witx
 - data/kobako.wasm
 - lib/kobako.rb
 - lib/kobako/3.3/kobako.so