ibex 0.1.0 → 0.2.0

data/sig/ibex/cli/formatting.rbs

@@ -0,0 +1,103 @@
+# 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 = { paths: Array[String], mode: Symbol, check: bool, write: bool, ?stdin_filename: String, ?help: bool }
+
+    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
+
+    # @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/generation_artifacts.rbs

@@ -0,0 +1,50 @@
+# 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
+
+    # @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, untyped]
+    def generation_manifest_options: () -> Hash[String, untyped]
+  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, untyped]
+    def configured_error_messages: (IR::Automaton automaton) -> Hash[Integer, untyped]
+
+    # @rbs () -> void
+    def validate_messages_options: () -> void
+  end
+end

data/sig/ibex/cli/grammar_tests.rbs

@@ -0,0 +1,36 @@
+# 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 = { mode: Symbol, algorithm: Symbol, entry_isolation: bool, timeout: Integer, coverage: Integer?, ?help: bool }
+
+    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
+
+    # @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 (Array[String] remaining, OptionParser options) -> String
+    def single_grammar_test_path: (Array[String] remaining, OptionParser options) -> String
+
+    # @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,51 @@
+# 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.
+  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
+    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) -> 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]
+
+    # @rbs (IR::Lexer before, IR::Lexer after) -> Hash[Symbol, untyped]
+    def compare_lexers: (IR::Lexer before, IR::Lexer after) -> Hash[Symbol, untyped]
+
+    # @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 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,6 +3,8 @@
 module Ibex
   # Files, warnings, and progress emitted by CLI pipeline stages.
   module CLIOutputs
+    private def register_artifact: (Symbol, String, String, ?mode: Integer?, ?status: bool) -> Artifact
+
     WARNING_MESSAGES: Hash[Symbol, ^(IR::grammar_warning) -> String]
 
     private
@@ -19,6 +21,15 @@ module Ibex
     # @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
+    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 +38,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/samples.rbs

@@ -0,0 +1,30 @@
+# 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
+
+    # @rbs (Array[String] arguments) -> Integer
+    def run_samples_command: (Array[String] arguments) -> Integer
+
+    # @rbs () -> OptionParser
+    def samples_option_parser: () -> OptionParser
+
+    # @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

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 (Build build, Watch::SourceSnapshot snapshot, ^() -> bool continue) -> void
+    def publish_watch_generation: (Build 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,19 +1,33 @@
 # Generated from lib/ibex/cli.rb with RBS::Inline
 
 module Ibex
+  CLI_FEATURE_ROOT: String
+
   interface _CLIOutput
     def puts: (*untyped) -> untyped
 
     def write: (String) -> untyped
   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, ?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 }
 
   # 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
@@ -22,17 +36,27 @@ module Ibex
 
     @stdout: _CLIOutput
 
-    # @rbs (Array[String] arguments, ?stdout: _CLIOutput, ?stderr: _CLIOutput) -> Integer
-    def self.start: (Array[String] arguments, ?stdout: _CLIOutput, ?stderr: _CLIOutput) -> Integer
+    # 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 (stdout: _CLIOutput, stderr: _CLIOutput) -> void
-    def initialize: (stdout: _CLIOutput, stderr: _CLIOutput) -> void
+    # @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 (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
 
@@ -42,6 +66,9 @@ module Ibex
     # @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
 
@@ -54,9 +81,48 @@ module Ibex
     # @rbs (Array[String] remaining) -> String
     def input_path: (Array[String] remaining) -> String
 
+    # @rbs () -> void
+    def validate_generation_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 path) -> Integer
     def process_ir: (String path) -> Integer
 
@@ -81,6 +147,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,9 +162,30 @@ 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
 
@@ -104,5 +197,11 @@ module Ibex
 
     # @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
 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