phronomy 0.27.0 → 0.28.0

data/sig/phronomy/storage/backends/in_memory.rbs

@@ -0,0 +1,9 @@
+module Phronomy
+  module Storage
+    module Backends
+      class InMemory < Backend
+        def initialize: (?resources: Array[Resource]) -> void
+      end
+    end
+  end
+end

data/sig/phronomy/{storage.rbs → storage/contracts.rbs}

@@ -1,18 +1,8 @@
 module Phronomy
-  interface _ContentRepository
-    def put: (String bytes, canonicalization_version: untyped) -> String
-    def fetch: (String content_id) -> String
-    def exist?: (String content_id) -> bool
-    def put_text: (String text) -> String
-    def put_json: (untyped value) -> String
-    def fetch_text: (String content_id) -> String
-    def fetch_json: (String content_id) -> untyped
-    def fetch_many: (Array[String] content_ids) -> Hash[String, String]
-  end
-
   interface _StorageBackend
     def view: () -> Storage::View
     def capabilities: () -> Hash[Symbol, bool | Integer]
+    def transaction_open?: () -> bool
     def transaction: [T] () { (Storage::View) -> T } -> T
   end
 
@@ -163,12 +153,8 @@ module Phronomy
       def initialize: (resources: Array[Resource]) -> void
       def self.validate_capabilities!: (_StorageBackend backend) -> void
       def capabilities: () -> Hash[Symbol, bool | Integer]
+      def transaction_open?: () -> bool
       def transaction: [T] () { (View) -> T } -> T
     end
-    module Backends
-      class InMemory < Backend
-        def initialize: (?resources: Array[Resource]) -> void
-      end
-    end
   end
 end

data/sig/phronomy/tool.rbs

@@ -1,6 +1,25 @@
 module Phronomy
   module Tool
+    module Operation
+      def self.call_async: (tool: Base, args: Hash[untyped, untyped], ?cancellation_token: Concurrency::CancellationToken?, ?config: Hash[untyped, untyped], ?submitter: _ExecutionSubmitter, ?on_full: Symbol) -> _CompletionHandle[untyped]
+      def self.with_result_transform: (singleton(Base) tool_class) { (untyped, String, Hash[untyped, untyped]) -> untyped } -> singleton(Base)
+    end
+    class Schema
+      def initialize: (?untyped schema) ?{ () -> untyped } -> void
+      def json_schema: () -> Hash[String, untyped]
+      def validate: (Hash[String | Symbol, untyped] arguments, ?coerce: bool) -> [Hash[Symbol, untyped]?, String?]
+    end
+    class CallRequest
+      attr_reader id: String
+      attr_reader name: String
+      attr_reader arguments: Hash[String, json_value]
+      attr_reader metadata: Hash[String, json_value]
+      def initialize: (id: String, name: String, arguments: Hash[String | Symbol, untyped], ?metadata: Hash[String | Symbol, untyped]) -> void
+      def self.from_h: (Hash[String | Symbol, untyped] value) -> CallRequest
+      def to_h: () -> Hash[String, untyped]
+    end
     class Base
+      def self.parameter: (String | Symbol name, ?type: String | Symbol, ?description: String?, ?required: bool) -> untyped
       def self.tool_name: (?untyped value) -> String?
       def self.description: (?String text) -> String?
       def self.desc: (?String text) -> String?
@@ -23,26 +42,51 @@ module Phronomy
       def self.redact_params: (*untyped names) -> Array[Symbol]
       def self.max_result_size: (?untyped value) -> untyped
 
+      def description: () -> String?
       def name: () -> String
       def parameters_schema: () -> untyped
       def parameters: () -> Hash[untyped, untyped]
       def provider_options: () -> Hash[untyped, untyped]
       def provider_params: () -> Hash[untyped, untyped]
       def params_schema: () -> untyped
+      def validate_arguments: (Hash[String | Symbol, untyped]? args) -> [Hash[Symbol, untyped]?, String?]
       def call: (Hash[untyped, untyped] args, ?cancellation_token: Concurrency::CancellationToken?) -> untyped
       def call_async: (Hash[untyped, untyped] args, ?cancellation_token: Concurrency::CancellationToken?, ?config: Hash[untyped, untyped]) -> TaskResult[untyped]
       def requires_approval?: () -> untyped
       def tool_origin: () -> Symbol
       def approval_metadata: () -> Hash[untyped, untyped]
       def execute: (**untyped args) -> untyped
+
+      private
+
+      def call_async_operation: (Hash[untyped, untyped]? args, cancellation_token: Concurrency::CancellationToken?, operation_name: String) { (Hash[Symbol, untyped]) -> _CompletionHandle[untyped] } -> _CompletionHandle[untyped]
+      def async_error_value: (Exception error) -> untyped
     end
   end
 
-  module Agent
-    module Context
-      module Capability
-        class Base = ::Phronomy::Tool::Base
+end
+
+module Phronomy
+  module Tool
+    interface _AuthorizationRequest
+      def origin: () -> Symbol
+      def with: (?facts: Hash[untyped, untyped], ?default_decision: Symbol?) -> _AuthorizationRequest
+    end
+
+    module Authorization
+      class Decision
+        attr_reader decision: Symbol
+        attr_reader facts: Hash[untyped, untyped]
+        attr_reader reason: String?
       end
+      def self.call: (request: _AuthorizationRequest, arguments: Hash[untyped, untyped], context: Hash[untyped, untyped], ?facts: (^(Hash[untyped, untyped], Hash[untyped, untyped]) -> Hash[untyped, untyped]?)?, ?requirement: bool? | (^(_AuthorizationRequest) -> bool?), ?policy: (^(_AuthorizationRequest) -> Symbol)?) -> Decision
+    end
+
+    class DefinitionSet
+      attr_reader runtime_tools: Array[untyped]
+      attr_reader definitions: Array[Hash[String, untyped]]
+      def self.build: (tools: Array[untyped], ?runtime_tools: Array[untyped]) -> DefinitionSet
+      def select_definitions: (Array[Hash[String, untyped]] expected_definitions) -> DefinitionSet
     end
   end
 end

data/sig/phronomy/tracing/observation.rbs

@@ -0,0 +1,7 @@
+module Phronomy
+  module Tracing
+    module Observation
+      def self.trace: [A] (String name, ?input: untyped, **untyped meta) { (untyped span) -> [A, LLMAdapter::TokenUsage?] } -> A
+    end
+  end
+end

data/sig/phronomy/vector_store/async/async_client.rbs

@@ -0,0 +1,13 @@
+module Phronomy
+  module VectorStore
+    class AsyncClient
+      # pool is an optional internal execution-pool injection; ordinary callers omit it.
+      def initialize: (backend: Base, ?pool: untyped) -> void
+      def add_async: (id: String, embedding: Array[Float], ?metadata: Hash[untyped, untyped], ?cancellation_token: Concurrency::CancellationToken?, ?timeout: Numeric?) -> TaskResult[untyped]
+      def search_async: (query_embedding: Array[Float], ?k: Integer, ?cancellation_token: Concurrency::CancellationToken?, ?timeout: Numeric?) -> TaskResult[Array[Hash[Symbol, untyped]]]
+      def remove_async: (id: String, ?cancellation_token: Concurrency::CancellationToken?, ?timeout: Numeric?) -> TaskResult[untyped]
+      def clear_async: (?cancellation_token: Concurrency::CancellationToken?, ?timeout: Numeric?) -> TaskResult[untyped]
+    end
+
+  end
+end

data/sig/phronomy/vector_store/base.rbs

@@ -0,0 +1,23 @@
+module Phronomy
+  module VectorStore
+    class InvalidResultError < Phronomy::Error
+    end
+
+    class Base
+      def add: (id: String, embedding: Array[Numeric], ?metadata: Hash[untyped, untyped], ?cancellation_token: _CancellationSignal?) -> self
+      def search: (query_embedding: Array[Numeric], ?k: Integer | String, ?cancellation_token: _CancellationSignal?) -> Array[Hash[Symbol, untyped]]
+      def remove: (id: String) -> self
+      def clear: () -> self
+      def size: () -> Integer
+
+      # Protected extension SPI at runtime; RBS has no protected visibility.
+      private
+      def embedding_dimension: () -> Integer?
+      def perform_add: (id: String, embedding: Array[Float], metadata: Hash[untyped, untyped], cancellation_token: _CancellationSignal?) -> untyped
+      def perform_search: (query_embedding: Array[Float], k: Integer, cancellation_token: _CancellationSignal?) -> Array[Hash[Symbol, untyped]]
+      def perform_remove: (id: String) -> untyped
+      def perform_clear: () -> untyped
+      def perform_size: () -> Integer
+    end
+  end
+end

data/sig/phronomy/workflow/execution/workflow_execution_environment.rbs

@@ -0,0 +1,14 @@
+module Phronomy
+  # Private connection selected by composition, not a public application API.
+  class WorkflowExecutionEnvironment
+    def self.install_provider: (^() -> WorkflowExecutionEnvironment provider) -> untyped
+    def self.current: () -> WorkflowExecutionEnvironment
+    def registry: () -> untyped
+    def existing_registry: () -> untyped
+    def executing?: () -> bool
+    def submit: [V] (**untyped options) { () -> V } -> TaskResult[V]
+    def compile_transitions: (**untyped definition) -> untyped
+    def build_session: (**untyped options) -> untyped
+    def register_session: (untyped session, completion: TaskResult[untyped]) -> untyped
+  end
+end

data/sig/phronomy/workflow/runtime_binding/workflow_terminal_policy.rbs

@@ -0,0 +1,7 @@
+module Phronomy
+  class WorkflowTerminalPolicy
+    def start: (terminal_type: Symbol, context: untyped, event_sink: _FSMEventSink) -> untyped
+    def handles?: (Event event) -> bool
+    def decision_for: (Event event) -> TerminalDecision
+  end
+end

data/sig/phronomy/workflow/store.rbs

@@ -0,0 +1,8 @@
+module Phronomy
+  interface _WorkflowStateRepository
+    def load: (String workflow_instance_id) -> Hash[untyped, untyped]?
+    def save: (String workflow_instance_id, expected_revision: Integer?, snapshot: Hash[untyped, untyped]) -> Integer
+    def delete: (String workflow_instance_id, expected_revision: Integer) -> untyped
+  end
+
+end

data/sig/phronomy/workflow.rbs

@@ -8,7 +8,7 @@ module Phronomy
   end
 
   class Workflow
-    def self.define: (Class context_class, ?persistence: Persistence?) { () -> void } -> Workflow
+    def self.define: (Class context_class, ?persistence: _WorkflowStateRepository?) { () -> void } -> Workflow
 
     def invoke: (untyped input, ?config: Hash[untyped, untyped], ?invocation_context: untyped) -> untyped
     def invoke_async: (untyped input, ?config: Hash[untyped, untyped], ?invocation_context: untyped) -> TaskResult[untyped]

data/sig/phronomy.rbs

@@ -7,56 +7,7 @@ module Phronomy
   class ParseError < Error
   end
 
-  class RecursionLimitError < Error
-  end
-
   class ToolError < Error
   end
 
-  class TimeoutError < Error
-  end
-
-  class ConfigurationError < Error
-  end
-
-  class HandoffError < Error
-  end
-
-  class TransportError < Error
-  end
-
-  class RateLimitError < TransportError
-  end
-
-  class AuthenticationError < TransportError
-  end
-
-  class ContextLengthError < Error
-  end
-
-  class CancellationError < Error
-  end
-
-  class EventLoopReentrancyError < Error
-  end
-
-  class AgentAlreadyExistsError < Error
-  end
-
-  class AgentPurgedError < Error
-  end
-
-  class PoolShutdownError < Error
-  end
-
-  class BackpressureError < Error
-  end
-
-  class Configuration
-    attr_accessor llm_adapter: LLMAdapter::Base
-    attr_accessor before_llm_input: Agent::_BeforeLLMInputHook?
-  end
-
-  def self.configuration: () -> Configuration
-  def self.configure: () { (Configuration) -> void } -> void
 end