rigortype 0.1.2 → 0.1.4

data/lib/rigor/type_node/union.rb

@@ -0,0 +1,42 @@
+# frozen_string_literal: true
+
+module Rigor
+  module TypeNode
+    # Union AST node. Carries the nodes of a `T1 | T2 | …` union
+    # expression authored at type-arg position.
+    #
+    # ADR-13 follow-up (`docs/CURRENT_WORK.md` engineering item
+    # #2): together with {SymbolLiteral} / {StringLiteral} this
+    # closes the parser-side gap that prevented `Pick[T, :a | :b]`
+    # / `Pick[T, "a" | "b"]` from tokenising. The resolver pass
+    # recurses through each node and folds them via
+    # `Type::Combinator.union`.
+    #
+    # The field is named `:nodes` (not `:members`) to avoid
+    # shadowing `Data#members`, which is the introspection method
+    # every `Data.define` mix-in inherits.
+    #
+    # Nodes are themselves any of the {TypeNode} carriers — the
+    # parser builds a flat list (left-associative); nested
+    # `Union` nodes are permitted but the parser does not
+    # synthesise them by itself.
+    class Union < Data.define(:nodes)
+      def initialize(nodes:)
+        unless nodes.is_a?(Array) && nodes.size >= 2 && nodes.all? { |m| valid_member?(m) }
+          raise ArgumentError,
+                "TypeNode::Union nodes must be an Array (size >= 2) of " \
+                "TypeNode carriers, got #{nodes.inspect}"
+        end
+
+        super(nodes: nodes.freeze)
+      end
+
+      private
+
+      def valid_member?(node)
+        node.is_a?(Identifier) || node.is_a?(Generic) || node.is_a?(IntegerLiteral) ||
+          node.is_a?(IndexedAccess) || node.is_a?(SymbolLiteral) || node.is_a?(StringLiteral)
+      end
+    end
+  end
+end

data/lib/rigor/type_node.rb

@@ -0,0 +1,29 @@
+# frozen_string_literal: true
+
+module Rigor
+  # Mini-AST passed to plugin-supplied `TypeNode` resolvers (see
+  # [ADR-13](../../docs/adr/13-typenode-resolver-plugin.md)). The
+  # two leaf carriers — {Identifier} and {Generic} — describe a
+  # node in an `%a{rigor:v1:...}` payload at the point the
+  # built-in registry / `ImportedRefinements::Parser` failed to
+  # resolve it and the analyzer hands the node off to plugins.
+  #
+  # Slice 1 of the ADR-13 envelope ships these two value objects
+  # only. The `NameScope` companion + plugin manifest hook arrive
+  # in slice 2; the parser integration arrives in slice 3. Until
+  # those land, the carriers are reachable only through direct
+  # instantiation in tests — they are the stable data shape every
+  # later slice consumes.
+  module TypeNode
+  end
+end
+
+require_relative "type_node/identifier"
+require_relative "type_node/integer_literal"
+require_relative "type_node/symbol_literal"
+require_relative "type_node/string_literal"
+require_relative "type_node/generic"
+require_relative "type_node/indexed_access"
+require_relative "type_node/union"
+require_relative "type_node/name_scope"
+require_relative "type_node/resolver_chain"

data/lib/rigor/version.rb

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

data/lib/rigor.rb

@@ -29,6 +29,7 @@ require_relative "rigor/cache/rbs_class_ancestor_table"
 require_relative "rigor/cache/rbs_class_type_param_names"
 require_relative "rigor/cache/rbs_environment"
 require_relative "rigor/cache/rbs_instance_definitions"
+require_relative "rigor/type_node"
 require_relative "rigor/flow_contribution"
 require_relative "rigor/flow_contribution/fact"
 require_relative "rigor/flow_contribution/conflict"
@@ -43,4 +44,5 @@ require_relative "rigor/analysis/diagnostic"
 require_relative "rigor/analysis/result"
 require_relative "rigor/analysis/check_rules"
 require_relative "rigor/analysis/runner"
+require_relative "rigor/sig_gen"
 require_relative "rigor/cli"

data/sig/rigor/analysis/check_rules/always_truthy_condition_collector.rbs

@@ -0,0 +1,10 @@
+module Rigor
+  module Analysis
+    module CheckRules
+      class AlwaysTruthyConditionCollector
+        def initialize: (untyped) -> void
+        def collect: (untyped) -> Array[untyped]
+      end
+    end
+  end
+end

data/sig/rigor/analysis/check_rules/dead_assignment_collector.rbs

@@ -0,0 +1,10 @@
+module Rigor
+  module Analysis
+    module CheckRules
+      class DeadAssignmentCollector
+        def initialize: (untyped) -> void
+        def collect: (untyped) -> Array[untyped]
+      end
+    end
+  end
+end

data/sig/rigor/analysis/dependency_source_inference/gem_resolver.rbs

@@ -0,0 +1,25 @@
+module Rigor
+  module Analysis
+    module DependencySourceInference
+      module GemResolver
+        class Resolved
+          def descriptor_key: () -> Array[untyped]
+        end
+
+        class Unresolvable
+        end
+      end
+    end
+  end
+end
+
+module Rigor
+  module Analysis
+    module DependencySourceInference
+      module GemResolver
+        def self?.resolve: (untyped) -> (Rigor::Analysis::DependencySourceInference::GemResolver::Resolved | Rigor::Analysis::DependencySourceInference::GemResolver::Unresolvable)
+        def self?.locate_gem_spec: (untyped) -> (Gem::BasicSpecification | Gem::Specification | nil)
+      end
+    end
+  end
+end

data/sig/rigor/analysis/dependency_source_inference/index.rbs

@@ -0,0 +1,9 @@
+module Rigor
+  module Analysis
+    module DependencySourceInference
+      class Index
+        def initialize: (?resolved_gems: untyped, ?unresolvable: untyped, ?method_catalog: untyped, ?budget_exceeded: untyped, ?class_to_gem: untyped, ?budget_overrun_strategy: untyped) -> void
+      end
+    end
+  end
+end

data/sig/rigor/cli/diff_command.rbs

@@ -0,0 +1,4 @@
+class Rigor::CLI::DiffCommand
+  def initialize: (argv: untyped, out: untyped, err: untyped) -> void
+  def run: () -> (0 | 1 | Integer)
+end

data/sig/rigor/cli/explain_command.rbs

@@ -0,0 +1,4 @@
+class Rigor::CLI::ExplainCommand
+  def initialize: (argv: untyped, out: untyped, err: untyped) -> void
+  def run: () -> (0 | Integer)
+end

data/sig/rigor/cli/sig_gen_command.rbs

@@ -0,0 +1,4 @@
+class Rigor::CLI::SigGenCommand
+  def initialize: (argv: untyped, out: untyped, err: untyped) -> void
+  def run: () -> (0 | Integer)
+end

data/sig/rigor/cli/type_scan_command.rbs

@@ -0,0 +1,3 @@
+class Rigor::CLI::TypeScanCommand::ScanAccumulator
+  def record_parse_error: (untyped, untyped) -> Array[untyped]
+end

data/sig/rigor/environment.rbs

@@ -7,11 +7,15 @@ module Rigor
     attr_reader class_registry: ClassRegistry
     attr_reader rbs_loader: RbsLoader?
     attr_reader plugin_registry: untyped?
+    attr_reader dependency_source_index: untyped?
+    attr_reader rbs_extended_reporter: untyped?
+    attr_reader boundary_cross_reporter: untyped?
+    attr_reader name_scope: 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?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: 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?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: 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?

data/sig/rigor/inference/builtins/method_catalog.rbs

@@ -0,0 +1,4 @@
+class Rigor::Inference::Builtins::MethodCatalog
+  def initialize: (path: String, ?mutating_selectors: Hash[String, Set[untyped]]) -> void
+  def reset!: () -> nil
+end

data/sig/rigor/inference/builtins/numeric_catalog.rbs

@@ -0,0 +1,3 @@
+class Rigor::Inference::Builtins::NumericCatalog
+  def self.reset!: () -> nil
+end

data/sig/rigor/inference/builtins.rbs

@@ -0,0 +1,2 @@
+module Rigor::Inference::Builtins
+end

data/sig/rigor/plugin/access_denied_error.rbs

@@ -0,0 +1,3 @@
+class Rigor::Plugin::AccessDeniedError
+  def initialize: (untyped, reason: untyped, ?resource: untyped) -> void
+end

data/sig/rigor/plugin/base.rbs

@@ -0,0 +1,6 @@
+class Rigor::Plugin::Base
+  def self.manifest: () -> Rigor::Plugin::Manifest
+  def initialize: (services: untyped, ?config: untyped) -> void
+  def init: (untyped) -> nil
+  def prepare: (untyped) -> nil
+end

data/sig/rigor/plugin/fact_store.rbs

@@ -0,0 +1,11 @@
+class Rigor::Plugin::FactStore
+  def initialize: () -> void
+  def publish: (plugin_id: untyped, name: untyped, value: untyped) -> nil
+  def read: (plugin_id: untyped, name: untyped) -> untyped
+  def published?: (plugin_id: untyped, name: untyped) -> bool
+  def each_fact: () { (untyped) -> void } -> void
+end
+
+class Rigor::Plugin::FactStore::Conflict
+  def initialize: (plugin_id: untyped, name: untyped, existing: untyped, incoming: untyped) -> void
+end

data/sig/rigor/plugin/io_boundary.rbs

@@ -0,0 +1,4 @@
+class Rigor::Plugin::IoBoundary
+  def initialize: (policy: untyped, plugin_id: untyped, ?http_client: untyped) -> void
+  def read_file: (untyped) -> String
+end

data/sig/rigor/plugin/load_error.rbs

@@ -0,0 +1,6 @@
+class Rigor::Plugin::LoadError < StandardError
+  attr_reader plugin_ref: untyped
+  attr_reader cause: untyped
+  attr_reader reason: Symbol
+  def initialize: (untyped, plugin_ref: untyped, ?cause: untyped, ?reason: untyped) -> void
+end

data/sig/rigor/plugin/loader.rbs

@@ -0,0 +1,20 @@
+module Rigor
+  module Plugin
+    # Resolves the project's `.rigor.yml` `plugins:` entries into
+    # instantiated plugin instances. The other Plugin namespaces
+    # (`Services`, `Registry`, `Base`, etc.) are not yet
+    # sig-covered, so reference them as `untyped` for now. The
+    # critical declaration here is `self.load`: without it, Steep
+    # matches against `Kernel#load`'s `(::String, ?(::Module | bool)) -> bool`
+    # signature and reports `MethodParameterMismatch` for the
+    # keyword-only shape.
+    class Loader
+      attr_reader services: untyped
+      attr_reader requirer: ^(String) -> untyped
+
+      def self.load: (configuration: Configuration, services: untyped, ?requirer: ^(String) -> untyped) -> untyped
+      def initialize: (services: untyped, ?requirer: ^(String) -> untyped) -> void
+      def load: (Array[String | Hash[untyped, untyped]] entries) -> untyped
+    end
+  end
+end

data/sig/rigor/plugin/manifest.rbs

@@ -0,0 +1,9 @@
+class Rigor::Plugin::Manifest::Consumption
+  def initialize: (plugin_id: untyped, name: untyped, ?optional: untyped) -> void
+end
+
+class Rigor::Plugin::Manifest
+  def initialize: (id: untyped, version: untyped, ?description: untyped, ?protocols: untyped, ?config_schema: untyped, ?produces: untyped, ?consumes: untyped, ?owns_receivers: untyped, ?type_node_resolvers: untyped) -> void
+  def validate_config: (untyped) -> Array[String]
+  def to_h: () -> Hash[String, untyped]
+end

data/sig/rigor/plugin/registry.rbs

@@ -0,0 +1,3 @@
+class Rigor::Plugin::Registry
+  def initialize: (?plugins: untyped, ?load_errors: untyped) -> void
+end

data/sig/rigor/plugin/services.rbs

@@ -0,0 +1,3 @@
+class Rigor::Plugin::Services
+  def initialize: (reflection: untyped, type: untyped, configuration: untyped, ?cache_store: untyped, ?trust_policy: untyped, ?fact_store: untyped) -> void
+end

data/sig/rigor/plugin/trust_policy.rbs

@@ -0,0 +1,4 @@
+class Rigor::Plugin::TrustPolicy
+  def initialize: (?trusted_gems: untyped, ?allowed_read_roots: untyped, ?network_policy: untyped, ?allowed_url_hosts: untyped) -> void
+  def to_h: () -> Hash[String, untyped]
+end

data/sig/rigor/plugin/type_node_resolver.rbs

@@ -0,0 +1,3 @@
+class Rigor::Plugin::TypeNodeResolver
+  def resolve: (untyped, untyped) -> nil
+end

data/sig/rigor/plugin.rbs

@@ -0,0 +1,8 @@
+module Rigor
+  module Plugin
+    def self.register: (Class plugin_class) -> Class
+    def self.registered_for: (String | Symbol id) -> Class?
+    def self.registered: () -> Hash[String, Class]
+    def self.unregister!: (?(String | Symbol)? id) -> untyped
+  end
+end

data/sig/rigor/scope.rbs

@@ -16,10 +16,12 @@ module Rigor
     attr_reader discovered_methods: Hash[String, Hash[Symbol, Symbol]]
     attr_reader discovered_def_nodes: Hash[String, Hash[Symbol, untyped]]
     attr_reader discovered_method_visibilities: Hash[String, Hash[Symbol, Symbol]]
+    attr_reader source_path: String?
 
-    def self.empty: (?environment: Environment) -> Scope
+    def self.empty: (?environment: Environment, ?source_path: String?) -> Scope
 
-    def initialize: (environment: Environment, locals: Hash[Symbol, Type::t], ?fact_store: Analysis::FactStore, ?self_type: Type::t?, ?declared_types: Hash[untyped, Type::t], ?ivars: Hash[Symbol, Type::t], ?cvars: Hash[Symbol, Type::t], ?globals: Hash[Symbol, Type::t]) -> void
+    def initialize: (environment: Environment, locals: Hash[Symbol, Type::t], ?fact_store: Analysis::FactStore, ?self_type: Type::t?, ?declared_types: Hash[untyped, Type::t], ?ivars: Hash[Symbol, Type::t], ?cvars: Hash[Symbol, Type::t], ?globals: Hash[Symbol, Type::t], ?source_path: String?) -> void
+    def with_source_path: (String? path) -> Scope
     def local: (String | Symbol name) -> Type::t?
     def ivar: (String | Symbol name) -> Type::t?
     def cvar: (String | Symbol name) -> Type::t?

data/sig/rigor/type.rbs

@@ -7,34 +7,34 @@ module Rigor
     class Top
       def self.instance: () -> Top
       def describe: (?Symbol verbosity) -> String
-      def erase_to_rbs: () -> String
+      def erase_to_rbs: () -> "top"
       def top: () -> Trinary
       def bot: () -> Trinary
       def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
-      def inspect: () -> String
+      def inspect: () -> "#<Rigor::Type::Top>"
     end
 
     class Bot
       def self.instance: () -> Bot
       def describe: (?Symbol verbosity) -> String
-      def erase_to_rbs: () -> String
+      def erase_to_rbs: () -> "bot"
       def top: () -> Trinary
       def bot: () -> Trinary
       def dynamic: () -> Trinary
       def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
       def ==: (untyped other) -> bool
       def hash: () -> Integer
-      def inspect: () -> String
+      def inspect: () -> "#<Rigor::Type::Bot>"
     end
 
     class Dynamic
       attr_reader static_facet: Type::t
       def initialize: (Type::t static_facet) -> void
       def describe: (?Symbol verbosity) -> String
-      def erase_to_rbs: () -> String
+      def erase_to_rbs: () -> "untyped"
       def top: () -> Trinary
       def bot: () -> Trinary
       def dynamic: () -> Trinary
@@ -72,7 +72,7 @@ module Rigor
       def upper: () -> (Integer | Float)
       def describe: (?Symbol verbosity) -> String
       def generic_description: () -> String
-      def erase_to_rbs: () -> String
+      def erase_to_rbs: () -> "Integer"
       def top: () -> Trinary
       def bot: () -> Trinary
       def dynamic: () -> Trinary
@@ -156,6 +156,21 @@ module Rigor
       def inspect: () -> String
     end
 
+    class BoundMethod
+      attr_reader receiver_type: Type::t
+      attr_reader method_name: Symbol
+      def initialize: (receiver_type: Type::t, method_name: Symbol) -> void
+      def describe: (?Symbol verbosity) -> String
+      def erase_to_rbs: () -> String
+      def top: () -> Trinary
+      def bot: () -> Trinary
+      def dynamic: () -> Trinary
+      def accepts: (Type::t other, ?mode: accepts_mode) -> AcceptsResult
+      def ==: (untyped other) -> bool
+      def hash: () -> Integer
+      def inspect: () -> String
+    end
+
     class Intersection
       attr_reader members: Array[Type::t]
       def initialize: (Array[Type::t] members) -> void
@@ -232,6 +247,7 @@ module Rigor
       def self?.nominal_of: (Module | String class_name_or_object, ?type_args: Array[Type::t]) -> Nominal
       def self?.singleton_of: (Module | String class_name_or_object) -> Singleton
       def self?.constant_of: (untyped value) -> Constant
+      def self?.bound_method_of: (Type::t receiver_type, Symbol method_name) -> BoundMethod
       def self?.difference: (Type::t base, Type::t removed) -> Difference
       def self?.non_empty_string: () -> Difference
       def self?.non_zero_int: () -> Difference
@@ -268,6 +284,12 @@ module Rigor
       def self?.int_mask: (Array[Integer] flags) -> Type::t?
       def self?.int_mask_of: (Type::t type) -> Type::t?
       def self?.indexed_access: (Type::t type, Type::t key) -> Type::t
+      def self?.pick_of: (Type::t type, Type::t keys) -> Type::t
+      def self?.omit_of: (Type::t type, Type::t keys) -> Type::t
+      def self?.partial_of: (Type::t type) -> Type::t
+      def self?.required_of: (Type::t type) -> Type::t
+      def self?.readonly_of: (Type::t type) -> Type::t
+      def self?.shape_projection_lossy?: (Type::t type) -> bool
     end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.1.2
+  version: 0.1.4
 platform: ruby
 authors:
 - Rigor contributors
@@ -187,6 +187,12 @@ 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/boundary_cross_reporter.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
@@ -209,12 +215,14 @@ files:
 - lib/rigor/cli.rb
 - lib/rigor/cli/diff_command.rb
 - lib/rigor/cli/explain_command.rb
+- lib/rigor/cli/sig_gen_command.rb
 - lib/rigor/cli/type_of_command.rb
 - lib/rigor/cli/type_of_renderer.rb
 - lib/rigor/cli/type_scan_command.rb
 - 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
@@ -260,6 +268,7 @@ files:
 - lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
 - lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
 - lib/rigor/inference/method_dispatcher/literal_string_folding.rb
+- lib/rigor/inference/method_dispatcher/method_folding.rb
 - lib/rigor/inference/method_dispatcher/overload_selector.rb
 - lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
@@ -280,9 +289,23 @@ files:
 - lib/rigor/plugin/registry.rb
 - lib/rigor/plugin/services.rb
 - lib/rigor/plugin/trust_policy.rb
+- lib/rigor/plugin/type_node_resolver.rb
 - lib/rigor/rbs_extended.rb
+- lib/rigor/rbs_extended/reporter.rb
 - lib/rigor/reflection.rb
 - lib/rigor/scope.rb
+- lib/rigor/sig_gen.rb
+- lib/rigor/sig_gen/classification.rb
+- lib/rigor/sig_gen/generator.rb
+- lib/rigor/sig_gen/layout_index.rb
+- lib/rigor/sig_gen/method_candidate.rb
+- lib/rigor/sig_gen/observation_collector.rb
+- lib/rigor/sig_gen/observed_call.rb
+- lib/rigor/sig_gen/path_mapper.rb
+- lib/rigor/sig_gen/renderer.rb
+- lib/rigor/sig_gen/type_elaborator.rb
+- lib/rigor/sig_gen/write_result.rb
+- lib/rigor/sig_gen/writer.rb
 - lib/rigor/source.rb
 - lib/rigor/source/node_locator.rb
 - lib/rigor/source/node_walker.rb
@@ -291,6 +314,7 @@ files:
 - lib/rigor/type.rb
 - lib/rigor/type/accepts_result.rb
 - lib/rigor/type/bot.rb
+- lib/rigor/type/bound_method.rb
 - lib/rigor/type/combinator.rb
 - lib/rigor/type/constant.rb
 - lib/rigor/type/difference.rb
@@ -304,12 +328,45 @@ files:
 - lib/rigor/type/top.rb
 - lib/rigor/type/tuple.rb
 - lib/rigor/type/union.rb
+- lib/rigor/type_node.rb
+- lib/rigor/type_node/generic.rb
+- lib/rigor/type_node/identifier.rb
+- lib/rigor/type_node/indexed_access.rb
+- lib/rigor/type_node/integer_literal.rb
+- lib/rigor/type_node/name_scope.rb
+- lib/rigor/type_node/resolver_chain.rb
+- lib/rigor/type_node/string_literal.rb
+- lib/rigor/type_node/symbol_literal.rb
+- lib/rigor/type_node/union.rb
 - lib/rigor/version.rb
 - sig/rigor.rbs
+- sig/rigor/analysis/check_rules/always_truthy_condition_collector.rbs
+- sig/rigor/analysis/check_rules/dead_assignment_collector.rbs
+- sig/rigor/analysis/dependency_source_inference/gem_resolver.rbs
+- sig/rigor/analysis/dependency_source_inference/index.rbs
 - sig/rigor/analysis/fact_store.rbs
 - sig/rigor/ast.rbs
+- sig/rigor/cli/diff_command.rbs
+- sig/rigor/cli/explain_command.rbs
+- sig/rigor/cli/sig_gen_command.rbs
+- sig/rigor/cli/type_scan_command.rbs
 - sig/rigor/environment.rbs
 - sig/rigor/inference.rbs
+- sig/rigor/inference/builtins.rbs
+- sig/rigor/inference/builtins/method_catalog.rbs
+- sig/rigor/inference/builtins/numeric_catalog.rbs
+- sig/rigor/plugin.rbs
+- sig/rigor/plugin/access_denied_error.rbs
+- sig/rigor/plugin/base.rbs
+- sig/rigor/plugin/fact_store.rbs
+- sig/rigor/plugin/io_boundary.rbs
+- sig/rigor/plugin/load_error.rbs
+- sig/rigor/plugin/loader.rbs
+- sig/rigor/plugin/manifest.rbs
+- sig/rigor/plugin/registry.rbs
+- sig/rigor/plugin/services.rbs
+- sig/rigor/plugin/trust_policy.rbs
+- sig/rigor/plugin/type_node_resolver.rbs
 - sig/rigor/rbs_extended.rbs
 - sig/rigor/reflection.rbs
 - sig/rigor/scope.rbs