ibex 0.1.0 → 0.3.0

data/sig/ibex/rake_task.rbs

@@ -0,0 +1,51 @@
+# Generated from lib/ibex/rake_task.rb with RBS::Inline
+
+module Ibex
+  # Declares grammar-to-parser generation in a Rakefile.
+  class RakeTask < Rake::TaskLib
+    attr_accessor grammar: String?
+
+    attr_accessor output: String?
+
+    attr_accessor options: Array[String]
+
+    attr_accessor action_source: String | true | nil
+
+    # @rbs (String | Symbol name) ?{ (RakeTask) -> void } -> void
+    def initialize: (String | Symbol name) ?{ (RakeTask) -> void } -> void
+
+    private
+
+    # @rbs () -> void
+    def define: () -> void
+
+    # @rbs () -> void
+    def reject_watch_option!: () -> void
+
+    # @rbs (String target) -> String?
+    def configured_action_source: (String target) -> String?
+
+    # @rbs (String target) -> String
+    def default_action_source_path: (String target) -> String
+
+    # @rbs (String source) -> Array[String]
+    def grammar_prerequisites: (String source) -> Array[String]
+
+    # @rbs () -> Symbol
+    def configured_mode: () -> Symbol
+  end
+end
+
+module Rake
+  class TaskLib
+    def initialize: () -> void
+  end
+
+  class Task
+    def self.define_task: (Hash[String | Symbol, String | Array[String]]) -> Task
+                        | (Hash[String | Symbol, String | Array[String]]) { (Object?, Object?) -> void } -> Task
+  end
+
+  class FileTask < Task
+  end
+end

data/sig/ibex/samples.rbs

@@ -0,0 +1,60 @@
+# Generated from lib/ibex/samples.rb with RBS::Inline
+
+module Ibex
+  # Generates bounded terminal sentences from Grammar IR.
+  class Samples
+    DEFAULT_MAX_EXPANSIONS: Integer
+
+    # @rbs (IR::Grammar grammar, ?seed: Integer, ?max_tokens: Integer, ?max_depth: Integer,
+    #   ?max_expansions: Integer, ?strategy: Symbol | String, ?path_length: Integer) -> void
+    def initialize: (IR::Grammar grammar, ?seed: Integer, ?max_tokens: Integer, ?max_depth: Integer, ?max_expansions: Integer, ?strategy: Symbol | String, ?path_length: Integer) -> void
+
+    # @rbs (?count: Integer) -> Array[Array[String]]
+    def generate: (?count: Integer) -> Array[Array[String]]
+
+    private
+
+    # @rbs () -> Hash[Integer, Integer?]
+    def compute_minimum_costs: () -> Hash[Integer, Integer?]
+
+    # @rbs () -> Hash[Integer, Integer?]
+    def compute_minimum_heights: () -> Hash[Integer, Integer?]
+
+    # @rbs (Integer terminal_value) { (IR::Production, Hash[Integer, Integer?]) -> Integer? }
+    #   -> Hash[Integer, Integer?]
+    def compute_minimum_values: (Integer terminal_value) { (IR::Production, Hash[Integer, Integer?]) -> Integer? } -> Hash[Integer, Integer?]
+
+    # @rbs (Hash[Integer, Integer?] values, Integer terminal_value) -> Array[Integer]
+    def seed_terminal_values: (Hash[Integer, Integer?] values, Integer terminal_value) -> Array[Integer]
+
+    # @rbs (Hash[Integer, Integer?] values, Array[Integer] queue, Integer symbol_id, Integer? candidate) -> void
+    def update_minimum: (Hash[Integer, Integer?] values, Array[Integer] queue, Integer symbol_id, Integer? candidate) -> void
+
+    # @rbs (IR::Production production, Hash[Integer, Integer?] values) -> Array[Integer]?
+    def resolved_rhs_values: (IR::Production production, Hash[Integer, Integer?] values) -> Array[Integer]?
+
+    # @rbs (IR::GrammarSymbol start, Integer remaining_expansions) -> [Array[String], Integer]
+    def expand: (IR::GrammarSymbol start, Integer remaining_expansions) -> [ Array[String], Integer ]
+
+    # @rbs (Integer nonterminal_id, Integer budget, Integer depth, Array[Integer] path) -> IR::Production
+    def choose_production: (Integer nonterminal_id, Integer budget, Integer depth, Array[Integer] path) -> IR::Production
+
+    # @rbs (Integer nonterminal_id, Integer budget) -> Array[IR::Production]
+    def bounded_productions: (Integer nonterminal_id, Integer budget) -> Array[IR::Production]
+
+    # @rbs (Array[IR::Production] candidates) -> Array[IR::Production]
+    def minimum_height_productions: (Array[IR::Production] candidates) -> Array[IR::Production]
+
+    # @rbs (Array[Integer] path, IR::Production production) -> Integer
+    def path_count: (Array[Integer] path, IR::Production production) -> Integer
+
+    # @rbs (Integer symbol_id) -> Integer
+    def minimum_cost!: (Integer symbol_id) -> Integer
+
+    # @rbs (IR::Production production) -> Integer?
+    def production_cost: (IR::Production production) -> Integer?
+
+    # @rbs (IR::Production production) -> Integer?
+    def production_height: (IR::Production production) -> Integer?
+  end
+end

data/sig/ibex/table_artifact/builder.rbs

@@ -0,0 +1,93 @@
+# Generated from lib/ibex/table_artifact/builder.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    # Projects validated Automaton IR into an action-free executable sidecar.
+    class Builder
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      type json_hash = Hash[String, untyped]
+
+      type action_rows = Array[Hash[Integer, IR::runtime_action]]
+
+      type action_table = action_rows | Tables::CompactActions
+
+      type goto_rows = Array[Hash[Integer, Integer]]
+
+      type goto_table = goto_rows | Tables::Compact
+
+      include CSTProjection
+
+      REPRESENTATIONS: Array[Symbol]
+
+      # @rbs (IR::Automaton automaton, ?representation: Symbol | String, ?cst_trivia: Symbol | String?,
+      #   ?omit_action_call: bool?) -> void
+      def initialize: (IR::Automaton automaton, ?representation: Symbol | String, ?cst_trivia: Symbol | String?, ?omit_action_call: bool?) -> void
+
+      # @rbs () -> Document
+      def build: () -> Document
+
+      private
+
+      # @rbs (Hash[String, String] source_identity) -> json_hash
+      def build_payload: (Hash[String, String] source_identity) -> json_hash
+
+      # @rbs () -> String
+      def automaton_digest: () -> String
+
+      # @rbs () -> json_hash
+      def table_format: () -> json_hash
+
+      # @rbs () -> Array[json_hash]
+      def symbols: () -> Array[json_hash]
+
+      # @rbs () -> Array[json_hash]
+      def tokens: () -> Array[json_hash]
+
+      # @rbs () -> Array[json_hash]
+      def entry_states: () -> Array[json_hash]
+
+      # @rbs () -> json_hash
+      def tables: () -> json_hash
+
+      # @rbs (action_table table) -> json_hash
+      def action_table: (action_table table) -> json_hash
+
+      # @rbs (Tables::CompactActions table) -> json_hash
+      def compact_action_table: (Tables::CompactActions table) -> json_hash
+
+      # @rbs (goto_table table) -> json_hash
+      def goto_table: (goto_table table) -> json_hash
+
+      # @rbs (Tables::Compact table) -> json_hash
+      def compact_goto_table: (Tables::Compact table) -> json_hash
+
+      # @rbs () -> Array[json_hash]
+      def productions: () -> Array[json_hash]
+
+      # @rbs (IR::Production production) -> bool
+      def action_slot?: (IR::Production production) -> bool
+
+      # @rbs () -> json_hash
+      def semantic_actions: () -> json_hash
+
+      # @rbs () -> json_hash
+      def recovery: () -> json_hash
+
+      # @rbs (json_hash payload) -> json_hash
+      def build_cost: (json_hash payload) -> json_hash
+
+      # @rbs (json_hash table, String values_key) -> Integer
+      def occupied_cells: (json_hash table, String values_key) -> Integer
+
+      # @rbs () -> String
+      def lookup_cost: () -> String
+
+      # @rbs () -> String
+      def recognition_cost: () -> String
+
+      # @rbs (Symbol | String? requested) -> Symbol
+      def effective_cst_trivia: (Symbol | String? requested) -> Symbol
+    end
+  end
+end

data/sig/ibex/table_artifact/cst_projection.rbs

@@ -0,0 +1,20 @@
+# Generated from lib/ibex/table_artifact/cst_projection.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    # Converts code-generation CST metadata into closed JSON records.
+    module CSTProjection
+      private def cst: () -> Hash[String, Builder::json_value]?
+
+      private def normalize_cst: (Codegen::CSTMetadata::metadata metadata) -> Hash[String, Builder::json_value]
+
+      private def normalize_cst_kinds: (Codegen::CSTMetadata::kinds kinds) -> Hash[String, Builder::json_value]
+
+      private def named_kinds: (Hash[String, Integer] values) -> Array[Hash[String, String | Integer]]
+
+      private def normalize_cst_slot: (Integer production_id, Codegen::CSTMetadata::slot slot) -> Hash[String, Builder::json_value]
+
+      private
+    end
+  end
+end

data/sig/ibex/table_artifact/document.rbs

@@ -0,0 +1,27 @@
+# Generated from lib/ibex/table_artifact/document.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    # An immutable, validated table artifact document.
+    class Document
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      attr_reader data: Hash[String, json_value]
+
+      # @rbs (Hash[String, json_value] data) -> void
+      def initialize: (Hash[String, json_value] data) -> void
+
+      # @rbs () -> String
+      def dump: () -> String
+
+      # @rbs () -> Hash[String, json_value]
+      def payload: () -> Hash[String, json_value]
+
+      # @rbs () -> Hash[String, String]
+      def identity: () -> Hash[String, String]
+
+      # @rbs () -> Hash[String, json_value]
+      def cost: () -> Hash[String, json_value]
+    end
+  end
+end

data/sig/ibex/table_artifact/executor.rbs

@@ -0,0 +1,66 @@
+# Generated from lib/ibex/table_artifact/executor.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    # Recognition-only driver over internal token ids; it never loads wrapper code.
+    class Executor
+      class Result
+        attr_reader status: Symbol
+
+        attr_reader steps: Integer
+
+        attr_reader consumed_tokens: Integer
+
+        attr_reader reason: String?
+
+        # @rbs (status: Symbol, steps: Integer, consumed_tokens: Integer, reason: String?) -> void
+        def initialize: (status: Symbol, steps: Integer, consumed_tokens: Integer, reason: String?) -> void
+
+        # @rbs () -> bool
+        def accepted?: () -> bool
+
+        # @rbs () -> bool
+        def rejected?: () -> bool
+
+        # @rbs () -> bool
+        def exhausted?: () -> bool
+      end
+
+      # @rbs (Document | Hash[String, ValidationSupport::json_value] document) -> void
+      def initialize: (Document | Hash[String, ValidationSupport::json_value] document) -> void
+
+      # @rbs (Array[Integer] token_ids, ?entry: String | Symbol?, ?max_steps: Integer) -> Result
+      def recognize: (Array[Integer] token_ids, ?entry: String | Symbol?, ?max_steps: Integer) -> Result
+
+      private
+
+      # @rbs (Array[Integer] input, Array[Integer] stack, Integer max_steps) -> Result
+      def execute: (Array[Integer] input, Array[Integer] stack, Integer max_steps) -> Result
+
+      # @rbs (Integer? code, Integer token_id, Integer step, Integer cursor) -> Result?
+      def immediate_result: (Integer? code, Integer token_id, Integer step, Integer cursor) -> Result?
+
+      # @rbs (Array[Integer] token_ids) -> Array[Integer]
+      def validate_input: (Array[Integer] token_ids) -> Array[Integer]
+
+      # @rbs (String | Symbol? requested) -> Integer
+      def entry_state: (String | Symbol? requested) -> Integer
+
+      # @rbs (Integer row, Integer column) -> Integer?
+      def action: (Integer row, Integer column) -> Integer?
+
+      # @rbs (Integer row, Integer column) -> Integer?
+      def goto_state: (Integer row, Integer column) -> Integer?
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table, Integer row, Integer column,
+      #   String value_key) -> Integer?
+      def displacement_lookup: (Hash[String, ValidationSupport::json_value] table, Integer row, Integer column, String value_key) -> Integer?
+
+      # @rbs (Array[Integer] stack, Integer code) -> String?
+      def reduce_stack: (Array[Integer] stack, Integer code) -> String?
+
+      # @rbs (Symbol status, Integer steps, Integer consumed, String? reason) -> Result
+      def result: (Symbol status, Integer steps, Integer consumed, String? reason) -> Result
+    end
+  end
+end

data/sig/ibex/table_artifact/serializer.rbs

@@ -0,0 +1,25 @@
+# Generated from lib/ibex/table_artifact/serializer.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    # Canonical JSON ordering and digest primitives shared by writer and loader.
+    module Serializer
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[json_value, json_value]
+
+      # @rbs (json_value value) -> json_value
+      def self.canonical: (json_value value) -> json_value
+
+      # @rbs (json_value value) -> String
+      def self.compact: (json_value value) -> String
+
+      # @rbs (json_value value) -> String
+      def self.dump: (json_value value) -> String
+
+      # @rbs (json_value value) -> String
+      def self.digest: (json_value value) -> String
+
+      # @rbs (json_value value) -> json_value
+      def self.deep_freeze: (json_value value) -> json_value
+    end
+  end
+end

data/sig/ibex/table_artifact/validator/metadata.rbs

@@ -0,0 +1,52 @@
+# Generated from lib/ibex/table_artifact/validator/metadata.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    class MetadataValidator
+      include ValidationSupport
+
+      # @rbs (Hash[String, ValidationSupport::json_value] payload, symbols: Array[Hash[String, ValidationSupport::json_value]],
+      #   productions: Array[Hash[String, ValidationSupport::json_value]]) -> void
+      def initialize: (Hash[String, ValidationSupport::json_value] payload, symbols: Array[Hash[String, ValidationSupport::json_value]], productions: Array[Hash[String, ValidationSupport::json_value]]) -> void
+
+      # @rbs () -> void
+      def validate!: () -> void
+
+      private
+
+      # @rbs (Array[Hash[String, ValidationSupport::json_value]] symbols, String kind) -> Set[Integer]
+      def ids_for_kind: (Array[Hash[String, ValidationSupport::json_value]] symbols, String kind) -> Set[Integer]
+
+      # @rbs (ValidationSupport::json_value data) -> void
+      def validate_semantic_actions: (ValidationSupport::json_value data) -> void
+
+      # @rbs (ValidationSupport::json_value data) -> void
+      def validate_recovery: (ValidationSupport::json_value data) -> void
+
+      # @rbs (ValidationSupport::json_value data) -> void
+      def validate_cst: (ValidationSupport::json_value data) -> void
+
+      # @rbs (ValidationSupport::json_value data, String path) -> Integer
+      def validate_cst_kinds: (ValidationSupport::json_value data, String path) -> Integer
+
+      # @rbs (ValidationSupport::json_value data, String path, Integer limit) -> void
+      def validate_range: (ValidationSupport::json_value data, String path, Integer limit) -> void
+
+      # @rbs (ValidationSupport::json_value data, String path, Array[String] names) -> void
+      def validate_named_kinds: (ValidationSupport::json_value data, String path, Array[String] names) -> void
+
+      # @rbs (ValidationSupport::json_value data, String path, Integer kind_count) -> void
+      def validate_named_nonterminals: (ValidationSupport::json_value data, String path, Integer kind_count) -> void
+
+      # @rbs (ValidationSupport::json_value data, String path, Integer kind_count) -> void
+      def validate_cst_slots: (ValidationSupport::json_value data, String path, Integer kind_count) -> void
+
+      # @rbs (ValidationSupport::json_value data, String path,
+      #   Hash[String, ValidationSupport::json_value] production) -> void
+      def validate_fields: (ValidationSupport::json_value data, String path, Hash[String, ValidationSupport::json_value] production) -> void
+
+      # @rbs (ValidationSupport::json_value data, String path, ?sorted: bool) -> Array[Integer]
+      def integer_ids: (ValidationSupport::json_value data, String path, ?sorted: bool) -> Array[Integer]
+    end
+  end
+end

data/sig/ibex/table_artifact/validator/support.rbs

@@ -0,0 +1,46 @@
+# Generated from lib/ibex/table_artifact/validator/support.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    module ValidationSupport
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      DIGEST: Regexp
+
+      private
+
+      # @rbs (json_value value, String path, Array[String] keys) -> Hash[String, json_value]
+      def record: (json_value value, String path, Array[String] keys) -> Hash[String, json_value]
+
+      # @rbs (json_value value, String path) -> Array[json_value]
+      def array: (json_value value, String path) -> Array[json_value]
+
+      # @rbs (json_value value, String path, ?allow_empty: bool) -> String
+      def string: (json_value value, String path, ?allow_empty: bool) -> String
+
+      # @rbs (json_value value, String path, ?minimum: Integer?) -> Integer
+      def integer: (json_value value, String path, ?minimum: Integer?) -> Integer
+
+      # @rbs (json_value value, String path) -> bool
+      def boolean: (json_value value, String path) -> bool
+
+      # @rbs [T] (T value, String path, Array[T] values) -> T
+      def enum: [T] (T value, String path, Array[T] values) -> T
+
+      # @rbs (json_value value, String path) -> String
+      def digest: (json_value value, String path) -> String
+
+      # @rbs (json_value value, String path) -> String?
+      def nullable_string: (json_value value, String path) -> String?
+
+      # @rbs (json_value value, String path, ?minimum: Integer?) -> Integer?
+      def nullable_integer: (json_value value, String path, ?minimum: Integer?) -> Integer?
+
+      # @rbs (Array[json_value] values, String path) -> void
+      def sorted_unique!: (Array[json_value] values, String path) -> void
+
+      # @rbs (String path, String message) -> bot
+      def invalid: (String path, String message) -> bot
+    end
+  end
+end

data/sig/ibex/table_artifact/validator/tables.rbs

@@ -0,0 +1,63 @@
+# Generated from lib/ibex/table_artifact/validator/tables.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    class TableValidator
+      include ValidationSupport
+
+      private def integer_array: (ValidationSupport::json_value value, String path, allow_nil: false, minimum: Integer?) -> Array[Integer]
+                               | (ValidationSupport::json_value value, String path, allow_nil: true, minimum: Integer?) -> Array[Integer?]
+
+      # @rbs (Hash[String, ValidationSupport::json_value] data, state_count: Integer, production_count: Integer,
+      #   terminal_ids: Set[Integer], nonterminal_ids: Set[Integer], representation: String) -> void
+      def initialize: (Hash[String, ValidationSupport::json_value] data, state_count: Integer, production_count: Integer, terminal_ids: Set[Integer], nonterminal_ids: Set[Integer], representation: String) -> void
+
+      # @rbs () -> void
+      def validate!: () -> void
+
+      private
+
+      # @rbs (ValidationSupport::json_value table) -> void
+      def validate_actions: (ValidationSupport::json_value table) -> void
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table) -> void
+      def validate_sparse_actions: (Hash[String, ValidationSupport::json_value] table) -> void
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table) -> void
+      def validate_compact_actions: (Hash[String, ValidationSupport::json_value] table) -> void
+
+      # @rbs (ValidationSupport::json_value table) -> void
+      def validate_gotos: (ValidationSupport::json_value table) -> void
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table) -> void
+      def validate_sparse_gotos: (Hash[String, ValidationSupport::json_value] table) -> void
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table) -> void
+      def validate_compact_gotos: (Hash[String, ValidationSupport::json_value] table) -> void
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table, String path) -> void
+      def validate_row_count: (Hash[String, ValidationSupport::json_value] table, String path) -> void
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table, value_key: String, path: String)
+      #   { (Integer, ValidationSupport::json_value, String) -> void } -> Array[Hash[Integer, ValidationSupport::json_value]]
+      def validate_displacement: (Hash[String, ValidationSupport::json_value] table, value_key: String, path: String) { (Integer, ValidationSupport::json_value, String) -> void } -> Array[Hash[Integer, ValidationSupport::json_value]]
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table,
+      #   Array[Hash[Integer, ValidationSupport::json_value]] rows, value_key: String,
+      #   width_key: String, width: Integer?, dense: bool, path: String) -> void
+      def validate_canonical_displacement: (Hash[String, ValidationSupport::json_value] table, Array[Hash[Integer, ValidationSupport::json_value]] rows, value_key: String, width_key: String, width: Integer?, dense: bool, path: String) -> void
+
+      # @rbs (ValidationSupport::json_value defaults) -> void
+      def validate_defaults: (ValidationSupport::json_value defaults) -> void
+
+      # @rbs (ValidationSupport::json_value code, Integer token_id, String path) -> void
+      def validate_token_action: (ValidationSupport::json_value code, Integer token_id, String path) -> void
+
+      # @rbs (ValidationSupport::json_value code, String path) -> void
+      def validate_action_code: (ValidationSupport::json_value code, String path) -> void
+
+      # @rbs (ValidationSupport::json_value state, String path) -> void
+      def validate_state: (ValidationSupport::json_value state, String path) -> void
+    end
+  end
+end

data/sig/ibex/table_artifact/validator.rbs

@@ -0,0 +1,66 @@
+# Generated from lib/ibex/table_artifact/validator.rb with RBS::Inline
+
+module Ibex
+  module TableArtifact
+    # Closed structural and referential validation for untrusted sidecars.
+    class Validator
+      include ValidationSupport
+
+      ROOT_KEYS: Array[String]
+
+      PAYLOAD_KEYS: Array[String]
+
+      # @rbs (Hash[String, ValidationSupport::json_value] data) -> true
+      def self.validate!: (Hash[String, ValidationSupport::json_value] data) -> true
+
+      # @rbs (Hash[String, ValidationSupport::json_value] data) -> void
+      def initialize: (Hash[String, ValidationSupport::json_value] data) -> void
+
+      # rubocop:disable Naming/PredicateMethod -- bang denotes fail-fast validation.
+      # @rbs () -> true
+      def validate!: () -> true
+
+      private
+
+      # @rbs () -> void
+      def validate_root_identity: () -> void
+
+      # @rbs (ValidationSupport::json_value data) -> String
+      def validate_table_format: (ValidationSupport::json_value data) -> String
+
+      # @rbs (ValidationSupport::json_value data) -> void
+      def validate_source: (ValidationSupport::json_value data) -> void
+
+      # @rbs (ValidationSupport::json_value data) -> Array[Hash[String, ValidationSupport::json_value]]
+      def validate_symbols: (ValidationSupport::json_value data) -> Array[Hash[String, ValidationSupport::json_value]]
+
+      # @rbs (ValidationSupport::json_value data, Array[Hash[String, ValidationSupport::json_value]] symbols) -> void
+      def validate_tokens: (ValidationSupport::json_value data, Array[Hash[String, ValidationSupport::json_value]] symbols) -> void
+
+      # @rbs (ValidationSupport::json_value data,
+      #   Array[Hash[String, ValidationSupport::json_value]] symbols, Integer state_count) -> void
+      def validate_entries: (ValidationSupport::json_value data, Array[Hash[String, ValidationSupport::json_value]] symbols, Integer state_count) -> void
+
+      # @rbs (ValidationSupport::json_value data,
+      #   Array[Hash[String, ValidationSupport::json_value]] symbols) -> Array[Hash[String, ValidationSupport::json_value]]
+      def validate_productions: (ValidationSupport::json_value data, Array[Hash[String, ValidationSupport::json_value]] symbols) -> Array[Hash[String, ValidationSupport::json_value]]
+
+      # @rbs (ValidationSupport::json_value data, Hash[String, ValidationSupport::json_value] payload) -> void
+      def validate_cost: (ValidationSupport::json_value data, Hash[String, ValidationSupport::json_value] payload) -> void
+
+      # @rbs (Hash[String, ValidationSupport::json_value] payload) -> [String, String]
+      def expected_costs: (Hash[String, ValidationSupport::json_value] payload) -> [ String, String ]
+
+      # @rbs (Hash[String, ValidationSupport::json_value] table, String values_key) -> Integer
+      def occupied: (Hash[String, ValidationSupport::json_value] table, String values_key) -> Integer
+
+      # @rbs (Array[Hash[String, ValidationSupport::json_value]] symbols, String kind) -> Set[Integer]
+      def symbol_ids: (Array[Hash[String, ValidationSupport::json_value]] symbols, String kind) -> Set[Integer]
+
+      # @rbs (Hash[String, ValidationSupport::json_value] identity,
+      #   Hash[String, ValidationSupport::json_value] payload, String identity_name,
+      #   String payload_name) -> void
+      def validate_named_digest: (Hash[String, ValidationSupport::json_value] identity, Hash[String, ValidationSupport::json_value] payload, String identity_name, String payload_name) -> void
+    end
+  end
+end

data/sig/ibex/table_artifact.rbs

@@ -0,0 +1,32 @@
+# Generated from lib/ibex/table_artifact.rb with RBS::Inline
+
+module Ibex
+  # Experimental data-only authority for executable parser tables.
+  module TableArtifact
+    interface _Reader
+      def read: (Integer length) -> String?
+    end
+
+    ARTIFACT_TYPE: String
+
+    SCHEMA_VERSION: Integer
+
+    DEFAULT_MAX_BYTES: Integer
+
+    class ValidationError < Ibex::Error
+    end
+
+    # @rbs (IR::Automaton automaton, ?representation: Symbol | String, ?cst_trivia: Symbol | String?,
+    #   ?omit_action_call: bool?) -> Document
+    def self.build: (IR::Automaton automaton, ?representation: Symbol | String, ?cst_trivia: Symbol | String?, ?omit_action_call: bool?) -> Document
+
+    # @rbs (String | _Reader source, ?max_bytes: Integer) -> Document
+    def self.load: (String | _Reader source, ?max_bytes: Integer) -> Document
+
+    # @rbs (untyped source, Integer max_bytes) -> String
+    private def self.read_bounded: (untyped source, Integer max_bytes) -> String
+
+    # @rbs (_Reader source, Integer max_bytes) -> String
+    private def self.read_from: (_Reader source, Integer max_bytes) -> String
+  end
+end

data/sig/ibex/table_simulation/result.rbs

@@ -0,0 +1,36 @@
+# Generated from lib/ibex/table_simulation/result.rb with RBS::Inline
+
+module Ibex
+  module TableSimulation
+    # Final immutable simulation document.
+    class Result
+      type step_document = Hash[String, Step::document_value]
+
+      type document_value = String | Integer | Array[String] | Array[step_document]
+
+      IDENTIFIER: String
+
+      SCHEMA_VERSION: Integer
+
+      attr_reader grammar_digest: String
+
+      attr_reader algorithm: String
+
+      attr_reader tokens: Array[String]
+
+      attr_reader status: Symbol
+
+      attr_reader steps: Array[Step]
+
+      # @rbs (grammar_digest: String, algorithm: String, tokens: Array[String], status: Symbol,
+      #   steps: Array[Step]) -> void
+      def initialize: (grammar_digest: String, algorithm: String, tokens: Array[String], status: Symbol, steps: Array[Step]) -> void
+
+      # @rbs () -> Hash[String, document_value]
+      def to_h: () -> Hash[String, document_value]
+
+      # @rbs (*Object?) -> String
+      def to_json: (*Object?) -> String
+    end
+  end
+end