igniter 0.3.1 → 0.4.3

data/lib/igniter/server/router.rb

@@ -0,0 +1,75 @@
+# frozen_string_literal: true
+
+require "json"
+
+module Igniter
+  module Server
+    # Transport-agnostic HTTP router.
+    # Receives (method, path, body_string) and returns { status:, body:, headers: }.
+    # Used by both HttpServer (TCPServer) and RackApp.
+    class Router
+      ROUTES = [
+        { method: "GET",  pattern: %r{\A/v1/health\z}, handler: :health },
+        { method: "GET",  pattern: %r{\A/v1/contracts\z},                             handler: :contracts },
+        { method: "POST", pattern: %r{\A/v1/contracts/(?<name>[^/]+)/execute\z},      handler: :execute },
+        { method: "POST", pattern: %r{\A/v1/contracts/(?<name>[^/]+)/events\z},       handler: :event },
+        { method: "GET",  pattern: %r{\A/v1/executions/(?<id>[^/]+)\z},               handler: :status }
+      ].freeze
+
+      def initialize(config)
+        @config = config
+      end
+
+      # Main dispatch entry point — called by both WEBrick and Rack adapters.
+      def call(http_method, path, body_str) # rubocop:disable Metrics/MethodLength,Metrics/AbcSize
+        method_uc = http_method.to_s.upcase
+        ROUTES.each do |route|
+          next unless route[:method] == method_uc
+
+          match = route[:pattern].match(path)
+          next unless match
+
+          params = match.named_captures.transform_keys(&:to_sym)
+          body   = parse_body(body_str)
+
+          handler = build_handler(route[:handler])
+          return handler.call(params: params, body: body)
+        end
+
+        not_found_response(path)
+      rescue JSON::ParserError => e
+        { status: 400, body: JSON.generate({ error: "Invalid JSON: #{e.message}" }), headers: json_ct }
+      end
+
+      private
+
+      def build_handler(key)
+        registry = @config.registry
+        store    = @config.store
+        node_url = "http://#{@config.host}:#{@config.port}"
+
+        case key
+        when :health     then Handlers::HealthHandler.new(registry, store, node_url: node_url)
+        when :contracts  then Handlers::ContractsHandler.new(registry, store)
+        when :execute    then Handlers::ExecuteHandler.new(registry, store)
+        when :event      then Handlers::EventHandler.new(registry, store)
+        when :status     then Handlers::StatusHandler.new(registry, store)
+        end
+      end
+
+      def parse_body(str)
+        return {} if str.nil? || str.strip.empty?
+
+        JSON.parse(str)
+      end
+
+      def not_found_response(path)
+        { status: 404, body: JSON.generate({ error: "Not found: #{path}" }), headers: json_ct }
+      end
+
+      def json_ct
+        { "Content-Type" => "application/json" }
+      end
+    end
+  end
+end

data/lib/igniter/server.rb

@@ -0,0 +1,67 @@
+# frozen_string_literal: true
+
+require "igniter"
+require "json"
+
+# Define the top-level Server module and Error class first,
+# so subfiles can inherit from Igniter::Server::Error.
+module Igniter
+  module Server
+    class Error < Igniter::Error; end
+  end
+end
+
+require_relative "server/registry"
+require_relative "server/config"
+require_relative "server/router"
+require_relative "server/http_server"
+require_relative "server/rack_app"
+require_relative "server/client"
+require_relative "server/handlers/base"
+require_relative "server/handlers/health_handler"
+require_relative "server/handlers/contracts_handler"
+require_relative "server/handlers/execute_handler"
+require_relative "server/handlers/event_handler"
+require_relative "server/handlers/status_handler"
+
+module Igniter
+  module Server
+    class << self
+      def config
+        @config ||= Config.new
+      end
+
+      def configure
+        yield config
+        self
+      end
+
+      # Start the built-in HTTP server (blocking).
+      def start(**options)
+        apply_options!(options)
+        HttpServer.new(config).start
+      end
+
+      # Return a Rack-compatible application for use with Puma/Unicorn/etc.
+      def rack_app
+        RackApp.new(config)
+      end
+
+      # Reset configuration (useful in tests).
+      def reset!
+        @config = nil
+      end
+
+      private
+
+      def apply_options!(options) # rubocop:disable Metrics/AbcSize
+        config.port  = options[:port]  if options[:port]
+        config.host  = options[:host]  if options[:host]
+        config.store = options[:store] if options[:store]
+        return unless options[:contracts].is_a?(Hash)
+
+        options[:contracts].each { |name, klass| config.register(name.to_s, klass) }
+      end
+    end
+  end
+end

data/lib/igniter/stream_loop.rb

@@ -0,0 +1,80 @@
+# frozen_string_literal: true
+
+module Igniter
+  # Runs an Igniter contract in a continuous tick-loop.
+  #
+  # Each tick resolves the contract with the current inputs and delivers the
+  # result to the on_result callback. Useful for sensor polling, feed
+  # processing, or any recurring computation.
+  #
+  #   stream = Igniter::StreamLoop.new(
+  #     contract:      SensorContract,
+  #     tick_interval: 0.1,
+  #     inputs:        { sensor_id: "temp-1", threshold: 25.0 },
+  #     on_result:     ->(result) { puts result.status },
+  #     on_error:      ->(err)    { warn err.message }
+  #   )
+  #
+  #   stream.start
+  #   stream.update_inputs(threshold: 30.0)  # hot-swap inputs between ticks
+  #   stream.stop
+  #
+  class StreamLoop
+    def initialize(contract:, tick_interval: 1.0, inputs: {}, on_result: nil, on_error: nil)
+      @contract_class = contract
+      @tick_interval  = tick_interval.to_f
+      @on_result      = on_result
+      @on_error       = on_error
+      @mutex          = Mutex.new
+      @current_inputs = inputs.dup
+      @running        = false
+      @thread         = nil
+    end
+
+    # Start the loop in a background thread. Returns self.
+    def start
+      @running = true
+      @thread  = Thread.new { loop_body }
+      @thread.abort_on_exception = false
+      self
+    end
+
+    # Stop the loop and wait for the current tick to finish.
+    def stop(timeout: 5)
+      @running = false
+      @thread&.join(timeout)
+      self
+    end
+
+    # Merge +new_inputs+ into the current input set. Takes effect on the next tick.
+    def update_inputs(new_inputs)
+      @mutex.synchronize { @current_inputs.merge!(new_inputs) }
+      self
+    end
+
+    def alive?
+      @thread&.alive? || false
+    end
+
+    private
+
+    def loop_body
+      while @running
+        tick_start = Process.clock_gettime(Process::CLOCK_MONOTONIC)
+        run_tick
+        elapsed = Process.clock_gettime(Process::CLOCK_MONOTONIC) - tick_start
+        sleep_for = [@tick_interval - elapsed, 0].max
+        sleep(sleep_for) if sleep_for.positive? && @running
+      end
+    end
+
+    def run_tick
+      inputs   = @mutex.synchronize { @current_inputs.dup }
+      contract = @contract_class.new(**inputs)
+      contract.resolve_all
+      @on_result&.call(contract.result)
+    rescue StandardError => e
+      @on_error&.call(e)
+    end
+  end
+end

data/lib/igniter/supervisor.rb

@@ -0,0 +1,167 @@
+# frozen_string_literal: true
+
+module Igniter
+  # Supervises a group of agents and restarts them when they crash.
+  #
+  # Subclass Supervisor and declare children with the class-level DSL:
+  #
+  #   class AppSupervisor < Igniter::Supervisor
+  #     strategy     :one_for_one   # default
+  #     max_restarts 5, within: 60  # default
+  #
+  #     children do |c|
+  #       c.worker :counter, CounterAgent
+  #       c.worker :logger,  LoggerAgent, initial_state: { level: :info }
+  #     end
+  #   end
+  #
+  #   sup = AppSupervisor.start
+  #   sup.child(:counter).send(:increment, by: 1)
+  #   sup.stop
+  #
+  # Restart strategies:
+  #   :one_for_one  — restart only the crashed agent (default)
+  #   :one_for_all  — stop all agents and restart them all when any one crashes
+  #
+  # Restart budget: if more than +max_restarts+ crashes happen within +within+
+  # seconds, the supervisor logs the failure and stops trying to restart.
+  #
+  class Supervisor
+    class RestartBudgetExceeded < Igniter::Error; end
+
+    # ── ChildSpec ────────────────────────────────────────────────────────────
+
+    ChildSpec = Struct.new(:name, :agent_class, :init_opts, keyword_init: true)
+
+    class ChildSpecBuilder
+      attr_reader :specs
+
+      def initialize
+        @specs = []
+      end
+
+      def worker(name, agent_class, **opts)
+        @specs << ChildSpec.new(name: name.to_sym, agent_class: agent_class, init_opts: opts)
+      end
+    end
+
+    # ── Class-level defaults ─────────────────────────────────────────────────
+
+    @strategy        = :one_for_one
+    @max_restarts    = 5
+    @restart_window  = 60
+    @spec_builder    = ChildSpecBuilder.new
+
+    class << self
+      def inherited(subclass)
+        super
+        subclass.instance_variable_set(:@strategy,       :one_for_one)
+        subclass.instance_variable_set(:@max_restarts,   5)
+        subclass.instance_variable_set(:@restart_window, 60)
+        subclass.instance_variable_set(:@spec_builder,   ChildSpecBuilder.new)
+      end
+
+      def strategy(sym)
+        @strategy = sym
+      end
+
+      def max_restarts(count, within:)
+        @max_restarts   = count
+        @restart_window = within
+      end
+
+      def children(&block)
+        block.call(@spec_builder)
+      end
+
+      def child_specs
+        @spec_builder.specs
+      end
+
+      def start
+        new.tap(&:start_all)
+      end
+    end
+
+    # ── Instance ─────────────────────────────────────────────────────────────
+
+    def initialize
+      @refs          = {}
+      @specs_by_name = {}
+      @restart_log   = []
+      @mutex         = Mutex.new
+    end
+
+    def start_all
+      self.class.child_specs.each do |spec|
+        @specs_by_name[spec.name] = spec
+        start_child(spec)
+      end
+    end
+
+    # Return the Ref for a named child. Returns nil if not found.
+    def child(name)
+      @mutex.synchronize { @refs[name.to_sym] }
+    end
+
+    # Stop all children gracefully.
+    def stop
+      refs = @mutex.synchronize { @refs.values.dup }
+      refs.each do |ref|
+        ref.stop
+      rescue StandardError
+        nil
+      end
+      self
+    end
+
+    private
+
+    def start_child(spec)
+      opts = spec.init_opts.dup
+      opts[:on_crash] = ->(error) { handle_crash(spec, error) }
+      ref = spec.agent_class.start(**opts)
+      @mutex.synchronize { @refs[spec.name] = ref }
+      ref
+    end
+
+    def handle_crash(spec, _error)
+      check_restart_budget!
+
+      case self.class.instance_variable_get(:@strategy)
+      when :one_for_one
+        start_child(spec)
+      when :one_for_all
+        stop_all_children
+        self.class.child_specs.each { |s| start_child(s) }
+      end
+    rescue RestartBudgetExceeded => e
+      warn "Igniter::Supervisor #{self.class.name}: #{e.message}"
+    end
+
+    def check_restart_budget! # rubocop:disable Metrics/MethodLength
+      now    = Process.clock_gettime(Process::CLOCK_MONOTONIC)
+      window = self.class.instance_variable_get(:@restart_window).to_f
+      max    = self.class.instance_variable_get(:@max_restarts)
+
+      @mutex.synchronize do
+        @restart_log.reject! { |t| now - t > window }
+        @restart_log << now
+
+        if @restart_log.size > max
+          raise RestartBudgetExceeded,
+                "#{@restart_log.size} crashes in #{window}s (max=#{max})"
+        end
+      end
+    end
+
+    def stop_all_children
+      refs = @mutex.synchronize { @refs.values.dup }
+      refs.each do |ref|
+        ref.stop(timeout: 2)
+      rescue StandardError
+        nil
+      end
+    end
+  end
+end

data/lib/igniter/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Igniter
-  VERSION = "0.3.1"
+  VERSION = "0.4.3"
 end

data/lib/igniter.rb

@@ -5,6 +5,8 @@ require_relative "igniter/errors"
 require_relative "igniter/type_system"
 require_relative "igniter/executor"
 require_relative "igniter/executor_registry"
+require_relative "igniter/effect"
+require_relative "igniter/effect_registry"
 require_relative "igniter/model"
 require_relative "igniter/compiler"
 require_relative "igniter/events"
@@ -32,6 +34,14 @@ module Igniter
       executor_registry.register(key, executor_class, **metadata)
     end
 
+    def effect_registry
+      @effect_registry ||= EffectRegistry.new
+    end
+
+    def register_effect(key, adapter_class, **metadata)
+      effect_registry.register(key, adapter_class, **metadata)
+    end
+
     def compile(&block)
       DSL::ContractBuilder.compile(&block)
     end
@@ -39,5 +49,9 @@ module Igniter
     def compile_schema(schema, name: nil)
       DSL::SchemaBuilder.compile(schema, name: name)
     end
+
+    def configure
+      yield self
+    end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: igniter
 version: !ruby/object:Gem::Version
-  version: 0.3.1
+  version: 0.4.3
 platform: ruby
 authors:
 - Alexander
@@ -54,20 +54,38 @@ files:
 - docs/BACKLOG.md
 - docs/BRANCHES_V1.md
 - docs/COLLECTIONS_V1.md
+- docs/DISTRIBUTED_CONTRACTS_V1.md
 - docs/EXECUTION_MODEL_V2.md
 - docs/IGNITER_CONCEPTS.md
+- docs/LLM_V1.md
 - docs/PATTERNS.md
+- docs/SERVER_V1.md
 - docs/STORE_ADAPTERS.md
 - examples/README.md
+- examples/agents.rb
 - examples/async_store.rb
 - examples/basic_pricing.rb
 - examples/collection.rb
 - examples/collection_partial_failure.rb
 - examples/composition.rb
 - examples/diagnostics.rb
+- examples/differential.rb
+- examples/distributed_server.rb
+- examples/distributed_workflow.rb
+- examples/effects.rb
+- examples/invariants.rb
 - examples/marketing_ergonomics.rb
+- examples/order_pipeline.rb
+- examples/provenance.rb
 - examples/ringcentral_routing.rb
+- examples/saga.rb
 - lib/igniter.rb
+- lib/igniter/agent.rb
+- lib/igniter/agent/mailbox.rb
+- lib/igniter/agent/message.rb
+- lib/igniter/agent/ref.rb
+- lib/igniter/agent/runner.rb
+- lib/igniter/agent/state_holder.rb
 - lib/igniter/compiler.rb
 - lib/igniter/compiler/compiled_graph.rb
 - lib/igniter/compiler/graph_compiler.rb
@@ -75,9 +93,11 @@ files:
 - lib/igniter/compiler/validation_context.rb
 - lib/igniter/compiler/validation_pipeline.rb
 - lib/igniter/compiler/validator.rb
+- lib/igniter/compiler/validators/await_validator.rb
 - lib/igniter/compiler/validators/callable_validator.rb
 - lib/igniter/compiler/validators/dependencies_validator.rb
 - lib/igniter/compiler/validators/outputs_validator.rb
+- lib/igniter/compiler/validators/remote_validator.rb
 - lib/igniter/compiler/validators/type_compatibility_validator.rb
 - lib/igniter/compiler/validators/uniqueness_validator.rb
 - lib/igniter/contract.rb
@@ -87,35 +107,84 @@ files:
 - lib/igniter/diagnostics/introspection/formatters/mermaid_formatter.rb
 - lib/igniter/diagnostics/introspection/formatters/text_tree_formatter.rb
 - lib/igniter/diagnostics/report.rb
+- lib/igniter/differential.rb
+- lib/igniter/differential/divergence.rb
+- lib/igniter/differential/formatter.rb
+- lib/igniter/differential/report.rb
+- lib/igniter/differential/runner.rb
 - lib/igniter/dsl.rb
 - lib/igniter/dsl/contract_builder.rb
 - lib/igniter/dsl/schema_builder.rb
+- lib/igniter/effect.rb
+- lib/igniter/effect_registry.rb
 - lib/igniter/errors.rb
 - lib/igniter/events.rb
 - lib/igniter/events/bus.rb
 - lib/igniter/events/event.rb
+- lib/igniter/execution_report.rb
+- lib/igniter/execution_report/builder.rb
+- lib/igniter/execution_report/formatter.rb
+- lib/igniter/execution_report/node_entry.rb
+- lib/igniter/execution_report/report.rb
 - lib/igniter/executor.rb
 - lib/igniter/executor_registry.rb
 - lib/igniter/extensions.rb
 - lib/igniter/extensions/auditing.rb
 - lib/igniter/extensions/auditing/timeline.rb
+- lib/igniter/extensions/differential.rb
+- lib/igniter/extensions/execution_report.rb
 - lib/igniter/extensions/introspection.rb
 - lib/igniter/extensions/introspection/graph_formatter.rb
 - lib/igniter/extensions/introspection/plan_formatter.rb
 - lib/igniter/extensions/introspection/runtime_formatter.rb
+- lib/igniter/extensions/invariants.rb
+- lib/igniter/extensions/provenance.rb
 - lib/igniter/extensions/reactive.rb
 - lib/igniter/extensions/reactive/engine.rb
 - lib/igniter/extensions/reactive/matcher.rb
 - lib/igniter/extensions/reactive/reaction.rb
+- lib/igniter/extensions/saga.rb
+- lib/igniter/integrations/agents.rb
+- lib/igniter/integrations/llm.rb
+- lib/igniter/integrations/llm/config.rb
+- lib/igniter/integrations/llm/context.rb
+- lib/igniter/integrations/llm/executor.rb
+- lib/igniter/integrations/llm/providers/anthropic.rb
+- lib/igniter/integrations/llm/providers/base.rb
+- lib/igniter/integrations/llm/providers/ollama.rb
+- lib/igniter/integrations/llm/providers/openai.rb
+- lib/igniter/integrations/rails.rb
+- lib/igniter/integrations/rails/cable_adapter.rb
+- lib/igniter/integrations/rails/contract_job.rb
+- lib/igniter/integrations/rails/generators/contract/contract_generator.rb
+- lib/igniter/integrations/rails/generators/install/install_generator.rb
+- lib/igniter/integrations/rails/railtie.rb
+- lib/igniter/integrations/rails/webhook_concern.rb
+- lib/igniter/invariant.rb
 - lib/igniter/model.rb
+- lib/igniter/model/await_node.rb
 - lib/igniter/model/branch_node.rb
 - lib/igniter/model/collection_node.rb
 - lib/igniter/model/composition_node.rb
 - lib/igniter/model/compute_node.rb
+- lib/igniter/model/effect_node.rb
 - lib/igniter/model/graph.rb
 - lib/igniter/model/input_node.rb
 - lib/igniter/model/node.rb
 - lib/igniter/model/output_node.rb
+- lib/igniter/model/remote_node.rb
+- lib/igniter/property_testing.rb
+- lib/igniter/property_testing/formatter.rb
+- lib/igniter/property_testing/generators.rb
+- lib/igniter/property_testing/result.rb
+- lib/igniter/property_testing/run.rb
+- lib/igniter/property_testing/runner.rb
+- lib/igniter/provenance.rb
+- lib/igniter/provenance/builder.rb
+- lib/igniter/provenance/lineage.rb
+- lib/igniter/provenance/node_trace.rb
+- lib/igniter/provenance/text_formatter.rb
+- lib/igniter/registry.rb
 - lib/igniter/runtime.rb
 - lib/igniter/runtime/cache.rb
 - lib/igniter/runtime/collection_result.rb
@@ -136,6 +205,27 @@ files:
 - lib/igniter/runtime/stores/file_store.rb
 - lib/igniter/runtime/stores/memory_store.rb
 - lib/igniter/runtime/stores/redis_store.rb
+- lib/igniter/saga.rb
+- lib/igniter/saga/compensation.rb
+- lib/igniter/saga/compensation_record.rb
+- lib/igniter/saga/executor.rb
+- lib/igniter/saga/formatter.rb
+- lib/igniter/saga/result.rb
+- lib/igniter/server.rb
+- lib/igniter/server/client.rb
+- lib/igniter/server/config.rb
+- lib/igniter/server/handlers/base.rb
+- lib/igniter/server/handlers/contracts_handler.rb
+- lib/igniter/server/handlers/event_handler.rb
+- lib/igniter/server/handlers/execute_handler.rb
+- lib/igniter/server/handlers/health_handler.rb
+- lib/igniter/server/handlers/status_handler.rb
+- lib/igniter/server/http_server.rb
+- lib/igniter/server/rack_app.rb
+- lib/igniter/server/registry.rb
+- lib/igniter/server/router.rb
+- lib/igniter/stream_loop.rb
+- lib/igniter/supervisor.rb
 - lib/igniter/type_system.rb
 - lib/igniter/version.rb
 - sig/igniter.rbs
@@ -161,7 +251,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.7.2
+rubygems_version: 4.0.9
 specification_version: 4
 summary: Declarative dependency-graph runtime for business logic
 test_files: []