rigortype 0.2.9 → 0.3.1

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.2.9
+  version: 0.3.1
 platform: ruby
 authors:
 - Rigor contributors
 bindir: exe
 cert_chain: []
-date: 1980-01-01 00:00:00.000000000 Z
+date: 1980-01-02 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: language_server-protocol
@@ -129,26 +129,6 @@ dependencies:
     - - "<"
       - !ruby/object:Gem::Version
         version: '1.0'
-- !ruby/object:Gem::Dependency
-  name: parallel_tests
-  requirement: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '4.0'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '6.0'
-  type: :development
-  prerelease: false
-  version_requirements: !ruby/object:Gem::Requirement
-    requirements:
-    - - ">="
-      - !ruby/object:Gem::Version
-        version: '4.0'
-    - - "<"
-      - !ruby/object:Gem::Version
-        version: '6.0'
 - !ruby/object:Gem::Dependency
   name: rake
   requirement: !ruby/object:Gem::Requirement
@@ -269,8 +249,13 @@ dependencies:
     - - "<"
       - !ruby/object:Gem::Version
         version: '4.0'
-description: Rigor is a CLI-first static analyzer for Ruby applications that prioritizes
-  type inference, clean application code, and zero runtime dependencies.
+description: 'Rigor is a CLI-first static analyzer for Ruby applications that prioritizes
+  type inference, clean application code, and zero runtime dependencies. Rigor is
+  a standalone tool, not a library: install it independently rather than adding it
+  to your application''s Gemfile. It runs on Ruby 4.0 while your project keeps its
+  own Ruby, and it reads your project as data rather than loading it, so a Gemfile
+  entry only constrains your application''s Ruby and dependency resolution. Installation
+  channels (mise, asdf, gem install, container, Nix): https://github.com/rigortype/rigor/blob/master/docs/install.md'
 email:
 - maintainers@example.invalid
 executables:
@@ -410,11 +395,17 @@ files:
 - lib/rigor/analysis/check_rules.rb
 - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
 - lib/rigor/analysis/check_rules/dead_assignment_collector.rb
+- lib/rigor/analysis/check_rules/duplicate_hash_key_collector.rb
+- lib/rigor/analysis/check_rules/inferred_param_guard.rb
 - lib/rigor/analysis/check_rules/ivar_write_collector.rb
 - lib/rigor/analysis/check_rules/main_pass_collector.rb
+- lib/rigor/analysis/check_rules/return_in_ensure_collector.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
+- lib/rigor/analysis/check_rules/shadowed_rescue_collector.rb
 - lib/rigor/analysis/check_rules/unreachable_clause_collector.rb
+- lib/rigor/analysis/check_rules/void_value_use_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
@@ -428,9 +419,13 @@ files:
 - lib/rigor/analysis/fact_store.rb
 - lib/rigor/analysis/incremental.rb
 - lib/rigor/analysis/incremental_session.rb
+- lib/rigor/analysis/path_expansion.rb
+- lib/rigor/analysis/plugin_fact_fingerprint.rb
 - lib/rigor/analysis/project_scan.rb
 - lib/rigor/analysis/result.rb
 - lib/rigor/analysis/rule_catalog.rb
+- lib/rigor/analysis/run_cache_key.rb
+- lib/rigor/analysis/run_cache_probe.rb
 - lib/rigor/analysis/run_stats.rb
 - lib/rigor/analysis/runner.rb
 - lib/rigor/analysis/runner/diagnostic_aggregator.rb
@@ -438,6 +433,7 @@ files:
 - lib/rigor/analysis/runner/project_pre_passes.rb
 - lib/rigor/analysis/runner/run_snapshots.rb
 - lib/rigor/analysis/self_call_resolution_recorder.rb
+- lib/rigor/analysis/severity_stamp.rb
 - lib/rigor/analysis/worker_session.rb
 - lib/rigor/ast.rb
 - lib/rigor/ast/type_node.rb
@@ -448,6 +444,7 @@ files:
 - lib/rigor/builtins/regex_refinement.rb
 - lib/rigor/builtins/static_return_refinements.rb
 - lib/rigor/cache/descriptor.rb
+- lib/rigor/cache/file_digest.rb
 - lib/rigor/cache/incremental_snapshot.rb
 - lib/rigor/cache/rbs_cache_producer.rb
 - lib/rigor/cache/rbs_class_ancestor_table.rb
@@ -458,12 +455,13 @@ files:
 - lib/rigor/cache/rbs_environment_marshal_patch.rb
 - lib/rigor/cache/rbs_known_class_names.rb
 - lib/rigor/cache/store.rb
+- lib/rigor/ci_detector.rb
 - lib/rigor/cli.rb
 - lib/rigor/cli/annotate_command.rb
 - lib/rigor/cli/baseline_command.rb
 - lib/rigor/cli/check_command.rb
+- lib/rigor/cli/check_invocation.rb
 - lib/rigor/cli/check_runner_factory.rb
-- lib/rigor/cli/ci_detector.rb
 - lib/rigor/cli/command.rb
 - lib/rigor/cli/coverage_command.rb
 - lib/rigor/cli/coverage_mutation.rb
@@ -486,6 +484,7 @@ files:
 - lib/rigor/cli/plugins_command.rb
 - lib/rigor/cli/plugins_renderer.rb
 - lib/rigor/cli/prism_colorizer.rb
+- lib/rigor/cli/probe_environment.rb
 - lib/rigor/cli/protection_fork_scan.rb
 - lib/rigor/cli/protection_renderer.rb
 - lib/rigor/cli/protection_report.rb
@@ -493,6 +492,7 @@ files:
 - lib/rigor/cli/show_bleedingedge_command.rb
 - lib/rigor/cli/sig_gen_command.rb
 - lib/rigor/cli/skill_command.rb
+- lib/rigor/cli/skill_deep_probe.rb
 - lib/rigor/cli/skill_describe.rb
 - lib/rigor/cli/trace_command.rb
 - lib/rigor/cli/trace_renderer.rb
@@ -512,6 +512,7 @@ files:
 - lib/rigor/environment/bundle_sig_discovery.rb
 - lib/rigor/environment/class_registry.rb
 - lib/rigor/environment/constant_type_cache_holder.rb
+- lib/rigor/environment/default_libraries.rb
 - lib/rigor/environment/hkt_registry_holder.rb
 - lib/rigor/environment/lockfile_resolver.rb
 - lib/rigor/environment/missing_gem_constant_index.rb
@@ -553,6 +554,8 @@ files:
 - lib/rigor/inference/builtins/time_catalog.rb
 - lib/rigor/inference/closure_escape_analyzer.rb
 - lib/rigor/inference/coverage_scanner.rb
+- lib/rigor/inference/def_handle.rb
+- lib/rigor/inference/def_node_resolver.rb
 - lib/rigor/inference/def_return_typer.rb
 - lib/rigor/inference/dynamic_origin.rb
 - lib/rigor/inference/expression_typer.rb
@@ -609,6 +612,8 @@ files:
 - lib/rigor/inference/synthetic_method.rb
 - lib/rigor/inference/synthetic_method_index.rb
 - lib/rigor/inference/synthetic_method_scanner.rb
+- lib/rigor/inference/void_origin.rb
+- lib/rigor/inference/void_tail_summary.rb
 - lib/rigor/language_server.rb
 - lib/rigor/language_server/buffer_resolution.rb
 - lib/rigor/language_server/buffer_table.rb
@@ -619,6 +624,7 @@ files:
 - lib/rigor/language_server/folding_range_provider.rb
 - lib/rigor/language_server/hover_provider.rb
 - lib/rigor/language_server/hover_renderer.rb
+- lib/rigor/language_server/incremental_sync.rb
 - lib/rigor/language_server/loop.rb
 - lib/rigor/language_server/project_context.rb
 - lib/rigor/language_server/selection_range_provider.rb
@@ -664,6 +670,7 @@ files:
 - lib/rigor/rbs_extended/hkt_directives.rb
 - lib/rigor/rbs_extended/reporter.rb
 - lib/rigor/reflection.rb
+- lib/rigor/runtime/jit.rb
 - lib/rigor/scope.rb
 - lib/rigor/scope/discovery_index.rb
 - lib/rigor/sig_gen.rb
@@ -674,6 +681,7 @@ files:
 - 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/rbs_validity.rb
 - lib/rigor/sig_gen/renderer.rb
 - lib/rigor/sig_gen/type_elaborator.rb
 - lib/rigor/sig_gen/write_result.rb
@@ -682,6 +690,7 @@ files:
 - lib/rigor/source.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/testing.rb
@@ -725,6 +734,7 @@ files:
 - lib/rigor/type_node/union.rb
 - lib/rigor/value_semantics.rb
 - lib/rigor/version.rb
+- lib/rigortype.rb
 - plugins/rigor-actioncable/lib/rigor-actioncable.rb
 - plugins/rigor-actioncable/lib/rigor/plugin/actioncable.rb
 - plugins/rigor-actioncable/lib/rigor/plugin/actioncable/analyzer.rb
@@ -850,6 +860,7 @@ files:
 - plugins/rigor-statesman/lib/rigor/plugin/statesman.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
 - sig/rigor.rbs
 - sig/rigor/analysis/baseline.rbs
 - sig/rigor/analysis/check_rules/always_truthy_condition_collector.rbs
@@ -868,6 +879,7 @@ files:
 - sig/rigor/inference/builtins.rbs
 - sig/rigor/inference/builtins/method_catalog.rbs
 - sig/rigor/inference/builtins/numeric_catalog.rbs
+- sig/rigor/inference/void_origin.rbs
 - sig/rigor/plugin.rbs
 - sig/rigor/plugin/access_denied_error.rbs
 - sig/rigor/plugin/base.rbs
@@ -911,6 +923,7 @@ files:
 - skills/rigor-project-init/references/02-configure.md
 - skills/rigor-project-init/references/03-baseline-and-bugs.md
 - skills/rigor-project-init/references/04-sig-uplift.md
+- skills/rigor-project-init/references/05-jit-performance.md
 - skills/rigor-protection-uplift/SKILL.md
 - skills/rigor-rbs-setup/SKILL.md
 - skills/rigor-upgrade/SKILL.md
@@ -922,6 +935,15 @@ metadata:
   source_code_uri: https://github.com/rigortype/rigor
   documentation_uri: https://github.com/rigortype/rigor/tree/master/docs
   rubygems_mfa_required: 'true'
+post_install_message: |
+  Rigor installs as a standalone CLI, not a project dependency. Run `rigor check app lib` from your
+  project root — no `bundle exec`.
+
+  If this came from `bundle add rigortype` or a Gemfile entry, remove it: Rigor runs on its own Ruby
+  and analyses your project from the outside, so in a Gemfile it constrains your application's Ruby
+  and dependency resolution without giving you anything. Per-project version pinning without that
+  cost, plus every other channel, is documented in
+  https://github.com/rigortype/rigor/blob/master/docs/install.md
 rdoc_options: []
 require_paths:
 - lib
@@ -969,7 +991,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 3.7.2
+rubygems_version: 4.0.10
 specification_version: 4
 summary: Inference-first static analysis for Ruby.
 test_files: []

data/lib/rigor/cli/ci_detector.rb

@@ -1,89 +0,0 @@
-# frozen_string_literal: true
-
-module Rigor
-  class CLI
-    # Runtime CI-environment detection (ADR-51 WD7), modelled on `OndraM/ci-detector` (the library PHPStan uses). Reads
-    # the well-known environment variables a CI provider sets and returns the matching {Platform}, classifying it into a
-    # **tier** that decides how `rigor check` surfaces diagnostics there:
-    #
-    #   :native_stdout   — Rigor has a native format that renders purely from
-    #                      stdout, so it is auto-emitted on top of the human
-    #                      output (GitHub Actions → `github`, TeamCity →
-    #                      `teamcity`). These are the first-class platforms.
-    #   :native_artifact — Rigor has a native format but it needs a CI-wired
-    #                      report artifact, not stdout (GitLab CI → `gitlab`).
-    #                      First-class, but Rigor only *hints* the format.
-    #   :reviewdog       — no native Rigor format; second-class, routed through
-    #                      reviewdog (`checkstyle`/`sarif`) or `junit`. Hint
-    #                      only.
-    #
-    # Detection is a pure function of the environment hash, so it is fully testable; the CLI passes `ENV`.
-    # `RIGOR_CI_DETECT=0` (or `false`/`no`) disables it globally — the seam the spec suite uses for determinism.
-    module CiDetector
-      Platform = Struct.new(:id, :name, :format, :tier, keyword_init: true) do
-        def native_stdout? = tier == :native_stdout
-        def native_artifact? = tier == :native_artifact
-        def reviewdog? = tier == :reviewdog
-      end
-
-      # The detection table, ordered most-specific first so the generic `CI=true` catch-all is last (a provider that
-      # also sets `CI` is still recognised by its own variable). `match` is `:truthy` (value in 1/true/yes/on),
-      # `:present` (variable set non-empty), or `:equals`.
-      PROVIDERS = [
-        { id: "github-actions", name: "GitHub Actions", format: "github", tier: :native_stdout,
-          var: "GITHUB_ACTIONS", match: :truthy },
-        { id: "gitlab", name: "GitLab CI", format: "gitlab", tier: :native_artifact,
-          var: "GITLAB_CI", match: :truthy },
-        { id: "teamcity", name: "TeamCity", format: "teamcity", tier: :native_stdout,
-          var: "TEAMCITY_VERSION", match: :present },
-        { id: "circleci", name: "CircleCI", format: nil, tier: :reviewdog,
-          var: "CIRCLECI", match: :truthy },
-        { id: "jenkins", name: "Jenkins", format: nil, tier: :reviewdog,
-          var: "JENKINS_URL", match: :present },
-        { id: "travis", name: "Travis CI", format: nil, tier: :reviewdog,
-          var: "TRAVIS", match: :truthy },
-        { id: "appveyor", name: "AppVeyor", format: nil, tier: :reviewdog,
-          var: "APPVEYOR", match: :truthy },
-        { id: "azure-pipelines", name: "Azure Pipelines", format: nil, tier: :reviewdog,
-          var: "TF_BUILD", match: :present },
-        { id: "bitbucket", name: "Bitbucket Pipelines", format: nil, tier: :reviewdog,
-          var: "BITBUCKET_BUILD_NUMBER", match: :present },
-        { id: "buildkite", name: "Buildkite", format: nil, tier: :reviewdog,
-          var: "BUILDKITE", match: :truthy },
-        { id: "drone", name: "Drone CI", format: nil, tier: :reviewdog,
-          var: "DRONE", match: :truthy },
-        { id: "semaphore", name: "Semaphore", format: nil, tier: :reviewdog,
-          var: "SEMAPHORE", match: :truthy },
-        { id: "codeship", name: "Codeship", format: nil, tier: :reviewdog,
-          var: "CI_NAME", match: :equals, value: "codeship" },
-        { id: "ci", name: "CI", format: nil, tier: :reviewdog,
-          var: "CI", match: :truthy }
-      ].freeze
-
-      module_function
-
-      # Returns the detected {Platform}, or nil when no CI is recognised or detection is disabled via `RIGOR_CI_DETECT`.
-      def detect(env = ENV)
-        return nil if disabled?(env)
-
-        row = PROVIDERS.find { |provider| matches?(env, provider) }
-        return nil if row.nil?
-
-        Platform.new(id: row[:id], name: row[:name], format: row[:format], tier: row[:tier])
-      end
-
-      def disabled?(env)
-        %w[0 false no off].include?(env["RIGOR_CI_DETECT"].to_s.strip.downcase)
-      end
-
-      def matches?(env, provider)
-        value = env[provider[:var]].to_s.strip
-        case provider[:match]
-        when :truthy then %w[1 true yes on].include?(value.downcase)
-        when :present then !value.empty?
-        when :equals then value.downcase == provider[:value]
-        end
-      end
-    end
-  end
-end