rigortype 0.1.11 → 0.1.13

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.
Files changed (58) hide show
  1. checksums.yaml +4 -4
  2. data/lib/rigor/analysis/check_rules.rb +96 -3
  3. data/lib/rigor/analysis/erb_template_detector.rb +38 -0
  4. data/lib/rigor/analysis/runner.rb +6 -1
  5. data/lib/rigor/analysis/worker_session.rb +6 -1
  6. data/lib/rigor/cli/plugins_command.rb +308 -0
  7. data/lib/rigor/cli/plugins_renderer.rb +173 -0
  8. data/lib/rigor/cli/skill_command.rb +170 -0
  9. data/lib/rigor/cli.rb +37 -1
  10. data/lib/rigor/configuration/severity_profile.rb +3 -0
  11. data/lib/rigor/inference/block_parameter_binder.rb +35 -0
  12. data/lib/rigor/inference/expression_typer.rb +69 -30
  13. data/lib/rigor/inference/indexed_narrowing.rb +187 -0
  14. data/lib/rigor/inference/method_dispatcher/iterator_dispatch.rb +24 -0
  15. data/lib/rigor/inference/method_dispatcher.rb +23 -0
  16. data/lib/rigor/inference/mutation_widening.rb +285 -0
  17. data/lib/rigor/inference/narrowing.rb +72 -4
  18. data/lib/rigor/inference/scope_indexer.rb +409 -12
  19. data/lib/rigor/inference/statement_evaluator.rb +256 -4
  20. data/lib/rigor/scope.rb +195 -4
  21. data/lib/rigor/version.rb +1 -1
  22. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer/analyzer.rb +22 -1
  23. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer/mailer_discoverer.rb +94 -6
  24. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer/mailer_index.rb +11 -1
  25. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer.rb +7 -1
  26. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/analyzer.rb +135 -11
  27. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_discoverer.rb +94 -43
  28. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_index.rb +138 -35
  29. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack.rb +17 -3
  30. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/analyzer.rb +10 -0
  31. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/schema_parser.rb +13 -3
  32. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/schema_table.rb +6 -2
  33. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord.rb +83 -7
  34. data/plugins/rigor-activesupport-core-ext/lib/rigor/plugin/activesupport_core_ext.rb +4 -1
  35. data/plugins/rigor-activesupport-core-ext/sig/active_support/core_ext.rbs +16 -1
  36. data/plugins/rigor-rails-i18n/lib/rigor/plugin/rails_i18n/analyzer.rb +81 -5
  37. data/plugins/rigor-rails-i18n/lib/rigor/plugin/rails_i18n.rb +11 -3
  38. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/analyzer.rb +194 -5
  39. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/devise_routes.rb +264 -0
  40. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/doorkeeper_routes.rb +100 -0
  41. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/helper_discoverer.rb +175 -0
  42. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/helper_table.rb +64 -3
  43. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/routes_parser.rb +1107 -59
  44. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes.rb +81 -4
  45. data/sig/rigor/scope.rbs +23 -0
  46. data/skills/rigor-baseline-reduce/SKILL.md +100 -0
  47. data/skills/rigor-baseline-reduce/references/01-classify.md +107 -0
  48. data/skills/rigor-baseline-reduce/references/02-fix-or-suppress.md +133 -0
  49. data/skills/rigor-plugin-author/SKILL.md +95 -0
  50. data/skills/rigor-plugin-author/references/01-plan-and-scaffold.md +195 -0
  51. data/skills/rigor-plugin-author/references/02-walker-and-types.md +155 -0
  52. data/skills/rigor-plugin-author/references/03-test-and-ship.md +163 -0
  53. data/skills/rigor-project-init/SKILL.md +129 -0
  54. data/skills/rigor-project-init/references/01-detect.md +101 -0
  55. data/skills/rigor-project-init/references/02-configure.md +185 -0
  56. data/skills/rigor-project-init/references/03-baseline-and-bugs.md +168 -0
  57. data/skills/rigor-project-init/references/04-sig-uplift.md +171 -0
  58. metadata +22 -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.1.11
4
+ version: 0.1.13
5
5
  platform: ruby
6
6
  authors:
7
7
  - Rigor contributors
@@ -257,6 +257,7 @@ files:
257
257
  - lib/rigor/analysis/dependency_source_inference/return_type_heuristic.rb
258
258
  - lib/rigor/analysis/dependency_source_inference/walker.rb
259
259
  - lib/rigor/analysis/diagnostic.rb
260
+ - lib/rigor/analysis/erb_template_detector.rb
260
261
  - lib/rigor/analysis/fact_store.rb
261
262
  - lib/rigor/analysis/project_scan.rb
262
263
  - lib/rigor/analysis/result.rb
@@ -290,8 +291,11 @@ files:
290
291
  - lib/rigor/cli/explain_command.rb
291
292
  - lib/rigor/cli/lsp_command.rb
292
293
  - lib/rigor/cli/mcp_command.rb
294
+ - lib/rigor/cli/plugins_command.rb
295
+ - lib/rigor/cli/plugins_renderer.rb
293
296
  - lib/rigor/cli/prism_colorizer.rb
294
297
  - lib/rigor/cli/sig_gen_command.rb
298
+ - lib/rigor/cli/skill_command.rb
295
299
  - lib/rigor/cli/triage_command.rb
296
300
  - lib/rigor/cli/triage_renderer.rb
297
301
  - lib/rigor/cli/type_of_command.rb
@@ -351,6 +355,7 @@ files:
351
355
  - lib/rigor/inference/hkt_body_parser.rb
352
356
  - lib/rigor/inference/hkt_reducer.rb
353
357
  - lib/rigor/inference/hkt_registry.rb
358
+ - lib/rigor/inference/indexed_narrowing.rb
354
359
  - lib/rigor/inference/macro_block_self_type.rb
355
360
  - lib/rigor/inference/method_dispatcher.rb
356
361
  - lib/rigor/inference/method_dispatcher/block_folding.rb
@@ -373,6 +378,7 @@ files:
373
378
  - lib/rigor/inference/method_dispatcher/uri_folding.rb
374
379
  - lib/rigor/inference/method_parameter_binder.rb
375
380
  - lib/rigor/inference/multi_target_binder.rb
381
+ - lib/rigor/inference/mutation_widening.rb
376
382
  - lib/rigor/inference/narrowing.rb
377
383
  - lib/rigor/inference/precision_scanner.rb
378
384
  - lib/rigor/inference/project_patched_methods.rb
@@ -555,6 +561,9 @@ files:
555
561
  - plugins/rigor-rails-routes/lib/rigor-rails-routes.rb
556
562
  - plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes.rb
557
563
  - plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/analyzer.rb
564
+ - plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/devise_routes.rb
565
+ - plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/doorkeeper_routes.rb
566
+ - plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/helper_discoverer.rb
558
567
  - plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/helper_table.rb
559
568
  - plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes/routes_parser.rb
560
569
  - plugins/rigor-rails/lib/rigor-rails.rb
@@ -632,6 +641,18 @@ files:
632
641
  - sig/rigor/testing.rbs
633
642
  - sig/rigor/trinary.rbs
634
643
  - sig/rigor/type.rbs
644
+ - skills/rigor-baseline-reduce/SKILL.md
645
+ - skills/rigor-baseline-reduce/references/01-classify.md
646
+ - skills/rigor-baseline-reduce/references/02-fix-or-suppress.md
647
+ - skills/rigor-plugin-author/SKILL.md
648
+ - skills/rigor-plugin-author/references/01-plan-and-scaffold.md
649
+ - skills/rigor-plugin-author/references/02-walker-and-types.md
650
+ - skills/rigor-plugin-author/references/03-test-and-ship.md
651
+ - skills/rigor-project-init/SKILL.md
652
+ - skills/rigor-project-init/references/01-detect.md
653
+ - skills/rigor-project-init/references/02-configure.md
654
+ - skills/rigor-project-init/references/03-baseline-and-bugs.md
655
+ - skills/rigor-project-init/references/04-sig-uplift.md
635
656
  homepage: https://github.com/rigortype/rigor
636
657
  licenses:
637
658
  - MPL-2.0