ibex 0.2.0 → 0.3.0

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

@@ -4,6 +4,10 @@ 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
@@ -22,11 +26,11 @@ module Ibex
       #   steps: Array[Step]) -> void
       def initialize: (grammar_digest: String, algorithm: String, tokens: Array[String], status: Symbol, steps: Array[Step]) -> void
 
-      # @rbs () -> Hash[String, untyped]
-      def to_h: () -> Hash[String, untyped]
+      # @rbs () -> Hash[String, document_value]
+      def to_h: () -> Hash[String, document_value]
 
-      # @rbs (*untyped) -> String
-      def to_json: (*untyped) -> String
+      # @rbs (*Object?) -> String
+      def to_json: (*Object?) -> String
     end
   end
 end

data/sig/ibex/table_simulation/step.rbs

@@ -4,6 +4,8 @@ module Ibex
   module TableSimulation
     # One immutable parser-table action.
     class Step
+      type document_value = String | Integer | nil
+
       attr_reader sequence: Integer
 
       attr_reader state: Integer
@@ -33,8 +35,8 @@ module Ibex
       #   target_state: Integer?, stack_depth_before: Integer, stack_depth_after: Integer) -> void
       def initialize: (sequence: Integer, state: Integer, token_id: Integer, token: String, action: String, action_source: String, production_id: Integer?, lhs: String?, rhs_length: Integer?, target_state: Integer?, stack_depth_before: Integer, stack_depth_after: Integer) -> void
 
-      # @rbs () -> Hash[String, untyped]
-      def to_h: () -> Hash[String, untyped]
+      # @rbs () -> Hash[String, document_value]
+      def to_h: () -> Hash[String, document_value]
     end
   end
 end

data/sig/ibex/tables.rbs

@@ -3,19 +3,20 @@
 module Ibex
   # Parser table construction and row-displacement compression.
   module Tables
-    private def runtime_action: (IR::parser_action action) -> IR::runtime_action
-
-    private def self.runtime_action: (IR::parser_action action) -> IR::runtime_action
+    type action_table = Array[Hash[Integer, IR::runtime_action]] | CompactActions
 
-    class TableSet < Struct[untyped]
-      attr_accessor actions(): untyped
+    type goto_table = Array[Hash[Integer, Integer]] | Compact
 
-      attr_accessor gotos(): untyped
+    private def runtime_action: (IR::parser_action action) -> IR::runtime_action
 
-      attr_accessor default_actions(): untyped
+    private def self.runtime_action: (IR::parser_action action) -> IR::runtime_action
 
-      def self.new: (?actions: untyped, ?gotos: untyped, ?default_actions: untyped) -> instance
-                  | ({ ?actions: untyped, ?gotos: untyped, ?default_actions: untyped }) -> instance
+    class TableSet < Struct[Object?]
+      attr_accessor actions: action_table
+      attr_accessor gotos: goto_table
+      attr_accessor default_actions: Array[IR::runtime_action?]
+      def self.new: (?actions: action_table, ?gotos: goto_table, ?default_actions: Array[IR::runtime_action?]) -> instance
+                  | ({ ?actions: action_table, ?gotos: goto_table, ?default_actions: Array[IR::runtime_action?] }) -> instance
     end
 
     # @rbs (IR::Automaton automaton, ?format: Symbol | String) -> TableSet

data/sig/ibex/verifiable_generation_bundle.rbs

@@ -0,0 +1,24 @@
+# Generated from lib/ibex/verifiable_generation_bundle.rb with RBS::Inline
+
+module Ibex
+  # Explicitly renders and publishes one manifest-bound verification bundle.
+  class VerifiableGenerationBundle
+    # rubocop:disable Metrics/ParameterLists -- persisted artifact paths and verification bounds are explicit inputs.
+    # @rbs (IR::Automaton automaton, wrapper_path: String, wrapper_source: String,
+    #   table_path: String, report_path: String, manifest_path: String,
+    #   source_records: Array[GenerationInput], ?manifest_options: Hash[String, Object?],
+    #   ?wrapper_mode: Integer?, ?representation: Symbol | String, ?cst_trivia: Symbol | String?,
+    #   ?omit_action_call: bool?, ?strict: bool, ?max_states: Integer, ?max_items: Integer) -> void
+    def initialize: (IR::Automaton automaton, wrapper_path: String, wrapper_source: String, table_path: String, report_path: String, manifest_path: String, source_records: Array[GenerationInput], ?manifest_options: Hash[String, Object?], ?wrapper_mode: Integer?, ?representation: Symbol | String, ?cst_trivia: Symbol | String?, ?omit_action_call: bool?, ?strict: bool, ?max_states: Integer, ?max_items: Integer) -> void
+
+    # Render table, wrapper, and report before the non-cyclic manifest marker.
+    # @rbs () -> ArtifactSet
+    def render: () -> ArtifactSet
+
+    # @rbs (?warning: ^(String) -> void, ?stability_check: ^() -> bool) -> ArtifactSet
+    def publish: (?warning: ^(String) -> void, ?stability_check: ^() -> bool) -> ArtifactSet
+
+    # @rbs (String manifest_path) -> Hash[String, VerificationReport::Validator::json_value]
+    def self.validate_file: (String manifest_path) -> Hash[String, VerificationReport::Validator::json_value]
+  end
+end

data/sig/ibex/verification_report/builder.rbs

@@ -0,0 +1,53 @@
+# Generated from lib/ibex/verification_report/builder.rb with RBS::Inline
+
+module Ibex
+  module VerificationReport
+    # Builds deterministic evidence from an Automaton IR verification run.
+    class Builder
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      # @rbs (IR::Automaton automaton, table: TableArtifact::Document,
+      #   source_records: Array[GenerationInput], table_path: String, strict: bool,
+      #   max_states: Integer, max_items: Integer) -> void
+      def initialize: (IR::Automaton automaton, table: TableArtifact::Document, source_records: Array[GenerationInput], table_path: String, strict: bool, max_states: Integer, max_items: Integer) -> void
+
+      # @rbs () -> String
+      def render: () -> String
+
+      private
+
+      # @rbs () -> Hash[Symbol, Integer]
+      def bounds: () -> Hash[Symbol, Integer]
+
+      # @rbs () -> Array[String]
+      def requested_checks: () -> Array[String]
+
+      # @rbs () -> Hash[String, json_value]
+      def verification_outcome: () -> Hash[String, json_value]
+
+      # @rbs () -> Hash[String, json_value]
+      def input_identity: () -> Hash[String, json_value]
+
+      # @rbs () -> Hash[String, json_value]
+      def ir_identity: () -> Hash[String, json_value]
+
+      # @rbs () -> Hash[String, json_value]
+      def table_identity: () -> Hash[String, json_value]
+
+      # @rbs () -> void
+      def validate_table_identity!: () -> void
+
+      # @rbs () -> String
+      def grammar_digest: () -> String
+
+      # @rbs () -> String
+      def automaton_digest: () -> String
+
+      # @rbs (String digest) -> String
+      def prefixed_digest: (String digest) -> String
+
+      # @rbs (Hash[Symbol, String] value) -> Hash[String, String]
+      def stringify_keys: (Hash[Symbol, String] value) -> Hash[String, String]
+    end
+  end
+end