ibex 0.2.0 → 0.4.0

data/sig/ibex/cli.rbs

@@ -4,9 +4,9 @@ module Ibex
   CLI_FEATURE_ROOT: String
 
   interface _CLIOutput
-    def puts: (*untyped) -> untyped
+    def puts: (*Object?) -> Object?
 
-    def write: (String) -> untyped
+    def write: (String) -> Object?
   end
 
   interface _CLIInput
@@ -15,7 +15,7 @@ module Ibex
     def gets: () -> String?
   end
 
-  type cli_options = { emit: String, mode: Symbol, table: Symbol, ?cst_trivia: Symbol, line_convert: bool, ?line_convert_all: bool, counterexample_max_tokens: Integer, counterexample_max_configurations: Integer, ?from: String, ?algorithm: Symbol, ?suggest_ielr: bool, ?entry_isolation: bool, ?warnings: Array[Symbol], ?output: String, ?embedded: bool, ?debug: bool, ?verbose: bool, ?rbs: String | true, ?action_source: String | true, ?manifest: String | true, ?watch: bool, ?dot: String, ?mermaid: String, ?html: String, ?railroad: String, ?messages: String, ?messages_update: String | true, ?messages_algorithm_explicit: bool, ?sample_count: Integer, ?sample_seed: Integer, ?sample_max_tokens: Integer, ?sample_max_depth: Integer, ?sample_max_expansions: Integer, ?log_file: String, ?executable: String, ?frozen: bool, ?omit_actions: bool, ?superclass: String, ?verify_output: bool, ?check_only: bool, ?status: bool, ?profile: bool, ?debug_flags: String, ?version: bool, ?runtime_version: bool, ?copyright: bool, ?help: bool, ?explain_state: Integer, ?explain_token: String, ?explain_format: String, ?check_ambiguity: bool, ?check_format: String }
+  type cli_options = { emit: String, mode: Symbol, table: Symbol, ?cst_trivia: Symbol, line_convert: bool, ?line_convert_all: bool, counterexample_max_tokens: Integer, counterexample_max_configurations: Integer, ?from: String, ?algorithm: Symbol, ?suggest_ielr: bool, ?entry_isolation: bool, ?ielr_strategy: Symbol, ?ielr_report: bool, ?remove_unreachable: bool, ?warnings: Array[Symbol], ?output: String, ?embedded: bool, ?debug: bool, ?verbose: bool, ?rbs: String | true, ?action_source: String | true, ?manifest: String | true, ?watch: bool, ?dot: String, ?mermaid: String, ?html: String, ?railroad: String, ?messages: String, ?messages_update: String | true, ?messages_algorithm_explicit: bool, ?sample_count: Integer, ?sample_seed: Integer, ?sample_max_tokens: Integer, ?sample_max_depth: Integer, ?sample_max_expansions: Integer, ?log_file: String, ?executable: String, ?frozen: bool, ?omit_actions: bool, ?superclass: String, ?verify_output: bool, ?check_only: bool, ?status: bool, ?profile: bool, ?debug_flags: String, ?version: bool, ?runtime_version: bool, ?copyright: bool, ?help: bool, ?explain_state: Integer, ?explain_token: String, ?explain_format: String, ?check_ambiguity: bool, ?check_format: String, ?fuzz_seed: Integer, ?fuzz_count: Integer, ?fuzz_max_tokens: Integer, ?fuzz_max_depth: Integer, ?fuzz_max_expansions: Integer, ?fuzz_max_actions: Integer, ?fuzz_max_stack: Integer, ?fuzz_coverage_guided: bool, ?fuzz_path_length: Integer, ?fuzz_against: String, ?fuzz_against_runtime: String, ?fuzz_against_timeout: Integer, ?fuzz_against_max_output: Integer, ?fuzz_max_reduction_trials: Integer, ?fuzz_regression_dir: String, ?fuzz_save_regression: bool, ?fuzz_format: String, ?reduce_command: String, ?reduce_mode: Symbol, ?reduce_max_trials: Integer, ?reduce_timeout: Integer, ?reduce_max_output_bytes: Integer, ?reduce_max_input_bytes: Integer, ?reduce_format: String }
 
   # Command-line pipeline coordinator.
   # rubocop:disable Metrics/ClassLength -- inline type contracts add lines without adding runtime responsibilities.
@@ -30,11 +30,19 @@ module Ibex
 
     include CLIOutputs
 
-    @options: cli_options
+    @stdout: _CLIOutput
 
     @stderr: _CLIOutput
 
-    @stdout: _CLIOutput
+    @options: cli_options
+
+    @language: String
+
+    @configuration_explicit_options: Hash[Symbol, bool]
+
+    @generation_grammar: IR::Grammar?
+
+    @generation_automaton: IR::Automaton?
 
     # rubocop:disable Layout/LineLength
     # @rbs (Array[String] arguments, ?stdin: _CLIInput, ?stdout: _CLIOutput, ?stderr: _CLIOutput, ?watch_clock: (^() -> Float)?, ?watch_sleeper: (^(Float) -> void)?, ?watch_iteration_hook: (^(Symbol, Integer, Array[String]) -> (Integer | Symbol | nil))?) -> Integer
@@ -48,6 +56,39 @@ module Ibex
 
     private
 
+    # @rbs (Symbol name) -> void
+    def mark_configuration_option: (Symbol name) -> void
+
+    # OptionParser accepts a heterogeneous set of operation and configuration
+    # values.  The CLIAdapter is the validation boundary for this dynamic map.
+    # @rbs (Symbol name, untyped value) -> void
+    def set_configuration_option: (Symbol name, untyped value) -> void
+
+    # @rbs (String value) -> void
+    def select_configuration_mode: (String value) -> void
+
+    # @rbs () -> Configuration::Resolver
+    def effective_configuration: () -> Configuration::Resolver
+
+    # Resolve a command-local legacy option hash without promoting it into the
+    # reusable CLI instance's generation settings.
+    # @rbs (Hash[Symbol, untyped] options, explicit_keys: Array[Symbol]) -> Configuration::Resolver
+    def resolve_configuration_options: (Hash[Symbol, untyped] options, explicit_keys: Array[Symbol]) -> Configuration::Resolver
+
+    # @rbs (Hash[Symbol, untyped] options, String name) -> untyped
+    def local_configuration_value: (Hash[Symbol, untyped] options, String name) -> untyped
+
+    # @rbs (Hash[Symbol, untyped] options, Symbol name, untyped value) -> void
+    def set_local_configuration_option: (Hash[Symbol, untyped] options, Symbol name, untyped value) -> void
+
+    # Configuration values have already been validated by Configuration::Resolver;
+    # callers narrow the value according to the option they are consuming.
+    # @rbs (String name) -> untyped
+    def configuration_value: (String name) -> untyped
+
+    # @rbs (Array[String] arguments) -> Array[String]
+    def extract_language: (Array[String] arguments) -> Array[String]
+
     # @rbs (Array[String] arguments) -> Integer?
     def dispatch_subcommand: (Array[String] arguments) -> Integer?
 
@@ -61,6 +102,10 @@ module Ibex
     def option_parser: () -> OptionParser
 
     # @rbs (OptionParser options) -> void
+    def add_subcommand_help: (OptionParser options) -> void
+
+    # @rbs (OptionParser options) -> void
+    # rubocop:disable Metrics/MethodLength -- pipeline flags share one parser boundary.
     def add_pipeline_options: (OptionParser options) -> void
 
     # @rbs (OptionParser options) -> void
@@ -75,6 +120,15 @@ module Ibex
     # @rbs (OptionParser options) -> void
     def add_information_options: (OptionParser options) -> void
 
+    @analysis_configuration: Configuration::Resolver?
+
+    # @rbs (IR::Grammar grammar, ?options: Hash[Symbol, untyped], ?explicit_keys: Array[Symbol]) -> IR::Grammar
+    def activate_analysis_grammar: (IR::Grammar grammar, ?options: Hash[Symbol, untyped], ?explicit_keys: Array[Symbol]) -> IR::Grammar
+
+    # @rbs (IR::Grammar grammar, Hash[Symbol, untyped] options, Array[Symbol] explicit_keys) ->
+    #   [IR::Grammar, Symbol, IR::Automaton]
+    def construct_analysis_automaton: (IR::Grammar grammar, Hash[Symbol, untyped] options, Array[Symbol] explicit_keys) -> [ IR::Grammar, Symbol, IR::Automaton ]
+
     # @rbs (OptionParser parser) -> Integer?
     def informational_result: (OptionParser parser) -> Integer?
 
@@ -84,6 +138,9 @@ module Ibex
     # @rbs () -> void
     def validate_generation_options: () -> void
 
+    # @rbs () -> void
+    def validate_automaton_construction_options: () -> void
+
     # @rbs () -> void
     def validate_manifest_generation_options: () -> void
 
@@ -123,6 +180,9 @@ module Ibex
     # @rbs (String path) -> IR::Grammar
     def normalize_grammar_path: (String path) -> IR::Grammar
 
+    # @rbs (String source) -> bool
+    def bison_source?: (String source) -> bool
+
     # @rbs (String path) -> Integer
     def process_ir: (String path) -> Integer
 
@@ -132,6 +192,15 @@ module Ibex
     # @rbs (IR::Automaton automaton, String path) -> Integer
     def dispatch_automaton: (IR::Automaton automaton, String path) -> Integer
 
+    # @rbs (IR::Grammar grammar) -> void
+    def activate_generation_grammar: (IR::Grammar grammar) -> void
+
+    # @rbs (IR::Grammar grammar, Configuration::Resolver configuration) -> IR::Grammar
+    def noncanonical_analysis_grammar: (IR::Grammar grammar, Configuration::Resolver configuration) -> IR::Grammar
+
+    # @rbs (Configuration::Resolver configuration) -> void
+    def report_noncanonical_analysis: (Configuration::Resolver configuration) -> void
+
     # @rbs () -> Integer
     def print_version: () -> Integer
 
@@ -192,6 +261,9 @@ module Ibex
     # @rbs (IR::Grammar grammar, String input_path) -> IR::Automaton
     def build_automaton: (IR::Grammar grammar, String input_path) -> IR::Automaton
 
+    # @rbs (IR::Grammar grammar, IR::Automaton automaton) -> void
+    def write_ielr_report: (IR::Grammar grammar, IR::Automaton automaton) -> void
+
     # @rbs (IR::Automaton automaton, String input_path) -> void
     def prepare_loaded_automaton: (IR::Automaton automaton, String input_path) -> void
 
@@ -204,4 +276,6 @@ module Ibex
     # @rbs (String output_path) -> String
     def manifest_output_path_for: (String output_path) -> String
   end
+
+  CONFIG_SUBCOMMAND_HELP: String
 end

data/sig/ibex/codegen/action_method_source.rbs

@@ -11,8 +11,8 @@ module Ibex
       # @rbs (IR::Grammar grammar, ?generated_action_abi: GeneratedActionABI::Cache?) -> void
       def initialize: (IR::Grammar grammar, ?generated_action_abi: GeneratedActionABI::Cache?) -> void
 
-      # @rbs (IR::Production production, Hash[Symbol, untyped] step, Integer index) -> String
-      def composed_fragment_method_source: (IR::Production production, Hash[Symbol, untyped] step, Integer index) -> String
+      # @rbs (IR::Production production, IR::action_composition_step step, Integer index) -> String
+      def composed_fragment_method_source: (IR::Production production, IR::action_composition_step step, Integer index) -> String
 
       # @rbs (IR::Production production, Integer index) -> String
       def composed_fragment_name: (IR::Production production, Integer index) -> String
@@ -43,8 +43,8 @@ module Ibex
       # @rbs (Array[String] lines, production: IR::Production) -> void
       def append_direct_parameter_values: (Array[String] lines, production: IR::Production) -> void
 
-      # @rbs (Hash[Symbol, untyped] step) -> String
-      def composed_semantic_code: (Hash[Symbol, untyped] step) -> String
+      # @rbs (IR::action_composition_step step) -> String
+      def composed_semantic_code: (IR::action_composition_step step) -> String
 
       # @rbs (String source, Array[IR::named_ref] named_refs) -> void
       def append_named_values: (String source, Array[IR::named_ref] named_refs) -> void

data/sig/ibex/codegen/explain.rbs

@@ -4,7 +4,21 @@ module Ibex
   module Codegen
     type explain_selection = { state: IR::AutomatonState, conflict: IR::conflict, conflict_index: Integer }
 
-    type explain_entry = { state: IR::AutomatonState, conflict: IR::conflict, example: IR::counterexample }
+    type explain_entry = { state: IR::AutomatonState, conflict: IR::conflict, example: LALR::search_counterexample }
+
+    type explain_token = { name: String, display_name: String?, label: String, ?query: String }
+
+    type explain_alternative = { kind: String, ?state: Integer, ?production: Integer }
+
+    type explain_search = { status: String, explored: Integer, exhausted: bool, bounds: Hash[Symbol, Integer] }
+
+    type explain_tree_node = { ?symbol: explain_token, ?token: explain_token, ?production: Integer, ?children: Array[explain_tree] }
+
+    type explain_tree = untyped
+
+    type explain_interpretation = Hash[Symbol, untyped]
+
+    type string_value = String | Integer | Symbol
 
     # Renders a selected conflict explanation from Automaton IR and counterexamples.
     # rubocop:disable Metrics/ClassLength -- inline contracts and two stable output formats stay near selection policy.
@@ -15,8 +29,8 @@ module Ibex
       #   ?max_configurations: Integer) -> void
       def initialize: (IR::Automaton automaton, ?state: Integer?, ?token: String?, ?max_tokens: Integer, ?max_configurations: Integer) -> void
 
-      # @rbs () -> Hash[Symbol, untyped]
-      def to_h: () -> Hash[Symbol, untyped]
+      # @rbs () -> Hash[Symbol, Object?]
+      def to_h: () -> Hash[Symbol, Object?]
 
       # @rbs () -> String
       def render_text: () -> String
@@ -35,26 +49,32 @@ module Ibex
       # @rbs () -> Array[explain_selection]
       def selected_conflicts: () -> Array[explain_selection]
 
-      # @rbs (explain_entry entry) -> Hash[Symbol, untyped]
-      def conflict_document: (explain_entry entry) -> Hash[Symbol, untyped]
+      # @rbs (explain_entry entry) -> Hash[Symbol, Object?]
+      def conflict_document: (explain_entry entry) -> Hash[Symbol, Object?]
+
+      # @rbs (LALR::search_counterexample example) -> String
+      def witness_kind: (LALR::search_counterexample example) -> String
+
+      # @rbs (LALR::search_outcome outcome) -> explain_search
+      def search_document: (LALR::search_outcome outcome) -> explain_search
 
-      # @rbs (IR::conflict conflict) -> Array[Hash[Symbol, untyped]]
-      def conflict_alternatives: (IR::conflict conflict) -> Array[Hash[Symbol, untyped]]
+      # @rbs (IR::conflict conflict) -> Array[explain_alternative]
+      def conflict_alternatives: (IR::conflict conflict) -> Array[explain_alternative]
 
-      # @rbs (IR::interpretation interpretation) -> Hash[Symbol, untyped]
-      def interpretation_document: (IR::interpretation interpretation) -> Hash[Symbol, untyped]
+      # @rbs (IR::interpretation interpretation) -> explain_interpretation
+      def interpretation_document: (IR::interpretation interpretation) -> explain_interpretation
 
-      # @rbs (untyped tree) -> untyped
-      def tree_document: (untyped tree) -> untyped
+      # @rbs (explain_tree tree) -> explain_tree
+      def tree_document: (explain_tree tree) -> explain_tree
 
-      # @rbs (Hash[Symbol, untyped] value) -> Hash[Symbol, untyped]
-      def string_values: (Hash[Symbol, untyped] value) -> Hash[Symbol, untyped]
+      # @rbs (Hash[Symbol, string_value] value) -> Hash[Symbol, string_value]
+      def string_values: (Hash[Symbol, string_value] value) -> Hash[Symbol, string_value]
 
-      # @rbs (String name) -> Hash[Symbol, untyped]
-      def symbol_reference: (String name) -> Hash[Symbol, untyped]
+      # @rbs (String name) -> explain_token
+      def symbol_reference: (String name) -> explain_token
 
-      # @rbs (IR::GrammarSymbol symbol, ?query: String?) -> Hash[Symbol, untyped]
-      def token_reference: (IR::GrammarSymbol symbol, ?query: String?) -> Hash[Symbol, untyped]
+      # @rbs (IR::GrammarSymbol symbol, ?query: String?) -> explain_token
+      def token_reference: (IR::GrammarSymbol symbol, ?query: String?) -> explain_token
 
       # @rbs (Array[String] lines, explain_entry entry, Integer number) -> void
       def append_conflict: (Array[String] lines, explain_entry entry, Integer number) -> void
@@ -63,17 +83,17 @@ module Ibex
       def append_midrule_origins: (Array[String] lines, IR::conflict conflict) -> void
 
       # @rbs (Array[String] lines, IR::AutomatonState state, IR::conflict conflict,
-      #   IR::counterexample example) -> void
-      def append_witness_steps: (Array[String] lines, IR::AutomatonState state, IR::conflict conflict, IR::counterexample example) -> void
+      #   LALR::search_counterexample example) -> void
+      def append_witness_steps: (Array[String] lines, IR::AutomatonState state, IR::conflict conflict, LALR::search_counterexample example) -> void
 
-      # @rbs (Array[String] lines, IR::counterexample example) -> void
-      def append_interpretations: (Array[String] lines, IR::counterexample example) -> void
+      # @rbs (Array[String] lines, LALR::search_counterexample example) -> void
+      def append_interpretations: (Array[String] lines, LALR::search_counterexample example) -> void
 
-      # @rbs (Hash[Symbol, untyped] alternative) -> String
-      def alternative_text: (Hash[Symbol, untyped] alternative) -> String
+      # @rbs (explain_alternative alternative) -> String
+      def alternative_text: (explain_alternative alternative) -> String
 
-      # @rbs (Array[String] lines, untyped tree, String prefix, String connector) -> void
-      def append_tree: (Array[String] lines, untyped tree, String prefix, String connector) -> void
+      # @rbs (Array[String] lines, explain_tree tree, String prefix, String connector) -> void
+      def append_tree: (Array[String] lines, explain_tree tree, String prefix, String connector) -> void
 
       # @rbs (IR::GrammarSymbol symbol, ?query: String?) -> String
       def token_label: (IR::GrammarSymbol symbol, ?query: String?) -> String

data/sig/ibex/codegen/generated_action_abi.rbs

@@ -6,6 +6,10 @@ module Ibex
     # action's declared inputs.
     # rubocop:disable Metrics/ModuleLength -- ABI proof and source rewriting must evolve together.
     module GeneratedActionABI
+      type ripper_token = [ [ Integer, Integer ], Symbol, String, Integer ]
+
+      type sexp_value = Symbol | String | Integer | nil | Array[sexp_value]
+
       LEGACY_PARAMETERS: Array[String]
 
       SIMPLE_POSITIONAL_READ: Regexp
@@ -76,26 +80,26 @@ module Ibex
       # @rbs (String source, Array[String] parameters) -> String?
       def self?.simple_indexed_positional_action_source: (String source, Array[String] parameters) -> String?
 
-      # @rbs (Array[untyped] tokens, Array[String] parameters) -> String?
-      def self?.rewrite_positional_values: (Array[untyped] tokens, Array[String] parameters) -> String?
+      # @rbs (Array[ripper_token] tokens, Array[String] parameters) -> String?
+      def self?.rewrite_positional_values: (Array[ripper_token] tokens, Array[String] parameters) -> String?
 
-      # @rbs (Array[untyped] tokens, Integer index, Array[String] parameters) -> [String, Integer]?
-      def self?.positional_value_reference: (Array[untyped] tokens, Integer index, Array[String] parameters) -> [ String, Integer ]?
+      # @rbs (Array[ripper_token] tokens, Integer index, Array[String] parameters) -> [String, Integer]?
+      def self?.positional_value_reference: (Array[ripper_token] tokens, Integer index, Array[String] parameters) -> [ String, Integer ]?
 
-      # @rbs (Array[untyped] tokens, Integer index) -> bool
-      def self?.receiver_before_value?: (Array[untyped] tokens, Integer index) -> bool
+      # @rbs (Array[ripper_token] tokens, Integer index) -> bool
+      def self?.receiver_before_value?: (Array[ripper_token] tokens, Integer index) -> bool
 
       # @rbs (String source) -> bool
       def self?.references_legacy_parameter?: (String source) -> bool
 
-      # @rbs (untyped node, ?untyped parent, ?Integer? child_index) -> bool
-      def self?.read_only_value_references?: (untyped node, ?untyped parent, ?Integer? child_index) -> bool
+      # @rbs (sexp_value node, ?sexp_value parent, ?Integer? child_index) -> bool
+      def self?.read_only_value_references?: (sexp_value node, ?sexp_value parent, ?Integer? child_index) -> bool
 
       # @rbs (untyped node) -> bool
       def self?.value_reference?: (untyped node) -> bool
 
-      # @rbs (untyped parent, Integer? child_index) -> bool
-      def self?.safe_value_reference?: (untyped parent, Integer? child_index) -> bool
+      # @rbs (sexp_value? parent, Integer? child_index) -> bool
+      def self?.safe_value_reference?: (sexp_value? parent, Integer? child_index) -> bool
     end
   end
 end

data/sig/ibex/codegen/rbs.rbs

@@ -5,6 +5,8 @@ module Ibex
     # Generates an RBS declaration for the public surface of a generated parser.
     # rubocop:disable Metrics/ClassLength -- one generator owns the complete parser signature.
     class RBS
+      type syntax_definition = { name: String, kind: Integer, fields: Hash[String, CSTMetadata::field_slot] }
+
       @generated_action_abi: GeneratedActionABI::Cache
 
       @omit_action_call: bool
@@ -29,20 +31,20 @@ module Ibex
       # @rbs (Array[String] lines) -> void
       def append_syntax_contract: (Array[String] lines) -> void
 
-      # @rbs () -> Hash[String, Hash[Symbol, untyped]]
-      def syntax_node_definitions: () -> Hash[String, Hash[Symbol, untyped]]
+      # @rbs () -> Hash[String, syntax_definition]
+      def syntax_node_definitions: () -> Hash[String, syntax_definition]
 
-      # @rbs (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
-      def merge_syntax_fields: (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
+      # @rbs (Hash[String, CSTMetadata::field_slot] left, Hash[String, CSTMetadata::field_slot] right) -> Hash[String, CSTMetadata::field_slot]
+      def merge_syntax_fields: (Hash[String, CSTMetadata::field_slot] left, Hash[String, CSTMetadata::field_slot] right) -> Hash[String, CSTMetadata::field_slot]
 
-      # @rbs (Array[String] lines, Hash[Symbol, untyped] definition) -> void
-      def append_syntax_node_contract: (Array[String] lines, Hash[Symbol, untyped] definition) -> void
+      # @rbs (Array[String] lines, syntax_definition definition) -> void
+      def append_syntax_node_contract: (Array[String] lines, syntax_definition definition) -> void
 
       # @rbs (String node_name, Integer index) -> String
       def syntax_field_type: (String node_name, Integer index) -> String
 
-      # @rbs (Array[String] lines, Hash[String, untyped] fields) -> void
-      def append_repetition_contracts: (Array[String] lines, Hash[String, untyped] fields) -> void
+      # @rbs (Array[String] lines, Hash[String, CSTMetadata::field_slot] fields) -> void
+      def append_repetition_contracts: (Array[String] lines, Hash[String, CSTMetadata::field_slot] fields) -> void
 
       # @rbs () -> Hash[String, IR::node_annotation]
       def ast_node_definitions: () -> Hash[String, IR::node_annotation]
@@ -86,8 +88,8 @@ module Ibex
       # @rbs (Array[String] lines, IR::Production production) -> void
       def append_composed_fragment_signatures: (Array[String] lines, IR::Production production) -> void
 
-      # @rbs (IR::Production production, Hash[Symbol, untyped] plan, Integer slot, Integer step_index) -> String
-      def composition_slot_type: (IR::Production production, Hash[Symbol, untyped] plan, Integer slot, Integer step_index) -> String
+      # @rbs (IR::Production production, IR::action_composition_plan plan, Integer slot, Integer step_index) -> String
+      def composition_slot_type: (IR::Production production, IR::action_composition_plan plan, Integer slot, Integer step_index) -> String
 
       # @rbs (IR::Production production) -> bool
       def action_method?: (IR::Production production) -> bool

data/sig/ibex/codegen/report.rbs

@@ -4,17 +4,17 @@ module Ibex
   module Codegen
     # Renders a human-readable state and conflict report from Automaton IR.
     module Report
-      private def append_state: (Array[String] lines, IR::AutomatonState state, IR::Grammar grammar, Array[IR::counterexample] examples, Hash[Integer, String] labels) -> void
+      private def append_state: (Array[String] lines, IR::AutomatonState state, IR::Grammar grammar, Array[LALR::search_counterexample] examples, Hash[Integer, String] labels) -> void
 
-      private def self.append_state: (Array[String] lines, IR::AutomatonState state, IR::Grammar grammar, Array[IR::counterexample] examples, Hash[Integer, String] labels) -> void
+      private def self.append_state: (Array[String] lines, IR::AutomatonState state, IR::Grammar grammar, Array[LALR::search_counterexample] examples, Hash[Integer, String] labels) -> void
 
-      private def append_counterexample: (Array[String] lines, IR::counterexample example, IR::Grammar grammar, Hash[Integer, String] labels) -> void
+      private def append_counterexample: (Array[String] lines, LALR::search_counterexample example, IR::Grammar grammar, Hash[Integer, String] labels) -> void
 
-      private def self.append_counterexample: (Array[String] lines, IR::counterexample example, IR::Grammar grammar, Hash[Integer, String] labels) -> void
+      private def self.append_counterexample: (Array[String] lines, LALR::search_counterexample example, IR::Grammar grammar, Hash[Integer, String] labels) -> void
 
-      private def append_tree: (Array[String] lines, untyped tree, String indentation, IR::Grammar grammar, Hash[Integer, String] labels) -> void
+      private def append_tree: (Array[String] lines, Object? tree, String indentation, IR::Grammar grammar, Hash[Integer, String] labels) -> void
 
-      private def self.append_tree: (Array[String] lines, untyped tree, String indentation, IR::Grammar grammar, Hash[Integer, String] labels) -> void
+      private def self.append_tree: (Array[String] lines, Object? tree, String indentation, IR::Grammar grammar, Hash[Integer, String] labels) -> void
 
       private def format_item: (IR::AutomatonItem item, IR::Grammar grammar, Hash[Integer, String] labels) -> String
 
@@ -28,17 +28,17 @@ module Ibex
 
       private def self.symbol_name: (Hash[Integer, String] labels, Integer id) -> String
 
-      private def tree_label: (IR::Grammar grammar, Hash[Integer, String] labels, untyped value) -> untyped
+      private def tree_label: (IR::Grammar grammar, Hash[Integer, String] labels, Object? value) -> Object?
 
-      private def self.tree_label: (IR::Grammar grammar, Hash[Integer, String] labels, untyped value) -> untyped
+      private def self.tree_label: (IR::Grammar grammar, Hash[Integer, String] labels, Object? value) -> Object?
 
-      private def display_conflict: (IR::conflict conflict, IR::Grammar grammar, Hash[Integer, String] labels) -> Hash[Symbol, untyped]
+      private def display_conflict: (IR::conflict conflict, IR::Grammar grammar, Hash[Integer, String] labels) -> Hash[Symbol, Object?]
 
-      private def self.display_conflict: (IR::conflict conflict, IR::Grammar grammar, Hash[Integer, String] labels) -> Hash[Symbol, untyped]
+      private def self.display_conflict: (IR::conflict conflict, IR::Grammar grammar, Hash[Integer, String] labels) -> Hash[Symbol, Object?]
 
-      private def format_value: (untyped value) -> String
+      private def format_value: (Object? value) -> String
 
-      private def self.format_value: (untyped value) -> String
+      private def self.format_value: (Object? value) -> String
 
       # @rbs (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> String
       def self?.render: (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> String

data/sig/ibex/codegen/ruby.rbs

@@ -19,8 +19,6 @@ module Ibex
 
       include RubySyntax
 
-      EMBEDDED_RUNTIME_SOURCES: Array[String]
-
       @automaton: IR::Automaton
 
       @grammar: IR::Grammar
@@ -60,12 +58,17 @@ module Ibex
 
       private
 
+      # @rbs () -> void
+      def reject_foreign_actions: () -> void
+
+      # Kept local so the generic generator does not load the optional Bison
+      # importer and its IR validation graph.
+      # @rbs () -> String
+      def foreign_action_sentinel: () -> String
+
       # @rbs (Array[String] lines) -> void
       def append_runtime: (Array[String] lines) -> void
 
-      # @rbs (String relative_path) -> String
-      def embedded_source: (String relative_path) -> String
-
       # @rbs (Array[String] lines) -> void
       def append_tables: (Array[String] lines) -> void
 
@@ -84,20 +87,20 @@ module Ibex
       # @rbs () -> bool
       def shareable_parser_tables?: () -> bool
 
-      # @rbs () -> Hash[Symbol, untyped]
-      def cst_metadata: () -> Hash[Symbol, untyped]
+      # @rbs () -> CSTMetadata::metadata
+      def cst_metadata: () -> CSTMetadata::metadata
 
-      # @rbs (untyped value) -> String
-      def deep_frozen_literal: (untyped value) -> String
+      # @rbs (Object? value) -> String
+      def deep_frozen_literal: (Object? value) -> String
 
-      # @rbs (untyped table) -> String
-      def table_literal: (untyped table) -> String
+      # @rbs (Object? table) -> String
+      def table_literal: (Object? table) -> String
 
-      # @rbs (Array[Integer?] values) -> String
-      def packed_integers_literal: (Array[Integer?] values) -> String
+      # @rbs (Array[untyped] values) -> String
+      def packed_integers_literal: (Array[untyped] values) -> String
 
-      # @rbs (Array[Integer?] values) -> String
-      def packed_signed_integers_literal: (Array[Integer?] values) -> String
+      # @rbs (Array[untyped] values) -> String
+      def packed_signed_integers_literal: (Array[untyped] values) -> String
 
       # @rbs () -> String
       def token_ids_literal: () -> String

data/sig/ibex/codegen/ruby_actions.rbs

@@ -23,17 +23,17 @@ module Ibex
       # @rbs (Array[String] lines, IR::Production production) -> void
       def append_composed_action_method: (Array[String] lines, IR::Production production) -> void
 
-      # @rbs (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
-      def append_composed_fragment_method: (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
+      # @rbs (Array[String] lines, IR::Production production, IR::action_composition_step step, Integer index) -> void
+      def append_composed_fragment_method: (Array[String] lines, IR::Production production, IR::action_composition_step step, Integer index) -> void
 
       # @rbs (IR::Production production, Integer index) -> String
       def composed_fragment_name: (IR::Production production, Integer index) -> String
 
-      # @rbs (Array[String] lines, IR::Production production, Hash[Symbol, untyped] plan) -> void
-      def append_composed_orchestrator: (Array[String] lines, IR::Production production, Hash[Symbol, untyped] plan) -> void
+      # @rbs (Array[String] lines, IR::Production production, IR::action_composition_plan plan) -> void
+      def append_composed_orchestrator: (Array[String] lines, IR::Production production, IR::action_composition_plan plan) -> void
 
-      # @rbs (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
-      def append_composed_step: (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
+      # @rbs (Array[String] lines, IR::Production production, IR::action_composition_step step, Integer index) -> void
+      def append_composed_step: (Array[String] lines, IR::Production production, IR::action_composition_step step, Integer index) -> void
 
       # @rbs (Array[String] lines, IR::Production production) -> void
       def append_compiled_action_method: (Array[String] lines, IR::Production production) -> void

data/sig/ibex/codegen/ruby_syntax.rbs

@@ -4,22 +4,24 @@ module Ibex
   module Codegen
     # Generates typed Red syntax views from @node metadata.
     module RubySyntax
+      type syntax_definition = Hash[Symbol, untyped]
+
       private
 
       # @rbs (Array[String] lines) -> void
       def append_syntax: (Array[String] lines) -> void
 
-      # @rbs () -> Hash[String, Hash[Symbol, untyped]]
-      def syntax_node_definitions: () -> Hash[String, Hash[Symbol, untyped]]
+      # @rbs () -> Hash[String, syntax_definition]
+      def syntax_node_definitions: () -> Hash[String, syntax_definition]
 
-      # @rbs (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
-      def merge_syntax_fields: (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
+      # @rbs (Hash[String, CSTMetadata::field_slot] left, Hash[String, CSTMetadata::field_slot] right) -> Hash[String, CSTMetadata::field_slot]
+      def merge_syntax_fields: (Hash[String, CSTMetadata::field_slot] left, Hash[String, CSTMetadata::field_slot] right) -> Hash[String, CSTMetadata::field_slot]
 
-      # @rbs (Array[String] lines, Hash[Symbol, untyped] definition) -> void
-      def append_syntax_node: (Array[String] lines, Hash[Symbol, untyped] definition) -> void
+      # @rbs (Array[String] lines, syntax_definition definition) -> void
+      def append_syntax_node: (Array[String] lines, syntax_definition definition) -> void
 
-      # @rbs (Array[String] lines, Hash[String, untyped] fields) -> void
-      def append_repetition_accessors: (Array[String] lines, Hash[String, untyped] fields) -> void
+      # @rbs (Array[String] lines, Hash[String, CSTMetadata::field_slot] fields) -> void
+      def append_repetition_accessors: (Array[String] lines, Hash[String, CSTMetadata::field_slot] fields) -> void
     end
   end
 end

data/sig/ibex/configuration/analysis_grammar.rbs

@@ -0,0 +1,13 @@
+# Generated from lib/ibex/configuration/analysis_grammar.rb with RBS::Inline
+
+module Ibex
+  module Configuration
+    # Produces an immutable Grammar IR view suitable for an explicitly
+    # noncanonical analysis algorithm. The source-owned contract remains the
+    # authority; callers must report the override through Configuration::Value.
+    module AnalysisGrammar
+      # @rbs (IR::Grammar grammar, Symbol algorithm) -> IR::Grammar
+      def self?.for_algorithm: (IR::Grammar grammar, Symbol algorithm) -> IR::Grammar
+    end
+  end
+end