rigortype 0.1.15 → 0.1.17

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.1.15
+  version: 0.1.17
 platform: ruby
 authors:
 - Rigor contributors
@@ -69,6 +69,46 @@ dependencies:
     - - "<"
       - !ruby/object:Gem::Version
         version: '5.0'
+- !ruby/object:Gem::Dependency
+  name: activesupport
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '7.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '9.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '7.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '9.0'
+- !ruby/object:Gem::Dependency
+  name: rack
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '2.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+  type: :development
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '2.0'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
 - !ruby/object:Gem::Dependency
   name: parallel_tests
   requirement: !ruby/object:Gem::Requirement
@@ -249,6 +289,9 @@ 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/check_rules/self_closedness_scanner.rb
+- lib/rigor/analysis/check_rules/unreachable_clause_collector.rb
+- lib/rigor/analysis/dependency_recorder.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
@@ -259,11 +302,14 @@ files:
 - lib/rigor/analysis/diagnostic.rb
 - lib/rigor/analysis/erb_template_detector.rb
 - lib/rigor/analysis/fact_store.rb
+- lib/rigor/analysis/incremental.rb
+- lib/rigor/analysis/incremental_session.rb
 - lib/rigor/analysis/project_scan.rb
 - lib/rigor/analysis/result.rb
 - lib/rigor/analysis/rule_catalog.rb
 - lib/rigor/analysis/run_stats.rb
 - lib/rigor/analysis/runner.rb
+- lib/rigor/analysis/self_call_resolution_recorder.rb
 - lib/rigor/analysis/worker_session.rb
 - lib/rigor/ast.rb
 - lib/rigor/ast/type_node.rb
@@ -272,6 +318,8 @@ files:
 - lib/rigor/builtins/regex_refinement.rb
 - lib/rigor/builtins/static_return_refinements.rb
 - lib/rigor/cache/descriptor.rb
+- lib/rigor/cache/incremental_snapshot.rb
+- lib/rigor/cache/rbs_cache_producer.rb
 - lib/rigor/cache/rbs_class_ancestor_table.rb
 - lib/rigor/cache/rbs_class_type_param_names.rb
 - lib/rigor/cache/rbs_constant_table.rb
@@ -284,6 +332,7 @@ files:
 - lib/rigor/cli.rb
 - lib/rigor/cli/annotate_command.rb
 - lib/rigor/cli/baseline_command.rb
+- lib/rigor/cli/command.rb
 - lib/rigor/cli/coverage_command.rb
 - lib/rigor/cli/coverage_renderer.rb
 - lib/rigor/cli/coverage_report.rb
@@ -291,10 +340,12 @@ files:
 - lib/rigor/cli/explain_command.rb
 - lib/rigor/cli/lsp_command.rb
 - lib/rigor/cli/mcp_command.rb
+- lib/rigor/cli/options.rb
 - lib/rigor/cli/plugin_command.rb
 - lib/rigor/cli/plugins_command.rb
 - lib/rigor/cli/plugins_renderer.rb
 - lib/rigor/cli/prism_colorizer.rb
+- lib/rigor/cli/renderable.rb
 - lib/rigor/cli/sig_gen_command.rb
 - lib/rigor/cli/skill_command.rb
 - lib/rigor/cli/triage_command.rb
@@ -326,6 +377,7 @@ files:
 - lib/rigor/flow_contribution/merger.rb
 - lib/rigor/inference/acceptance.rb
 - lib/rigor/inference/block_parameter_binder.rb
+- lib/rigor/inference/budget_trace.rb
 - lib/rigor/inference/builtins/array_catalog.rb
 - lib/rigor/inference/builtins/comparable_catalog.rb
 - lib/rigor/inference/builtins/complex_catalog.rb
@@ -360,8 +412,10 @@ files:
 - lib/rigor/inference/macro_block_self_type.rb
 - lib/rigor/inference/method_dispatcher.rb
 - lib/rigor/inference/method_dispatcher/block_folding.rb
+- lib/rigor/inference/method_dispatcher/call_context.rb
 - lib/rigor/inference/method_dispatcher/cgi_folding.rb
 - lib/rigor/inference/method_dispatcher/constant_folding.rb
+- lib/rigor/inference/method_dispatcher/data_folding.rb
 - lib/rigor/inference/method_dispatcher/file_folding.rb
 - lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
 - lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
@@ -375,6 +429,7 @@ files:
 - lib/rigor/inference/method_dispatcher/set_folding.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
 - lib/rigor/inference/method_dispatcher/shellwords_folding.rb
+- lib/rigor/inference/method_dispatcher/singleton_folding.rb
 - lib/rigor/inference/method_dispatcher/time_folding.rb
 - lib/rigor/inference/method_dispatcher/uri_folding.rb
 - lib/rigor/inference/method_parameter_binder.rb
@@ -391,6 +446,7 @@ files:
 - lib/rigor/inference/synthetic_method_index.rb
 - lib/rigor/inference/synthetic_method_scanner.rb
 - lib/rigor/language_server.rb
+- lib/rigor/language_server/buffer_resolution.rb
 - lib/rigor/language_server/buffer_table.rb
 - lib/rigor/language_server/completion_provider.rb
 - lib/rigor/language_server/debouncer.rb
@@ -411,18 +467,24 @@ files:
 - lib/rigor/mcp/server.rb
 - lib/rigor/plugin.rb
 - lib/rigor/plugin/access_denied_error.rb
+- lib/rigor/plugin/additional_initializer.rb
 - lib/rigor/plugin/base.rb
 - lib/rigor/plugin/blueprint.rb
+- lib/rigor/plugin/box.rb
 - lib/rigor/plugin/fact_store.rb
+- lib/rigor/plugin/inflector.rb
 - lib/rigor/plugin/io_boundary.rb
+- lib/rigor/plugin/isolation.rb
 - lib/rigor/plugin/load_error.rb
 - lib/rigor/plugin/loader.rb
 - lib/rigor/plugin/macro.rb
 - lib/rigor/plugin/macro/block_as_method.rb
 - lib/rigor/plugin/macro/external_file.rb
 - lib/rigor/plugin/macro/heredoc_template.rb
+- lib/rigor/plugin/macro/nested_class_template.rb
 - lib/rigor/plugin/macro/trait_registry.rb
 - lib/rigor/plugin/manifest.rb
+- lib/rigor/plugin/node_context.rb
 - lib/rigor/plugin/protocol_contract.rb
 - lib/rigor/plugin/registry.rb
 - lib/rigor/plugin/services.rb
@@ -430,6 +492,7 @@ files:
 - lib/rigor/plugin/trust_policy.rb
 - lib/rigor/plugin/type_node_resolver.rb
 - lib/rigor/rbs_extended.rb
+- lib/rigor/rbs_extended/conformance_checker.rb
 - lib/rigor/rbs_extended/hkt_directives.rb
 - lib/rigor/rbs_extended/reporter.rb
 - lib/rigor/reflection.rb
@@ -447,6 +510,7 @@ files:
 - lib/rigor/sig_gen/write_result.rb
 - lib/rigor/sig_gen/writer.rb
 - lib/rigor/source.rb
+- lib/rigor/source/literals.rb
 - lib/rigor/source/node_locator.rb
 - lib/rigor/source/node_walker.rb
 - lib/rigor/testing.rb
@@ -455,12 +519,15 @@ files:
 - lib/rigor/triage/hint.rb
 - lib/rigor/trinary.rb
 - lib/rigor/type.rb
+- lib/rigor/type/acceptance_router.rb
 - lib/rigor/type/accepts_result.rb
 - lib/rigor/type/app.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/data_class.rb
+- lib/rigor/type/data_instance.rb
 - lib/rigor/type/difference.rb
 - lib/rigor/type/dynamic.rb
 - lib/rigor/type/hash_shape.rb
@@ -482,6 +549,7 @@ files:
 - lib/rigor/type_node/string_literal.rb
 - lib/rigor/type_node/symbol_literal.rb
 - lib/rigor/type_node/union.rb
+- lib/rigor/value_semantics.rb
 - lib/rigor/version.rb
 - plugins/rigor-actioncable/lib/rigor-actioncable.rb
 - plugins/rigor-actioncable/lib/rigor/plugin/actioncable.rb
@@ -506,7 +574,6 @@ 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/inflector.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_discoverer.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_index.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/schema_parser.rb
@@ -546,6 +613,8 @@ files:
 - plugins/rigor-hanami/lib/rigor/plugin/hanami.rb
 - plugins/rigor-hanami/lib/rigor/plugin/hanami/action_checker.rb
 - plugins/rigor-hanami/sig/hanami_action.rbs
+- plugins/rigor-mangrove/lib/rigor-mangrove.rb
+- plugins/rigor-mangrove/lib/rigor/plugin/mangrove.rb
 - plugins/rigor-minitest/lib/rigor-minitest.rb
 - plugins/rigor-minitest/lib/rigor/plugin/minitest.rb
 - plugins/rigor-minitest/lib/rigor/plugin/minitest/assertion_analyzer.rb
@@ -613,6 +682,7 @@ files:
 - sig/rigor/analysis/dependency_source_inference/index.rbs
 - sig/rigor/analysis/fact_store.rbs
 - sig/rigor/ast.rbs
+- sig/rigor/cache.rbs
 - sig/rigor/cli/diff_command.rbs
 - sig/rigor/cli/explain_command.rbs
 - sig/rigor/cli/sig_gen_command.rbs
@@ -680,6 +750,7 @@ require_paths:
 - plugins/rigor-factorybot/lib
 - plugins/rigor-graphql/lib
 - plugins/rigor-hanami/lib
+- plugins/rigor-mangrove/lib
 - plugins/rigor-minitest/lib
 - plugins/rigor-pundit/lib
 - plugins/rigor-rails/lib

data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/inflector.rb

@@ -1,114 +0,0 @@
-# frozen_string_literal: true
-
-module Rigor
-  module Plugin
-    class Activerecord < Rigor::Plugin::Base
-      # Tiny inflection helper for the common `ClassName → snake_case_plural`
-      # mapping Rails uses to derive table names. Deliberately
-      # narrow — handles the regular cases (`User → users`,
-      # `BlogPost → blog_posts`, `Category → categories`,
-      # `Bus → buses`, `Wolf → wolves`). Irregular plurals
-      # (`Person → people`, `Mouse → mice`, `Datum → data`) are
-      # NOT handled; the user is expected to declare
-      # `self.table_name = "people"` for those.
-      #
-      # Avoids an `activesupport` runtime dependency. Rails apps
-      # that need richer inflection should set explicit table
-      # names on the affected models.
-      module Inflector
-        IRREGULAR_PLURALS = {
-          # Common ones we still want to handle without bringing
-          # in a full inflection table. Users get the configured
-          # explicit table_name route for anything else.
-          "person" => "people",
-          "child" => "children",
-          "datum" => "data"
-        }.freeze
-
-        module_function
-
-        # `BlogPost` → `blog_posts`. `User::Profile` → `user_profiles`
-        # (Rails-style namespacing flattens with underscore).
-        def tableize(class_name)
-          underscore = underscore(class_name.to_s.gsub("::", "/"))
-          # `user/profiles` → `user_profiles`
-          underscore = underscore.tr("/", "_")
-          pluralize(underscore)
-        end
-
-        # `BlogPost` → `blog_post`. Standard Rails-style underscore.
-        def underscore(camel_case_word)
-          word = camel_case_word.to_s.dup
-          word.gsub!(/([A-Z]+)([A-Z][a-z])/, '\1_\2')
-          word.gsub!(/([a-z\d])([A-Z])/, '\1_\2')
-          word.tr!("-", "_")
-          word.downcase!
-          word
-        end
-
-        # `users` → `User`, `blog_posts` → `BlogPost`.
-        # Used by the association detector to map an
-        # association NAME (`has_many :posts` → `Post`) to the
-        # target class without requiring an explicit
-        # `class_name:` option. Singularises the word first,
-        # then camel-cases. Recognises the same irregular
-        # plurals as {.pluralize}.
-        def classify(word)
-          camelize(singularize(word.to_s))
-        end
-
-        # `posts` → `post`, `categories` → `category`,
-        # `wolves` → `wolf`, `buses` → `bus`. The inverse of
-        # {.pluralize} for the regular cases this module
-        # recognises. Irregular forms (`people` → `person`)
-        # round-trip via {IRREGULAR_PLURALS}.
-        def singularize(word)
-          IRREGULAR_PLURALS.each { |singular, plural| return singular if word == plural }
-
-          case word
-          when /(.*[bcdfghjklmnpqrstvwxz])ies\z/
-            "#{Regexp.last_match(1)}y"
-          when /(.*[sxz]|.*[cs]h)es\z/
-            Regexp.last_match(0)[0..-3]
-          when /(.*)ves\z/
-            "#{Regexp.last_match(1)}f"
-          when /(.+)s\z/
-            Regexp.last_match(1)
-          else
-            word
-          end
-        end
-
-        # `blog_post` → `BlogPost`. Camelizes around `_` and
-        # `/` separators; the latter promotes namespace boundaries
-        # to `::` (Rails-style).
-        def camelize(snake)
-          snake.to_s.split("/").map do |segment|
-            segment.split("_").map { |part| part.empty? ? part : part[0].upcase + part[1..] }.join
-          end.join("::")
-        end
-
-        # `user` → `users`, `category` → `categories`,
-        # `bus` → `buses`, `wolf` → `wolves`. Falls back to a
-        # plain `+ "s"` for unrecognised endings.
-        def pluralize(word)
-          return IRREGULAR_PLURALS[word] if IRREGULAR_PLURALS.key?(word)
-
-          case word
-          when /(.*[bcdfghjklmnpqrstvwxz])y\z/
-            # `category` → `categories`, `cherry` → `cherries`
-            "#{Regexp.last_match(1)}ies"
-          when /(.*[sxz]|.*[cs]h)\z/
-            # `bus` → `buses`, `box` → `boxes`, `dish` → `dishes`
-            "#{Regexp.last_match(0)}es"
-          when /(.*)fe?\z/
-            # `wolf` → `wolves`, `knife` → `knives`
-            "#{Regexp.last_match(1)}ves"
-          else
-            "#{word}s"
-          end
-        end
-      end
-    end
-  end
-end