ibex 0.2.0 → 0.3.0

data/sig/ibex/lalr/lr0_collection.rbs

@@ -0,0 +1,50 @@
+# Generated from lib/ibex/lalr/lr0_collection.rb with RBS::Inline
+
+module Ibex
+  module LALR
+    # Constructs only the LR(0) core collection.  Keeping this separate from
+    # lookahead propagation makes the direct IELR phases reusable and gives
+    # them a stable, canonical-free input representation.
+    class LR0Collection
+      AUGMENTED_PRODUCTION: Integer
+
+      @grammar: IR::Grammar
+
+      @productions_by_lhs: Hash[Integer, Array[IR::Production]]
+
+      @starts: Array[String]
+
+      @augmented_rhs: Hash[Integer, Array[Integer]]
+
+      @production_rhs: Array[Array[Integer]]
+
+      @item_key_stride: Integer
+
+      # @rbs (IR::Grammar grammar, ?starts: Array[String]?) -> void
+      def initialize: (IR::Grammar grammar, ?starts: Array[String]?) -> void
+
+      # @rbs () -> [Array[core_set], transitions]
+      def build: () -> [ Array[core_set], transitions ]
+
+      # @rbs (Integer index) -> Integer
+      def augmented_production: (Integer index) -> Integer
+
+      # @rbs (Integer production_id) -> Array[Integer]
+      def rhs_for: (Integer production_id) -> Array[Integer]
+
+      # @rbs (Integer production_id) -> Integer
+      def lhs_for: (Integer production_id) -> Integer
+
+      # @rbs (core_set items) -> Hash[Integer, core_set]
+      def shifted_kernels: (core_set items) -> Hash[Integer, core_set]
+
+      private
+
+      # @rbs (core_set seed) -> core_set
+      def closure: (core_set seed) -> core_set
+
+      # @rbs (core_set items) -> Array[Integer]
+      def item_key: (core_set items) -> Array[Integer]
+    end
+  end
+end

data/sig/ibex/lalr/unreachable_states.rbs

@@ -0,0 +1,25 @@
+# Generated from lib/ibex/lalr/unreachable_states.rb with RBS::Inline
+
+module Ibex
+  module LALR
+    # Optional post-resolution compaction.  It is intentionally off by
+    # default because state numbers are part of diagnostics and golden output.
+    module UnreachableStates
+      # @rbs (Array[IR::AutomatonState] states, Array[Integer] start_states) ->
+      #   [Array[IR::AutomatonState], Hash[Integer, Integer]]
+      def self?.remove: (Array[IR::AutomatonState] states, Array[Integer] start_states) -> [ Array[IR::AutomatonState], Hash[Integer, Integer] ]
+
+      # @rbs (Array[IR::AutomatonState], Array[Integer]) -> Array[Integer]
+      def self?.reachable_states: (Array[IR::AutomatonState], Array[Integer]) -> Array[Integer]
+
+      # @rbs (Hash[Integer, Integer], Hash[Integer, Integer]) -> Hash[Integer, Integer]
+      def self?.remap_edges: (Hash[Integer, Integer], Hash[Integer, Integer]) -> Hash[Integer, Integer]
+
+      # @rbs (IR::parser_action?, Hash[Integer, Integer]) -> IR::parser_action?
+      def self?.remap_action: (IR::parser_action?, Hash[Integer, Integer]) -> IR::parser_action?
+
+      # @rbs (IR::conflict, Hash[Integer, Integer]) -> IR::conflict
+      def self?.remap_conflict: (IR::conflict, Hash[Integer, Integer]) -> IR::conflict
+    end
+  end
+end

data/sig/ibex/lalr.rbs

@@ -14,16 +14,26 @@ module Ibex
 
     type transitions = Array[Hash[Integer, Integer]]
 
+    type build_collection = { construction_states: Integer, canonical_states: Integer?, strategy: Symbol, lr0_states: Integer?, lr0_items: Integer?, canonical_items: Integer?, propagation_edges: Integer?, ielr_initial_partitions: Integer?, ielr_final_partitions: Integer?, ielr_annotations: Integer?, ielr_annotated_states: Integer?, ielr_inadequacies: Integer?, ielr_split_stable_discarded: Integer?, ielr_lalr_states: Integer?, ielr_split_states: Integer?, ielr_unreachable_removed: Integer?, ielr_remergeable_candidates: Integer? }
+
+    type conflict_fingerprint = [ Symbol, String, Array[Integer] ]
+
     type lookahead_node = [ Integer, Integer, Integer ]
 
     type state_partition = Array[Integer]
 
-    type derivation_node = Hash[Symbol, untyped]
+    type derivation_node = Hash[Symbol, Object?]
 
     type search_status = :conflict | :shifted | :accepted
 
     type search_entry = [ search_status, ConflictSearch::Configuration ]
 
     type search_result = { sentence_ids: Array[Integer], lookahead_index: Integer, interpretations: Array[IR::interpretation] }
+
+    type search_bounds = { max_tokens: Integer, max_configurations: Integer }
+
+    type search_outcome = { status: :found | :not_found | :exhausted, result: search_result?, explored: Integer, exhausted: bool, bounds: search_bounds }
+
+    type search_counterexample = { state: Integer, type: Symbol, symbol_path: Array[String], sentence: Array[String], lookahead_index: Integer, unifying: bool, inconclusive: bool, search: search_outcome, interpretations: Array[IR::interpretation] }
   end
 end

data/sig/ibex/location.rbs

@@ -38,16 +38,16 @@ module Ibex
     # @rbs () -> bool
     def empty?: () -> bool
 
-    # @rbs () -> Hash[Symbol, untyped]
-    def to_h: () -> Hash[Symbol, untyped]
+    # @rbs () -> Hash[Symbol, String | Integer]
+    def to_h: () -> Hash[Symbol, String | Integer]
 
     private
 
-    # @rbs (Symbol name, untyped value) -> Integer
-    def positive_coordinate: (Symbol name, untyped value) -> Integer
+    # @rbs (Symbol name, Object? value) -> Integer
+    def positive_coordinate: (Symbol name, Object? value) -> Integer
 
-    # @rbs (Symbol name, untyped value) -> Integer?
-    def optional_offset: (Symbol name, untyped value) -> Integer?
+    # @rbs (Symbol name, Object? value) -> Integer?
+    def optional_offset: (Symbol name, Object? value) -> Integer?
 
     # @rbs () -> void
     def validate_order!: () -> void

data/sig/ibex/lsp/document_handlers.rbs

@@ -8,17 +8,17 @@ module Ibex
 
       private
 
-      # @rbs (untyped raw_params) -> nil
-      def did_open: (untyped raw_params) -> nil
+      # @rbs (lsp_value? raw_params) -> nil
+      def did_open: (lsp_value? raw_params) -> nil
 
-      # @rbs (untyped raw_params) -> nil
-      def did_change: (untyped raw_params) -> nil
+      # @rbs (lsp_value? raw_params) -> nil
+      def did_change: (lsp_value? raw_params) -> nil
 
-      # @rbs (untyped raw_params) -> nil
-      def did_save: (untyped raw_params) -> nil
+      # @rbs (lsp_value? raw_params) -> nil
+      def did_save: (lsp_value? raw_params) -> nil
 
-      # @rbs (untyped raw_params) -> nil
-      def did_close: (untyped raw_params) -> nil
+      # @rbs (lsp_value? raw_params) -> nil
+      def did_close: (lsp_value? raw_params) -> nil
     end
   end
 end

data/sig/ibex/lsp/initialization_handlers.rbs

@@ -8,23 +8,23 @@ module Ibex
 
       private
 
-      # @rbs (untyped raw_params) -> Hash[String, untyped]
-      def initialize_workspace: (untyped raw_params) -> Hash[String, untyped]
+      # @rbs (lsp_value? raw_params) -> lsp_object
+      def initialize_workspace: (lsp_value? raw_params) -> lsp_object
 
-      # @rbs (untyped params) -> nil
-      def initialized_notification: (untyped params) -> nil
+      # @rbs (lsp_value? params) -> nil
+      def initialized_notification: (lsp_value? params) -> nil
 
-      # @rbs (untyped params) -> nil
-      def shutdown_request: (untyped params) -> nil
+      # @rbs (lsp_value? params) -> nil
+      def shutdown_request: (lsp_value? params) -> nil
 
-      # @rbs (untyped params) -> nil
-      def exit_notification: (untyped params) -> nil
+      # @rbs (lsp_value? params) -> nil
+      def exit_notification: (lsp_value? params) -> nil
 
-      # @rbs () -> Hash[String, untyped]
-      def capabilities: () -> Hash[String, untyped]
+      # @rbs () -> lsp_object
+      def capabilities: () -> lsp_object
 
-      # @rbs (Hash[String, untyped] params) -> Array[String]
-      def initialization_roots: (Hash[String, untyped] params) -> Array[String]
+      # @rbs (lsp_object params) -> Array[String]
+      def initialization_roots: (lsp_object params) -> Array[String]
     end
   end
 end

data/sig/ibex/lsp/navigation_handlers.rbs

@@ -8,23 +8,26 @@ module Ibex
 
       private
 
-      # @rbs (untyped raw_params) -> Array[Hash[String, untyped]]
-      def definition: (untyped raw_params) -> Array[Hash[String, untyped]]
+      # @rbs (lsp_object? raw_params) -> Array[lsp_object]
+      def definition: (lsp_object? raw_params) -> Array[lsp_object]
 
-      # @rbs (untyped raw_params) -> Array[Hash[String, untyped]]
-      def references: (untyped raw_params) -> Array[Hash[String, untyped]]
+      # @rbs (lsp_object? raw_params) -> Array[lsp_object]
+      def references: (lsp_object? raw_params) -> Array[lsp_object]
 
-      # @rbs (untyped raw_params) -> Hash[String, untyped]?
-      def prepare_rename: (untyped raw_params) -> Hash[String, untyped]?
+      # @rbs (lsp_object? raw_params) -> lsp_object?
+      def prepare_rename: (lsp_object? raw_params) -> lsp_object?
 
-      # @rbs (untyped raw_params) -> Hash[String, untyped]
-      def rename: (untyped raw_params) -> Hash[String, untyped]
+      # @rbs (lsp_object? raw_params) -> lsp_object
+      def rename: (lsp_object? raw_params) -> lsp_object
 
-      # @rbs (untyped raw_params) -> Hash[String, untyped]?
-      def hover: (untyped raw_params) -> Hash[String, untyped]?
+      # @rbs (lsp_object? raw_params) -> lsp_object?
+      def hover: (lsp_object? raw_params) -> lsp_object?
 
-      # @rbs (untyped raw_params) { (SymbolIndex, String, Hash[String, untyped]) -> untyped } -> untyped
-      def with_index: (untyped raw_params) { (SymbolIndex, String, Hash[String, untyped]) -> untyped } -> untyped
+      # @rbs (lsp_object? raw_params) -> lsp_object
+      def completion: (lsp_object? raw_params) -> lsp_object
+
+      # @rbs (lsp_object? raw_params) { (SymbolIndex, String, lsp_object) -> Object? } -> Object?
+      def with_index: (lsp_object? raw_params) { (SymbolIndex, String, lsp_object) -> Object? } -> Object?
     end
   end
 end

data/sig/ibex/lsp/parser_configuration_assistance.rbs

@@ -0,0 +1,49 @@
+# Generated from lib/ibex/lsp/parser_configuration_assistance.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Provides static editor assistance for the root parser declaration without evaluating grammar code.
+    class ParserConfigurationAssistance
+      SETTING_VALUES: Hash[String, Array[String]]
+
+      SETTING_DOCUMENTATION: Hash[String, String]
+
+      VALUE_DOCUMENTATION: Hash[String, String]
+
+      # @rbs (DocumentStore store, String path) -> void
+      def initialize: (DocumentStore store, String path) -> void
+
+      # @rbs (lsp_object position) -> lsp_object
+      def completion: (lsp_object position) -> lsp_object
+
+      # @rbs (lsp_object position) -> lsp_object?
+      def hover: (lsp_object position) -> lsp_object?
+
+      private
+
+      # @rbs () -> String
+      def source!: () -> String
+
+      # @rbs (String source, Integer offset) -> Integer
+      def line_start: (String source, Integer offset) -> Integer
+
+      # @rbs (String source) -> bool
+      def parser_block_open?: (String source) -> bool
+
+      # @rbs () -> Array[lsp_object]
+      def setting_items: () -> Array[lsp_object]
+
+      # @rbs (String setting) -> Array[lsp_object]
+      def value_items: (String setting) -> Array[lsp_object]
+
+      # @rbs (String label, Integer kind, String documentation) -> lsp_object
+      def completion_item: (String label, Integer kind, String documentation) -> lsp_object
+
+      # @rbs (Array[lsp_object] items) -> lsp_object
+      def completion_list: (Array[lsp_object] items) -> lsp_object
+
+      # @rbs (MatchData match, String line, Integer line_start, Integer offset) -> [String?, Integer, Integer]
+      def hovered_token: (MatchData match, String line, Integer line_start, Integer offset) -> [ String?, Integer, Integer ]
+    end
+  end
+end

data/sig/ibex/lsp/position_codec.rbs

@@ -2,6 +2,10 @@
 
 module Ibex
   module LSP
+    type lsp_value = String | Integer | Float | bool | nil | Array[lsp_value] | Hash[String, lsp_value]
+
+    type lsp_object = Hash[String, lsp_value]
+
     # Converts between frontend byte offsets and zero-based LSP UTF-16 positions.
     class PositionCodec
       # @rbs (String source) -> void
@@ -10,8 +14,8 @@ module Ibex
       # @rbs (Integer byte_offset) -> Hash[String, Integer]
       def position: (Integer byte_offset) -> Hash[String, Integer]
 
-      # @rbs (Hash[String, untyped] position) -> Integer
-      def byte_offset: (Hash[String, untyped] position) -> Integer
+      # @rbs (lsp_object position) -> Integer
+      def byte_offset: (lsp_object position) -> Integer
 
       # @rbs (Frontend::SourceSpan span) -> Hash[String, Hash[String, Integer]]
       def range: (Frontend::SourceSpan span) -> Hash[String, Hash[String, Integer]]
@@ -30,8 +34,8 @@ module Ibex
       # @rbs (String text, Integer units) -> Integer
       def byte_length_at_utf16: (String text, Integer units) -> Integer
 
-      # @rbs (Hash[String, untyped] position, String name) -> Integer
-      def integer_member: (Hash[String, untyped] position, String name) -> Integer
+      # @rbs (lsp_object position, String name) -> Integer
+      def integer_member: (lsp_object position, String name) -> Integer
 
       # @rbs (Integer byte_offset) -> void
       def validate_byte_offset: (Integer byte_offset) -> void

data/sig/ibex/lsp/request_handlers.rbs

@@ -16,11 +16,11 @@ module Ibex
 
       private
 
-      # @rbs (String method, untyped params) -> untyped
-      def dispatch: (String method, untyped params) -> untyped
+      # @rbs (String method, lsp_value? params) -> lsp_value?
+      def dispatch: (String method, lsp_value? params) -> lsp_value?
 
-      # @rbs (untyped params) -> nil
-      def cancel_request: (untyped params) -> nil
+      # @rbs (lsp_value? params) -> nil
+      def cancel_request: (lsp_value? params) -> nil
     end
   end
 end

data/sig/ibex/lsp/request_support.rbs

@@ -12,17 +12,17 @@ module Ibex
       # @rbs (String uri, Integer version) -> bool
       def stale_publication?: (String uri, Integer version) -> bool
 
-      # @rbs (untyped value) -> Hash[String, untyped]
-      def params_hash: (untyped value) -> Hash[String, untyped]
+      # @rbs (lsp_value? value) -> lsp_object
+      def params_hash: (lsp_value? value) -> lsp_object
 
-      # @rbs (Hash[String, untyped] value, String name) -> Hash[String, untyped]
-      def hash_member: (Hash[String, untyped] value, String name) -> Hash[String, untyped]
+      # @rbs (lsp_object value, String name) -> lsp_object
+      def hash_member: (lsp_object value, String name) -> lsp_object
 
-      # @rbs (Hash[String, untyped] value, String name) -> String
-      def string_member: (Hash[String, untyped] value, String name) -> String
+      # @rbs (lsp_object value, String name) -> String
+      def string_member: (lsp_object value, String name) -> String
 
-      # @rbs (Hash[String, untyped] value, String name) -> Integer
-      def integer_member: (Hash[String, untyped] value, String name) -> Integer
+      # @rbs (lsp_object value, String name) -> Integer
+      def integer_member: (lsp_object value, String name) -> Integer
 
       # @rbs (Symbol state) -> void
       def require_state!: (Symbol state) -> void

data/sig/ibex/lsp/server.rbs

@@ -10,40 +10,40 @@ module Ibex
 
       NOTIFICATION_METHODS: Array[String]
 
-      # @rbs (stdin: untyped, stdout: untyped, stderr: untyped) -> void
-      def initialize: (stdin: untyped, stdout: untyped, stderr: untyped) -> void
+      # @rbs (stdin: Transport::_Input, stdout: Transport::_Output, stderr: Object?) -> void
+      def initialize: (stdin: Transport::_Input, stdout: Transport::_Output, stderr: Object?) -> void
 
       # @rbs () -> Integer
       def run: () -> Integer
 
       private
 
-      # @rbs () -> Hash[String, untyped]?
-      def read_message: () -> Hash[String, untyped]?
+      # @rbs () -> lsp_object?
+      def read_message: () -> lsp_object?
 
-      # @rbs (Hash[String, untyped] message) -> void
-      def process_message: (Hash[String, untyped] message) -> void
+      # @rbs (lsp_object message) -> void
+      def process_message: (lsp_object message) -> void
 
-      # @rbs (Hash[String, untyped] message) -> (String | Integer)?
-      def safe_request_id: (Hash[String, untyped] message) -> (String | Integer)?
+      # @rbs (lsp_object message) -> (String | Integer)?
+      def safe_request_id: (lsp_object message) -> (String | Integer)?
 
-      # @rbs (Hash[String, untyped] message) -> bool
-      def notification_envelope?: (Hash[String, untyped] message) -> bool
+      # @rbs (lsp_object message) -> bool
+      def notification_envelope?: (lsp_object message) -> bool
 
       # @rbs (String method, bool request) -> void
       def validate_message_kind!: (String method, bool request) -> void
 
-      # @rbs (Hash[String, untyped] message) -> (String | Integer)?
-      def validate_envelope: (Hash[String, untyped] message) -> (String | Integer)?
+      # @rbs (lsp_object message) -> (String | Integer)?
+      def validate_envelope: (lsp_object message) -> (String | Integer)?
 
-      # @rbs (untyped value) -> bool
-      def valid_request_id?: (untyped value) -> bool
+      # @rbs (Object? value) -> bool
+      def valid_request_id?: (Object? value) -> bool
 
       # @rbs (String method) -> void
       def validate_lifecycle!: (String method) -> void
 
-      # @rbs (String | Integer request_id, untyped result) -> void
-      def send_result: (String | Integer request_id, untyped result) -> void
+      # @rbs (String | Integer request_id, lsp_value result) -> void
+      def send_result: (String | Integer request_id, lsp_value result) -> void
 
       # @rbs (String | Integer | nil request_id, ProtocolError error) -> void
       def send_error: (String | Integer | nil request_id, ProtocolError error) -> void

data/sig/ibex/lsp/symbol_index.rbs

@@ -11,41 +11,40 @@ module Ibex
       # @rbs (DocumentStore store, String path) -> void
       def initialize: (DocumentStore store, String path) -> void
 
-      # @rbs (String path, Hash[String, untyped] position) -> Array[Hash[String, untyped]]
-      def definition: (String path, Hash[String, untyped] position) -> Array[Hash[String, untyped]]
+      # @rbs (String path, lsp_object position) -> Array[lsp_object]
+      def definition: (String path, lsp_object position) -> Array[lsp_object]
 
-      # @rbs (String path, Hash[String, untyped] position, ?include_declaration: bool) ->
-      #   Array[Hash[String, untyped]]
-      def references: (String path, Hash[String, untyped] position, ?include_declaration: bool) -> Array[Hash[String, untyped]]
+      # @rbs (String path, lsp_object position, ?include_declaration: bool) -> Array[lsp_object]
+      def references: (String path, lsp_object position, ?include_declaration: bool) -> Array[lsp_object]
 
-      # @rbs (String path, Hash[String, untyped] position) -> Hash[String, untyped]?
-      def prepare_rename: (String path, Hash[String, untyped] position) -> Hash[String, untyped]?
+      # @rbs (String path, lsp_object position) -> lsp_object?
+      def prepare_rename: (String path, lsp_object position) -> lsp_object?
 
-      # @rbs (String path, Hash[String, untyped] position, String new_name) -> Hash[String, untyped]
-      def rename: (String path, Hash[String, untyped] position, String new_name) -> Hash[String, untyped]
+      # @rbs (String path, lsp_object position, String new_name) -> lsp_object
+      def rename: (String path, lsp_object position, String new_name) -> lsp_object
 
-      # @rbs (String path, Hash[String, untyped] position) -> Hash[String, untyped]?
-      def hover: (String path, Hash[String, untyped] position) -> Hash[String, untyped]?
+      # @rbs (String path, lsp_object position) -> lsp_object?
+      def hover: (String path, lsp_object position) -> lsp_object?
 
       private
 
-      # @rbs (String path, Hash[String, untyped] position) -> SymbolOccurrence?
-      def occurrence_at: (String path, Hash[String, untyped] position) -> SymbolOccurrence?
+      # @rbs (String path, lsp_object position) -> SymbolOccurrence?
+      def occurrence_at: (String path, lsp_object position) -> SymbolOccurrence?
 
-      # @rbs (Array[untyped] key, ?role: Symbol?) -> Array[SymbolOccurrence]
-      def matching: (Array[untyped] key, ?role: Symbol?) -> Array[SymbolOccurrence]
+      # @rbs (symbol_key key, ?role: Symbol?) -> Array[SymbolOccurrence]
+      def matching: (symbol_key key, ?role: Symbol?) -> Array[SymbolOccurrence]
 
-      # @rbs (SymbolOccurrence occurrence) -> Hash[String, untyped]
-      def location: (SymbolOccurrence occurrence) -> Hash[String, untyped]
+      # @rbs (SymbolOccurrence occurrence) -> lsp_object
+      def location: (SymbolOccurrence occurrence) -> lsp_object
 
-      # @rbs (SymbolOccurrence occurrence) -> Hash[String, untyped]
-      def include_target_location: (SymbolOccurrence occurrence) -> Hash[String, untyped]
+      # @rbs (SymbolOccurrence occurrence) -> lsp_object
+      def include_target_location: (SymbolOccurrence occurrence) -> lsp_object
 
       # @rbs (SymbolOccurrence occurrence) -> Hash[String, Hash[String, Integer]]
       def range: (SymbolOccurrence occurrence) -> Hash[String, Hash[String, Integer]]
 
-      # @rbs (String path, Hash[String, untyped] position) -> SymbolOccurrence
-      def renameable_occurrence: (String path, Hash[String, untyped] position) -> SymbolOccurrence
+      # @rbs (String path, lsp_object position) -> SymbolOccurrence
+      def renameable_occurrence: (String path, lsp_object position) -> SymbolOccurrence
 
       # @rbs (SymbolOccurrence occurrence, String new_name) -> void
       def validate_new_name: (SymbolOccurrence occurrence, String new_name) -> void

data/sig/ibex/lsp/symbol_index_builder.rbs

@@ -62,20 +62,21 @@ module Ibex
       # @rbs (String path, Frontend::Token token, String name) -> void
       def add_global_reference: (String path, Frontend::Token token, String name) -> void
 
-      # @rbs (Symbol kind, String name) -> Hash[Symbol, untyped]
-      def symbol_data: (Symbol kind, String name) -> Hash[Symbol, untyped]
+      # @rbs (Symbol kind, String name) -> symbol_data
+      def symbol_data: (Symbol kind, String name) -> symbol_data
 
       # @rbs (String path, Array[Frontend::Token] tokens, Array[String] names, Symbol kind, Symbol role) -> void
       def add_named_tokens: (String path, Array[Frontend::Token] tokens, Array[String] names, Symbol kind, Symbol role) -> void
 
-      # @rbs (**untyped attributes) -> void
-      def add_occurrence: (**untyped attributes) -> void
+      # @rbs (name: String, kind: Symbol, role: Symbol, key: symbol_key, path: String,
+      #   span: Frontend::SourceSpan, data: symbol_data) -> void
+      def add_occurrence: (name: String, kind: Symbol, role: Symbol, key: symbol_key, path: String, span: Frontend::SourceSpan, data: symbol_data) -> void
 
-      # @rbs (String name) -> Array[untyped]
-      def global_key: (String name) -> Array[untyped]
+      # @rbs (String name) -> symbol_key
+      def global_key: (String name) -> symbol_key
 
-      # @rbs (String path, Integer rule_id, String name) -> Array[untyped]
-      def parameter_key: (String path, Integer rule_id, String name) -> Array[untyped]
+      # @rbs (String path, Integer rule_id, String name) -> symbol_key
+      def parameter_key: (String path, Integer rule_id, String name) -> symbol_key
 
       # @rbs (Array[String] parameters) -> String
       def parameter_signature: (Array[String] parameters) -> String

data/sig/ibex/lsp/symbol_occurrence.rbs

@@ -2,24 +2,30 @@
 
 module Ibex
   module LSP
+    type symbol_key = [ :symbol, String ] | [ :parameter, String, Integer, String ] | [ :include, String ]
+
+    type symbol_data_value = String | Symbol | Integer | bool | nil | Array[String] | Hash[Symbol, symbol_data_value]
+
+    type symbol_data = Hash[Symbol, symbol_data_value]
+
     # A source-backed grammar symbol definition or reference.
-    class SymbolOccurrence < Struct[String | Symbol | Array[untyped] | Frontend::SourceSpan | Hash[Symbol, untyped]]
+    class SymbolOccurrence < Struct[String | Symbol | symbol_key | Frontend::SourceSpan | symbol_data]
       attr_accessor name(): String
 
       attr_accessor kind(): Symbol
 
       attr_accessor role(): Symbol
 
-      attr_accessor key(): Array[untyped]
+      attr_accessor key(): symbol_key
 
       attr_accessor path(): String
 
       attr_accessor span(): Frontend::SourceSpan
 
-      attr_accessor data(): Hash[Symbol, untyped]
+      attr_accessor data(): symbol_data
 
-      def self.new: (?name: String, ?kind: Symbol, ?role: Symbol, ?key: Array[untyped], ?path: String, ?span: Frontend::SourceSpan, ?data: Hash[Symbol, untyped]) -> instance
-                  | ({ ?name: String, ?kind: Symbol, ?role: Symbol, ?key: Array[untyped], ?path: String, ?span: Frontend::SourceSpan, ?data: Hash[Symbol, untyped] }) -> instance
+      def self.new: (?name: String, ?kind: Symbol, ?role: Symbol, ?key: symbol_key, ?path: String, ?span: Frontend::SourceSpan, ?data: symbol_data) -> instance
+                  | ({ ?name: String, ?kind: Symbol, ?role: Symbol, ?key: symbol_key, ?path: String, ?span: Frontend::SourceSpan, ?data: symbol_data }) -> instance
     end
   end
 end

data/sig/ibex/lsp/transport.rbs

@@ -4,16 +4,28 @@ module Ibex
   module LSP
     # Reads and writes bounded LSP JSON-RPC messages over Content-Length framing.
     class Transport
+      interface _Input
+        def read: (Integer length) -> String?
+
+        def readpartial: (Integer length) -> String
+      end
+
+      interface _Output
+        def write: (String value) -> Object?
+
+        def flush: () -> Object?
+      end
+
       HEADER_SEPARATOR: ::String
 
-      # @rbs (untyped input, untyped output) -> void
-      def initialize: (untyped input, untyped output) -> void
+      # @rbs (_Input input, _Output output) -> void
+      def initialize: (_Input input, _Output output) -> void
 
-      # @rbs () -> Hash[String, untyped]?
-      def read_message: () -> Hash[String, untyped]?
+      # @rbs () -> LSP::lsp_object?
+      def read_message: () -> LSP::lsp_object?
 
-      # @rbs (Hash[String, untyped] message) -> void
-      def write_message: (Hash[String, untyped] message) -> void
+      # @rbs (LSP::lsp_object message) -> void
+      def write_message: (LSP::lsp_object message) -> void
 
       private
 

data/sig/ibex/lsp/workspace.rbs

@@ -21,8 +21,9 @@ module Ibex
       private
 
       # URI is a stdlib boundary whose implementation class varies by scheme.
-      # @rbs (String uri) -> untyped
-      def parse_file_uri: (String uri) -> untyped
+      # URI parsing returns a scheme-specific URI::Generic subclass.
+      # @rbs (String uri) -> URI::Generic
+      def parse_file_uri: (String uri) -> URI::Generic
 
       # Ruby's URI::File may discard userinfo and port, so validate the raw authority first.
       # @rbs (String uri) -> void

data/sig/ibex/lsp/workspace_analyzer.rbs

@@ -8,7 +8,7 @@ module Ibex
 
       WINDOWS_ABSOLUTE: Regexp
 
-      type lsp_diagnostic = Hash[String, untyped]
+      type lsp_diagnostic = lsp_object
 
       type analyzed_document = { source: String, document: Frontend::SourceDocument?, diagnostics: Array[lsp_diagnostic] }
 

data/sig/ibex/messages.rbs

@@ -0,0 +1,26 @@
+# Generated from lib/ibex/messages.rb with RBS::Inline
+
+module Ibex
+  # Immutable built-in diagnostic translations, separate from user E00xx
+  # sentence-keyed parser error catalogs.
+  module Messages
+    ROOT: String
+
+    LANGUAGES: Array[String]
+
+    # @rbs (String? requested) -> String
+    def self?.language: (String? requested) -> String
+
+    # @rbs (String id, ?language: String, **Object? values) -> String
+    def self?.translate: (String id, ?language: String, **Object? values) -> String
+
+    # @rbs (String id) -> bool
+    def self?.known?: (String id) -> bool
+
+    # @rbs (String language) -> Hash[String, String]
+    def self?.catalog: (String language) -> Hash[String, String]
+
+    # @rbs (String language) -> Hash[String, String]
+    def self?.load_catalog: (String language) -> Hash[String, String]
+  end
+end