rigortype 0.3.8 → 0.4.0

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.3.8
+  version: 0.4.0
 platform: ruby
 authors:
 - Rigor contributors
@@ -306,11 +306,17 @@ files:
 - data/builtins/ruby_core/string.yml
 - data/builtins/ruby_core/struct.yml
 - 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
@@ -387,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
@@ -397,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
@@ -426,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
@@ -433,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
@@ -476,6 +487,10 @@ 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/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
@@ -537,7 +552,6 @@ files:
 - lib/rigor/cli/plugins_command.rb
 - lib/rigor/cli/plugins_renderer.rb
 - lib/rigor/cli/prism_colorizer.rb
-- lib/rigor/cli/probe_environment.rb
 - lib/rigor/cli/protection_fork_scan.rb
 - lib/rigor/cli/protection_renderer.rb
 - lib/rigor/cli/protection_report.rb
@@ -553,6 +567,7 @@ 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
@@ -564,10 +579,13 @@ files:
 - 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 +619,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
@@ -608,7 +627,10 @@ files:
 - lib/rigor/environment/default_libraries.rb
 - lib/rigor/environment/failure_slot.rb
 - 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
@@ -622,9 +644,13 @@ files:
 - 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
@@ -654,12 +680,20 @@ files:
 - 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/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
@@ -667,27 +701,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
@@ -700,25 +752,39 @@ files:
 - lib/rigor/inference/method_dispatcher/uri_folding.rb
 - lib/rigor/inference/method_parameter_binder.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/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
@@ -750,6 +816,8 @@ 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
 - lib/rigor/plugin/effect_edge.rb
@@ -773,8 +841,11 @@ 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
+- lib/rigor/project_environment.rb
 - lib/rigor/protection/analysis_guard.rb
 - lib/rigor/protection/closure_kill_oracle.rb
 - lib/rigor/protection/dependency_closure.rb
@@ -792,12 +863,18 @@ 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/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
@@ -806,6 +883,8 @@ files:
 - lib/rigor/sig_gen/path_mapper.rb
 - lib/rigor/sig_gen/rbs_validity.rb
 - lib/rigor/sig_gen/renderer.rb
+- 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/write_result.rb
 - lib/rigor/sig_gen/writer.rb
@@ -816,6 +895,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
@@ -834,6 +914,7 @@ files:
 - lib/rigor/type/data_instance.rb
 - lib/rigor/type/difference.rb
 - lib/rigor/type/dynamic.rb
+- lib/rigor/type/float_range.rb
 - lib/rigor/type/hash_shape.rb
 - lib/rigor/type/integer_range.rb
 - lib/rigor/type/intersection.rb
@@ -854,6 +935,7 @@ files:
 - lib/rigor/type_node/indexed_access.rb
 - lib/rigor/type_node/integer_literal.rb
 - lib/rigor/type_node/name_scope.rb
+- lib/rigor/type_node/range_literal.rb
 - lib/rigor/type_node/resolver_chain.rb
 - lib/rigor/type_node/string_literal.rb
 - lib/rigor/type_node/symbol_literal.rb
@@ -878,7 +960,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
@@ -895,6 +989,7 @@ files:
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/schema_parser.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/schema_table.rb
 - plugins/rigor-activerecord/lib/rigor/plugin/activerecord/structure_sql_parser.rb
+- plugins/rigor-activerecord/sig/active_record/framework.rbs
 - plugins/rigor-activerecord/sig/active_record/relation.rbs
 - plugins/rigor-activestorage/lib/rigor-activestorage.rb
 - plugins/rigor-activestorage/lib/rigor/plugin/activestorage.rb
@@ -944,9 +1039,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
@@ -987,6 +1086,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
@@ -1023,6 +1123,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
@@ -1035,27 +1136,48 @@ 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
 - sig/rigor/cli/diff_command.rbs
 - 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/builtins/numeric_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
@@ -1063,6 +1185,7 @@ files:
 - sig/rigor/rbs_extended.rbs
 - sig/rigor/reflection.rbs
 - sig/rigor/scope.rbs
+- sig/rigor/sig_gen/skip_reason_catalog.rbs
 - sig/rigor/source.rbs
 - sig/rigor/testing.rbs
 - sig/rigor/trinary.rbs
@@ -1091,8 +1214,13 @@ files:
 - skills/rigor-project-init/references/03-baseline-and-bugs.md
 - skills/rigor-project-init/references/04-sig-uplift.md
 - 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-setup/SKILL.md
+- skills/rigor-type-oracle/SKILL.md
+- skills/rigor-type-oracle/references/01-oracle-commands.md
+- skills/rigor-type-oracle/references/02-agents-md-fragment.md
+- skills/rigor-type-oracle/references/03-gap-protocol.md
 - skills/rigor-unused-adjudicate/SKILL.md
 - skills/rigor-upgrade/SKILL.md
 homepage: https://github.com/rigortype/rigor
@@ -1118,6 +1246,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
@@ -1132,6 +1261,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

data/lib/rigor/cli/probe_environment.rb

@@ -1,85 +0,0 @@
-# frozen_string_literal: true
-
-require_relative "../environment"
-require_relative "../plugin"
-require_relative "../plugin/loader"
-require_relative "../plugin/services"
-require_relative "../reflection"
-require_relative "../type/combinator"
-
-module Rigor
-  class CLI
-    # Shared construction of the analysis-observing environment for the single-shot probe commands
-    # (`type-of`, `type-scan`, `trace`, `annotate`). Each of these answers "what does the engine infer here?"
-    # for a hand-picked file or position, so the environment they type against MUST match the one `rigor check`
-    # analyses with — otherwise a probe reports a type the real run never computes.
-    #
-    # The gap this closes: the probes historically built their environment with
-    # `Environment.for_project(libraries:, signature_paths:)` only — no plugin registry, no `source_files:`. The
-    # `source_rbs_synthesizer` plugin hook (ADR-32 / ADR-93's auto-wired `rigor-rbs-inline`) therefore never
-    # ran there, so a class whose only signature comes from an inline `#: () -> void` annotation typed as
-    # `Dynamic[top]` under a probe while `check` resolved it through the synthesized RBS. That divergence
-    # misattributed a dispatch tier during the #162 transitive-void design pass (see the 2026-07-19 addendum in
-    # docs/adr/100-static-diagnostic-family-and-void-origins.md).
-    #
-    # This threads the two things that were missing — the plugin registry built by the plugin loader, and the
-    # `source_files:` the synthesizers run over — matching `rigor check`'s `Environment.for_project` call
-    # (built in `Analysis::Runner::PoolCoordinator#build_runner_environment`). A probe legitimately simplifies
-    # relative to check: no synthesis-failure reporter (a probe has no diagnostic pipeline) and no synthesis
-    # cache store (a single-position probe recomputes cheaply). Plugin loading itself matches check — same
-    # `.rigor.yml` `plugins:` config, same ADR-93 auto-wire (already applied by `Configuration.load`), same
-    # `enabled:` / `require_magic_comment` semantics via `Plugin::Loader.load`.
-    #
-    # Fail-soft is the invariant: a project with no plugins, an unresolvable plugin gem, or any error during the
-    # plugin-aware build degrades to the bare environment the probes used before — never a crash. `Plugin::Loader`
-    # already isolates per-entry load failures onto the registry; the `rescue` here is the belt-and-suspenders
-    # around anything the loader or the plugin-aware env build itself might raise.
-    module ProbeEnvironment
-      module_function
-
-      # Builds the plugin-aware {Rigor::Environment} a probe types against.
-      #
-      # @param configuration [Rigor::Configuration] the loaded project configuration (already carries the
-      #   ADR-93 auto-wired `rigor-rbs-inline` entry when the library is resolvable).
-      # @param source_files [Array<String>] the file(s) the probe inspects. Threaded so each loaded plugin's
-      #   `source_rbs_synthesizer` runs over them at env-build time; an empty list contributes no synthesized RBS.
-      # @return [Rigor::Environment]
-      def build(configuration:, source_files:)
-        Environment.for_project(
-          libraries: configuration.libraries,
-          signature_paths: configuration.signature_paths,
-          plugin_registry: load_plugin_registry(configuration),
-          source_files: source_files
-        )
-      rescue StandardError
-        bare(configuration)
-      end
-
-      # Loads the project's configured plugins the same way the plugin-inspection commands (`rigor plugins`,
-      # `rigor doctor`) do: a `Plugin::Services` with no cache store (the probe recomputes) driving
-      # `Plugin::Loader.load`. Returns `nil` — so `Environment.for_project` skips the plugin tier entirely —
-      # when the project declares no plugins.
-      def load_plugin_registry(configuration)
-        return nil if configuration.plugins.empty?
-
-        services = Plugin::Services.new(
-          reflection: Reflection,
-          type: Type::Combinator,
-          configuration: configuration,
-          cache_store: nil
-        )
-        Plugin::Loader.load(configuration: configuration, services: services)
-      end
-
-      # The pre-fix environment: RBS + project signatures only, no plugin tier and no synthesized RBS. The
-      # fail-soft floor — a probe on a project with broken or absent plugin setup lands here and behaves exactly
-      # as it did before this parity fix.
-      def bare(configuration)
-        Environment.for_project(
-          libraries: configuration.libraries,
-          signature_paths: configuration.signature_paths
-        )
-      end
-    end
-  end
-end

data/sig/rigor/inference/builtins/numeric_catalog.rbs

@@ -1,3 +0,0 @@
-class Rigor::Inference::Builtins::NumericCatalog
-  def self.reset!: () -> nil
-end