ibex 0.2.0 → 0.3.0

data/sig/ibex/cli/fix.rbs

@@ -0,0 +1,53 @@
+# Generated from lib/ibex/cli/fix.rb with RBS::Inline
+
+module Ibex
+  # CLI entry point for bounded conflict-repair proposals.
+  # rubocop:disable Metrics/ModuleLength -- CLI option wiring and output projections share one closed contract.
+  module CLIFix
+    type fix_options = Hash[Symbol, untyped]
+
+    private def normalize_grammar_path: (String) -> IR::Grammar
+
+    private def activate_cli_feature: (Symbol) -> void
+
+    private def configuration_value: (String) -> untyped
+
+    private def set_configuration_option: (Symbol, Object?) -> void
+
+    private def local_configuration_value: (Hash[Symbol, Object?], String) -> Object?
+
+    private def set_local_configuration_option: (Hash[Symbol, Object?], Symbol, Object?) -> void
+
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_fix_command: (Array[String] arguments) -> Integer
+
+    # @rbs (String path, Hash[Symbol, untyped] settings) -> [String, Fix]
+    def prepare_fixer: (String path, Hash[Symbol, untyped] settings) -> [ String, Fix ]
+
+    # Keep command-local construction settings separate from reusable CLI state.
+    # @rbs (Array[String] arguments) -> Hash[Symbol, untyped]
+    def fix_options: (Array[String] arguments) -> Hash[Symbol, untyped]
+
+    # @rbs (OptionParser options, Hash[Symbol, untyped] settings) -> void
+    def add_fix_target_options: (OptionParser options, Hash[Symbol, untyped] settings) -> void
+
+    # @rbs (OptionParser options, Hash[Symbol, untyped] settings) -> void
+    def add_fix_budget_options: (OptionParser options, Hash[Symbol, untyped] settings) -> void
+
+    # @rbs (IR::Grammar grammar, Hash[Symbol, untyped] settings) -> [IR::Grammar, Symbol, IR::Automaton]
+    def fixer_construction: (IR::Grammar grammar, Hash[Symbol, untyped] settings) -> [ IR::Grammar, Symbol, IR::Automaton ]
+
+    private def construct_analysis_automaton: (IR::Grammar, Hash[Symbol, Object?], Array[Symbol]) -> [ IR::Grammar, Symbol, IR::Automaton ]
+
+    # @rbs (String path, String original, Hash[Symbol, untyped] report, Fix fixer, String | true selector) -> void
+    def apply_fix!: (String path, String original, Hash[Symbol, untyped] report, Fix fixer, String | true selector) -> void
+
+    # @rbs (Array[Hash[Symbol, untyped]] proposals, String | true selector) -> Hash[Symbol, untyped]
+    def selected_fix_proposal: (Array[Hash[Symbol, untyped]] proposals, String | true selector) -> Hash[Symbol, untyped]
+
+    # @rbs (Hash[Symbol, untyped] report, String format) -> void
+    def write_fix_report: (Hash[Symbol, untyped] report, String format) -> void
+  end
+end

data/sig/ibex/cli/formatting.rbs

@@ -4,7 +4,7 @@ module Ibex
   # CLI coordination for deterministic, semantics-preserving grammar formatting.
   # rubocop:disable Metrics/ModuleLength -- transaction lifecycle stays cohesive and auditable.
   module CLIFormatting
-    type formatting_settings = { paths: Array[String], mode: Symbol, check: bool, write: bool, ?stdin_filename: String, ?help: bool }
+    type formatting_settings = Hash[Symbol, untyped]
 
     type formatting_result = { path: String, label: String, source: String, formatted: String }
 
@@ -12,6 +12,10 @@ module Ibex
 
     type formatting_cleanup_result = { errors: Array[String], remaining: Array[String] }
 
+    private def local_configuration_value: (Hash[Symbol, Object?], String) -> Object?
+
+    private def set_local_configuration_option: (Hash[Symbol, Object?], Symbol, Object?) -> void
+
     private
 
     # @rbs (Array[String] arguments) -> Integer

data/sig/ibex/cli/fuzz.rbs

@@ -0,0 +1,47 @@
+# Generated from lib/ibex/cli/fuzz.rb with RBS::Inline
+
+module Ibex
+  # CLI entry point for bounded grammar-derived differential fuzzing.
+  module CLIFuzz
+    include CLIFuzzRegressions
+
+    private def print_help: (OptionParser) -> Integer
+
+    private def input_path: (Array[String]) -> String
+
+    private def normalize_grammar_path: (String) -> IR::Grammar
+
+    private def handle_grammar_warnings: (IR::Grammar, String) -> void
+
+    private def warning_categories: (String) -> Array[Symbol]
+
+    private def select_configuration_mode: (String) -> void
+
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_fuzz_command: (Array[String] arguments) -> Integer
+
+    # @rbs () -> OptionParser
+    def fuzz_option_parser: () -> OptionParser
+
+    # @rbs (OptionParser options) -> void
+    def add_fuzz_generation_options: (OptionParser options) -> void
+
+    # @rbs (OptionParser options) -> void
+    def add_fuzz_execution_options: (OptionParser options) -> void
+
+    # @rbs (OptionParser options) -> void
+    def add_fuzz_external_options: (OptionParser options) -> void
+
+    # @rbs () -> fuzz_external_target?
+    def external_fuzz_target: () -> fuzz_external_target?
+
+    # @rbs (BoundedSubprocess subprocess, Array[String] arguments, Array[String] tokens,
+    #   Integer timeout, Integer max_output) -> Symbol
+    def external_fuzz_outcome: (BoundedSubprocess subprocess, Array[String] arguments, Array[String] tokens, Integer timeout, Integer max_output) -> Symbol
+
+    # @rbs (String name, Integer value) -> Integer
+    def positive_fuzz_option!: (String name, Integer value) -> Integer
+  end
+end

data/sig/ibex/cli/fuzz_regressions.rbs

@@ -0,0 +1,40 @@
+# Generated from lib/ibex/cli/fuzz_regressions.rb with RBS::Inline
+
+module Ibex
+  type fuzz_external_description = { command: String, target_runtime: String, timeout_seconds: Integer, max_output_bytes: Integer, host_ruby_engine: String, host_ruby_version: String, host_platform: String }
+
+  type fuzz_external_target = [ ^(Array[String]) -> Symbol, fuzz_external_description ]
+
+  # Automatic bounded minimization and persistence for fuzz differences.
+  module CLIFuzzRegressions
+    private def atomic_write_ir: (String path, String source) -> void
+
+    private
+
+    # @rbs (Fuzz fuzzer, Fuzz::Mismatch mismatch, String grammar_path,
+    #   fuzz_external_target? external) -> Integer
+    def write_minimized_fuzz_mismatch: (Fuzz fuzzer, Fuzz::Mismatch mismatch, String grammar_path, fuzz_external_target? external) -> Integer
+
+    # @rbs (Hash[Symbol, untyped] report) -> void
+    def write_fuzz_report: (Hash[Symbol, untyped] report) -> void
+
+    # @rbs (Fuzz::BudgetExceeded error,
+    #   fuzz_external_target? external, phase: String) -> Integer
+    def write_fuzz_budget_report: (Fuzz::BudgetExceeded error, fuzz_external_target? external, phase: String) -> Integer
+
+    # @rbs (Fuzz fuzzer, Fuzz::Mismatch mismatch, String grammar_path,
+    #   fuzz_external_target? external) -> Hash[Symbol, untyped]
+    def minimized_fuzz_mismatch: (Fuzz fuzzer, Fuzz::Mismatch mismatch, String grammar_path, fuzz_external_target? external) -> Hash[Symbol, untyped]
+
+    # @rbs (fuzz_mismatch mismatch, DeltaReducer::Result result, String grammar_path,
+    #   fuzz_external_description? external) -> Hash[Symbol, String]?
+    def persist_fuzz_regression: (fuzz_mismatch mismatch, DeltaReducer::Result result, String grammar_path, fuzz_external_description? external) -> Hash[Symbol, String]?
+
+    # @rbs (String path) -> void
+    def validate_fuzz_regression_target!: (String path) -> void
+
+    # @rbs (fuzz_mismatch mismatch, DeltaReducer::Result result, String grammar_path,
+    #   fuzz_external_description? external) -> Hash[Symbol, Object?]
+    def fuzz_regression_document: (fuzz_mismatch mismatch, DeltaReducer::Result result, String grammar_path, fuzz_external_description? external) -> Hash[Symbol, Object?]
+  end
+end

data/sig/ibex/cli/generation_artifacts.rbs

@@ -9,6 +9,10 @@ module Ibex
 
     private def default_output_path: (String, String) -> String
 
+    private def configuration_value: (String) -> Object?
+
+    private def effective_configuration: () -> Configuration::Resolver
+
     private
 
     # @rbs () -> void
@@ -44,7 +48,22 @@ module Ibex
     # @rbs () -> String
     def manifest_output_path: () -> String
 
-    # @rbs () -> Hash[String, untyped]
-    def generation_manifest_options: () -> Hash[String, untyped]
+    # @rbs () -> Hash[String, Object?]
+    def generation_manifest_options: () -> Hash[String, Object?]
+
+    # @rbs (Hash[String, Object?] options) -> void
+    def append_ir_manifest_options: (Hash[String, Object?] options) -> void
+
+    # @rbs () -> String
+    def construction_authority: () -> String
+
+    # @rbs () -> Array[Hash[String, Object?]]
+    def manifest_effective_configuration: () -> Array[Hash[String, Object?]]
+
+    # @rbs (IR::ParserContract contract) -> Hash[String, Object?]
+    def stringify_contract: (IR::ParserContract contract) -> Hash[String, Object?]
+
+    # @rbs () -> Symbol
+    def effective_cst_trivia: () -> Symbol
   end
 end

data/sig/ibex/cli/generation_error_messages.rbs

@@ -10,8 +10,8 @@ module Ibex
     # @rbs (OptionParser options) -> void
     def add_error_messages_generation_option: (OptionParser options) -> void
 
-    # @rbs (IR::Automaton automaton) -> Hash[Integer, untyped]
-    def configured_error_messages: (IR::Automaton automaton) -> Hash[Integer, untyped]
+    # @rbs (IR::Automaton automaton) -> Hash[Integer, String | { id: String, message: String }]
+    def configured_error_messages: (IR::Automaton automaton) -> Hash[Integer, String | { id: String, message: String }]
 
     # @rbs () -> void
     def validate_messages_options: () -> void

data/sig/ibex/cli/grammar_tests.rbs

@@ -3,7 +3,7 @@
 module Ibex
   # `%test` command parsing and human-readable result reporting.
   module CLIGrammarTests
-    type grammar_test_settings = { mode: Symbol, algorithm: Symbol, entry_isolation: bool, timeout: Integer, coverage: Integer?, ?help: bool }
+    type grammar_test_settings = Hash[Symbol, untyped]
 
     private def print_help: (OptionParser) -> Integer
 
@@ -13,17 +13,29 @@ module Ibex
 
     private def build_automaton: (IR::Grammar, String) -> IR::Automaton
 
+    private def configuration_value: (String) -> untyped
+
+    private def mark_configuration_option: (Symbol) -> void
+
     private
 
     # @rbs (Array[String] arguments) -> Integer
     def run_grammar_tests_command: (Array[String] arguments) -> Integer
 
-    # @rbs (grammar_test_settings settings) -> OptionParser
-    def grammar_test_option_parser: (grammar_test_settings settings) -> OptionParser
+    # @rbs () -> Hash[Symbol, untyped]
+    def default_grammar_test_settings: () -> Hash[Symbol, untyped]
+
+    # @rbs (Hash[Symbol, untyped] settings) -> OptionParser
+    def grammar_test_option_parser: (Hash[Symbol, untyped] settings) -> OptionParser
 
     # @rbs (Array[String] remaining, OptionParser options) -> String
     def single_grammar_test_path: (Array[String] remaining, OptionParser options) -> String
 
+    # @rbs (Frontend::Resolution resolution) -> IR::Grammar
+    def normalize_analysis_grammar: (Frontend::Resolution resolution) -> IR::Grammar
+
+    private def activate_analysis_grammar: (IR::Grammar, ?options: Hash[Symbol, Object?], ?explicit_keys: Array[Symbol]) -> IR::Grammar
+
     # @rbs (Array[GrammarTests::Result] results) -> Integer
     def render_grammar_test_results: (Array[GrammarTests::Result] results) -> Integer
 

data/sig/ibex/cli/ir_tools.rbs

@@ -1,14 +1,8 @@
 # Generated from lib/ibex/cli/ir_tools.rb with RBS::Inline
 
 module Ibex
-  type migrate_ir_options = { paths: Array[String], ?to: Integer, ?output: String }
-
-  # CLI validation and structural comparison for versioned IR documents.
+  # CLI validation and structural comparison for current IR documents.
   module CLIIRTools
-    private def same_file_target?: (String left, String right) -> bool
-
-    private def atomic_write_ir: (String path, String source) -> void
-
     private
 
     # @rbs (Array[String] arguments) -> Integer
@@ -17,24 +11,18 @@ module Ibex
     # @rbs (Array[String] arguments) -> Integer
     def run_compare_command: (Array[String] arguments) -> Integer
 
-    # @rbs (Array[String] arguments) -> Integer
-    def run_migrate_ir_command: (Array[String] arguments) -> Integer
-
-    # @rbs (Array[String] arguments) -> migrate_ir_options
-    def migrate_ir_options: (Array[String] arguments) -> migrate_ir_options
-
     # @rbs (Array[String] arguments, String command) -> String
     def single_ir_path: (Array[String] arguments, String command) -> String
 
     # @rbs (IR::Grammar | IR::Automaton | IR::Lexer before,
-    #   IR::Grammar | IR::Automaton | IR::Lexer after) -> Hash[Symbol, untyped]
-    def compare_ir: (IR::Grammar | IR::Automaton | IR::Lexer before, IR::Grammar | IR::Automaton | IR::Lexer after) -> Hash[Symbol, untyped]
+    #   IR::Grammar | IR::Automaton | IR::Lexer after) -> Hash[Symbol, Object?]
+    def compare_ir: (IR::Grammar | IR::Automaton | IR::Lexer before, IR::Grammar | IR::Automaton | IR::Lexer after) -> Hash[Symbol, Object?]
 
-    # @rbs (IR::Lexer before, IR::Lexer after) -> Hash[Symbol, untyped]
-    def compare_lexers: (IR::Lexer before, IR::Lexer after) -> Hash[Symbol, untyped]
+    # @rbs (IR::Lexer before, IR::Lexer after) -> Hash[Symbol, Object?]
+    def compare_lexers: (IR::Lexer before, IR::Lexer after) -> Hash[Symbol, Object?]
 
-    # @rbs (IR::Grammar before, IR::Grammar after) -> Hash[Symbol, untyped]
-    def compare_grammars: (IR::Grammar before, IR::Grammar after) -> Hash[Symbol, untyped]
+    # @rbs (IR::Grammar before, IR::Grammar after) -> Hash[Symbol, Object?]
+    def compare_grammars: (IR::Grammar before, IR::Grammar after) -> Hash[Symbol, Object?]
 
     # @rbs (IR::Grammar grammar) -> Array[String]
     def production_shapes: (IR::Grammar grammar) -> Array[String]

data/sig/ibex/cli/outputs.rbs

@@ -5,7 +5,9 @@ module Ibex
   module CLIOutputs
     private def register_artifact: (Symbol, String, String, ?mode: Integer?, ?status: bool) -> Artifact
 
-    WARNING_MESSAGES: Hash[Symbol, ^(IR::grammar_warning) -> String]
+    private def configuration_value: (String) -> Object?
+
+    WARNING_MESSAGE_IDS: Hash[Symbol, String]
 
     private
 
@@ -15,8 +17,11 @@ module Ibex
     # @rbs (IR::Grammar grammar, String input_path) -> void
     def handle_grammar_warnings: (IR::Grammar grammar, String input_path) -> void
 
-    # @rbs (IR::grammar_warning warning, String input_path) -> String
-    def format_grammar_warning: (IR::grammar_warning warning, String input_path) -> String
+    # @rbs (IR::grammar_warning warning, String input_path, ?promoted: bool) -> String
+    def format_grammar_warning: (IR::grammar_warning warning, String input_path, ?promoted: bool) -> String
+
+    # @rbs (IR::grammar_warning warning) -> String
+    def grammar_warning_message: (IR::grammar_warning warning) -> String
 
     # @rbs (IR::Automaton automaton, String input_path) -> void
     def report_conflicts: (IR::Automaton automaton, String input_path) -> void
@@ -25,6 +30,7 @@ module Ibex
     def conflict_messages: (IR::conflict_summary summary, String input_path) -> Array[String]
 
     # @rbs (IR::Automaton automaton, String input_path) -> void
+    # rubocop:disable Metrics/AbcSize -- the bounded comparison reports each conflict class independently.
     def suggest_ielr: (IR::Automaton automaton, String input_path) -> void
 
     # @rbs (Integer count, String kind) -> String

data/sig/ibex/cli/reduce.rbs

@@ -0,0 +1,60 @@
+# Generated from lib/ibex/cli/reduce.rb with RBS::Inline
+
+module Ibex
+  type reduction_bounds = { max_trials: Integer, timeout_seconds: Integer, max_output_bytes: Integer, max_input_bytes: Integer }
+
+  type reduction_budget_details = { kind: String, message: String, trials: Integer }
+
+  type reduction_success_document = { ibex_report: String, schema_version: Integer, result: String, mode: Symbol, original_size: Integer, minimized_size: Integer, trials: Integer, complete: bool, minimized: Array[String | Integer], bounded: bool, bounds: reduction_bounds }
+
+  type reduction_budget_document = { ibex_report: String, schema_version: Integer, result: String, mode: Symbol, bounded: bool, bounds: reduction_bounds, budget: reduction_budget_details }
+
+  # CLI entry point for generic bounded delta debugging.
+  module CLIReduce
+    include CLIReduceReporting
+
+    DEFAULT_MAX_INPUT_BYTES: Integer
+
+    class ReductionBudgetExceeded < Ibex::Error
+      attr_reader details: reduction_budget_details
+
+      # @rbs (reduction_budget_details details) -> void
+      def initialize: (reduction_budget_details details) -> void
+    end
+
+    @reduction_mode: Symbol
+
+    @reduction_bounds: reduction_bounds
+
+    @reduction_trials: Integer
+
+    @reduction_subprocess: BoundedSubprocess
+
+    private def print_help: (OptionParser) -> Integer
+
+    private def input_path: (Array[String]) -> String
+
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_reduce_command: (Array[String] arguments) -> Integer
+
+    # @rbs () -> OptionParser
+    def reduce_option_parser: () -> OptionParser
+
+    # @rbs () -> void
+    def prepare_reduction_run: () -> void
+
+    # @rbs (String path) -> String
+    def bounded_reduction_source: (String path) -> String
+
+    # @rbs (String source, Symbol mode) -> Array[String | Integer]
+    def reduction_items: (String source, Symbol mode) -> Array[String | Integer]
+
+    # @rbs (Array[String] command, Array[String | Integer] candidate, Symbol mode) -> bool
+    def reduction_failure?: (Array[String] command, Array[String | Integer] candidate, Symbol mode) -> bool
+
+    # @rbs (String name, Integer value) -> Integer
+    def positive_reduce_option!: (String name, Integer value) -> Integer
+  end
+end

data/sig/ibex/cli/reduce_reporting.rbs

@@ -0,0 +1,27 @@
+# Generated from lib/ibex/cli/reduce_reporting.rb with RBS::Inline
+
+module Ibex
+  # Versioned machine and terminal reports for bounded delta reduction.
+  module CLIReduceReporting
+    @reduction_mode: Symbol
+
+    @reduction_bounds: reduction_bounds
+
+    private
+
+    # @rbs (DeltaReducer::Result result) -> reduction_success_document
+    def reduction_success_report: (DeltaReducer::Result result) -> reduction_success_document
+
+    # @rbs (reduction_budget_details details) -> reduction_budget_document
+    def reduction_budget_report: (reduction_budget_details details) -> reduction_budget_document
+
+    # @rbs () -> reduction_bounds
+    def default_reduction_bounds: () -> reduction_bounds
+
+    # @rbs (reduction_success_document report) -> void
+    def write_reduction_success: (reduction_success_document report) -> void
+
+    # @rbs (reduction_budget_document report) -> void
+    def write_reduction_budget: (reduction_budget_document report) -> void
+  end
+end

data/sig/ibex/cli/samples.rbs

@@ -13,6 +13,8 @@ module Ibex
 
     private def normalize_grammar_path: (String) -> IR::Grammar
 
+    private def set_configuration_option: (Symbol, Object?) -> void
+
     private
 
     # @rbs (Array[String] arguments) -> Integer
@@ -21,6 +23,12 @@ module Ibex
     # @rbs () -> OptionParser
     def samples_option_parser: () -> OptionParser
 
+    # @rbs (OptionParser options) -> void
+    def add_sample_generation_options: (OptionParser options) -> void
+
+    # @rbs (OptionParser options) -> void
+    def add_sample_input_options: (OptionParser options) -> void
+
     # @rbs (String path) -> IR::Grammar
     def grammar_for_samples: (String path) -> IR::Grammar
 

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

@@ -34,8 +34,8 @@ module Ibex
     # @rbs (String path) -> Build
     def prepare_watch_generation: (String path) -> Build
 
-    # @rbs (Build build, Watch::SourceSnapshot snapshot, ^() -> bool continue) -> void
-    def publish_watch_generation: (Build build, Watch::SourceSnapshot snapshot, ^() -> bool continue) -> void
+    # @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]

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