ibex 0.1.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

@@ -0,0 +1,107 @@
+# Generated from lib/ibex/cli/formatting.rb with RBS::Inline
+
+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 = Hash[Symbol, untyped]
+
+    type formatting_result = { path: String, label: String, source: String, formatted: String }
+
+    type formatting_target = { path: String, label: String, target: String, formatted: String, mode: Integer, directory: String, basename: String, changed: bool, installed: bool, ?stage: String, ?backup: String }
+
+    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
+    def run_format_command: (Array[String] arguments) -> Integer
+
+    # @rbs (Array[String] arguments) -> formatting_settings
+    def formatting_options: (Array[String] arguments) -> formatting_settings
+
+    # @rbs (formatting_settings settings) -> OptionParser
+    def formatting_option_parser: (formatting_settings settings) -> OptionParser
+
+    # @rbs (formatting_settings settings) -> void
+    def validate_formatting_settings!: (formatting_settings settings) -> void
+
+    # @rbs (formatting_settings settings, Array[String] paths) -> void
+    def validate_formatting_operation!: (formatting_settings settings, Array[String] paths) -> void
+
+    # @rbs (formatting_settings settings, Array[String] paths) -> void
+    def validate_formatting_stdin!: (formatting_settings settings, Array[String] paths) -> void
+
+    # @rbs (formatting_settings settings) -> [Array[formatting_result], bool]
+    def prepare_formatting_results: (formatting_settings settings) -> [ Array[formatting_result], bool ]
+
+    # @rbs (Array[formatting_result] results) -> Integer
+    def check_formatting_results: (Array[formatting_result] results) -> Integer
+
+    # @rbs (Array[formatting_result] results) -> Integer
+    def write_formatting_results: (Array[formatting_result] results) -> Integer
+
+    # @rbs (Array[formatting_result] results) -> Array[formatting_target]
+    def formatting_targets: (Array[formatting_result] results) -> Array[formatting_target]
+
+    # @rbs (Array[formatting_target] targets) -> void
+    def validate_unique_formatting_targets!: (Array[formatting_target] targets) -> void
+
+    # @rbs (Array[formatting_target] targets) -> [formatting_target, formatting_target]?
+    def duplicate_formatting_target_pair: (Array[formatting_target] targets) -> [ formatting_target, formatting_target ]?
+
+    # @rbs (Array[formatting_target] targets) -> void
+    def transactionally_write_formatted: (Array[formatting_target] targets) -> void
+
+    # @rbs (Array[formatting_target] targets) -> void
+    def stage_formatting_targets: (Array[formatting_target] targets) -> void
+
+    # @rbs (Array[formatting_target] targets) -> void
+    def backup_formatting_targets: (Array[formatting_target] targets) -> void
+
+    # @rbs (Array[formatting_target] targets) -> void
+    def install_formatting_targets: (Array[formatting_target] targets) -> void
+
+    # @rbs (Array[formatting_target] targets) -> Array[String]
+    def rollback_formatting_targets: (Array[formatting_target] targets) -> Array[String]
+
+    # @rbs (Array[formatting_target] targets, preserve_installed_backups: bool) ->
+    #   formatting_cleanup_result
+    def cleanup_formatting_artifacts: (Array[formatting_target] targets, preserve_installed_backups: bool) -> formatting_cleanup_result
+
+    # @rbs (String path) -> String?
+    def remove_formatting_artifact: (String path) -> String?
+
+    # @rbs (StandardError error, Array[String] rollback_errors,
+    #   formatting_cleanup_result cleanup, Array[String] sync_errors) -> Ibex::Error
+    def formatting_transaction_error: (StandardError error, Array[String] rollback_errors, formatting_cleanup_result cleanup, Array[String] sync_errors) -> Ibex::Error
+
+    # @rbs (formatting_cleanup_result cleanup, Array[String] sync_errors) -> void
+    def report_formatting_cleanup_warning: (formatting_cleanup_result cleanup, Array[String] sync_errors) -> void
+
+    # @rbs (Array[formatting_target] targets) -> void
+    def sync_formatting_directories!: (Array[formatting_target] targets) -> void
+
+    # @rbs (Array[formatting_target] targets) -> Array[String]
+    def sync_formatting_directories_best_effort: (Array[formatting_target] targets) -> Array[String]
+
+    # @rbs (Array[formatting_target] targets) -> Array[String]
+    def sync_formatting_directories: (Array[formatting_target] targets) -> Array[String]
+
+    # @rbs (String directory) -> void
+    def sync_formatting_directory: (String directory) -> void
+
+    # @rbs (String value) -> String
+    def formatting_label: (String value) -> String
+
+    # @rbs (String value) -> bool
+    def formatting_control_bytes?: (String value) -> bool
+
+    # @rbs (Integer byte) -> bool
+    def control_byte?: (Integer byte) -> bool
+  end
+end

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

@@ -0,0 +1,69 @@
+# Generated from lib/ibex/cli/generation_artifacts.rb with RBS::Inline
+
+module Ibex
+  # Collects, verifies, and transactionally publishes CLI generation outputs.
+  module CLIGenerationArtifacts
+    private def report_status: (String) -> void
+
+    private def verify_file: (String, String, String) -> void
+
+    private def default_output_path: (String, String) -> String
+
+    private def configuration_value: (String) -> Object?
+
+    private def effective_configuration: () -> Configuration::Resolver
+
+    private
+
+    # @rbs () -> void
+    def begin_artifact_generation: () -> void
+
+    # @rbs (Symbol kind, String path, String content, ?mode: Integer?, ?status: bool) -> Artifact
+    def register_artifact: (Symbol kind, String path, String content, ?mode: Integer?, ?status: bool) -> Artifact
+
+    # @rbs (Array[String] source_paths) -> Integer
+    def finish_artifact_generation: (Array[String] source_paths) -> Integer
+
+    # @rbs () -> void
+    def add_generation_manifest: () -> void
+
+    # @rbs () -> void
+    def verify_artifact_generation: () -> void
+
+    # @rbs (Symbol kind) -> String
+    def artifact_label: (Symbol kind) -> String
+
+    # @rbs () -> ArtifactSet
+    def generation_artifacts: () -> ArtifactSet
+
+    # @rbs () -> bool
+    def generation_inputs_stable?: () -> bool
+
+    # @rbs () -> void
+    def ensure_generation_inputs_stable!: () -> void
+
+    # @rbs (String path, String source) -> GenerationInput
+    def record_generation_input: (String path, String source) -> GenerationInput
+
+    # @rbs () -> String
+    def manifest_output_path: () -> String
+
+    # @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

@@ -0,0 +1,19 @@
+# Generated from lib/ibex/cli/generation_error_messages.rb with RBS::Inline
+
+module Ibex
+  # Optional example-keyed error-message support for parser generation.
+  module CLIGenerationErrorMessages
+    private def record_generation_input: (String, String) -> GenerationInput
+
+    private
+
+    # @rbs (OptionParser options) -> void
+    def add_error_messages_generation_option: (OptionParser options) -> void
+
+    # @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
+  end
+end

data/sig/ibex/cli/grammar_tests.rbs

@@ -0,0 +1,48 @@
+# Generated from lib/ibex/cli/grammar_tests.rb with RBS::Inline
+
+module Ibex
+  # `%test` command parsing and human-readable result reporting.
+  module CLIGrammarTests
+    type grammar_test_settings = Hash[Symbol, untyped]
+
+    private def print_help: (OptionParser) -> Integer
+
+    private def resolve_grammar_path: (String) -> Frontend::Resolution
+
+    private def handle_grammar_warnings: (IR::Grammar, String) -> void
+
+    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 () -> 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
+
+    # @rbs (GrammarTests::ProductionCoverage coverage, Integer minimum, Integer failures) -> Integer
+    def render_grammar_test_coverage: (GrammarTests::ProductionCoverage coverage, Integer minimum, Integer failures) -> Integer
+
+    # @rbs (GrammarTests::Result result) -> String
+    def grammar_test_failure: (GrammarTests::Result result) -> String
+  end
+end

data/sig/ibex/cli/ir_tools.rbs

@@ -0,0 +1,39 @@
+# Generated from lib/ibex/cli/ir_tools.rb with RBS::Inline
+
+module Ibex
+  # CLI validation and structural comparison for current IR documents.
+  module CLIIRTools
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_validate_ir_command: (Array[String] arguments) -> Integer
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_compare_command: (Array[String] arguments) -> Integer
+
+    # @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, 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, Object?]
+    def compare_lexers: (IR::Lexer before, IR::Lexer after) -> Hash[Symbol, Object?]
+
+    # @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]
+
+    # @rbs (IR::Automaton automaton) -> Integer
+    def transition_count: (IR::Automaton automaton) -> Integer
+
+    # @rbs (IR::Automaton automaton, Symbol kind) -> Integer
+    def summary_count: (IR::Automaton automaton, Symbol kind) -> Integer
+
+    # @rbs (Integer before, Integer after) -> Hash[Symbol, Integer]
+    def numeric_change: (Integer before, Integer after) -> Hash[Symbol, Integer]
+  end
+end

data/sig/ibex/cli/lsp.rbs

@@ -0,0 +1,14 @@
+# Generated from lib/ibex/cli/lsp.rb with RBS::Inline
+
+module Ibex
+  # CLI boundary for the stdio-only language server.
+  module CLILSP
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_lsp_command: (Array[String] arguments) -> Integer
+
+    # @rbs (Hash[Symbol, bool] settings) -> OptionParser
+    def lsp_option_parser: (Hash[Symbol, bool] settings) -> OptionParser
+  end
+end

data/sig/ibex/cli/outputs.rbs

@@ -3,7 +3,11 @@
 module Ibex
   # Files, warnings, and progress emitted by CLI pipeline stages.
   module CLIOutputs
-    WARNING_MESSAGES: Hash[Symbol, ^(IR::grammar_warning) -> String]
+    private def register_artifact: (Symbol, String, String, ?mode: Integer?, ?status: bool) -> Artifact
+
+    private def configuration_value: (String) -> Object?
+
+    WARNING_MESSAGE_IDS: Hash[Symbol, String]
 
     private
 
@@ -13,12 +17,25 @@ 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
 
+    # @rbs (IR::conflict_summary summary, String input_path) -> Array[String]
+    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
+    def conflict_count: (Integer count, String kind) -> String
+
     # @rbs (IR::Automaton automaton, String input_path) -> void
     def write_report: (IR::Automaton automaton, String input_path) -> void
 
@@ -27,5 +44,11 @@ module Ibex
 
     # @rbs (String message) -> void
     def report_status: (String message) -> void
+
+    # @rbs (String path, String source) -> void
+    def atomic_write_ir: (String path, String source) -> void
+
+    # @rbs (String path) -> Integer
+    def ir_file_mode: (String path) -> Integer
   end
 end

data/sig/ibex/cli/racc_migration.rbs

@@ -0,0 +1,30 @@
+# Generated from lib/ibex/cli/racc_migration.rb with RBS::Inline
+
+module Ibex
+  # Static racc migration checks and differential harness generation.
+  module CLIRaccMigration
+    type migration_check_settings = { format: String, ?help: bool }
+
+    type migration_harness_settings = { ?output: String, ?help: bool }
+
+    private def input_path: (Array[String]) -> String
+
+    private def atomic_write_ir: (String path, String source) -> void
+
+    private def same_file_target?: (String left, String right) -> bool
+
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_migrate_check_command: (Array[String] arguments) -> Integer
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_migrate_harness_command: (Array[String] arguments) -> Integer
+
+    # @rbs (migration_check_settings settings) -> OptionParser
+    def migrate_check_options: (migration_check_settings settings) -> OptionParser
+
+    # @rbs (migration_harness_settings settings) -> OptionParser
+    def migrate_harness_options: (migration_harness_settings settings) -> OptionParser
+  end
+end

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

@@ -0,0 +1,38 @@
+# Generated from lib/ibex/cli/samples.rb with RBS::Inline
+
+module Ibex
+  # CLI entry point for bounded grammar sentence generation.
+  module CLISamples
+    private def print_help: (OptionParser) -> Integer
+
+    private def input_path: (Array[String]) -> String
+
+    private def handle_grammar_warnings: (IR::Grammar, String) -> void
+
+    private def warning_categories: (String) -> Array[Symbol]
+
+    private def normalize_grammar_path: (String) -> IR::Grammar
+
+    private def set_configuration_option: (Symbol, Object?) -> void
+
+    private
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_samples_command: (Array[String] arguments) -> Integer
+
+    # @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
+
+    # @rbs (String name, Integer value) -> Integer
+    def positive_sample_option!: (String name, Integer value) -> Integer
+  end
+end