rigortype 0.2.1 → 0.2.3

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 (109) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +41 -14
  3. data/docs/handbook/01-getting-started.md +311 -0
  4. data/docs/handbook/02-everyday-types.md +337 -0
  5. data/docs/handbook/03-narrowing.md +359 -0
  6. data/docs/handbook/04-tuples-and-shapes.md +321 -0
  7. data/docs/handbook/05-methods-and-blocks.md +339 -0
  8. data/docs/handbook/06-classes.md +305 -0
  9. data/docs/handbook/07-rbs-and-extended.md +427 -0
  10. data/docs/handbook/08-understanding-errors.md +373 -0
  11. data/docs/handbook/09-plugins.md +241 -0
  12. data/docs/handbook/10-sorbet.md +347 -0
  13. data/docs/handbook/11-sig-gen.md +312 -0
  14. data/docs/handbook/12-lightweight-hkt.md +333 -0
  15. data/docs/handbook/README.md +275 -0
  16. data/docs/handbook/appendix-elixir.md +370 -0
  17. data/docs/handbook/appendix-go.md +399 -0
  18. data/docs/handbook/appendix-java-csharp.md +470 -0
  19. data/docs/handbook/appendix-liskov.md +580 -0
  20. data/docs/handbook/appendix-mypy.md +370 -0
  21. data/docs/handbook/appendix-phpstan.md +338 -0
  22. data/docs/handbook/appendix-protocols-and-structural-typing.md +292 -0
  23. data/docs/handbook/appendix-rust.md +446 -0
  24. data/docs/handbook/appendix-steep.md +336 -0
  25. data/docs/handbook/appendix-type-theory.md +1662 -0
  26. data/docs/handbook/appendix-typeprof.md +416 -0
  27. data/docs/handbook/appendix-typescript.md +332 -0
  28. data/docs/install.md +189 -0
  29. data/docs/llms.txt +72 -0
  30. data/docs/manual/01-installation.md +342 -0
  31. data/docs/manual/02-cli-reference.md +569 -0
  32. data/docs/manual/03-configuration.md +152 -0
  33. data/docs/manual/04-diagnostics.md +206 -0
  34. data/docs/manual/05-inspecting-types.md +109 -0
  35. data/docs/manual/06-baseline.md +104 -0
  36. data/docs/manual/07-plugins.md +92 -0
  37. data/docs/manual/08-skills.md +143 -0
  38. data/docs/manual/09-editor-integration.md +245 -0
  39. data/docs/manual/10-mcp-server.md +539 -0
  40. data/docs/manual/11-ci.md +274 -0
  41. data/docs/manual/12-caching.md +116 -0
  42. data/docs/manual/13-troubleshooting.md +120 -0
  43. data/docs/manual/14-rails-quickstart.md +332 -0
  44. data/docs/manual/15-type-protection-coverage.md +204 -0
  45. data/docs/manual/16-rbs-extended-annotations.md +190 -0
  46. data/docs/manual/17-driving-improvement.md +160 -0
  47. data/docs/manual/README.md +87 -0
  48. data/docs/manual/ci-templates/README.md +58 -0
  49. data/docs/manual/plugins/README.md +86 -0
  50. data/docs/manual/plugins/rigor-actioncable.md +78 -0
  51. data/docs/manual/plugins/rigor-actionmailer.md +74 -0
  52. data/docs/manual/plugins/rigor-actionpack.md +80 -0
  53. data/docs/manual/plugins/rigor-activejob.md +58 -0
  54. data/docs/manual/plugins/rigor-activerecord.md +102 -0
  55. data/docs/manual/plugins/rigor-activestorage.md +74 -0
  56. data/docs/manual/plugins/rigor-activesupport-core-ext.md +86 -0
  57. data/docs/manual/plugins/rigor-devise.md +70 -0
  58. data/docs/manual/plugins/rigor-dry-schema.md +56 -0
  59. data/docs/manual/plugins/rigor-dry-struct.md +60 -0
  60. data/docs/manual/plugins/rigor-dry-types.md +59 -0
  61. data/docs/manual/plugins/rigor-dry-validation.md +62 -0
  62. data/docs/manual/plugins/rigor-factorybot.md +76 -0
  63. data/docs/manual/plugins/rigor-graphql.md +89 -0
  64. data/docs/manual/plugins/rigor-hanami.md +83 -0
  65. data/docs/manual/plugins/rigor-mangrove.md +73 -0
  66. data/docs/manual/plugins/rigor-minitest.md +86 -0
  67. data/docs/manual/plugins/rigor-pundit.md +72 -0
  68. data/docs/manual/plugins/rigor-rails-i18n.md +92 -0
  69. data/docs/manual/plugins/rigor-rails-routes.md +94 -0
  70. data/docs/manual/plugins/rigor-rails.md +44 -0
  71. data/docs/manual/plugins/rigor-rbs-inline.md +83 -0
  72. data/docs/manual/plugins/rigor-rspec-rails.md +72 -0
  73. data/docs/manual/plugins/rigor-rspec.md +86 -0
  74. data/docs/manual/plugins/rigor-shoulda-matchers.md +78 -0
  75. data/docs/manual/plugins/rigor-sidekiq.md +78 -0
  76. data/docs/manual/plugins/rigor-sinatra.md +61 -0
  77. data/docs/manual/plugins/rigor-sorbet.md +63 -0
  78. data/docs/manual/plugins/rigor-statesman.md +75 -0
  79. data/docs/manual/plugins/rigor-typescript-utility-types.md +71 -0
  80. data/exe/rigor +1 -1
  81. data/lib/rigor/analysis/incremental_session.rb +4 -2
  82. data/lib/rigor/analysis/run_stats.rb +13 -1
  83. data/lib/rigor/analysis/runner.rb +54 -12
  84. data/lib/rigor/cli/check_command.rb +1 -1
  85. data/lib/rigor/cli/docs_command.rb +248 -0
  86. data/lib/rigor/cli/skill_command.rb +103 -41
  87. data/lib/rigor/cli/skill_describe.rb +346 -0
  88. data/lib/rigor/cli/triage_command.rb +8 -2
  89. data/lib/rigor/cli/triage_renderer.rb +4 -0
  90. data/lib/rigor/cli.rb +25 -3
  91. data/lib/rigor/inference/method_dispatcher/constant_folding.rb +124 -32
  92. data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +37 -6
  93. data/lib/rigor/inference/scope_indexer.rb +87 -89
  94. data/lib/rigor/plugin/isolation.rb +5 -5
  95. data/lib/rigor/plugin/loader.rb +4 -2
  96. data/lib/rigor/triage/catalogue.rb +16 -1
  97. data/lib/rigor/triage.rb +30 -7
  98. data/lib/rigor/version.rb +1 -1
  99. data/skills/rigor-ask/SKILL.md +172 -0
  100. data/skills/rigor-doctor/SKILL.md +87 -0
  101. data/skills/rigor-editor-setup/SKILL.md +114 -0
  102. data/skills/rigor-mcp-setup/SKILL.md +117 -0
  103. data/skills/rigor-monkeypatch-resolve/SKILL.md +79 -0
  104. data/skills/rigor-next-steps/SKILL.md +113 -0
  105. data/skills/rigor-plugin-tune/SKILL.md +79 -0
  106. data/skills/rigor-protection-uplift/SKILL.md +133 -0
  107. data/skills/rigor-rbs-setup/SKILL.md +128 -0
  108. data/skills/rigor-upgrade/SKILL.md +79 -0
  109. metadata +90 -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.2.1
4
+ version: 0.2.3
5
5
  platform: ruby
6
6
  authors:
7
7
  - Rigor contributors
@@ -304,6 +304,83 @@ files:
304
304
  - data/vendored_gem_sigs/redis/redis.rbs
305
305
  - data/vendored_gem_sigs/redis/redis_extras.rbs
306
306
  - data/vendored_gem_sigs/rubygems/rubygems_extras.rbs
307
+ - docs/handbook/01-getting-started.md
308
+ - docs/handbook/02-everyday-types.md
309
+ - docs/handbook/03-narrowing.md
310
+ - docs/handbook/04-tuples-and-shapes.md
311
+ - docs/handbook/05-methods-and-blocks.md
312
+ - docs/handbook/06-classes.md
313
+ - docs/handbook/07-rbs-and-extended.md
314
+ - docs/handbook/08-understanding-errors.md
315
+ - docs/handbook/09-plugins.md
316
+ - docs/handbook/10-sorbet.md
317
+ - docs/handbook/11-sig-gen.md
318
+ - docs/handbook/12-lightweight-hkt.md
319
+ - docs/handbook/README.md
320
+ - docs/handbook/appendix-elixir.md
321
+ - docs/handbook/appendix-go.md
322
+ - docs/handbook/appendix-java-csharp.md
323
+ - docs/handbook/appendix-liskov.md
324
+ - docs/handbook/appendix-mypy.md
325
+ - docs/handbook/appendix-phpstan.md
326
+ - docs/handbook/appendix-protocols-and-structural-typing.md
327
+ - docs/handbook/appendix-rust.md
328
+ - docs/handbook/appendix-steep.md
329
+ - docs/handbook/appendix-type-theory.md
330
+ - docs/handbook/appendix-typeprof.md
331
+ - docs/handbook/appendix-typescript.md
332
+ - docs/install.md
333
+ - docs/llms.txt
334
+ - docs/manual/01-installation.md
335
+ - docs/manual/02-cli-reference.md
336
+ - docs/manual/03-configuration.md
337
+ - docs/manual/04-diagnostics.md
338
+ - docs/manual/05-inspecting-types.md
339
+ - docs/manual/06-baseline.md
340
+ - docs/manual/07-plugins.md
341
+ - docs/manual/08-skills.md
342
+ - docs/manual/09-editor-integration.md
343
+ - docs/manual/10-mcp-server.md
344
+ - docs/manual/11-ci.md
345
+ - docs/manual/12-caching.md
346
+ - docs/manual/13-troubleshooting.md
347
+ - docs/manual/14-rails-quickstart.md
348
+ - docs/manual/15-type-protection-coverage.md
349
+ - docs/manual/16-rbs-extended-annotations.md
350
+ - docs/manual/17-driving-improvement.md
351
+ - docs/manual/README.md
352
+ - docs/manual/ci-templates/README.md
353
+ - docs/manual/plugins/README.md
354
+ - docs/manual/plugins/rigor-actioncable.md
355
+ - docs/manual/plugins/rigor-actionmailer.md
356
+ - docs/manual/plugins/rigor-actionpack.md
357
+ - docs/manual/plugins/rigor-activejob.md
358
+ - docs/manual/plugins/rigor-activerecord.md
359
+ - docs/manual/plugins/rigor-activestorage.md
360
+ - docs/manual/plugins/rigor-activesupport-core-ext.md
361
+ - docs/manual/plugins/rigor-devise.md
362
+ - docs/manual/plugins/rigor-dry-schema.md
363
+ - docs/manual/plugins/rigor-dry-struct.md
364
+ - docs/manual/plugins/rigor-dry-types.md
365
+ - docs/manual/plugins/rigor-dry-validation.md
366
+ - docs/manual/plugins/rigor-factorybot.md
367
+ - docs/manual/plugins/rigor-graphql.md
368
+ - docs/manual/plugins/rigor-hanami.md
369
+ - docs/manual/plugins/rigor-mangrove.md
370
+ - docs/manual/plugins/rigor-minitest.md
371
+ - docs/manual/plugins/rigor-pundit.md
372
+ - docs/manual/plugins/rigor-rails-i18n.md
373
+ - docs/manual/plugins/rigor-rails-routes.md
374
+ - docs/manual/plugins/rigor-rails.md
375
+ - docs/manual/plugins/rigor-rbs-inline.md
376
+ - docs/manual/plugins/rigor-rspec-rails.md
377
+ - docs/manual/plugins/rigor-rspec.md
378
+ - docs/manual/plugins/rigor-shoulda-matchers.md
379
+ - docs/manual/plugins/rigor-sidekiq.md
380
+ - docs/manual/plugins/rigor-sinatra.md
381
+ - docs/manual/plugins/rigor-sorbet.md
382
+ - docs/manual/plugins/rigor-statesman.md
383
+ - docs/manual/plugins/rigor-typescript-utility-types.md
307
384
  - exe/rigor
308
385
  - lib/rigor.rb
309
386
  - lib/rigor/analysis/baseline.rb
@@ -372,6 +449,7 @@ files:
372
449
  - lib/rigor/cli/coverage_scan.rb
373
450
  - lib/rigor/cli/diagnostic_formats.rb
374
451
  - lib/rigor/cli/diff_command.rb
452
+ - lib/rigor/cli/docs_command.rb
375
453
  - lib/rigor/cli/explain_command.rb
376
454
  - lib/rigor/cli/fused_protection_renderer.rb
377
455
  - lib/rigor/cli/fused_protection_report.rb
@@ -390,6 +468,7 @@ files:
390
468
  - lib/rigor/cli/show_bleedingedge_command.rb
391
469
  - lib/rigor/cli/sig_gen_command.rb
392
470
  - lib/rigor/cli/skill_command.rb
471
+ - lib/rigor/cli/skill_describe.rb
393
472
  - lib/rigor/cli/trace_command.rb
394
473
  - lib/rigor/cli/trace_renderer.rb
395
474
  - lib/rigor/cli/triage_command.rb
@@ -777,19 +856,29 @@ files:
777
856
  - sig/rigor/testing.rbs
778
857
  - sig/rigor/trinary.rbs
779
858
  - sig/rigor/type.rbs
859
+ - skills/rigor-ask/SKILL.md
780
860
  - skills/rigor-baseline-reduce/SKILL.md
781
861
  - skills/rigor-baseline-reduce/references/01-classify.md
782
862
  - skills/rigor-baseline-reduce/references/02-fix-or-suppress.md
783
863
  - skills/rigor-ci-setup/SKILL.md
864
+ - skills/rigor-doctor/SKILL.md
865
+ - skills/rigor-editor-setup/SKILL.md
866
+ - skills/rigor-mcp-setup/SKILL.md
867
+ - skills/rigor-monkeypatch-resolve/SKILL.md
868
+ - skills/rigor-next-steps/SKILL.md
784
869
  - skills/rigor-plugin-author/SKILL.md
785
870
  - skills/rigor-plugin-author/references/01-plan-and-scaffold.md
786
871
  - skills/rigor-plugin-author/references/02-walker-and-types.md
787
872
  - skills/rigor-plugin-author/references/03-test-and-ship.md
873
+ - skills/rigor-plugin-tune/SKILL.md
788
874
  - skills/rigor-project-init/SKILL.md
789
875
  - skills/rigor-project-init/references/01-detect.md
790
876
  - skills/rigor-project-init/references/02-configure.md
791
877
  - skills/rigor-project-init/references/03-baseline-and-bugs.md
792
878
  - skills/rigor-project-init/references/04-sig-uplift.md
879
+ - skills/rigor-protection-uplift/SKILL.md
880
+ - skills/rigor-rbs-setup/SKILL.md
881
+ - skills/rigor-upgrade/SKILL.md
793
882
  homepage: https://github.com/rigortype/rigor
794
883
  licenses:
795
884
  - MPL-2.0