rigortype 0.1.2 → 0.1.3

data/lib/rigor/plugin/manifest.rb

@@ -37,26 +37,29 @@ module Rigor
         end
       end
 
-      attr_reader :id, :version, :description, :protocols, :config_schema, :produces, :consumes
+      attr_reader :id, :version, :description, :protocols, :config_schema, :produces, :consumes,
+                  :owns_receivers
 
       def initialize( # rubocop:disable Metrics/ParameterLists
         id:, version:,
         description: nil, protocols: [], config_schema: {},
-        produces: [], consumes: []
+        produces: [], consumes: [], owns_receivers: []
       )
         validate_id!(id)
         validate_version!(version)
         validate_protocols!(protocols)
         validate_config_schema!(config_schema)
         validate_produces!(produces)
+        validate_owns_receivers!(owns_receivers)
 
-        assign_fields(id, version, description, protocols, config_schema, produces, consumes)
+        assign_fields(id, version, description, protocols, config_schema, produces, consumes, owns_receivers)
         freeze
       end
 
       private
 
-      def assign_fields(id, version, description, protocols, config_schema, produces, consumes) # rubocop:disable Metrics/ParameterLists
+      # rubocop:disable Metrics/ParameterLists,Metrics/AbcSize
+      def assign_fields(id, version, description, protocols, config_schema, produces, consumes, owns_receivers)
         @id = id.dup.freeze
         @version = version.dup.freeze
         @description = description.nil? ? nil : description.to_s.dup.freeze
@@ -64,7 +67,9 @@ module Rigor
         @config_schema = config_schema.to_h { |k, v| [k.to_s.dup.freeze, v.to_sym] }.freeze
         @produces = produces.map(&:to_sym).freeze
         @consumes = coerce_consumes(consumes)
+        @owns_receivers = owns_receivers.map { |c| c.to_s.dup.freeze }.freeze
       end
+      # rubocop:enable Metrics/ParameterLists,Metrics/AbcSize
 
       public
 
@@ -99,7 +104,8 @@ module Rigor
           "protocols" => protocols.map(&:to_s),
           "config_schema" => config_schema.to_h { |k, v| [k, v.to_s] },
           "produces" => produces.map(&:to_s),
-          "consumes" => consumes.map { |c| consumption_hash(c) }
+          "consumes" => consumes.map { |c| consumption_hash(c) },
+          "owns_receivers" => owns_receivers
         }
       end
 
@@ -166,6 +172,21 @@ module Rigor
         raise ArgumentError, "plugin manifest produces must be an Array of Symbol/String, got #{produces.inspect}"
       end
 
+      # ADR-10 5a — `owns_receivers:` declares the class names
+      # this plugin claims sole ownership of. The dispatcher's
+      # dependency-source-inference tier consults this list
+      # before consulting its own catalog: receivers owned by a
+      # registered plugin (directly or via subclass) decline,
+      # so plugin contributions stay authoritative for those
+      # types.
+      def validate_owns_receivers!(owns_receivers)
+        return if owns_receivers.is_a?(Array) && owns_receivers.all? { |c| c.is_a?(String) && !c.empty? }
+
+        raise ArgumentError,
+              "plugin manifest owns_receivers must be an Array of non-empty String, " \
+              "got #{owns_receivers.inspect}"
+      end
+
       def coerce_consumes(consumes)
         unless consumes.is_a?(Array)
           raise ArgumentError, "plugin manifest consumes must be an Array, got #{consumes.inspect}"

data/lib/rigor/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Rigor
-  VERSION = "0.1.2"
+  VERSION = "0.1.3"
 end

data/sig/rigor/environment.rbs

@@ -7,11 +7,12 @@ module Rigor
     attr_reader class_registry: ClassRegistry
     attr_reader rbs_loader: RbsLoader?
     attr_reader plugin_registry: untyped?
+    attr_reader dependency_source_index: untyped?
 
     def self.default: () -> Environment
-    def self.for_project: (?root: String, ?libraries: Array[String], ?signature_paths: Array[String | _ToPath]?, ?cache_store: untyped?, ?plugin_registry: untyped?) -> Environment
+    def self.for_project: (?root: String, ?libraries: Array[String], ?signature_paths: Array[String | _ToPath]?, ?cache_store: untyped?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?) -> Environment
 
-    def initialize: (?class_registry: ClassRegistry, ?rbs_loader: RbsLoader?, ?plugin_registry: untyped?) -> void
+    def initialize: (?class_registry: ClassRegistry, ?rbs_loader: RbsLoader?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?) -> void
     def nominal_for_name: (String | Symbol name) -> Type::Nominal?
     def singleton_for_name: (String | Symbol name) -> Type::Singleton?
     def constant_for_name: (String | Symbol name) -> Type::t?

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.1.2
+  version: 0.1.3
 platform: ruby
 authors:
 - Rigor contributors
@@ -187,6 +187,11 @@ files:
 - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
 - lib/rigor/analysis/check_rules/dead_assignment_collector.rb
 - lib/rigor/analysis/check_rules/ivar_write_collector.rb
+- lib/rigor/analysis/dependency_source_inference.rb
+- lib/rigor/analysis/dependency_source_inference/builder.rb
+- lib/rigor/analysis/dependency_source_inference/gem_resolver.rb
+- lib/rigor/analysis/dependency_source_inference/index.rb
+- lib/rigor/analysis/dependency_source_inference/walker.rb
 - lib/rigor/analysis/diagnostic.rb
 - lib/rigor/analysis/fact_store.rb
 - lib/rigor/analysis/result.rb
@@ -215,6 +220,7 @@ files:
 - lib/rigor/cli/type_scan_renderer.rb
 - lib/rigor/cli/type_scan_report.rb
 - lib/rigor/configuration.rb
+- lib/rigor/configuration/dependencies.rb
 - lib/rigor/configuration/severity_profile.rb
 - lib/rigor/environment.rb
 - lib/rigor/environment/class_registry.rb