rigortype 0.4.1 → 0.4.3

data/plugins/rigor-typelizer/lib/rigor/plugin/typelizer.rb

@@ -0,0 +1,73 @@
+# frozen_string_literal: true
+
+require "rigor/plugin"
+
+require_relative "typelizer/serializer_index"
+require_relative "typelizer/serializer_collector"
+require_relative "typelizer/serializer_discoverer"
+
+module Rigor
+  module Plugin
+    # rigor-typelizer — roots the serializer classes the typelizer gem
+    # (https://github.com/skryukov/typelizer) generates TypeScript interfaces from, so `rigor unused` does not
+    # list them as removal candidates.
+    #
+    # typelizer's `Typelizer.target_serializers` is `base_classes + base_classes.flat_map(&:descendants)`, where
+    # `base_classes` holds every named class that ran `include Typelizer::DSL` or `extend Typelizer::DSL`. Such
+    # a class may never be referenced from Ruby and still be consumed by the frontend through the generated
+    # type, so the plugin publishes it — and every project subclass of it — as a `:reachability_roots` fact.
+    #
+    # The plugin adds no diagnostic and no return type. It models nothing at runtime: `reject_class` (a lambda
+    # in typelizer's configuration that can drop a class from the output) is not evaluated, so a rejected class
+    # is still rooted. That costs a hidden candidate, never a false report.
+    class Typelizer < Rigor::Plugin::Base
+      manifest(
+        id: "typelizer",
+        target_gems: ["typelizer"],
+        version: "0.1.0",
+        description: "Roots the serializer classes typelizer generates TypeScript interfaces from, " \
+                     "for `rigor unused`.",
+        config_schema: {
+          # Typelizer::Railtie sets exactly these two when `Typelizer.dirs` is empty.
+          "dirs" => { kind: :array, default: %w[app/resources app/serializers] }
+        },
+        produces: [:reachability_roots]
+      )
+
+      producer :serializer_index, watch: -> { watch_globs } do |_params|
+        SerializerDiscoverer.new(io_boundary: io_boundary, dirs: @dirs, project_paths: @project_paths).discover
+      end
+
+      def init(services)
+        @dirs = Array(config.fetch("dirs")).map(&:to_s)
+        @project_paths = Array(services.configuration.paths).map(&:to_s)
+      end
+
+      def prepare(services)
+        index = producer_value(:serializer_index)
+        return if index.nil?
+
+        roots = index.roots
+        return if roots.empty?
+
+        services.fact_store.publish(plugin_id: manifest.id, name: :reachability_roots, value: roots)
+      end
+
+      private
+
+      # Superclass resolution reads every file of the project's `paths:` (a shadowing `Admin::Base` may live
+      # outside `dirs`), so all of them are watched, not only `dirs`.
+      def watch_globs
+        (@dirs + @project_paths).filter_map do |entry|
+          if io_boundary.directory?(File.expand_path(entry))
+            [entry, "**/*.rb"]
+          elsif entry.end_with?(".rb") && io_boundary.file?(File.expand_path(entry))
+            [File.dirname(entry), File.basename(entry)]
+          end
+        end
+      end
+    end
+
+    Rigor::Plugin.register(Typelizer)
+  end
+end

data/plugins/rigor-typelizer/lib/rigor-typelizer.rb

@@ -0,0 +1,3 @@
+# frozen_string_literal: true
+
+require_relative "rigor/plugin/typelizer"

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

@@ -2,7 +2,7 @@ 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
+        def initialize: (?resolved_gems: untyped, ?unresolvable: untyped, ?method_catalog: untyped, ?budget_exceeded: untyped, ?class_to_gem: untyped, ?budget_overrun_strategy: untyped, ?gem_modes: untyped, ?refinements: untyped) -> void
       end
     end
   end

data/sig/rigor/plugin/io_boundary.rbs

@@ -4,6 +4,9 @@ class Rigor::Plugin::IoBoundary
   def file?: (untyped) -> bool
   def directory?: (untyped) -> bool
   def list_directory: (untyped) -> Array[String]
+  # Records a `:names` glob row (membership only); a caller needing a match's content `read_file`s it. A `..`
+  # segment, a brace or a backslash in `pattern` raises `AccessDeniedError`.
+  def glob: (untyped root, untyped pattern) -> Array[String]
   # sig-gen gap: #1156 — the generator pins the empty-summary literal (`count: 0, first_path: nil`); the
   # record's fields are the running count and the first refused path, nil when nothing was refused.
   def refusal_summary: () -> { count: Integer, first_path: String?, nearest_root: String? }?

data/sig/rigor/scope.rbs

@@ -29,6 +29,10 @@ module Rigor
     attr_reader opaque_block_self: bool
     # sig-gen gap: #1154 — sig-gen skips the reader (sig.skipped.untyped-return): an `attr_reader`
     # over an ivar assigned in `initialize` from a parameter, so inference reaches `untyped`.
+    # Issue #1759 — `:refinement` (REFINEMENT_BLOCK_SELF) directly in a `refine X do … end` block body.
+    attr_reader block_self_unknown: bool | :refinement
+    # sig-gen gap: #1154 — sig-gen skips the reader (sig.skipped.untyped-return): an `attr_reader`
+    # over an ivar assigned in `initialize` from a parameter, so inference reaches `untyped`.
     attr_reader singleton_class_body: bool
     attr_reader lexical_nesting: Array[String]?
     # Issue #1429 — a guard's narrowing of a constant reference, keyed by its spelling.
@@ -40,6 +44,9 @@ module Rigor
     # Issue #1446 — the classes a class guard narrowed a `bot` receiver to.
     # sig-gen gap: #1154 — a reader over an ivar `initialize` assigns from a parameter.
     attr_reader bot_guard_classes: Hash[[Symbol, Symbol | String], Array[String]]
+    # Issue #1667 — the modules a plugin-declared refined block runs under, in declaration order.
+    # sig-gen gap: #1154 — a reader over an ivar `initialize` assigns from a parameter.
+    attr_reader declared_refinements: Array[String]
 
     # ADR-53 Track A — the seed-time discovery tables live on the
     # DiscoveryIndex; Scope keeps per-table readers as delegates.
@@ -64,8 +71,11 @@ module Rigor
     # deferred-range table's row shape is hand-written.
     def discovered_deferred_ranges: () -> Hash[String, Array[[Integer, Integer, Symbol?, Symbol?, String?]]]
     # sig-gen gap: #1148 — sig-gen skips the endless-def reader (untyped return), so the refinement table's
-    # shape is hand-written.
-    def discovered_refinements: () -> Hash[String, Hash[Symbol, Array[String]]]
+    # shape is hand-written. A method key is a Symbol or the `"*"` wildcard (ADR-121 WD7).
+    def discovered_refinements: () -> Hash[String, Hash[Symbol | String, Array[String]]]
+    # authored: the list holds module names and the `InEffectRefinements::UNKNOWN` Symbol; sig-gen reads the delegated
+    # return through an unsigned class as untyped.
+    def in_effect_refinements: (untyped node, ?Array[String] declared) -> Array[String | Symbol]
     # sig-gen gap: #1148 — sig-gen skips the endless-def reader (untyped return), so the census shape is
     # hand-written.
     def discovered_global_write_census: () -> Set[Array[untyped]]
@@ -144,7 +154,7 @@ module Rigor
       # sig-gen gap: #1150 — `Data.define` members carry no type, as for every other row in this class.
       attr_reader discovered_deferred_ranges: Hash[String, Array[[Integer, Integer, Symbol?, Symbol?, String?]]]
       # sig-gen gap: #1150 — `Data.define` members carry no type, as for every other row in this class.
-      attr_reader discovered_refinements: Hash[String, Hash[Symbol, Array[String]]]
+      attr_reader discovered_refinements: Hash[String, Hash[Symbol | String, Array[String]]]
       # sig-gen gap: #1150 — `Data.define` members carry no type, as for every other row in this class.
       attr_reader discovered_global_write_census: Set[Array[untyped]]
       attr_reader run_generation: Object?
@@ -157,6 +167,9 @@ module Rigor
       # `untyped`: the value is an `Inference::LastLine::SelfEvidence` (or nil), and that class carries no signature,
       # as `Inference::MatchRebinding::Frame` carries none for `match_frame`.
       attr_reader implicit_self_evidence: untyped
+      # sig-gen gap: #1150 — `Data.define` members carry no type; the value is an `Inference::InEffectRefinements`
+      # (or nil), which carries no signature either.
+      attr_reader in_effect_refinements: untyped
       # sig-gen gap: #1150 — `Data.define` members carry no type, as for every other row in this class.
       attr_reader possible_discovered_methods: Hash[String, Hash[Symbol, Symbol]]
       # sig-gen gap: #1150 — `Data.define` members carry no type, as for every other row in this class.
@@ -188,7 +201,7 @@ module Rigor
       # authored: ADR-119 WD1 sibling pairing; no inferred signature exists for it (#1150).
       def sibling_tables: () -> Hash[Symbol, untyped]
 
-      def with: (?declared_types: Hash[untyped, Type::t], ?class_ivars: Hash[String, Hash[Symbol, Type::t]], ?class_cvars: Hash[String, Hash[Symbol, Type::t]], ?program_globals: Hash[Symbol, Type::t], ?program_global_seeds: Hash[Symbol, Type::t], ?discovered_classes: Hash[String, Type::Singleton], ?in_source_constants: Hash[String, Type::t], ?discovered_methods: Hash[String, Hash[Symbol, Symbol]], ?discovered_def_nodes: Hash[String, Hash[Symbol, untyped]], ?discovered_def_nestings: Hash[untyped, Array[String]], ?discovered_singleton_def_nodes: Hash[String, Hash[Symbol, untyped]], ?discovered_def_sources: Hash[String, Hash[Symbol, String]], ?discovered_singleton_def_sources: Hash[String, Hash[Symbol, String]], ?discovered_method_visibilities: Hash[String, Hash[Symbol, Symbol]], ?discovered_parameter_envelopes: Hash[String, Hash[untyped, untyped]], ?discovered_superclasses: Hash[String, String], ?discovered_includes: Hash[String, Array[String]], ?discovered_prepends: Hash[String, Array[String]], ?discovered_extends: Hash[String, Array[String]], ?discovered_class_sources: Hash[String, Set[String]], ?constant_sources: Hash[String, Set[String]], ?constant_writers: Hash[String, Array[String]], ?constant_shadowers: Hash[String, Array[String]], ?published_constant_names: Set[String], ?local_constant_names: Set[String], ?published_constant_alias_names: Set[String], ?published_constant_ivars: Hash[String, Set[Symbol]], ?data_member_layouts: Hash[String, Array[Symbol]], ?struct_member_layouts: Hash[String, { members: Array[Symbol], keyword_init: bool }], ?param_inferred_types: Hash[[String, Symbol, Symbol], Hash[Symbol, Type::t]], ?discovered_deferred_ranges: Hash[String, Array[[Integer, Integer, Symbol?, Symbol?, String?]]], ?discovered_refinements: Hash[String, Hash[Symbol, Array[String]]], ?discovered_global_write_census: Set[Array[untyped]], ?run_generation: Object?, ?patched_line_readers: Set[Symbol], ?clears_last_status: bool, ?defines_case_equality: bool, ?implicit_self_evidence: untyped, ?possible_discovered_methods: Hash[String, Hash[Symbol, Symbol]], ?possible_discovered_deferred_ranges: Hash[String, Array[[Integer, Integer, Symbol?, Symbol?, String?]]], ?contested_discovered_def_nodes: Set[Array[untyped]], ?contested_discovered_singleton_def_nodes: Set[Array[untyped]], ?contested_discovered_method_visibilities: Set[Array[untyped]], ?contested_discovered_parameter_envelopes: Set[Array[untyped]]) -> DiscoveryIndex
+      def with: (?declared_types: Hash[untyped, Type::t], ?class_ivars: Hash[String, Hash[Symbol, Type::t]], ?class_cvars: Hash[String, Hash[Symbol, Type::t]], ?program_globals: Hash[Symbol, Type::t], ?program_global_seeds: Hash[Symbol, Type::t], ?discovered_classes: Hash[String, Type::Singleton], ?in_source_constants: Hash[String, Type::t], ?discovered_methods: Hash[String, Hash[Symbol, Symbol]], ?discovered_def_nodes: Hash[String, Hash[Symbol, untyped]], ?discovered_def_nestings: Hash[untyped, Array[String]], ?discovered_singleton_def_nodes: Hash[String, Hash[Symbol, untyped]], ?discovered_def_sources: Hash[String, Hash[Symbol, String]], ?discovered_singleton_def_sources: Hash[String, Hash[Symbol, String]], ?discovered_method_visibilities: Hash[String, Hash[Symbol, Symbol]], ?discovered_parameter_envelopes: Hash[String, Hash[untyped, untyped]], ?discovered_superclasses: Hash[String, String], ?discovered_includes: Hash[String, Array[String]], ?discovered_prepends: Hash[String, Array[String]], ?discovered_extends: Hash[String, Array[String]], ?discovered_class_sources: Hash[String, Set[String]], ?constant_sources: Hash[String, Set[String]], ?constant_writers: Hash[String, Array[String]], ?constant_shadowers: Hash[String, Array[String]], ?published_constant_names: Set[String], ?local_constant_names: Set[String], ?published_constant_alias_names: Set[String], ?published_constant_ivars: Hash[String, Set[Symbol]], ?data_member_layouts: Hash[String, Array[Symbol]], ?struct_member_layouts: Hash[String, { members: Array[Symbol], keyword_init: bool }], ?param_inferred_types: Hash[[String, Symbol, Symbol], Hash[Symbol, Type::t]], ?discovered_deferred_ranges: Hash[String, Array[[Integer, Integer, Symbol?, Symbol?, String?]]], ?discovered_refinements: Hash[String, Hash[Symbol | String, Array[String]]], ?discovered_global_write_census: Set[Array[untyped]], ?run_generation: Object?, ?patched_line_readers: Set[Symbol], ?clears_last_status: bool, ?defines_case_equality: bool, ?implicit_self_evidence: untyped, ?in_effect_refinements: untyped, ?possible_discovered_methods: Hash[String, Hash[Symbol, Symbol]], ?possible_discovered_deferred_ranges: Hash[String, Array[[Integer, Integer, Symbol?, Symbol?, String?]]], ?contested_discovered_def_nodes: Set[Array[untyped]], ?contested_discovered_singleton_def_nodes: Set[Array[untyped]], ?contested_discovered_method_visibilities: Set[Array[untyped]], ?contested_discovered_parameter_envelopes: Set[Array[untyped]]) -> DiscoveryIndex
     end
 
     class IndexedKey
@@ -211,8 +224,15 @@ module Rigor
     def with_lexical_nesting: (Array[String]? chain) -> Scope
     def struct_fold_safe?: (String | Symbol name) -> bool
     def entering_opaque_block: () -> Scope
+    # sig-gen gap: #1148 — sig-gen skips the endless-def reader (sig.skipped.untyped-return); the row is hand-written.
+    def block_self_unknown?: () -> bool
+    REFINEMENT_BLOCK_SELF: :refinement
+    # sig-gen gap: #1148 — sig-gen skips the endless-def predicate (sig.skipped.untyped-return); the row is hand-written.
+    def refinement_block_self?: () -> bool
+    def with_block_self_unknown: (bool flag) -> Scope
     def opaque_block_self?: () -> bool
     def with_singleton_class_body: (bool) -> Scope
+    def with_declared_refinements: (Array[String] names) -> Scope
     # sig-gen gap: #1148 — sig-gen skips the endless-def reader (sig.skipped.untyped-return); the row is hand-written.
     def singleton_class_body?: () -> bool
     def with_discovery: (DiscoveryIndex index) -> Scope
@@ -227,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
@@ -279,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
@@ -337,6 +360,7 @@ module Rigor
     def singleton_extends_of: (String | Symbol class_name) -> Array[String]
     def indexed_narrowing: (Symbol receiver_kind, String | Symbol receiver_name, untyped key) -> Type::t?
     def with_indexed_narrowing: (Symbol receiver_kind, String | Symbol receiver_name, untyped key, Type::t type) -> Scope
+    def with_isolated_side_tables: () -> Scope
     def without_indexed_narrowing: (Symbol receiver_kind, String | Symbol receiver_name, untyped key) -> Scope
     def without_indexed_narrowings_for: (Symbol receiver_kind, String | Symbol receiver_name) -> Scope
     def method_chain_narrowing: (Symbol receiver_kind, String | Symbol receiver_name, String | Symbol method_name) -> Type::t?
@@ -345,6 +369,8 @@ module Rigor
     def without_method_chain_narrowings_for: (Symbol receiver_kind, String | Symbol receiver_name) -> Scope
     def with_fact: (Analysis::FactStore::Fact fact) -> Scope
     def with_self_type: (Type::t? type) -> Scope
+    def with_block_self_type: (Type::t? type, ?keeps_unknown: bool | :refinement) -> Scope
+    def block_self_narrowing_unknown?: (Prism::CallNode call_node) -> bool
     def facts_for: (?target: Analysis::FactStore::Target?, ?bucket: Symbol?) -> Array[Analysis::FactStore::Fact]
     def local_facts: (String | Symbol name, ?bucket: Symbol?) -> Array[Analysis::FactStore::Fact]
     def type_of: (untyped node, ?tracer: Inference::FallbackTracer?) -> Type::t

data/sig/rigor/source.rbs

@@ -21,6 +21,10 @@ module Rigor
       def self?.symbol_arg: (untyped? call_node, Integer index) -> Symbol?
     end
 
+    module SymbolName
+      def self?.of: (String? text) -> Symbol?
+    end
+
     module NodeWalker
       def self?.each: (untyped root) { (untyped) -> void } -> nil
                     | (untyped root) -> Enumerator[untyped, nil]

data/sig/rigor.rbs

@@ -14,7 +14,9 @@ module Rigor
     def self.load: (?String? path) -> Configuration
     def self.discover: () -> String?
     def self.load_with_includes: (String path, ?visited: Set[String]) -> Hash[String, untyped]
-    def initialize: (?Hash[String, untyped] data, ?bool effects_key_present) -> void
+    def initialize: (?Hash[String, untyped] data, ?bool effects_key_present, ?bool target_ruby_key_present) -> void
+    def target_ruby_explicit?: () -> bool
+    def stated_runtime_ruby: () -> String?
     def to_h: () -> Hash[String, untyped]
     # ADR-103 WD13 — the `effects:` block, nil when the key was absent. Presence is the opt-in.
     attr_reader effects: Hash[String, untyped]?
@@ -81,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
@@ -91,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.1
+  version: 0.4.3
 platform: ruby
 authors:
 - Rigor contributors
@@ -310,12 +310,25 @@ files:
 - data/core_overlay/csv.rbs
 - data/core_overlay/enumerable.rbs
 - data/core_overlay/enumerator.rbs
+- data/core_overlay/env.rbs
+- data/core_overlay/gc.rbs
+- data/core_overlay/hash.rbs
 - data/core_overlay/hash_rbs3.rbs
+- data/core_overlay/integer.rbs
+- data/core_overlay/io_buffer.rbs
+- data/core_overlay/kernel.rbs
+- data/core_overlay/match_data.rbs
+- data/core_overlay/module.rbs
 - data/core_overlay/numeric.rbs
+- data/core_overlay/object_space.rbs
 - data/core_overlay/pathname.rbs
+- data/core_overlay/proc.rbs
 - data/core_overlay/process.rbs
 - data/core_overlay/psych.rbs
+- data/core_overlay/range.rbs
 - data/core_overlay/resolv.rbs
+- data/core_overlay/source_range.rbs
+- data/core_overlay/string.rbs
 - data/core_overlay/string_io.rbs
 - data/core_overlay/string_scanner.rbs
 - data/effects/core.yml
@@ -334,6 +347,8 @@ files:
 - data/vendored_gem_sigs/nokogiri/nokogiri.rbs
 - data/vendored_gem_sigs/nokogiri/nokogiri_html5.rbs
 - data/vendored_gem_sigs/pg/pg.rbs
+- data/vendored_gem_sigs/prime/integer-extension.rbs
+- data/vendored_gem_sigs/prime/prime.rbs
 - data/vendored_gem_sigs/prism/prism_supplement.rbs
 - data/vendored_gem_sigs/racc/racc.rbs
 - data/vendored_gem_sigs/redis/errors.rbs
@@ -398,6 +413,7 @@ files:
 - docs/manual/plugins/rigor-activerecord.md
 - docs/manual/plugins/rigor-activestorage.md
 - docs/manual/plugins/rigor-activesupport-core-ext.md
+- docs/manual/plugins/rigor-alba.md
 - docs/manual/plugins/rigor-devise.md
 - docs/manual/plugins/rigor-dry-schema.md
 - docs/manual/plugins/rigor-dry-struct.md
@@ -421,6 +437,7 @@ files:
 - docs/manual/plugins/rigor-sinatra.md
 - docs/manual/plugins/rigor-sorbet.md
 - docs/manual/plugins/rigor-statesman.md
+- docs/manual/plugins/rigor-typelizer.md
 - docs/manual/plugins/rigor-typescript-utility-types.md
 - exe/rigor
 - lib/rigor.rb
@@ -438,6 +455,7 @@ files:
 - lib/rigor/analysis/check_rules/main_pass_collector.rb
 - lib/rigor/analysis/check_rules/published_constant_guard.rb
 - lib/rigor/analysis/check_rules/return_in_ensure_collector.rb
+- lib/rigor/analysis/check_rules/ruby_deprecations.rb
 - lib/rigor/analysis/check_rules/rule_ids.rb
 - lib/rigor/analysis/check_rules/rule_walk.rb
 - lib/rigor/analysis/check_rules/self_closedness_scanner.rb
@@ -546,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
@@ -632,6 +651,8 @@ files:
 - lib/rigor/environment/constant_type_cache_holder.rb
 - lib/rigor/environment/default_libraries.rb
 - lib/rigor/environment/failure_slot.rb
+- lib/rigor/environment/gated_signature_guard.rb
+- lib/rigor/environment/gated_signature_plan.rb
 - lib/rigor/environment/hkt_registry_holder.rb
 - lib/rigor/environment/installed_gem_set.rb
 - lib/rigor/environment/lockfile_resolver.rb
@@ -644,6 +665,7 @@ files:
 - lib/rigor/environment/rbs_loader.rb
 - lib/rigor/environment/reflection.rb
 - lib/rigor/environment/reporters.rb
+- lib/rigor/environment/required_features.rb
 - lib/rigor/environment/source_rbs_synthesis.rb
 - lib/rigor/flow_contribution.rb
 - lib/rigor/flow_contribution/conflict.rb
@@ -663,6 +685,7 @@ files:
 - lib/rigor/inference/builtins/array_catalog.rb
 - lib/rigor/inference/builtins/comparable_catalog.rb
 - lib/rigor/inference/builtins/complex_catalog.rb
+- lib/rigor/inference/builtins/cruby_definers.rb
 - lib/rigor/inference/builtins/date_catalog.rb
 - lib/rigor/inference/builtins/encoding_catalog.rb
 - lib/rigor/inference/builtins/enumerable_catalog.rb
@@ -712,9 +735,16 @@ files:
 - lib/rigor/inference/hkt_reducer.rb
 - lib/rigor/inference/hkt_registry.rb
 - lib/rigor/inference/hkt_sugar_translator.rb
+- lib/rigor/inference/in_effect_refinements.rb
+- lib/rigor/inference/in_effect_refinements/proc_literals.rb
+- lib/rigor/inference/in_effect_refinements/refine_defs.rb
+- lib/rigor/inference/in_effect_refinements/scope_reads.rb
+- lib/rigor/inference/in_effect_refinements/walk.rb
 - lib/rigor/inference/index_write_widening.rb
 - lib/rigor/inference/indexed_narrowing.rb
 - lib/rigor/inference/jump_targets.rb
+- lib/rigor/inference/key_presence_guard.rb
+- lib/rigor/inference/key_presence_guard/scan.rb
 - lib/rigor/inference/last_line.rb
 - lib/rigor/inference/last_line/implicit_self.rb
 - lib/rigor/inference/last_line/self_evidence.rb
@@ -727,6 +757,8 @@ 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
 - lib/rigor/inference/method_dispatcher/call_context.rb
@@ -736,14 +768,18 @@ files:
 - lib/rigor/inference/method_dispatcher/facet_distribution.rb
 - lib/rigor/inference/method_dispatcher/file_folding.rb
 - lib/rigor/inference/method_dispatcher/hash_transform_keys_folding.rb
+- lib/rigor/inference/method_dispatcher/imprecise_argument.rb
+- lib/rigor/inference/method_dispatcher/integer_step_block_params.rb
 - lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
 - lib/rigor/inference/method_dispatcher/json_folding.rb
 - lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
+- lib/rigor/inference/method_dispatcher/keyword_arguments.rb
 - lib/rigor/inference/method_dispatcher/literal_string_folding.rb
 - lib/rigor/inference/method_dispatcher/match_data_folding.rb
 - 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
@@ -758,9 +794,11 @@ files:
 - lib/rigor/inference/method_dispatcher/shellwords_folding.rb
 - lib/rigor/inference/method_dispatcher/singleton_folding.rb
 - lib/rigor/inference/method_dispatcher/singleton_mixin_dispatch.rb
+- lib/rigor/inference/method_dispatcher/splat_arity.rb
 - 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
@@ -769,6 +807,7 @@ files:
 - lib/rigor/inference/mutation_rejoin.rb
 - lib/rigor/inference/mutation_widening.rb
 - lib/rigor/inference/narrowing.rb
+- lib/rigor/inference/object_mixins.rb
 - lib/rigor/inference/operand_effects.rb
 - lib/rigor/inference/operand_walk.rb
 - lib/rigor/inference/optimistic_origin.rb
@@ -777,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
@@ -784,6 +824,11 @@ files:
 - lib/rigor/inference/rbs_type_translator.rb
 - lib/rigor/inference/receiver_alias.rb
 - lib/rigor/inference/receiver_blind_block.rb
+- 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
 - lib/rigor/inference/return_barrier.rb
@@ -807,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
@@ -829,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
@@ -914,12 +970,14 @@ files:
 - lib/rigor/sig_gen/writer.rb
 - lib/rigor/signature_path_audit.rb
 - lib/rigor/source.rb
+- lib/rigor/source/alias_names.rb
 - lib/rigor/source/constant_path.rb
 - lib/rigor/source/literals.rb
 - lib/rigor/source/node_children.rb
 - lib/rigor/source/node_locator.rb
 - lib/rigor/source/node_walker.rb
 - lib/rigor/source/parameter_envelope.rb
+- lib/rigor/source/symbol_name.rb
 - lib/rigor/testing.rb
 - lib/rigor/triage.rb
 - lib/rigor/triage/catalogue.rb
@@ -967,6 +1025,15 @@ files:
 - lib/rigor/value_semantics.rb
 - lib/rigor/version.rb
 - lib/rigortype.rb
+- plugins/rigor-ac-library-rb/lib/rigor-ac-library-rb.rb
+- plugins/rigor-ac-library-rb/lib/rigor/plugin/ac_library_rb.rb
+- plugins/rigor-ac-library-rb/sig/ac_library_rb/convolution.rbs
+- plugins/rigor-ac-library-rb/sig/ac_library_rb/data_structures.rbs
+- plugins/rigor-ac-library-rb/sig/ac_library_rb/graph.rbs
+- plugins/rigor-ac-library-rb/sig/ac_library_rb/math.rbs
+- plugins/rigor-ac-library-rb/sig/ac_library_rb/modint.rbs
+- plugins/rigor-ac-library-rb/sig/ac_library_rb/object.rbs
+- plugins/rigor-ac-library-rb/sig/ac_library_rb/segtree.rbs
 - plugins/rigor-actioncable/lib/rigor-actioncable.rb
 - plugins/rigor-actioncable/lib/rigor/plugin/actioncable.rb
 - plugins/rigor-actioncable/lib/rigor/plugin/actioncable/analyzer.rb
@@ -1007,6 +1074,7 @@ files:
 - plugins/rigor-activerecord/lib/rigor-activerecord.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/analyzer.rb
+- plugins/rigor-activerecord/lib/rigor/plugin/activerecord/association_roots.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/effects.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_discoverer.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_index.rb
@@ -1025,6 +1093,12 @@ files:
 - plugins/rigor-activesupport-core-ext/lib/rigor/plugin/activesupport_core_ext.rb
 - plugins/rigor-activesupport-core-ext/lib/rigor/plugin/activesupport_core_ext/effects.rb
 - plugins/rigor-activesupport-core-ext/sig/active_support/core_ext.rbs
+- plugins/rigor-alba/lib/rigor-alba.rb
+- plugins/rigor-alba/lib/rigor/plugin/alba.rb
+- plugins/rigor-alba/lib/rigor/plugin/alba/resource_collector.rb
+- plugins/rigor-alba/lib/rigor/plugin/alba/resource_discoverer.rb
+- plugins/rigor-alba/lib/rigor/plugin/alba/resource_index.rb
+- plugins/rigor-alba/sig/alba.rbs
 - plugins/rigor-devise/lib/rigor-devise.rb
 - plugins/rigor-devise/lib/rigor/plugin/devise.rb
 - plugins/rigor-dry-monads/lib/rigor-dry-monads.rb
@@ -1150,6 +1224,11 @@ files:
 - plugins/rigor-sorbet/sig/sorbet.rbs
 - plugins/rigor-statesman/lib/rigor-statesman.rb
 - plugins/rigor-statesman/lib/rigor/plugin/statesman.rb
+- plugins/rigor-typelizer/lib/rigor-typelizer.rb
+- plugins/rigor-typelizer/lib/rigor/plugin/typelizer.rb
+- plugins/rigor-typelizer/lib/rigor/plugin/typelizer/serializer_collector.rb
+- plugins/rigor-typelizer/lib/rigor/plugin/typelizer/serializer_discoverer.rb
+- plugins/rigor-typelizer/lib/rigor/plugin/typelizer/serializer_index.rb
 - plugins/rigor-typescript-utility-types/lib/rigor-typescript-utility-types.rb
 - plugins/rigor-typescript-utility-types/lib/rigor/plugin/typescript_utility_types.rb
 - sig/prism_node_children.rbs
@@ -1267,6 +1346,7 @@ post_install_message: |
 rdoc_options: []
 require_paths:
 - lib
+- plugins/rigor-ac-library-rb/lib
 - plugins/rigor-actioncable/lib
 - plugins/rigor-actionmailer/lib
 - plugins/rigor-actionpack/lib
@@ -1275,6 +1355,7 @@ require_paths:
 - plugins/rigor-activerecord/lib
 - plugins/rigor-activestorage/lib
 - plugins/rigor-activesupport-core-ext/lib
+- plugins/rigor-alba/lib
 - plugins/rigor-devise/lib
 - plugins/rigor-dry-monads/lib
 - plugins/rigor-dry-schema/lib
@@ -1305,6 +1386,7 @@ require_paths:
 - plugins/rigor-sinatra/lib
 - plugins/rigor-sorbet/lib
 - plugins/rigor-statesman/lib
+- plugins/rigor-typelizer/lib
 - plugins/rigor-typescript-utility-types/lib
 required_ruby_version: !ruby/object:Gem::Requirement
   requirements: