ibex 0.2.0 → 0.4.0

data/sig/ibex/cli/explain.rbs

@@ -11,6 +11,10 @@ module Ibex
 
     private def normalize_grammar_path: (String) -> IR::Grammar
 
+    private def configuration_value: (String) -> untyped
+
+    private def set_configuration_option: (Symbol, Object?) -> void
+
     private
 
     # @rbs (Array[String] arguments) -> Integer
@@ -21,5 +25,7 @@ module Ibex
 
     # @rbs (OptionParser options) -> void
     def add_explain_search_options: (OptionParser options) -> void
+
+    private def activate_analysis_grammar: (IR::Grammar, ?options: Hash[Symbol, Object?], ?explicit_keys: Array[Symbol]) -> IR::Grammar
   end
 end

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/impact.rbs

@@ -0,0 +1,95 @@
+# Generated from lib/ibex/cli/impact.rb with RBS::Inline
+
+module Ibex
+  # CLI adapter for potential and confirmed grammar impact reports.
+  # rubocop:disable Metrics/ModuleLength, Metrics/MethodLength, Metrics/AbcSize
+  module CLIImpact
+    include CLIAnalysis
+
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_impact_command: (Array[String] arguments) -> Integer
+
+    # @rbs (Array[String]) -> Hash[Symbol, untyped]
+    def impact_option_parser: (Array[String]) -> Hash[Symbol, untyped]
+
+    # @rbs (String value) -> Array[Symbol]
+    def parse_kinds: (String value) -> Array[Symbol]
+
+    # @rbs (Array[String], Hash[Symbol, untyped]) -> [Hash[Symbol, Object?], Array[String], Hash[Symbol, Object?]]
+    def potential_impact: (Array[String], Hash[Symbol, untyped]) -> [ Hash[Symbol, Object?], Array[String], Hash[Symbol, Object?] ]
+
+    # @rbs (Array[String], Hash[Symbol, untyped]) -> [Hash[Symbol, Object?], Array[String], Hash[Symbol, Object?]]
+    def confirmed_impact: (Array[String], Hash[Symbol, untyped]) -> [ Hash[Symbol, Object?], Array[String], Hash[Symbol, Object?] ]
+
+    # @rbs (Impact::Graph, Array[Integer], Hash[Symbol, untyped]) ->
+    #   [Hash[Integer, Impact::Node], Hash[Integer, Array[String]]]
+    def propagate: (Impact::Graph, Array[Integer], Hash[Symbol, untyped]) -> [ Hash[Integer, Impact::Node], Hash[Integer, Array[String]] ]
+
+    # @rbs (IR::Automaton, Array[Integer], Hash[Symbol, untyped]) -> Impact::CoverageImpact
+    def load_coverage: (IR::Automaton, Array[Integer], Hash[Symbol, untyped]) -> Impact::CoverageImpact
+
+    # @rbs (Impact::Seeds, Impact::CoverageImpact) -> Array[String]
+    def nullable_warnings: (Impact::Seeds, Impact::CoverageImpact) -> Array[String]
+
+    # @rbs (IR::Automaton, Impact::AutomatonImpact) -> Hash[Symbol, Object?]
+    def potential_automaton_document: (IR::Automaton, Impact::AutomatonImpact) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Automaton, IR::Automaton, Hash[Symbol, Object?], Impact::AutomatonImpact) -> Hash[Symbol, Object?]
+    def confirmed_automaton_document: (IR::Automaton, IR::Automaton, Hash[Symbol, Object?], Impact::AutomatonImpact) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Grammar) -> Array[String]
+    def unreachable_nonterminal_names: (IR::Grammar) -> Array[String]
+
+    # @rbs (IR::Grammar, IR::Grammar) -> Array[String]
+    def newly_unreachable_nonterminal_names: (IR::Grammar, IR::Grammar) -> Array[String]
+
+    # @rbs (IR::Automaton) -> Array[Integer]
+    def unreachable_state_ids: (IR::Automaton) -> Array[Integer]
+
+    # @rbs (IR::Automaton, IR::Automaton) -> Array[Integer]
+    def newly_unreachable_state_ids: (IR::Automaton, IR::Automaton) -> Array[Integer]
+
+    # @rbs (IR::Automaton) -> Array[String]
+    def unreachable_state_keys: (IR::Automaton) -> Array[String]
+
+    # @rbs (IR::Automaton, Integer) -> String
+    def unreachable_state_key: (IR::Automaton, Integer) -> String
+
+    # @rbs (IR::Automaton, IR::Automaton) ->
+    #   [Hash[String, Hash[Symbol, Object?]], Hash[String, Array[String]]]
+    def compare_sets: (IR::Automaton, IR::Automaton) -> [ Hash[String, Hash[Symbol, Object?]], Hash[String, Array[String]] ]
+
+    # @rbs (Analysis::Sets, Analysis::Sets, IR::GrammarSymbol?, IR::GrammarSymbol?, Symbol) ->
+    #   Hash[Symbol, Array[String]]
+    def set_change: (Analysis::Sets, Analysis::Sets, IR::GrammarSymbol?, IR::GrammarSymbol?, Symbol) -> Hash[Symbol, Array[String]]
+
+    # @rbs (Hash[Symbol, Array[String]], Hash[Symbol, Array[String]], Hash[Symbol, Object?]?) -> bool
+    def set_change_empty?: (Hash[Symbol, Array[String]], Hash[Symbol, Array[String]], Hash[Symbol, Object?]?) -> bool
+
+    # @rbs (Analysis::Sets, Analysis::Sets, IR::GrammarSymbol?, IR::GrammarSymbol?) -> Hash[Symbol, Object?]?
+    def nullable_change: (Analysis::Sets, Analysis::Sets, IR::GrammarSymbol?, IR::GrammarSymbol?) -> Hash[Symbol, Object?]?
+
+    # @rbs (Hash[Integer, Array[String]], Hash[String, Array[String]], IR::Grammar) -> Hash[Integer, Array[String]]
+    def merge_symbol_kinds: (Hash[Integer, Array[String]], Hash[String, Array[String]], IR::Grammar) -> Hash[Integer, Array[String]]
+
+    # @rbs (Hash[Symbol, Array[Hash[Symbol, Object?]]], IR::Grammar) -> Hash[String, Array[String]]
+    def precedence_symbol_kinds: (Hash[Symbol, Array[Hash[Symbol, Object?]]], IR::Grammar) -> Hash[String, Array[String]]
+
+    # @rbs (IR::Automaton) -> Array[String]
+    def conflict_identities: (IR::Automaton) -> Array[String]
+
+    # @rbs (IR::Grammar, Hash[Symbol, Object?]) -> String
+    def conflict_identity: (IR::Grammar, Hash[Symbol, Object?]) -> String
+
+    # @rbs (IR::Grammar, Integer) -> String
+    def production_shape: (IR::Grammar, Integer) -> String
+
+    # @rbs (Hash[Symbol, Object?], Array[String], Hash[Symbol, untyped]) -> void
+    def apply_baseline: (Hash[Symbol, Object?], Array[String], Hash[Symbol, untyped]) -> void
+
+    # @rbs (Hash[Symbol, Object?], String) -> void
+    def write_impact_report: (Hash[Symbol, Object?], String) -> void
+  end
+end

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]