ibex 0.1.0 → 0.2.0

data/sig/ibex/codegen/rbs.rbs

@@ -3,24 +3,104 @@
 module Ibex
   module Codegen
     # Generates an RBS declaration for the public surface of a generated parser.
+    # rubocop:disable Metrics/ClassLength -- one generator owns the complete parser signature.
     class RBS
-      @automaton: IR::Automaton
+      @generated_action_abi: GeneratedActionABI::Cache
 
-      @grammar: IR::Grammar
+      @omit_action_call: bool
 
       @superclass: String
 
-      # @rbs (IR::Automaton automaton, ?superclass: String?) -> void
-      def initialize: (IR::Automaton automaton, ?superclass: String?) -> void
+      @grammar: IR::Grammar
+
+      @automaton: IR::Automaton
+
+      # @rbs (IR::Automaton automaton, ?superclass: String?, ?omit_action_call: bool?) -> void
+      def initialize: (IR::Automaton automaton, ?superclass: String?, ?omit_action_call: bool?) -> void
 
       # @rbs () -> String
       def generate: () -> String
 
       private
 
+      # @rbs (Array[String] lines) -> void
+      def append_ast_contract: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_syntax_contract: (Array[String] lines) -> void
+
+      # @rbs () -> Hash[String, Hash[Symbol, untyped]]
+      def syntax_node_definitions: () -> Hash[String, Hash[Symbol, untyped]]
+
+      # @rbs (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
+      def merge_syntax_fields: (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
+
+      # @rbs (Array[String] lines, Hash[Symbol, untyped] definition) -> void
+      def append_syntax_node_contract: (Array[String] lines, Hash[Symbol, untyped] definition) -> void
+
+      # @rbs (String node_name, Integer index) -> String
+      def syntax_field_type: (String node_name, Integer index) -> String
+
+      # @rbs (Array[String] lines, Hash[String, untyped] fields) -> void
+      def append_repetition_contracts: (Array[String] lines, Hash[String, untyped] fields) -> void
+
+      # @rbs () -> Hash[String, IR::node_annotation]
+      def ast_node_definitions: () -> Hash[String, IR::node_annotation]
+
+      # @rbs (Array[String] lines, IR::node_annotation node) -> void
+      def append_ast_node_contract: (Array[String] lines, IR::node_annotation node) -> void
+
+      # @rbs (String name, Integer length) -> Array[String]
+      def ast_node_field_types: (String name, Integer length) -> Array[String]
+
+      # @rbs (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+      def append_visitor_contract: (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+
+      # @rbs (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+      def append_listener_contract: (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+
+      # @rbs (String name) -> String
+      def ast_method_name: (String name) -> String
+
       # @rbs (Array[String] lines) -> void
       def append_contract: (Array[String] lines) -> void
 
+      # @rbs (Array[String] lines) -> void
+      def append_entry_contract: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_parameter_contract: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_lexer_contract: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_value_printer_signatures: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_actions: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines, IR::Production production) -> void
+      def append_action_signature: (Array[String] lines, IR::Production production) -> void
+
+      # @rbs (Array[String] lines, IR::Production production) -> void
+      def append_composed_fragment_signatures: (Array[String] lines, IR::Production production) -> void
+
+      # @rbs (IR::Production production, Hash[Symbol, untyped] plan, Integer slot, Integer step_index) -> String
+      def composition_slot_type: (IR::Production production, Hash[Symbol, untyped] plan, Integer slot, Integer step_index) -> String
+
+      # @rbs (IR::Production production) -> bool
+      def action_method?: (IR::Production production) -> bool
+
+      # @rbs (IR::Production production) -> bool
+      def composed_action?: (IR::Production production) -> bool
+
+      # @rbs (Integer symbol_id) -> String
+      def semantic_type: (Integer symbol_id) -> String
+
+      # @rbs (Integer symbol_id) -> String?
+      def inferred_ast_type: (Integer symbol_id) -> String?
+
       # @rbs () -> [Array[String], String]
       def class_parts: () -> [ Array[String], String ]
 

data/sig/ibex/codegen/report.rbs

@@ -32,6 +32,14 @@ module Ibex
 
       private def self.tree_label: (IR::Grammar grammar, Hash[Integer, String] labels, untyped value) -> untyped
 
+      private def display_conflict: (IR::conflict conflict, IR::Grammar grammar, Hash[Integer, String] labels) -> Hash[Symbol, untyped]
+
+      private def self.display_conflict: (IR::conflict conflict, IR::Grammar grammar, Hash[Integer, String] labels) -> Hash[Symbol, untyped]
+
+      private def format_value: (untyped value) -> String
+
+      private def self.format_value: (untyped value) -> String
+
       # @rbs (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> String
       def self?.render: (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> String
     end

data/sig/ibex/codegen/ruby.rbs

@@ -3,31 +3,57 @@
 module Ibex
   module Codegen
     # Generates a standalone Ruby parser class from Automaton IR.
+    # rubocop:disable Metrics/ClassLength -- generation stages are split into focused mixins.
     class Ruby
-      @executable: String?
+      include RubyActions
 
-      @superclass: String
+      include RubyErrorMessages
 
-      @omit_action_call: bool
+      include RubyTableMetadata
 
-      @debug: bool
+      include RubyValuePrinters
 
-      @line_convert_all: bool
+      include RubyLexer
 
-      @line_convert: bool
+      include RubyAST
 
-      @embedded: bool
+      include RubySyntax
 
-      @table_format: Symbol
+      EMBEDDED_RUNTIME_SOURCES: Array[String]
+
+      @automaton: IR::Automaton
 
       @grammar: IR::Grammar
 
-      @automaton: IR::Automaton
+      @table_format: Symbol
+
+      @embedded: bool
+
+      @line_convert: bool
+
+      @line_convert_all: bool
+
+      @debug: bool
+
+      @omit_action_call: bool
+
+      @superclass: String
+
+      @executable: String?
+
+      @cst_trivia: Symbol
+
+      @error_messages: Hash[Integer, String | { id: String, message: String }]
+
+      @generated_action_abi: GeneratedActionABI::Cache
+
+      @runtime_require: String?
 
       # @rbs (IR::Automaton automaton, ?table: Symbol | String, ?embedded: bool, ?line_convert: bool,
       #   ?line_convert_all: bool, ?debug: bool, ?omit_action_call: bool?, ?superclass: String?,
-      #   ?executable: String?) -> void
-      def initialize: (IR::Automaton automaton, ?table: Symbol | String, ?embedded: bool, ?line_convert: bool, ?line_convert_all: bool, ?debug: bool, ?omit_action_call: bool?, ?superclass: String?, ?executable: String?) -> void
+      #   ?executable: String?, ?cst_trivia: Symbol | String, ?runtime_require: String?,
+      #   ?error_messages: Hash[Integer, String | { id: String, message: String }]) -> void
+      def initialize: (IR::Automaton automaton, ?table: Symbol | String, ?embedded: bool, ?line_convert: bool, ?line_convert_all: bool, ?debug: bool, ?omit_action_call: bool?, ?superclass: String?, ?executable: String?, ?cst_trivia: Symbol | String, ?runtime_require: String?, ?error_messages: Hash[Integer, String | { id: String, message: String }]) -> void
 
       # @rbs () -> String
       def generate: () -> String
@@ -43,9 +69,36 @@ module Ibex
       # @rbs (Array[String] lines) -> void
       def append_tables: (Array[String] lines) -> void
 
+      # @rbs (Array[String] lines, String indent) -> void
+      def append_cst_metadata: (Array[String] lines, String indent) -> void
+
+      # @rbs (Array[String] lines, String indent, Tables::TableSet table_set) -> void
+      def append_parser_tables: (Array[String] lines, String indent, Tables::TableSet table_set) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_parameter_initializer: (Array[String] lines) -> void
+
+      # Custom conversion expressions can return caller-owned mutable or
+      # inherently unshareable objects, so only standard token mappings are
+      # safe to freeze transitively.
+      # @rbs () -> bool
+      def shareable_parser_tables?: () -> bool
+
+      # @rbs () -> Hash[Symbol, untyped]
+      def cst_metadata: () -> Hash[Symbol, untyped]
+
+      # @rbs (untyped value) -> String
+      def deep_frozen_literal: (untyped value) -> String
+
       # @rbs (untyped table) -> String
       def table_literal: (untyped table) -> String
 
+      # @rbs (Array[Integer?] values) -> String
+      def packed_integers_literal: (Array[Integer?] values) -> String
+
+      # @rbs (Array[Integer?] values) -> String
+      def packed_signed_integers_literal: (Array[Integer?] values) -> String
+
       # @rbs () -> String
       def token_ids_literal: () -> String
 
@@ -55,26 +108,47 @@ module Ibex
       # @rbs () -> String
       def token_names_literal: () -> String
 
+      # @rbs () -> String
+      def symbol_names_literal: () -> String
+
       # @rbs () -> String
       def productions_literal: () -> String
 
-      # @rbs (Array[String] lines) -> void
-      def append_actions: (Array[String] lines) -> void
+      # @rbs () -> String
+      def plain_productions_literal: () -> String
+
+      # @rbs (IR::Production production, bool generated_action) -> String
+      def production_action_abi_literal: (IR::Production production, bool generated_action) -> String
+
+      # @rbs () -> String
+      def compact_productions_literal: () -> String
+
+      # @rbs (IR::Production production) -> Integer
+      def compact_production_flags: (IR::Production production) -> Integer
+
+      # @rbs () -> String
+      def compact_production_metadata_literal: () -> String
+
+      # Reductions that are the sole non-error behavior of a state may run
+      # before requesting another lexer token. This enables parser actions to
+      # select lexer_state without speculative lookahead.
+      # @rbs () -> String
+      def eager_reductions_literal: () -> String
 
-      # @rbs (Array[String] lines, IR::Production production) -> void
-      def append_action_constant: (Array[String] lines, IR::Production production) -> void
+      # @rbs (IR::AutomatonState state) -> IR::reduce_action?
+      def eager_lexer_feedback_reduction: (IR::AutomatonState state) -> IR::reduce_action?
 
-      # @rbs (Array[String] lines, IR::Production production) -> void
-      def append_action_method: (Array[String] lines, IR::Production production) -> void
+      # @rbs (IR::Action? action) -> [String, String]
+      def production_location_metadata: (IR::Action? action) -> [ String, String ]
 
-      # @rbs (Array[String] lines, IR::Action? action) -> void
-      def append_named_bindings: (Array[String] lines, IR::Action? action) -> void
+      # @rbs () -> bool
+      def uses_locations?: () -> bool
 
-      # @rbs (Array[String] lines, IR::Production production) -> void
-      def append_semantic_code: (Array[String] lines, IR::Production production) -> void
+      # @rbs (IR::Production production, IR::Action action) -> bool
+      def action_references_locations?: (IR::Production production, IR::Action action) -> bool
 
-      # @rbs (IR::Production production) -> bool
-      def action_method?: (IR::Production production) -> bool
+      # @rbs () -> bool
+      def cst?: () -> bool
 
       # @rbs (Array[String] lines, String name, ?indent: Integer) -> void
       def append_user_code: (Array[String] lines, String name, ?indent: Integer) -> void

data/sig/ibex/codegen/ruby_actions.rbs

@@ -0,0 +1,54 @@
+# Generated from lib/ibex/codegen/ruby_actions.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Semantic-action method generation shared by direct and source-mapped
+    # Ruby output.
+    module RubyActions
+      include RubyAST
+
+      @action_method_source: ActionMethodSource?
+
+      @omit_action_call: bool
+
+      @line_convert: bool
+
+      @grammar: IR::Grammar
+
+      private
+
+      # @rbs (Array[String] lines) -> void
+      def append_actions: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines, IR::Production production) -> void
+      def append_composed_action_method: (Array[String] lines, IR::Production production) -> void
+
+      # @rbs (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
+      def append_composed_fragment_method: (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
+
+      # @rbs (IR::Production production, Integer index) -> String
+      def composed_fragment_name: (IR::Production production, Integer index) -> String
+
+      # @rbs (Array[String] lines, IR::Production production, Hash[Symbol, untyped] plan) -> void
+      def append_composed_orchestrator: (Array[String] lines, IR::Production production, Hash[Symbol, untyped] plan) -> void
+
+      # @rbs (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
+      def append_composed_step: (Array[String] lines, IR::Production production, Hash[Symbol, untyped] step, Integer index) -> void
+
+      # @rbs (Array[String] lines, IR::Production production) -> void
+      def append_compiled_action_method: (Array[String] lines, IR::Production production) -> void
+
+      # @rbs (Array[String] lines, IR::Production production) -> void
+      def append_action_method: (Array[String] lines, IR::Production production) -> void
+
+      # @rbs (IR::Production production) -> bool
+      def action_method?: (IR::Production production) -> bool
+
+      # @rbs (IR::Production production) -> bool
+      def composed_action?: (IR::Production production) -> bool
+
+      # @rbs () -> ActionMethodSource
+      def action_method_source: () -> ActionMethodSource
+    end
+  end
+end

data/sig/ibex/codegen/ruby_ast.rbs

@@ -0,0 +1,34 @@
+# Generated from lib/ibex/codegen/ruby_ast.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Generates typed AST data classes and traversal bases from @node metadata.
+    module RubyAST
+      private
+
+      # @rbs (Array[String] lines) -> void
+      def append_ast: (Array[String] lines) -> void
+
+      # @rbs () -> Hash[String, IR::node_annotation]
+      def ast_node_definitions: () -> Hash[String, IR::node_annotation]
+
+      # @rbs (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+      def append_visitor: (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_visit_children: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+      def append_listener: (Array[String] lines, Hash[String, IR::node_annotation] definitions) -> void
+
+      # @rbs (Array[String] lines, Hash[String, IR::node_annotation] definitions, :enter | :exit kind) -> void
+      def append_listener_dispatch: (Array[String] lines, Hash[String, IR::node_annotation] definitions, :enter | :exit kind) -> void
+
+      # @rbs (IR::Production production) -> String
+      def ast_node_action_source: (IR::Production production) -> String
+
+      # @rbs (String name) -> String
+      def ast_method_name: (String name) -> String
+    end
+  end
+end

data/sig/ibex/codegen/ruby_error_messages.rbs

@@ -0,0 +1,16 @@
+# Generated from lib/ibex/codegen/ruby_error_messages.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Serializes immutable example-keyed error records into generated Ruby.
+    module RubyErrorMessages
+      private
+
+      # @rbs () -> String
+      def error_messages_literal: () -> String
+
+      # @rbs (String | { id: String, message: String } message) -> String
+      def error_message_literal: (String | { id: String, message: String } message) -> String
+    end
+  end
+end

data/sig/ibex/codegen/ruby_lexer.rbs

@@ -0,0 +1,25 @@
+# Generated from lib/ibex/codegen/ruby_lexer.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Generated lexer tables and action methods.
+    module RubyLexer
+      private
+
+      # @rbs (Array[String] lines) -> void
+      def append_lexer: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines, IR::Lexer lexer) -> void
+      def append_lexer_rules: (Array[String] lines, IR::Lexer lexer) -> void
+
+      # @rbs (IR::LexerRule rule) -> String
+      def lexer_rule_literal: (IR::LexerRule rule) -> String
+
+      # @rbs (Array[String] lines, IR::Lexer lexer) -> void
+      def append_lexer_actions: (Array[String] lines, IR::Lexer lexer) -> void
+
+      # @rbs (IR::LexerRule rule) -> String
+      def lexer_action_source: (IR::LexerRule rule) -> String
+    end
+  end
+end

data/sig/ibex/codegen/ruby_syntax.rbs

@@ -0,0 +1,25 @@
+# Generated from lib/ibex/codegen/ruby_syntax.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Generates typed Red syntax views from @node metadata.
+    module RubySyntax
+      private
+
+      # @rbs (Array[String] lines) -> void
+      def append_syntax: (Array[String] lines) -> void
+
+      # @rbs () -> Hash[String, Hash[Symbol, untyped]]
+      def syntax_node_definitions: () -> Hash[String, Hash[Symbol, untyped]]
+
+      # @rbs (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
+      def merge_syntax_fields: (Hash[String, untyped] left, Hash[String, untyped] right) -> Hash[String, untyped]
+
+      # @rbs (Array[String] lines, Hash[Symbol, untyped] definition) -> void
+      def append_syntax_node: (Array[String] lines, Hash[Symbol, untyped] definition) -> void
+
+      # @rbs (Array[String] lines, Hash[String, untyped] fields) -> void
+      def append_repetition_accessors: (Array[String] lines, Hash[String, untyped] fields) -> void
+    end
+  end
+end

data/sig/ibex/codegen/ruby_table_metadata.rbs

@@ -0,0 +1,26 @@
+# Generated from lib/ibex/codegen/ruby_table_metadata.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Emits immutable identity and size metadata for generated parser tables.
+    module RubyTableMetadata
+      @automaton: IR::Automaton
+
+      @grammar: IR::Grammar
+
+      private
+
+      # @rbs (Array[String] lines, String indent) -> void
+      def append_table_metadata: (Array[String] lines, String indent) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_entry_methods: (Array[String] lines) -> void
+
+      # @rbs () -> String
+      def entry_table_fields: () -> String
+
+      # @rbs () -> String
+      def recovery_table_fields: () -> String
+    end
+  end
+end

data/sig/ibex/codegen/ruby_value_printers.rbs

@@ -0,0 +1,28 @@
+# Generated from lib/ibex/codegen/ruby_value_printers.rb with RBS::Inline
+
+module Ibex
+  module Codegen
+    # Emits declarative value-printer tables and methods for Ruby parsers.
+    module RubyValuePrinters
+      @grammar: IR::Grammar
+
+      @line_convert: bool
+
+      @value_printer_action_method_source: ActionMethodSource?
+
+      private
+
+      # @rbs (Array[String] lines, String indent) -> void
+      def append_value_printer_table: (Array[String] lines, String indent) -> void
+
+      # @rbs (Array[String] lines) -> void
+      def append_value_printers: (Array[String] lines) -> void
+
+      # @rbs (Array[String] lines, IR::value_printer printer) -> void
+      def append_value_printer: (Array[String] lines, IR::value_printer printer) -> void
+
+      # @rbs () -> ActionMethodSource
+      def value_printer_action_method_source: () -> ActionMethodSource
+    end
+  end
+end

data/sig/ibex/coverage/collector.rbs

@@ -0,0 +1,76 @@
+# Generated from lib/ibex/coverage/collector.rb with RBS::Inline
+
+module Ibex
+  module Coverage
+    # Strictly turns one or more complete parse sessions into a coverage report.
+    class Collector
+      @expected_sequence: Integer
+
+      @in_session: bool
+
+      @production_hits: Hash[Integer, Integer]
+
+      @state_hits: Hash[Integer, Integer]
+
+      @event_count: Integer
+
+      @sessions: Integer
+
+      @production_count: Integer?
+
+      @state_count: Integer?
+
+      @table_format_version: Integer?
+
+      @grammar_digest: String?
+
+      # @rbs () -> void
+      def initialize: () -> void
+
+      # @rbs (String path) -> Report
+      def self.collect_file: (String path) -> Report
+
+      # @rbs (Hash[String, untyped] document, source: String, line: Integer) -> void
+      def consume: (Hash[String, untyped] document, source: String, line: Integer) -> void
+
+      # @rbs (source: String) -> Report
+      def finish: (source: String) -> Report
+
+      private
+
+      # @rbs (Hash[untyped, untyped] data, untyped sequence, String source, Integer line) -> void
+      def start_session: (Hash[untyped, untyped] data, untyped sequence, String source, Integer line) -> void
+
+      # @rbs (String event, Hash[untyped, untyped] data, untyped sequence, String source, Integer line) -> void
+      def consume_session_event: (String event, Hash[untyped, untyped] data, untyped sequence, String source, Integer line) -> void
+
+      # @rbs (Hash[untyped, untyped] data, String source, Integer line)
+      #   -> [[String, Integer, Integer, Integer], Integer]
+      def session_metadata: (Hash[untyped, untyped] data, String source, Integer line) -> [ [ String, Integer, Integer, Integer ], Integer ]
+
+      # @rbs ([String, Integer, Integer, Integer] metadata, String source, Integer line) -> void
+      def establish_metadata: ([ String, Integer, Integer, Integer ] metadata, String source, Integer line) -> void
+
+      # @rbs (String source, Integer line) -> void
+      def validate_metadata!: (String source, Integer line) -> void
+
+      # @rbs (untyped id, String source, Integer line) -> void
+      def hit_state: (untyped id, String source, Integer line) -> void
+
+      # @rbs (untyped id, String source, Integer line) -> void
+      def hit_production: (untyped id, String source, Integer line) -> void
+
+      # @rbs (untyped id, Integer total) -> bool
+      def valid_id?: (untyped id, Integer total) -> bool
+
+      # @rbs (Hash[Integer, Integer] hits, Integer id, String kind, String source, Integer line) -> void
+      def increment: (Hash[Integer, Integer] hits, Integer id, String kind, String source, Integer line) -> void
+
+      # @rbs [T] (T? value) -> T
+      def required_metadata: [T] (T? value) -> T
+
+      # @rbs (String source, Integer line, String message) -> bot
+      def invalid: (String source, Integer line, String message) -> bot
+    end
+  end
+end

data/sig/ibex/coverage/event_stream.rbs

@@ -0,0 +1,42 @@
+# Generated from lib/ibex/coverage/event_stream.rb with RBS::Inline
+
+module Ibex
+  module Coverage
+    # Bounded reader for the public runtime-event JSON Lines protocol.
+    module EventStream
+      interface _CoverageEventInput
+        def gets: (Integer) -> String?
+      end
+
+      MAX_LINE_BYTES: Integer
+
+      MAX_NESTING: Integer
+
+      ROOT_KEYS: Array[String]
+
+      EVENT_TYPES: Array[String]
+
+      # @rbs (String path) { (Hash[String, untyped], Integer) -> void } -> void
+      def self.each_file: (String path) { (Hash[String, untyped], Integer) -> void } -> void
+
+      # @rbs (_CoverageEventInput input, source: String)
+      #   { (Hash[String, untyped], Integer) -> void } -> void
+      def self.each_io: (_CoverageEventInput input, source: String) { (Hash[String, untyped], Integer) -> void } -> void
+
+      # @rbs (String line, String source, Integer line_number) -> void
+      private def self.reject_oversized_line: (String line, String source, Integer line_number) -> void
+
+      # @rbs (String line, String source, Integer line_number) -> Hash[String, untyped]
+      private def self.parse_line: (String line, String source, Integer line_number) -> Hash[String, untyped]
+
+      # @rbs (Hash[String, untyped] document, String source, Integer line_number) -> void
+      private def self.validate_envelope: (Hash[String, untyped] document, String source, Integer line_number) -> void
+
+      # @rbs (untyped value) -> bool
+      private def self.positive_integer?: (untyped value) -> bool
+
+      # @rbs (String source, Integer line_number, String message) -> bot
+      private def self.raise_invalid: (String source, Integer line_number, String message) -> bot
+    end
+  end
+end