rigortype 0.3.6 → 0.3.8

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 (223) hide show
  1. checksums.yaml +4 -4
  2. data/README.md +1 -1
  3. data/data/builtins/ruby_core/date.yml +6 -3
  4. data/data/builtins/ruby_core/enumerable.yml +1 -0
  5. data/data/builtins/ruby_core/exception.yml +2 -1
  6. data/data/builtins/ruby_core/file.yml +28 -14
  7. data/data/builtins/ruby_core/hash.yml +5 -2
  8. data/data/builtins/ruby_core/io.yml +33 -16
  9. data/data/builtins/ruby_core/random.yml +2 -1
  10. data/data/builtins/ruby_core/re.yml +6 -3
  11. data/data/builtins/ruby_core/struct.yml +2 -0
  12. data/data/builtins/ruby_core/time.yml +2 -1
  13. data/data/gem_overlay/activesupport/core_ext.rbs +409 -11
  14. data/docs/handbook/11-sig-gen.md +24 -14
  15. data/docs/manual/02-cli-reference.md +23 -7
  16. data/docs/manual/04-diagnostics.md +1 -1
  17. data/docs/manual/05-inspecting-types.md +20 -8
  18. data/docs/manual/07-plugins.md +4 -0
  19. data/docs/manual/plugins/rigor-actionpack.md +61 -0
  20. data/docs/manual/plugins/rigor-activerecord.md +74 -1
  21. data/docs/manual/plugins/rigor-activesupport-core-ext.md +114 -12
  22. data/docs/manual/plugins/rigor-sidekiq.md +22 -0
  23. data/lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb +12 -0
  24. data/lib/rigor/analysis/check_rules/dead_version_guard_arms.rb +98 -0
  25. data/lib/rigor/analysis/check_rules/ivar_write_collector.rb +3 -3
  26. data/lib/rigor/analysis/check_rules/published_constant_guard.rb +199 -0
  27. data/lib/rigor/analysis/check_rules/rule_walk.rb +1 -2
  28. data/lib/rigor/analysis/check_rules/self_closedness_scanner.rb +2 -2
  29. data/lib/rigor/analysis/check_rules/shadowed_rescue_collector.rb +6 -12
  30. data/lib/rigor/analysis/check_rules.rb +383 -48
  31. data/lib/rigor/analysis/crash_signature.rb +188 -0
  32. data/lib/rigor/analysis/dependency_recorder.rb +18 -3
  33. data/lib/rigor/analysis/dependency_source_inference/walker.rb +2 -1
  34. data/lib/rigor/analysis/incremental.rb +28 -0
  35. data/lib/rigor/analysis/incremental_session.rb +63 -16
  36. data/lib/rigor/analysis/plugin_fact_fingerprint.rb +1 -2
  37. data/lib/rigor/analysis/reachability/graph.rb +14 -5
  38. data/lib/rigor/analysis/reachability/scan.rb +7 -3
  39. data/lib/rigor/analysis/result.rb +32 -0
  40. data/lib/rigor/analysis/run_cache_key.rb +41 -1
  41. data/lib/rigor/analysis/runner/diagnostic_aggregator.rb +233 -16
  42. data/lib/rigor/analysis/runner/pool_coordinator.rb +266 -47
  43. data/lib/rigor/analysis/runner/project_pre_passes.rb +15 -11
  44. data/lib/rigor/analysis/runner/run_snapshots.rb +12 -2
  45. data/lib/rigor/analysis/runner.rb +212 -16
  46. data/lib/rigor/analysis/worker_session.rb +37 -3
  47. data/lib/rigor/bleeding_edge.rb +7 -6
  48. data/lib/rigor/builtins/hkt_builtins.rb +45 -6
  49. data/lib/rigor/builtins/imported_refinements.rb +11 -9
  50. data/lib/rigor/builtins/predefined_constant_refinements.rb +108 -59
  51. data/lib/rigor/builtins/static_return_refinements.rb +20 -1
  52. data/lib/rigor/cache/annotation_location.rb +72 -0
  53. data/lib/rigor/cache/descriptor.rb +42 -2
  54. data/lib/rigor/cache/incremental_snapshot.rb +40 -3
  55. data/lib/rigor/cache/rbs_environment_marshal_patch.rb +70 -8
  56. data/lib/rigor/cache/store.rb +17 -1
  57. data/lib/rigor/cli/coverage_command.rb +23 -18
  58. data/lib/rigor/cli/coverage_mutation.rb +13 -17
  59. data/lib/rigor/cli/coverage_scan.rb +47 -6
  60. data/lib/rigor/cli/fused_protection_renderer.rb +19 -2
  61. data/lib/rigor/cli/fused_protection_report.rb +23 -2
  62. data/lib/rigor/cli/measurement_integrity_warning.rb +57 -0
  63. data/lib/rigor/cli/mutation_protection_renderer.rb +22 -2
  64. data/lib/rigor/cli/mutation_protection_report.rb +31 -2
  65. data/lib/rigor/cli/sig_gen_command.rb +47 -0
  66. data/lib/rigor/cli/type_of_command.rb +188 -41
  67. data/lib/rigor/cli/type_of_renderer.rb +72 -3
  68. data/lib/rigor/cli/type_scan_command.rb +10 -1
  69. data/lib/rigor/cli.rb +1 -1
  70. data/lib/rigor/configuration.rb +7 -4
  71. data/lib/rigor/effects/plugin_facts.rb +1 -1
  72. data/lib/rigor/effects/scanner.rb +2 -3
  73. data/lib/rigor/environment/bundle_sig_discovery.rb +64 -13
  74. data/lib/rigor/environment/failure_slot.rb +28 -0
  75. data/lib/rigor/environment/lockfile_resolver.rb +15 -5
  76. data/lib/rigor/environment/missing_gem_constant_index.rb +45 -4
  77. data/lib/rigor/environment/rbs_hierarchy.rb +16 -22
  78. data/lib/rigor/environment/rbs_loader.rb +743 -93
  79. data/lib/rigor/environment.rb +125 -25
  80. data/lib/rigor/inference/acceptance.rb +172 -20
  81. data/lib/rigor/inference/captured_locals.rb +62 -0
  82. data/lib/rigor/inference/content_join.rb +347 -0
  83. data/lib/rigor/inference/def_handle.rb +15 -3
  84. data/lib/rigor/inference/def_node_resolver.rb +62 -3
  85. data/lib/rigor/inference/expression_typer.rb +1020 -141
  86. data/lib/rigor/inference/fork_map.rb +6 -1
  87. data/lib/rigor/inference/hkt_reducer.rb +12 -1
  88. data/lib/rigor/inference/hkt_registry.rb +61 -3
  89. data/lib/rigor/inference/hkt_sugar_translator.rb +87 -0
  90. data/lib/rigor/inference/index_write_widening.rb +48 -0
  91. data/lib/rigor/inference/indexed_narrowing.rb +14 -0
  92. data/lib/rigor/inference/method_dispatcher/block_folding.rb +7 -5
  93. data/lib/rigor/inference/method_dispatcher/constant_folding.rb +10 -0
  94. data/lib/rigor/inference/method_dispatcher/json_folding.rb +58 -0
  95. data/lib/rigor/inference/method_dispatcher/overload_selector.rb +81 -38
  96. data/lib/rigor/inference/method_dispatcher/rbs_dispatch.rb +54 -17
  97. data/lib/rigor/inference/method_dispatcher/shape_dispatch.rb +1 -2
  98. data/lib/rigor/inference/method_dispatcher/singleton_mixin_dispatch.rb +63 -0
  99. data/lib/rigor/inference/method_dispatcher/struct_folding.rb +63 -10
  100. data/lib/rigor/inference/method_dispatcher/struct_materialization.rb +104 -0
  101. data/lib/rigor/inference/method_dispatcher/universal_object_dispatch.rb +81 -0
  102. data/lib/rigor/inference/method_dispatcher.rb +155 -14
  103. data/lib/rigor/inference/method_parameter_binder.rb +3 -3
  104. data/lib/rigor/inference/mutation_widening.rb +244 -174
  105. data/lib/rigor/inference/narrowing.rb +331 -27
  106. data/lib/rigor/inference/parameter_inference_collector.rb +1 -0
  107. data/lib/rigor/inference/pre_eval_constants.rb +15 -0
  108. data/lib/rigor/inference/precision_scanner.rb +5 -2
  109. data/lib/rigor/inference/project_patched_scanner.rb +2 -1
  110. data/lib/rigor/inference/rbs_type_translator.rb +89 -39
  111. data/lib/rigor/inference/scope_indexer.rb +1493 -140
  112. data/lib/rigor/inference/statement_evaluator.rb +276 -91
  113. data/lib/rigor/inference/struct_fold_safety.rb +186 -27
  114. data/lib/rigor/inference/version_guard.rb +229 -0
  115. data/lib/rigor/language_server/selection_range_provider.rb +1 -1
  116. data/lib/rigor/plugin/base.rb +3 -2
  117. data/lib/rigor/plugin/inflector.rb +14 -5
  118. data/lib/rigor/plugin/io_boundary.rb +107 -4
  119. data/lib/rigor/plugin/loader.rb +14 -0
  120. data/lib/rigor/plugin/registry.rb +25 -2
  121. data/lib/rigor/protection/analysis_guard.rb +60 -0
  122. data/lib/rigor/protection/closure_kill_oracle.rb +43 -38
  123. data/lib/rigor/protection/diagnostic_oracle.rb +12 -4
  124. data/lib/rigor/protection/discovery_seed.rb +1 -1
  125. data/lib/rigor/protection/measurement_integrity.rb +36 -0
  126. data/lib/rigor/protection/mutation_scanner.rb +61 -6
  127. data/lib/rigor/protection/mutator.rb +121 -18
  128. data/lib/rigor/rbs_extended/envelope_scanner.rb +8 -7
  129. data/lib/rigor/rbs_extended/hkt_directives.rb +16 -1
  130. data/lib/rigor/rbs_extended/reporter.rb +93 -13
  131. data/lib/rigor/rbs_extended.rb +6 -1
  132. data/lib/rigor/reflection.rb +182 -30
  133. data/lib/rigor/scope/discovery_index.rb +39 -1
  134. data/lib/rigor/scope.rb +385 -4
  135. data/lib/rigor/sig_gen/classification.rb +12 -1
  136. data/lib/rigor/sig_gen/generator.rb +320 -85
  137. data/lib/rigor/sig_gen/renderer.rb +14 -12
  138. data/lib/rigor/sig_gen/writer.rb +3 -0
  139. data/lib/rigor/source/constant_path.rb +79 -2
  140. data/lib/rigor/triage/catalogue.rb +1 -1
  141. data/lib/rigor/type/combinator.rb +10 -0
  142. data/lib/rigor/type/maybe.rb +47 -0
  143. data/lib/rigor/type/refined.rb +1 -2
  144. data/lib/rigor/type/result.rb +53 -0
  145. data/lib/rigor/type.rb +2 -0
  146. data/lib/rigor/version.rb +1 -1
  147. data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable/analyzer.rb +3 -1
  148. data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable/channel_discoverer.rb +58 -8
  149. data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable/channel_index.rb +15 -2
  150. data/plugins/rigor-actioncable/lib/rigor/plugin/actioncable.rb +4 -1
  151. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer/analyzer.rb +3 -1
  152. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer/mailer_discoverer.rb +39 -14
  153. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer/mailer_index.rb +36 -3
  154. data/plugins/rigor-actionmailer/lib/rigor/plugin/actionmailer.rb +6 -2
  155. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/analyzer.rb +21 -5
  156. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_discoverer.rb +47 -8
  157. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack/controller_index.rb +13 -3
  158. data/plugins/rigor-actionpack/lib/rigor/plugin/actionpack.rb +242 -4
  159. data/plugins/rigor-activejob/lib/rigor/plugin/activejob/analyzer.rb +3 -1
  160. data/plugins/rigor-activejob/lib/rigor/plugin/activejob/effects.rb +7 -3
  161. data/plugins/rigor-activejob/lib/rigor/plugin/activejob/job_discoverer.rb +62 -11
  162. data/plugins/rigor-activejob/lib/rigor/plugin/activejob/job_index.rb +15 -2
  163. data/plugins/rigor-activejob/lib/rigor/plugin/activejob/recurring_scan.rb +3 -1
  164. data/plugins/rigor-activejob/lib/rigor/plugin/activejob.rb +5 -1
  165. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/analyzer.rb +2 -2
  166. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_discoverer.rb +798 -22
  167. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord/model_index.rb +156 -13
  168. data/plugins/rigor-activerecord/lib/rigor/plugin/activerecord.rb +140 -40
  169. data/plugins/rigor-activestorage/lib/rigor/plugin/activestorage/analyzer.rb +2 -2
  170. data/plugins/rigor-activestorage/lib/rigor/plugin/activestorage/attachment_discoverer.rb +20 -6
  171. data/plugins/rigor-activestorage/lib/rigor/plugin/activestorage/attachment_index.rb +14 -4
  172. data/plugins/rigor-activestorage/lib/rigor/plugin/activestorage.rb +6 -3
  173. data/plugins/rigor-activesupport-core-ext/lib/rigor/plugin/activesupport_core_ext/effects.rb +23 -6
  174. data/plugins/rigor-activesupport-core-ext/lib/rigor/plugin/activesupport_core_ext.rb +264 -9
  175. data/plugins/rigor-activesupport-core-ext/sig/active_support/core_ext.rbs +876 -23
  176. data/plugins/rigor-dry-monads/lib/rigor/plugin/dry_monads.rb +99 -0
  177. data/plugins/rigor-dry-monads/lib/rigor-dry-monads.rb +5 -0
  178. data/plugins/rigor-ethon/lib/rigor/plugin/ethon.rb +34 -0
  179. data/plugins/rigor-ethon/lib/rigor-ethon.rb +3 -0
  180. data/plugins/rigor-ethon/sig/ethon.rbs +27 -0
  181. data/plugins/rigor-factorybot/lib/rigor/plugin/factorybot/factory_discoverer.rb +3 -2
  182. data/plugins/rigor-ffi/lib/rigor/plugin/ffi/analyzer.rb +198 -0
  183. data/plugins/rigor-ffi/lib/rigor/plugin/ffi/binding_recognizer.rb +75 -0
  184. data/plugins/rigor-ffi/lib/rigor/plugin/ffi/catalog.rb +64 -0
  185. data/plugins/rigor-ffi/lib/rigor/plugin/ffi/discoverer.rb +173 -0
  186. data/plugins/rigor-ffi/lib/rigor/plugin/ffi/target_detector.rb +46 -0
  187. data/plugins/rigor-ffi/lib/rigor/plugin/ffi/types.rb +161 -0
  188. data/plugins/rigor-ffi/lib/rigor/plugin/ffi.rb +121 -0
  189. data/plugins/rigor-ffi/lib/rigor-ffi.rb +3 -0
  190. data/plugins/rigor-ffi/sig/ffi.rbs +67 -0
  191. data/plugins/rigor-ffi-rzmq/lib/rigor/plugin/ffi_rzmq.rb +19 -0
  192. data/plugins/rigor-ffi-rzmq/lib/rigor-ffi-rzmq.rb +3 -0
  193. data/plugins/rigor-ffi-rzmq/sig/ffi_rzmq.rbs +29 -0
  194. data/plugins/rigor-graphql/lib/rigor/plugin/graphql/type_scanner.rb +2 -4
  195. data/plugins/rigor-pundit/lib/rigor/plugin/pundit/authorization_scan.rb +2 -1
  196. data/plugins/rigor-pundit/lib/rigor/plugin/pundit/policy_discoverer.rb +2 -1
  197. data/plugins/rigor-rails-i18n/lib/rigor/plugin/rails_i18n/locale_loader.rb +2 -1
  198. data/plugins/rigor-rails-i18n/lib/rigor/plugin/rails_i18n.rb +2 -1
  199. data/plugins/rigor-rails-routes/lib/rigor/plugin/rails_routes.rb +2 -1
  200. data/plugins/rigor-railties/lib/rigor/plugin/railties.rb +156 -11
  201. data/plugins/rigor-rbnacl/lib/rigor/plugin/rbnacl.rb +30 -0
  202. data/plugins/rigor-rbnacl/lib/rigor-rbnacl.rb +3 -0
  203. data/plugins/rigor-rbnacl/sig/rbnacl.rbs +22 -0
  204. data/plugins/rigor-sassc/lib/rigor/plugin/sassc.rb +55 -0
  205. data/plugins/rigor-sassc/lib/rigor-sassc.rb +3 -0
  206. data/plugins/rigor-sassc/sig/sassc.rbs +24 -0
  207. data/plugins/rigor-shoulda-matchers/lib/rigor/plugin/shoulda_matchers/analyzer.rb +32 -11
  208. data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq/analyzer.rb +3 -1
  209. data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq/schedule_scan.rb +4 -1
  210. data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq/worker_discoverer.rb +63 -10
  211. data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq/worker_index.rb +15 -2
  212. data/plugins/rigor-sidekiq/lib/rigor/plugin/sidekiq.rb +61 -2
  213. data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet/catalog_walker.rb +2 -2
  214. data/plugins/rigor-sorbet/lib/rigor/plugin/sorbet.rb +4 -2
  215. data/sig/rigor/analysis/baseline.rbs +1 -1
  216. data/sig/rigor/environment.rbs +9 -0
  217. data/sig/rigor/inference.rbs +4 -1
  218. data/sig/rigor/plugin/io_boundary.rbs +2 -0
  219. data/sig/rigor/reflection.rbs +3 -1
  220. data/sig/rigor/scope.rbs +25 -1
  221. data/sig/rigor/type.rbs +95 -1
  222. data/sig/rigor.rbs +16 -0
  223. metadata +71 -3
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.3.6
4
+ version: 0.3.8
5
5
  platform: ruby
6
6
  authors:
7
7
  - Rigor contributors
@@ -115,7 +115,7 @@ dependencies:
115
115
  requirements:
116
116
  - - ">="
117
117
  - !ruby/object:Gem::Version
118
- version: 0.1.0
118
+ version: 0.5.0
119
119
  - - "<"
120
120
  - !ruby/object:Gem::Version
121
121
  version: '1.0'
@@ -125,7 +125,7 @@ dependencies:
125
125
  requirements:
126
126
  - - ">="
127
127
  - !ruby/object:Gem::Version
128
- version: 0.1.0
128
+ version: 0.5.0
129
129
  - - "<"
130
130
  - !ruby/object:Gem::Version
131
131
  version: '1.0'
@@ -249,6 +249,26 @@ dependencies:
249
249
  - - "<"
250
250
  - !ruby/object:Gem::Version
251
251
  version: '4.0'
252
+ - !ruby/object:Gem::Dependency
253
+ name: test-prof
254
+ requirement: !ruby/object:Gem::Requirement
255
+ requirements:
256
+ - - ">="
257
+ - !ruby/object:Gem::Version
258
+ version: '1.6'
259
+ - - "<"
260
+ - !ruby/object:Gem::Version
261
+ version: '2.0'
262
+ type: :development
263
+ prerelease: false
264
+ version_requirements: !ruby/object:Gem::Requirement
265
+ requirements:
266
+ - - ">="
267
+ - !ruby/object:Gem::Version
268
+ version: '1.6'
269
+ - - "<"
270
+ - !ruby/object:Gem::Version
271
+ version: '2.0'
252
272
  description: 'Rigor is a CLI-first static analyzer for Ruby applications that prioritizes
253
273
  type inference, clean application code, and zero runtime dependencies. Rigor is
254
274
  a standalone tool, not a library: install it independently rather than adding it
@@ -401,11 +421,13 @@ files:
401
421
  - lib/rigor/analysis/check_rules.rb
402
422
  - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
403
423
  - lib/rigor/analysis/check_rules/dead_assignment_collector.rb
424
+ - lib/rigor/analysis/check_rules/dead_version_guard_arms.rb
404
425
  - lib/rigor/analysis/check_rules/declaration_sourced_guard.rb
405
426
  - lib/rigor/analysis/check_rules/duplicate_hash_key_collector.rb
406
427
  - lib/rigor/analysis/check_rules/inferred_param_guard.rb
407
428
  - lib/rigor/analysis/check_rules/ivar_write_collector.rb
408
429
  - lib/rigor/analysis/check_rules/main_pass_collector.rb
430
+ - lib/rigor/analysis/check_rules/published_constant_guard.rb
409
431
  - lib/rigor/analysis/check_rules/return_in_ensure_collector.rb
410
432
  - lib/rigor/analysis/check_rules/rule_ids.rb
411
433
  - lib/rigor/analysis/check_rules/rule_walk.rb
@@ -413,6 +435,7 @@ files:
413
435
  - lib/rigor/analysis/check_rules/shadowed_rescue_collector.rb
414
436
  - lib/rigor/analysis/check_rules/unreachable_clause_collector.rb
415
437
  - lib/rigor/analysis/check_rules/void_value_use_collector.rb
438
+ - lib/rigor/analysis/crash_signature.rb
416
439
  - lib/rigor/analysis/dependency_recorder.rb
417
440
  - lib/rigor/analysis/dependency_source_inference.rb
418
441
  - lib/rigor/analysis/dependency_source_inference/boundary_cross_reporter.rb
@@ -462,6 +485,7 @@ files:
462
485
  - lib/rigor/builtins/predefined_constant_refinements.rb
463
486
  - lib/rigor/builtins/regex_refinement.rb
464
487
  - lib/rigor/builtins/static_return_refinements.rb
488
+ - lib/rigor/cache/annotation_location.rb
465
489
  - lib/rigor/cache/descriptor.rb
466
490
  - lib/rigor/cache/engine_source.rb
467
491
  - lib/rigor/cache/file_digest.rb
@@ -504,6 +528,7 @@ files:
504
528
  - lib/rigor/cli/fused_protection_report.rb
505
529
  - lib/rigor/cli/lsp_command.rb
506
530
  - lib/rigor/cli/mcp_command.rb
531
+ - lib/rigor/cli/measurement_integrity_warning.rb
507
532
  - lib/rigor/cli/mutation_fork_scan.rb
508
533
  - lib/rigor/cli/mutation_protection_renderer.rb
509
534
  - lib/rigor/cli/mutation_protection_report.rb
@@ -581,6 +606,7 @@ files:
581
606
  - lib/rigor/environment/class_registry.rb
582
607
  - lib/rigor/environment/constant_type_cache_holder.rb
583
608
  - lib/rigor/environment/default_libraries.rb
609
+ - lib/rigor/environment/failure_slot.rb
584
610
  - lib/rigor/environment/hkt_registry_holder.rb
585
611
  - lib/rigor/environment/lockfile_resolver.rb
586
612
  - lib/rigor/environment/missing_gem_constant_index.rb
@@ -621,7 +647,9 @@ files:
621
647
  - lib/rigor/inference/builtins/string_catalog.rb
622
648
  - lib/rigor/inference/builtins/struct_catalog.rb
623
649
  - lib/rigor/inference/builtins/time_catalog.rb
650
+ - lib/rigor/inference/captured_locals.rb
624
651
  - lib/rigor/inference/closure_escape_analyzer.rb
652
+ - lib/rigor/inference/content_join.rb
625
653
  - lib/rigor/inference/coverage_scanner.rb
626
654
  - lib/rigor/inference/def_handle.rb
627
655
  - lib/rigor/inference/def_node_resolver.rb
@@ -636,6 +664,8 @@ files:
636
664
  - lib/rigor/inference/hkt_body_parser.rb
637
665
  - lib/rigor/inference/hkt_reducer.rb
638
666
  - lib/rigor/inference/hkt_registry.rb
667
+ - lib/rigor/inference/hkt_sugar_translator.rb
668
+ - lib/rigor/inference/index_write_widening.rb
639
669
  - lib/rigor/inference/indexed_narrowing.rb
640
670
  - lib/rigor/inference/macro_block_self_type.rb
641
671
  - lib/rigor/inference/method_dispatcher.rb
@@ -647,6 +677,7 @@ files:
647
677
  - lib/rigor/inference/method_dispatcher/data_folding.rb
648
678
  - lib/rigor/inference/method_dispatcher/file_folding.rb
649
679
  - lib/rigor/inference/method_dispatcher/iterator_dispatch.rb
680
+ - lib/rigor/inference/method_dispatcher/json_folding.rb
650
681
  - lib/rigor/inference/method_dispatcher/kernel_dispatch.rb
651
682
  - lib/rigor/inference/method_dispatcher/literal_string_folding.rb
652
683
  - lib/rigor/inference/method_dispatcher/math_folding.rb
@@ -661,8 +692,11 @@ files:
661
692
  - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
662
693
  - lib/rigor/inference/method_dispatcher/shellwords_folding.rb
663
694
  - lib/rigor/inference/method_dispatcher/singleton_folding.rb
695
+ - lib/rigor/inference/method_dispatcher/singleton_mixin_dispatch.rb
664
696
  - lib/rigor/inference/method_dispatcher/struct_folding.rb
697
+ - lib/rigor/inference/method_dispatcher/struct_materialization.rb
665
698
  - lib/rigor/inference/method_dispatcher/time_folding.rb
699
+ - lib/rigor/inference/method_dispatcher/universal_object_dispatch.rb
666
700
  - lib/rigor/inference/method_dispatcher/uri_folding.rb
667
701
  - lib/rigor/inference/method_parameter_binder.rb
668
702
  - lib/rigor/inference/multi_target_binder.rb
@@ -685,6 +719,7 @@ files:
685
719
  - lib/rigor/inference/synthetic_method.rb
686
720
  - lib/rigor/inference/synthetic_method_index.rb
687
721
  - lib/rigor/inference/synthetic_method_scanner.rb
722
+ - lib/rigor/inference/version_guard.rb
688
723
  - lib/rigor/inference/void_origin.rb
689
724
  - lib/rigor/inference/void_tail_summary.rb
690
725
  - lib/rigor/language_server.rb
@@ -740,11 +775,13 @@ files:
740
775
  - lib/rigor/plugin/source_rbs_synthesis_reporter.rb
741
776
  - lib/rigor/plugin/trust_policy.rb
742
777
  - lib/rigor/plugin/type_node_resolver.rb
778
+ - lib/rigor/protection/analysis_guard.rb
743
779
  - lib/rigor/protection/closure_kill_oracle.rb
744
780
  - lib/rigor/protection/dependency_closure.rb
745
781
  - lib/rigor/protection/diagnostic_oracle.rb
746
782
  - lib/rigor/protection/discovery_seed.rb
747
783
  - lib/rigor/protection/kill_signature.rb
784
+ - lib/rigor/protection/measurement_integrity.rb
748
785
  - lib/rigor/protection/mutation_cache.rb
749
786
  - lib/rigor/protection/mutation_scanner.rb
750
787
  - lib/rigor/protection/mutator.rb
@@ -800,9 +837,11 @@ files:
800
837
  - lib/rigor/type/hash_shape.rb
801
838
  - lib/rigor/type/integer_range.rb
802
839
  - lib/rigor/type/intersection.rb
840
+ - lib/rigor/type/maybe.rb
803
841
  - lib/rigor/type/nominal.rb
804
842
  - lib/rigor/type/plain_lattice.rb
805
843
  - lib/rigor/type/refined.rb
844
+ - lib/rigor/type/result.rb
806
845
  - lib/rigor/type/singleton.rb
807
846
  - lib/rigor/type/struct_class.rb
808
847
  - lib/rigor/type/struct_instance.rb
@@ -869,6 +908,8 @@ files:
869
908
  - plugins/rigor-activesupport-core-ext/sig/active_support/core_ext.rbs
870
909
  - plugins/rigor-devise/lib/rigor-devise.rb
871
910
  - plugins/rigor-devise/lib/rigor/plugin/devise.rb
911
+ - plugins/rigor-dry-monads/lib/rigor-dry-monads.rb
912
+ - plugins/rigor-dry-monads/lib/rigor/plugin/dry_monads.rb
872
913
  - plugins/rigor-dry-schema/lib/rigor-dry-schema.rb
873
914
  - plugins/rigor-dry-schema/lib/rigor/plugin/dry_schema.rb
874
915
  - plugins/rigor-dry-schema/lib/rigor/plugin/dry_schema/result_shape.rb
@@ -883,11 +924,26 @@ files:
883
924
  - plugins/rigor-dry-validation/lib/rigor/plugin/dry_validation/contract_scanner.rb
884
925
  - plugins/rigor-dry-validation/lib/rigor/plugin/dry_validation/params_shape.rb
885
926
  - plugins/rigor-dry-validation/sig/dry_validation.rbs
927
+ - plugins/rigor-ethon/lib/rigor-ethon.rb
928
+ - plugins/rigor-ethon/lib/rigor/plugin/ethon.rb
929
+ - plugins/rigor-ethon/sig/ethon.rbs
886
930
  - plugins/rigor-factorybot/lib/rigor-factorybot.rb
887
931
  - plugins/rigor-factorybot/lib/rigor/plugin/factorybot.rb
888
932
  - plugins/rigor-factorybot/lib/rigor/plugin/factorybot/analyzer.rb
889
933
  - plugins/rigor-factorybot/lib/rigor/plugin/factorybot/factory_discoverer.rb
890
934
  - plugins/rigor-factorybot/lib/rigor/plugin/factorybot/factory_index.rb
935
+ - plugins/rigor-ffi-rzmq/lib/rigor-ffi-rzmq.rb
936
+ - plugins/rigor-ffi-rzmq/lib/rigor/plugin/ffi_rzmq.rb
937
+ - plugins/rigor-ffi-rzmq/sig/ffi_rzmq.rbs
938
+ - plugins/rigor-ffi/lib/rigor-ffi.rb
939
+ - plugins/rigor-ffi/lib/rigor/plugin/ffi.rb
940
+ - plugins/rigor-ffi/lib/rigor/plugin/ffi/analyzer.rb
941
+ - plugins/rigor-ffi/lib/rigor/plugin/ffi/binding_recognizer.rb
942
+ - plugins/rigor-ffi/lib/rigor/plugin/ffi/catalog.rb
943
+ - plugins/rigor-ffi/lib/rigor/plugin/ffi/discoverer.rb
944
+ - plugins/rigor-ffi/lib/rigor/plugin/ffi/target_detector.rb
945
+ - plugins/rigor-ffi/lib/rigor/plugin/ffi/types.rb
946
+ - plugins/rigor-ffi/sig/ffi.rbs
891
947
  - plugins/rigor-graphql/lib/rigor-graphql.rb
892
948
  - plugins/rigor-graphql/lib/rigor/plugin/graphql.rb
893
949
  - plugins/rigor-graphql/lib/rigor/plugin/graphql/type_scanner.rb
@@ -926,6 +982,9 @@ files:
926
982
  - plugins/rigor-railties/lib/rigor-railties.rb
927
983
  - plugins/rigor-railties/lib/rigor/plugin/railties.rb
928
984
  - plugins/rigor-railties/lib/rigor/plugin/railties/effects.rb
985
+ - plugins/rigor-rbnacl/lib/rigor-rbnacl.rb
986
+ - plugins/rigor-rbnacl/lib/rigor/plugin/rbnacl.rb
987
+ - plugins/rigor-rbnacl/sig/rbnacl.rbs
929
988
  - plugins/rigor-rbs-inline/lib/rigor-rbs-inline.rb
930
989
  - plugins/rigor-rbs-inline/lib/rigor/plugin/rbs_inline.rb
931
990
  - plugins/rigor-rspec-rails/lib/rigor-rspec-rails.rb
@@ -939,6 +998,9 @@ files:
939
998
  - plugins/rigor-rspec/lib/rigor/plugin/rspec/let_type_resolver.rb
940
999
  - plugins/rigor-rspec/lib/rigor/plugin/rspec/matcher_analyzer.rb
941
1000
  - plugins/rigor-rspec/lib/rigor/plugin/rspec/scope_walker.rb
1001
+ - plugins/rigor-sassc/lib/rigor-sassc.rb
1002
+ - plugins/rigor-sassc/lib/rigor/plugin/sassc.rb
1003
+ - plugins/rigor-sassc/sig/sassc.rbs
942
1004
  - plugins/rigor-shoulda-matchers/lib/rigor-shoulda-matchers.rb
943
1005
  - plugins/rigor-shoulda-matchers/lib/rigor/plugin/shoulda_matchers.rb
944
1006
  - plugins/rigor-shoulda-matchers/lib/rigor/plugin/shoulda_matchers/analyzer.rb
@@ -1061,11 +1123,15 @@ require_paths:
1061
1123
  - plugins/rigor-activestorage/lib
1062
1124
  - plugins/rigor-activesupport-core-ext/lib
1063
1125
  - plugins/rigor-devise/lib
1126
+ - plugins/rigor-dry-monads/lib
1064
1127
  - plugins/rigor-dry-schema/lib
1065
1128
  - plugins/rigor-dry-struct/lib
1066
1129
  - plugins/rigor-dry-types/lib
1067
1130
  - plugins/rigor-dry-validation/lib
1131
+ - plugins/rigor-ethon/lib
1068
1132
  - plugins/rigor-factorybot/lib
1133
+ - plugins/rigor-ffi/lib
1134
+ - plugins/rigor-ffi-rzmq/lib
1069
1135
  - plugins/rigor-graphql/lib
1070
1136
  - plugins/rigor-hanami/lib
1071
1137
  - plugins/rigor-mangrove/lib
@@ -1075,9 +1141,11 @@ require_paths:
1075
1141
  - plugins/rigor-rails-i18n/lib
1076
1142
  - plugins/rigor-rails-routes/lib
1077
1143
  - plugins/rigor-railties/lib
1144
+ - plugins/rigor-rbnacl/lib
1078
1145
  - plugins/rigor-rbs-inline/lib
1079
1146
  - plugins/rigor-rspec/lib
1080
1147
  - plugins/rigor-rspec-rails/lib
1148
+ - plugins/rigor-sassc/lib
1081
1149
  - plugins/rigor-shoulda-matchers/lib
1082
1150
  - plugins/rigor-sidekiq/lib
1083
1151
  - plugins/rigor-sinatra/lib