rigortype 0.1.5 → 0.1.6

data/lib/rigor/type/app.rb

@@ -0,0 +1,107 @@
+# frozen_string_literal: true
+
+require_relative "../trinary"
+
+module Rigor
+  module Type
+    # A defunctionalised higher-kinded type application — the abstract
+    # "apply type-constructor `uri` to argument list `args`" carrier.
+    #
+    # `uri` is a namespaced `Symbol` of the form `:author::name`
+    # (e.g. `:"json::value"`, `:"dry_monads::result"`); the `::`
+    # namespace separator is mandatory per ADR-20 WD1 to prevent
+    # cross-plugin tag collisions.
+    #
+    # `args` is an ordered, frozen `Array` of `Rigor::Type` values
+    # carrying the application's argument list. At least one argument
+    # is required; arity-zero "HKT" forms are not modelled by this
+    # carrier (use a plain type alias instead).
+    #
+    # `bound` is a `Rigor::Type` representing the value Rigor MUST
+    # erase to when this `App` cannot be reduced — registered at
+    # `%a{rigor:v1:hkt_register}` time, defaulting to
+    # `Rigor::Type::Dynamic[Rigor::Type::Top]` per ADR-20 D5 / WD2. It
+    # also drives the lattice probes (`top` / `bot` / `dynamic`) and
+    # the acceptance fallback while no reduction is wired (Slice 1).
+    #
+    # Slice 1 ships the carrier as **opaque**: every operation
+    # delegates to `bound` since no reduction surface exists yet. Slice
+    # 2 introduces the conditional / indexed-access evaluator that
+    # reduces `App` to its registered body before delegating; the
+    # carrier shape stays identical.
+    #
+    # Display form per ADR-20 OQ5: bare RBS-style `uri[arg1, arg2]`,
+    # not the wrapped `App[uri, [arg1, arg2]]` faithful form. Two
+    # `App` values are structurally equal iff their `uri`, `args`,
+    # AND `bound` match.
+    #
+    # See docs/adr/20-lightweight-hkt.md.
+    class App
+      URI_SEPARATOR = "::"
+
+      attr_reader :uri, :args, :bound
+
+      def initialize(uri, args, bound:)
+        raise ArgumentError, "uri must be a Symbol, got #{uri.class}" unless uri.is_a?(Symbol)
+        unless uri.to_s.include?(URI_SEPARATOR)
+          raise ArgumentError,
+                "uri must be namespaced as `:author#{URI_SEPARATOR}name` per ADR-20 WD1, got #{uri.inspect}"
+        end
+        raise ArgumentError, "args must be an Array, got #{args.class}" unless args.is_a?(Array)
+        raise ArgumentError, "args must be non-empty (use a plain type alias for arity-0 forms)" if args.empty?
+        raise ArgumentError, "bound must be a Rigor type, got #{bound.class}" if bound.nil?
+
+        @uri = uri
+        @args = args.dup.freeze
+        @bound = bound
+        freeze
+      end
+
+      def describe(verbosity = :short)
+        rendered = args.map { |t| t.describe(verbosity) }.join(", ")
+        "#{uri}[#{rendered}]"
+      end
+
+      def erase_to_rbs
+        bound.erase_to_rbs
+      end
+
+      def top
+        bound.top
+      end
+
+      def bot
+        bound.bot
+      end
+
+      def dynamic
+        bound.dynamic
+      end
+
+      def accepts(other, mode: :gradual)
+        Inference::Acceptance.accepts(bound, other, mode: mode)
+      end
+
+      def ==(other)
+        other.is_a?(App) && uri == other.uri && args == other.args && bound == other.bound
+      end
+      alias eql? ==
+
+      def hash
+        [App, uri, args, bound].hash
+      end
+
+      def inspect
+        "#<Rigor::Type::App #{describe(:short)} (bound=#{bound.describe(:short)})>"
+      end
+
+      # ADR-20 Slice 2a — reduce this application against a
+      # registry. Returns the reducer's output (`bound` when
+      # reduction is blocked or fuel exhausts).
+      def reduce(registry, fuel: nil)
+        fuel ||= Inference::HktReducer::DEFAULT_FUEL
+        registry.reduce(self, fuel: fuel)
+      end
+    end
+  end
+end

data/lib/rigor/type.rb

@@ -23,6 +23,7 @@ require_relative "type/union"
 require_relative "type/difference"
 require_relative "type/refined"
 require_relative "type/intersection"
+require_relative "type/app"
 require_relative "type/bound_method"
 require_relative "type/accepts_result"
 require_relative "type/combinator"

data/lib/rigor/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Rigor
-  VERSION = "0.1.5"
+  VERSION = "0.1.6"
 end

data/sig/rigor/environment.rbs

@@ -8,15 +8,19 @@ module Rigor
     attr_reader rbs_loader: RbsLoader?
     attr_reader plugin_registry: untyped?
     attr_reader dependency_source_index: untyped?
-    attr_reader rbs_extended_reporter: untyped?
-    attr_reader boundary_cross_reporter: untyped?
+    attr_reader reporters: untyped
     attr_reader name_scope: untyped?
     attr_reader synthetic_method_index: untyped?
+    attr_reader project_patched_methods: untyped?
+    attr_reader hkt_registry: untyped?
 
     def self.default: () -> Environment
-    def self.for_project: (?root: String, ?libraries: Array[String], ?signature_paths: Array[String | _ToPath]?, ?cache_store: untyped?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?bundler_bundle_path: String?, ?bundler_auto_detect: bool, ?synthetic_method_index: untyped?) -> Environment
+    def self.for_project: (?root: String, ?libraries: Array[String], ?signature_paths: Array[String | _ToPath]?, ?cache_store: untyped?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?bundler_bundle_path: String?, ?bundler_auto_detect: bool, ?synthetic_method_index: untyped?, ?project_patched_methods: untyped?) -> Environment
 
-    def initialize: (?class_registry: ClassRegistry, ?rbs_loader: RbsLoader?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?synthetic_method_index: untyped?) -> void
+    def initialize: (?class_registry: ClassRegistry, ?rbs_loader: RbsLoader?, ?plugin_registry: untyped?, ?dependency_source_index: untyped?, ?rbs_extended_reporter: untyped?, ?boundary_cross_reporter: untyped?, ?synthetic_method_index: untyped?, ?project_patched_methods: untyped?) -> void
+    def rbs_extended_reporter: () -> untyped?
+    def boundary_cross_reporter: () -> untyped?
+    def attach_reporters!: (rbs_extended_reporter: untyped?, boundary_cross_reporter: untyped?) -> nil
     def nominal_for_name: (String | Symbol name) -> Type::Nominal?
     def singleton_for_name: (String | Symbol name) -> Type::Singleton?
     def constant_for_name: (String | Symbol name) -> Type::t?

data/sig/rigor/inference.rbs

@@ -134,6 +134,8 @@ module Rigor
       def self?.index: (untyped root, default_scope: Scope) -> Hash[untyped, Scope]
       def self?.build_declaration_overrides: (untyped root) -> Hash[untyped, Type::t]
       def self?.record_declarations: (untyped node, Array[String] qualified_prefix, Hash[untyped, Type::t] identity_table, Hash[String, Type::t] discovered) -> void
+      def self?.discovered_classes_for_paths: (Array[String] paths, ?buffer: untyped) -> Hash[String, Type::t]
+      def self?.collect_class_decls: (untyped node, Array[String] qualified_prefix, Hash[String, Type::t] accumulator) -> void
       def self?.qualified_name_for: (untyped constant_path_node) -> String?
       def self?.render_constant_path: (untyped node) -> String
       def self?.propagate: (untyped node, Hash[untyped, Scope] table, Scope parent_scope) -> void

data/sig/rigor.rbs

@@ -104,8 +104,10 @@ module Rigor
       # otherwise raises `RBS::UnknownTypeName` for the named type.
       attr_reader cache_store: untyped
       attr_reader plugin_registry: untyped
-      def initialize: (configuration: Configuration, ?explain: bool, ?cache_store: untyped, ?plugin_requirer: untyped, ?workers: Integer, ?collect_stats: bool) -> void
+      attr_reader buffer: untyped
+      def initialize: (configuration: Configuration, ?explain: bool, ?cache_store: untyped, ?plugin_requirer: untyped, ?workers: Integer, ?collect_stats: bool, ?buffer: untyped, ?prebuilt: untyped, ?environment: untyped) -> void
       def run: (?Array[String] paths) -> Result
+      def prepare_project_scan: (?paths: Array[String]) -> untyped
     end
   end
 end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: rigortype
 version: !ruby/object:Gem::Version
-  version: 0.1.5
+  version: 0.1.6
 platform: ruby
 authors:
 - Rigor contributors
@@ -9,6 +9,26 @@ bindir: exe
 cert_chain: []
 date: 1980-01-01 00:00:00.000000000 Z
 dependencies:
+- !ruby/object:Gem::Dependency
+  name: language_server-protocol
+  requirement: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.17'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
+  type: :runtime
+  prerelease: false
+  version_requirements: !ruby/object:Gem::Requirement
+    requirements:
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: '3.17'
+    - - "<"
+      - !ruby/object:Gem::Version
+        version: '4.0'
 - !ruby/object:Gem::Dependency
   name: prism
   requirement: !ruby/object:Gem::Requirement
@@ -203,6 +223,7 @@ files:
 - data/builtins/ruby_core/time.yml
 - exe/rigor
 - lib/rigor.rb
+- lib/rigor/analysis/buffer_binding.rb
 - lib/rigor/analysis/check_rules.rb
 - lib/rigor/analysis/check_rules/always_truthy_condition_collector.rb
 - lib/rigor/analysis/check_rules/dead_assignment_collector.rb
@@ -212,9 +233,11 @@ files:
 - lib/rigor/analysis/dependency_source_inference/builder.rb
 - lib/rigor/analysis/dependency_source_inference/gem_resolver.rb
 - lib/rigor/analysis/dependency_source_inference/index.rb
+- lib/rigor/analysis/dependency_source_inference/return_type_heuristic.rb
 - lib/rigor/analysis/dependency_source_inference/walker.rb
 - lib/rigor/analysis/diagnostic.rb
 - lib/rigor/analysis/fact_store.rb
+- lib/rigor/analysis/project_scan.rb
 - lib/rigor/analysis/result.rb
 - lib/rigor/analysis/rule_catalog.rb
 - lib/rigor/analysis/run_stats.rb
@@ -222,8 +245,10 @@ files:
 - lib/rigor/analysis/worker_session.rb
 - lib/rigor/ast.rb
 - lib/rigor/ast/type_node.rb
+- lib/rigor/builtins/hkt_builtins.rb
 - lib/rigor/builtins/imported_refinements.rb
 - lib/rigor/builtins/regex_refinement.rb
+- lib/rigor/builtins/static_return_refinements.rb
 - lib/rigor/cache/descriptor.rb
 - lib/rigor/cache/rbs_class_ancestor_table.rb
 - lib/rigor/cache/rbs_class_type_param_names.rb
@@ -237,6 +262,7 @@ files:
 - lib/rigor/cli.rb
 - lib/rigor/cli/diff_command.rb
 - lib/rigor/cli/explain_command.rb
+- lib/rigor/cli/lsp_command.rb
 - lib/rigor/cli/sig_gen_command.rb
 - lib/rigor/cli/type_of_command.rb
 - lib/rigor/cli/type_of_renderer.rb
@@ -249,12 +275,14 @@ files:
 - lib/rigor/environment.rb
 - lib/rigor/environment/bundle_sig_discovery.rb
 - lib/rigor/environment/class_registry.rb
+- lib/rigor/environment/hkt_registry_holder.rb
 - lib/rigor/environment/lockfile_resolver.rb
 - lib/rigor/environment/rbs_collection_discovery.rb
 - lib/rigor/environment/rbs_coverage_report.rb
 - lib/rigor/environment/rbs_hierarchy.rb
 - lib/rigor/environment/rbs_loader.rb
 - lib/rigor/environment/reflection.rb
+- lib/rigor/environment/reporters.rb
 - lib/rigor/flow_contribution.rb
 - lib/rigor/flow_contribution/conflict.rb
 - lib/rigor/flow_contribution/element.rb
@@ -288,6 +316,10 @@ files:
 - lib/rigor/inference/expression_typer.rb
 - lib/rigor/inference/fallback.rb
 - lib/rigor/inference/fallback_tracer.rb
+- lib/rigor/inference/hkt_body.rb
+- lib/rigor/inference/hkt_body_parser.rb
+- lib/rigor/inference/hkt_reducer.rb
+- lib/rigor/inference/hkt_registry.rb
 - lib/rigor/inference/macro_block_self_type.rb
 - lib/rigor/inference/method_dispatcher.rb
 - lib/rigor/inference/method_dispatcher/block_folding.rb
@@ -299,16 +331,35 @@ files:
 - lib/rigor/inference/method_dispatcher/method_folding.rb
 - lib/rigor/inference/method_dispatcher/overload_selector.rb
 - lib/rigor/inference/method_dispatcher/rbs_dispatch.rb
+- lib/rigor/inference/method_dispatcher/receiver_affinity.rb
 - lib/rigor/inference/method_dispatcher/shape_dispatch.rb
 - lib/rigor/inference/method_parameter_binder.rb
 - lib/rigor/inference/multi_target_binder.rb
 - lib/rigor/inference/narrowing.rb
+- lib/rigor/inference/project_patched_methods.rb
+- lib/rigor/inference/project_patched_scanner.rb
 - lib/rigor/inference/rbs_type_translator.rb
 - lib/rigor/inference/scope_indexer.rb
 - lib/rigor/inference/statement_evaluator.rb
 - lib/rigor/inference/synthetic_method.rb
 - lib/rigor/inference/synthetic_method_index.rb
 - lib/rigor/inference/synthetic_method_scanner.rb
+- lib/rigor/language_server.rb
+- lib/rigor/language_server/buffer_table.rb
+- lib/rigor/language_server/completion_provider.rb
+- lib/rigor/language_server/debouncer.rb
+- lib/rigor/language_server/diagnostic_publisher.rb
+- lib/rigor/language_server/document_symbol_provider.rb
+- lib/rigor/language_server/folding_range_provider.rb
+- lib/rigor/language_server/hover_provider.rb
+- lib/rigor/language_server/hover_renderer.rb
+- lib/rigor/language_server/loop.rb
+- lib/rigor/language_server/project_context.rb
+- lib/rigor/language_server/selection_range_provider.rb
+- lib/rigor/language_server/server.rb
+- lib/rigor/language_server/signature_help_provider.rb
+- lib/rigor/language_server/synchronized_writer.rb
+- lib/rigor/language_server/uri.rb
 - lib/rigor/plugin.rb
 - lib/rigor/plugin/access_denied_error.rb
 - lib/rigor/plugin/base.rb
@@ -328,6 +379,7 @@ files:
 - lib/rigor/plugin/trust_policy.rb
 - lib/rigor/plugin/type_node_resolver.rb
 - lib/rigor/rbs_extended.rb
+- lib/rigor/rbs_extended/hkt_directives.rb
 - lib/rigor/rbs_extended/reporter.rb
 - lib/rigor/reflection.rb
 - lib/rigor/scope.rb
@@ -350,6 +402,7 @@ files:
 - lib/rigor/trinary.rb
 - lib/rigor/type.rb
 - lib/rigor/type/accepts_result.rb
+- lib/rigor/type/app.rb
 - lib/rigor/type/bot.rb
 - lib/rigor/type/bound_method.rb
 - lib/rigor/type/combinator.rb