rigortype 0.2.5 → 0.2.7

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 (70) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +4 -3
  3. data/docs/handbook/09-plugins.md +5 -2
  4. data/docs/handbook/appendix-liskov.md +5 -3
  5. data/docs/handbook/appendix-phpstan.md +2 -2
  6. data/docs/install.md +1 -1
  7. data/docs/manual/02-cli-reference.md +60 -2
  8. data/docs/manual/06-baseline.md +12 -0
  9. data/docs/manual/08-skills.md +21 -0
  10. data/docs/manual/11-ci.md +6 -6
  11. data/docs/manual/15-type-protection-coverage.md +29 -0
  12. data/docs/manual/plugins/rigor-minitest.md +1 -1
  13. data/lib/rigor/cli/check_command.rb +4 -33
  14. data/lib/rigor/cli/check_runner_factory.rb +63 -0
  15. data/lib/rigor/cli/coverage_command.rb +42 -10
  16. data/lib/rigor/cli/doctor_command.rb +295 -0
  17. data/lib/rigor/cli/plugins_command.rb +2 -2
  18. data/lib/rigor/cli/plugins_renderer.rb +1 -1
  19. data/lib/rigor/cli/protection_renderer.rb +32 -2
  20. data/lib/rigor/cli/protection_report.rb +32 -6
  21. data/lib/rigor/cli/skill_command.rb +52 -1
  22. data/lib/rigor/cli/upgrade_command.rb +25 -0
  23. data/lib/rigor/cli.rb +17 -1
  24. data/lib/rigor/environment/rbs_loader.rb +28 -0
  25. data/lib/rigor/flow_contribution/fact.rb +1 -1
  26. data/lib/rigor/inference/dynamic_origin.rb +67 -0
  27. data/lib/rigor/inference/expression_typer.rb +22 -10
  28. data/lib/rigor/inference/fallback.rb +2 -2
  29. data/lib/rigor/inference/method_dispatcher/constant_folding.rb +16 -0
  30. data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +41 -2
  31. data/lib/rigor/inference/method_dispatcher.rb +19 -4
  32. data/lib/rigor/inference/mutation_widening.rb +18 -0
  33. data/lib/rigor/inference/protection_scanner.rb +6 -3
  34. data/lib/rigor/inference/statement_evaluator.rb +5 -8
  35. data/lib/rigor/plugin/base.rb +34 -7
  36. data/lib/rigor/plugin/registry.rb +1 -1
  37. data/lib/rigor/scope.rb +16 -5
  38. data/lib/rigor/sig_gen/generator.rb +25 -0
  39. data/lib/rigor/sig_gen/method_candidate.rb +7 -2
  40. data/lib/rigor/sig_gen/writer.rb +60 -13
  41. data/lib/rigor/version.rb +1 -1
  42. data/lib/rigor.rb +1 -0
  43. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack.rb +63 -2
  44. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord.rb +2 -3
  45. data/plugins/rigor-hanami/lib/rigor/plugin/hanami/action_checker.rb +14 -24
  46. data/plugins/rigor-hanami/lib/rigor/plugin/hanami.rb +10 -3
  47. data/plugins/rigor-minitest/lib/rigor/plugin/minitest/assertion_analyzer.rb +1 -1
  48. data/plugins/rigor-minitest/lib/rigor/plugin/minitest.rb +1 -1
  49. data/plugins/rigor-rspec/lib/rigor/plugin/rspec.rb +1 -1
  50. data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet.rb +36 -79
  51. data/sig/rigor/plugin/base.rbs +2 -0
  52. data/sig/rigor/scope.rbs +3 -1
  53. data/skills/rigor-ask/SKILL.md +21 -1
  54. data/skills/rigor-baseline-reduce/SKILL.md +16 -0
  55. data/skills/rigor-ci-setup/SKILL.md +96 -249
  56. data/skills/rigor-doctor/SKILL.md +39 -49
  57. data/skills/rigor-doctor/references/01-checks.md +52 -0
  58. data/skills/rigor-editor-setup/SKILL.md +14 -0
  59. data/skills/rigor-mcp-setup/SKILL.md +14 -0
  60. data/skills/rigor-monkeypatch-resolve/SKILL.md +15 -0
  61. data/skills/rigor-plugin-author/SKILL.md +24 -5
  62. data/skills/rigor-plugin-author/references/02-walker-and-types.md +8 -4
  63. data/skills/rigor-plugin-review/SKILL.md +174 -0
  64. data/skills/rigor-plugin-review/references/01-best-practices-checklist.md +214 -0
  65. data/skills/rigor-plugin-tune/SKILL.md +21 -2
  66. data/skills/rigor-project-init/SKILL.md +16 -0
  67. data/skills/rigor-protection-uplift/SKILL.md +15 -0
  68. data/skills/rigor-rbs-setup/SKILL.md +15 -0
  69. data/skills/rigor-upgrade/SKILL.md +16 -0
  70. metadata +11 -4
@@ -17,6 +17,22 @@ sharpness exposes. This skill adopts the upgrade without either blindly
17
17
  regenerating the baseline (which buries genuine new catches) or treating
18
18
  every new line as a regression.
19
19
 
20
+ ## First: load the version-current copy
21
+
22
+ This skill's exact commands, flags, and config keys drift between Rigor
23
+ releases, so follow the copy that ships with the **installed** Rigor rather
24
+ than any vendored or frozen copy of this file — doubly so here, since you
25
+ just changed the version this skill is meant to track. Get the complete
26
+ current procedure in one call:
27
+
28
+ ```sh
29
+ rigor skill --full rigor-upgrade
30
+ ```
31
+
32
+ If you already loaded this skill *via* `rigor skill` you have the current
33
+ copy — just proceed. If `rigor` is not on `PATH`, this task needs it: run
34
+ **`rigor-next-steps`** to install Rigor first, then come back.
35
+
20
36
  ## When to use
21
37
 
22
38
  - You just ran `mise use gem:rigortype` / `gem update rigortype` and want
metadata CHANGED
@@ -1,13 +1,13 @@
1
1
  --- !ruby/object:Gem::Specification
2
2
  name: rigortype
3
3
  version: !ruby/object:Gem::Version
4
- version: 0.2.5
4
+ version: 0.2.7
5
5
  platform: ruby
6
6
  authors:
7
7
  - Rigor contributors
8
8
  bindir: exe
9
9
  cert_chain: []
10
- date: 1980-01-02 00:00:00.000000000 Z
10
+ date: 1980-01-01 00:00:00.000000000 Z
11
11
  dependencies:
12
12
  - !ruby/object:Gem::Dependency
13
13
  name: language_server-protocol
@@ -460,6 +460,7 @@ files:
460
460
  - lib/rigor/cli/annotate_command.rb
461
461
  - lib/rigor/cli/baseline_command.rb
462
462
  - lib/rigor/cli/check_command.rb
463
+ - lib/rigor/cli/check_runner_factory.rb
463
464
  - lib/rigor/cli/ci_detector.rb
464
465
  - lib/rigor/cli/command.rb
465
466
  - lib/rigor/cli/coverage_command.rb
@@ -470,6 +471,7 @@ files:
470
471
  - lib/rigor/cli/diagnostic_formats.rb
471
472
  - lib/rigor/cli/diff_command.rb
472
473
  - lib/rigor/cli/docs_command.rb
474
+ - lib/rigor/cli/doctor_command.rb
473
475
  - lib/rigor/cli/explain_command.rb
474
476
  - lib/rigor/cli/fused_protection_renderer.rb
475
477
  - lib/rigor/cli/fused_protection_report.rb
@@ -498,6 +500,7 @@ files:
498
500
  - lib/rigor/cli/type_scan_command.rb
499
501
  - lib/rigor/cli/type_scan_renderer.rb
500
502
  - lib/rigor/cli/type_scan_report.rb
503
+ - lib/rigor/cli/upgrade_command.rb
501
504
  - lib/rigor/config_audit.rb
502
505
  - lib/rigor/configuration.rb
503
506
  - lib/rigor/configuration/dependencies.rb
@@ -547,6 +550,7 @@ files:
547
550
  - lib/rigor/inference/closure_escape_analyzer.rb
548
551
  - lib/rigor/inference/coverage_scanner.rb
549
552
  - lib/rigor/inference/def_return_typer.rb
553
+ - lib/rigor/inference/dynamic_origin.rb
550
554
  - lib/rigor/inference/expression_typer.rb
551
555
  - lib/rigor/inference/fallback.rb
552
556
  - lib/rigor/inference/fallback_tracer.rb
@@ -882,6 +886,7 @@ files:
882
886
  - skills/rigor-baseline-reduce/references/02-fix-or-suppress.md
883
887
  - skills/rigor-ci-setup/SKILL.md
884
888
  - skills/rigor-doctor/SKILL.md
889
+ - skills/rigor-doctor/references/01-checks.md
885
890
  - skills/rigor-editor-setup/SKILL.md
886
891
  - skills/rigor-mcp-setup/SKILL.md
887
892
  - skills/rigor-monkeypatch-resolve/SKILL.md
@@ -890,6 +895,8 @@ files:
890
895
  - skills/rigor-plugin-author/references/01-plan-and-scaffold.md
891
896
  - skills/rigor-plugin-author/references/02-walker-and-types.md
892
897
  - skills/rigor-plugin-author/references/03-test-and-ship.md
898
+ - skills/rigor-plugin-review/SKILL.md
899
+ - skills/rigor-plugin-review/references/01-best-practices-checklist.md
893
900
  - skills/rigor-plugin-tune/SKILL.md
894
901
  - skills/rigor-project-init/SKILL.md
895
902
  - skills/rigor-project-init/references/01-detect.md
@@ -905,7 +912,7 @@ licenses:
905
912
  metadata:
906
913
  bug_tracker_uri: https://github.com/rigortype/rigor/issues
907
914
  source_code_uri: https://github.com/rigortype/rigor
908
- documentation_uri: https://github.com/rigortype/rigor/tree/main/docs
915
+ documentation_uri: https://github.com/rigortype/rigor/tree/master/docs
909
916
  rubygems_mfa_required: 'true'
910
917
  rdoc_options: []
911
918
  require_paths:
@@ -954,7 +961,7 @@ required_rubygems_version: !ruby/object:Gem::Requirement
954
961
  - !ruby/object:Gem::Version
955
962
  version: '0'
956
963
  requirements: []
957
- rubygems_version: 4.0.10
964
+ rubygems_version: 3.7.2
958
965
  specification_version: 4
959
966
  summary: Inference-first static analysis for Ruby.
960
967
  test_files: []