rigortype 0.3.9 → 0.4.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- checksums.yaml +4 -4
- data/README.md +2 -2
- data/data/core_overlay/enumerable.rbs +51 -0
- data/data/core_overlay/enumerator.rbs +84 -0
- data/data/core_overlay/hash_rbs3.rbs +41 -0
- data/data/core_overlay/process.rbs +40 -0
- data/data/core_overlay/string_io.rbs +33 -0
- data/data/effects/core.yml +3 -3
- data/data/gem_overlay/activesupport/core_ext.rbs +127 -4
- data/docs/handbook/03-narrowing.md +95 -10
- data/docs/handbook/04-tuples-and-shapes.md +8 -6
- data/docs/handbook/07-rbs-and-extended.md +16 -11
- data/docs/handbook/10-sorbet.md +9 -10
- data/docs/handbook/11-sig-gen.md +454 -13
- data/docs/manual/02-cli-reference.md +63 -2
- data/docs/manual/03-configuration.md +7 -0
- data/docs/manual/04-diagnostics.md +4 -0
- data/docs/manual/07-plugins.md +1 -1
- data/docs/manual/10-mcp-server.md +3 -2
- data/docs/manual/16-rbs-extended-annotations.md +40 -7
- data/docs/manual/19-effect-labels.md +10 -0
- data/docs/manual/plugins/README.md +7 -0
- data/docs/manual/plugins/rigor-actioncable.md +8 -1
- data/docs/manual/plugins/rigor-actionmailer.md +7 -0
- data/docs/manual/plugins/rigor-actionpack.md +243 -0
- data/docs/manual/plugins/rigor-active-model-serializers.md +153 -0
- data/docs/manual/plugins/rigor-activejob.md +7 -0
- data/docs/manual/plugins/rigor-activerecord.md +110 -4
- data/docs/manual/plugins/rigor-activestorage.md +8 -1
- data/docs/manual/plugins/rigor-activesupport-core-ext.md +11 -5
- data/docs/manual/plugins/rigor-grape.md +106 -0
- data/docs/manual/plugins/rigor-graphql.md +23 -2
- data/docs/manual/plugins/rigor-pundit.md +8 -1
- data/docs/manual/plugins/rigor-rails-i18n.md +10 -5
- data/docs/manual/plugins/rigor-rails-routes.md +7 -0
- data/docs/manual/plugins/rigor-rbs-inline.md +212 -25
- data/docs/manual/plugins/rigor-sidekiq.md +8 -1
- data/docs/manual/plugins/rigor-sorbet.md +21 -5
- data/exe/rigor +19 -4
- data/lib/rigor/analysis/baseline.rb +1 -1
- data/lib/rigor/analysis/check_rules/declaration_sourced_guard.rb +167 -2
- data/lib/rigor/analysis/check_rules/lexical_method_sites.rb +189 -0
- data/lib/rigor/analysis/check_rules/main_pass_collector.rb +5 -3
- data/lib/rigor/analysis/check_rules/rule_ids.rb +20 -5
- data/lib/rigor/analysis/check_rules/rule_walk.rb +2 -1
- data/lib/rigor/analysis/check_rules/source_arity.rb +323 -0
- data/lib/rigor/analysis/check_rules/special_global_setters.rb +146 -0
- data/lib/rigor/analysis/check_rules/unreachable_clause_collector.rb +36 -2
- data/lib/rigor/analysis/check_rules.rb +520 -49
- data/lib/rigor/analysis/dependency_recorder.rb +23 -0
- data/lib/rigor/analysis/fact_store.rb +9 -0
- data/lib/rigor/analysis/incremental.rb +26 -0
- data/lib/rigor/analysis/incremental_session.rb +36 -4
- data/lib/rigor/analysis/project_scan.rb +11 -1
- data/lib/rigor/analysis/reachability/plugin_roots.rb +0 -1
- data/lib/rigor/analysis/reachability/scan_cache.rb +1 -0
- data/lib/rigor/analysis/rule_catalog.rb +127 -0
- data/lib/rigor/analysis/run_cache_key.rb +20 -11
- data/lib/rigor/analysis/runner/diagnostic_aggregator.rb +167 -11
- data/lib/rigor/analysis/runner/effect_envelope_pass.rb +9 -4
- data/lib/rigor/analysis/runner/pool_coordinator.rb +107 -15
- data/lib/rigor/analysis/runner/project_pre_passes.rb +26 -7
- data/lib/rigor/analysis/runner.rb +278 -20
- data/lib/rigor/analysis/template_unit_collector.rb +303 -0
- data/lib/rigor/analysis/template_unit_paths.rb +91 -0
- data/lib/rigor/analysis/template_unit_positions.rb +293 -0
- data/lib/rigor/analysis/template_units.rb +399 -0
- data/lib/rigor/analysis/worker_session.rb +53 -10
- data/lib/rigor/bleeding_edge.rb +0 -2
- data/lib/rigor/builtins/hkt_builtins.rb +1 -0
- data/lib/rigor/builtins/imported_refinements.rb +4 -0
- data/lib/rigor/builtins/regex_refinement.rb +17 -9
- data/lib/rigor/builtins/static_return_refinements.rb +2 -0
- data/lib/rigor/cache/descriptor.rb +6 -1
- data/lib/rigor/cache/engine_source.rb +29 -1
- data/lib/rigor/cache/incremental_snapshot.rb +33 -1
- data/lib/rigor/cache/rbs_cache_producer.rb +4 -0
- data/lib/rigor/cache/rbs_descriptor.rb +37 -7
- data/lib/rigor/cache/store.rb +0 -1
- data/lib/rigor/ci_detector.rb +1 -0
- data/lib/rigor/cli/doc_links.rb +1 -1
- data/lib/rigor/cli/docs_command.rb +4 -4
- data/lib/rigor/cli/plugin_command.rb +3 -3
- data/lib/rigor/cli/prism_colorizer.rb +0 -1
- data/lib/rigor/cli/sig_gen_command.rb +210 -29
- data/lib/rigor/cli/skill_command.rb +1 -1
- data/lib/rigor/cli/skill_describe.rb +0 -1
- data/lib/rigor/cli/type_of_command.rb +19 -5
- data/lib/rigor/cli/type_of_renderer.rb +20 -9
- data/lib/rigor/cli/type_of_template_probe.rb +189 -0
- data/lib/rigor/cli.rb +21 -3
- data/lib/rigor/configuration/severity_profile.rb +19 -3
- data/lib/rigor/configuration.rb +66 -3
- data/lib/rigor/effects/ancestry_recorder.rb +191 -0
- data/lib/rigor/effects/attribution.rb +11 -2
- data/lib/rigor/effects/callee_rule.rb +368 -0
- data/lib/rigor/effects/catalog.rb +7 -4
- data/lib/rigor/effects/collector.rb +11 -5
- data/lib/rigor/effects/config_envelopes.rb +9 -2
- data/lib/rigor/effects/definition_context.rb +179 -0
- data/lib/rigor/effects/effect_table.rb +11 -3
- data/lib/rigor/effects/envelope_check.rb +1 -1
- data/lib/rigor/effects/envelope_index.rb +15 -0
- data/lib/rigor/effects/file_collection.rb +59 -5
- data/lib/rigor/effects/framework_units.rb +1 -1
- data/lib/rigor/effects/identity.rb +16 -0
- data/lib/rigor/effects/local_ownership.rb +38 -12
- data/lib/rigor/effects/method_key.rb +21 -0
- data/lib/rigor/effects/mutation_classifier.rb +23 -12
- data/lib/rigor/effects/plugin_facts.rb +43 -31
- data/lib/rigor/effects/propagator.rb +295 -16
- data/lib/rigor/effects/registry.rb +1 -1
- data/lib/rigor/effects/scanner.rb +121 -72
- data/lib/rigor/effects/signature_sources.rb +1 -1
- data/lib/rigor/effects/snapshot.rb +2 -1
- data/lib/rigor/effects/summary.rb +27 -4
- data/lib/rigor/effects/unit_scan.rb +385 -30
- data/lib/rigor/effects/visibility.rb +101 -0
- data/lib/rigor/environment/lockfile_resolver.rb +17 -0
- data/lib/rigor/environment/member_consistency/comparator.rb +708 -0
- data/lib/rigor/environment/member_consistency.rb +298 -0
- data/lib/rigor/environment/rbs_loader.rb +399 -133
- data/lib/rigor/environment.rb +103 -38
- data/lib/rigor/hashing/xxh3.rb +264 -0
- data/lib/rigor/inference/acceptance.rb +139 -9
- data/lib/rigor/inference/block_auto_splat.rb +216 -0
- data/lib/rigor/inference/block_call_timing.rb +338 -0
- data/lib/rigor/inference/block_parameter_binder.rb +73 -27
- data/lib/rigor/inference/block_repetition.rb +71 -0
- data/lib/rigor/inference/body_fixpoint.rb +2 -1
- data/lib/rigor/inference/budget_trace.rb +2 -1
- data/lib/rigor/inference/builtins/method_catalog.rb +2 -1
- data/lib/rigor/inference/builtins/string_catalog.rb +1 -1
- data/lib/rigor/inference/captured_locals.rb +387 -15
- data/lib/rigor/inference/closure_escape_analyzer.rb +157 -13
- data/lib/rigor/inference/content_join.rb +200 -27
- data/lib/rigor/inference/def_return_typer.rb +11 -7
- data/lib/rigor/inference/define_method_block_self.rb +64 -0
- data/lib/rigor/inference/element_read_widening.rb +22 -10
- data/lib/rigor/inference/error_info.rb +196 -0
- data/lib/rigor/inference/expression_typer.rb +1532 -496
- data/lib/rigor/inference/external_ancestor_resolution.rb +267 -0
- data/lib/rigor/inference/fresh_frame_blocks.rb +127 -0
- data/lib/rigor/inference/global_write_census.rb +239 -0
- data/lib/rigor/inference/guard_rebinding.rb +447 -0
- data/lib/rigor/inference/hash_lookup_mutation.rb +88 -0
- data/lib/rigor/inference/index_write_widening.rb +16 -3
- data/lib/rigor/inference/indexed_narrowing.rb +61 -9
- data/lib/rigor/inference/jump_targets.rb +82 -0
- data/lib/rigor/inference/last_line/implicit_self.rb +210 -0
- data/lib/rigor/inference/last_line/self_evidence.rb +329 -0
- data/lib/rigor/inference/last_line.rb +340 -0
- data/lib/rigor/inference/last_status.rb +144 -0
- data/lib/rigor/inference/macro_block_self_type.rb +167 -17
- data/lib/rigor/inference/match_rebinding/calls.rb +281 -0
- data/lib/rigor/inference/match_rebinding/frame.rb +148 -0
- data/lib/rigor/inference/match_rebinding/operands.rb +236 -0
- data/lib/rigor/inference/match_rebinding/self_calls.rb +83 -0
- data/lib/rigor/inference/match_rebinding.rb +392 -0
- data/lib/rigor/inference/method_dispatcher/alias_strict_nominals.rb +36 -0
- data/lib/rigor/inference/method_dispatcher/block_folding.rb +85 -24
- data/lib/rigor/inference/method_dispatcher/facet_distribution.rb +147 -0
- data/lib/rigor/inference/method_dispatcher/hash_transform_keys_folding.rb +191 -0
- data/lib/rigor/inference/method_dispatcher/iterator_dispatch.rb +4 -0
- data/lib/rigor/inference/method_dispatcher/match_data_folding.rb +159 -0
- data/lib/rigor/inference/method_dispatcher/overload_selector.rb +113 -73
- data/lib/rigor/inference/method_dispatcher/process_folding.rb +56 -0
- data/lib/rigor/inference/method_dispatcher/proven_overload.rb +72 -0
- data/lib/rigor/inference/method_dispatcher/rbs_dispatch.rb +881 -38
- data/lib/rigor/inference/method_dispatcher/self_substitute.rb +142 -0
- data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +128 -53
- data/lib/rigor/inference/method_dispatcher/struct_folding.rb +1 -1
- data/lib/rigor/inference/method_dispatcher.rb +214 -13
- data/lib/rigor/inference/method_parameter_binder.rb +8 -3
- data/lib/rigor/inference/multi_target_binder.rb +340 -52
- data/lib/rigor/inference/mutation_rejoin.rb +4 -1
- data/lib/rigor/inference/mutation_widening.rb +70 -48
- data/lib/rigor/inference/narrowing.rb +540 -120
- data/lib/rigor/inference/operand_effects.rb +167 -0
- data/lib/rigor/inference/operand_walk.rb +88 -0
- data/lib/rigor/inference/optimistic_origin.rb +152 -9
- data/lib/rigor/inference/parameter_inference_collector.rb +3 -2
- data/lib/rigor/inference/project_method_ownership.rb +136 -0
- data/lib/rigor/inference/project_patched_methods.rb +7 -2
- data/lib/rigor/inference/project_patched_scanner.rb +7 -3
- data/lib/rigor/inference/receiver_alias.rb +90 -1
- data/lib/rigor/inference/receiver_blind_block.rb +219 -0
- data/lib/rigor/inference/refinement_mutation.rb +15 -11
- data/lib/rigor/inference/repeated_or_writes.rb +463 -0
- data/lib/rigor/inference/return_barrier.rb +54 -0
- data/lib/rigor/inference/rewrite_mutation.rb +120 -0
- data/lib/rigor/inference/scope_indexer.rb +4615 -551
- data/lib/rigor/inference/statement_evaluator.rb +3176 -490
- data/lib/rigor/inference/stored_block_call.rb +54 -0
- data/lib/rigor/inference/string_mutation.rb +44 -7
- data/lib/rigor/inference/unknown_store_widening.rb +200 -0
- data/lib/rigor/inference/unthreaded_rebinds.rb +282 -0
- data/lib/rigor/language_server/debouncer.rb +0 -1
- data/lib/rigor/language_server/diagnostic_publisher.rb +3 -2
- data/lib/rigor/language_server/hover_renderer.rb +3 -3
- data/lib/rigor/language_server/project_context.rb +5 -3
- data/lib/rigor/mcp/server.rb +2 -1
- data/lib/rigor/plugin/base.rb +168 -5
- data/lib/rigor/plugin/box_probe.rb +91 -0
- data/lib/rigor/plugin/bundled_catalog.rb +1 -1
- data/lib/rigor/plugin/effect_attribution.rb +58 -4
- data/lib/rigor/plugin/loader.rb +2 -1
- data/lib/rigor/plugin/macro/block_as_method.rb +45 -6
- data/lib/rigor/plugin/manifest.rb +71 -10
- data/lib/rigor/plugin/registry.rb +35 -1
- data/lib/rigor/plugin/source_rbs_synthesis_reporter.rb +9 -3
- data/lib/rigor/plugin/template_unit.rb +196 -0
- data/lib/rigor/plugin.rb +1 -0
- data/lib/rigor/protection/discovery_seed.rb +3 -1
- data/lib/rigor/protection/kill_signature.rb +0 -1
- data/lib/rigor/protection/mutation_cache.rb +1 -2
- data/lib/rigor/rbs_extended.rb +27 -0
- data/lib/rigor/reflection/constant_ancestors.rb +97 -0
- data/lib/rigor/reflection/constant_path.rb +19 -6
- data/lib/rigor/reflection.rb +72 -105
- data/lib/rigor/scope/discovery_index.rb +135 -2
- data/lib/rigor/scope.rb +859 -49
- data/lib/rigor/sig_gen/alias_index.rb +289 -0
- data/lib/rigor/sig_gen/classification.rb +22 -5
- data/lib/rigor/sig_gen/declaration_equivalence.rb +127 -0
- data/lib/rigor/sig_gen/effect_annotation.rb +202 -0
- data/lib/rigor/sig_gen/generator.rb +558 -31
- data/lib/rigor/sig_gen/inline_declarations.rb +184 -0
- data/lib/rigor/sig_gen/method_candidate.rb +47 -3
- data/lib/rigor/sig_gen/observation_collector.rb +1 -1
- data/lib/rigor/sig_gen/renderer.rb +124 -9
- data/lib/rigor/sig_gen/skip_reason_catalog.rb +44 -1
- data/lib/rigor/sig_gen/write_result.rb +19 -3
- data/lib/rigor/sig_gen/writer.rb +166 -35
- data/lib/rigor/sig_gen.rb +3 -0
- data/lib/rigor/signature_path_audit.rb +1 -1
- data/lib/rigor/source/node_walker.rb +0 -3
- data/lib/rigor/source/parameter_envelope.rb +72 -0
- data/lib/rigor/source.rb +1 -0
- data/lib/rigor/type/combinator.rb +88 -12
- data/lib/rigor/type/difference.rb +1 -0
- data/lib/rigor/type/hash_shape.rb +1 -1
- data/lib/rigor/type/refined.rb +1 -0
- data/lib/rigor/version.rb +1 -1
- data/lib/rigor.rb +1 -0
- data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable/effects.rb +1 -0
- data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable.rb +9 -5
- data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer.rb +13 -4
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/analyzer.rb +0 -1
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_scan.rb +96 -0
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/effects.rb +65 -8
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/erb_compiler.rb +270 -0
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/render_locals.rb +402 -0
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/view_assigns.rb +370 -0
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/view_units.rb +132 -0
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack.rb +239 -4
- data/plugins/rigor-actionpack/sig/action_view.rbs +43 -0
- data/plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers/serializer_discoverer.rb +220 -0
- data/plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers/serializer_index.rb +56 -0
- data/plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers.rb +263 -0
- data/plugins/rigor-active-model-serializers/lib/rigor-active-model-serializers.rb +7 -0
- data/plugins/rigor-active-model-serializers/sig/active_model_serializers.rbs +45 -0
- data/plugins/rigor-activejob/lib/rigor/plugin/activejob/effects.rb +1 -0
- data/plugins/rigor-activejob/lib/rigor/plugin/activejob.rb +9 -5
- data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/analyzer.rb +35 -3
- data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/effects.rb +72 -12
- data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_discoverer.rb +380 -3
- data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_index.rb +14 -6
- data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord.rb +281 -35
- data/plugins/rigor-activerecord/sig/active_record/relation.rbs +206 -31
- data/plugins/rigor-activestorage/lib/rigor/plugin/activestorage.rb +25 -14
- data/plugins/rigor-activesupport-core-ext/lib/rigor/plugin/activesupport_core_ext/effects.rb +9 -2
- data/plugins/rigor-activesupport-core-ext/sig/active_support/core_ext.rbs +171 -5
- data/plugins/rigor-dry-monads/lib/rigor/plugin/dry_monads.rb +2 -0
- data/plugins/rigor-ethon/lib/rigor/plugin/ethon.rb +1 -0
- data/plugins/rigor-ffi/lib/rigor/plugin/ffi/types.rb +1 -1
- data/plugins/rigor-grape/lib/rigor/plugin/grape.rb +141 -0
- data/plugins/rigor-grape/lib/rigor-grape.rb +6 -0
- data/plugins/rigor-grape/sig/grape.rbs +263 -0
- data/plugins/rigor-graphql/lib/rigor/plugin/graphql.rb +72 -2
- data/plugins/rigor-graphql/sig/graphql.rbs +485 -0
- data/plugins/rigor-minitest/lib/rigor/plugin/minitest/assertion_analyzer.rb +2 -0
- data/plugins/rigor-pundit/lib/rigor/plugin/pundit.rb +11 -7
- data/plugins/rigor-rails-i18n/lib/rigor/plugin/rails_i18n.rb +35 -37
- data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/analyzer.rb +0 -1
- data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/devise_routes.rb +2 -0
- data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/doorkeeper_routes.rb +1 -0
- data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes.rb +9 -17
- data/plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline/same_line_annotations.rb +149 -0
- data/plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline.rb +217 -36
- data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq/schedule_scan.rb +1 -0
- data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq.rb +9 -5
- data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet/sigil_detector.rb +0 -1
- data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet.rb +46 -1
- data/plugins/rigor-sorbet/sig/sorbet.rbs +277 -0
- data/sig/rigor/analysis/baseline.rbs +69 -7
- data/sig/rigor/analysis/fact_store.rbs +1 -1
- data/sig/rigor/analysis/project_scan.rbs +74 -0
- data/sig/rigor/effects/config_envelopes.rbs +100 -0
- data/sig/rigor/effects/effect_table.rbs +60 -0
- data/sig/rigor/effects/envelope.rbs +97 -0
- data/sig/rigor/effects/envelope_index.rbs +33 -0
- data/sig/rigor/effects/file_collection.rbs +81 -0
- data/sig/rigor/effects/label.rbs +26 -0
- data/sig/rigor/effects/label_set.rbs +46 -0
- data/sig/rigor/effects/method_key.rbs +24 -0
- data/sig/rigor/effects/origin.rbs +50 -0
- data/sig/rigor/effects/plugin_facts.rbs +141 -0
- data/sig/rigor/effects/registry.rbs +68 -0
- data/sig/rigor/effects/summary.rbs +50 -0
- data/sig/rigor/effects/taint_cause.rbs +12 -0
- data/sig/rigor/environment.rbs +12 -10
- data/sig/rigor/inference/optimistic_origin.rbs +10 -0
- data/sig/rigor/inference.rbs +6 -4
- data/sig/rigor/plugin/additional_initializer.rbs +36 -0
- data/sig/rigor/plugin/base.rbs +30 -7
- data/sig/rigor/plugin/effect_ancestry.rbs +27 -0
- data/sig/rigor/plugin/effect_attribution.rbs +66 -0
- data/sig/rigor/plugin/effect_edge.rbs +33 -0
- data/sig/rigor/plugin/effect_entry_points.rbs +25 -0
- data/sig/rigor/plugin/io_boundary.rbs +1 -1
- data/sig/rigor/plugin/loader.rbs +3 -3
- data/sig/rigor/plugin/manifest.rbs +50 -11
- data/sig/rigor/plugin/protocol_contract.rbs +68 -0
- data/sig/rigor/plugin/registry.rbs +62 -1
- data/sig/rigor/plugin.rbs +1 -1
- data/sig/rigor/rbs_extended.rbs +1 -1
- data/sig/rigor/reflection.rbs +7 -6
- data/sig/rigor/scope.rbs +135 -20
- data/sig/rigor/sig_gen/skip_reason_catalog.rbs +14 -7
- data/sig/rigor/source.rbs +4 -4
- data/sig/rigor/testing.rbs +10 -4
- data/sig/rigor/type.rbs +6 -0
- data/sig/rigor.rbs +38 -20
- data/skills/rigor-ask/SKILL.md +8 -5
- data/skills/rigor-baseline-reduce/SKILL.md +4 -6
- data/skills/rigor-ci-setup/SKILL.md +17 -21
- data/skills/rigor-doctor/SKILL.md +24 -22
- data/skills/rigor-doctor/references/01-checks.md +97 -33
- data/skills/rigor-editor-setup/SKILL.md +6 -4
- data/skills/rigor-mcp-setup/SKILL.md +5 -4
- data/skills/rigor-monkeypatch-resolve/SKILL.md +5 -3
- data/skills/rigor-next-steps/SKILL.md +4 -2
- data/skills/rigor-plugin-author/SKILL.md +19 -23
- data/skills/rigor-plugin-author/references/01-plan-and-scaffold.md +9 -8
- data/skills/rigor-plugin-author/references/02-walker-and-types.md +12 -25
- data/skills/rigor-plugin-author/references/03-test-and-ship.md +6 -8
- data/skills/rigor-plugin-review/SKILL.md +6 -4
- data/skills/rigor-plugin-review/references/01-best-practices-checklist.md +2 -1
- data/skills/rigor-plugin-tune/SKILL.md +4 -2
- data/skills/rigor-project-init/SKILL.md +9 -7
- data/skills/rigor-project-init/references/01-detect.md +13 -9
- data/skills/rigor-project-init/references/02-configure.md +33 -8
- data/skills/rigor-project-init/references/03-baseline-and-bugs.md +14 -14
- data/skills/rigor-project-init/references/04-sig-uplift.md +27 -14
- data/skills/rigor-protection-uplift/SKILL.md +4 -6
- data/skills/rigor-rbs-setup/SKILL.md +4 -2
- data/skills/rigor-type-oracle/SKILL.md +4 -6
- data/skills/rigor-type-oracle/references/01-oracle-commands.md +12 -8
- data/skills/rigor-type-oracle/references/03-gap-protocol.md +0 -3
- data/skills/rigor-unused-adjudicate/SKILL.md +4 -2
- data/skills/rigor-upgrade/SKILL.md +13 -8
- metadata +108 -1
metadata
CHANGED
|
@@ -1,7 +1,7 @@
|
|
|
1
1
|
--- !ruby/object:Gem::Specification
|
|
2
2
|
name: rigortype
|
|
3
3
|
version: !ruby/object:Gem::Version
|
|
4
|
-
version: 0.
|
|
4
|
+
version: 0.4.0
|
|
5
5
|
platform: ruby
|
|
6
6
|
authors:
|
|
7
7
|
- Rigor contributors
|
|
@@ -308,10 +308,15 @@ files:
|
|
|
308
308
|
- data/builtins/ruby_core/time.yml
|
|
309
309
|
- data/capability_roles/capability_roles.rbs
|
|
310
310
|
- data/core_overlay/csv.rbs
|
|
311
|
+
- data/core_overlay/enumerable.rbs
|
|
312
|
+
- data/core_overlay/enumerator.rbs
|
|
313
|
+
- data/core_overlay/hash_rbs3.rbs
|
|
311
314
|
- data/core_overlay/numeric.rbs
|
|
312
315
|
- data/core_overlay/pathname.rbs
|
|
316
|
+
- data/core_overlay/process.rbs
|
|
313
317
|
- data/core_overlay/psych.rbs
|
|
314
318
|
- data/core_overlay/resolv.rbs
|
|
319
|
+
- data/core_overlay/string_io.rbs
|
|
315
320
|
- data/core_overlay/string_scanner.rbs
|
|
316
321
|
- data/effects/core.yml
|
|
317
322
|
- data/effects/registry.yml
|
|
@@ -388,6 +393,7 @@ files:
|
|
|
388
393
|
- docs/manual/plugins/rigor-actioncable.md
|
|
389
394
|
- docs/manual/plugins/rigor-actionmailer.md
|
|
390
395
|
- docs/manual/plugins/rigor-actionpack.md
|
|
396
|
+
- docs/manual/plugins/rigor-active-model-serializers.md
|
|
391
397
|
- docs/manual/plugins/rigor-activejob.md
|
|
392
398
|
- docs/manual/plugins/rigor-activerecord.md
|
|
393
399
|
- docs/manual/plugins/rigor-activestorage.md
|
|
@@ -398,6 +404,7 @@ files:
|
|
|
398
404
|
- docs/manual/plugins/rigor-dry-types.md
|
|
399
405
|
- docs/manual/plugins/rigor-dry-validation.md
|
|
400
406
|
- docs/manual/plugins/rigor-factorybot.md
|
|
407
|
+
- docs/manual/plugins/rigor-grape.md
|
|
401
408
|
- docs/manual/plugins/rigor-graphql.md
|
|
402
409
|
- docs/manual/plugins/rigor-hanami.md
|
|
403
410
|
- docs/manual/plugins/rigor-mangrove.md
|
|
@@ -427,6 +434,7 @@ files:
|
|
|
427
434
|
- lib/rigor/analysis/check_rules/duplicate_hash_key_collector.rb
|
|
428
435
|
- lib/rigor/analysis/check_rules/inferred_param_guard.rb
|
|
429
436
|
- lib/rigor/analysis/check_rules/ivar_write_collector.rb
|
|
437
|
+
- lib/rigor/analysis/check_rules/lexical_method_sites.rb
|
|
430
438
|
- lib/rigor/analysis/check_rules/main_pass_collector.rb
|
|
431
439
|
- lib/rigor/analysis/check_rules/published_constant_guard.rb
|
|
432
440
|
- lib/rigor/analysis/check_rules/return_in_ensure_collector.rb
|
|
@@ -434,6 +442,8 @@ files:
|
|
|
434
442
|
- lib/rigor/analysis/check_rules/rule_walk.rb
|
|
435
443
|
- lib/rigor/analysis/check_rules/self_closedness_scanner.rb
|
|
436
444
|
- lib/rigor/analysis/check_rules/shadowed_rescue_collector.rb
|
|
445
|
+
- lib/rigor/analysis/check_rules/source_arity.rb
|
|
446
|
+
- lib/rigor/analysis/check_rules/special_global_setters.rb
|
|
437
447
|
- lib/rigor/analysis/check_rules/unreachable_clause_collector.rb
|
|
438
448
|
- lib/rigor/analysis/check_rules/void_value_use_collector.rb
|
|
439
449
|
- lib/rigor/analysis/crash_signature.rb
|
|
@@ -477,6 +487,10 @@ files:
|
|
|
477
487
|
- lib/rigor/analysis/runner/run_snapshots.rb
|
|
478
488
|
- lib/rigor/analysis/self_call_resolution_recorder.rb
|
|
479
489
|
- lib/rigor/analysis/severity_stamp.rb
|
|
490
|
+
- lib/rigor/analysis/template_unit_collector.rb
|
|
491
|
+
- lib/rigor/analysis/template_unit_paths.rb
|
|
492
|
+
- lib/rigor/analysis/template_unit_positions.rb
|
|
493
|
+
- lib/rigor/analysis/template_units.rb
|
|
480
494
|
- lib/rigor/analysis/worker_session.rb
|
|
481
495
|
- lib/rigor/ast.rb
|
|
482
496
|
- lib/rigor/ast/type_node.rb
|
|
@@ -553,6 +567,7 @@ files:
|
|
|
553
567
|
- lib/rigor/cli/triage_renderer.rb
|
|
554
568
|
- lib/rigor/cli/type_of_command.rb
|
|
555
569
|
- lib/rigor/cli/type_of_renderer.rb
|
|
570
|
+
- lib/rigor/cli/type_of_template_probe.rb
|
|
556
571
|
- lib/rigor/cli/type_scan_command.rb
|
|
557
572
|
- lib/rigor/cli/type_scan_renderer.rb
|
|
558
573
|
- lib/rigor/cli/type_scan_report.rb
|
|
@@ -564,10 +579,13 @@ files:
|
|
|
564
579
|
- lib/rigor/configuration/severity_profile.rb
|
|
565
580
|
- lib/rigor/configuration_error.rb
|
|
566
581
|
- lib/rigor/effects.rb
|
|
582
|
+
- lib/rigor/effects/ancestry_recorder.rb
|
|
567
583
|
- lib/rigor/effects/attribution.rb
|
|
584
|
+
- lib/rigor/effects/callee_rule.rb
|
|
568
585
|
- lib/rigor/effects/catalog.rb
|
|
569
586
|
- lib/rigor/effects/collector.rb
|
|
570
587
|
- lib/rigor/effects/config_envelopes.rb
|
|
588
|
+
- lib/rigor/effects/definition_context.rb
|
|
571
589
|
- lib/rigor/effects/definition_lines.rb
|
|
572
590
|
- lib/rigor/effects/discharge.rb
|
|
573
591
|
- lib/rigor/effects/effect_table.rb
|
|
@@ -601,6 +619,7 @@ files:
|
|
|
601
619
|
- lib/rigor/effects/unit_scan.rb
|
|
602
620
|
- lib/rigor/effects/unknown_label_check.rb
|
|
603
621
|
- lib/rigor/effects/unknown_label_report.rb
|
|
622
|
+
- lib/rigor/effects/visibility.rb
|
|
604
623
|
- lib/rigor/environment.rb
|
|
605
624
|
- lib/rigor/environment/bundle_sig_discovery.rb
|
|
606
625
|
- lib/rigor/environment/class_registry.rb
|
|
@@ -610,6 +629,8 @@ files:
|
|
|
610
629
|
- lib/rigor/environment/hkt_registry_holder.rb
|
|
611
630
|
- lib/rigor/environment/installed_gem_set.rb
|
|
612
631
|
- lib/rigor/environment/lockfile_resolver.rb
|
|
632
|
+
- lib/rigor/environment/member_consistency.rb
|
|
633
|
+
- lib/rigor/environment/member_consistency/comparator.rb
|
|
613
634
|
- lib/rigor/environment/missing_gem_constant_index.rb
|
|
614
635
|
- lib/rigor/environment/rbs_collection_discovery.rb
|
|
615
636
|
- lib/rigor/environment/rbs_coverage_report.rb
|
|
@@ -623,9 +644,13 @@ files:
|
|
|
623
644
|
- lib/rigor/flow_contribution/fact.rb
|
|
624
645
|
- lib/rigor/flow_contribution/merge_result.rb
|
|
625
646
|
- lib/rigor/flow_contribution/merger.rb
|
|
647
|
+
- lib/rigor/hashing/xxh3.rb
|
|
626
648
|
- lib/rigor/inference/acceptance.rb
|
|
627
649
|
- lib/rigor/inference/anonymous_meta_class.rb
|
|
650
|
+
- lib/rigor/inference/block_auto_splat.rb
|
|
651
|
+
- lib/rigor/inference/block_call_timing.rb
|
|
628
652
|
- lib/rigor/inference/block_parameter_binder.rb
|
|
653
|
+
- lib/rigor/inference/block_repetition.rb
|
|
629
654
|
- lib/rigor/inference/body_fixpoint.rb
|
|
630
655
|
- lib/rigor/inference/budget_trace.rb
|
|
631
656
|
- lib/rigor/inference/builtins/array_catalog.rb
|
|
@@ -655,13 +680,20 @@ files:
|
|
|
655
680
|
- lib/rigor/inference/def_handle.rb
|
|
656
681
|
- lib/rigor/inference/def_node_resolver.rb
|
|
657
682
|
- lib/rigor/inference/def_return_typer.rb
|
|
683
|
+
- lib/rigor/inference/define_method_block_self.rb
|
|
658
684
|
- lib/rigor/inference/dynamic_origin.rb
|
|
659
685
|
- lib/rigor/inference/element_read_widening.rb
|
|
686
|
+
- lib/rigor/inference/error_info.rb
|
|
660
687
|
- lib/rigor/inference/expression_typer.rb
|
|
688
|
+
- lib/rigor/inference/external_ancestor_resolution.rb
|
|
661
689
|
- lib/rigor/inference/fallback.rb
|
|
662
690
|
- lib/rigor/inference/fallback_tracer.rb
|
|
663
691
|
- lib/rigor/inference/flow_tracer.rb
|
|
664
692
|
- lib/rigor/inference/fork_map.rb
|
|
693
|
+
- lib/rigor/inference/fresh_frame_blocks.rb
|
|
694
|
+
- lib/rigor/inference/global_write_census.rb
|
|
695
|
+
- lib/rigor/inference/guard_rebinding.rb
|
|
696
|
+
- lib/rigor/inference/hash_lookup_mutation.rb
|
|
665
697
|
- lib/rigor/inference/hkt_body.rb
|
|
666
698
|
- lib/rigor/inference/hkt_body_parser.rb
|
|
667
699
|
- lib/rigor/inference/hkt_reducer.rb
|
|
@@ -669,28 +701,45 @@ files:
|
|
|
669
701
|
- lib/rigor/inference/hkt_sugar_translator.rb
|
|
670
702
|
- lib/rigor/inference/index_write_widening.rb
|
|
671
703
|
- lib/rigor/inference/indexed_narrowing.rb
|
|
704
|
+
- lib/rigor/inference/jump_targets.rb
|
|
705
|
+
- lib/rigor/inference/last_line.rb
|
|
706
|
+
- lib/rigor/inference/last_line/implicit_self.rb
|
|
707
|
+
- lib/rigor/inference/last_line/self_evidence.rb
|
|
708
|
+
- lib/rigor/inference/last_status.rb
|
|
672
709
|
- lib/rigor/inference/macro_block_self_type.rb
|
|
710
|
+
- lib/rigor/inference/match_rebinding.rb
|
|
711
|
+
- lib/rigor/inference/match_rebinding/calls.rb
|
|
712
|
+
- lib/rigor/inference/match_rebinding/frame.rb
|
|
713
|
+
- lib/rigor/inference/match_rebinding/operands.rb
|
|
714
|
+
- lib/rigor/inference/match_rebinding/self_calls.rb
|
|
673
715
|
- lib/rigor/inference/method_dispatcher.rb
|
|
716
|
+
- lib/rigor/inference/method_dispatcher/alias_strict_nominals.rb
|
|
674
717
|
- lib/rigor/inference/method_dispatcher/array_to_h_folding.rb
|
|
675
718
|
- lib/rigor/inference/method_dispatcher/block_folding.rb
|
|
676
719
|
- lib/rigor/inference/method_dispatcher/call_context.rb
|
|
677
720
|
- lib/rigor/inference/method_dispatcher/cgi_folding.rb
|
|
678
721
|
- lib/rigor/inference/method_dispatcher/constant_folding.rb
|
|
679
722
|
- lib/rigor/inference/method_dispatcher/data_folding.rb
|
|
723
|
+
- lib/rigor/inference/method_dispatcher/facet_distribution.rb
|
|
680
724
|
- lib/rigor/inference/method_dispatcher/file_folding.rb
|
|
725
|
+
- lib/rigor/inference/method_dispatcher/hash_transform_keys_folding.rb
|
|
681
726
|
- lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
|
|
682
727
|
- lib/rigor/inference/method_dispatcher/json_folding.rb
|
|
683
728
|
- lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
|
|
684
729
|
- lib/rigor/inference/method_dispatcher/literal_string_folding.rb
|
|
730
|
+
- lib/rigor/inference/method_dispatcher/match_data_folding.rb
|
|
685
731
|
- lib/rigor/inference/method_dispatcher/math_folding.rb
|
|
686
732
|
- lib/rigor/inference/method_dispatcher/member_shape_projection.rb
|
|
687
733
|
- lib/rigor/inference/method_dispatcher/method_folding.rb
|
|
688
734
|
- lib/rigor/inference/method_dispatcher/overload_selector.rb
|
|
735
|
+
- lib/rigor/inference/method_dispatcher/process_folding.rb
|
|
736
|
+
- lib/rigor/inference/method_dispatcher/proven_overload.rb
|
|
689
737
|
- lib/rigor/inference/method_dispatcher/random_folding.rb
|
|
690
738
|
- lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
|
|
691
739
|
- lib/rigor/inference/method_dispatcher/receiver_affinity.rb
|
|
692
740
|
- lib/rigor/inference/method_dispatcher/reduce_folding.rb
|
|
693
741
|
- lib/rigor/inference/method_dispatcher/regexp_folding.rb
|
|
742
|
+
- lib/rigor/inference/method_dispatcher/self_substitute.rb
|
|
694
743
|
- lib/rigor/inference/method_dispatcher/set_folding.rb
|
|
695
744
|
- lib/rigor/inference/method_dispatcher/shape_dispatch.rb
|
|
696
745
|
- lib/rigor/inference/method_dispatcher/shellwords_folding.rb
|
|
@@ -706,26 +755,36 @@ files:
|
|
|
706
755
|
- lib/rigor/inference/mutation_rejoin.rb
|
|
707
756
|
- lib/rigor/inference/mutation_widening.rb
|
|
708
757
|
- lib/rigor/inference/narrowing.rb
|
|
758
|
+
- lib/rigor/inference/operand_effects.rb
|
|
759
|
+
- lib/rigor/inference/operand_walk.rb
|
|
709
760
|
- lib/rigor/inference/optimistic_origin.rb
|
|
710
761
|
- lib/rigor/inference/origin_lookup.rb
|
|
711
762
|
- lib/rigor/inference/parameter_inference_collector.rb
|
|
712
763
|
- lib/rigor/inference/pre_eval_constants.rb
|
|
713
764
|
- lib/rigor/inference/precision_scanner.rb
|
|
765
|
+
- lib/rigor/inference/project_method_ownership.rb
|
|
714
766
|
- lib/rigor/inference/project_patched_methods.rb
|
|
715
767
|
- lib/rigor/inference/project_patched_scanner.rb
|
|
716
768
|
- lib/rigor/inference/protection_scanner.rb
|
|
717
769
|
- lib/rigor/inference/range_constant.rb
|
|
718
770
|
- lib/rigor/inference/rbs_type_translator.rb
|
|
719
771
|
- lib/rigor/inference/receiver_alias.rb
|
|
772
|
+
- lib/rigor/inference/receiver_blind_block.rb
|
|
720
773
|
- lib/rigor/inference/refinement_mutation.rb
|
|
774
|
+
- lib/rigor/inference/repeated_or_writes.rb
|
|
775
|
+
- lib/rigor/inference/return_barrier.rb
|
|
776
|
+
- lib/rigor/inference/rewrite_mutation.rb
|
|
721
777
|
- lib/rigor/inference/scope_indexer.rb
|
|
722
778
|
- lib/rigor/inference/singleton_object_constant.rb
|
|
723
779
|
- lib/rigor/inference/statement_evaluator.rb
|
|
780
|
+
- lib/rigor/inference/stored_block_call.rb
|
|
724
781
|
- lib/rigor/inference/string_mutation.rb
|
|
725
782
|
- lib/rigor/inference/struct_fold_safety.rb
|
|
726
783
|
- lib/rigor/inference/synthetic_method.rb
|
|
727
784
|
- lib/rigor/inference/synthetic_method_index.rb
|
|
728
785
|
- lib/rigor/inference/synthetic_method_scanner.rb
|
|
786
|
+
- lib/rigor/inference/unknown_store_widening.rb
|
|
787
|
+
- lib/rigor/inference/unthreaded_rebinds.rb
|
|
729
788
|
- lib/rigor/inference/version_guard.rb
|
|
730
789
|
- lib/rigor/inference/void_origin.rb
|
|
731
790
|
- lib/rigor/inference/void_tail_summary.rb
|
|
@@ -757,6 +816,7 @@ files:
|
|
|
757
816
|
- lib/rigor/plugin/base.rb
|
|
758
817
|
- lib/rigor/plugin/blueprint.rb
|
|
759
818
|
- lib/rigor/plugin/box.rb
|
|
819
|
+
- lib/rigor/plugin/box_probe.rb
|
|
760
820
|
- lib/rigor/plugin/bundled_catalog.rb
|
|
761
821
|
- lib/rigor/plugin/effect_ancestry.rb
|
|
762
822
|
- lib/rigor/plugin/effect_attribution.rb
|
|
@@ -781,6 +841,7 @@ files:
|
|
|
781
841
|
- lib/rigor/plugin/registry.rb
|
|
782
842
|
- lib/rigor/plugin/services.rb
|
|
783
843
|
- lib/rigor/plugin/source_rbs_synthesis_reporter.rb
|
|
844
|
+
- lib/rigor/plugin/template_unit.rb
|
|
784
845
|
- lib/rigor/plugin/trust_policy.rb
|
|
785
846
|
- lib/rigor/plugin/type_node_resolver.rb
|
|
786
847
|
- lib/rigor/plugin_gap_advisory.rb
|
|
@@ -802,13 +863,18 @@ files:
|
|
|
802
863
|
- lib/rigor/rbs_extended/hkt_directives.rb
|
|
803
864
|
- lib/rigor/rbs_extended/reporter.rb
|
|
804
865
|
- lib/rigor/reflection.rb
|
|
866
|
+
- lib/rigor/reflection/constant_ancestors.rb
|
|
805
867
|
- lib/rigor/reflection/constant_path.rb
|
|
806
868
|
- lib/rigor/runtime/jit.rb
|
|
807
869
|
- lib/rigor/scope.rb
|
|
808
870
|
- lib/rigor/scope/discovery_index.rb
|
|
809
871
|
- lib/rigor/sig_gen.rb
|
|
872
|
+
- lib/rigor/sig_gen/alias_index.rb
|
|
810
873
|
- lib/rigor/sig_gen/classification.rb
|
|
874
|
+
- lib/rigor/sig_gen/declaration_equivalence.rb
|
|
875
|
+
- lib/rigor/sig_gen/effect_annotation.rb
|
|
811
876
|
- lib/rigor/sig_gen/generator.rb
|
|
877
|
+
- lib/rigor/sig_gen/inline_declarations.rb
|
|
812
878
|
- lib/rigor/sig_gen/layout_index.rb
|
|
813
879
|
- lib/rigor/sig_gen/meta_class_shape.rb
|
|
814
880
|
- lib/rigor/sig_gen/method_candidate.rb
|
|
@@ -829,6 +895,7 @@ files:
|
|
|
829
895
|
- lib/rigor/source/node_children.rb
|
|
830
896
|
- lib/rigor/source/node_locator.rb
|
|
831
897
|
- lib/rigor/source/node_walker.rb
|
|
898
|
+
- lib/rigor/source/parameter_envelope.rb
|
|
832
899
|
- lib/rigor/testing.rb
|
|
833
900
|
- lib/rigor/triage.rb
|
|
834
901
|
- lib/rigor/triage/catalogue.rb
|
|
@@ -893,8 +960,19 @@ files:
|
|
|
893
960
|
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/analyzer.rb
|
|
894
961
|
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_discoverer.rb
|
|
895
962
|
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_index.rb
|
|
963
|
+
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_scan.rb
|
|
896
964
|
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/effects.rb
|
|
965
|
+
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/erb_compiler.rb
|
|
966
|
+
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/render_locals.rb
|
|
967
|
+
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/view_assigns.rb
|
|
968
|
+
- plugins/rigor-actionpack/lib/rigor/plugin/actionpack/view_units.rb
|
|
897
969
|
- plugins/rigor-actionpack/sig/action_controller.rbs
|
|
970
|
+
- plugins/rigor-actionpack/sig/action_view.rbs
|
|
971
|
+
- plugins/rigor-active-model-serializers/lib/rigor-active-model-serializers.rb
|
|
972
|
+
- plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers.rb
|
|
973
|
+
- plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers/serializer_discoverer.rb
|
|
974
|
+
- plugins/rigor-active-model-serializers/lib/rigor/plugin/active_model_serializers/serializer_index.rb
|
|
975
|
+
- plugins/rigor-active-model-serializers/sig/active_model_serializers.rbs
|
|
898
976
|
- plugins/rigor-activejob/lib/rigor-activejob.rb
|
|
899
977
|
- plugins/rigor-activejob/lib/rigor/plugin/activejob.rb
|
|
900
978
|
- plugins/rigor-activejob/lib/rigor/plugin/activejob/analyzer.rb
|
|
@@ -961,9 +1039,13 @@ files:
|
|
|
961
1039
|
- plugins/rigor-ffi/lib/rigor/plugin/ffi/target_detector.rb
|
|
962
1040
|
- plugins/rigor-ffi/lib/rigor/plugin/ffi/types.rb
|
|
963
1041
|
- plugins/rigor-ffi/sig/ffi.rbs
|
|
1042
|
+
- plugins/rigor-grape/lib/rigor-grape.rb
|
|
1043
|
+
- plugins/rigor-grape/lib/rigor/plugin/grape.rb
|
|
1044
|
+
- plugins/rigor-grape/sig/grape.rbs
|
|
964
1045
|
- plugins/rigor-graphql/lib/rigor-graphql.rb
|
|
965
1046
|
- plugins/rigor-graphql/lib/rigor/plugin/graphql.rb
|
|
966
1047
|
- plugins/rigor-graphql/lib/rigor/plugin/graphql/type_scanner.rb
|
|
1048
|
+
- plugins/rigor-graphql/sig/graphql.rbs
|
|
967
1049
|
- plugins/rigor-hanami/lib/rigor-hanami.rb
|
|
968
1050
|
- plugins/rigor-hanami/lib/rigor/plugin/hanami.rb
|
|
969
1051
|
- plugins/rigor-hanami/lib/rigor/plugin/hanami/action_checker.rb
|
|
@@ -1004,6 +1086,7 @@ files:
|
|
|
1004
1086
|
- plugins/rigor-rbnacl/sig/rbnacl.rbs
|
|
1005
1087
|
- plugins/rigor-rbs-inline/lib/rigor-rbs-inline.rb
|
|
1006
1088
|
- plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline.rb
|
|
1089
|
+
- plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline/same_line_annotations.rb
|
|
1007
1090
|
- plugins/rigor-rspec-rails/lib/rigor-rspec-rails.rb
|
|
1008
1091
|
- plugins/rigor-rspec-rails/lib/rigor/plugin/rspec_rails.rb
|
|
1009
1092
|
- plugins/rigor-rspec-rails/lib/rigor/plugin/rspec_rails/have_http_status_analyzer.rb
|
|
@@ -1040,6 +1123,7 @@ files:
|
|
|
1040
1123
|
- plugins/rigor-sorbet/lib/rigor/plugin/sorbet/sig_parser.rb
|
|
1041
1124
|
- plugins/rigor-sorbet/lib/rigor/plugin/sorbet/sigil_detector.rb
|
|
1042
1125
|
- plugins/rigor-sorbet/lib/rigor/plugin/sorbet/type_translator.rb
|
|
1126
|
+
- plugins/rigor-sorbet/sig/sorbet.rbs
|
|
1043
1127
|
- plugins/rigor-statesman/lib/rigor-statesman.rb
|
|
1044
1128
|
- plugins/rigor-statesman/lib/rigor/plugin/statesman.rb
|
|
1045
1129
|
- plugins/rigor-typescript-utility-types/lib/rigor-typescript-utility-types.rb
|
|
@@ -1052,6 +1136,7 @@ files:
|
|
|
1052
1136
|
- sig/rigor/analysis/dependency_source_inference/gem_resolver.rbs
|
|
1053
1137
|
- sig/rigor/analysis/dependency_source_inference/index.rbs
|
|
1054
1138
|
- sig/rigor/analysis/fact_store.rbs
|
|
1139
|
+
- sig/rigor/analysis/project_scan.rbs
|
|
1055
1140
|
- sig/rigor/analysis/reachability/scan_cache.rbs
|
|
1056
1141
|
- sig/rigor/ast.rbs
|
|
1057
1142
|
- sig/rigor/cache.rbs
|
|
@@ -1059,20 +1144,40 @@ files:
|
|
|
1059
1144
|
- sig/rigor/cli/explain_command.rbs
|
|
1060
1145
|
- sig/rigor/cli/sig_gen_command.rbs
|
|
1061
1146
|
- sig/rigor/cli/type_scan_command.rbs
|
|
1147
|
+
- sig/rigor/effects/config_envelopes.rbs
|
|
1148
|
+
- sig/rigor/effects/effect_table.rbs
|
|
1149
|
+
- sig/rigor/effects/envelope.rbs
|
|
1150
|
+
- sig/rigor/effects/envelope_index.rbs
|
|
1151
|
+
- sig/rigor/effects/file_collection.rbs
|
|
1152
|
+
- sig/rigor/effects/label.rbs
|
|
1153
|
+
- sig/rigor/effects/label_set.rbs
|
|
1154
|
+
- sig/rigor/effects/method_key.rbs
|
|
1155
|
+
- sig/rigor/effects/origin.rbs
|
|
1156
|
+
- sig/rigor/effects/plugin_facts.rbs
|
|
1157
|
+
- sig/rigor/effects/registry.rbs
|
|
1158
|
+
- sig/rigor/effects/summary.rbs
|
|
1159
|
+
- sig/rigor/effects/taint_cause.rbs
|
|
1062
1160
|
- sig/rigor/environment.rbs
|
|
1063
1161
|
- sig/rigor/inference.rbs
|
|
1064
1162
|
- sig/rigor/inference/builtins.rbs
|
|
1065
1163
|
- sig/rigor/inference/builtins/method_catalog.rbs
|
|
1164
|
+
- sig/rigor/inference/optimistic_origin.rbs
|
|
1066
1165
|
- sig/rigor/inference/void_origin.rbs
|
|
1067
1166
|
- sig/rigor/plugin.rbs
|
|
1068
1167
|
- sig/rigor/plugin/access_denied_error.rbs
|
|
1168
|
+
- sig/rigor/plugin/additional_initializer.rbs
|
|
1069
1169
|
- sig/rigor/plugin/base.rbs
|
|
1070
1170
|
- sig/rigor/plugin/blueprint.rbs
|
|
1171
|
+
- sig/rigor/plugin/effect_ancestry.rbs
|
|
1172
|
+
- sig/rigor/plugin/effect_attribution.rbs
|
|
1173
|
+
- sig/rigor/plugin/effect_edge.rbs
|
|
1174
|
+
- sig/rigor/plugin/effect_entry_points.rbs
|
|
1071
1175
|
- sig/rigor/plugin/fact_store.rbs
|
|
1072
1176
|
- sig/rigor/plugin/io_boundary.rbs
|
|
1073
1177
|
- sig/rigor/plugin/load_error.rbs
|
|
1074
1178
|
- sig/rigor/plugin/loader.rbs
|
|
1075
1179
|
- sig/rigor/plugin/manifest.rbs
|
|
1180
|
+
- sig/rigor/plugin/protocol_contract.rbs
|
|
1076
1181
|
- sig/rigor/plugin/registry.rbs
|
|
1077
1182
|
- sig/rigor/plugin/services.rbs
|
|
1078
1183
|
- sig/rigor/plugin/trust_policy.rbs
|
|
@@ -1141,6 +1246,7 @@ require_paths:
|
|
|
1141
1246
|
- plugins/rigor-actioncable/lib
|
|
1142
1247
|
- plugins/rigor-actionmailer/lib
|
|
1143
1248
|
- plugins/rigor-actionpack/lib
|
|
1249
|
+
- plugins/rigor-active-model-serializers/lib
|
|
1144
1250
|
- plugins/rigor-activejob/lib
|
|
1145
1251
|
- plugins/rigor-activerecord/lib
|
|
1146
1252
|
- plugins/rigor-activestorage/lib
|
|
@@ -1155,6 +1261,7 @@ require_paths:
|
|
|
1155
1261
|
- plugins/rigor-factorybot/lib
|
|
1156
1262
|
- plugins/rigor-ffi/lib
|
|
1157
1263
|
- plugins/rigor-ffi-rzmq/lib
|
|
1264
|
+
- plugins/rigor-grape/lib
|
|
1158
1265
|
- plugins/rigor-graphql/lib
|
|
1159
1266
|
- plugins/rigor-hanami/lib
|
|
1160
1267
|
- plugins/rigor-mangrove/lib
|