ibex 0.1.0 → 0.3.0

data/sig/ibex/configuration.rbs

@@ -0,0 +1,242 @@
+# Generated from lib/ibex/configuration.rb with RBS::Inline
+
+module Ibex
+  # Typed, provenance-preserving effective configuration.
+  module Configuration
+    type config_value = Symbol | String | Integer | bool | nil
+
+    type json_value = String | Integer | bool | nil | Array[json_value] | Hash[String, json_value]
+
+    OWNER_NAMES: Hash[Symbol, String]
+
+    POLICIES: Array[Symbol]
+
+    ORIGIN_KINDS: Array[Symbol]
+
+    BOOLEAN_VALUES: Array[bool]
+
+    DECLARED_VALUE_UNSET: Object
+
+    OWNER_POLICIES: Hash[Symbol, Symbol]
+
+    # One closed definition of a configuration concept and its value domain.
+    class Key
+      attr_reader name: String
+
+      attr_reader type: Symbol
+
+      attr_reader default: config_value
+
+      attr_reader owner: Symbol
+
+      attr_reader policy: Symbol
+
+      attr_reader allowed_values: Array[config_value]?
+
+      attr_reader cli_option: Symbol?
+
+      # @rbs (String name, type: Symbol, default: config_value, owner: Symbol, policy: Symbol,
+      #   ?allowed_values: Array[config_value]?, ?cli_option: Symbol?) -> void
+      def initialize: (String name, type: Symbol, default: config_value, owner: Symbol, policy: Symbol, ?allowed_values: Array[config_value]?, ?cli_option: Symbol?) -> void
+
+      # Validate and defensively freeze a value from an adapter or declaration.
+      # @rbs (config_value value) -> config_value
+      def validate: (config_value value) -> config_value
+
+      # @rbs () -> String
+      def owner_name: () -> String
+
+      private
+
+      # @rbs (String name, Symbol owner, Symbol policy) -> void
+      def validate_identity!: (String name, Symbol owner, Symbol policy) -> void
+
+      # @rbs (Symbol type, Symbol policy, Symbol? cli_option) -> void
+      def validate_shape!: (Symbol type, Symbol policy, Symbol? cli_option) -> void
+
+      # @rbs (config_value value) -> config_value
+      def immutable: (config_value value) -> config_value
+
+      # @rbs (config_value value) -> bool
+      def valid_type?: (config_value value) -> bool
+    end
+
+    # Where a selected configuration value came from.
+    class Origin
+      attr_reader kind: Symbol
+
+      attr_reader location: Location?
+
+      # @rbs (Symbol kind, ?location: Location?) -> void
+      def initialize: (Symbol kind, ?location: Location?) -> void
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+
+      # @rbs () -> String
+      def label: () -> String
+
+      private
+
+      # @rbs (Location location) -> Hash[String, json_value]
+      def stringify_location: (Location location) -> Hash[String, json_value]
+    end
+
+    # A typed effective value plus the evidence needed to explain it.
+    class Value
+      attr_reader key: Key
+
+      attr_reader value: config_value
+
+      attr_reader origin: Origin
+
+      attr_reader explicit: bool
+
+      attr_reader canonical: bool
+
+      attr_reader declared_value: config_value
+
+      # @rbs (Key key, config_value value, origin: Origin, explicit: bool, canonical: bool,
+      #   ?declared_value: config_value | Object) -> void
+      def initialize: (Key key, config_value value, origin: Origin, explicit: bool, canonical: bool, ?declared_value: config_value | Object) -> void
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+
+      private
+
+      # @rbs (Key key, Origin origin, bool explicit, bool canonical, config_value | Object declared_value) -> void
+      def validate_provenance!: (Key key, Origin origin, bool explicit, bool canonical, config_value | Object declared_value) -> void
+
+      # @rbs (Key key, Origin origin, bool canonical) -> void
+      def validate_canonical_origin!: (Key key, Origin origin, bool canonical) -> void
+
+      # @rbs (Key key, Origin origin) -> void
+      def validate_owner_source!: (Key key, Origin origin) -> void
+
+      # @rbs (Origin origin, bool explicit) -> void
+      def validate_explicitness!: (Origin origin, bool explicit) -> void
+
+      # @rbs (bool canonical, config_value | Object declared_value) -> void
+      def validate_declared_evidence!: (bool canonical, config_value | Object declared_value) -> void
+
+      # @rbs (config_value value) -> (String | Integer | bool | nil)
+      def json_value: (config_value value) -> (String | Integer | bool | nil)
+    end
+
+    # A fixed/minimum request that contradicts the declared contract.
+    class Conflict < Ibex::Error
+      attr_reader key: Key
+
+      attr_reader declared: Value
+
+      attr_reader requested: Value
+
+      # @rbs (Key key, Value declared, Value requested) -> void
+      def initialize: (Key key, Value declared, Value requested) -> void
+    end
+
+    # Closed definitions shared by generation, grammar tests, and analyses.
+    module Registry
+      DEFINITIONS: Array[Key]
+
+      BY_NAME: Hash[String, Key]
+
+      # @rbs (String name) -> Key
+      def self.fetch: (String name) -> Key
+
+      # @rbs () -> Array[Key]
+      def self.keys: () -> Array[Key]
+    end
+
+    # Applies fixed/minimum override algebra and exposes deterministic evidence.
+    class Resolver
+      attr_reader values: Array[Value]
+
+      # @rbs (?keys: Array[Key], ?grammar: Hash[String, config_value], ?project: Hash[String, config_value],
+      #   ?cli: Hash[String, config_value], ?analysis_overrides: Hash[String, config_value],
+      #   ?locations: Hash[Symbol, Hash[String, Location]]) -> void
+      def initialize: (?keys: Array[Key], ?grammar: Hash[String, config_value], ?project: Hash[String, config_value], ?cli: Hash[String, config_value], ?analysis_overrides: Hash[String, config_value], ?locations: Hash[Symbol, Hash[String, Location]]) -> void
+
+      # @rbs (String name) -> Value
+      def fetch: (String name) -> Value
+
+      # @rbs (String name) -> config_value
+      def value: (String name) -> config_value
+
+      # @rbs () -> Hash[String, Array[Hash[String, json_value]]]
+      def to_h: () -> Hash[String, Array[Hash[String, json_value]]]
+
+      # Deterministic JSON independent of caller hash insertion order.
+      # @rbs () -> String
+      def dump: () -> String
+
+      private
+
+      # @rbs (Symbol kind, Hash[String, config_value] entries) -> void
+      def validate_source!: (Symbol kind, Hash[String, config_value] entries) -> void
+
+      # @rbs (Hash[Symbol, Hash[String, Location]] locations,
+      #   Hash[Symbol, Hash[String, config_value]] sources) -> void
+      def validate_locations!: (Hash[Symbol, Hash[String, Location]] locations, Hash[Symbol, Hash[String, config_value]] sources) -> void
+
+      # @rbs (Key key, Hash[Symbol, Hash[String, config_value]] sources,
+      #   Hash[Symbol, Hash[String, Location]] locations) -> Value
+      def resolve_key: (Key key, Hash[Symbol, Hash[String, config_value]] sources, Hash[Symbol, Hash[String, Location]] locations) -> Value
+
+      # @rbs (Key key, Value builtin, Hash[Symbol, Hash[String, config_value]] sources,
+      #   Hash[Symbol, Hash[String, Location]] locations) -> Value
+      def resolve_fixed: (Key key, Value builtin, Hash[Symbol, Hash[String, config_value]] sources, Hash[Symbol, Hash[String, Location]] locations) -> Value
+
+      # @rbs (Key key, Value? grammar, Value declared, Array[Value] requested) -> void
+      def reject_fixed_conflicts!: (Key key, Value? grammar, Value declared, Array[Value] requested) -> void
+
+      # @rbs (Key key, Value builtin, Hash[Symbol, Hash[String, config_value]] sources,
+      #   Hash[Symbol, Hash[String, Location]] locations) -> Value
+      def resolve_minimum: (Key key, Value builtin, Hash[Symbol, Hash[String, config_value]] sources, Hash[Symbol, Hash[String, Location]] locations) -> Value
+
+      # @rbs (Key key, Value builtin, Hash[Symbol, Hash[String, config_value]] sources,
+      #   Hash[Symbol, Hash[String, Location]] locations) -> Value
+      def resolve_override: (Key key, Value builtin, Hash[Symbol, Hash[String, config_value]] sources, Hash[Symbol, Hash[String, Location]] locations) -> Value
+
+      # @rbs (Key key, Symbol kind, Hash[Symbol, Hash[String, config_value]] sources,
+      #   Hash[Symbol, Hash[String, Location]] locations) -> Value?
+      def source_value: (Key key, Symbol kind, Hash[Symbol, Hash[String, config_value]] sources, Hash[Symbol, Hash[String, Location]] locations) -> Value?
+
+      # @rbs (Key key, config_value raw, Symbol kind, Hash[Symbol, Hash[String, Location]] locations,
+      #   explicit: bool) -> Value
+      def value_from: (Key key, config_value raw, Symbol kind, Hash[Symbol, Hash[String, Location]] locations, explicit: bool) -> Value
+
+      # @rbs (Symbol kind, String name, Hash[Symbol, Hash[String, Location]] locations) -> Origin
+      def origin: (Symbol kind, String name, Hash[Symbol, Hash[String, Location]] locations) -> Origin
+    end
+
+    # Converts the existing internal CLI option hash into canonical concepts.
+    class CLIAdapter
+      # The adapter receives the legacy CLI option map, which also contains
+      # operation flags and list values outside the closed configuration domain.
+      # It validates and converts only declared configuration options.
+      # @rbs (Hash[Symbol, untyped] options, ?explicit_keys: Array[Symbol]) -> void
+      def initialize: (Hash[Symbol, untyped] options, ?explicit_keys: Array[Symbol]) -> void
+
+      # @rbs (?grammar: Hash[String, config_value], ?locations: Hash[String, Location]) -> Resolver
+      def resolve: (?grammar: Hash[String, config_value], ?locations: Hash[String, Location]) -> Resolver
+
+      # Canonical configuration values selected by explicit legacy CLI options.
+      # Raw option spellings stop at this adapter boundary.
+      # @rbs () -> Hash[String, config_value]
+      def configuration_values: () -> Hash[String, config_value]
+
+      private
+
+      # @rbs (Symbol name, untyped value) -> config_value
+      def convert: (Symbol name, untyped value) -> config_value
+
+      # @rbs (untyped value) -> config_value
+      def convert_entry_isolation: (untyped value) -> config_value
+
+      # @rbs () -> Symbol
+      def convert_line_mapping: () -> Symbol
+    end
+  end
+end

data/sig/ibex/coverage/collector.rbs

@@ -0,0 +1,78 @@
+# 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
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      @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, json_value] document, source: String, line: Integer) -> void
+      def consume: (Hash[String, json_value] document, source: String, line: Integer) -> void
+
+      # @rbs (source: String) -> Report
+      def finish: (source: String) -> Report
+
+      private
+
+      # @rbs (Hash[String, json_value] data, json_value sequence, String source, Integer line) -> void
+      def start_session: (Hash[String, json_value] data, json_value sequence, String source, Integer line) -> void
+
+      # @rbs (String event, Hash[String, json_value] data, json_value sequence, String source, Integer line) -> void
+      def consume_session_event: (String event, Hash[String, json_value] data, json_value sequence, String source, Integer line) -> void
+
+      # @rbs (Hash[String, json_value] data, String source, Integer line)
+      #   -> [[String, Integer, Integer, Integer], Integer]
+      def session_metadata: (Hash[String, json_value] 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 (json_value id, String source, Integer line) -> void
+      def hit_state: (json_value id, String source, Integer line) -> void
+
+      # @rbs (json_value id, String source, Integer line) -> void
+      def hit_production: (json_value id, String source, Integer line) -> void
+
+      # @rbs (json_value id, Integer total) -> bool
+      def valid_id?: (json_value 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,44 @@
+# 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
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      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, json_value], Integer) -> void } -> void
+      def self.each_file: (String path) { (Hash[String, json_value], Integer) -> void } -> void
+
+      # @rbs (_CoverageEventInput input, source: String)
+      #   { (Hash[String, json_value], Integer) -> void } -> void
+      def self.each_io: (_CoverageEventInput input, source: String) { (Hash[String, json_value], 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, json_value]
+      private def self.parse_line: (String line, String source, Integer line_number) -> Hash[String, json_value]
+
+      # @rbs (Hash[String, json_value] document, String source, Integer line_number) -> void
+      private def self.validate_envelope: (Hash[String, json_value] document, String source, Integer line_number) -> void
+
+      # @rbs (json_value value) -> bool
+      private def self.positive_integer?: (json_value 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

data/sig/ibex/coverage/report.rbs

@@ -0,0 +1,102 @@
+# Generated from lib/ibex/coverage/report.rb with RBS::Inline
+
+module Ibex
+  module Coverage
+    # Versioned, mergeable runtime coverage result.
+    class Report
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      IDENTIFIER: String
+
+      SCHEMA_VERSION: Integer
+
+      MAX_DOCUMENT_BYTES: Integer
+
+      MAX_TOTAL: Integer
+
+      MAX_COUNT: Integer
+
+      ROOT_KEYS: Array[String]
+
+      TOTAL_KEYS: Array[String]
+
+      HIT_KEYS: Array[String]
+
+      attr_reader grammar_digest: String
+
+      attr_reader table_format_version: Integer
+
+      attr_reader state_count: Integer
+
+      attr_reader production_count: Integer
+
+      attr_reader sessions: Integer
+
+      attr_reader event_count: Integer
+
+      attr_reader state_hits: Hash[Integer, Integer]
+
+      attr_reader production_hits: Hash[Integer, Integer]
+
+      # rubocop:disable Layout/LineLength
+      # @rbs (grammar_digest: String, table_format_version: Integer, state_count: Integer, production_count: Integer, sessions: Integer, event_count: Integer, state_hits: Hash[Integer, Integer], production_hits: Hash[Integer, Integer]) -> void
+      def initialize: (grammar_digest: String, table_format_version: Integer, state_count: Integer, production_count: Integer, sessions: Integer, event_count: Integer, state_hits: Hash[Integer, Integer], production_hits: Hash[Integer, Integer]) -> void
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+
+      # @rbs (*Object) -> String
+      def to_json: (*Object) -> String
+
+      # @rbs (String path) -> Report
+      def self.load_file: (String path) -> Report
+
+      # @rbs (json_value value, source: String) -> Report
+      def self.from_h: (json_value value, source: String) -> Report
+
+      # @rbs (Array[Report] reports) -> Report
+      def self.merge: (Array[Report] reports) -> Report
+
+      private
+
+      # @rbs (json_value input) -> String
+      def validate_digest: (json_value input) -> String
+
+      # @rbs (json_value input, String name) -> Integer
+      def positive_integer: (json_value input, String name) -> Integer
+
+      # @rbs (json_value input, String name, minimum: Integer) -> Integer
+      def total_integer: (json_value input, String name, minimum: Integer) -> Integer
+
+      # @rbs (Hash[Integer, Integer] input, Integer total, String kind) -> Hash[Integer, Integer]
+      def validate_hits: (Hash[Integer, Integer] input, Integer total, String kind) -> Hash[Integer, Integer]
+
+      # @rbs (Hash[Integer, Integer] hits) -> Array[Hash[String, Integer]]
+      def hit_documents: (Hash[Integer, Integer] hits) -> Array[Hash[String, Integer]]
+
+      # @rbs () -> void
+      def validate_event_bounds: () -> void
+
+      # @rbs (json_value value, String source, String name) -> Hash[String, json_value]
+      private def self.string_hash: (json_value value, String source, String name) -> Hash[String, json_value]
+
+      # @rbs (json_value value, json_value total, String source, String kind) -> Hash[Integer, Integer]
+      private def self.parse_hits: (json_value value, json_value total, String source, String kind) -> Hash[Integer, Integer]
+
+      # @rbs (json_value entry, json_value total, Integer previous, String source, String kind) -> [Integer, Integer]
+      private def self.parse_hit: (json_value entry, json_value total, Integer previous, String source, String kind) -> [ Integer, Integer ]
+
+      # @rbs (Report expected, Report actual) -> void
+      private def self.ensure_compatible: (Report expected, Report actual) -> void
+
+      # @rbs (Array[Integer] values, String name) -> Integer
+      private def self.checked_sum: (Array[Integer] values, String name) -> Integer
+
+      # @rbs (Array[Hash[Integer, Integer]] collections, String kind) -> Hash[Integer, Integer]
+      private def self.merge_hits: (Array[Hash[Integer, Integer]] collections, String kind) -> Hash[Integer, Integer]
+
+      # @rbs (String source, String message) -> bot
+      private def self.invalid: (String source, String message) -> bot
+    end
+  end
+end

data/sig/ibex/coverage/runtime_event_validator.rbs

@@ -0,0 +1,70 @@
+# Generated from lib/ibex/coverage/runtime_event_validator.rb with RBS::Inline
+
+module Ibex
+  module Coverage
+    # Dependency-free structural validation for runtime-event schema version 1.
+    module RuntimeEventValidator
+      type json_value = String | Integer | Float | bool | nil | Array[json_value] | Hash[String, json_value]
+
+      TOKEN_KEYS: Array[String]
+
+      LOCATION_KEYS: Array[String]
+
+      VALIDATORS: Hash[String, Symbol]
+
+      # @rbs (Hash[String, json_value] document) -> bool
+      def self.valid?: (Hash[String, json_value] document) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_start?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_shift?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_reduce?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data, reasons: Array[String]) -> bool
+      private def self.valid_token_event?: (Hash[String, json_value] data, reasons: Array[String]) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_error?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_discard?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_reject?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_recover?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_accept?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_token_fields?: (Hash[String, json_value] data) -> bool
+
+      # @rbs (json_value value) -> bool
+      private def self.summary?: (json_value value) -> bool
+
+      # @rbs (json_value value) -> bool
+      private def self.composite_summary?: (json_value value) -> bool
+
+      # @rbs (json_value value) -> bool
+      private def self.location?: (json_value value) -> bool
+
+      # @rbs (Hash[String, json_value] data, Array[String] keys) -> bool
+      private def self.exact_keys?: (Hash[String, json_value] data, Array[String] keys) -> bool
+
+      # @rbs (json_value value) -> bool
+      private def self.integer?: (json_value value) -> bool
+
+      # @rbs (json_value value) -> bool
+      private def self.optional_integer?: (json_value value) -> bool
+
+      # @rbs (json_value value) -> bool
+      private def self.optional_string?: (json_value value) -> bool
+    end
+  end
+end

data/sig/ibex/coverage.rbs

@@ -0,0 +1,7 @@
+# Generated from lib/ibex/coverage.rb with RBS::Inline
+
+module Ibex
+  # Deterministic state and production coverage derived from runtime event streams.
+  module Coverage
+  end
+end

data/sig/ibex/delta_reducer.rbs

@@ -0,0 +1,38 @@
+# Generated from lib/ibex/delta_reducer.rb with RBS::Inline
+
+module Ibex
+  # Deterministic, trial-bounded delta debugging over an ordered sequence.
+  class DeltaReducer
+    # Immutable outcome of a bounded reduction.
+    class Result
+      attr_reader items: Array[untyped]
+
+      attr_reader trials: Integer
+
+      attr_reader complete: bool
+
+      attr_reader original_size: Integer
+
+      # @rbs (items: Array[untyped], trials: Integer, complete: bool, original_size: Integer) -> void
+      def initialize: (items: Array[untyped], trials: Integer, complete: bool, original_size: Integer) -> void
+    end
+
+    # @rbs (?max_trials: Integer) -> void
+    def initialize: (?max_trials: Integer) -> void
+
+    # `failure` must return true while the failure of interest is preserved.
+    # @rbs [T] (Array[T] items) { (Array[T]) -> bool } -> Result
+    def minimize: [T] (Array[T] items) { (Array[T]) -> bool } -> Result
+
+    private
+
+    # @rbs (Integer length, Integer count) -> Array[Range[Integer]]
+    def partitions: (Integer length, Integer count) -> Array[Range[Integer]]
+
+    # @rbs (Integer trials) -> Integer
+    def checked_trial!: (Integer trials) -> Integer
+
+    # @rbs (Array[untyped] items, Integer trials, bool complete, Integer original_size) -> Result
+    def result: (Array[untyped] items, Integer trials, bool complete, Integer original_size) -> Result
+  end
+end

data/sig/ibex/diff.rbs

@@ -0,0 +1,47 @@
+# Generated from lib/ibex/diff.rb with RBS::Inline
+
+module Ibex
+  # Deterministic grammar and automaton change classification.
+  class Diff
+    # @rbs (IR::Automaton before, IR::Automaton after) -> void
+    def initialize: (IR::Automaton before, IR::Automaton after) -> void
+
+    # @rbs () -> Hash[Symbol, Object?]
+    def to_h: () -> Hash[Symbol, Object?]
+
+    private
+
+    # @rbs (Hash[String, Object?] before, Hash[String, Object?] after) -> Hash[Symbol, Object?]
+    def classify: (Hash[String, Object?] before, Hash[String, Object?] after) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Grammar grammar) -> Hash[String, Object?]
+    def symbol_records: (IR::Grammar grammar) -> Hash[String, Object?]
+
+    # @rbs (IR::Grammar grammar) -> Hash[String, Object?]
+    def rule_records: (IR::Grammar grammar) -> Hash[String, Object?]
+
+    # @rbs (IR::Grammar grammar, IR::Production production) -> Hash[Symbol, Object?]
+    def production_record: (IR::Grammar grammar, IR::Production production) -> Hash[Symbol, Object?]
+
+    # @rbs (IR::Automaton automaton) -> Hash[String, Object?]
+    def conflict_records: (IR::Automaton automaton) -> Hash[String, Object?]
+
+    # @rbs (IR::Grammar grammar, IR::conflict conflict) -> String
+    def conflict_identity: (IR::Grammar grammar, IR::conflict conflict) -> String
+
+    # @rbs (IR::Grammar grammar, Integer id) -> String
+    def production_shape: (IR::Grammar grammar, Integer id) -> String
+
+    # @rbs (IR::Grammar grammar, Integer id) -> String
+    def symbol_name: (IR::Grammar grammar, Integer id) -> String
+
+    # @rbs (IR::Grammar grammar) -> Hash[String, Object?]
+    def warning_records: (IR::Grammar grammar) -> Hash[String, Object?]
+
+    # @rbs () -> Hash[Symbol, Hash[Symbol, Integer]]
+    def numeric_metrics: () -> Hash[Symbol, Hash[Symbol, Integer]]
+
+    # @rbs (Integer before, Integer after) -> Hash[Symbol, Integer]
+    def change: (Integer before, Integer after) -> Hash[Symbol, Integer]
+  end
+end

data/sig/ibex/equiv/machine.rbs

@@ -0,0 +1,54 @@
+# Generated from lib/ibex/equiv/machine.rb with RBS::Inline
+
+module Ibex
+  class Equiv
+    # Immutable, semantic-action-free LR state-stack machine.
+    class Machine
+      class BudgetExceeded < Ibex::Error
+      end
+
+      # One product-search component.
+      class Configuration
+        attr_reader stack: Array[Integer]
+
+        attr_reader status: Symbol?
+
+        attr_reader actions: Integer
+
+        attr_reader reductions: Array[Integer]
+
+        # @rbs (stack: Array[Integer], status: Symbol?, actions: Integer, ?reductions: Array[Integer]) -> void
+        def initialize: (stack: Array[Integer], status: Symbol?, actions: Integer, ?reductions: Array[Integer]) -> void
+      end
+
+      # @rbs (IR::Automaton automaton, max_actions: Integer, max_stack: Integer) -> void
+      def initialize: (IR::Automaton automaton, max_actions: Integer, max_stack: Integer) -> void
+
+      # @rbs () -> Configuration
+      def start: () -> Configuration
+
+      # @rbs (Array[String] tokens) -> Configuration
+      def run: (Array[String] tokens) -> Configuration
+
+      # @rbs (Configuration configuration, String token) -> Configuration
+      def push: (Configuration configuration, String token) -> Configuration
+
+      # @rbs (Configuration configuration) -> Configuration
+      def finish: (Configuration configuration) -> Configuration
+
+      private
+
+      # @rbs (Configuration configuration, Integer token_id, eof: bool) -> Configuration
+      def consume: (Configuration configuration, Integer token_id, eof: bool) -> Configuration
+
+      # @rbs (Array[Integer] stack, Integer production_id) -> void
+      def apply_reduction!: (Array[Integer] stack, Integer production_id) -> void
+
+      # @rbs (Integer actions) -> void
+      def enforce_action_budget!: (Integer actions) -> void
+
+      # @rbs (Array[Integer] stack) -> void
+      def enforce_stack_budget!: (Array[Integer] stack) -> void
+    end
+  end
+end