igniter 0.5.0 → 0.5.2

data/lib/igniter/compiler/validators/dependencies_validator.rb

@@ -1,241 +0,0 @@
-# frozen_string_literal: true
-
-module Igniter
-  module Compiler
-    module Validators
-      class DependenciesValidator
-        def self.call(context)
-          new(context).call
-        end
-
-        def initialize(context)
-          @context = context
-        end
-
-        def call # rubocop:disable Metrics/AbcSize,Metrics/CyclomaticComplexity
-          @context.runtime_nodes.each do |node|
-            next if node.kind == :await
-
-            validate_composition_node!(node) if node.kind == :composition
-            validate_branch_node!(node) if node.kind == :branch
-            validate_collection_node!(node) if node.kind == :collection
-            validate_aggregate_node!(node)   if node.kind == :aggregate
-
-            node.dependencies.each do |dependency_name|
-              next if @context.dependency_resolvable?(dependency_name)
-
-              raise @context.validation_error(node, "Unknown dependency '#{dependency_name}' for node '#{node.name}'")
-            end
-          end
-        end
-
-        private
-
-        def validate_composition_node!(node)
-          contract_class = node.contract_class
-
-          unless contract_class.is_a?(Class) && contract_class <= Igniter::Contract
-            raise @context.validation_error(node, "Composition '#{node.name}' must reference an Igniter::Contract subclass")
-          end
-
-          unless contract_class.compiled_graph
-            raise @context.validation_error(node, "Composition '#{node.name}' references an uncompiled contract")
-          end
-
-          validate_composition_input_mapping!(node, contract_class.compiled_graph)
-          validate_composition_cycle!(node)
-        end
-
-        def validate_composition_input_mapping!(node, child_graph)
-          child_input_nodes = child_graph.nodes.select { |child_node| child_node.kind == :input }
-          child_input_names = child_input_nodes.map(&:name)
-
-          unknown_inputs = node.input_mapping.keys - child_input_names
-          unless unknown_inputs.empty?
-            raise @context.validation_error(
-              node,
-              "Composition '#{node.name}' maps unknown child inputs: #{unknown_inputs.sort.join(', ')}"
-            )
-          end
-
-          missing_required_inputs = child_input_nodes
-            .select(&:required?)
-            .reject { |child_input| node.input_mapping.key?(child_input.name) }
-            .map(&:name)
-
-          return if missing_required_inputs.empty?
-
-          raise @context.validation_error(
-            node,
-            "Composition '#{node.name}' is missing mappings for required child inputs: #{missing_required_inputs.sort.join(', ')}"
-          )
-        end
-
-        def validate_branch_node!(node)
-          validate_branch_structure!(node)
-
-          node.possible_contracts.each do |contract_class|
-            validate_branch_contract!(node, contract_class)
-            validate_branch_input_mapping!(node, contract_class.compiled_graph)
-          end
-        end
-
-        def validate_branch_structure!(node)
-          raise @context.validation_error(node, "Branch '#{node.name}' must define at least one `on` case") if node.cases.empty?
-          raise @context.validation_error(node, "Branch '#{node.name}' must define a `default` contract") unless node.default_contract
-
-          duplicate_matches = node.cases.group_by { |entry| entry[:match] }.select { |_match, entries| entries.size > 1 }.keys
-          return if duplicate_matches.empty?
-
-          raise @context.validation_error(
-            node,
-            "Branch '#{node.name}' has duplicate case values: #{duplicate_matches.map(&:inspect).join(', ')}"
-          )
-        end
-
-        def validate_branch_contract!(node, contract_class)
-          unless contract_class.is_a?(Class) && contract_class <= Igniter::Contract
-            raise @context.validation_error(node, "Branch '#{node.name}' must reference Igniter::Contract subclasses")
-          end
-
-          unless contract_class.compiled_graph
-            raise @context.validation_error(node, "Branch '#{node.name}' references an uncompiled contract")
-          end
-        end
-
-        def validate_branch_input_mapping!(node, child_graph)
-          return if node.input_mapper?
-
-          child_input_nodes = child_graph.nodes.select { |child_node| child_node.kind == :input }
-          child_input_names = child_input_nodes.map(&:name)
-
-          unknown_inputs = node.input_mapping.keys - child_input_names
-          unless unknown_inputs.empty?
-            raise @context.validation_error(
-              node,
-              "Branch '#{node.name}' maps unknown child inputs: #{unknown_inputs.sort.join(', ')}"
-            )
-          end
-
-          missing_required_inputs = child_input_nodes
-            .select(&:required?)
-            .reject { |child_input| node.input_mapping.key?(child_input.name) }
-            .map(&:name)
-
-          return if missing_required_inputs.empty?
-
-          raise @context.validation_error(
-            node,
-            "Branch '#{node.name}' is missing mappings for required child inputs: #{missing_required_inputs.sort.join(', ')}"
-          )
-        end
-
-        def validate_composition_cycle!(node)
-          child_contract = node.contract_class
-          return unless child_contract.respond_to?(:compiled_graph) && child_contract.compiled_graph
-
-          current_name = @context.graph.name
-          # Skip anonymous contracts to avoid false positives when multiple
-          # anonymous contracts share the same name "AnonymousContract"
-          return if current_name == "AnonymousContract"
-
-          validate_direct_cycle!(node, child_contract, current_name)
-          validate_grandchild_cycles!(node, child_contract, current_name)
-        end
-
-        def validate_direct_cycle!(node, child_contract, current_name)
-          return unless child_contract.compiled_graph.name == current_name
-
-          raise @context.validation_error(
-            node,
-            "Composition cycle: '#{node.name}' composes '#{child_contract.name}' " \
-            "which is the same contract ('#{current_name}')"
-          )
-        end
-
-        def validate_grandchild_cycles!(node, child_contract, current_name) # rubocop:disable Metrics/AbcSize
-          child_contract.compiled_graph.nodes.select { |n| n.kind == :composition }.each do |grandchild|
-            next unless grandchild.contract_class.respond_to?(:compiled_graph)
-            next unless grandchild.contract_class.compiled_graph
-            next unless grandchild.contract_class.compiled_graph.name == current_name
-
-            raise @context.validation_error(
-              node,
-              "Composition cycle: '#{node.name}' -> '#{child_contract.name}' -> " \
-              "'#{grandchild.contract_class.name}' loops back to '#{current_name}'"
-            )
-          end
-        end
-
-        def validate_collection_node!(node)
-          unless node.contract_class.is_a?(Class) && node.contract_class <= Igniter::Contract
-            raise @context.validation_error(node, "Collection '#{node.name}' must reference an Igniter::Contract subclass")
-          end
-
-          unless node.contract_class.compiled_graph
-            raise @context.validation_error(node, "Collection '#{node.name}' references an uncompiled contract")
-          end
-
-          unless %i[collect fail_fast incremental].include?(node.mode)
-            raise @context.validation_error(node, "Collection '#{node.name}' mode must be `:collect`, `:fail_fast`, or `:incremental`")
-          end
-
-          validate_window_option!(node) if node.window
-
-          child_input_names = node.contract_class.compiled_graph.nodes.select { |child_node| child_node.kind == :input }.map(&:name)
-          return if child_input_names.include?(node.key_name)
-
-          raise @context.validation_error(
-            node,
-            "Collection '#{node.name}' key '#{node.key_name}' must be a child contract input"
-          )
-        end
-
-        def validate_window_option!(node) # rubocop:disable Metrics/MethodLength
-          window = node.window
-          unless window.is_a?(Hash)
-            raise @context.validation_error(node, "Collection '#{node.name}' window: must be a Hash")
-          end
-
-          if window.key?(:last)
-            unless window[:last].is_a?(Integer) && window[:last].positive?
-              raise @context.validation_error(node, "Collection '#{node.name}' window: { last: } must be a positive Integer")
-            end
-          elsif window.key?(:seconds)
-            unless window.key?(:field)
-              raise @context.validation_error(node, "Collection '#{node.name}' window: { seconds: } requires a :field key")
-            end
-          else
-            raise @context.validation_error(node, "Collection '#{node.name}' window: must use :last or :seconds")
-          end
-        end
-
-        def validate_aggregate_node!(node)
-          source_sym = node.source_collection
-          source = @context.runtime_nodes.find { |n| n.name == source_sym }
-
-          unless source
-            raise @context.validation_error(
-              node,
-              "Aggregate '#{node.name}' references unknown collection '#{source_sym}'"
-            )
-          end
-
-          unless source.kind == :collection
-            raise @context.validation_error(
-              node,
-              "Aggregate '#{node.name}': source '#{source_sym}' must be a collection node, got :#{source.kind}"
-            )
-          end
-
-          return if source.mode == :incremental
-
-          raise @context.validation_error(
-            node,
-            "Aggregate '#{node.name}': source '#{source_sym}' must use mode: :incremental"
-          )
-        end
-      end
-    end
-  end
-end

data/lib/igniter/compiler/validators/outputs_validator.rb

@@ -1,66 +0,0 @@
-# frozen_string_literal: true
-
-module Igniter
-  module Compiler
-    module Validators
-      class OutputsValidator
-        def self.call(context)
-          new(context).call
-        end
-
-        def initialize(context)
-          @context = context
-        end
-
-        def call
-          raise ValidationError, "Graph must define at least one output" if @context.outputs.empty?
-
-          @context.outputs.each { |output| validate_output_source!(output) }
-        end
-
-        private
-
-        def validate_output_source!(output)
-          if output.composition_output?
-            validate_nested_output_source!(output)
-          else
-            return if @context.runtime_nodes_by_name.key?(output.source)
-
-            raise @context.validation_error(output, "Unknown output source '#{output.source}' for output '#{output.name}'")
-          end
-        end
-
-        def validate_nested_output_source!(output)
-          parent_node = @context.runtime_nodes_by_name[output.source_root]
-          unless %i[composition branch].include?(parent_node&.kind)
-            raise @context.validation_error(
-              output,
-              "Output '#{output.name}' references unknown nested source '#{output.source}'"
-            )
-          end
-
-          validate_nested_output_presence!(output, parent_node)
-        end
-
-        def validate_nested_output_presence!(output, parent_node)
-          child_graphs =
-            case parent_node.kind
-            when :composition
-              [parent_node.contract_class.compiled_graph]
-            when :branch
-              parent_node.possible_contracts.map(&:compiled_graph)
-            else
-              []
-            end
-
-          return if child_graphs.all? { |graph| graph.outputs_by_name.key?(output.child_output_name) }
-
-          raise @context.validation_error(
-            output,
-            "Output '#{output.name}' references unknown child output '#{output.child_output_name}' on nested source '#{parent_node.name}'"
-          )
-        end
-      end
-    end
-  end
-end

data/lib/igniter/compiler/validators/remote_validator.rb

@@ -1,60 +0,0 @@
-# frozen_string_literal: true
-
-module Igniter
-  module Compiler
-    module Validators
-      class RemoteValidator
-        def self.call(context)
-          new(context).call
-        end
-
-        def initialize(context)
-          @context = context
-        end
-
-        def call
-          @context.runtime_nodes.each do |node|
-            next unless node.kind == :remote
-
-            validate_url!(node)
-            validate_contract_name!(node)
-            validate_dependencies!(node)
-          end
-        end
-
-        private
-
-        def validate_url!(node)
-          return if node.routing_mode != :static
-
-          return if node.node_url.start_with?("http://", "https://")
-
-          raise @context.validation_error(
-            node,
-            "remote :#{node.name} has invalid node: URL '#{node.node_url}'. Must start with http:// or https://"
-          )
-        end
-
-        def validate_contract_name!(node)
-          return unless node.contract_name.strip.empty?
-
-          raise @context.validation_error(
-            node,
-            "remote :#{node.name} requires a non-empty contract: name"
-          )
-        end
-
-        def validate_dependencies!(node)
-          node.dependencies.each do |dep_name|
-            next if @context.dependency_resolvable?(dep_name)
-
-            raise @context.validation_error(
-              node,
-              "remote :#{node.name} depends on '#{dep_name}' which is not defined in the graph"
-            )
-          end
-        end
-      end
-    end
-  end
-end

data/lib/igniter/compiler/validators/type_compatibility_validator.rb

@@ -1,84 +0,0 @@
-# frozen_string_literal: true
-
-module Igniter
-  module Compiler
-    module Validators
-      class TypeCompatibilityValidator
-        def self.call(context)
-          new(context).call
-        end
-
-        def initialize(context)
-          @context = context
-          @resolver = TypeResolver.new(context)
-        end
-
-        def call
-          validate_executor_dependency_types!
-          validate_composition_input_types!
-        end
-
-        private
-
-        def validate_executor_dependency_types!
-          @context.runtime_nodes.each do |node|
-            next unless node.kind == :compute
-            next unless node.callable.is_a?(Class) && node.callable <= Igniter::Executor
-
-            node.callable.executor_inputs.each do |dependency_name, config|
-              next unless node.dependencies.include?(dependency_name)
-
-              validate_edge_type!(
-                node: node,
-                dependency_name: dependency_name,
-                target_type: config[:type],
-                label: "executor input '#{dependency_name}'"
-              )
-            end
-          end
-        end
-
-        def validate_composition_input_types!
-          @context.runtime_nodes.each do |node|
-            next unless node.kind == :composition
-
-            child_inputs = node.contract_class.compiled_graph.nodes.select { |child_node| child_node.kind == :input }
-            child_inputs.each do |child_input|
-              dependency_name = node.input_mapping[child_input.name]
-              next unless dependency_name
-
-              validate_edge_type!(
-                node: node,
-                dependency_name: dependency_name,
-                target_type: child_input.type,
-                label: "composition input '#{child_input.name}'"
-              )
-            end
-          end
-        end
-
-        def validate_edge_type!(node:, dependency_name:, target_type:, label:)
-          return unless target_type
-
-          unless TypeSystem.supported?(target_type)
-            raise @context.validation_error(node, "Unsupported target type '#{target_type}' for #{label}")
-          end
-
-          source_type = @resolver.call(dependency_name)
-          return if source_type.nil?
-
-          unless TypeSystem.supported?(source_type)
-            raise @context.validation_error(node, "Unsupported source type '#{source_type}' for dependency '#{dependency_name}'")
-          end
-
-          return if TypeSystem.compatible?(source_type, target_type)
-
-          raise @context.validation_error(
-            node,
-            "Type mismatch for #{label}: dependency '#{dependency_name}' is #{source_type}, expected #{target_type}"
-          )
-        end
-      end
-    end
-  end
-end

data/lib/igniter/compiler/validators/uniqueness_validator.rb

@@ -1,60 +0,0 @@
-# frozen_string_literal: true
-
-module Igniter
-  module Compiler
-    module Validators
-      class UniquenessValidator
-        def self.call(context)
-          new(context).call
-        end
-
-        def initialize(context)
-          @context = context
-        end
-
-        def call
-          validate_unique_ids!
-          validate_unique_names!
-          validate_unique_paths!
-        end
-
-        private
-
-        def validate_unique_ids!
-          seen = {}
-          @context.graph.nodes.each do |node|
-            raise @context.validation_error(node, "Duplicate node id: #{node.id}") if seen.key?(node.id)
-
-            seen[node.id] = true
-          end
-        end
-
-        def validate_unique_names!
-          seen_runtime = {}
-          @context.runtime_nodes.each do |node|
-            raise @context.validation_error(node, "Duplicate node name: #{node.name}") if seen_runtime.key?(node.name)
-
-            seen_runtime[node.name] = true
-          end
-
-          seen_outputs = {}
-          @context.outputs.each do |output|
-            raise @context.validation_error(output, "Duplicate output name: #{output.name}") if seen_outputs.key?(output.name)
-
-            seen_outputs[output.name] = true
-          end
-        end
-
-        def validate_unique_paths!
-          seen = {}
-
-          (@context.runtime_nodes + @context.outputs).each do |node|
-            raise @context.validation_error(node, "Duplicate node path: #{node.path}") if seen.key?(node.path)
-
-            seen[node.path] = true
-          end
-        end
-      end
-    end
-  end
-end

data/lib/igniter/compiler.rb

@@ -1,20 +0,0 @@
-# frozen_string_literal: true
-
-require_relative "compiler/compiled_graph"
-require_relative "compiler/validation_context"
-require_relative "compiler/type_resolver"
-require_relative "compiler/validators/uniqueness_validator"
-require_relative "compiler/validators/outputs_validator"
-require_relative "compiler/validators/dependencies_validator"
-require_relative "compiler/validators/callable_validator"
-require_relative "compiler/validators/type_compatibility_validator"
-require_relative "compiler/validators/await_validator"
-require_relative "compiler/validators/remote_validator"
-require_relative "compiler/validation_pipeline"
-require_relative "compiler/validator"
-require_relative "compiler/graph_compiler"
-
-module Igniter
-  module Compiler
-  end
-end