ibex 0.1.0 → 0.3.0

data/sig/ibex/cli/verify.rbs

@@ -0,0 +1,28 @@
+# Generated from lib/ibex/cli/verify.rb with RBS::Inline
+
+module Ibex
+  # CLI entry point for bounded, independent Automaton IR verification.
+  module CLIVerify
+    type verify_options = { paths: Array[String], strict: bool, max_states: Integer, max_items: Integer, ?grammar: String, format: String, ?help: String }
+
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_verify_command: (Array[String] arguments) -> Integer
+
+    # @rbs (Array[String] arguments) -> verify_options
+    def verify_options: (Array[String] arguments) -> verify_options
+
+    # @rbs (String path) -> IR::Automaton
+    def load_verify_automaton: (String path) -> IR::Automaton
+
+    # @rbs (IR::Automaton automaton, String path) -> void
+    def verify_supplied_grammar!: (IR::Automaton automaton, String path) -> void
+
+    # @rbs (Verify::Result result, String format) -> void
+    def write_verify_result: (Verify::Result result, String format) -> void
+
+    # @rbs (Integer value, String name) -> Integer
+    def positive_verify_budget: (Integer value, String name) -> Integer
+  end
+end

data/sig/ibex/cli/watch.rbs

@@ -0,0 +1,43 @@
+# Generated from lib/ibex/cli/watch.rb with RBS::Inline
+
+module Ibex
+  # Long-running CLI generation over stable source snapshots.
+  module CLIWatch
+    private def process_grammar: (String) -> Integer
+
+    private def generation_artifacts: () -> ArtifactSet
+
+    private def report_status: (String) -> void
+
+    # Rendered watch generation awaiting its stability-guarded publication.
+    class Build
+      attr_reader artifacts: ArtifactSet
+
+      attr_reader statuses: Array[String]
+
+      attr_reader source_paths: Array[String]
+
+      attr_reader attempted_paths: Array[String]
+
+      attr_reader source_records: Array[GenerationInput]
+
+      # rubocop:disable Layout/LineLength
+      # @rbs (artifacts: ArtifactSet, statuses: Array[String], source_paths: Array[String], attempted_paths: Array[String], source_records: Array[GenerationInput]) -> void
+      def initialize: (artifacts: ArtifactSet, statuses: Array[String], source_paths: Array[String], attempted_paths: Array[String], source_records: Array[GenerationInput]) -> void
+    end
+
+    private
+
+    # @rbs (String path) -> Integer
+    def run_watch: (String path) -> Integer
+
+    # @rbs (String path) -> Build
+    def prepare_watch_generation: (String path) -> Build
+
+    # @rbs (Watch::_BuildResult build, Watch::SourceSnapshot snapshot, ^() -> bool continue) -> void
+    def publish_watch_generation: (Watch::_BuildResult build, Watch::SourceSnapshot snapshot, ^() -> bool continue) -> void
+
+    # @rbs (String path) -> Array[String]
+    def watch_failure_paths: (String path) -> Array[String]
+  end
+end

data/sig/ibex/cli.rbs

@@ -1,62 +1,188 @@
 # Generated from lib/ibex/cli.rb with RBS::Inline
 
 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
 
-  type cli_options = { emit: String, mode: Symbol, table: Symbol, line_convert: bool, ?line_convert_all: bool, counterexample_max_tokens: Integer, counterexample_max_configurations: Integer, ?from: String, ?algorithm: Symbol, ?warnings: Array[Symbol], ?output: String, ?embedded: bool, ?debug: bool, ?verbose: bool, ?rbs: String | true, ?dot: String, ?html: String, ?log_file: String, ?executable: String, ?frozen: bool, ?omit_actions: bool, ?superclass: String, ?check_only: bool, ?status: bool, ?profile: bool, ?debug_flags: String, ?version: bool, ?runtime_version: bool, ?copyright: bool, ?help: bool }
+  interface _CLIInput
+    def read: () -> String
+
+    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, ?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.
   class CLI
+    SUBCOMMAND_HANDLERS: Hash[String, [ Symbol, Symbol ]]
+
     include CLICounterexampleOptions
 
+    include CLIGenerationErrorMessages
+
+    include CLIGenerationArtifacts
+
     include CLIOutputs
 
-    @options: cli_options
+    @stdout: _CLIOutput
 
     @stderr: _CLIOutput
 
-    @stdout: _CLIOutput
+    @options: cli_options
+
+    @language: String
+
+    @configuration_explicit_options: Hash[Symbol, bool]
 
-    # @rbs (Array[String] arguments, ?stdout: _CLIOutput, ?stderr: _CLIOutput) -> Integer
-    def self.start: (Array[String] arguments, ?stdout: _CLIOutput, ?stderr: _CLIOutput) -> Integer
+    @generation_grammar: IR::Grammar?
 
-    # @rbs (stdout: _CLIOutput, stderr: _CLIOutput) -> void
-    def initialize: (stdout: _CLIOutput, stderr: _CLIOutput) -> void
+    @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
+    def self.start: (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
+
+    # @rbs (?stdin: _CLIInput, stdout: _CLIOutput, stderr: _CLIOutput, ?watch_clock: (^() -> Float)?, ?watch_sleeper: (^(Float) -> void)?, ?watch_iteration_hook: (^(Symbol, Integer, Array[String]) -> (Integer | Symbol | nil))?) -> void
+    def initialize: (stdout: _CLIOutput, stderr: _CLIOutput, ?stdin: _CLIInput, ?watch_clock: (^() -> Float)?, ?watch_sleeper: (^(Float) -> void)?, ?watch_iteration_hook: (^(Symbol, Integer, Array[String]) -> (Integer | Symbol | nil))?) -> void
 
     # @rbs (Array[String] arguments) -> Integer
     def run: (Array[String] arguments) -> Integer
 
     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?
+
+    # @rbs (Symbol feature) -> void
+    def activate_cli_feature: (Symbol feature) -> void
+
+    # @rbs (String path) -> Integer
+    def run_watch_feature: (String path) -> Integer
+
     # @rbs () -> OptionParser
     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
     def add_output_options: (OptionParser options) -> void
 
+    # @rbs (OptionParser options) -> void
+    def add_signature_output_options: (OptionParser options) -> void
+
     # @rbs (OptionParser options) -> void
     def add_compatibility_options: (OptionParser options) -> void
 
     # @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?
 
     # @rbs (Array[String] remaining) -> String
     def input_path: (Array[String] remaining) -> String
 
+    # @rbs () -> void
+    def validate_generation_options: () -> void
+
+    # @rbs () -> void
+    def validate_automaton_construction_options: () -> void
+
+    # @rbs () -> void
+    def validate_manifest_generation_options: () -> void
+
+    # @rbs () -> void
+    def validate_action_source_generation_options: () -> void
+
+    # @rbs () -> void
+    def validate_verification_generation_options: () -> void
+
+    # @rbs () -> void
+    def validate_watch_information_options: () -> void
+
+    # @rbs () -> void
+    def validate_watch_generation_options: () -> void
+
+    # @rbs (String input_path, ?source_paths: Array[String]) -> void
+    def validate_generation_paths!: (String input_path, ?source_paths: Array[String]) -> void
+
+    # @rbs (String left, String right) -> bool
+    def same_file_target?: (String left, String right) -> bool
+
+    # @rbs (String path) -> [String, String]
+    def portable_target_key: (String path) -> [ String, String ]
+
+    # @rbs (String path, ?Hash[String, bool] seen) -> String
+    def canonical_target_path: (String path, ?Hash[String, bool] seen) -> String
+
+    # @rbs (String input_path) -> Hash[Symbol, String?]
+    def generation_paths: (String input_path) -> Hash[Symbol, String?]
+
     # @rbs (String path) -> Integer
     def process_grammar: (String path) -> Integer
 
+    # @rbs (String path) -> Frontend::Resolution
+    def resolve_grammar_path: (String path) -> Frontend::Resolution
+
+    # @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
 
@@ -66,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
 
@@ -81,6 +216,12 @@ module Ibex
     # @rbs (IR::Grammar grammar) -> Integer
     def emit_grammar: (IR::Grammar grammar) -> Integer
 
+    # @rbs (IR::Grammar grammar) -> Integer
+    def emit_lexer: (IR::Grammar grammar) -> Integer
+
+    # @rbs (IR::Grammar grammar) -> Integer
+    def emit_sets: (IR::Grammar grammar) -> Integer
+
     # @rbs (IR::Grammar grammar, String input_path) -> Integer
     def emit_automaton: (IR::Grammar grammar, String input_path) -> Integer
 
@@ -90,19 +231,51 @@ module Ibex
     # @rbs (IR::Automaton automaton, String input_path) -> Integer
     def generate_ruby: (IR::Automaton automaton, String input_path) -> Integer
 
+    # @rbs (IR::Automaton automaton, String output_path, String source, String? action_source) -> Integer
+    def verify_generated_outputs: (IR::Automaton automaton, String output_path, String source, String? action_source) -> Integer
+
+    # @rbs (String path, String source, String label) -> void
+    def verify_file: (String path, String source, String label) -> void
+
     # @rbs (IR::Automaton automaton, String output_path) -> void
     def write_rbs: (IR::Automaton automaton, String output_path) -> void
 
+    # @rbs (String output_path) -> String
+    def rbs_output_path: (String output_path) -> String
+
+    # @rbs (IR::Automaton automaton) -> String
+    def rbs_source: (IR::Automaton automaton) -> String
+
+    # @rbs (String output_path, String source) -> void
+    def write_action_source: (String output_path, String source) -> void
+
+    # @rbs (String output_path) -> String
+    def action_source_output_path: (String output_path) -> String
+
+    # @rbs (IR::Automaton automaton) -> String
+    def action_source_source: (IR::Automaton automaton) -> String
+
     # @rbs (IR::Automaton automaton, String input_path) -> Integer
     def emit_loaded_automaton: (IR::Automaton automaton, String input_path) -> Integer
 
     # @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
 
     # @rbs (IR::Automaton automaton) -> void
     def write_visualizations: (IR::Automaton automaton) -> void
+
+    # @rbs (IR::Grammar grammar) -> void
+    def write_railroad: (IR::Grammar grammar) -> void
+
+    # @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_locations.rbs

@@ -0,0 +1,45 @@
+# Generated from lib/ibex/codegen/action_locations.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Rewrites semantic-location expressions without touching Ruby literals,
+    # comments, heredoc bodies, or ordinary instance/class variables.
+    class ActionLocations
+      SEMANTIC_HELPERS: Array[String]
+
+      @source: String
+
+      @maximum: Integer
+
+      @location: IR::location
+
+      # @rbs (String source, maximum: Integer, location: IR::location) -> void
+      def initialize: (String source, maximum: Integer, location: IR::location) -> void
+
+      # @rbs () -> String
+      def rewrite: () -> String
+
+      # @rbs () -> bool
+      def references?: () -> bool
+
+      private
+
+      # @rbs () -> String
+      def mutable_binary_source_copy: () -> String
+
+      # @rbs () -> Array[[Integer, String]]
+      def semantic_references: () -> Array[[ Integer, String ]]
+
+      # Give every Ripper implementation syntactically valid input while
+      # preserving byte offsets and lexical string/comment boundaries.
+      # @rbs () -> String
+      def lexable_source: () -> String
+
+      # @rbs () -> Array[Integer]
+      def line_offsets: () -> Array[Integer]
+
+      # @rbs (String spelling) -> String
+      def replacement_for: (String spelling) -> String
+    end
+  end
+end

data/sig/ibex/codegen/action_method_source.rbs

@@ -0,0 +1,65 @@
+# Generated from lib/ibex/codegen/action_method_source.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Builds semantic method source shared by runtime and static shadow output.
+    class ActionMethodSource
+      @generated_action_abi: GeneratedActionABI::Cache
+
+      @grammar: IR::Grammar
+
+      # @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, 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
+
+      # @rbs (IR::Production production) -> String
+      def compiled_action_method_source: (IR::Production production) -> String
+
+      # @rbs (IR::Production production) -> String
+      def direct_action_method_source: (IR::Production production) -> String
+
+      # @rbs (Integer symbol_id, IR::value_printer printer) -> String
+      def value_printer_method_source: (Integer symbol_id, IR::value_printer printer) -> String
+
+      # @rbs (String source) -> bool
+      def column_sensitive?: (String source) -> bool
+
+      private
+
+      # @rbs (IR::Production production) -> String
+      def action_parameters: (IR::Production production) -> String
+
+      # @rbs (IR::Production production, Integer index) -> String
+      def value_expression: (IR::Production production, Integer index) -> String
+
+      # @rbs (String source, ?production: IR::Production?) -> void
+      def append_parameter_values: (String source, ?production: IR::Production?) -> void
+
+      # @rbs (Array[String] lines, production: IR::Production) -> void
+      def append_direct_parameter_values: (Array[String] lines, production: IR::Production) -> void
+
+      # @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
+
+      # @rbs (String source, IR::Production production, IR::Action action) -> void
+      def append_action_body: (String source, IR::Production production, IR::Action action) -> void
+
+      # @rbs (Array[String] lines, IR::Production production, IR::Action? action) -> void
+      def append_direct_action_body: (Array[String] lines, IR::Production production, IR::Action? action) -> void
+
+      # @rbs (IR::Production production, IR::Action action) -> String
+      def semantic_action_code: (IR::Production production, IR::Action action) -> String
+
+      # @rbs (IR::Production production) -> String
+      def default_value_expression: (IR::Production production) -> String
+    end
+  end
+end

data/sig/ibex/codegen/action_source.rbs

@@ -0,0 +1,50 @@
+# Generated from lib/ibex/codegen/action_source.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Generates static-check-only Ruby containing semantic action methods.
+    class ActionSource
+      include RubyAST
+
+      @automaton: IR::Automaton
+
+      @grammar: IR::Grammar
+
+      @omit_action_call: bool
+
+      @method_source: ActionMethodSource
+
+      # @rbs (IR::Automaton automaton, ?omit_action_call: bool?) -> void
+      def initialize: (IR::Automaton automaton, ?omit_action_call: bool?) -> void
+
+      # @rbs () -> String
+      def generate: () -> String
+
+      private
+
+      # @rbs (Array[String] lines) -> void
+      def append_value_printers: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_actions: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines, IR::Production production) -> void
+      def append_composed_actions: (Array[String] lines, IR::Production production) -> void
+
+      # @rbs (Array[String] lines, IR::Production production) -> void
+      def append_action: (Array[String] lines, IR::Production production) -> void
+
+      # @rbs (Array[String] lines, IR::location location, String source) -> void
+      def append_method: (Array[String] lines, IR::location location, String source) -> void
+
+      # @rbs (IR::Production production) -> bool
+      def composed_action?: (IR::Production production) -> bool
+
+      # @rbs () -> [Array[String], String]
+      def class_parts: () -> [ Array[String], String ]
+
+      # @rbs () -> String
+      def grammar_digest_comment: () -> String
+    end
+  end
+end

data/sig/ibex/codegen/ambiguity.rbs

@@ -0,0 +1,60 @@
+# Generated from lib/ibex/codegen/ambiguity.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    type ambiguity_search = { max_tokens: Integer, max_configurations: Integer }
+
+    type ambiguity_summary = { conflicts: Integer, ambiguous: Integer, not_found: Integer, configuration_budget_exhausted: Integer }
+
+    type ambiguity_check = { state: Integer, type: String, token: String, result: String, sentence: Array[String], lookahead_index: Integer?, interpretations: Array[IR::interpretation], explored_configurations: Integer, configuration_budget_exhausted: bool }
+
+    type ambiguity_document = { ibex_check: String, schema_version: Integer, algorithm: String, search: ambiguity_search, status: String, summary: ambiguity_summary, conflicts: Array[ambiguity_check] }
+
+    # Renders a bounded ambiguity search over every parser conflict.
+    class Ambiguity
+      SCHEMA_VERSION: Integer
+
+      @checks: Array[ambiguity_check]
+
+      @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 () -> Integer
+      def exit_status: () -> Integer
+
+      # @rbs () -> ambiguity_document
+      def to_h: () -> ambiguity_document
+
+      # @rbs () -> String
+      def render_text: () -> String
+
+      private
+
+      # @rbs () -> String
+      def status: () -> String
+
+      # @rbs () -> ambiguity_summary
+      def summary: () -> ambiguity_summary
+
+      # @rbs () -> Array[ambiguity_check]
+      def check_conflicts: () -> Array[ambiguity_check]
+
+      # @rbs (IR::AutomatonState state, IR::conflict conflict) -> ambiguity_check
+      def check_conflict: (IR::AutomatonState state, IR::conflict conflict) -> ambiguity_check
+
+      # @rbs (Array[Integer] ids) -> Array[String]
+      def symbol_names: (Array[Integer] ids) -> Array[String]
+
+      # @rbs (Array[String] lines, ambiguity_check check, Integer number) -> void
+      def append_check: (Array[String] lines, ambiguity_check check, Integer number) -> void
+    end
+  end
+end

data/sig/ibex/codegen/cst_metadata.rbs

@@ -0,0 +1,59 @@
+# Generated from lib/ibex/codegen/cst_metadata.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Builds the deterministic kind space embedded in CST-aware parser tables.
+    class CSTMetadata
+      type kind_map = Hash[String, Integer]
+
+      type kinds = { names: Array[String], terminal_range: Array[Integer], nonterminal_range: Array[Integer], named: kind_map, named_nonterminals: Hash[Integer, Integer], trivia: kind_map, synthetic: kind_map }
+
+      type field_slot = Integer | { index: Integer, extraction: Symbol }
+
+      type slot = { node_kind: Integer, node_name: String, fields: Hash[String, field_slot] }
+
+      type metadata = { version: Integer, trivia_policy: Symbol, kinds: kinds, slots: Hash[Integer, slot] }
+
+      TRIVIA_KINDS: Array[String]
+
+      SYNTHETIC_KINDS: Array[String]
+
+      @grammar: IR::Grammar
+
+      @trivia_policy: Symbol
+
+      # @rbs (IR::Grammar grammar, ?trivia_policy: Symbol | String) -> void
+      def initialize: (IR::Grammar grammar, ?trivia_policy: Symbol | String) -> void
+
+      # Return table-ready CST metadata with stable insertion order.
+      # @rbs () -> metadata
+      def build: () -> metadata
+
+      private
+
+      # @rbs (Symbol | String policy) -> Symbol
+      def normalize_trivia_policy: (Symbol | String policy) -> Symbol
+
+      # @rbs (Array[String] names) -> Hash[String, Integer]
+      def append_named_kinds: (Array[String] names) -> Hash[String, Integer]
+
+      # @rbs (Array[String] names, Array[String] additions) -> Hash[String, Integer]
+      def append_kinds: (Array[String] names, Array[String] additions) -> Hash[String, Integer]
+
+      # @rbs (Array[Integer] ids) -> Array[Integer]
+      def half_open_range: (Array[Integer] ids) -> Array[Integer]
+
+      # @rbs (Hash[String, Integer] named) -> Hash[Integer, Integer]
+      def named_nonterminals: (Hash[String, Integer] named) -> Hash[Integer, Integer]
+
+      # @rbs (Hash[String, Integer] named) -> Hash[Integer, slot]
+      def slot_metadata: (Hash[String, Integer] named) -> Hash[Integer, slot]
+
+      # @rbs (Integer index, Integer symbol_id) -> field_slot
+      def field_slot: (Integer index, Integer symbol_id) -> field_slot
+
+      # @rbs (Integer symbol_id) -> Symbol?
+      def repetition_extraction: (Integer symbol_id) -> Symbol?
+    end
+  end
+end