rigortype 0.4.6 → 0.4.7

data/sig/rigor/plugin/manifest.rbs

@@ -18,7 +18,7 @@ class Rigor::Plugin::Manifest
   def config_schema: () -> untyped
   def config_defaults: () -> Hash[String, untyped]
   def target_gems: () -> Array[String]
-  # sig-gen gap: #2321 — written by a private `assign_*` helper whose parameters are undeclared (`initialize` hands
+  # sig-gen gap: #2418 — written by a private `assign_*` helper whose parameters are undeclared (`initialize` hands
   # its fields to such helpers); each write is a derived expression (`dup.freeze`, `map`), so the helper's parameter
   # types alone would not generate it.
   def template_globs: () -> Array[String]
@@ -35,31 +35,31 @@ class Rigor::Plugin::Manifest
   def hkt_registrations: () -> untyped
   def hkt_definitions: () -> untyped
   def signature_paths: () -> Array[String]
-  # sig-gen gap: #2321 — same shape as `template_globs`: `validate_protocol_contracts!` requires every element
+  # sig-gen gap: #2418 — same shape as `template_globs`: `validate_protocol_contracts!` requires every element
   # `is_a?(ProtocolContract)`.
   def protocol_contracts: () -> Array[Rigor::Plugin::ProtocolContract]
   # ADR-32 WD6/WD12 — any object responding to `call`, and its result is a documented multi-shape
   # outcome (`String` / nil / `[:error, msg]` / `[:ok, src, msgs]`), not `String?` — `untyped` is the
   # honest claim until the outcome has a sig'd shape.
   def source_rbs_synthesizer: () -> untyped
-  # sig-gen gap: #2321 — same shape as `template_globs`: the validator (`validate_additional_initializers!`) requires
+  # sig-gen gap: #2418 — same shape as `template_globs`: the validator (`validate_additional_initializers!`) requires
   # every element `is_a?(AdditionalInitializer)`, so the element type is hand-written.
   def additional_initializers: () -> Array[Rigor::Plugin::AdditionalInitializer]
 
-  # sig-gen gap: #2321 — same shape as `template_globs`: `validate_effect_root!` bounds the spelling.
+  # sig-gen gap: #2418 — same shape as `template_globs`: `validate_effect_root!` bounds the spelling.
   def effect_root: () -> String?
-  # sig-gen gap: #2321 — same shape as `template_globs`: `validate_effect_labels!` requires non-empty `String`
+  # sig-gen gap: #2418 — same shape as `template_globs`: `validate_effect_labels!` requires non-empty `String`
   # elements.
   def effect_labels: () -> Array[String]
-  # sig-gen gap: #2321 — same shape as `template_globs`: `validate_effect_attributions!` requires every element
+  # sig-gen gap: #2418 — same shape as `template_globs`: `validate_effect_attributions!` requires every element
   # `is_a?(EffectAttribution)`.
   def effect_attributions: () -> Array[Rigor::Plugin::EffectAttribution]
-  # sig-gen gap: #2321 — same shape as `template_globs`: `validate_effect_edges!` requires `is_a?(EffectEdge)`.
+  # sig-gen gap: #2418 — same shape as `template_globs`: `validate_effect_edges!` requires `is_a?(EffectEdge)`.
   def effect_edges: () -> Array[Rigor::Plugin::EffectEdge]
-  # sig-gen gap: #2321 — same shape as `template_globs`: `validate_effect_entry_points!` requires
+  # sig-gen gap: #2418 — same shape as `template_globs`: `validate_effect_entry_points!` requires
   # `is_a?(EffectEntryPoints)`.
   def effect_entry_points: () -> Array[Rigor::Plugin::EffectEntryPoints]
-  # sig-gen gap: #2321 — same shape as `template_globs`: `validate_effect_ancestry!` requires `is_a?(EffectAncestry)`.
+  # sig-gen gap: #2418 — same shape as `template_globs`: `validate_effect_ancestry!` requires `is_a?(EffectAncestry)`.
   def effect_ancestry: () -> Array[Rigor::Plugin::EffectAncestry]
 
   # The identity opening a root when this plugin's labels join the run's vocabulary: the

data/sig/rigor/plugin/protocol_contract.rbs

@@ -23,11 +23,8 @@ module Rigor
         def self.[]: (index: Integer, type_name: String) -> instance | (Integer index, String type_name) -> instance
       end
 
-      # sig-gen gap: #2321 — `attr_reader` rows over ivars `initialize` assigns from expressions derived
-      # from its parameters (`dup.freeze`/`to_sym`), so the stored types are hand-written.
       attr_reader path_glob: String
 
-      # sig-gen gap: #2321 — as above (`to_sym` normalizes the accepted Symbol|String).
       attr_reader method_name: Symbol
 
       # `singleton ? true : false` collapses any truthy input to bool — sig-gen already infers
@@ -38,12 +35,11 @@ module Rigor
       # parameters are undeclared (it guarantees `Array[ParamType]`).
       attr_reader param_types: Array[ParamType]
 
-      # sig-gen gap: #2321 — as above (nil or a non-empty `dup.freeze`d String).
       attr_reader return_type_name: String?
 
-      # sig-gen gap: #2321 — as above (`VALID_SEVERITIES.include?(to_sym)` bounds the stored value
-      # to the three declared literals; a derived-write credit would generate `Symbol`, not the literal union, so
-      # this row needs the declared literals kept as intent).
+      # authored: the declared literal union is intent. `initialize` stores `severity.to_sym` after
+      # `validate_severity!` bounds it to `VALID_SEVERITIES`, so the value is one of the three literals, but sig-gen
+      # generates `Symbol` for it, not the union.
       attr_reader severity: :error | :warning | :info
 
       # `method_name`/`severity` accept String too (both are `to_sym`'d); `param_types` entries are

data/sig/rigor/scope.rbs

@@ -18,6 +18,7 @@ module Rigor
     # its bare cause (issue #1302).
     attr_reader optimistic_locals: Hash[Symbol, Symbol | Inference::OptimisticOrigin::BoundMark]
     attr_reader optimistic_ivars: Hash[Symbol, Symbol | Inference::OptimisticOrigin::BoundMark]
+    attr_reader construction_facts: Hash[Symbol, Set[untyped]]
     attr_reader repeated_or_writes: Hash[untyped, bool]
     # sig-gen gap: #2323 — the same reader shape; `Inference::MatchRebinding::Frame` carries no signature.
     attr_reader match_frame: untyped
@@ -64,14 +65,24 @@ module Rigor
     # 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]
+    # authored: the element is an `Array` led by its Symbol kind by contract (`[:defines, name]`, `[:ivar_set, name]`); a Set's element type stays `untyped` in sig-gen (#2177, #2317), so the generator
+    # would never propose it.
     def discovered_global_write_census: () -> Set[Array[untyped]]
     def discovered_includes: () -> Hash[String, Array[String]]
     # Issue #1123 — the instance-ancestor-ORDER table beside the include one.
     def discovered_prepends: () -> Hash[String, Array[String]]
     def discovered_extends: () -> Hash[String, Array[String]]
+    # authored: the element is `String` (a source path) by contract; a Set's element type stays `untyped` in sig-gen (#2177, #2317), so the generator
+    # would never propose it.
     def discovered_class_sources: () -> Hash[String, Set[String]]
+    # authored: the element is `String` (a source path) by contract; a Set's element type stays `untyped` in sig-gen (#2177, #2317), so the generator
+    # would never propose it.
     def constant_sources: () -> Hash[String, Set[String]]
+    # authored: the element is `String` (a constant's last segment) by contract; a Set's element type stays `untyped` in sig-gen (#2177, #2317), so the generator
+    # would never propose it.
     def published_constant_names: () -> Set[String]
+    # authored: the element is `String` (a constant name) by contract; a Set's element type stays `untyped` in sig-gen (#2177, #2317), so the generator
+    # would never propose it.
     def local_constant_names: () -> Set[String]
     # sig-gen gap: #1150 — the `Data.define` table it reads carries no type, so sig-gen skips the return; the shape is hand-written.
     def bound_constant_names: (String name) -> Array[String]
@@ -208,7 +219,7 @@ module Rigor
 
     def self.empty: (?environment: Environment, ?source_path: String?) -> Scope
 
-    def initialize: (environment: Environment, locals: Hash[Symbol, Type::t], ?fact_store: Analysis::FactStore, ?self_type: Type::t?, ?ivars: Hash[Symbol, Type::t], ?cvars: Hash[Symbol, Type::t], ?globals: Hash[Symbol, Type::t], ?discovery: DiscoveryIndex, ?source_path: String?, ?opaque_block_self: bool, ?block_self_unknown: bool | :refinement, ?singleton_class_body: bool, ?dynamic_origins: Hash[untyped, Symbol], ?indexed_narrowings: Hash[IndexedKey, Type::t], ?method_chain_narrowings: Hash[ChainKey, Type::t], ?declaration_sourced: Set[[Symbol, Symbol] | [Symbol, Symbol, Symbol]], ?published_constant_sourced: Set[[Symbol, Symbol]], ?struct_fold_safe_locals: Set[Symbol], ?lexical_nesting: Array[String]?, ?local_origins: Hash[Symbol, Symbol], ?ivar_origins: Hash[Symbol, Symbol], ?void_origins: Hash[untyped, Inference::VoidOrigin], ?plugin_typed_calls: Hash[untyped, bool], ?optimistic_origins: Hash[untyped, Symbol], ?optimistic_locals: Hash[Symbol, Symbol | Inference::OptimisticOrigin::BoundMark], ?optimistic_ivars: Hash[Symbol, Symbol | Inference::OptimisticOrigin::BoundMark], ?repeated_or_writes: Hash[untyped, bool], ?match_frame: untyped, ?constant_narrowings: Hash[String, Type::t], ?guard_records: Hash[[Symbol, Symbol | String], Type::t], ?bot_guard_classes: Hash[[Symbol, Symbol | String], Array[String]], ?declared_refinements: Array[String | Symbol]) -> void
+    def initialize: (environment: Environment, locals: Hash[Symbol, Type::t], ?fact_store: Analysis::FactStore, ?self_type: Type::t?, ?ivars: Hash[Symbol, Type::t], ?cvars: Hash[Symbol, Type::t], ?globals: Hash[Symbol, Type::t], ?discovery: DiscoveryIndex, ?source_path: String?, ?opaque_block_self: bool, ?block_self_unknown: bool | :refinement, ?singleton_class_body: bool, ?dynamic_origins: Hash[untyped, Symbol], ?indexed_narrowings: Hash[IndexedKey, Type::t], ?method_chain_narrowings: Hash[ChainKey, Type::t], ?declaration_sourced: Set[[Symbol, Symbol] | [Symbol, Symbol, Symbol]], ?published_constant_sourced: Set[[Symbol, Symbol]], ?struct_fold_safe_locals: Set[Symbol], ?lexical_nesting: Array[String]?, ?local_origins: Hash[Symbol, Symbol], ?ivar_origins: Hash[Symbol, Symbol], ?void_origins: Hash[untyped, Inference::VoidOrigin], ?plugin_typed_calls: Hash[untyped, bool], ?optimistic_origins: Hash[untyped, Symbol], ?optimistic_locals: Hash[Symbol, Symbol | Inference::OptimisticOrigin::BoundMark], ?optimistic_ivars: Hash[Symbol, Symbol | Inference::OptimisticOrigin::BoundMark], ?construction_facts: Hash[Symbol, Set[Symbol]], ?repeated_or_writes: Hash[untyped, bool], ?match_frame: untyped, ?constant_narrowings: Hash[String, Type::t], ?guard_records: Hash[[Symbol, Symbol | String], Type::t], ?bot_guard_classes: Hash[[Symbol, Symbol | String], Array[String]], ?declared_refinements: Array[String | Symbol]) -> void
     def with_source_path: (String? path) -> Scope
     def with_struct_fold_safe: (Set[Symbol] locals) -> Scope
     def with_lexical_nesting: (Array[String]? chain) -> Scope
@@ -229,10 +240,15 @@ module Rigor
     def global: (String | Symbol name) -> Type::t?
     def local_origin: (String | Symbol name) -> Symbol?
     def ivar_origin: (String | Symbol name) -> Symbol?
+    # sig-gen gap: #2403 — the `Hash#[]` miss in `bound_cause` is lost across the call; sig-gen says `Symbol`.
     def optimistic_local: (String | Symbol name) -> Symbol?
+    # sig-gen gap: #2403 — the `Hash#[]` miss in `bound_cause` is lost across the call; sig-gen says `Symbol`.
     def optimistic_ivar: (String | Symbol name) -> Symbol?
     def optimistic_local_miss: (String | Symbol name) -> Object?
     def optimistic_ivar_miss: (String | Symbol name) -> Object?
+    def construction_fact?: (String | Symbol name, ?Symbol fact) -> bool
+    def project_method_name?: (untyped) -> (false | true)
+    def with_construction_fact: (untyped, untyped) -> Rigor::Scope
     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
@@ -271,8 +287,6 @@ module Rigor
     def seed_declaration_sourced_global: (String | Symbol name, Type::t type) -> Scope
     def with_global_copy_marks: (String | Symbol name, Array[String | Symbol] globals) -> Scope
     def without_local_declaration_marks: (String | Symbol name) -> Scope
-    # sig-gen gap: #2322 — the records come out of `@declaration_sourced`, whose set now types; `ref[2]` reads as
-    # `Symbol?`, but the `filter_map` over it answers `Array[untyped]`.
     def declaration_sourced_global_copies: (String | Symbol name) -> Array[Symbol]
     def with_declaration_sourced_local: (String | Symbol name, Type::t type) -> Scope
     def with_local_declaration_mark: (String | Symbol name) -> Scope
@@ -307,6 +321,8 @@ module Rigor
     def def_node_slot: (untyped class_name, untyped method_name, ?Symbol kind) -> untyped
     def user_def_for: (String | Symbol class_name, String | Symbol method_name) -> ::Prism::DefNode?
     def user_def_through_ancestors: (String | Symbol class_name, String | Symbol method_name, ?name_memo: Hash[untyped, untyped]) -> ([::Prism::DefNode, String] | [nil, nil])
+    def subclassing_opacity: () -> [false | true, Array[untyped]]
+    def user_instance_def_owners: (untyped) -> Array[untyped]
     def discovered_method_through_ancestors?: (String | Symbol? class_name, String | Symbol method_name, Symbol kind, ?name_memo: Hash[untyped, untyped]) -> bool
     def external_ancestor_name_candidates: (String | Symbol class_name, ?name_memo: Hash[untyped, untyped]) -> Array[Array[String]]
     def enqueue_ancestors: (String current, Array[String] queue, Hash[untyped, untyped] name_memo, ?mixins: bool) -> void
@@ -320,6 +336,7 @@ module Rigor
     def known_user_class?: (String | Symbol name) -> bool
     def singleton_def_for: (String | Symbol class_name, String | Symbol method_name) -> ::Prism::DefNode?
     def module_function_def?: (untyped, untyped) -> (false | true)
+    def module_function_row_def?: (untyped, untyped) -> (false | true)
     def singleton_def_through_ancestors: (String | Symbol class_name, String | Symbol method_name, ?name_memo: Hash[untyped, untyped]) -> ([::Prism::DefNode, String] | [nil, nil])
     def user_def_site_for: (String | Symbol class_name, String | Symbol method_name) -> String?
     def user_singleton_def_site_for: (String | Symbol class_name, String | Symbol method_name) -> String?
@@ -330,6 +347,9 @@ module Rigor
     # sig-gen gap: #1167 — the instance-side twin: the same untyped `call_node`, the same untyped-return skip.
     def instance_def_shadows_call?: (String | Symbol class_name, String | Symbol method_name, untyped call_node) -> bool
     def top_level_def_for: (String | Symbol method_name) -> ::Prism::DefNode?
+    def ownerless_definition?: (untyped, ?top_level: untyped) -> (false | true)
+    def toplevel_def_ambiguity: (String | Symbol method_name) -> (:contested | :several | :main_singleton | :aliased | :anonymous | :object)?
+    def declared_class?: (String | Symbol class_name) -> bool
     def bindable_top_level_def_for: (String | Symbol method_name) -> ::Prism::DefNode?
     def toplevel?: () -> bool
     def discovered_method_visibility: (String | Symbol class_name, String | Symbol method_name) -> Symbol?

data/skills/rigor-plugin-author/SKILL.md

@@ -68,10 +68,10 @@ install`), every plugin bundled in the toolchain is readable source.
 Use it as a worked-example library throughout this skill:
 
 ```sh
-rigor plugin list                              # all bundled + example plugins, with paths
-rigor plugin print rigor-activesupport-core-ext  # a plugin's main source, inline
-rigor plugin path  rigor-units                 # the dir, to browse with your file tool
-rigor plugin root                              # gem root + public API (lib/rigor/plugin.rb)
+rigor plugin                                     # all bundled + example plugins, with paths
+rigor plugin rigor-activesupport-core-ext        # a plugin's main source, inline
+rigor plugin --path rigor-units                  # the dir, to browse with your file tool
+rigor plugin --root                              # gem root + public API (lib/rigor/plugin.rb)
 ```
 
 `rigor plugin` (singular) browses the toolchain's plugins; `rigor

data/skills/rigor-plugin-author/references/02-walker-and-types.md

@@ -254,8 +254,8 @@ Two ways to wire the RBS, depending on how the plugin is packaged:
    read one as a worked example:
 
    ```sh
-   rigor plugin print rigor-activesupport-core-ext   # see manifest + sig/ layout
-   rigor plugin path  rigor-activesupport-core-ext   # then browse its sig/ dir
+   rigor plugin rigor-activesupport-core-ext         # see manifest + sig/ layout
+   rigor plugin --path rigor-activesupport-core-ext  # then browse its sig/ dir
    ```
 
 2. **A project-private plugin** — the manifest field still works, but
@@ -280,9 +280,9 @@ They compose — many plugins ship both.
 
 > **Browse a real plugin instead of guessing the API.** Because Rigor
 > is installed on disk (`mise` / `gem install`), every bundled plugin's
-> source is readable as a worked example. `rigor plugin list` shows
-> them all with absolute paths; `rigor plugin print <name>` inlines a
-> plugin's main source; `rigor plugin root` points at the engine source
+> source is readable as a worked example. `rigor plugin` shows
+> them all with absolute paths; `rigor plugin <name>` inlines a
+> plugin's main source; `rigor plugin --root` points at the engine source
 > and the public `Rigor::Plugin::Base` API. When the prose here is
 > thinner than you need, read a shipped plugin that does the same thing.
 

data/skills/rigor-plugin-review/SKILL.md

@@ -74,9 +74,9 @@ Rigor is installed on disk, so both the plugin under review and the
 worked-example plugins are readable source:
 
 ```sh
-rigor plugin list                 # every bundled + example plugin, with paths
-rigor plugin print rigor-<id>     # a plugin's main source, inline
-rigor plugin path  rigor-<id>     # its directory, to browse
+rigor plugin                    # every bundled + example plugin, with paths
+rigor plugin rigor-<id>         # a plugin's main source, inline
+rigor plugin --path rigor-<id>  # its directory, to browse
 ```
 
 The **authoritative** authoring surface — the one this review scores

data/skills/rigor-project-init/references/03-baseline-and-bugs.md

@@ -218,8 +218,19 @@ baseline is a ceiling, not a blanket. Reducing it later is the
 Recommend committing `.rigor-baseline.yml` — it documents project
 state; list it in the Final step's file inventory.
 
+**Rule-less diagnostics cannot be baselined.** A file Prism cannot
+parse (a parse error), a missing `paths:` entry or an internal error
+yields a diagnostic with no rule, so it has no `(file, rule)` bucket.
+The summary then prints a second line ("N diagnostic(s) have no rule
+(parse, path or internal errors) in M file(s) and cannot be
+baselined") and lists the files; the command still exits 0. Acknowledge
+mode reaches a green `rigor check` only after those files are fixed or
+added to `exclude:`, or the bad `paths:` entry is removed. Do that
+before wiring `baseline:`, then re-run `rigor baseline regenerate`.
+
 Print the suppression summary for the user: "N diagnostics recorded
-as baseline; M will surface on subsequent runs."
+as baseline; M will surface on subsequent runs." Take N from the
+`covering N diagnostic(s)` count, and count the unbaselineable ones in M.
 
 ## Phase 8 — Surface real bugs & offer escalation
 

metadata

@@ -1,13 +1,13 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.4.6
+  version: 0.4.7
 platform: ruby
 authors:
 - Rigor contributors
 bindir: exe
 cert_chain: []
-date: 1980-01-02 00:00:00.000000000 Z
+date: 1980-01-01 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: language_server-protocol
@@ -513,8 +513,10 @@ files:
 - lib/rigor/analysis/runner/envelope_messages.rb
 - lib/rigor/analysis/runner/pool_coordinator.rb
 - lib/rigor/analysis/runner/project_pre_passes.rb
+- lib/rigor/analysis/runner/run_level_facts.rb
 - lib/rigor/analysis/runner/run_snapshots.rb
 - lib/rigor/analysis/runner/scan_environment.rb
+- lib/rigor/analysis/runner/worker_payload.rb
 - lib/rigor/analysis/self_call_resolution_recorder.rb
 - lib/rigor/analysis/severity_stamp.rb
 - lib/rigor/analysis/shadow_harness.rb
@@ -551,6 +553,7 @@ files:
 - lib/rigor/cli.rb
 - lib/rigor/cli/annotate_command.rb
 - lib/rigor/cli/baseline_command.rb
+- lib/rigor/cli/catalogue.rb
 - lib/rigor/cli/check_command.rb
 - lib/rigor/cli/check_invocation.rb
 - lib/rigor/cli/check_runner_factory.rb
@@ -574,6 +577,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/json_document.rb
 - lib/rigor/cli/lens_command.rb
 - lib/rigor/cli/lsp_command.rb
 - lib/rigor/cli/mcp_command.rb
@@ -660,7 +664,9 @@ 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/core_root.rb
 - lib/rigor/environment/default_libraries.rb
+- lib/rigor/environment/deferred_signature_plan.rb
 - lib/rigor/environment/failure_slot.rb
 - lib/rigor/environment/gated_signature_guard.rb
 - lib/rigor/environment/gated_signature_plan.rb
@@ -670,6 +676,7 @@ files:
 - lib/rigor/environment/member_consistency.rb
 - lib/rigor/environment/member_consistency/comparator.rb
 - lib/rigor/environment/missing_gem_constant_index.rb
+- lib/rigor/environment/project_path_gems.rb
 - lib/rigor/environment/rbs_collection_discovery.rb
 - lib/rigor/environment/rbs_coverage_report.rb
 - lib/rigor/environment/rbs_hierarchy.rb
@@ -679,6 +686,7 @@ files:
 - lib/rigor/environment/required_features.rb
 - lib/rigor/environment/ruby_library_roots.rb
 - lib/rigor/environment/source_rbs_synthesis.rb
+- lib/rigor/environment/vendored_signature_plan.rb
 - lib/rigor/flow_contribution.rb
 - lib/rigor/flow_contribution/conflict.rb
 - lib/rigor/flow_contribution/element.rb
@@ -692,6 +700,7 @@ files:
 - lib/rigor/inference/block_call_timing.rb
 - lib/rigor/inference/block_parameter_binder.rb
 - lib/rigor/inference/block_repetition.rb
+- lib/rigor/inference/block_run_count.rb
 - lib/rigor/inference/body_fixpoint.rb
 - lib/rigor/inference/budget_trace.rb
 - lib/rigor/inference/builtins/array_catalog.rb
@@ -716,9 +725,11 @@ files:
 - lib/rigor/inference/builtins/struct_catalog.rb
 - lib/rigor/inference/builtins/time_catalog.rb
 - lib/rigor/inference/callee_mutation_chain.rb
+- lib/rigor/inference/callee_write_census.rb
 - lib/rigor/inference/captured_locals.rb
 - lib/rigor/inference/clause_widening.rb
 - lib/rigor/inference/closure_escape_analyzer.rb
+- lib/rigor/inference/construction_escape.rb
 - lib/rigor/inference/content_join.rb
 - lib/rigor/inference/coverage_scanner.rb
 - lib/rigor/inference/declaration_walk.rb
@@ -732,6 +743,8 @@ files:
 - lib/rigor/inference/def_return_typer.rb
 - lib/rigor/inference/define_method_block_self.rb
 - lib/rigor/inference/definer_resolution.rb
+- lib/rigor/inference/definers_index.rb
+- lib/rigor/inference/direct_ivar_writes.rb
 - lib/rigor/inference/dynamic_origin.rb
 - lib/rigor/inference/element_read_widening.rb
 - lib/rigor/inference/error_info.rb
@@ -743,6 +756,7 @@ files:
 - lib/rigor/inference/fork_map.rb
 - lib/rigor/inference/fresh_frame_blocks.rb
 - lib/rigor/inference/global_write_census.rb
+- lib/rigor/inference/global_writer_reach.rb
 - lib/rigor/inference/guard_rebinding.rb
 - lib/rigor/inference/hash_lookup_mutation.rb
 - lib/rigor/inference/hkt_body.rb
@@ -773,8 +787,11 @@ files:
 - 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/match_rebinding/yielding_match.rb
+- lib/rigor/inference/memo_audit.rb
 - lib/rigor/inference/method_dispatcher.rb
 - lib/rigor/inference/method_dispatcher/alias_strict_nominals.rb
+- lib/rigor/inference/method_dispatcher/argument_distribution.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
@@ -782,6 +799,7 @@ files:
 - 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/contested_overloads.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
@@ -797,6 +815,7 @@ files:
 - 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/no_match_fallback.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
@@ -831,6 +850,7 @@ files:
 - lib/rigor/inference/operand_walk.rb
 - lib/rigor/inference/optimistic_origin.rb
 - lib/rigor/inference/origin_lookup.rb
+- lib/rigor/inference/out_buffer_mutation.rb
 - lib/rigor/inference/parameter_inference_collector.rb
 - lib/rigor/inference/pre_eval_constants.rb
 - lib/rigor/inference/precision_scanner.rb
@@ -855,21 +875,28 @@ files:
 - lib/rigor/inference/refined_dispatch/own_method.rb
 - lib/rigor/inference/refinement_mutation.rb
 - lib/rigor/inference/reflective_ivar_write.rb
+- lib/rigor/inference/remover_holder_scan.rb
+- lib/rigor/inference/remover_narrowing.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/constant_ivar_value.rb
 - lib/rigor/inference/scope_indexer/declared_ivar_types.rb
 - lib/rigor/inference/scope_indexer/declared_param_writes.rb
 - lib/rigor/inference/scope_indexer/def_nestings_collector.rb
+- lib/rigor/inference/scope_indexer/derived_param_value.rb
+- lib/rigor/inference/scope_indexer/empty_seed.rb
+- lib/rigor/inference/scope_indexer/ivar_contributions.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/scope_indexer/unseen_ivar_writers.rb
 - lib/rigor/inference/self_call_ivar_writes.rb
+- lib/rigor/inference/set_mutation.rb
 - lib/rigor/inference/singleton_external_ahead.rb
 - lib/rigor/inference/singleton_hook_decline.rb
 - lib/rigor/inference/singleton_object_constant.rb
@@ -881,6 +908,7 @@ files:
 - lib/rigor/inference/synthetic_method_index.rb
 - lib/rigor/inference/synthetic_method_scanner.rb
 - lib/rigor/inference/synthetic_method_scanner/project_members.rb
+- lib/rigor/inference/toplevel_def_census.rb
 - lib/rigor/inference/unknown_store_widening.rb
 - lib/rigor/inference/unthreaded_rebinds.rb
 - lib/rigor/inference/untyped_rejoin.rb
@@ -891,6 +919,7 @@ files:
 - 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/config_warning_announcer.rb
 - lib/rigor/language_server/debouncer.rb
 - lib/rigor/language_server/diagnostic_publisher.rb
 - lib/rigor/language_server/document_symbol_provider.rb
@@ -975,6 +1004,7 @@ files:
 - lib/rigor/reflection/constant_ancestors.rb
 - lib/rigor/reflection/constant_path.rb
 - lib/rigor/rooted_glob.rb
+- lib/rigor/run_scoped_slots.rb
 - lib/rigor/runtime/jit.rb
 - lib/rigor/scope.rb
 - lib/rigor/scope/discovery_index.rb
@@ -986,6 +1016,7 @@ files:
 - lib/rigor/sig_gen/declaration_equivalence.rb
 - lib/rigor/sig_gen/effect_annotation.rb
 - lib/rigor/sig_gen/generator.rb
+- lib/rigor/sig_gen/generic_header_scan.rb
 - lib/rigor/sig_gen/inline_declarations.rb
 - lib/rigor/sig_gen/layout_index.rb
 - lib/rigor/sig_gen/meta_class_shape.rb
@@ -998,6 +1029,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/type_name_qualification.rb
 - lib/rigor/sig_gen/write_reporter.rb
 - lib/rigor/sig_gen/write_result.rb
 - lib/rigor/sig_gen/writer.rb
@@ -1125,6 +1157,7 @@ files:
 - plugins/rigor-activesupport-core-ext/lib/rigor-activesupport-core-ext.rb
 - 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/lib/rigor/plugin/activesupport_core_ext/symbolize_keys.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
@@ -1436,7 +1469,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
     - !ruby/object:Gem::Version
       version: '0'
 requirements: []
-rubygems_version: 4.0.10
+rubygems_version: 3.7.2
 specification_version: 4
 summary: Inference-first static analysis for Ruby.
 test_files: []