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.
- checksums.yaml +4 -4
- data/README.md +4 -3
- data/docs/handbook/09-plugins.md +5 -2
- data/docs/handbook/appendix-liskov.md +5 -3
- data/docs/handbook/appendix-phpstan.md +2 -2
- data/docs/install.md +1 -1
- data/docs/manual/02-cli-reference.md +60 -2
- data/docs/manual/06-baseline.md +12 -0
- data/docs/manual/08-skills.md +21 -0
- data/docs/manual/11-ci.md +6 -6
- data/docs/manual/15-type-protection-coverage.md +29 -0
- data/docs/manual/plugins/rigor-minitest.md +1 -1
- data/lib/rigor/cli/check_command.rb +4 -33
- data/lib/rigor/cli/check_runner_factory.rb +63 -0
- data/lib/rigor/cli/coverage_command.rb +42 -10
- data/lib/rigor/cli/doctor_command.rb +295 -0
- data/lib/rigor/cli/plugins_command.rb +2 -2
- data/lib/rigor/cli/plugins_renderer.rb +1 -1
- data/lib/rigor/cli/protection_renderer.rb +32 -2
- data/lib/rigor/cli/protection_report.rb +32 -6
- data/lib/rigor/cli/skill_command.rb +52 -1
- data/lib/rigor/cli/upgrade_command.rb +25 -0
- data/lib/rigor/cli.rb +17 -1
- data/lib/rigor/environment/rbs_loader.rb +28 -0
- data/lib/rigor/flow_contribution/fact.rb +1 -1
- data/lib/rigor/inference/dynamic_origin.rb +67 -0
- data/lib/rigor/inference/expression_typer.rb +22 -10
- data/lib/rigor/inference/fallback.rb +2 -2
- data/lib/rigor/inference/method_dispatcher/constant_folding.rb +16 -0
- data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +41 -2
- data/lib/rigor/inference/method_dispatcher.rb +19 -4
- data/lib/rigor/inference/mutation_widening.rb +18 -0
- data/lib/rigor/inference/protection_scanner.rb +6 -3
- data/lib/rigor/inference/statement_evaluator.rb +5 -8
- data/lib/rigor/plugin/base.rb +34 -7
- data/lib/rigor/plugin/registry.rb +1 -1
- data/lib/rigor/scope.rb +16 -5
- data/lib/rigor/sig_gen/generator.rb +25 -0
- data/lib/rigor/sig_gen/method_candidate.rb +7 -2
- data/lib/rigor/sig_gen/writer.rb +60 -13
- data/lib/rigor/version.rb +1 -1
- data/lib/rigor.rb +1 -0
- data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack.rb +63 -2
- data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord.rb +2 -3
- data/plugins/rigor-hanami/lib/rigor/plugin/hanami/action_checker.rb +14 -24
- data/plugins/rigor-hanami/lib/rigor/plugin/hanami.rb +10 -3
- data/plugins/rigor-minitest/lib/rigor/plugin/minitest/assertion_analyzer.rb +1 -1
- data/plugins/rigor-minitest/lib/rigor/plugin/minitest.rb +1 -1
- data/plugins/rigor-rspec/lib/rigor/plugin/rspec.rb +1 -1
- data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet.rb +36 -79
- data/sig/rigor/plugin/base.rbs +2 -0
- data/sig/rigor/scope.rbs +3 -1
- data/skills/rigor-ask/SKILL.md +21 -1
- data/skills/rigor-baseline-reduce/SKILL.md +16 -0
- data/skills/rigor-ci-setup/SKILL.md +96 -249
- data/skills/rigor-doctor/SKILL.md +39 -49
- data/skills/rigor-doctor/references/01-checks.md +52 -0
- data/skills/rigor-editor-setup/SKILL.md +14 -0
- data/skills/rigor-mcp-setup/SKILL.md +14 -0
- data/skills/rigor-monkeypatch-resolve/SKILL.md +15 -0
- data/skills/rigor-plugin-author/SKILL.md +24 -5
- data/skills/rigor-plugin-author/references/02-walker-and-types.md +8 -4
- data/skills/rigor-plugin-review/SKILL.md +174 -0
- data/skills/rigor-plugin-review/references/01-best-practices-checklist.md +214 -0
- data/skills/rigor-plugin-tune/SKILL.md +21 -2
- data/skills/rigor-project-init/SKILL.md +16 -0
- data/skills/rigor-protection-uplift/SKILL.md +15 -0
- data/skills/rigor-rbs-setup/SKILL.md +15 -0
- data/skills/rigor-upgrade/SKILL.md +16 -0
- 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.
|
|
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-
|
|
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/
|
|
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:
|
|
964
|
+
rubygems_version: 3.7.2
|
|
958
965
|
specification_version: 4
|
|
959
966
|
summary: Inference-first static analysis for Ruby.
|
|
960
967
|
test_files: []
|