rigortype 0.4.2 → 0.4.3

data/plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers/serializer_discoverer.rb

@@ -1,6 +1,7 @@
 # frozen_string_literal: true
 
 require "rigor/source/node_children"
+require "rigor/source/symbol_name"
 
 require "prism"
 
@@ -81,11 +82,16 @@ module Rigor
         # fixed point rather than recursing keeps a cyclic `class A < B; class B < A` source — which Ruby
         # rejects but a static parse can still be handed — from recursing forever.
         def close_over_roots(candidates)
-          by_name = candidates.to_h { |entry| [entry.class_name, entry] }
+          groups = candidates.group_by(&:class_name)
+          # Files that name different superclasses for one class are a TypeError in Ruby, so no ancestry
+          # reading of that class is correct. It is declined outright, and so is everything beneath it.
+          conflicted = groups.filter_map { |name, group| name if group.map(&:superclass_name).uniq.size > 1 }.to_set
+          by_name = groups.except(*conflicted).transform_values { |group| merge_reopened(group) }
           reached = @base_classes.to_set
           loop do
             grown = candidates.select do |entry|
-              !reached.include?(entry.class_name) && reached.include?(entry.superclass_name)
+              !conflicted.include?(entry.class_name) && !reached.include?(entry.class_name) &&
+                reached.include?(entry.superclass_name)
             end
             break if grown.empty?
 
@@ -94,6 +100,21 @@ module Rigor
           reached.filter_map { |name| by_name[name] }
         end
 
+        # A class declared in several files that each name its superclass is one class to Ruby, so its names
+        # are the union of every file's. Keeping only the last file's entry let a sibling that declared nothing
+        # usable shadow the valid one. The `own_method_names` union assumes every reopening file is loaded; a
+        # file Zeitwerk shadows is not modelled. A superclass-less reopening is not a candidate (see visit_class).
+        def merge_reopened(entries)
+          return entries.first if entries.size == 1
+
+          first = entries.first
+          first.with(
+            declared_names: entries.flat_map(&:declared_names).uniq.sort.freeze,
+            object_reads: entries.flat_map(&:object_reads).uniq.sort.freeze,
+            own_method_names: entries.flat_map(&:own_method_names).uniq.sort.freeze
+          )
+        end
+
         def read_safely(path)
           @io_boundary.read_file(path)
         rescue Plugin::AccessDeniedError, Errno::ENOENT
@@ -180,9 +201,14 @@ module Rigor
             receiver.arguments.nil?
         end
 
+        # A name whose bytes no Symbol can hold (`attributes :"\xff"` in a file that does not parse cleanly)
+        # is dropped here, so it never reaches the index or the `project_defines?` lookup that would raise.
+        # The file's other names are kept: a recoverable syntax error elsewhere in it does not void them.
         def symbol_arguments(node)
           (node.arguments&.arguments || []).filter_map do |argument|
-            argument.unescaped if argument.is_a?(Prism::SymbolNode)
+            next unless argument.is_a?(Prism::SymbolNode)
+
+            Rigor::Source::SymbolName.of(argument.unescaped)&.to_s
           end
         end
 

data/plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers.rb

@@ -239,7 +239,11 @@ module Rigor
       def project_defines?(class_name, method_name, scope)
         return false unless scope.respond_to?(:user_def_through_ancestors)
 
-        !scope.user_def_through_ancestors(class_name, method_name.to_sym).first.nil?
+        # A name no Symbol can hold cannot be a method the project defines (#1831): decline, do not raise.
+        method = Rigor::Source::SymbolName.of(method_name.to_s)
+        return false if method.nil?
+
+        !scope.user_def_through_ancestors(class_name, method).first.nil?
       end
 
       # `REST::AccountSerializer` offers two readings — the namespaced `REST::Account` and the

data/sig/rigor/scope.rbs

@@ -247,6 +247,7 @@ module Rigor
     def optimistic_local_miss: (String | Symbol name) -> Object?
     def optimistic_ivar_miss: (String | Symbol name) -> Object?
     def with_local: (String | Symbol name, Type::t type) -> Scope
+    def with_rejoined_locals: (untyped) -> Rigor::Scope
     def with_ivar: (String | Symbol name, Type::t type) -> Scope
     def with_local_origin: (String | Symbol name, Symbol? cause) -> Scope
     def with_optimistic_local: (String | Symbol name, Symbol? cause, ?miss: Object?) -> Scope
@@ -299,6 +300,8 @@ module Rigor
     def inferred_param?: (String | Symbol name) -> bool
     def forget_match_globals: () -> Scope
     def untyped_match_globals: () -> Scope
+    # sig-gen gap: #1154 — the reader over the `@globals` ivar `initialize` assigns from a parameter reaches
+    # `untyped`, so the `bool` is hand-written.
     def match_globals_bound?: () -> bool
     def with_match_frame: (untyped body, ?untyped parameters) -> Scope
     # sig-gen gap: #1154 — the frame reader over an ivar assigned in `initialize` from a parameter reaches

data/sig/rigor.rbs

@@ -83,7 +83,6 @@ module Rigor
 
     class RunStats
       attr_reader wall_seconds: Float
-      attr_reader peak_rss_bytes: Integer?
       attr_reader target_files: Integer
       attr_reader rbs_classes_total: Integer
       attr_reader rbs_classes_project_sig: Integer
@@ -93,21 +92,25 @@ module Rigor
       attr_reader rbs_attribution_available: bool
 
       CACHED_SENTINEL: String
+      CURRENT_PROCESS_PEAK_RSS: ^() -> Integer?
 
+      # authored: #1529 memoised lazy read; its type enters only through the deliberate `peak_rss_probe:` initialize parameter.
+      def peak_rss_bytes: () -> Integer?
       def self.peak_rss_bytes: () -> Integer?
       def self.partition_classes: (class_decl_paths: Hash[String, String], signature_paths: Array[untyped]) -> [Integer, Integer]
       def self.attribution_available?: (class_decl_paths: Hash[String, String]) -> bool
 
       def initialize: (
         wall_seconds: Float,
-        peak_rss_bytes: Integer?,
         target_files: Integer,
         rbs_classes_total: Integer,
         rbs_classes_project_sig: Integer,
         rbs_classes_bundled: Integer,
         gem_walk_classes: Integer,
         gem_walk_gems: Integer,
-        ?rbs_attribution_available: bool
+        ?rbs_attribution_available: bool,
+        ?peak_rss_bytes: Integer?,
+        ?peak_rss_probe: ^() -> Integer?
       ) -> void
       def format: (untyped out, ?prefix: String) -> void
       def to_h: () -> Hash[Symbol, untyped]

data/skills/rigor-project-init/references/02-configure.md

@@ -97,8 +97,8 @@ test_paths:
   - spec
 
 exclude:
-  - vendor
-  - tmp
+  - "vendor/**"
+  - "tmp/**"
 
 plugins:
   - rigor-actionpack

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.4.2
+  version: 0.4.3
 platform: ruby
 authors:
 - Rigor contributors
@@ -564,6 +564,7 @@ files:
 - lib/rigor/cli/explain_command.rb
 - lib/rigor/cli/fused_protection_renderer.rb
 - lib/rigor/cli/fused_protection_report.rb
+- lib/rigor/cli/lens_command.rb
 - lib/rigor/cli/lsp_command.rb
 - lib/rigor/cli/mcp_command.rb
 - lib/rigor/cli/measurement_integrity_warning.rb
@@ -756,6 +757,7 @@ files:
 - lib/rigor/inference/match_rebinding/self_calls.rb
 - lib/rigor/inference/method_dispatcher.rb
 - lib/rigor/inference/method_dispatcher/alias_strict_nominals.rb
+- lib/rigor/inference/method_dispatcher/argument_nodes.rb
 - lib/rigor/inference/method_dispatcher/arithmetic_sequence_elements.rb
 - lib/rigor/inference/method_dispatcher/array_to_h_folding.rb
 - lib/rigor/inference/method_dispatcher/block_folding.rb
@@ -777,6 +779,7 @@ files:
 - lib/rigor/inference/method_dispatcher/math_folding.rb
 - lib/rigor/inference/method_dispatcher/member_shape_projection.rb
 - lib/rigor/inference/method_dispatcher/method_folding.rb
+- lib/rigor/inference/method_dispatcher/optional_count.rb
 - lib/rigor/inference/method_dispatcher/overload_selector.rb
 - lib/rigor/inference/method_dispatcher/process_folding.rb
 - lib/rigor/inference/method_dispatcher/proven_overload.rb
@@ -795,6 +798,7 @@ files:
 - lib/rigor/inference/method_dispatcher/struct_folding.rb
 - lib/rigor/inference/method_dispatcher/struct_materialization.rb
 - lib/rigor/inference/method_dispatcher/time_folding.rb
+- lib/rigor/inference/method_dispatcher/unit_denominator_rational.rb
 - lib/rigor/inference/method_dispatcher/universal_object_dispatch.rb
 - lib/rigor/inference/method_dispatcher/uri_folding.rb
 - lib/rigor/inference/method_parameter_binder.rb
@@ -812,6 +816,7 @@ files:
 - lib/rigor/inference/pre_eval_constants.rb
 - lib/rigor/inference/precision_scanner.rb
 - lib/rigor/inference/project_method_ownership.rb
+- lib/rigor/inference/project_patched_definedness_guard.rb
 - lib/rigor/inference/project_patched_methods.rb
 - lib/rigor/inference/project_patched_scanner.rb
 - lib/rigor/inference/protection_scanner.rb
@@ -822,6 +827,7 @@ files:
 - lib/rigor/inference/refine_census.rb
 - lib/rigor/inference/refine_self.rb
 - lib/rigor/inference/refined_dispatch.rb
+- lib/rigor/inference/refined_dispatch/class_object.rb
 - lib/rigor/inference/refined_dispatch/own_method.rb
 - lib/rigor/inference/refinement_mutation.rb
 - lib/rigor/inference/repeated_or_writes.rb
@@ -846,6 +852,7 @@ files:
 - lib/rigor/inference/synthetic_method_scanner.rb
 - lib/rigor/inference/unknown_store_widening.rb
 - lib/rigor/inference/unthreaded_rebinds.rb
+- lib/rigor/inference/untyped_rejoin.rb
 - lib/rigor/inference/version_guard.rb
 - lib/rigor/inference/void_origin.rb
 - lib/rigor/inference/void_tail_summary.rb
@@ -868,6 +875,16 @@ files:
 - lib/rigor/language_server/signature_help_provider.rb
 - lib/rigor/language_server/synchronized_writer.rb
 - lib/rigor/language_server/uri.rb
+- lib/rigor/lens.rb
+- lib/rigor/lens/anchor.rb
+- lib/rigor/lens/contract_reader.rb
+- lib/rigor/lens/document.rb
+- lib/rigor/lens/file_reader.rb
+- lib/rigor/lens/members.rb
+- lib/rigor/lens/parameters.rb
+- lib/rigor/lens/plugins.rb
+- lib/rigor/lens/run.rb
+- lib/rigor/lens/slot.rb
 - lib/rigor/mcp.rb
 - lib/rigor/mcp/loop.rb
 - lib/rigor/mcp/server.rb