ibex 0.1.0 → 0.3.0

data/sig/ibex/lsp/document_store.rbs

@@ -0,0 +1,94 @@
+# Generated from lib/ibex/lsp/document_store.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Owns open buffers, parsed snapshots, include closures, and reverse dependencies.
+    class DocumentStore
+      include DocumentStoreValidation
+
+      include DocumentStoreDiagnostics
+
+      type snapshot = { uri: String, path: String, version: Integer?, source: String, open: bool, document: Frontend::SourceDocument? }
+
+      type publication = { uri: String, ?version: Integer, diagnostics: Array[WorkspaceAnalyzer::lsp_diagnostic] }
+
+      attr_reader loader: Frontend::SourceLoader
+
+      attr_reader workspace: Workspace
+
+      # @rbs (Workspace workspace, Frontend::SourceLoader loader) -> void
+      def initialize: (Workspace workspace, Frontend::SourceLoader loader) -> void
+
+      # @rbs (String uri, Integer version, String source) -> Array[publication]
+      def open: (String uri, Integer version, String source) -> Array[publication]
+
+      # @rbs (String uri, Integer version, String source) -> Array[publication]
+      def change: (String uri, Integer version, String source) -> Array[publication]
+
+      # @rbs (String uri, ?source: String?) -> Array[publication]
+      def save: (String uri, ?source: String?) -> Array[publication]
+
+      # Clear the open version first, then replace it with a disk snapshot if one exists.
+      # @rbs (String uri) -> Array[publication]
+      def close: (String uri) -> Array[publication]
+
+      # @rbs (String path) -> snapshot?
+      def snapshot_for: (String path) -> snapshot?
+
+      # Preserve the URI spelling used to open a document; closed files use their canonical URI.
+      # @rbs (String path) -> String
+      def uri_for: (String path) -> String
+
+      # @rbs (String path) -> Array[String]
+      def files_for: (String path) -> Array[String]
+
+      # @rbs (String path) -> Array[Frontend::Resolution]
+      def resolutions_for: (String path) -> Array[Frontend::Resolution]
+
+      # @rbs (String path) -> Array[String]
+      def roots_for: (String path) -> Array[String]
+
+      private
+
+      # @rbs (String path) -> Array[publication]
+      def refresh: (String path) -> Array[publication]
+
+      # @rbs (String path) -> Array[publication]
+      def refresh_dependents: (String path) -> Array[publication]
+
+      # @rbs (String root) -> void
+      def refresh_root: (String root) -> void
+
+      # @rbs () -> void
+      def rebuild_reverse_dependencies: () -> void
+
+      # @rbs (String path) -> Array[String]
+      def affected_roots: (String path) -> Array[String]
+
+      # @rbs (String path, WorkspaceAnalyzer::analyzed_document analyzed, ?own_diagnostics: bool) -> void
+      def update_snapshot: (String path, WorkspaceAnalyzer::analyzed_document analyzed, ?own_diagnostics: bool) -> void
+
+      # @rbs (String path, Frontend::SourceDocument? document) -> void
+      def update_root_membership: (String path, Frontend::SourceDocument? document) -> void
+
+      # @rbs (Array[String] paths) -> Array[publication]
+      def publish_paths: (Array[String] paths) -> Array[publication]
+
+      # @rbs (String uri, String path, Integer? version, String source, bool open,
+      #   Frontend::SourceDocument? document) -> snapshot
+      def snapshot: (String uri, String path, Integer? version, String source, bool open, Frontend::SourceDocument? document) -> snapshot
+
+      # @rbs (String path, String uri) -> snapshot
+      def open_snapshot: (String path, String uri) -> snapshot
+
+      # @rbs () -> Array[String]
+      def empty_paths: () -> Array[String]
+
+      # @rbs (String path) -> void
+      def remove_path: (String path) -> void
+
+      # @rbs (String path) -> void
+      def remove_root_state: (String path) -> void
+    end
+  end
+end

data/sig/ibex/lsp/document_store_diagnostics.rbs

@@ -0,0 +1,20 @@
+# Generated from lib/ibex/lsp/document_store_diagnostics.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Owns per-document and per-root diagnostic aggregation for DocumentStore.
+    module DocumentStoreDiagnostics
+      private
+
+      # @rbs (String root, Array[String] files, Hash[String, WorkspaceAnalyzer::analyzed_document] analyzed,
+      #   Array[WorkspaceAnalyzer::lsp_diagnostic] errors) -> void
+      def replace_root_diagnostics: (String root, Array[String] files, Hash[String, WorkspaceAnalyzer::analyzed_document] analyzed, Array[WorkspaceAnalyzer::lsp_diagnostic] errors) -> void
+
+      # @rbs (String path) -> Array[WorkspaceAnalyzer::lsp_diagnostic]
+      def aggregated_diagnostics: (String path) -> Array[WorkspaceAnalyzer::lsp_diagnostic]
+
+      # @rbs () -> Array[WorkspaceAnalyzer::lsp_diagnostic]
+      def empty_diagnostics: () -> Array[WorkspaceAnalyzer::lsp_diagnostic]
+    end
+  end
+end

data/sig/ibex/lsp/document_store_validation.rbs

@@ -0,0 +1,26 @@
+# Generated from lib/ibex/lsp/document_store_validation.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Validates versions, source bounds, and prospective multi-file workspace edits.
+    module DocumentStoreValidation
+      # @rbs (Hash[String, String] replacements) -> bool
+      def valid_replacements?: (Hash[String, String] replacements) -> bool
+
+      private
+
+      # @rbs (Integer version) -> void
+      def validate_version: (Integer version) -> void
+
+      # @rbs (String source) -> void
+      def validate_source: (String source) -> void
+
+      # @rbs (String path, String source) -> void
+      def parse_candidate: (String path, String source) -> void
+
+      # Resolve disk independently from overlay aliases before removing an open buffer.
+      # @rbs (String path, String uri) -> String?
+      def disk_path_for_close: (String path, String uri) -> String?
+    end
+  end
+end

data/sig/ibex/lsp/initialization_handlers.rbs

@@ -0,0 +1,30 @@
+# Generated from lib/ibex/lsp/initialization_handlers.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Handles initialize/initialized/shutdown/exit lifecycle transitions.
+    module InitializationHandlers
+      include RequestSupport
+
+      private
+
+      # @rbs (lsp_value? raw_params) -> lsp_object
+      def initialize_workspace: (lsp_value? raw_params) -> lsp_object
+
+      # @rbs (lsp_value? params) -> nil
+      def initialized_notification: (lsp_value? params) -> nil
+
+      # @rbs (lsp_value? params) -> nil
+      def shutdown_request: (lsp_value? params) -> nil
+
+      # @rbs (lsp_value? params) -> nil
+      def exit_notification: (lsp_value? params) -> nil
+
+      # @rbs () -> lsp_object
+      def capabilities: () -> lsp_object
+
+      # @rbs (lsp_object params) -> Array[String]
+      def initialization_roots: (lsp_object params) -> Array[String]
+    end
+  end
+end

data/sig/ibex/lsp/navigation_handlers.rbs

@@ -0,0 +1,33 @@
+# Generated from lib/ibex/lsp/navigation_handlers.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Serves symbol navigation, rename, and hover requests.
+    module NavigationHandlers
+      include RequestSupport
+
+      private
+
+      # @rbs (lsp_object? raw_params) -> Array[lsp_object]
+      def definition: (lsp_object? raw_params) -> Array[lsp_object]
+
+      # @rbs (lsp_object? raw_params) -> Array[lsp_object]
+      def references: (lsp_object? raw_params) -> Array[lsp_object]
+
+      # @rbs (lsp_object? raw_params) -> lsp_object?
+      def prepare_rename: (lsp_object? raw_params) -> lsp_object?
+
+      # @rbs (lsp_object? raw_params) -> lsp_object
+      def rename: (lsp_object? raw_params) -> lsp_object
+
+      # @rbs (lsp_object? raw_params) -> lsp_object?
+      def hover: (lsp_object? raw_params) -> lsp_object?
+
+      # @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

@@ -0,0 +1,44 @@
+# Generated from lib/ibex/lsp/position_codec.rb with RBS::Inline
+
+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
+      def initialize: (String source) -> void
+
+      # @rbs (Integer byte_offset) -> Hash[String, Integer]
+      def position: (Integer byte_offset) -> Hash[String, 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]]
+
+      private
+
+      # @rbs () -> Array[Integer]
+      def build_line_starts: () -> Array[Integer]
+
+      # @rbs (Integer line) -> Integer
+      def content_end: (Integer line) -> Integer
+
+      # @rbs (String text) -> Integer
+      def utf16_length: (String text) -> Integer
+
+      # @rbs (String text, Integer units) -> Integer
+      def byte_length_at_utf16: (String text, Integer units) -> 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
+    end
+  end
+end

data/sig/ibex/lsp/protocol_error.rbs

@@ -0,0 +1,32 @@
+# Generated from lib/ibex/lsp/protocol_error.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Resource bounds shared by transport and open-document validation.
+    module Limits
+      MAX_HEADER_BYTES: untyped
+
+      MAX_MESSAGE_BYTES: untyped
+
+      MAX_DOCUMENT_BYTES: untyped
+
+      MAX_OUTPUT_BYTES: untyped
+
+      MAX_ERROR_MESSAGE_CHARACTERS: ::Integer
+
+      MAX_REQUEST_ID_BYTES: ::Integer
+    end
+
+    # Bounded protocol and workspace failures with their JSON-RPC error code.
+    class ProtocolError < Ibex::Error
+      attr_reader code: Integer
+
+      attr_reader request_id: String | Integer | nil
+
+      attr_reader fatal: bool
+
+      # @rbs (String message, ?code: Integer, ?request_id: String | Integer | nil, ?fatal: bool) -> void
+      def initialize: (String message, ?code: Integer, ?request_id: String | Integer | nil, ?fatal: bool) -> void
+    end
+  end
+end

data/sig/ibex/lsp/request_handlers.rbs

@@ -0,0 +1,26 @@
+# Generated from lib/ibex/lsp/request_handlers.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Dispatches the finite LSP surface to focused lifecycle, document, and navigation handlers.
+    module RequestHandlers
+      include InitializationHandlers
+
+      include DocumentHandlers
+
+      include NavigationHandlers
+
+      include RequestSupport
+
+      HANDLERS: Hash[String, Symbol]
+
+      private
+
+      # @rbs (String method, lsp_value? params) -> lsp_value?
+      def dispatch: (String method, lsp_value? params) -> lsp_value?
+
+      # @rbs (lsp_value? params) -> nil
+      def cancel_request: (lsp_value? params) -> nil
+    end
+  end
+end

data/sig/ibex/lsp/request_support.rbs

@@ -0,0 +1,40 @@
+# Generated from lib/ibex/lsp/request_support.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Shared publication, state, and parameter validation for request handlers.
+    module RequestSupport
+      private
+
+      # @rbs (Array[DocumentStore::publication] publications) -> void
+      def publish: (Array[DocumentStore::publication] publications) -> void
+
+      # @rbs (String uri, Integer version) -> bool
+      def stale_publication?: (String uri, Integer version) -> bool
+
+      # @rbs (lsp_value? value) -> lsp_object
+      def params_hash: (lsp_value? value) -> lsp_object
+
+      # @rbs (lsp_object value, String name) -> lsp_object
+      def hash_member: (lsp_object value, String name) -> lsp_object
+
+      # @rbs (lsp_object value, String name) -> String
+      def string_member: (lsp_object value, String name) -> String
+
+      # @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
+
+      # @rbs () -> void
+      def require_running!: () -> void
+
+      # @rbs () -> DocumentStore
+      def store: () -> DocumentStore
+
+      # @rbs () -> Workspace
+      def workspace: () -> Workspace
+    end
+  end
+end

data/sig/ibex/lsp/server.rbs

@@ -0,0 +1,55 @@
+# Generated from lib/ibex/lsp/server.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Coordinates JSON-RPC lifecycle, request responses, and protocol-safe logging.
+    class Server
+      include RequestHandlers
+
+      REQUEST_METHODS: Array[String]
+
+      NOTIFICATION_METHODS: Array[String]
+
+      # @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 () -> lsp_object?
+      def read_message: () -> lsp_object?
+
+      # @rbs (lsp_object message) -> void
+      def process_message: (lsp_object message) -> void
+
+      # @rbs (lsp_object message) -> (String | Integer)?
+      def safe_request_id: (lsp_object message) -> (String | Integer)?
+
+      # @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 (lsp_object message) -> (String | Integer)?
+      def validate_envelope: (lsp_object message) -> (String | Integer)?
+
+      # @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, 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
+
+      # @rbs (String message) -> void
+      def log: (String message) -> void
+    end
+  end
+end

data/sig/ibex/lsp/symbol_index.rbs

@@ -0,0 +1,77 @@
+# Generated from lib/ibex/lsp/symbol_index.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Answers source navigation and guarded workspace rename operations.
+    class SymbolIndex
+      IDENTIFIER: Regexp
+
+      RESERVED: Array[String]
+
+      # @rbs (DocumentStore store, String path) -> void
+      def initialize: (DocumentStore store, String path) -> void
+
+      # @rbs (String path, lsp_object position) -> Array[lsp_object]
+      def definition: (String path, lsp_object position) -> Array[lsp_object]
+
+      # @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, lsp_object position) -> lsp_object?
+      def prepare_rename: (String path, lsp_object position) -> lsp_object?
+
+      # @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, lsp_object position) -> lsp_object?
+      def hover: (String path, lsp_object position) -> lsp_object?
+
+      private
+
+      # @rbs (String path, lsp_object position) -> SymbolOccurrence?
+      def occurrence_at: (String path, lsp_object position) -> SymbolOccurrence?
+
+      # @rbs (symbol_key key, ?role: Symbol?) -> Array[SymbolOccurrence]
+      def matching: (symbol_key key, ?role: Symbol?) -> Array[SymbolOccurrence]
+
+      # @rbs (SymbolOccurrence occurrence) -> lsp_object
+      def location: (SymbolOccurrence occurrence) -> lsp_object
+
+      # @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, 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
+
+      # @rbs (SymbolOccurrence candidate, SymbolOccurrence occurrence) -> bool
+      def collision_scope?: (SymbolOccurrence candidate, SymbolOccurrence occurrence) -> bool
+
+      # @rbs (Array[SymbolOccurrence] entries) -> void
+      def validate_nonoverlapping: (Array[SymbolOccurrence] entries) -> void
+
+      # @rbs (Array[SymbolOccurrence] entries) -> void
+      def validate_unshared: (Array[SymbolOccurrence] entries) -> void
+
+      # @rbs () -> void
+      def ensure_fresh!: () -> void
+
+      # @rbs (Array[SymbolOccurrence] entries, String new_name) -> Hash[String, String]
+      def changed_sources: (Array[SymbolOccurrence] entries, String new_name) -> Hash[String, String]
+
+      # @rbs (SymbolOccurrence occurrence) -> String?
+      def hover_value: (SymbolOccurrence occurrence) -> String?
+
+      # @rbs (SymbolOccurrence occurrence) -> String
+      def rule_hover: (SymbolOccurrence occurrence) -> String
+
+      # @rbs (SymbolOccurrence occurrence) -> String
+      def terminal_hover: (SymbolOccurrence occurrence) -> String
+    end
+  end
+end

data/sig/ibex/lsp/symbol_index_builder.rbs

@@ -0,0 +1,88 @@
+# Generated from lib/ibex/lsp/symbol_index_builder.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Builds source occurrences and hover metadata from lossless frontend documents.
+    class SymbolIndexBuilder
+      include SymbolIndexSourceQueries
+
+      include SymbolIndexPrecedenceReferences
+
+      # @rbs (DocumentStore store, Array[String] files) -> void
+      def initialize: (DocumentStore store, Array[String] files) -> void
+
+      # @rbs () -> [Array[SymbolOccurrence], Hash[String, Frontend::SourceDocument]]
+      def build: () -> [ Array[SymbolOccurrence], Hash[String, Frontend::SourceDocument] ]
+
+      private
+
+      # @rbs () -> void
+      def collect_documents: () -> void
+
+      # @rbs (String path, Frontend::SourceDocument document) -> void
+      def collect_definitions: (String path, Frontend::SourceDocument document) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document, Frontend::AST::declaration declaration,
+      #   Frontend::Location? following) -> void
+      def collect_declaration: (String path, Frontend::SourceDocument document, Frontend::AST::declaration declaration, Frontend::Location? following) -> void
+
+      # @rbs (Frontend::AST::Precedence declaration) -> void
+      def collect_precedence: (Frontend::AST::Precedence declaration) -> void
+
+      # @rbs (String path, Array[Frontend::Token] tokens, Frontend::AST::Include declaration) -> void
+      def collect_include: (String path, Array[Frontend::Token] tokens, Frontend::AST::Include declaration) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document, Frontend::AST::Rule rule) -> void
+      def collect_rule_definition: (String path, Frontend::SourceDocument document, Frontend::AST::Rule rule) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document, Frontend::AST::Rule rule,
+      #   Frontend::Token lhs_token) -> void
+      def collect_parameters: (String path, Frontend::SourceDocument document, Frontend::AST::Rule rule, Frontend::Token lhs_token) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document) -> void
+      def collect_references: (String path, Frontend::SourceDocument document) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document, Frontend::AST::declaration declaration,
+      #   Frontend::Location? following) -> void
+      def collect_declaration_references: (String path, Frontend::SourceDocument document, Frontend::AST::declaration declaration, Frontend::Location? following) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document, Frontend::AST::Rule rule,
+      #   Frontend::Location? following_rule) -> void
+      def collect_rule_references: (String path, Frontend::SourceDocument document, Frontend::AST::Rule rule, Frontend::Location? following_rule) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document, Frontend::AST::item item,
+      #   Frontend::AST::Rule rule, Integer rule_id) -> void
+      def collect_item: (String path, Frontend::SourceDocument document, Frontend::AST::item item, Frontend::AST::Rule rule, Integer rule_id) -> void
+
+      # @rbs (String path, Frontend::SourceDocument document,
+      #   Frontend::AST::SymbolReference | Frontend::AST::ParameterizedReference item,
+      #   Frontend::AST::Rule rule, Integer rule_id) -> void
+      def collect_named_item: (String path, Frontend::SourceDocument document, Frontend::AST::SymbolReference | Frontend::AST::ParameterizedReference item, Frontend::AST::Rule rule, Integer rule_id) -> void
+
+      # @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) -> 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 (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) -> symbol_key
+      def global_key: (String name) -> symbol_key
+
+      # @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
+
+      # @rbs (Frontend::AST::Include declaration) -> String?
+      def canonical_include_target: (Frontend::AST::Include declaration) -> String?
+    end
+  end
+end

data/sig/ibex/lsp/symbol_index_precedence_references.rbs

@@ -0,0 +1,18 @@
+# Generated from lib/ibex/lsp/symbol_index_precedence_references.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Indexes rule-scoped item and alternative precedence references.
+    module SymbolIndexPrecedenceReferences
+      private
+
+      # @rbs (String path, Frontend::SourceDocument document, Frontend::AST::Alternative alternative,
+      #   Frontend::Location? following, Frontend::AST::Rule rule, Integer rule_id) -> void
+      def collect_alternative_precedence: (String path, Frontend::SourceDocument document, Frontend::AST::Alternative alternative, Frontend::Location? following, Frontend::AST::Rule rule, Integer rule_id) -> void
+
+      # @rbs (String path, Frontend::Token token, String name, Frontend::AST::Rule rule,
+      #   Integer rule_id) -> void
+      def add_rule_reference: (String path, Frontend::Token token, String name, Frontend::AST::Rule rule, Integer rule_id) -> void
+    end
+  end
+end

data/sig/ibex/lsp/symbol_index_source_queries.rbs

@@ -0,0 +1,26 @@
+# Generated from lib/ibex/lsp/symbol_index_source_queries.rb with RBS::Inline
+
+module Ibex
+  module LSP
+    # Locates lossless frontend tokens used by the symbol index.
+    module SymbolIndexSourceQueries
+      private
+
+      # @rbs (Frontend::SourceDocument document, Frontend::Location start,
+      #   Frontend::Location? finish) -> Array[Frontend::Token]
+      def tokens_between: (Frontend::SourceDocument document, Frontend::Location start, Frontend::Location? finish) -> Array[Frontend::Token]
+
+      # @rbs (Frontend::SourceDocument document, Frontend::Location location, String value) -> Frontend::Token?
+      def token_at: (Frontend::SourceDocument document, Frontend::Location location, String value) -> Frontend::Token?
+
+      # @rbs (Frontend::SourceDocument document, Frontend::Token lhs_token) -> Array[Frontend::Token]
+      def parameter_tokens: (Frontend::SourceDocument document, Frontend::Token lhs_token) -> Array[Frontend::Token]
+
+      # @rbs (Frontend::AST::declaration declaration) -> Array[String]
+      def declaration_reference_names: (Frontend::AST::declaration declaration) -> Array[String]
+
+      # @rbs (Frontend::Location left, Frontend::Location right) -> bool
+      def location_before?: (Frontend::Location left, Frontend::Location right) -> bool
+    end
+  end
+end