rigortype 0.0.8 → 0.0.9

data/data/builtins/ruby_core/struct.yml

@@ -0,0 +1,449 @@
+# DO NOT EDIT — generated by tool/extract_builtin_catalog.rb
+---
+schema_version: 1
+generated_from:
+  ruby_init_c: references/ruby/struct.c
+  ruby_prelude:
+  rbs:
+  - references/rbs/core/struct.rbs
+purity_levels:
+  leaf: Prelude :leaf marker (VM-enforced) or C body uses no dispatch/yield/mutation.
+  trivial: Prelude method body is a literal return (self/true/false/nil/Integer).
+  leaf_when_numeric: C body falls through to rb_num_coerce_* only when an operand
+    is non-numeric; safe to fold when every argument is a concrete numeric.
+  inline_block: Prelude method carries :inline_block or :use_block; block-dependent.
+  block_dependent: C body yields or checks rb_block_given_p.
+  mutates_self: C body checks rb_check_frozen — typically a prelude to mutation.
+  dispatch: C body calls user-redefinable methods (rb_funcall*, rb_equal, rb_Float,
+    num_funcall*, etc).
+  unknown: C body not located in indexed C files.
+classes:
+  Struct:
+    parent: Object
+    defined_at: references/ruby/struct.c:2245
+    includes:
+    - module: Enumerable
+      defined_at: references/ruby/struct.c:2246
+    constants: {}
+    aliases:
+      to_s:
+        old: inspect
+        source: c
+        defined_at: references/ruby/struct.c:2263
+    instance_methods:
+      initialize:
+        source: c
+        cfunc: rb_struct_initialize_m
+        arity: -1
+        defined_at: references/ruby/struct.c:2255
+        c_body_at: references/ruby/struct.c:752
+        c_effects:
+        - mutate
+        - raises
+        purity: mutates_self
+      initialize_copy:
+        source: c
+        cfunc: rb_struct_init_copy
+        arity: 1
+        defined_at: references/ruby/struct.c:2256
+        c_body_at: references/ruby/struct.c:1163
+        c_effects:
+        - raises
+        purity: leaf
+      "==":
+        source: c
+        cfunc: rb_struct_equal
+        arity: 1
+        defined_at: references/ruby/struct.c:2258
+        c_body_at: references/ruby/struct.c:1440
+        c_effects:
+        - dispatch
+        - raises
+        purity: dispatch
+        rbs:
+        - "(untyped other) -> bool"
+        rbs_at: references/rbs/core/struct.rbs:289
+      eql?:
+        source: c
+        cfunc: rb_struct_eql
+        arity: 1
+        defined_at: references/ruby/struct.c:2259
+        c_body_at: references/ruby/struct.c:1521
+        c_effects:
+        - dispatch
+        - raises
+        purity: dispatch
+        rbs:
+        - "(untyped other) -> bool"
+        rbs_at: references/rbs/core/struct.rbs:310
+      hash:
+        source: c
+        cfunc: rb_struct_hash
+        arity: 0
+        defined_at: references/ruby/struct.c:2260
+        c_body_at: references/ruby/struct.c:1472
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/struct.rbs:330
+      inspect:
+        source: c
+        cfunc: rb_struct_inspect
+        arity: 0
+        defined_at: references/ruby/struct.c:2262
+        c_body_at: references/ruby/struct.c:1043
+        c_effects:
+        - dispatch
+        purity: dispatch
+        rbs:
+        - "() -> String"
+        rbs_at: references/rbs/core/struct.rbs:342
+      to_a:
+        source: c
+        cfunc: rb_struct_to_a
+        arity: 0
+        defined_at: references/ruby/struct.c:2264
+        c_body_at: references/ruby/struct.c:1062
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Array[Elem]"
+        rbs_at: references/rbs/core/struct.rbs:365
+      to_h:
+        source: c
+        cfunc: rb_struct_to_h
+        arity: 0
+        defined_at: references/ruby/struct.c:2265
+        c_body_at: references/ruby/struct.c:1091
+        c_effects:
+        - block
+        - mutate
+        purity: block_dependent
+        rbs:
+        - "() -> Hash[Symbol, Elem]"
+        - "[K, V] () { (Symbol key, Elem value) -> [ K, V ] } -> Hash[K, V]"
+        rbs_at: references/rbs/core/struct.rbs:388
+      values:
+        source: c
+        cfunc: rb_struct_to_a
+        arity: 0
+        defined_at: references/ruby/struct.c:2266
+        c_body_at: references/ruby/struct.c:1062
+        c_effects: []
+        purity: leaf
+      size:
+        source: c
+        cfunc: rb_struct_size
+        arity: 0
+        defined_at: references/ruby/struct.c:2267
+        c_body_at: references/ruby/struct.c:1546
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Integer"
+        rbs_at: references/rbs/core/struct.rbs:412
+      length:
+        source: c
+        cfunc: rb_struct_size
+        arity: 0
+        defined_at: references/ruby/struct.c:2268
+        c_body_at: references/ruby/struct.c:1546
+        c_effects: []
+        purity: leaf
+      each:
+        source: c
+        cfunc: rb_struct_each
+        arity: 0
+        defined_at: references/ruby/struct.c:2270
+        c_body_at: references/ruby/struct.c:926
+        c_effects:
+        - block
+        purity: block_dependent
+        rbs:
+        - "() -> Enumerator[Elem, self]"
+        - "() { (Elem value) -> void } -> self"
+        rbs_at: references/rbs/core/struct.rbs:444
+      each_pair:
+        source: c
+        cfunc: rb_struct_each_pair
+        arity: 0
+        defined_at: references/ruby/struct.c:2271
+        c_body_at: references/ruby/struct.c:961
+        c_effects:
+        - block
+        purity: block_dependent
+        rbs:
+        - "() -> Enumerator[[ Symbol, Elem ], self]"
+        - "() { ([ Symbol, Elem ] key_value) -> void } -> self"
+        rbs_at: references/rbs/core/struct.rbs:468
+      "[]":
+        source: c
+        cfunc: rb_struct_aref
+        arity: 1
+        defined_at: references/ruby/struct.c:2272
+        c_body_at: references/ruby/struct.c:1258
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(index name_or_position) -> Elem"
+        rbs_at: references/rbs/core/struct.rbs:495
+      "[]=":
+        source: c
+        cfunc: rb_struct_aset
+        arity: 2
+        defined_at: references/ruby/struct.c:2273
+        c_body_at: references/ruby/struct.c:1296
+        c_effects:
+        - mutate
+        purity: mutates_self
+        rbs:
+        - "(index name_or_position, Elem value) -> Elem"
+        rbs_at: references/rbs/core/struct.rbs:524
+      select:
+        source: c
+        cfunc: rb_struct_select
+        arity: -1
+        defined_at: references/ruby/struct.c:2274
+        c_body_at: references/ruby/struct.c:1388
+        c_effects:
+        - block
+        - mutate
+        purity: block_dependent
+        rbs:
+        - "() -> Enumerator[Elem, Array[Elem]]"
+        - "() { (Elem value) -> boolish } -> Array[Elem]"
+        rbs_at: references/rbs/core/struct.rbs:543
+      filter:
+        source: c
+        cfunc: rb_struct_select
+        arity: -1
+        defined_at: references/ruby/struct.c:2275
+        c_body_at: references/ruby/struct.c:1388
+        c_effects:
+        - block
+        - mutate
+        purity: block_dependent
+      values_at:
+        source: c
+        cfunc: rb_struct_values_at
+        arity: -1
+        defined_at: references/ruby/struct.c:2276
+        c_body_at: references/ruby/struct.c:1364
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(*int | range[int?] positions) -> Array[Elem]"
+        rbs_at: references/rbs/core/struct.rbs:594
+      members:
+        source: c
+        cfunc: rb_struct_members_m
+        arity: 0
+        defined_at: references/ruby/struct.c:2278
+        c_body_at: references/ruby/struct.c:227
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Array[Symbol]"
+        rbs_at: references/rbs/core/struct.rbs:607
+      dig:
+        source: c
+        cfunc: rb_struct_dig
+        arity: -1
+        defined_at: references/ruby/struct.c:2279
+        c_body_at: references/ruby/struct.c:1584
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(index name_or_position) -> Elem"
+        - "(index name_or_position, untyped, *untyped) -> untyped"
+        rbs_at: references/rbs/core/struct.rbs:637
+      deconstruct:
+        source: c
+        cfunc: rb_struct_to_a
+        arity: 0
+        defined_at: references/ruby/struct.c:2281
+        c_body_at: references/ruby/struct.c:1062
+        c_effects: []
+        purity: leaf
+      deconstruct_keys:
+        source: c
+        cfunc: rb_struct_deconstruct_keys
+        arity: 1
+        defined_at: references/ruby/struct.c:2282
+        c_body_at: references/ruby/struct.c:1126
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "(Array[index & Hash::_Key]? indices) -> Hash[index & Hash::_Key, Elem]"
+        rbs_at: references/rbs/core/struct.rbs:667
+    singleton_methods:
+      new:
+        source: c
+        cfunc: rb_struct_s_def
+        arity: -1
+        defined_at: references/ruby/struct.c:2249
+        c_body_at: references/ruby/struct.c:643
+        c_effects:
+        - block
+        - mutate
+        - raises
+        purity: block_dependent
+        rbs:
+        - "(string? classname, *interned fields, ?keyword_init: boolish?) ?{ (singleton(Struct))
+          [self: singleton(Struct)] -> void } -> untyped"
+        - "(Symbol field1, *interned fields, ?keyword_init: boolish?) ?{ (singleton(Struct))
+          [self: singleton(Struct)] -> void } -> untyped"
+        rbs_at: references/rbs/core/struct.rbs:238
+      keyword_init?:
+        source: c
+        cfunc: rb_struct_s_keyword_init_p
+        arity: 0
+        defined_at: references/ruby/struct.c:2251
+        c_body_at: references/ruby/struct.c:62
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> bool?"
+        rbs_at: references/rbs/core/struct.rbs:267
+      members:
+        source: c
+        cfunc: rb_struct_s_members_m
+        arity: 0
+        defined_at: references/ruby/struct.c:2252
+        c_body_at: references/ruby/struct.c:207
+        c_effects: []
+        purity: leaf
+        rbs:
+        - "() -> Array[Symbol]"
+        rbs_at: references/rbs/core/struct.rbs:250
+    undefined: []
+  Data:
+    parent: Object
+    defined_at: references/ruby/struct.c:2284
+    includes: []
+    constants: {}
+    aliases:
+      to_s:
+        old: inspect
+        source: c
+        defined_at: references/ruby/struct.c:2302
+    instance_methods:
+      initialize:
+        source: c
+        cfunc: rb_data_initialize_m
+        arity: -1
+        defined_at: references/ruby/struct.c:2294
+        c_body_at: references/ruby/struct.c:1833
+        c_effects:
+        - mutate
+        purity: mutates_self
+      initialize_copy:
+        source: c
+        cfunc: rb_data_init_copy
+        arity: 1
+        defined_at: references/ruby/struct.c:2295
+        c_body_at: references/ruby/struct.c:1881
+        c_effects: []
+        purity: leaf
+      "==":
+        source: c
+        cfunc: rb_data_equal
+        arity: 1
+        defined_at: references/ruby/struct.c:2297
+        c_body_at: references/ruby/struct.c:1440
+        c_effects:
+        - dispatch
+        - raises
+        purity: dispatch
+      eql?:
+        source: c
+        cfunc: rb_data_eql
+        arity: 1
+        defined_at: references/ruby/struct.c:2298
+        c_body_at: references/ruby/struct.c:1521
+        c_effects:
+        - dispatch
+        - raises
+        purity: dispatch
+      hash:
+        source: c
+        cfunc: rb_data_hash
+        arity: 0
+        defined_at: references/ruby/struct.c:2299
+        c_body_at: references/ruby/struct.c:1472
+        c_effects: []
+        purity: leaf
+      inspect:
+        source: c
+        cfunc: rb_data_inspect
+        arity: 0
+        defined_at: references/ruby/struct.c:2301
+        c_body_at: references/ruby/struct.c:1952
+        c_effects:
+        - dispatch
+        purity: dispatch
+      to_h:
+        source: c
+        cfunc: rb_data_to_h
+        arity: 0
+        defined_at: references/ruby/struct.c:2303
+        c_body_at: references/ruby/struct.c:1091
+        c_effects:
+        - block
+        - mutate
+        purity: block_dependent
+      members:
+        source: c
+        cfunc: rb_data_members_m
+        arity: 0
+        defined_at: references/ruby/struct.c:2305
+        c_body_at: references/ruby/struct.c:227
+        c_effects: []
+        purity: leaf
+      deconstruct:
+        source: c
+        cfunc: rb_data_deconstruct
+        arity: 0
+        defined_at: references/ruby/struct.c:2307
+        c_body_at: references/ruby/struct.c:1062
+        c_effects: []
+        purity: leaf
+      deconstruct_keys:
+        source: c
+        cfunc: rb_data_deconstruct_keys
+        arity: 1
+        defined_at: references/ruby/struct.c:2308
+        c_body_at: references/ruby/struct.c:2131
+        c_effects: []
+        purity: leaf
+      with:
+        source: c
+        cfunc: rb_data_with
+        arity: -1
+        defined_at: references/ruby/struct.c:2310
+        c_body_at: references/ruby/struct.c:1919
+        c_effects: []
+        purity: leaf
+    singleton_methods:
+      define:
+        source: c
+        cfunc: rb_data_s_def
+        arity: -1
+        defined_at: references/ruby/struct.c:2288
+        c_body_at: references/ruby/struct.c:1709
+        c_effects:
+        - block
+        - mutate
+        - raises
+        purity: block_dependent
+      members:
+        source: c
+        cfunc: rb_data_s_members_m
+        arity: 0
+        defined_at: references/ruby/struct.c:2291
+        c_body_at: references/ruby/struct.c:207
+        c_effects: []
+        purity: leaf
+    undefined:
+    - new

data/lib/rigor/analysis/runner.rb

@@ -4,6 +4,7 @@ require "prism"
 
 require_relative "../environment"
 require_relative "../scope"
+require_relative "../cache/store"
 require_relative "../inference/coverage_scanner"
 require_relative "../inference/scope_indexer"
 require_relative "../inference/method_dispatcher/file_folding"
@@ -15,10 +16,24 @@ module Rigor
   module Analysis
     class Runner # rubocop:disable Metrics/ClassLength
       RUBY_GLOB = "**/*.rb"
-
-      def initialize(configuration:, explain: false)
+      DEFAULT_CACHE_ROOT = ".rigor/cache"
+
+      attr_reader :cache_store
+
+      # @param configuration [Rigor::Configuration]
+      # @param explain [Boolean] surface fail-soft fallback events
+      #   as `:info` diagnostics.
+      # @param cache_store [Rigor::Cache::Store, nil] the persistent
+      #   cache the runner exposes to producers (`RbsConstantTable`
+      #   and successors). Pass `nil` to disable caching for this
+      #   run; the CLI's `--no-cache` flag wires `nil` through.
+      #   v0.0.9 group A slice 1 introduces the surface; later
+      #   slices route real producers through it.
+      def initialize(configuration:, explain: false,
+                     cache_store: Cache::Store.new(root: DEFAULT_CACHE_ROOT))
         @configuration = configuration
         @explain = explain
+        @cache_store = cache_store
       end
 
       # Walks every Ruby file under `paths`, parses it, builds a
@@ -35,7 +50,8 @@ module Rigor
 
         environment = Environment.for_project(
           libraries: @configuration.libraries,
-          signature_paths: @configuration.signature_paths
+          signature_paths: @configuration.signature_paths,
+          cache_store: @cache_store
         )
         expansion = expand_paths(paths)
 

data/lib/rigor/builtins/imported_refinements.rb

@@ -54,13 +54,18 @@ module Rigor
         "negative-int" => -> { Type::Combinator.negative_int },
         "non-positive-int" => -> { Type::Combinator.non_positive_int },
         "lowercase-string" => -> { Type::Combinator.lowercase_string },
+        "non-lowercase-string" => -> { Type::Combinator.non_lowercase_string },
         "uppercase-string" => -> { Type::Combinator.uppercase_string },
+        "non-uppercase-string" => -> { Type::Combinator.non_uppercase_string },
         "numeric-string" => -> { Type::Combinator.numeric_string },
+        "non-numeric-string" => -> { Type::Combinator.non_numeric_string },
         "decimal-int-string" => -> { Type::Combinator.decimal_int_string },
         "octal-int-string" => -> { Type::Combinator.octal_int_string },
         "hex-int-string" => -> { Type::Combinator.hex_int_string },
         "non-empty-lowercase-string" => -> { Type::Combinator.non_empty_lowercase_string },
-        "non-empty-uppercase-string" => -> { Type::Combinator.non_empty_uppercase_string }
+        "non-empty-uppercase-string" => -> { Type::Combinator.non_empty_uppercase_string },
+        "literal-string" => -> { Type::Combinator.literal_string },
+        "non-empty-literal-string" => -> { Type::Combinator.non_empty_literal_string }
       }.freeze
       private_constant :REGISTRY
 

data/lib/rigor/cache/rbs_class_ancestor_table.rb

@@ -0,0 +1,63 @@
+# frozen_string_literal: true
+
+require_relative "rbs_descriptor"
+
+module Rigor
+  module Cache
+    # Cache producer that materialises the RBS-declared ancestor
+    # chain of every loaded class / module into a Marshal-clean
+    # `Hash<String, Array<String>>`. Ancestor names are top-level-
+    # stripped (e.g. `"Integer"` not `"::Integer"`) to match
+    # `Environment::RbsHierarchy#normalize_name`.
+    #
+    # The hierarchy is the substrate behind every `class_ordering`
+    # query, which is itself a hot path on the dispatcher (overload
+    # selection, narrowing, etc.). Building one ancestor chain
+    # requires a full `RBS::DefinitionBuilder#build_instance` over
+    # that class — a cold-cost dominated by RBS's own resolution
+    # work. Caching the table lets a warm process skip the build
+    # entirely and pay only a `Marshal.load` of the resulting
+    # hash.
+    #
+    # Cache descriptor shape is shared with every other cache
+    # producer that depends on the RBS environment — see
+    # {RbsDescriptor.build}.
+    class RbsClassAncestorTable
+      PRODUCER_ID = "rbs.class_ancestor_table"
+
+      # @param loader [Rigor::Environment::RbsLoader]
+      # @param store [Rigor::Cache::Store]
+      # @return [Hash{String => Array<String>}]
+      def self.fetch(loader:, store:)
+        descriptor = RbsDescriptor.build(loader)
+        store.fetch_or_compute(producer_id: PRODUCER_ID, params: {}, descriptor: descriptor) do
+          compute(loader)
+        end
+      end
+
+      def self.compute(loader)
+        table = {}
+        loader.each_known_class_name do |name|
+          key = name.delete_prefix("::")
+          ancestors = ancestors_for(loader, key)
+          table[key] = ancestors unless ancestors.nil?
+        end
+        table
+      end
+
+      def self.ancestors_for(loader, class_name)
+        definition = loader.instance_definition(class_name)
+        return nil if definition.nil?
+
+        definition.ancestors.ancestors
+                  .map { |ancestor| ancestor.name.to_s.delete_prefix("::") }
+                  .uniq
+                  .freeze
+      rescue StandardError
+        nil
+      end
+
+      private_class_method :compute, :ancestors_for
+    end
+  end
+end

data/lib/rigor/cache/rbs_class_type_param_names.rb

@@ -0,0 +1,60 @@
+# frozen_string_literal: true
+
+require_relative "rbs_descriptor"
+
+module Rigor
+  module Cache
+    # Cache producer that materialises every loaded class's
+    # RBS-declared type-parameter names as a Marshal-clean
+    # `Hash<String, Array<Symbol>>` keyed by top-level-stripped
+    # class name (e.g. `"Array"` → `[:Elem]`, `"Hash"` →
+    # `[:K, :V]`). Producer id `"rbs.class_type_param_names"`.
+    #
+    # The dispatcher reads type-parameter names every time it
+    # builds a substitution map from a receiver's `type_args`
+    # into a method's return type — it is one of the hottest
+    # reflection lookups during analysis. Building one entry
+    # requires a full `RBS::DefinitionBuilder#build_instance`
+    # over that class, the same expensive operation
+    # {RbsClassAncestorTable} caches; the two producers share
+    # the build cost when populated together.
+    #
+    # Cache descriptor shape is shared with every other cache
+    # producer that depends on the RBS environment — see
+    # {RbsDescriptor.build}.
+    class RbsClassTypeParamNames
+      PRODUCER_ID = "rbs.class_type_param_names"
+
+      # @param loader [Rigor::Environment::RbsLoader]
+      # @param store [Rigor::Cache::Store]
+      # @return [Hash{String => Array<Symbol>}]
+      def self.fetch(loader:, store:)
+        descriptor = RbsDescriptor.build(loader)
+        store.fetch_or_compute(producer_id: PRODUCER_ID, params: {}, descriptor: descriptor) do
+          compute(loader)
+        end
+      end
+
+      def self.compute(loader)
+        table = {}
+        loader.each_known_class_name do |name|
+          key = name.delete_prefix("::")
+          params = type_params_for(loader, key)
+          table[key] = params unless params.nil?
+        end
+        table
+      end
+
+      def self.type_params_for(loader, class_name)
+        definition = loader.instance_definition(class_name)
+        return nil if definition.nil?
+
+        definition.type_params.dup.freeze
+      rescue StandardError
+        nil
+      end
+
+      private_class_method :compute, :type_params_for
+    end
+  end
+end