rigortype 0.4.7 → 0.4.8

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.4.7
+  version: 0.4.8
 platform: ruby
 authors:
 - Rigor contributors
@@ -307,6 +307,7 @@ files:
 - data/builtins/ruby_core/struct.yml
 - data/builtins/ruby_core/time.yml
 - data/capability_roles/capability_roles.rbs
+- data/core_overlay/bigdecimal.rbs
 - data/core_overlay/csv.rbs
 - data/core_overlay/enumerable.rbs
 - data/core_overlay/enumerator.rbs
@@ -335,6 +336,7 @@ files:
 - data/effects/core.yml
 - data/effects/registry.yml
 - data/gem_overlay/activesupport/core_ext.rbs
+- data/gem_overlay/addressable/addressable.rbs
 - data/vendored_gem_sigs/ast/ast.rbs
 - data/vendored_gem_sigs/bcrypt/bcrypt.rbs
 - data/vendored_gem_sigs/bundler/bundler.rbs
@@ -445,7 +447,9 @@ files:
 - lib/rigor/analysis/baseline.rb
 - lib/rigor/analysis/buffer_binding.rb
 - lib/rigor/analysis/check_rules.rb
+- lib/rigor/analysis/check_rules/always_raises_shield.rb
 - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
+- lib/rigor/analysis/check_rules/call_facts.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
@@ -455,10 +459,12 @@ files:
 - 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/plugin_api_surface.rb
 - lib/rigor/analysis/check_rules/published_constant_guard.rb
 - lib/rigor/analysis/check_rules/rbs_receiver_surface.rb
 - lib/rigor/analysis/check_rules/rebinding_block_callees.rb
 - lib/rigor/analysis/check_rules/rebinding_block_callees/dispatch.rb
+- lib/rigor/analysis/check_rules/replaced_singleton_defs.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
@@ -695,6 +701,11 @@ files:
 - lib/rigor/flow_contribution/merger.rb
 - lib/rigor/hashing/xxh3.rb
 - lib/rigor/inference/acceptance.rb
+- lib/rigor/inference/alias_mutation_floor.rb
+- lib/rigor/inference/alias_mutation_floor/foreign_locals.rb
+- lib/rigor/inference/alias_mutation_floor/memos.rb
+- lib/rigor/inference/alias_mutation_floor/reach.rb
+- lib/rigor/inference/alias_mutation_floor/site_collector.rb
 - lib/rigor/inference/anonymous_meta_class.rb
 - lib/rigor/inference/block_auto_splat.rb
 - lib/rigor/inference/block_call_timing.rb
@@ -727,6 +738,7 @@ files:
 - lib/rigor/inference/callee_mutation_chain.rb
 - lib/rigor/inference/callee_write_census.rb
 - lib/rigor/inference/captured_locals.rb
+- lib/rigor/inference/census_foreign_block.rb
 - lib/rigor/inference/clause_widening.rb
 - lib/rigor/inference/closure_escape_analyzer.rb
 - lib/rigor/inference/construction_escape.rb
@@ -788,7 +800,6 @@ files:
 - 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
@@ -798,14 +809,18 @@ files:
 - 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/class_keyed_block_params.rb
 - lib/rigor/inference/method_dispatcher/constant_folding.rb
 - lib/rigor/inference/method_dispatcher/contested_overloads.rb
+- lib/rigor/inference/method_dispatcher/core_enumerable_receiver.rb
 - lib/rigor/inference/method_dispatcher/data_folding.rb
+- lib/rigor/inference/method_dispatcher/declared_constructor.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/imprecise_argument.rb
 - lib/rigor/inference/method_dispatcher/integer_step_block_params.rb
+- lib/rigor/inference/method_dispatcher/interface_shape.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
@@ -831,6 +846,7 @@ files:
 - lib/rigor/inference/method_dispatcher/shellwords_folding.rb
 - lib/rigor/inference/method_dispatcher/singleton_folding.rb
 - lib/rigor/inference/method_dispatcher/singleton_mixin_dispatch.rb
+- lib/rigor/inference/method_dispatcher/singleton_type_params.rb
 - lib/rigor/inference/method_dispatcher/splat_arity.rb
 - lib/rigor/inference/method_dispatcher/struct_folding.rb
 - lib/rigor/inference/method_dispatcher/struct_materialization.rb
@@ -867,6 +883,8 @@ files:
 - lib/rigor/inference/rbs_type_translator.rb
 - lib/rigor/inference/receiver_alias.rb
 - lib/rigor/inference/receiver_blind_block.rb
+- lib/rigor/inference/receiver_writer_call.rb
+- lib/rigor/inference/recursion_rebinding.rb
 - lib/rigor/inference/refine_census.rb
 - lib/rigor/inference/refine_self.rb
 - lib/rigor/inference/refined_dispatch.rb
@@ -896,6 +914,7 @@ files:
 - 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/self_preserving_block.rb
 - lib/rigor/inference/set_mutation.rb
 - lib/rigor/inference/singleton_external_ahead.rb
 - lib/rigor/inference/singleton_hook_decline.rb
@@ -937,6 +956,10 @@ files:
 - lib/rigor/language_server/uri.rb
 - lib/rigor/lens.rb
 - lib/rigor/lens/anchor.rb
+- lib/rigor/lens/claims.rb
+- lib/rigor/lens/claims/comparison.rb
+- lib/rigor/lens/claims/request.rb
+- lib/rigor/lens/claims/type_reader.rb
 - lib/rigor/lens/contract_reader.rb
 - lib/rigor/lens/document.rb
 - lib/rigor/lens/file_reader.rb
@@ -945,9 +968,11 @@ files:
 - lib/rigor/lens/plugins.rb
 - lib/rigor/lens/run.rb
 - lib/rigor/lens/slot.rb
+- lib/rigor/library_probe.rb
 - lib/rigor/mcp.rb
 - lib/rigor/mcp/loop.rb
 - lib/rigor/mcp/server.rb
+- lib/rigor/memo_audit.rb
 - lib/rigor/plugin.rb
 - lib/rigor/plugin/access_denied_error.rb
 - lib/rigor/plugin/additional_initializer.rb
@@ -1003,6 +1028,9 @@ files:
 - lib/rigor/reflection.rb
 - lib/rigor/reflection/constant_ancestors.rb
 - lib/rigor/reflection/constant_path.rb
+- lib/rigor/reflection/declaration_collectors.rb
+- lib/rigor/reflection/declarations.rb
+- lib/rigor/reflection/project_method.rb
 - lib/rigor/rooted_glob.rb
 - lib/rigor/run_scoped_slots.rb
 - lib/rigor/runtime/jit.rb
@@ -1012,6 +1040,7 @@ files:
 - lib/rigor/scope/resolution_chain/relevance.rb
 - lib/rigor/sig_gen.rb
 - lib/rigor/sig_gen/alias_index.rb
+- lib/rigor/sig_gen/bot_proposal_guard.rb
 - lib/rigor/sig_gen/classification.rb
 - lib/rigor/sig_gen/declaration_equivalence.rb
 - lib/rigor/sig_gen/effect_annotation.rb
@@ -1024,6 +1053,7 @@ files:
 - lib/rigor/sig_gen/observation_collector.rb
 - lib/rigor/sig_gen/observed_call.rb
 - lib/rigor/sig_gen/path_mapper.rb
+- lib/rigor/sig_gen/platform_guarded_files.rb
 - lib/rigor/sig_gen/rbs_validity.rb
 - lib/rigor/sig_gen/renderer.rb
 - lib/rigor/sig_gen/skip_reason_catalog.rb
@@ -1037,6 +1067,7 @@ files:
 - lib/rigor/source.rb
 - lib/rigor/source/alias_names.rb
 - lib/rigor/source/constant_path.rb
+- lib/rigor/source/forwardable_delegators.rb
 - lib/rigor/source/literals.rb
 - lib/rigor/source/node_children.rb
 - lib/rigor/source/node_locator.rb
@@ -1064,6 +1095,7 @@ files:
 - lib/rigor/type/float_range.rb
 - lib/rigor/type/hash_shape.rb
 - lib/rigor/type/integer_range.rb
+- lib/rigor/type/interface.rb
 - lib/rigor/type/intersection.rb
 - lib/rigor/type/maybe.rb
 - lib/rigor/type/nominal.rb
@@ -1087,6 +1119,10 @@ files:
 - lib/rigor/type_node/string_literal.rb
 - lib/rigor/type_node/symbol_literal.rb
 - lib/rigor/type_node/union.rb
+- lib/rigor/type_of_memo.rb
+- lib/rigor/type_of_memo/serving.rb
+- lib/rigor/type_of_memo/stats.rb
+- lib/rigor/typing_state.rb
 - lib/rigor/value_semantics.rb
 - lib/rigor/version.rb
 - lib/rigortype.rb
@@ -1302,6 +1338,7 @@ files:
 - sig/rigor/analysis/baseline.rbs
 - sig/rigor/analysis/check_rules/always_truthy_condition_collector.rbs
 - sig/rigor/analysis/check_rules/dead_assignment_collector.rbs
+- sig/rigor/analysis/check_rules/rule_walk.rbs
 - sig/rigor/analysis/dependency_source_inference/gem_resolver.rbs
 - sig/rigor/analysis/dependency_source_inference/index.rbs
 - sig/rigor/analysis/fact_store.rbs
@@ -1309,6 +1346,7 @@ files:
 - sig/rigor/analysis/reachability/scan_cache.rbs
 - sig/rigor/ast.rbs
 - sig/rigor/cache.rbs
+- sig/rigor/cache/descriptor.rbs
 - sig/rigor/cli/diff_command.rbs
 - sig/rigor/cli/explain_command.rbs
 - sig/rigor/cli/sig_gen_command.rbs
@@ -1342,10 +1380,12 @@ files:
 - sig/rigor/plugin/effect_edge.rbs
 - sig/rigor/plugin/effect_entry_points.rbs
 - sig/rigor/plugin/fact_store.rbs
+- sig/rigor/plugin/interfaces.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/node_context.rbs
 - sig/rigor/plugin/protocol_contract.rbs
 - sig/rigor/plugin/registry.rbs
 - sig/rigor/plugin/services.rbs
@@ -1386,6 +1426,12 @@ files:
 - skills/rigor-project-init/references/05-jit-performance.md
 - skills/rigor-project-init/references/06-agent-contract.md
 - skills/rigor-protection-uplift/SKILL.md
+- skills/rigor-rbs-contract/SKILL.md
+- skills/rigor-rbs-contract/references/01-finding-candidates.md
+- skills/rigor-rbs-contract/references/02-contract-rules.md
+- skills/rigor-rbs-contract/references/03-target-own-code.md
+- skills/rigor-rbs-contract/references/04-target-gem-rbs-collection.md
+- skills/rigor-rbs-contract/references/05-declaration-mutants.md
 - skills/rigor-rbs-setup/SKILL.md
 - skills/rigor-type-oracle/SKILL.md
 - skills/rigor-type-oracle/references/01-oracle-commands.md

data/lib/rigor/inference/memo_audit.rb

@@ -1,55 +0,0 @@
-# frozen_string_literal: true
-
-module Rigor
-  module Inference
-    # ADR-127 WD3 — the callee floor's memo audit. A memo hit is correct only when the key holds every input the value
-    # was computed from, and a key that misses one answers a caller with another caller's value (#2516, #2524). With the
-    # audit on, every hit in the callee floor's memos (`resolved_census`, the unrecorded hand-off memo, the successor
-    # store and `def_census`) recomputes the value and raises {Mismatch} when it differs from the stored one, so a key
-    # defect fails on the first hit instead of waiting for an order that exposes it.
-    #
-    # Like {BudgetTrace}, a switch for specs and CI (`RIGOR_MEMO_AUDIT=1` in the environment, read once at load, or
-    # {enable!}): off by default, a single boolean check when off. A recomputation
-    # runs with the audit suspended on its thread and the memos bypassed ({suspended?}), so it reads nothing stored.
-    module MemoAudit
-      # A memo hit whose stored value differs from a fresh computation.
-      class Mismatch < StandardError; end
-
-      SUSPENDED_KEY = :rigor_memo_audit_suspended
-
-      @enabled = %w[1 true].include?(ENV["RIGOR_MEMO_AUDIT"].to_s.downcase)
-
-      module_function
-
-      def enabled? = @enabled
-
-      # True while an audit recomputation runs on this thread. The callee floor's memos are then bypassed (read and
-      # write), so the recomputation reads no stored entry of another memo: a defect shared across a table (a stale
-      # `resolved_census(:edges)` entry) would otherwise make the recomputed value match the stored one.
-      def suspended? = Thread.current[SUSPENDED_KEY]
-
-      def enable! = (@enabled = true)
-
-      def disable! = (@enabled = false)
-
-      # `stored`, after checking it against `yield` when the audit is on. `label` and the key parts (`key`, `key2`) name
-      # the memo entry in the failure; they are passed apart so an audit that is off allocates nothing.
-      def check(label, stored, key, key2 = nil, &)
-        return stored unless @enabled && !Thread.current[SUSPENDED_KEY]
-
-        fresh = suspended(&)
-        return stored if fresh == stored
-
-        raise Mismatch, "#{label} memo hit differs from a fresh computation for #{[key, key2].inspect[0, 120]}: " \
-                        "stored #{stored.inspect[0, 200]}, fresh #{fresh.inspect[0, 200]}"
-      end
-
-      def suspended
-        Thread.current[SUSPENDED_KEY] = true
-        yield
-      ensure
-        Thread.current[SUSPENDED_KEY] = nil
-      end
-    end
-  end
-end