rigortype 0.3.7 → 0.3.9

data/skills/rigor-unused-adjudicate/SKILL.md

@@ -31,11 +31,14 @@ and skipping one is how a live class ends up on a deletion list.
 
 Run the report and answer these against the project in front of you.
 
-**Are framework roots actually supplied?** The summary prints
-`roots: N (M from plugins, …)`. On a framework application `0 from plugins`
-means nothing is naming your controllers, jobs or policies, so most of the
-report is noise. Stop and fix the plugin configuration — `rigor docs
-07-plugins` — rather than adjudicating hundreds of rows.
+**Are framework roots actually supplied?** When a plugin contributes roots, the
+summary's `roots:` line grows a parenthetical: `roots: N (M from plugins, K
+matched no declaration)`. The parenthetical is omitted entirely when no plugin
+contributed — so on a framework application, a bare `roots: N` with **no**
+`(… from plugins …)` note means nothing is naming your controllers, jobs or
+policies, and most of the report is noise. Stop and fix the plugin
+configuration — `rigor docs 07-plugins` — rather than adjudicating hundreds of
+rows.
 
 **Does the project ship signatures?** If `signature_paths:` is configured, also
 run with it emptied and compare:

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.3.7
+  version: 0.3.9
 platform: ruby
 authors:
 - Rigor contributors
@@ -306,6 +306,7 @@ 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/numeric.rbs
 - data/core_overlay/pathname.rbs
@@ -485,6 +486,7 @@ files:
 - lib/rigor/builtins/predefined_constant_refinements.rb
 - lib/rigor/builtins/regex_refinement.rb
 - lib/rigor/builtins/static_return_refinements.rb
+- lib/rigor/cache/annotation_location.rb
 - lib/rigor/cache/descriptor.rb
 - lib/rigor/cache/engine_source.rb
 - lib/rigor/cache/file_digest.rb
@@ -536,7 +538,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
@@ -605,7 +606,9 @@ files:
 - lib/rigor/environment/class_registry.rb
 - lib/rigor/environment/constant_type_cache_holder.rb
 - 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/missing_gem_constant_index.rb
 - lib/rigor/environment/rbs_collection_discovery.rb
@@ -653,6 +656,7 @@ files:
 - lib/rigor/inference/def_node_resolver.rb
 - lib/rigor/inference/def_return_typer.rb
 - lib/rigor/inference/dynamic_origin.rb
+- lib/rigor/inference/element_read_widening.rb
 - lib/rigor/inference/expression_typer.rb
 - lib/rigor/inference/fallback.rb
 - lib/rigor/inference/fallback_tracer.rb
@@ -682,6 +686,7 @@ files:
 - 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/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
@@ -698,6 +703,7 @@ 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/optimistic_origin.rb
@@ -708,11 +714,14 @@ files:
 - 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/refinement_mutation.rb
 - lib/rigor/inference/scope_indexer.rb
 - lib/rigor/inference/singleton_object_constant.rb
 - lib/rigor/inference/statement_evaluator.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
@@ -748,6 +757,7 @@ files:
 - lib/rigor/plugin/base.rb
 - lib/rigor/plugin/blueprint.rb
 - lib/rigor/plugin/box.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,6 +783,8 @@ files:
 - lib/rigor/plugin/source_rbs_synthesis_reporter.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
@@ -790,6 +802,7 @@ files:
 - lib/rigor/rbs_extended/hkt_directives.rb
 - lib/rigor/rbs_extended/reporter.rb
 - lib/rigor/reflection.rb
+- lib/rigor/reflection/constant_path.rb
 - lib/rigor/runtime/jit.rb
 - lib/rigor/scope.rb
 - lib/rigor/scope/discovery_index.rb
@@ -804,6 +817,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
@@ -832,6 +847,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
@@ -852,6 +868,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
@@ -877,6 +894,7 @@ files:
 - 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/effects.rb
+- plugins/rigor-actionpack/sig/action_controller.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
@@ -893,6 +911,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
@@ -1033,6 +1052,7 @@ 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/reachability/scan_cache.rbs
 - sig/rigor/ast.rbs
 - sig/rigor/cache.rbs
 - sig/rigor/cli/diff_command.rbs
@@ -1043,7 +1063,6 @@ files:
 - 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/void_origin.rbs
 - sig/rigor/plugin.rbs
 - sig/rigor/plugin/access_denied_error.rbs
@@ -1061,6 +1080,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
@@ -1089,8 +1109,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

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