rigortype 0.4.4 → 0.4.5

data/skills/rigor-doctor/references/01-checks.md

@@ -78,17 +78,24 @@ Make sure a single `rigortype` is on the load path.
 - `warn` — the baseline file failed to load. Check the `baseline:` path
   in the config.
 
-### `plugin_gap` — the stack has a plugin that is not enabled
+### `plugin_gap` — the stack has a plugin that is not listed
 
-Read from the `DEPENDENCIES` section of `Gemfile.lock`.
+Read from the `DEPENDENCIES` section of `Gemfile.lock`, plus the Rails
+components a direct `rails` stands for. A `plugins:` entry counts as
+listing its plugin even with `enabled: false`. Skipped when no
+`.rigor.yml` or `.rigor.dist.yml` is discovered in the current directory.
 
 - `fail` — the project depends on gems that bundled plugins model, and
-  **none** of those plugins is enabled: framework calls will not resolve.
-  Add the plugins for the stack to `plugins:` (the `rigor-plugin-tune`
-  skill does this).
+  `plugins:` lists **none** of the bundled plugins that model gems (those
+  declaring `target_gems:`; `rigor-rbs-inline` does not count): framework
+  calls will not resolve. Add the plugins for the stack to `plugins:` (the
+  `rigor-plugin-tune` skill does this). Once any such plugin is listed,
+  the remaining gaps are reported as the per-plugin warnings below.
 - `warn` — one per plugin that models a direct dependency but is not
-  enabled. Enable it, or leave it out deliberately; declining a plugin is
-  a legitimate choice.
+  listed. Add it, or decline it deliberately — declining is a legitimate
+  choice, and the way to record it is a `plugins:` entry with
+  `enabled: false`. Do not enable an unrelated plugin only to silence
+  this check.
 
 ### `gemfile_install` — Rigor is a project dependency
 
@@ -98,10 +105,15 @@ Read from the `DEPENDENCIES` section of `Gemfile.lock`.
 
 ### `bundle_layout` — gem-shipped signatures are not discovered
 
-`warn` when a `Gemfile.lock` exists but Rigor cannot locate the installed
-bundle (the gems live in the active Ruby's default gem home). Gems that
-ship their own `sig/` are then not loaded. Point Rigor at the install
-root with `bundler.bundle_path:`, install into `vendor/bundle`, or supply
+`warn` when a `Gemfile.lock` exists in the current directory but Rigor
+cannot locate the installed bundle — typically the gems live in the
+active Ruby's default gem home. Gems that ship their own `sig/` are then
+not loaded. Rigor looks only where the project records the bundle: a
+`bundler.bundle_path:` in `.rigor.yml` is used alone and must exist;
+without one, and unless `bundler.auto_detect: false`, it reads
+`.bundle/config`'s `BUNDLE_PATH`, then an in-tree `vendor/bundle`, then
+the global Bundler config. Point Rigor at the install root with
+`bundler.bundle_path:`, install into `vendor/bundle`, or supply
 signatures with `rbs collection install` instead.
 
 ## Not covered by `rigor doctor`: is the analysis seeing your code?

data/skills/rigor-type-oracle/references/01-oracle-commands.md

@@ -212,7 +212,8 @@ rigor explain [<rule>]
 | `--format=text\|json` | Default `text`. |
 
 With no argument it lists every rule. With a rule id, a legacy alias, or
-a family prefix (`call`, `flow`, `assert`, `dump`, `def`) it prints the
+a family prefix (`call`, `flow`, `def`, `assert`, `dump`, `global`,
+`suppression`, `static`, `effect`) it prints the
 rule's firing conditions, the severity per profile, the evidence tier,
 and how to suppress it.
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.4.4
+  version: 0.4.5
 platform: ruby
 authors:
 - Rigor contributors
@@ -446,6 +446,7 @@ files:
 - lib/rigor/analysis/buffer_binding.rb
 - lib/rigor/analysis/check_rules.rb
 - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
+- lib/rigor/analysis/check_rules/clause_coverage.rb
 - lib/rigor/analysis/check_rules/dead_assignment_collector.rb
 - lib/rigor/analysis/check_rules/dead_version_guard_arms.rb
 - lib/rigor/analysis/check_rules/declaration_sourced_guard.rb
@@ -455,6 +456,7 @@ files:
 - lib/rigor/analysis/check_rules/lexical_method_sites.rb
 - lib/rigor/analysis/check_rules/main_pass_collector.rb
 - lib/rigor/analysis/check_rules/published_constant_guard.rb
+- lib/rigor/analysis/check_rules/rbs_receiver_surface.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
@@ -705,6 +707,7 @@ files:
 - lib/rigor/inference/builtins/struct_catalog.rb
 - lib/rigor/inference/builtins/time_catalog.rb
 - lib/rigor/inference/captured_locals.rb
+- lib/rigor/inference/clause_widening.rb
 - lib/rigor/inference/closure_escape_analyzer.rb
 - lib/rigor/inference/content_join.rb
 - lib/rigor/inference/coverage_scanner.rb
@@ -743,6 +746,7 @@ files:
 - lib/rigor/inference/in_effect_refinements/walk.rb
 - lib/rigor/inference/index_write_widening.rb
 - lib/rigor/inference/indexed_narrowing.rb
+- lib/rigor/inference/intervening_ivar_reset.rb
 - lib/rigor/inference/jump_targets.rb
 - lib/rigor/inference/key_presence_guard.rb
 - lib/rigor/inference/key_presence_guard/scan.rb
@@ -819,7 +823,10 @@ files:
 - 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_mixins.rb
 - lib/rigor/inference/project_patched_scanner.rb
+- lib/rigor/inference/project_patched_visibility.rb
+- lib/rigor/inference/project_seed_tables.rb
 - lib/rigor/inference/protection_scanner.rb
 - lib/rigor/inference/range_constant.rb
 - lib/rigor/inference/rbs_type_translator.rb
@@ -829,6 +836,7 @@ files:
 - 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/constructed_class.rb
 - lib/rigor/inference/refined_dispatch/own_method.rb
 - lib/rigor/inference/refinement_mutation.rb
 - lib/rigor/inference/reflective_ivar_write.rb
@@ -844,6 +852,7 @@ files:
 - lib/rigor/inference/scope_indexer/mixin_accumulator.rb
 - lib/rigor/inference/scope_indexer/superclasses_collector.rb
 - lib/rigor/inference/self_call_ivar_writes.rb
+- lib/rigor/inference/singleton_external_ahead.rb
 - lib/rigor/inference/singleton_hook_decline.rb
 - lib/rigor/inference/singleton_object_constant.rb
 - lib/rigor/inference/statement_evaluator.rb
@@ -946,6 +955,7 @@ files:
 - lib/rigor/reflection.rb
 - lib/rigor/reflection/constant_ancestors.rb
 - lib/rigor/reflection/constant_path.rb
+- lib/rigor/rooted_glob.rb
 - lib/rigor/runtime/jit.rb
 - lib/rigor/scope.rb
 - lib/rigor/scope/discovery_index.rb
@@ -969,6 +979,7 @@ files:
 - lib/rigor/sig_gen/skip_reason_catalog.rb
 - lib/rigor/sig_gen/superclass_spelling.rb
 - lib/rigor/sig_gen/type_elaborator.rb
+- lib/rigor/sig_gen/write_reporter.rb
 - lib/rigor/sig_gen/write_result.rb
 - lib/rigor/sig_gen/writer.rb
 - lib/rigor/signature_path_audit.rb
@@ -1290,6 +1301,7 @@ files:
 - sig/rigor/plugin/type_node_resolver.rbs
 - sig/rigor/rbs_extended.rbs
 - sig/rigor/reflection.rbs
+- sig/rigor/rooted_glob.rbs
 - sig/rigor/scope.rbs
 - sig/rigor/sig_gen/skip_reason_catalog.rbs
 - sig/rigor/source.rbs