rigortype 0.3.9 → 0.4.1

data/skills/rigor-rbs-setup/SKILL.md

@@ -1,7 +1,9 @@
 ---
 name: rigor-rbs-setup
-description: |
-  Install community RBS for the project's gems with `rbs collection install`, so Rigor stops typing calls into RBS-less dependencies as `Dynamic` and gains real coverage (and real bug-catching) on them. Rigor auto-detects the resulting `rbs_collection.lock.yaml` — no Rigor config change needed. Triggers: "set up rbs collection", "my gems type as Dynamic", "rigor check says N gems have no RBS available", "reduce false positives from untyped gems". NOT for first-time Rigor setup (use rigor-project-init first) and NOT for a gem that has no entry in the community collection (that needs rigor-plugin-author or a Rigor issue).
+description: >-
+  Install community RBS for a project's gems so Rigor can type dependencies that currently become
+  `Dynamic`. Use when `rbs collection` is missing or untyped gems limit coverage; not for first-time
+  Rigor setup or a gem with no community RBS entry.
 license: MPL-2.0
 metadata:
   version: 0.1.0

data/skills/rigor-type-oracle/SKILL.md

@@ -1,7 +1,9 @@
 ---
 name: rigor-type-oracle
-description: |
-  Before writing or asserting ANY Ruby type, get it from Rigor rather than from reading the code: `rigor type-of FILE:LINE:COL` / `rigor annotate FILE` for an expression, `rigor sig-gen --print FILE` for a method signature, call-site observation for a parameter. A type you did not obtain from Rigor is a guess, and a guessed type is never written anywhere. Triggers: writing RBS under `sig/`, an inline `#:` / `# @rbs` annotation, a Sorbet `sig do … end`, a YARD `@param` / `@return`, a type stated in a doc sentence or a review comment, a nil check / `is_a?` / `respond_to?` guard justified by "this should be an X", "add types to this class / file", "document this method", "what type is this / what does this return?". Applies to Rigor's own tree too. When Rigor answers `Dynamic[top]` or `untyped`, or `sig-gen` skips the method, report the gap — never fill it in from inference of your own. NOT for setting Rigor up (use rigor-next-steps) or working a baseline down (use rigor-baseline-reduce).
+description: >-
+  Obtain a Ruby type from Rigor before writing or asserting it, using `type-of`, `annotate`, or `sig-gen`
+  as appropriate. Use when adding RBS, inline annotations, Sorbet/YARD types, type-shaped docs, or
+  type-justified guards; not for Rigor setup or baseline reduction.
 license: MPL-2.0
 metadata:
   version: 0.1.0
@@ -59,10 +61,6 @@ scope the moment you are about to write or assert one:
 - Being asked "what type is this?", "what does this method return?",
   "add types to this class", "document this file".
 
-It applies to **Rigor's own tree** as well: `lib/`, the bundled plugins,
-and the examples are held to the same rule, and a gap found there is
-engine signal worth more than the annotation you would have written.
-
 ## When NOT to use
 
 - **Setting Rigor up on a project that has none** → `rigor-next-steps`

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

@@ -101,7 +101,7 @@ rigor sig-gen [paths]
 | `--overwrite` | Allow a tighter return to replace user-authored RBS. |
 | `--include-private` | Emit private / protected instance methods too (default: public only). |
 | `--params=untyped\|observed\|observed-strict` | Parameter policy. Default `untyped`. `observed-strict` is reserved and currently a usage error. |
-| `--observe=PATH` | Directory / file to scan for call-site observations. Repeatable. Defaults to `spec/` when present. |
+| `--observe=PATH` | Directory / file to scan for call-site observations. Repeatable. Defaults to the configured `test_paths:` (unset: whichever of `spec/` and `test/` exist). |
 | `--new-files` / `--new-methods` / `--tighter-returns` | Emit only that classification. |
 | `--format=text\|json` | Text RBS, or the structured candidate report. |
 | `--config=PATH` | Explicit `.rigor.yml`. |
@@ -133,8 +133,9 @@ skip is a finding. `--format=json` names each one:
   "classification": "skipped", "skip_reason": "sig.skipped.untyped-return" }
 ```
 
-Classifications: `new-file`, `new-method`, `tighter-return`, `equivalent`
-(nothing to tighten; silently dropped), `skipped`. Skip reasons and what
+Classifications (the JSON `classification` values): `new_file`,
+`new_method`, `tighter_return`, `equivalent` (nothing to tighten;
+silently dropped), `skipped`. Skip reasons and what
 each one means for you: [`03-gap-protocol.md`](03-gap-protocol.md).
 
 ### Deriving a parameter type from call sites
@@ -215,10 +216,11 @@ a family prefix (`call`, `flow`, `assert`, `dump`, `def`) it prints the
 rule's firing conditions, the severity per profile, the evidence tier,
 and how to suppress it.
 
-**`explain` covers diagnostic rules only.** A `sig.skipped.*` id is a
-sig-gen *skip reason*, not a diagnostic rule — `rigor explain
-sig.skipped.untyped-return` answers `Unknown rule`. Skip reasons are
-documented in [`03-gap-protocol.md`](03-gap-protocol.md).
+**`explain` has two catalogues.** A `sig.skipped.*` id is a sig-gen
+*skip reason*, not a diagnostic rule, but `rigor explain
+sig.skipped.untyped-return` answers it from a second catalogue (no
+severity, no profile, nothing to suppress). The table in
+[`03-gap-protocol.md`](03-gap-protocol.md) is the summary.
 
 ## `rigor check` — the gate, not the oracle
 
@@ -255,7 +257,9 @@ Two shape differences from the CLI worth knowing:
 - `rigor_sig_gen` returns the **JSON candidate report**, always — there
   is no `--print` text mode and no `--diff`. Read `rbs` per candidate.
 - `rigor_sig_gen` exposes `params` but **not** `observe`; observation
-  falls back to `spec/` when present. Point it elsewhere from the CLI.
+  reads the configured `test_paths:` (unset: whichever of `spec/` and
+  `test/` exist). To observe anything else, declare it in `test_paths:`
+  or use the CLI's `--observe`.
 
 `rigor_triage` and `rigor_coverage` are also served, and belong to
 `rigor-baseline-reduce` / `rigor-protection-uplift` rather than here.

data/skills/rigor-type-oracle/references/03-gap-protocol.md

@@ -123,6 +123,3 @@ more to the project than any annotation. File it at
 Also say `rigor --version`, and note whether `sig/` and the relevant
 plugins were in play — a gap that only appears without community RBS is a
 different bug from one that survives it.
-
-Inside Rigor's own tree the same report is the deliverable: the gap is
-the reason not to hand-write the RBS there.

data/skills/rigor-unused-adjudicate/SKILL.md

@@ -1,7 +1,9 @@
 ---
 name: rigor-unused-adjudicate
-description: |
-  Find dead code in a Ruby project with `rigor unused` — establish what the report can see on THIS project first, then adjudicate every row before proposing any deletion. Use this whenever someone asks to find or remove dead code, unused classes, unused constants, or "code nobody calls", whenever they ask what a `rigor unused` report means or which rows are safe to delete, and whenever a dead-code cleanup, codebase inventory, or legacy audit comes up — even if they never say "rigor". The report is a review queue and not a defect list; on an adjudicated corpus target only 4 of 57 rows were genuinely dead, so acting on it directly produces mostly wrong deletions. NOT for deleting a specific class you already know is dead, and NOT for `rigor check` diagnostics (those are ordinary type errors).
+description: >-
+  Adjudicate a `rigor unused` report safely before proposing dead-code removal. Use when interpreting or
+  reviewing Rigor's unused classes/modules/constants, or when a cleanup is based on that report; not for
+  a specific deletion already known to be safe or for ordinary `rigor check` diagnostics.
 license: MPL-2.0
 metadata:
   version: 0.2.0

data/skills/rigor-upgrade/SKILL.md

@@ -1,7 +1,9 @@
 ---
 name: rigor-upgrade
-description: |
-  Adopt a new Rigor version cleanly: after upgrading the `rigortype` gem, re-run the analysis, diff the diagnostics against the committed baseline, and sort the changes into genuine new catches (sharper inference), known sig-quality false positives, and the baseline you should regenerate. Triggers: "I upgraded Rigor, what changed?", "new diagnostics after gem update rigortype", "adopt the new Rigor version", "rigor baseline drifted after upgrade". NOT for first-time setup (use rigor-project-init) or routine baseline work unrelated to an upgrade (use rigor-baseline-reduce).
+description: >-
+  Adopt a new `rigortype` version by comparing its diagnostics with the committed baseline and separating
+  new catches from signature-quality false positives. Use after a Rigor gem upgrade; not for first-time
+  setup or routine baseline reduction.
 license: MPL-2.0
 metadata:
   version: 0.1.0
@@ -50,12 +52,15 @@ rigor --version
 ### Phase 2 — see the delta against the committed baseline
 
 ```sh
-rigor check
-rigor diff            # compare current diagnostics to the saved baseline JSON
+rigor check             # everything outside the committed baseline's envelope
+rigor baseline drift    # per-bucket movement against .rigor-baseline.yml
 ```
 
-`rigor diff` shows what is **new** relative to the baseline — that set is
-what the upgrade changed.
+With `baseline:` wired, `rigor check` already hides what the baseline
+covers, so what it prints is **new** relative to the baseline — that set
+is what the upgrade changed. `rigor baseline drift` adds the bucket view:
+buckets now over their recorded count, and buckets the new version
+cleared or shrank.
 
 ### Phase 3 — sort the new diagnostics
 
@@ -80,8 +85,8 @@ envelope so the regeneration does not bury what you just fixed:
 rigor baseline regenerate
 ```
 
-Commit the updated `.rigor-baseline.yml` together with any fixes, so the
-team adopts the same post-upgrade baseline.
+Recommend committing the updated `.rigor-baseline.yml` together with any
+fixes, so the team adopts the same post-upgrade baseline.
 
 ## Note
 

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.3.9
+  version: 0.4.1
 platform: ruby
 authors:
 - Rigor contributors
@@ -308,10 +308,15 @@ files:
 - data/builtins/ruby_core/time.yml
 - data/capability_roles/capability_roles.rbs
 - data/core_overlay/csv.rbs
+- data/core_overlay/enumerable.rbs
+- data/core_overlay/enumerator.rbs
+- data/core_overlay/hash_rbs3.rbs
 - data/core_overlay/numeric.rbs
 - data/core_overlay/pathname.rbs
+- data/core_overlay/process.rbs
 - data/core_overlay/psych.rbs
 - data/core_overlay/resolv.rbs
+- data/core_overlay/string_io.rbs
 - data/core_overlay/string_scanner.rbs
 - data/effects/core.yml
 - data/effects/registry.yml
@@ -388,6 +393,7 @@ files:
 - docs/manual/plugins/rigor-actioncable.md
 - docs/manual/plugins/rigor-actionmailer.md
 - docs/manual/plugins/rigor-actionpack.md
+- docs/manual/plugins/rigor-active-model-serializers.md
 - docs/manual/plugins/rigor-activejob.md
 - docs/manual/plugins/rigor-activerecord.md
 - docs/manual/plugins/rigor-activestorage.md
@@ -398,6 +404,7 @@ files:
 - docs/manual/plugins/rigor-dry-types.md
 - docs/manual/plugins/rigor-dry-validation.md
 - docs/manual/plugins/rigor-factorybot.md
+- docs/manual/plugins/rigor-grape.md
 - docs/manual/plugins/rigor-graphql.md
 - docs/manual/plugins/rigor-hanami.md
 - docs/manual/plugins/rigor-mangrove.md
@@ -427,6 +434,7 @@ files:
 - 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/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/return_in_ensure_collector.rb
@@ -434,6 +442,8 @@ files:
 - 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/source_arity.rb
+- lib/rigor/analysis/check_rules/special_global_setters.rb
 - lib/rigor/analysis/check_rules/unreachable_clause_collector.rb
 - lib/rigor/analysis/check_rules/void_value_use_collector.rb
 - lib/rigor/analysis/crash_signature.rb
@@ -450,6 +460,8 @@ files:
 - lib/rigor/analysis/erb_template_detector.rb
 - lib/rigor/analysis/fact_store.rb
 - lib/rigor/analysis/incremental.rb
+- lib/rigor/analysis/incremental_run_slot.rb
+- lib/rigor/analysis/incremental_run_slot/write_guard.rb
 - lib/rigor/analysis/incremental_session.rb
 - lib/rigor/analysis/path_expansion.rb
 - lib/rigor/analysis/plugin_fact_fingerprint.rb
@@ -477,6 +489,12 @@ files:
 - lib/rigor/analysis/runner/run_snapshots.rb
 - lib/rigor/analysis/self_call_resolution_recorder.rb
 - lib/rigor/analysis/severity_stamp.rb
+- lib/rigor/analysis/shadow_harness.rb
+- lib/rigor/analysis/source_rbs_gate.rb
+- lib/rigor/analysis/template_unit_collector.rb
+- lib/rigor/analysis/template_unit_paths.rb
+- lib/rigor/analysis/template_unit_positions.rb
+- lib/rigor/analysis/template_units.rb
 - lib/rigor/analysis/worker_session.rb
 - lib/rigor/ast.rb
 - lib/rigor/ast/type_node.rb
@@ -500,6 +518,7 @@ files:
 - lib/rigor/cache/rbs_environment_marshal_patch.rb
 - lib/rigor/cache/rbs_known_class_names.rb
 - lib/rigor/cache/store.rb
+- lib/rigor/cache/value_digest.rb
 - lib/rigor/ci_detector.rb
 - lib/rigor/cli.rb
 - lib/rigor/cli/annotate_command.rb
@@ -553,21 +572,26 @@ files:
 - lib/rigor/cli/triage_renderer.rb
 - lib/rigor/cli/type_of_command.rb
 - lib/rigor/cli/type_of_renderer.rb
+- lib/rigor/cli/type_of_template_probe.rb
 - lib/rigor/cli/type_scan_command.rb
 - lib/rigor/cli/type_scan_renderer.rb
 - lib/rigor/cli/type_scan_report.rb
 - lib/rigor/cli/unused_command.rb
 - lib/rigor/cli/upgrade_command.rb
 - lib/rigor/config_audit.rb
+- lib/rigor/config_path.rb
 - lib/rigor/configuration.rb
 - lib/rigor/configuration/dependencies.rb
 - lib/rigor/configuration/severity_profile.rb
 - lib/rigor/configuration_error.rb
 - lib/rigor/effects.rb
+- lib/rigor/effects/ancestry_recorder.rb
 - lib/rigor/effects/attribution.rb
+- lib/rigor/effects/callee_rule.rb
 - lib/rigor/effects/catalog.rb
 - lib/rigor/effects/collector.rb
 - lib/rigor/effects/config_envelopes.rb
+- lib/rigor/effects/definition_context.rb
 - lib/rigor/effects/definition_lines.rb
 - lib/rigor/effects/discharge.rb
 - lib/rigor/effects/effect_table.rb
@@ -601,6 +625,7 @@ files:
 - lib/rigor/effects/unit_scan.rb
 - lib/rigor/effects/unknown_label_check.rb
 - lib/rigor/effects/unknown_label_report.rb
+- lib/rigor/effects/visibility.rb
 - lib/rigor/environment.rb
 - lib/rigor/environment/bundle_sig_discovery.rb
 - lib/rigor/environment/class_registry.rb
@@ -610,6 +635,8 @@ files:
 - lib/rigor/environment/hkt_registry_holder.rb
 - lib/rigor/environment/installed_gem_set.rb
 - lib/rigor/environment/lockfile_resolver.rb
+- lib/rigor/environment/member_consistency.rb
+- lib/rigor/environment/member_consistency/comparator.rb
 - lib/rigor/environment/missing_gem_constant_index.rb
 - lib/rigor/environment/rbs_collection_discovery.rb
 - lib/rigor/environment/rbs_coverage_report.rb
@@ -617,15 +644,20 @@ files:
 - lib/rigor/environment/rbs_loader.rb
 - lib/rigor/environment/reflection.rb
 - lib/rigor/environment/reporters.rb
+- lib/rigor/environment/source_rbs_synthesis.rb
 - lib/rigor/flow_contribution.rb
 - lib/rigor/flow_contribution/conflict.rb
 - lib/rigor/flow_contribution/element.rb
 - lib/rigor/flow_contribution/fact.rb
 - lib/rigor/flow_contribution/merge_result.rb
 - lib/rigor/flow_contribution/merger.rb
+- lib/rigor/hashing/xxh3.rb
 - lib/rigor/inference/acceptance.rb
 - lib/rigor/inference/anonymous_meta_class.rb
+- lib/rigor/inference/block_auto_splat.rb
+- lib/rigor/inference/block_call_timing.rb
 - lib/rigor/inference/block_parameter_binder.rb
+- lib/rigor/inference/block_repetition.rb
 - lib/rigor/inference/body_fixpoint.rb
 - lib/rigor/inference/budget_trace.rb
 - lib/rigor/inference/builtins/array_catalog.rb
@@ -652,16 +684,29 @@ files:
 - lib/rigor/inference/closure_escape_analyzer.rb
 - lib/rigor/inference/content_join.rb
 - lib/rigor/inference/coverage_scanner.rb
+- lib/rigor/inference/declaration_walk.rb
+- lib/rigor/inference/declaration_walk/context.rb
+- lib/rigor/inference/declaration_walk/errors.rb
+- lib/rigor/inference/declaration_walk/shadow.rb
+- lib/rigor/inference/declaration_walk/traversal.rb
 - lib/rigor/inference/def_handle.rb
 - lib/rigor/inference/def_node_resolver.rb
 - lib/rigor/inference/def_return_typer.rb
+- lib/rigor/inference/define_method_block_self.rb
+- lib/rigor/inference/definer_resolution.rb
 - lib/rigor/inference/dynamic_origin.rb
 - lib/rigor/inference/element_read_widening.rb
+- lib/rigor/inference/error_info.rb
 - lib/rigor/inference/expression_typer.rb
+- lib/rigor/inference/external_ancestor_resolution.rb
 - lib/rigor/inference/fallback.rb
 - lib/rigor/inference/fallback_tracer.rb
 - lib/rigor/inference/flow_tracer.rb
 - lib/rigor/inference/fork_map.rb
+- lib/rigor/inference/fresh_frame_blocks.rb
+- lib/rigor/inference/global_write_census.rb
+- lib/rigor/inference/guard_rebinding.rb
+- lib/rigor/inference/hash_lookup_mutation.rb
 - lib/rigor/inference/hkt_body.rb
 - lib/rigor/inference/hkt_body_parser.rb
 - lib/rigor/inference/hkt_reducer.rb
@@ -669,28 +714,45 @@ files:
 - lib/rigor/inference/hkt_sugar_translator.rb
 - lib/rigor/inference/index_write_widening.rb
 - lib/rigor/inference/indexed_narrowing.rb
+- lib/rigor/inference/jump_targets.rb
+- lib/rigor/inference/last_line.rb
+- lib/rigor/inference/last_line/implicit_self.rb
+- lib/rigor/inference/last_line/self_evidence.rb
+- lib/rigor/inference/last_status.rb
 - lib/rigor/inference/macro_block_self_type.rb
+- lib/rigor/inference/match_rebinding.rb
+- lib/rigor/inference/match_rebinding/calls.rb
+- lib/rigor/inference/match_rebinding/frame.rb
+- lib/rigor/inference/match_rebinding/operands.rb
+- 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/array_to_h_folding.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/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/iterator_dispatch.rb
 - lib/rigor/inference/method_dispatcher/json_folding.rb
 - lib/rigor/inference/method_dispatcher/kernel_dispatch.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/overload_selector.rb
+- lib/rigor/inference/method_dispatcher/process_folding.rb
+- lib/rigor/inference/method_dispatcher/proven_overload.rb
 - lib/rigor/inference/method_dispatcher/random_folding.rb
 - lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
 - lib/rigor/inference/method_dispatcher/receiver_affinity.rb
 - lib/rigor/inference/method_dispatcher/reduce_folding.rb
 - lib/rigor/inference/method_dispatcher/regexp_folding.rb
+- lib/rigor/inference/method_dispatcher/self_substitute.rb
 - lib/rigor/inference/method_dispatcher/set_folding.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
 - lib/rigor/inference/method_dispatcher/shellwords_folding.rb
@@ -702,30 +764,49 @@ files:
 - lib/rigor/inference/method_dispatcher/universal_object_dispatch.rb
 - lib/rigor/inference/method_dispatcher/uri_folding.rb
 - lib/rigor/inference/method_parameter_binder.rb
+- lib/rigor/inference/module_function_state.rb
 - lib/rigor/inference/multi_target_binder.rb
 - lib/rigor/inference/mutation_rejoin.rb
 - lib/rigor/inference/mutation_widening.rb
 - lib/rigor/inference/narrowing.rb
+- lib/rigor/inference/operand_effects.rb
+- lib/rigor/inference/operand_walk.rb
 - lib/rigor/inference/optimistic_origin.rb
 - lib/rigor/inference/origin_lookup.rb
 - lib/rigor/inference/parameter_inference_collector.rb
 - 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_methods.rb
 - lib/rigor/inference/project_patched_scanner.rb
 - lib/rigor/inference/protection_scanner.rb
 - lib/rigor/inference/range_constant.rb
 - lib/rigor/inference/rbs_type_translator.rb
 - lib/rigor/inference/receiver_alias.rb
+- lib/rigor/inference/receiver_blind_block.rb
 - lib/rigor/inference/refinement_mutation.rb
+- lib/rigor/inference/repeated_or_writes.rb
+- lib/rigor/inference/return_barrier.rb
+- lib/rigor/inference/rewrite_mutation.rb
 - lib/rigor/inference/scope_indexer.rb
+- lib/rigor/inference/scope_indexer/certainty.rb
+- lib/rigor/inference/scope_indexer/class_cvars_collector.rb
+- lib/rigor/inference/scope_indexer/def_nestings_collector.rb
+- lib/rigor/inference/scope_indexer/layered_def_nestings.rb
+- lib/rigor/inference/scope_indexer/member_layouts_collector.rb
+- lib/rigor/inference/scope_indexer/mixin_accumulator.rb
+- lib/rigor/inference/scope_indexer/superclasses_collector.rb
+- lib/rigor/inference/singleton_hook_decline.rb
 - lib/rigor/inference/singleton_object_constant.rb
 - lib/rigor/inference/statement_evaluator.rb
+- lib/rigor/inference/stored_block_call.rb
 - lib/rigor/inference/string_mutation.rb
 - lib/rigor/inference/struct_fold_safety.rb
 - lib/rigor/inference/synthetic_method.rb
 - lib/rigor/inference/synthetic_method_index.rb
 - lib/rigor/inference/synthetic_method_scanner.rb
+- lib/rigor/inference/unknown_store_widening.rb
+- lib/rigor/inference/unthreaded_rebinds.rb
 - lib/rigor/inference/version_guard.rb
 - lib/rigor/inference/void_origin.rb
 - lib/rigor/inference/void_tail_summary.rb
@@ -757,6 +838,7 @@ files:
 - lib/rigor/plugin/base.rb
 - lib/rigor/plugin/blueprint.rb
 - lib/rigor/plugin/box.rb
+- lib/rigor/plugin/box_probe.rb
 - lib/rigor/plugin/bundled_catalog.rb
 - lib/rigor/plugin/effect_ancestry.rb
 - lib/rigor/plugin/effect_attribution.rb
@@ -781,6 +863,7 @@ files:
 - lib/rigor/plugin/registry.rb
 - lib/rigor/plugin/services.rb
 - lib/rigor/plugin/source_rbs_synthesis_reporter.rb
+- lib/rigor/plugin/template_unit.rb
 - lib/rigor/plugin/trust_policy.rb
 - lib/rigor/plugin/type_node_resolver.rb
 - lib/rigor/plugin_gap_advisory.rb
@@ -802,13 +885,20 @@ files:
 - lib/rigor/rbs_extended/hkt_directives.rb
 - lib/rigor/rbs_extended/reporter.rb
 - lib/rigor/reflection.rb
+- lib/rigor/reflection/constant_ancestors.rb
 - lib/rigor/reflection/constant_path.rb
 - lib/rigor/runtime/jit.rb
 - lib/rigor/scope.rb
 - lib/rigor/scope/discovery_index.rb
+- lib/rigor/scope/resolution_chain.rb
+- lib/rigor/scope/resolution_chain/relevance.rb
 - lib/rigor/sig_gen.rb
+- lib/rigor/sig_gen/alias_index.rb
 - lib/rigor/sig_gen/classification.rb
+- lib/rigor/sig_gen/declaration_equivalence.rb
+- lib/rigor/sig_gen/effect_annotation.rb
 - lib/rigor/sig_gen/generator.rb
+- lib/rigor/sig_gen/inline_declarations.rb
 - lib/rigor/sig_gen/layout_index.rb
 - lib/rigor/sig_gen/meta_class_shape.rb
 - lib/rigor/sig_gen/method_candidate.rb
@@ -829,6 +919,7 @@ files:
 - 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/testing.rb
 - lib/rigor/triage.rb
 - lib/rigor/triage/catalogue.rb
@@ -893,8 +984,19 @@ files:
 - plugins/rigor-actionpack/lib/rigor/plugin/actionpack/analyzer.rb
 - plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_discoverer.rb
 - plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_index.rb
+- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_scan.rb
 - plugins/rigor-actionpack/lib/rigor/plugin/actionpack/effects.rb
+- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/erb_compiler.rb
+- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/render_locals.rb
+- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/view_assigns.rb
+- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/view_units.rb
 - plugins/rigor-actionpack/sig/action_controller.rbs
+- plugins/rigor-actionpack/sig/action_view.rbs
+- plugins/rigor-active-model-serializers/lib/rigor-active-model-serializers.rb
+- plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers.rb
+- plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers/serializer_discoverer.rb
+- plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers/serializer_index.rb
+- plugins/rigor-active-model-serializers/sig/active_model_serializers.rbs
 - plugins/rigor-activejob/lib/rigor-activejob.rb
 - plugins/rigor-activejob/lib/rigor/plugin/activejob.rb
 - plugins/rigor-activejob/lib/rigor/plugin/activejob/analyzer.rb
@@ -961,9 +1063,13 @@ files:
 - plugins/rigor-ffi/lib/rigor/plugin/ffi/target_detector.rb
 - plugins/rigor-ffi/lib/rigor/plugin/ffi/types.rb
 - plugins/rigor-ffi/sig/ffi.rbs
+- plugins/rigor-grape/lib/rigor-grape.rb
+- plugins/rigor-grape/lib/rigor/plugin/grape.rb
+- plugins/rigor-grape/sig/grape.rbs
 - plugins/rigor-graphql/lib/rigor-graphql.rb
 - plugins/rigor-graphql/lib/rigor/plugin/graphql.rb
 - plugins/rigor-graphql/lib/rigor/plugin/graphql/type_scanner.rb
+- plugins/rigor-graphql/sig/graphql.rbs
 - plugins/rigor-hanami/lib/rigor-hanami.rb
 - plugins/rigor-hanami/lib/rigor/plugin/hanami.rb
 - plugins/rigor-hanami/lib/rigor/plugin/hanami/action_checker.rb
@@ -1004,6 +1110,7 @@ files:
 - plugins/rigor-rbnacl/sig/rbnacl.rbs
 - plugins/rigor-rbs-inline/lib/rigor-rbs-inline.rb
 - plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline.rb
+- plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline/same_line_annotations.rb
 - plugins/rigor-rspec-rails/lib/rigor-rspec-rails.rb
 - plugins/rigor-rspec-rails/lib/rigor/plugin/rspec_rails.rb
 - plugins/rigor-rspec-rails/lib/rigor/plugin/rspec_rails/have_http_status_analyzer.rb
@@ -1040,6 +1147,7 @@ files:
 - plugins/rigor-sorbet/lib/rigor/plugin/sorbet/sig_parser.rb
 - plugins/rigor-sorbet/lib/rigor/plugin/sorbet/sigil_detector.rb
 - plugins/rigor-sorbet/lib/rigor/plugin/sorbet/type_translator.rb
+- plugins/rigor-sorbet/sig/sorbet.rbs
 - plugins/rigor-statesman/lib/rigor-statesman.rb
 - plugins/rigor-statesman/lib/rigor/plugin/statesman.rb
 - plugins/rigor-typescript-utility-types/lib/rigor-typescript-utility-types.rb
@@ -1052,6 +1160,7 @@ files:
 - sig/rigor/analysis/dependency_source_inference/gem_resolver.rbs
 - sig/rigor/analysis/dependency_source_inference/index.rbs
 - sig/rigor/analysis/fact_store.rbs
+- sig/rigor/analysis/project_scan.rbs
 - sig/rigor/analysis/reachability/scan_cache.rbs
 - sig/rigor/ast.rbs
 - sig/rigor/cache.rbs
@@ -1059,20 +1168,40 @@ files:
 - sig/rigor/cli/explain_command.rbs
 - sig/rigor/cli/sig_gen_command.rbs
 - sig/rigor/cli/type_scan_command.rbs
+- sig/rigor/effects/config_envelopes.rbs
+- sig/rigor/effects/effect_table.rbs
+- sig/rigor/effects/envelope.rbs
+- sig/rigor/effects/envelope_index.rbs
+- sig/rigor/effects/file_collection.rbs
+- sig/rigor/effects/label.rbs
+- sig/rigor/effects/label_set.rbs
+- sig/rigor/effects/method_key.rbs
+- sig/rigor/effects/origin.rbs
+- sig/rigor/effects/plugin_facts.rbs
+- sig/rigor/effects/registry.rbs
+- sig/rigor/effects/summary.rbs
+- sig/rigor/effects/taint_cause.rbs
 - sig/rigor/environment.rbs
 - sig/rigor/inference.rbs
 - sig/rigor/inference/builtins.rbs
 - sig/rigor/inference/builtins/method_catalog.rbs
+- sig/rigor/inference/optimistic_origin.rbs
 - sig/rigor/inference/void_origin.rbs
 - sig/rigor/plugin.rbs
 - sig/rigor/plugin/access_denied_error.rbs
+- sig/rigor/plugin/additional_initializer.rbs
 - sig/rigor/plugin/base.rbs
 - sig/rigor/plugin/blueprint.rbs
+- sig/rigor/plugin/effect_ancestry.rbs
+- sig/rigor/plugin/effect_attribution.rbs
+- sig/rigor/plugin/effect_edge.rbs
+- sig/rigor/plugin/effect_entry_points.rbs
 - sig/rigor/plugin/fact_store.rbs
 - sig/rigor/plugin/io_boundary.rbs
 - sig/rigor/plugin/load_error.rbs
 - sig/rigor/plugin/loader.rbs
 - sig/rigor/plugin/manifest.rbs
+- sig/rigor/plugin/protocol_contract.rbs
 - sig/rigor/plugin/registry.rbs
 - sig/rigor/plugin/services.rbs
 - sig/rigor/plugin/trust_policy.rbs
@@ -1141,6 +1270,7 @@ require_paths:
 - plugins/rigor-actioncable/lib
 - plugins/rigor-actionmailer/lib
 - plugins/rigor-actionpack/lib
+- plugins/rigor-active-model-serializers/lib
 - plugins/rigor-activejob/lib
 - plugins/rigor-activerecord/lib
 - plugins/rigor-activestorage/lib
@@ -1155,6 +1285,7 @@ require_paths:
 - plugins/rigor-factorybot/lib
 - plugins/rigor-ffi/lib
 - plugins/rigor-ffi-rzmq/lib
+- plugins/rigor-grape/lib
 - plugins/rigor-graphql/lib
 - plugins/rigor-hanami/lib
 - plugins/rigor-mangrove/lib