rigortype 0.3.1 → 0.3.3

data/sig/rigor/inference/void_origin.rbs

@@ -1,8 +1,8 @@
 module Rigor
   module Inference
-    # `VoidOrigin = Data.define(:class_name, :method_name, :kind)`. Declared as a `::Data` subclass because
-    # that is the shape the runtime actually builds; `sig-gen` cannot yet read a `Data.define` assignment
-    # (it reports the block body's `#label` against the enclosing namespace and drops the members).
+    # `VoidOrigin = Data.define(:class_name, :method_name, :kind)`. Declared as a `::Data` subclass because that
+    # is the shape the runtime actually builds. `sig-gen` reads this form since #227 and generates the same
+    # structure; the member types are hand-narrowed from the `untyped` only `--params=observed` could improve on.
     class VoidOrigin < ::Data
       attr_reader class_name: String
       attr_reader method_name: Symbol
@@ -11,6 +11,9 @@ module Rigor
       def self.new: (class_name: String, method_name: Symbol, kind: Symbol) -> instance
                   | (String class_name, Symbol method_name, Symbol kind) -> instance
 
+      def self.[]: (class_name: String, method_name: Symbol, kind: Symbol) -> instance
+                 | (String class_name, Symbol method_name, Symbol kind) -> instance
+
       # A human-facing `Class#method` / `Class.method` label for the diagnostic message.
       def label: () -> String
     end

data/sig/rigor/scope.rbs

@@ -12,10 +12,14 @@ module Rigor
     attr_reader local_origins: Hash[Symbol, Symbol]
     attr_reader ivar_origins: Hash[Symbol, Symbol]
     attr_reader void_origins: Hash[untyped, Inference::VoidOrigin]
+    attr_reader optimistic_origins: Hash[untyped, Symbol]
+    attr_reader optimistic_locals: Hash[Symbol, Symbol]
+    attr_reader optimistic_ivars: Hash[Symbol, Symbol]
     attr_reader indexed_narrowings: Hash[IndexedKey, Type::t]
     attr_reader method_chain_narrowings: Hash[ChainKey, Type::t]
     attr_reader source_path: String?
     attr_reader struct_fold_safe_locals: Set[Symbol]
+    attr_reader opaque_block_self: bool
 
     # ADR-53 Track A — the seed-time discovery tables live on the
     # DiscoveryIndex; Scope keeps per-table readers as delegates.
@@ -39,6 +43,7 @@ module Rigor
     def param_inferred_types: () -> Hash[[String, Symbol, Symbol], Hash[Symbol, Type::t]]
     def run_generation: () -> Object?
     def record_dynamic_origin: (untyped node, Symbol cause) -> Scope
+    def record_optimistic_origin: (untyped node, Symbol cause) -> Scope
 
     def record_void_origin: (untyped node, Inference::VoidOrigin origin) -> Scope
 
@@ -86,6 +91,8 @@ module Rigor
     def with_source_path: (String? path) -> Scope
     def with_struct_fold_safe: (Set[Symbol] locals) -> Scope
     def struct_fold_safe?: (String | Symbol name) -> bool
+    def entering_opaque_block: () -> Scope
+    def opaque_block_self?: () -> bool
     def with_discovery: (DiscoveryIndex index) -> Scope
     def local: (String | Symbol name) -> Type::t?
     def ivar: (String | Symbol name) -> Type::t?
@@ -93,9 +100,13 @@ module Rigor
     def global: (String | Symbol name) -> Type::t?
     def local_origin: (String | Symbol name) -> Symbol?
     def ivar_origin: (String | Symbol name) -> Symbol?
+    def optimistic_local: (String | Symbol name) -> Symbol?
+    def optimistic_ivar: (String | Symbol name) -> Symbol?
     def with_local: (String | Symbol name, Type::t type) -> Scope
     def with_ivar: (String | Symbol name, Type::t type) -> Scope
     def with_local_origin: (String | Symbol name, Symbol? cause) -> Scope
+    def with_optimistic_local: (String | Symbol name, Symbol? cause) -> Scope
+    def with_optimistic_ivar: (String | Symbol name, Symbol? cause) -> Scope
     def with_ivar_origin: (String | Symbol name, Symbol? cause) -> Scope
     def with_cvar: (String | Symbol name, Type::t type) -> Scope
     def with_global: (String | Symbol name, Type::t type) -> Scope
@@ -115,6 +126,7 @@ module Rigor
     def singleton_def_for: (String | Symbol class_name, String | Symbol method_name) -> untyped?
     def user_def_site_for: (String | Symbol class_name, String | Symbol method_name) -> String?
     def top_level_def_for: (String | Symbol method_name) -> untyped?
+    def bindable_top_level_def_for: (String | Symbol method_name) -> untyped?
     def toplevel?: () -> bool
     def discovered_method_visibility: (String | Symbol class_name, String | Symbol method_name) -> Symbol?
     def superclass_of: (String | Symbol class_name) -> String?

data/sig/rigor.rbs

@@ -58,6 +58,10 @@ module Rigor
       # `node` / `location` are Prism values, received as `untyped`).
       def self.from_node: (untyped node, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
       def self.from_location: (untyped location, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
+      # `from_message_loc` / `from_name_loc` forward `**` to `from_location`, so their keyword surface is
+      # `from_location`'s; only the positional node differs.
+      def self.from_message_loc: (untyped node, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
+      def self.from_name_loc: (untyped node, path: String, message: String, ?severity: Symbol, ?rule: String?, ?source_family: String, ?receiver_type: untyped, ?method_name: untyped, ?project_definition_site: untyped) -> Rigor::Analysis::Diagnostic
     end
 
     class Result

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.3.1
+  version: 0.3.3
 platform: ruby
 authors:
 - Rigor contributors
@@ -290,6 +290,7 @@ files:
 - data/core_overlay/numeric.rbs
 - data/core_overlay/pathname.rbs
 - data/core_overlay/psych.rbs
+- data/core_overlay/resolv.rbs
 - data/core_overlay/string_scanner.rbs
 - data/gem_overlay/activesupport/core_ext.rbs
 - data/vendored_gem_sigs/ast/ast.rbs
@@ -306,6 +307,7 @@ files:
 - data/vendored_gem_sigs/nokogiri/nokogiri_html5.rbs
 - data/vendored_gem_sigs/pg/pg.rbs
 - data/vendored_gem_sigs/prism/prism_supplement.rbs
+- data/vendored_gem_sigs/racc/racc.rbs
 - data/vendored_gem_sigs/redis/errors.rbs
 - data/vendored_gem_sigs/redis/future.rbs
 - data/vendored_gem_sigs/redis/redis.rbs
@@ -395,6 +397,7 @@ 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/declaration_sourced_guard.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
@@ -428,6 +431,7 @@ files:
 - lib/rigor/analysis/run_cache_probe.rb
 - lib/rigor/analysis/run_stats.rb
 - lib/rigor/analysis/runner.rb
+- lib/rigor/analysis/runner/buffer_pool_dispatcher.rb
 - lib/rigor/analysis/runner/diagnostic_aggregator.rb
 - lib/rigor/analysis/runner/pool_coordinator.rb
 - lib/rigor/analysis/runner/project_pre_passes.rb
@@ -444,6 +448,7 @@ files:
 - lib/rigor/builtins/regex_refinement.rb
 - lib/rigor/builtins/static_return_refinements.rb
 - lib/rigor/cache/descriptor.rb
+- lib/rigor/cache/engine_source.rb
 - lib/rigor/cache/file_digest.rb
 - lib/rigor/cache/incremental_snapshot.rb
 - lib/rigor/cache/rbs_cache_producer.rb
@@ -477,6 +482,7 @@ files:
 - lib/rigor/cli/fused_protection_report.rb
 - lib/rigor/cli/lsp_command.rb
 - lib/rigor/cli/mcp_command.rb
+- lib/rigor/cli/mutation_fork_scan.rb
 - lib/rigor/cli/mutation_protection_renderer.rb
 - lib/rigor/cli/mutation_protection_report.rb
 - lib/rigor/cli/options.rb
@@ -529,6 +535,7 @@ files:
 - lib/rigor/flow_contribution/merge_result.rb
 - lib/rigor/flow_contribution/merger.rb
 - lib/rigor/inference/acceptance.rb
+- lib/rigor/inference/anonymous_meta_class.rb
 - lib/rigor/inference/block_parameter_binder.rb
 - lib/rigor/inference/body_fixpoint.rb
 - lib/rigor/inference/budget_trace.rb
@@ -599,6 +606,7 @@ files:
 - lib/rigor/inference/multi_target_binder.rb
 - lib/rigor/inference/mutation_widening.rb
 - lib/rigor/inference/narrowing.rb
+- lib/rigor/inference/optimistic_origin.rb
 - lib/rigor/inference/origin_lookup.rb
 - lib/rigor/inference/parameter_inference_collector.rb
 - lib/rigor/inference/precision_scanner.rb
@@ -606,7 +614,9 @@ files:
 - lib/rigor/inference/project_patched_scanner.rb
 - lib/rigor/inference/protection_scanner.rb
 - lib/rigor/inference/rbs_type_translator.rb
+- lib/rigor/inference/receiver_alias.rb
 - lib/rigor/inference/scope_indexer.rb
+- lib/rigor/inference/singleton_object_constant.rb
 - lib/rigor/inference/statement_evaluator.rb
 - lib/rigor/inference/struct_fold_safety.rb
 - lib/rigor/inference/synthetic_method.rb
@@ -627,6 +637,7 @@ files:
 - lib/rigor/language_server/incremental_sync.rb
 - lib/rigor/language_server/loop.rb
 - lib/rigor/language_server/project_context.rb
+- lib/rigor/language_server/publish_batcher.rb
 - lib/rigor/language_server/selection_range_provider.rb
 - lib/rigor/language_server/server.rb
 - lib/rigor/language_server/signature_help_provider.rb
@@ -661,7 +672,12 @@ files:
 - lib/rigor/plugin/source_rbs_synthesis_reporter.rb
 - lib/rigor/plugin/trust_policy.rb
 - lib/rigor/plugin/type_node_resolver.rb
+- lib/rigor/protection/closure_kill_oracle.rb
+- lib/rigor/protection/dependency_closure.rb
 - lib/rigor/protection/diagnostic_oracle.rb
+- lib/rigor/protection/discovery_seed.rb
+- lib/rigor/protection/kill_signature.rb
+- lib/rigor/protection/mutation_cache.rb
 - lib/rigor/protection/mutation_scanner.rb
 - lib/rigor/protection/mutator.rb
 - lib/rigor/protection/test_suite_oracle.rb
@@ -677,6 +693,7 @@ files:
 - lib/rigor/sig_gen/classification.rb
 - lib/rigor/sig_gen/generator.rb
 - lib/rigor/sig_gen/layout_index.rb
+- lib/rigor/sig_gen/meta_class_shape.rb
 - lib/rigor/sig_gen/method_candidate.rb
 - lib/rigor/sig_gen/observation_collector.rb
 - lib/rigor/sig_gen/observed_call.rb
@@ -701,6 +718,7 @@ files:
 - lib/rigor/type.rb
 - lib/rigor/type/acceptance_router.rb
 - lib/rigor/type/accepts_result.rb
+- lib/rigor/type/anonymous_class_name.rb
 - lib/rigor/type/app.rb
 - lib/rigor/type/bot.rb
 - lib/rigor/type/bound_method.rb
@@ -776,6 +794,7 @@ files:
 - plugins/rigor-devise/lib/rigor/plugin/devise.rb
 - plugins/rigor-dry-schema/lib/rigor-dry-schema.rb
 - plugins/rigor-dry-schema/lib/rigor/plugin/dry_schema.rb
+- plugins/rigor-dry-schema/lib/rigor/plugin/dry_schema/result_shape.rb
 - plugins/rigor-dry-schema/lib/rigor/plugin/dry_schema/schema_scanner.rb
 - plugins/rigor-dry-struct/lib/rigor-dry-struct.rb
 - plugins/rigor-dry-struct/lib/rigor/plugin/dry_struct.rb
@@ -785,6 +804,7 @@ files:
 - plugins/rigor-dry-validation/lib/rigor-dry-validation.rb
 - plugins/rigor-dry-validation/lib/rigor/plugin/dry_validation.rb
 - plugins/rigor-dry-validation/lib/rigor/plugin/dry_validation/contract_scanner.rb
+- plugins/rigor-dry-validation/lib/rigor/plugin/dry_validation/params_shape.rb
 - plugins/rigor-dry-validation/sig/dry_validation.rbs
 - plugins/rigor-factorybot/lib/rigor-factorybot.rb
 - plugins/rigor-factorybot/lib/rigor/plugin/factorybot.rb