ibex 0.1.0 → 0.3.0

data/sig/ibex/equiv.rbs

@@ -0,0 +1,129 @@
+# Generated from lib/ibex/equiv.rb with RBS::Inline
+
+module Ibex
+  # Bounded language comparison over two immutable parser automata.
+  # rubocop:disable Metrics/ClassLength -- the three comparison strategies share one report and budget contract.
+  class Equiv
+    type tree_node_signature = [ String, Array[String] ]
+
+    type tree_trace_entry = [ String, Array[String], tree_node_signature? ]
+
+    type terminal_signature = [ String, [ Symbol, Integer ]? ]
+
+    type production_signature = [ String, Array[String], String? ]
+
+    CAVEAT: String
+
+    DEFAULT_MAX_ACTIONS: Integer
+
+    DEFAULT_MAX_STACK: Integer
+
+    class Difference < Ibex::Error
+      attr_reader details: Hash[Symbol, Object?]
+
+      # @rbs (Hash[Symbol, Object?] details) -> void
+      def initialize: (Hash[Symbol, Object?] details) -> void
+    end
+
+    class BudgetExceeded < Ibex::Error
+      attr_reader details: Hash[Symbol, Object?]
+
+      # @rbs (Hash[Symbol, Object?] details) -> void
+      def initialize: (Hash[Symbol, Object?] details) -> void
+    end
+
+    # @rbs (IR::Automaton left, IR::Automaton right, ?sample_count: Integer, ?seed: Integer,
+    #   ?max_tokens: Integer, ?max_configurations: Integer, ?max_actions: Integer, ?max_stack: Integer,
+    #   ?rule_map: Hash[String, String]) -> void
+    def initialize: (IR::Automaton left, IR::Automaton right, ?sample_count: Integer, ?seed: Integer, ?max_tokens: Integer, ?max_configurations: Integer, ?max_actions: Integer, ?max_stack: Integer, ?rule_map: Hash[String, String]) -> void
+
+    # @rbs () -> Hash[Symbol, Object?]
+    def run: () -> Hash[Symbol, Object?]
+
+    private
+
+    # @rbs () -> Integer
+    def compare_samples: () -> Integer
+
+    # @rbs (IR::Grammar grammar, Integer seed) -> Array[Array[String]]
+    def generated_samples: (IR::Grammar grammar, Integer seed) -> Array[Array[String]]
+
+    # @rbs () -> Integer
+    def search_product: () -> Integer
+
+    # @rbs (Array[String] tokens, method: String) -> void
+    def compare_tokens!: (Array[String] tokens, method: String) -> void
+
+    # @rbs (Machine::Configuration left, Machine::Configuration right, Array[String] tokens) -> void
+    def compare_configurations!: (Machine::Configuration left, Machine::Configuration right, Array[String] tokens) -> void
+
+    # @rbs (Machine::Configuration left, Machine::Configuration right, Array[String] tokens, String method) -> void
+    def compare_results!: (Machine::Configuration left, Machine::Configuration right, Array[String] tokens, String method) -> void
+
+    # @rbs (Array[String] tokens, Symbol? left, Symbol? right, String method) -> bot
+    def raise_language_difference: (Array[String] tokens, Symbol? left, Symbol? right, String method) -> bot
+
+    # @rbs () -> bool
+    def structural_identity?: () -> bool
+
+    # @rbs () -> bool
+    def tree_structural_identity?: () -> bool
+
+    # @rbs (IR::Grammar grammar) -> Array[tree_node_signature]
+    def tree_grammar_signature: (IR::Grammar grammar) -> Array[tree_node_signature]
+
+    # @rbs (IR::node_annotation? node) -> tree_node_signature?
+    def node_signature: (IR::node_annotation? node) -> tree_node_signature?
+
+    # @rbs (IR::Automaton automaton, Machine::Configuration configuration, map_left: bool) -> Array[tree_trace_entry]
+    def tree_trace: (IR::Automaton automaton, Machine::Configuration configuration, map_left: bool) -> Array[tree_trace_entry]
+
+    # @rbs (IR::Grammar grammar, map_left: bool) -> Hash[Symbol, Object?]
+    def grammar_signature: (IR::Grammar grammar, map_left: bool) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Grammar grammar, map_left: bool) -> Hash[Symbol, Object?]
+    def recovery_signature: (IR::Grammar grammar, map_left: bool) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Grammar grammar) -> Array[terminal_signature]
+    def terminal_signatures: (IR::Grammar grammar) -> Array[terminal_signature]
+
+    # @rbs (IR::Grammar grammar, map_left: bool) -> Array[production_signature]
+    def production_signatures: (IR::Grammar grammar, map_left: bool) -> Array[production_signature]
+
+    # @rbs (IR::Grammar grammar, IR::Production production, map_left: bool) -> production_signature
+    def production_signature: (IR::Grammar grammar, IR::Production production, map_left: bool) -> production_signature
+
+    # @rbs (IR::Grammar grammar, Integer id) -> String
+    def symbol_name: (IR::Grammar grammar, Integer id) -> String
+
+    # @rbs (IR::Grammar grammar, String name, map_left: bool) -> String
+    def mapped_name: (IR::Grammar grammar, String name, map_left: bool) -> String
+
+    # @rbs () -> void
+    def validate_rule_map!: () -> void
+
+    # @rbs () -> void
+    def verify_inputs!: () -> void
+
+    # @rbs () -> Array[String]
+    def terminal_alphabet: () -> Array[String]
+
+    # @rbs (Machine::Configuration left, Machine::Configuration right) -> Array[Object?]
+    def product_key: (Machine::Configuration left, Machine::Configuration right) -> Array[Object?]
+
+    # @rbs (Machine::Configuration left, Machine::Configuration right) -> bool
+    def both_rejected?: (Machine::Configuration left, Machine::Configuration right) -> bool
+
+    # @rbs (structural: bool, samples: Integer, configurations: Integer) -> untyped
+    def successful_report: (structural: bool, samples: Integer, configurations: Integer) -> untyped
+
+    # @rbs () -> bool
+    def tree_requested?: () -> bool
+
+    # @rbs () -> Hash[Symbol, Integer]
+    def bounds: () -> Hash[Symbol, Integer]
+
+    # @rbs (Ibex::Error error) -> bool
+    def sample_budget_error?: (Ibex::Error error) -> bool
+  end
+end

data/sig/ibex/error_messages/parser.rbs

@@ -0,0 +1,58 @@
+# Generated from lib/ibex/error_messages/parser.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # Strict line-oriented parser for the ibex-messages v1 and v2 formats.
+    class Parser
+      include ParserV2
+
+      ESCAPES: untyped
+
+      @lines: Array[String]
+
+      @file: String
+
+      # @rbs (String source, file: String) -> void
+      def initialize: (String source, file: String) -> void
+
+      # @rbs () -> Document
+      def parse: () -> Document
+
+      private
+
+      # @rbs () -> Document
+      def parse_v1: () -> Document
+
+      # @rbs () -> Integer
+      def validate_header: () -> Integer
+
+      # @rbs (Hash[Integer, Integer] declarations, Integer state, Integer index, String line) -> void
+      def reject_duplicate: (Hash[Integer, Integer] declarations, Integer state, Integer index, String line) -> void
+
+      # @rbs (Integer opening_index, Integer state, :active | :removed status) -> [Entry, Integer]
+      def parse_entry: (Integer opening_index, Integer state, :active | :removed status) -> [ Entry, Integer ]
+
+      # @rbs (Array[String] message_lines, Integer opening_index, Integer index, Integer state,
+      #   :active | :removed status) -> [Entry, Integer]
+      def close_entry: (Array[String] message_lines, Integer opening_index, Integer index, Integer state, :active | :removed status) -> [ Entry, Integer ]
+
+      # @rbs (Array[String] message_lines, String line, Integer index) -> void
+      def read_entry_line: (Array[String] message_lines, String line, Integer index) -> void
+
+      # @rbs (String content, Integer line, Integer content_column) -> String
+      def decode_line: (String content, Integer line, Integer content_column) -> String
+
+      # @rbs (String line) -> bool
+      def ignorable?: (String line) -> bool
+
+      # @rbs () -> String
+      def top_level_expectation: () -> String
+
+      # @rbs (String line) -> Integer
+      def column: (String line) -> Integer
+
+      # @rbs (Integer line, Integer column, String message) -> bot
+      def fail_at: (Integer line, Integer column, String message) -> bot
+    end
+  end
+end

data/sig/ibex/error_messages/parser_v2.rbs

@@ -0,0 +1,67 @@
+# Generated from lib/ibex/error_messages/parser_v2.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # Sentence-keyed ibex-messages v2 parsing, mixed into Parser so both
+    # versions share UTF-8, escape, and positioned-diagnostic helpers.
+    module ParserV2
+      private def ignorable?: (String) -> bool
+
+      private def column: (String) -> Integer
+
+      private def fail_at: (Integer, Integer, String) -> bot
+
+      private def decode_line: (String, Integer, Integer) -> String
+
+      private
+
+      # @rbs () -> Document
+      def parse_v2: () -> Document
+
+      # @rbs (Entry entry, Array[Entry] entries, Hash[String, Integer] identifiers,
+      #   Hash[String, Integer] keys) -> void
+      def record_v2_entry: (Entry entry, Array[Entry] entries, Hash[String, Integer] identifiers, Hash[String, Integer] keys) -> void
+
+      # @rbs (Integer opening_index) -> [Entry, Integer]
+      def parse_v2_entry: (Integer opening_index) -> [ Entry, Integer ]
+
+      # @rbs (Integer opening_index) ->
+      #   [:active | :unreachable | :removed, Array[String]?, Integer?]
+      def parse_v2_opening: (Integer opening_index) -> [ :active | :unreachable | :removed, Array[String]?, Integer? ]
+
+      # @rbs (Integer opening_index, :active | :unreachable | :removed status, Array[String]? sentence,
+      #   Integer? state) -> [Entry, Integer]
+      def read_v2_entry_body: (Integer opening_index, :active | :unreachable | :removed status, Array[String]? sentence, Integer? state) -> [ Entry, Integer ]
+
+      # @rbs (Integer opening_index, Integer index, :active | :unreachable | :removed status,
+      #   Array[String]? sentence, Integer? state, String? error_id, String? entry_name,
+      #   Array[String] message_lines) -> [Entry, Integer]
+      def close_v2_entry: (Integer opening_index, Integer index, :active | :unreachable | :removed status, Array[String]? sentence, Integer? state, String? error_id, String? entry_name, Array[String] message_lines) -> [ Entry, Integer ]
+
+      # @rbs (String line, Integer index, String? error_id, Integer? state, String? entry_name,
+      #   Array[String] message_lines) -> [String?, Integer?, String?]
+      def read_v2_metadata: (String line, Integer index, String? error_id, Integer? state, String? entry_name, Array[String] message_lines) -> [ String?, Integer?, String? ]
+
+      # @rbs (Array[String] message_lines, String line, Integer index) -> void
+      def append_v2_message_line: (Array[String] message_lines, String line, Integer index) -> void
+
+      # @rbs (String source, Integer line) -> Array[String]
+      def parse_sentence: (String source, Integer line) -> Array[String]
+
+      # @rbs (String source, Integer index) -> Integer
+      def skip_sentence_space: (String source, Integer index) -> Integer
+
+      # @rbs (String source, Integer index, Integer line) -> [String, Integer]
+      def read_sentence_token: (String source, Integer index, Integer line) -> [ String, Integer ]
+
+      # @rbs (String source, Integer index, String quote, Integer line) -> Integer
+      def quoted_token_end: (String source, Integer index, String quote, Integer line) -> Integer
+
+      # @rbs (String source, Integer index, String quote, Integer line) -> Integer
+      def scan_quoted_token: (String source, Integer index, String quote, Integer line) -> Integer
+
+      # @rbs (Hash[String, Integer] declarations, String key, Integer line, String label) -> void
+      def reject_v2_duplicate: (Hash[String, Integer] declarations, String key, Integer line, String label) -> void
+    end
+  end
+end

data/sig/ibex/error_messages/renderer.rbs

@@ -0,0 +1,23 @@
+# Generated from lib/ibex/error_messages/renderer.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # @rbs (IR::Automaton automaton, Array[Entry] entries) -> String
+    def self?.render_entries: (IR::Automaton automaton, Array[Entry] entries) -> String
+
+    # @rbs (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+    def append_entry: (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+
+    # @rbs (Entry entry) -> String
+    def entry_heading: (Entry entry) -> String
+
+    # @rbs (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+    def append_expected_tokens: (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+
+    # @rbs (String line) -> String
+    def encode_line: (String line) -> String
+
+    # @rbs (IR::Automaton automaton, IR::AutomatonState state) -> Array[String]
+    def expected_tokens: (IR::Automaton automaton, IR::AutomatonState state) -> Array[String]
+  end
+end

data/sig/ibex/error_messages/sentence_search.rbs

@@ -0,0 +1,80 @@
+# Generated from lib/ibex/error_messages/sentence_search.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # Finds deterministic shortest token sentences that reach each syntax
+    # error state without running semantic actions.
+    class SentenceSearch
+      DEFAULT_MAX_TOKENS: Integer
+
+      DEFAULT_MAX_CONFIGURATIONS: Integer
+
+      class Witness < Struct[String | Array[String] | Integer]
+        attr_accessor entry(): String
+
+        attr_accessor tokens(): Array[String]
+
+        attr_accessor state(): Integer
+
+        def self.new: (?entry: String, ?tokens: Array[String], ?state: Integer) -> instance
+                    | ({ ?entry: String, ?tokens: Array[String], ?state: Integer }) -> instance
+      end
+
+      @explored: Integer
+
+      @input_candidates: Array[IR::GrammarSymbol]
+
+      @candidates: Array[IR::GrammarSymbol]
+
+      @max_configurations: Integer
+
+      @max_tokens: Integer
+
+      @grammar: IR::Grammar
+
+      @automaton: IR::Automaton
+
+      # @rbs (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> void
+      def initialize: (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> void
+
+      # @rbs () -> Hash[Integer, Witness]
+      def all: () -> Hash[Integer, Witness]
+
+      # @rbs (Array[String] tokens, ?entry: String?) -> Integer?
+      def state_for: (Array[String] tokens, ?entry: String?) -> Integer?
+
+      private
+
+      # @rbs (Array[Integer] states, String name, bool final) ->
+      #   [Symbol, Array[Integer] | Integer | nil]
+      def consume_sentence_token: (Array[Integer] states, String name, bool final) -> [ Symbol, Array[Integer] | Integer | nil ]
+
+      # @rbs (String name, bool final) -> IR::GrammarSymbol?
+      def sentence_symbol: (String name, bool final) -> IR::GrammarSymbol?
+
+      # @rbs () -> Array[IR::GrammarSymbol]
+      def grammar_terminals: () -> Array[IR::GrammarSymbol]
+
+      # @rbs (String entry, Integer initial_state, Hash[Integer, bool] targets,
+      #   Hash[Integer, Witness] witnesses) -> void
+      def search_entry: (String entry, Integer initial_state, Hash[Integer, bool] targets, Hash[Integer, Witness] witnesses) -> void
+
+      # @rbs (String entry, Array[Integer] states, Array[String] prefix, Hash[Integer, bool] targets,
+      #   Hash[Integer, Witness] witnesses) -> void
+      def collect_errors: (String entry, Array[Integer] states, Array[String] prefix, Hash[Integer, bool] targets, Hash[Integer, Witness] witnesses) -> void
+
+      # @rbs (Array[[Array[Integer], Array[String]]] queue, Hash[Array[Integer], bool] visited,
+      #   Array[Integer] states, Array[String] prefix) -> void
+      def enqueue_shifts: (Array[[ Array[Integer], Array[String] ]] queue, Hash[Array[Integer], bool] visited, Array[Integer] states, Array[String] prefix) -> void
+
+      # @rbs (Array[Integer] initial, Integer token_id) -> [Symbol, Array[Integer] | Integer | nil]
+      def advance: (Array[Integer] initial, Integer token_id) -> [ Symbol, Array[Integer] | Integer | nil ]
+
+      # @rbs (Array[Integer] states, Integer production_id) -> Array[Integer]?
+      def reduce_stack: (Array[Integer] states, Integer production_id) -> Array[Integer]?
+
+      # @rbs () -> void
+      def count_configuration!: () -> void
+    end
+  end
+end

data/sig/ibex/error_messages/update.rbs

@@ -0,0 +1,43 @@
+# Generated from lib/ibex/error_messages/update.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # @rbs (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer,
+    #   ?max_configurations: Integer) -> String
+    def self?.render: (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer, ?max_configurations: Integer) -> String
+
+    # @rbs (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer,
+    #   ?max_configurations: Integer) -> Update
+    def self?.update: (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer, ?max_configurations: Integer) -> Update
+
+    # @rbs (Array[Entry] entries, Hash[Integer, bool] covered,
+    #   Hash[Integer, SentenceSearch::Witness] witnesses, Array[String] uncovered, Integer next_id) -> void
+    def self?.add_uncovered_entries: (Array[Entry] entries, Hash[Integer, bool] covered, Hash[Integer, SentenceSearch::Witness] witnesses, Array[String] uncovered, Integer next_id) -> void
+
+    # @rbs (Document document, SentenceSearch search, Hash[Integer, SentenceSearch::Witness] witnesses,
+    #   Hash[Symbol, Array[String]] classifications, Integer next_id) ->
+    #   [Array[Entry], Hash[Integer, bool], Integer]
+    def update_existing_entries: (Document document, SentenceSearch search, Hash[Integer, SentenceSearch::Witness] witnesses, Hash[Symbol, Array[String]] classifications, Integer next_id) -> [ Array[Entry], Hash[Integer, bool], Integer ]
+
+    # @rbs (Entry entry, SentenceSearch search, Array[Entry] entries, Hash[Integer, bool] covered,
+    #   Hash[Symbol, Array[String]] classifications, Integer next_id) -> Integer
+    def update_sentence_entry: (Entry entry, SentenceSearch search, Array[Entry] entries, Hash[Integer, bool] covered, Hash[Symbol, Array[String]] classifications, Integer next_id) -> Integer
+
+    # @rbs (Document document, Hash[Integer, SentenceSearch::Witness] witnesses,
+    #   Hash[Symbol, Array[String]] classifications, Integer next_id) ->
+    #   [Array[Entry], Hash[Integer, bool], Integer]
+    def migrate_legacy_entries: (Document document, Hash[Integer, SentenceSearch::Witness] witnesses, Hash[Symbol, Array[String]] classifications, Integer next_id) -> [ Array[Entry], Hash[Integer, bool], Integer ]
+
+    # @rbs (Entry entry, Integer next_id) -> Entry
+    def with_error_id: (Entry entry, Integer next_id) -> Entry
+
+    # @rbs (Document document) -> Integer
+    def next_error_id: (Document document) -> Integer
+
+    # @rbs (Integer number) -> String
+    def format_error_id: (Integer number) -> String
+
+    # @rbs (Entry entry) -> [Integer, Integer, String]
+    def entry_sort_key: (Entry entry) -> [ Integer, Integer, String ]
+  end
+end

data/sig/ibex/error_messages.rbs

@@ -0,0 +1,85 @@
+# Generated from lib/ibex/error_messages.rb with RBS::Inline
+
+module Ibex
+  # Parses, validates, and deterministically updates example-keyed syntax
+  # error messages.
+  module ErrorMessages
+    HEADER_V1: ::String
+
+    HEADER: ::String
+
+    # One active or archived error-sentence entry with its source line.
+    class Entry
+      attr_reader state: Integer?
+
+      attr_reader status: :active | :unreachable | :removed
+
+      attr_reader message: String?
+
+      attr_reader line: Integer
+
+      attr_reader sentence: Array[String]?
+
+      attr_reader error_id: String?
+
+      attr_reader entry: String?
+
+      # @rbs (state: Integer?, status: :active | :unreachable | :removed, message: String?, line: Integer,
+      #   ?sentence: Array[String]?, ?error_id: String?, ?entry: String?) -> void
+      def initialize: (state: Integer?, status: :active | :unreachable | :removed, message: String?, line: Integer, ?sentence: Array[String]?, ?error_id: String?, ?entry: String?) -> void
+    end
+
+    # Immutable parsed messages document.
+    class Document
+      attr_reader version: Integer
+
+      attr_reader entries: Array[Entry]
+
+      # @rbs (entries: Array[Entry], ?version: Integer) -> void
+      def initialize: (entries: Array[Entry], ?version: Integer) -> void
+    end
+
+    # Deterministic update output and review classifications.
+    class Update
+      attr_reader source: String
+
+      attr_reader uncovered: Array[String]
+
+      attr_reader unreachable: Array[String]
+
+      attr_reader moved: Array[String]
+
+      # @rbs (source: String, uncovered: Array[String], unreachable: Array[String], moved: Array[String]) -> void
+      def initialize: (source: String, uncovered: Array[String], unreachable: Array[String], moved: Array[String]) -> void
+    end
+
+    # @rbs (String source, file: String) -> Document
+    def self?.parse: (String source, file: String) -> Document
+
+    # @rbs (String path) -> Document
+    def self?.load: (String path) -> Document
+
+    # @rbs (IR::Automaton automaton) -> Array[IR::AutomatonState]
+    def self?.error_states: (IR::Automaton automaton) -> Array[IR::AutomatonState]
+
+    # @rbs (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, String]
+    def self?.messages_for: (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, String]
+
+    # @rbs (Document document, IR::Automaton automaton, file: String) ->
+    #   Hash[Integer, { id: String, message: String }]
+    def self?.records_for: (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, { id: String, message: String }]
+
+    # @rbs (Document document, IR::Automaton automaton, file: String) ->
+    #   Hash[Integer, { id: String, message: String }]
+    def self?.legacy_records_for: (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, { id: String, message: String }]
+
+    # @rbs (IR::Automaton automaton) -> Array[IR::GrammarSymbol]
+    def ordinary_terminals: (IR::Automaton automaton) -> Array[IR::GrammarSymbol]
+
+    # @rbs (IR::parser_action? action) -> bool
+    def error_action?: (IR::parser_action? action) -> bool
+
+    # @rbs (String file, Integer line, Integer column, String message) -> bot
+    def fail_at: (String file, Integer line, Integer column, String message) -> bot
+  end
+end

data/sig/ibex/fix.rbs

@@ -0,0 +1,138 @@
+# Generated from lib/ibex/fix.rb with RBS::Inline
+
+module Ibex
+  # Bounded conflict-repair candidate generation and safety evaluation.
+  # rubocop:disable Metrics/ClassLength -- candidate generation and its three safety gates share one target identity.
+  class Fix
+    type candidate = { category: String, description: String, source: String?, algorithm: Symbol }
+
+    SCHEMA_VERSION: Integer
+
+    CATEGORIES: Array[String]
+
+    ADVICE_CATEGORIES: Array[String]
+
+    ADVICE_STATEMENT: String
+
+    class BudgetExceeded < Ibex::Error
+      attr_reader details: Hash[Symbol, Object?]
+
+      # @rbs (Hash[Symbol, Object?] details) -> void
+      def initialize: (Hash[Symbol, Object?] details) -> void
+    end
+
+    attr_reader sources: Hash[String, String]
+
+    # @rbs (String source, file: String, grammar: IR::Grammar, automaton: IR::Automaton, algorithm: Symbol,
+    #   mode: Symbol, ?state: Integer?, ?conflict_index: Integer?, ?max_candidates: Integer, ?max_builds: Integer,
+    #   ?equiv_max_tokens: Integer, ?equiv_max_configurations: Integer, ?equiv_samples: Integer,
+    #   ?verify_max_states: Integer, ?verify_max_items: Integer,
+    #   ?messages: ErrorMessages::Document?, ?message_file: String?) -> void
+    # rubocop:disable Metrics/ParameterLists
+    def initialize: (String source, file: String, grammar: IR::Grammar, automaton: IR::Automaton, algorithm: Symbol, mode: Symbol, ?state: Integer?, ?conflict_index: Integer?, ?max_candidates: Integer, ?max_builds: Integer, ?equiv_max_tokens: Integer, ?equiv_max_configurations: Integer, ?equiv_samples: Integer, ?verify_max_states: Integer, ?verify_max_items: Integer, ?messages: ErrorMessages::Document?, ?message_file: String?) -> void
+
+    # @rbs () -> Hash[Symbol, Object?]
+    def run: () -> Hash[Symbol, Object?]
+
+    private
+
+    # @rbs () -> [IR::AutomatonState, Integer, IR::conflict]
+    def select_target: () -> [ IR::AutomatonState, Integer, IR::conflict ]
+
+    # @rbs (IR::conflict conflict) -> Array[candidate]
+    def candidate_space: (IR::conflict conflict) -> Array[candidate]
+
+    # @rbs (IR::conflict conflict) -> Array[Hash[Symbol, Object?]]
+    def advice_space: (IR::conflict conflict) -> Array[Hash[Symbol, Object?]]
+
+    # @rbs (IR::conflict conflict) -> Array[candidate]
+    def precedence_declaration_candidates: (IR::conflict conflict) -> Array[candidate]
+
+    # @rbs (IR::conflict conflict) -> candidate?
+    def precedence_override_candidate: (IR::conflict conflict) -> candidate?
+
+    # @rbs () -> Array[candidate]
+    def algorithm_candidates: () -> Array[candidate]
+
+    # @rbs (IR::conflict conflict) -> candidate?
+    def inline_candidate: (IR::conflict conflict) -> candidate?
+
+    # @rbs (IR::conflict conflict) -> candidate
+    def expectation_candidate: (IR::conflict conflict) -> candidate
+
+    # @rbs (IR::conflict conflict) -> candidate?
+    def recovery_candidate: (IR::conflict conflict) -> candidate?
+
+    # @rbs (String category, String description, ?source: String?, ?algorithm: Symbol?) -> candidate
+    def candidate: (String category, String description, ?source: String?, ?algorithm: Symbol?) -> candidate
+
+    # @rbs (candidate candidate, IR::conflict target) -> Hash[Symbol, Object?]
+    def evaluate_candidate: (candidate candidate, IR::conflict target) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Automaton candidate, IR::conflict target) -> Hash[Symbol, String]?
+    def conflict_safety_failure: (IR::Automaton candidate, IR::conflict target) -> Hash[Symbol, String]?
+
+    # @rbs (IR::Automaton candidate) -> Hash[Symbol, String]?
+    def verification_safety_failure: (IR::Automaton candidate) -> Hash[Symbol, String]?
+
+    # @rbs (candidate candidate) -> IR::Automaton
+    def build_candidate: (candidate candidate) -> IR::Automaton
+
+    # @rbs (candidate candidate, Hash[Symbol, Object?] outcome, IR::conflict conflict, Integer number) ->
+    #   Hash[Symbol, Object?]
+    def proposal: (candidate candidate, Hash[Symbol, Object?] outcome, IR::conflict conflict, Integer number) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Automaton candidate) -> Hash[Symbol, Object?]
+    def message_catalog_impact: (IR::Automaton candidate) -> Hash[Symbol, Object?]
+
+    # @rbs (candidate candidate, Hash[Symbol, Object?] outcome) -> Hash[Symbol, Object?]
+    def rejection: (candidate candidate, Hash[Symbol, Object?] outcome) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::AutomatonState state, Integer index, IR::conflict conflict, Array[candidate] candidates,
+    #   Array[Hash[Symbol, Object?]] proposals, Array[Hash[Symbol, Object?]] rejections,
+    #   Array[Hash[Symbol, Object?]] advice) -> Hash[Symbol, Object?]
+    def report_for: (IR::AutomatonState state, Integer index, IR::conflict conflict, Array[candidate] candidates, Array[Hash[Symbol, Object?]] proposals, Array[Hash[Symbol, Object?]] rejections, Array[Hash[Symbol, Object?]] advice) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Automaton automaton) -> Array[[IR::AutomatonState, IR::conflict]]
+    def active_conflicts: (IR::Automaton automaton) -> Array[[ IR::AutomatonState, IR::conflict ]]
+
+    # @rbs (IR::conflict conflict) -> bool
+    def active_conflict?: (IR::conflict conflict) -> bool
+
+    # @rbs (IR::Automaton candidate, String target_fingerprint) -> bool
+    def increased_other_conflict?: (IR::Automaton candidate, String target_fingerprint) -> bool
+
+    # @rbs (IR::Automaton automaton) -> Hash[String, Integer]
+    def conflict_counts: (IR::Automaton automaton) -> Hash[String, Integer]
+
+    # @rbs (IR::Grammar grammar, IR::conflict conflict) -> String
+    def conflict_fingerprint: (IR::Grammar grammar, IR::conflict conflict) -> String
+
+    # @rbs (IR::Grammar grammar, Integer id) -> String
+    def production_shape: (IR::Grammar grammar, Integer id) -> String
+
+    # @rbs (IR::Grammar candidate_grammar) -> Hash[String, String]
+    def identity_rule_map: (IR::Grammar candidate_grammar) -> Hash[String, String]
+
+    # @rbs (String insertion) -> String
+    def insert_before_rule: (String insertion) -> String
+
+    # @rbs (String source, String insertion) -> String
+    def insert_before_rule_in: (String source, String insertion) -> String
+
+    # @rbs (Integer line_number, String suffix) -> String
+    def append_to_line: (Integer line_number, String suffix) -> String
+
+    # @rbs (String directive) -> String
+    def replace_or_insert_expectation: (String directive) -> String
+
+    # @rbs (String source, IR::conflict conflict) -> String
+    def update_expectation: (String source, IR::conflict conflict) -> String
+
+    # @rbs (String before, String after) -> String
+    def unified_diff: (String before, String after) -> String
+
+    # @rbs () -> Hash[Symbol, Integer]
+    def bounds: () -> Hash[Symbol, Integer]
+  end
+end