ibex 0.2.0 → 0.3.0

data/sig/ibex/frontend/generated_parser.rbs

@@ -95,31 +95,31 @@ module Ibex
 
       private def _ibex_action_31: (untyped v0) -> untyped
 
-      private def _ibex_action_32: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_32: (untyped v0) -> untyped
 
       private def _ibex_action_33: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_34: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_35: () -> untyped
+      private def _ibex_action_35: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_36: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_36: () -> untyped
 
-      private def _ibex_action_37: (untyped v0) -> untyped
+      private def _ibex_action_37: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_38: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_38: (untyped v0) -> untyped
 
-      private def _ibex_action_39: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_39: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_40: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_41: () -> untyped
+      private def _ibex_action_41: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_42: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_42: () -> untyped
 
       private def _ibex_action_43: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_44: (untyped v0) -> untyped
+      private def _ibex_action_44: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_45: (untyped v0) -> untyped
 
@@ -127,135 +127,135 @@ module Ibex
 
       private def _ibex_action_47: (untyped v0) -> untyped
 
-      private def _ibex_action_48: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_48: (untyped v0) -> untyped
 
       private def _ibex_action_49: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_50: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_51: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_51: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_52: (untyped val) -> untyped
+      private def _ibex_action_52: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_53: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_53: (untyped val) -> untyped
 
       private def _ibex_action_54: (untyped v0, untyped v1, untyped v2) -> untyped
 
       private def _ibex_action_55: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_56: () -> untyped
+      private def _ibex_action_56: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_57: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_57: () -> untyped
 
-      private def _ibex_action_58: (untyped v0) -> untyped
+      private def _ibex_action_58: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_59: (untyped v0) -> untyped
 
-      private def _ibex_action_60: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_60: (untyped v0) -> untyped
 
       private def _ibex_action_61: (untyped v0, untyped v1, untyped v2) -> untyped
 
       private def _ibex_action_62: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_63: (untyped v0) -> untyped
+      private def _ibex_action_63: (untyped v0, untyped v1, untyped v2) -> untyped
 
       private def _ibex_action_64: (untyped v0) -> untyped
 
-      private def _ibex_action_65: () -> untyped
+      private def _ibex_action_65: (untyped v0) -> untyped
 
-      private def _ibex_action_66: (untyped v0) -> untyped
+      private def _ibex_action_66: () -> untyped
 
-      private def _ibex_action_67: (untyped val) -> untyped
+      private def _ibex_action_67: (untyped v0) -> untyped
 
-      private def _ibex_action_68: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_68: (untyped val) -> untyped
 
-      private def _ibex_action_69: () -> untyped
+      private def _ibex_action_69: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_70: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_70: () -> untyped
 
       private def _ibex_action_71: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_72: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_72: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_73: (untyped v0, untyped v1, untyped v2) -> untyped
 
       private def _ibex_action_74: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_75: () -> untyped
+      private def _ibex_action_75: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_76: (untyped v0) -> untyped
+      private def _ibex_action_76: () -> untyped
 
-      private def _ibex_action_77: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_77: (untyped v0) -> untyped
 
-      private def _ibex_action_78: () -> untyped
+      private def _ibex_action_78: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_79: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_79: (untyped v0, untyped v1, untyped v2) -> untyped
 
       private def _ibex_action_80: () -> untyped
 
       private def _ibex_action_81: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_82: (untyped v0) -> untyped
+      private def _ibex_action_82: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_83: (untyped v0) -> untyped
+      private def _ibex_action_83: () -> untyped
 
-      private def _ibex_action_84: (untyped v0) -> untyped
+      private def _ibex_action_84: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_85: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_85: () -> untyped
 
-      private def _ibex_action_86: (untyped val) -> untyped
+      private def _ibex_action_86: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_87: () -> untyped
+      private def _ibex_action_87: (untyped v0) -> untyped
 
       private def _ibex_action_88: (untyped v0) -> untyped
 
-      private def _ibex_action_89: () -> untyped
+      private def _ibex_action_89: (untyped v0) -> untyped
 
-      private def _ibex_action_90: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_90: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_91: (untyped v0) -> untyped
+      private def _ibex_action_91: (untyped val) -> untyped
 
-      private def _ibex_action_92: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_92: () -> untyped
 
-      private def _ibex_action_95: (untyped v0) -> untyped
+      private def _ibex_action_93: (untyped v0) -> untyped
 
-      private def _ibex_action_96: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_94: () -> untyped
 
-      private def _ibex_action_97: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_95: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_98: () -> untyped
+      private def _ibex_action_96: (untyped v0) -> untyped
 
-      private def _ibex_action_99: (untyped val) -> untyped
+      private def _ibex_action_97: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_100: () -> untyped
+      private def _ibex_action_100: (untyped v0) -> untyped
 
-      private def _ibex_action_101: (untyped v0) -> untyped
+      private def _ibex_action_101: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_102: () -> untyped
+      private def _ibex_action_102: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_103: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_103: () -> untyped
 
-      private def _ibex_action_104: () -> untyped
+      private def _ibex_action_104: (untyped val) -> untyped
 
-      private def _ibex_action_105: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_105: () -> untyped
 
       private def _ibex_action_106: (untyped v0) -> untyped
 
-      private def _ibex_action_107: (untyped v0) -> untyped
+      private def _ibex_action_107: () -> untyped
 
-      private def _ibex_action_108: (untyped v0) -> untyped
+      private def _ibex_action_108: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_109: (untyped v0) -> untyped
+      private def _ibex_action_109: () -> untyped
 
-      private def _ibex_action_110: (untyped v0) -> untyped
+      private def _ibex_action_110: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_111: (untyped v0) -> untyped
 
-      private def _ibex_action_112: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_112: (untyped v0) -> untyped
 
-      private def _ibex_action_113: (untyped val) -> untyped
+      private def _ibex_action_113: (untyped v0) -> untyped
 
-      private def _ibex_action_114: () -> untyped
+      private def _ibex_action_114: (untyped v0) -> untyped
 
       private def _ibex_action_115: (untyped v0) -> untyped
 
@@ -263,51 +263,61 @@ module Ibex
 
       private def _ibex_action_117: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_118: (untyped v0) -> untyped
+      private def _ibex_action_118: (untyped val) -> untyped
 
-      private def _ibex_action_119: (untyped v0) -> untyped
+      private def _ibex_action_119: () -> untyped
 
       private def _ibex_action_120: (untyped v0) -> untyped
 
       private def _ibex_action_121: (untyped v0) -> untyped
 
-      private def _ibex_action_122: () -> untyped
+      private def _ibex_action_122: (untyped v0, untyped v1, untyped v2) -> untyped
 
-      private def _ibex_action_123: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_123: (untyped v0) -> untyped
 
-      private def _ibex_action_124: () -> untyped
+      private def _ibex_action_124: (untyped v0) -> untyped
 
-      private def _ibex_action_125: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_125: (untyped v0) -> untyped
 
-      private def _ibex_action_126: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_126: (untyped v0) -> untyped
 
-      private def _ibex_action_127: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_127: () -> untyped
 
-      private def _ibex_action_128: (untyped v0, untyped v1, untyped v2, untyped v3) -> untyped
+      private def _ibex_action_128: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_129: (untyped v0) -> untyped
+      private def _ibex_action_129: () -> untyped
 
-      private def _ibex_action_130: (untyped v0, untyped v1, untyped v2) -> untyped
+      private def _ibex_action_130: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_131: () -> untyped
+      private def _ibex_action_131: (untyped v0, untyped v1) -> untyped
 
       private def _ibex_action_132: (untyped v0, untyped v1) -> untyped
 
-      private def _ibex_action_133: (untyped v0) -> untyped
+      private def _ibex_action_133: (untyped v0, untyped v1, untyped v2, untyped v3) -> untyped
 
       private def _ibex_action_134: (untyped v0) -> untyped
 
-      private def _ibex_action_135: (untyped v0) -> untyped
+      private def _ibex_action_135: (untyped v0, untyped v1, untyped v2) -> untyped
+
+      private def _ibex_action_136: () -> untyped
+
+      private def _ibex_action_137: (untyped v0, untyped v1) -> untyped
+
+      private def _ibex_action_138: (untyped v0) -> untyped
+
+      private def _ibex_action_139: (untyped v0) -> untyped
+
+      private def _ibex_action_140: (untyped v0) -> untyped
 
-      private def _ibex_action_136: (untyped v0) -> untyped
+      private def _ibex_action_141: (untyped v0) -> untyped
 
-      private def _ibex_action_137: (untyped val) -> untyped
+      private def _ibex_action_142: (untyped val) -> untyped
 
-      private def _ibex_action_138: (untyped val) -> untyped
+      private def _ibex_action_143: (untyped val) -> untyped
 
-      private def _ibex_action_139: () -> untyped
+      private def _ibex_action_144: () -> untyped
 
-      private def _ibex_action_140: (untyped v0, untyped v1) -> untyped
+      private def _ibex_action_145: (untyped v0, untyped v1) -> untyped
     end
   end
 end

data/sig/ibex/frontend/generated_parser_base.rbs

@@ -11,6 +11,8 @@ module Ibex
 
       include GeneratedParserParameters
 
+      include ParserConfigurationSupport
+
       attr_reader diagnostic_token: Token?
 
       @mode: Symbol
@@ -26,8 +28,8 @@ module Ibex
       # @rbs () -> ([external_token, Token] | false)
       def next_token: () -> ([ external_token, Token ] | false)
 
-      # @rbs (Integer? _token_id, Token? value, Array[untyped] _value_stack) -> bot
-      def on_error: (Integer? _token_id, Token? value, Array[untyped] _value_stack) -> bot
+      # @rbs (Integer? _token_id, Token? value, Array[Object?] _value_stack) -> bot
+      def on_error: (Integer? _token_id, Token? value, Array[Object?] _value_stack) -> bot
 
       private
 

data/sig/ibex/frontend/parser/declarations.rbs

@@ -21,6 +21,9 @@ module Ibex
       # @rbs () -> AST::declaration
       def parse_declaration: () -> AST::declaration
 
+      # @rbs () -> AST::ParserConfiguration
+      def parse_parser_configuration: () -> AST::ParserConfiguration
+
       # @rbs () -> AST::Include
       def parse_import: () -> AST::Include
 

data/sig/ibex/frontend/parser_configuration_support.rbs

@@ -0,0 +1,27 @@
+# Generated from lib/ibex/frontend/parser_configuration_support.rb with RBS::Inline
+
+module Ibex
+  module Frontend
+    # Shares the closed parser-declaration semantics between bootstrap and generated frontends.
+    module ParserConfigurationSupport
+      private def token_string: (Token) -> String
+
+      private def fail_at: (Location, String) -> bot
+
+      private def extended_only!: (Location, String) -> void
+
+      PARSER_SETTING_VALUES: Hash[String, Array[String]]
+
+      private
+
+      # @rbs (Token key, Token value) -> AST::ParserSetting
+      def build_parser_setting: (Token key, Token value) -> AST::ParserSetting
+
+      # @rbs (Token keyword, Array[AST::ParserSetting] settings) -> AST::ParserConfiguration
+      def build_parser_configuration: (Token keyword, Array[AST::ParserSetting] settings) -> AST::ParserConfiguration
+
+      # @rbs (Array[AST::declaration] declarations) -> void
+      def validate_root_parser_configuration: (Array[AST::declaration] declarations) -> void
+    end
+  end
+end

data/sig/ibex/frontend/resolution.rbs

@@ -23,8 +23,9 @@ module Ibex
 
       private
 
-      # @rbs (untyped value) -> untyped
-      def deep_freeze_ast: (untyped value) -> untyped
+      # AST payloads are recursively heterogeneous and are only traversed to freeze them.
+      # @rbs (Object? value) -> Object?
+      def deep_freeze_ast: (Object? value) -> Object?
 
       # @rbs (IR::source_provenance entry) -> IR::source_provenance
       def copy_provenance: (IR::source_provenance entry) -> IR::source_provenance

data/sig/ibex/frontend/source_cursor.rbs

@@ -37,8 +37,8 @@ module Ibex
     end
 
     class Token
-      # @rbs () -> Hash[Symbol, untyped]
-      def to_h: () -> Hash[Symbol, untyped]
+      # @rbs () -> Hash[Symbol, Object?]
+      def to_h: () -> Hash[Symbol, Object?]
     end
 
     # Advances through source text while maintaining one-based coordinates.

data/sig/ibex/frontend/source_span.rbs

@@ -6,6 +6,9 @@ module Ibex
     module SourceEncoding
       # @rbs (String source, String file) -> String
       def self.validated_utf8: (String source, String file) -> String
+
+      # @rbs (String file) -> String
+      def self.validated_file: (String file) -> String
     end
 
     # An immutable position in grammar source.
@@ -46,8 +49,8 @@ module Ibex
       # @rbs () -> bool
       def empty?: () -> bool
 
-      # @rbs () -> Hash[Symbol, untyped]
-      def to_h: () -> Hash[Symbol, untyped]
+      # @rbs () -> Hash[Symbol, Object?]
+      def to_h: () -> Hash[Symbol, Object?]
     end
   end
 end

data/sig/ibex/frontend/token_adapter/declaration_state.rbs

@@ -29,7 +29,7 @@ module Ibex
 
         @pragma_location: Location?
 
-        @pragmas: Hash[String, bool]
+        @pragmas: Hash[String, Location]
 
         @fragment: bool?
 
@@ -50,6 +50,12 @@ module Ibex
         # @rbs () -> bool
         def cst_pragma?: () -> bool
 
+        # @rbs () -> Location?
+        def extended_pragma_location: () -> Location?
+
+        # @rbs () -> Location?
+        def cst_pragma_location: () -> Location?
+
         # @rbs (Token? token) -> String?
         def expectation: (Token? token) -> String?
 
@@ -58,6 +64,12 @@ module Ibex
         # @rbs (Token token, Array[Token] remaining) -> external_token
         def classify_identifier: (Token token, Array[Token] remaining) -> external_token
 
+        # @rbs (Token token) -> external_token
+        def begin_parser_setting: (Token token) -> external_token
+
+        # @rbs () -> external_token
+        def finish_parser_setting: () -> external_token
+
         # @rbs (Array[Token] remaining) -> external_token
         def constant_name: (Array[Token] remaining) -> external_token
 

data/sig/ibex/frontend/token_adapter.rbs

@@ -43,6 +43,12 @@ module Ibex
       # @rbs () -> bool
       def cst_pragma?: () -> bool
 
+      # @rbs () -> Location?
+      def extended_pragma_location: () -> Location?
+
+      # @rbs () -> Location?
+      def cst_pragma_location: () -> Location?
+
       # @rbs () -> parser_section
       def section: () -> parser_section
 

data/sig/ibex/fuzz.rbs

@@ -0,0 +1,71 @@
+# Generated from lib/ibex/fuzz.rb with RBS::Inline
+
+module Ibex
+  type fuzz_outcome = Symbol | [ Symbol, String, String ]
+
+  type fuzz_mismatch = { tokens: Array[String], kind: Symbol, sentence: Integer, outcomes: Hash[Symbol, fuzz_outcome], bounds: Hash[Symbol, Integer] }
+
+  type fuzz_budget = { message: String, bounds: Hash[Symbol, Integer], ?tokens: Array[String], ?phase: String }
+
+  # Bounded grammar-derived differential fuzzing without semantic execution.
+  class Fuzz
+    ALGORITHMS: Array[Symbol]
+
+    DEFAULT_MAX_ACTIONS: Integer
+
+    DEFAULT_MAX_STACK: Integer
+
+    class Mismatch < Ibex::Error
+      attr_reader details: fuzz_mismatch
+
+      # @rbs (fuzz_mismatch details) -> void
+      def initialize: (fuzz_mismatch details) -> void
+    end
+
+    class BudgetExceeded < Ibex::Error
+      attr_reader details: fuzz_budget
+
+      # @rbs (fuzz_budget details) -> void
+      def initialize: (fuzz_budget details) -> void
+    end
+
+    # @rbs (IR::Grammar grammar, ?seed: Integer, ?count: Integer, ?max_tokens: Integer,
+    #   ?max_depth: Integer, ?max_expansions: Integer, ?max_actions: Integer, ?max_stack: Integer,
+    #   ?coverage_guided: bool, ?path_length: Integer, ?algorithms: Array[Symbol],
+    #   ?ielr_strategy: Symbol, ?automata: Hash[Symbol, IR::Automaton]?, ?against: (^(Array[String]) -> Symbol)?,
+    #   ?against_description: Hash[Symbol, Object?]?) -> void
+    # rubocop:disable Metrics/ParameterLists
+    def initialize: (IR::Grammar grammar, ?seed: Integer, ?count: Integer, ?max_tokens: Integer, ?max_depth: Integer, ?max_expansions: Integer, ?max_actions: Integer, ?max_stack: Integer, ?coverage_guided: bool, ?path_length: Integer, ?algorithms: Array[Symbol], ?ielr_strategy: Symbol, ?automata: Hash[Symbol, IR::Automaton]?, ?against: (^(Array[String]) -> Symbol)?, ?against_description: Hash[Symbol, Object?]?) -> void
+
+    # @rbs () -> Hash[Symbol, Object?]
+    def run: () -> Hash[Symbol, Object?]
+
+    # Minimize one observed mismatch without changing its kind or outcomes.
+    # @rbs (Mismatch mismatch, ?max_trials: Integer) -> DeltaReducer::Result
+    def minimize: (Mismatch mismatch, ?max_trials: Integer) -> DeltaReducer::Result
+
+    private
+
+    # @rbs () -> Array[Array[String]]
+    def generate_sentences: () -> Array[Array[String]]
+
+    # @rbs (Integer sentence_count, Integer mutation_count) -> untyped
+    def successful_report: (Integer sentence_count, Integer mutation_count) -> untyped
+
+    # @rbs () -> Hash[Symbol, IR::Automaton]
+    def build_automata: () -> Hash[Symbol, IR::Automaton]
+
+    # @rbs (Array[String] tokens, kind: Symbol, sentence: Integer) -> void
+    def compare!: (Array[String] tokens, kind: Symbol, sentence: Integer) -> void
+
+    # @rbs (Array[String] tokens) -> Array[Array[String]]
+    def mutations: (Array[String] tokens) -> Array[Array[String]]
+
+    # @rbs (Array[String] tokens, kind: Symbol, sentence: Integer,
+    #   outcomes: Hash[Symbol, fuzz_outcome]) -> bool
+    def mismatch_reproduced?: (Array[String] tokens, kind: Symbol, sentence: Integer, outcomes: Hash[Symbol, fuzz_outcome]) -> bool
+
+    # @rbs (Ibex::Error error) -> bool
+    def budget_error?: (Ibex::Error error) -> bool
+  end
+end

data/sig/ibex/generation_input.rbs

@@ -22,8 +22,8 @@ module Ibex
     # @rbs (String path) -> void
     def add_access_path: (String path) -> void
 
-    # @rbs () -> Hash[String, untyped]
-    def to_h: () -> Hash[String, untyped]
+    # @rbs () -> Hash[String, String | Integer]
+    def to_h: () -> Hash[String, String | Integer]
 
     # Detect content changes even when size and timestamps are preserved.
     # @rbs () -> bool

data/sig/ibex/generation_manifest.rbs

@@ -2,7 +2,10 @@
 
 module Ibex
   # Deterministic description of one published parser generation.
+  # rubocop:disable Metrics/ModuleLength -- manifest schema validation is kept in one auditable unit.
   module GenerationManifest
+    type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
     SCHEMA_VERSION: Integer
 
     IDENTIFIER: String
@@ -15,53 +18,53 @@ module Ibex
 
     ARTIFACT_KEYS: Array[String]
 
-    # @rbs (ArtifactSet artifacts, source_records: Array[GenerationInput], options: Hash[String, untyped]) -> String
-    def self?.render: (ArtifactSet artifacts, source_records: Array[GenerationInput], options: Hash[String, untyped]) -> String
+    # @rbs (ArtifactSet artifacts, source_records: Array[GenerationInput], options: Hash[String, Object?]) -> String
+    def self?.render: (ArtifactSet artifacts, source_records: Array[GenerationInput], options: Hash[String, Object?]) -> String
 
     # Validate the manifest shape and, by default, every published artifact digest.
-    # @rbs (String source, ?verify_artifacts: bool) -> Hash[String, untyped]
-    def self?.validate: (String source, ?verify_artifacts: bool) -> Hash[String, untyped]
+    # @rbs (String source, ?verify_artifacts: bool) -> Hash[String, json_value]
+    def self?.validate: (String source, ?verify_artifacts: bool) -> Hash[String, json_value]
 
-    # @rbs (String path, ?verify_artifacts: bool) -> Hash[String, untyped]
-    def self?.validate_file: (String path, ?verify_artifacts: bool) -> Hash[String, untyped]
+    # @rbs (String path, ?verify_artifacts: bool) -> Hash[String, json_value]
+    def self?.validate_file: (String path, ?verify_artifacts: bool) -> Hash[String, json_value]
 
-    # @rbs (Artifact artifact) -> Hash[String, untyped]
-    def self?.artifact_entry: (Artifact artifact) -> Hash[String, untyped]
+    # @rbs (Artifact artifact) -> Hash[String, json_value]
+    def self?.artifact_entry: (Artifact artifact) -> Hash[String, json_value]
 
-    # @rbs (Array[Hash[String, untyped]] files) -> String
-    def self?.input_digest: (Array[Hash[String, untyped]] files) -> String
+    # @rbs (Array[Hash[String, json_value]] files) -> String
+    def self?.input_digest: (Array[Hash[String, json_value]] files) -> String
 
-    # @rbs (Hash[String, untyped] value) -> Hash[String, untyped]
-    def self?.sorted_hash: (Hash[String, untyped] value) -> Hash[String, untyped]
+    # @rbs (Hash[String, Object?] value) -> Hash[String, Object?]
+    def self?.sorted_hash: (Hash[String, Object?] value) -> Hash[String, Object?]
 
-    # @rbs (untyped document) -> void
-    def self?.validate_document: (untyped document) -> void
+    # @rbs (Object? document) -> void
+    def self?.validate_document: (Object? document) -> void
 
-    # @rbs (Hash[untyped, untyped] document) -> void
-    def self?.validate_identity: (Hash[untyped, untyped] document) -> void
+    # @rbs (Hash[Object?, Object?] document) -> void
+    def self?.validate_identity: (Hash[Object?, Object?] document) -> void
 
-    # @rbs (untyped input) -> void
-    def self?.validate_input: (untyped input) -> void
+    # @rbs (Object? input) -> void
+    def self?.validate_input: (Object? input) -> void
 
-    # @rbs (Array[untyped] entries, String label, ?require_kind: bool) -> void
-    def self?.validate_entries: (Array[untyped] entries, String label, ?require_kind: bool) -> void
+    # @rbs (Array[Object?] entries, String label, ?require_kind: bool) -> void
+    def self?.validate_entries: (Array[Object?] entries, String label, ?require_kind: bool) -> void
 
-    # @rbs (untyped entry, String label, bool require_kind) -> void
-    def self?.validate_entry: (untyped entry, String label, bool require_kind) -> void
+    # @rbs (Object? entry, String label, bool require_kind) -> void
+    def self?.validate_entry: (Object? entry, String label, bool require_kind) -> void
 
-    # @rbs (untyped path, String label) -> void
-    def self?.validate_path: (untyped path, String label) -> void
+    # @rbs (Object? path, String label) -> void
+    def self?.validate_path: (Object? path, String label) -> void
 
-    # @rbs (untyped kind, String label) -> void
-    def self?.validate_kind: (untyped kind, String label) -> void
+    # @rbs (Object? kind, String label) -> void
+    def self?.validate_kind: (Object? kind, String label) -> void
 
-    # @rbs (untyped digest, String label) -> void
-    def self?.validate_digest: (untyped digest, String label) -> void
+    # @rbs (Object? digest, String label) -> void
+    def self?.validate_digest: (Object? digest, String label) -> void
 
-    # @rbs (Hash[untyped, untyped] value, Array[String] expected, String label) -> void
-    def self?.exact_keys!: (Hash[untyped, untyped] value, Array[String] expected, String label) -> void
+    # @rbs (Hash[Object?, Object?] value, Array[String] expected, String label) -> void
+    def self?.exact_keys!: (Hash[Object?, Object?] value, Array[String] expected, String label) -> void
 
-    # @rbs (Array[untyped] entries) -> void
-    def self?.verify_entries: (Array[untyped] entries) -> void
+    # @rbs (Array[Object?] entries) -> void
+    def self?.verify_entries: (Array[Object?] entries) -> void
   end
 end

data/sig/ibex/generation_transaction_recovery.rbs

@@ -21,8 +21,8 @@ module Ibex
     # @rbs () -> Array[String]
     def rollback: () -> Array[String]
 
-    # @rbs (Hash[Symbol, untyped] record) -> void
-    def rollback_record: (Hash[Symbol, untyped] record) -> void
+    # @rbs (Hash[Symbol, Object?] record) -> void
+    def rollback_record: (Hash[Symbol, Object?] record) -> void
 
     # @rbs (preserve_backups: bool) -> Array[String]
     def cleanup_artifacts: (preserve_backups: bool) -> Array[String]