ibex 0.2.0 → 0.3.0

data/sig/ibex/configuration/inspector.rbs

@@ -0,0 +1,53 @@
+# Generated from lib/ibex/configuration/inspector.rb with RBS::Inline
+
+module Ibex
+  module Configuration
+    # Converts parsed source or validated Grammar IR into static configuration facts.
+    # rubocop:disable Metrics/ModuleLength -- source and IR adapters share one closed evidence vocabulary.
+    module Inspector
+      # @rbs (Frontend::Resolution resolution) -> Input
+      def self?.from_source: (Frontend::Resolution resolution) -> Input
+
+      # @rbs (IR::Grammar grammar, path: String) -> Input
+      def self?.from_grammar_ir: (IR::Grammar grammar, path: String) -> Input
+
+      # @rbs (Hash[String, config_value] values, Hash[String, Location] locations,
+      #   Hash[String, Array[Evidence]] evidence, String name, config_value value,
+      #   Frontend::Location | Location location) -> void
+      def self?.add_source_fact: (Hash[String, config_value] values, Hash[String, Location] locations, Hash[String, Array[Evidence]] evidence, String name, config_value value, Frontend::Location | Location location) -> void
+
+      # @rbs (Frontend::AST::Root root, Hash[String, config_value] values, Hash[String, Location] locations,
+      #   Hash[String, Array[Evidence]] evidence) -> void
+      def self?.add_source_options: (Frontend::AST::Root root, Hash[String, config_value] values, Hash[String, Location] locations, Hash[String, Array[Evidence]] evidence) -> void
+
+      # @rbs (Frontend::AST::Root root, Hash[String, config_value] values, Hash[String, Location] locations,
+      #   Hash[String, Array[Evidence]] evidence) -> void
+      def self?.add_source_parser_contract: (Frontend::AST::Root root, Hash[String, config_value] values, Hash[String, Location] locations, Hash[String, Array[Evidence]] evidence) -> void
+
+      # @rbs (String name) -> bool?
+      def self?.option_value: (String name) -> bool?
+
+      # @rbs (Frontend::Location | Location location) -> Location
+      def self?.configuration_location: (Frontend::Location | Location location) -> Location
+
+      # @rbs (Key key, Array[[bool, Location]] occurrences, bool selected_value) -> Array[Evidence]
+      def self?.option_evidence: (Key key, Array[[ bool, Location ]] occurrences, bool selected_value) -> Array[Evidence]
+
+      # @rbs (Hash[String, config_value] values, Hash[String, Array[Evidence]] evidence,
+      #   Hash[String, Recording] recordings, String name, config_value value) -> void
+      def self?.add_ir_fact: (Hash[String, config_value] values, Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings, String name, config_value value) -> void
+
+      # @rbs (IR::Grammar grammar, Hash[String, config_value] values, Hash[String, Location] locations,
+      #   Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings) -> void
+      def self?.add_parser_contract: (IR::Grammar grammar, Hash[String, config_value] values, Hash[String, Location] locations, Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings) -> void
+
+      # @rbs (String name, IR::ParserContract::Entry entry, Hash[String, config_value] values,
+      #   Hash[String, Location] locations, Hash[String, Array[Evidence]] evidence,
+      #   Hash[String, Recording] recordings) -> void
+      def self?.add_contract_entry: (String name, IR::ParserContract::Entry entry, Hash[String, config_value] values, Hash[String, Location] locations, Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings) -> void
+
+      # @rbs (IR::ParserContract contract) -> Hash[String, IR::ParserContract::Entry]
+      def self?.contract_entries: (IR::ParserContract contract) -> Hash[String, IR::ParserContract::Entry]
+    end
+  end
+end

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

@@ -4,6 +4,8 @@ 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
@@ -30,23 +32,23 @@ module Ibex
       # @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 (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[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 (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[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 (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[untyped, untyped] data, String source, Integer line)
+      # @rbs (Hash[String, json_value] 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 ]
+      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
@@ -54,14 +56,14 @@ module Ibex
       # @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 (json_value id, String source, Integer line) -> void
+      def hit_state: (json_value 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 (json_value id, String source, Integer line) -> void
+      def hit_production: (json_value id, String source, Integer line) -> void
 
-      # @rbs (untyped id, Integer total) -> bool
-      def valid_id?: (untyped id, Integer total) -> bool
+      # @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

data/sig/ibex/coverage/event_stream.rbs

@@ -4,6 +4,8 @@ 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
@@ -16,24 +18,24 @@ module Ibex
 
       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 (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, untyped], Integer) -> void } -> void
-      def self.each_io: (_CoverageEventInput input, source: String) { (Hash[String, untyped], Integer) -> void } -> void
+      #   { (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, untyped]
-      private def self.parse_line: (String line, String source, Integer line_number) -> Hash[String, untyped]
+      # @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, untyped] document, String source, Integer line_number) -> void
-      private def self.validate_envelope: (Hash[String, untyped] document, String source, Integer line_number) -> void
+      # @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 (untyped value) -> bool
-      private def self.positive_integer?: (untyped value) -> bool
+      # @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

data/sig/ibex/coverage/report.rbs

@@ -4,6 +4,8 @@ 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
@@ -40,31 +42,31 @@ module Ibex
       # @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, untyped]
-      def to_h: () -> Hash[String, untyped]
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
 
-      # @rbs (*untyped) -> String
-      def to_json: (*untyped) -> String
+      # @rbs (*Object) -> String
+      def to_json: (*Object) -> String
 
       # @rbs (String path) -> Report
       def self.load_file: (String path) -> Report
 
-      # @rbs (untyped value, source: String) -> Report
-      def self.from_h: (untyped value, source: String) -> 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 (untyped input) -> String
-      def validate_digest: (untyped input) -> String
+      # @rbs (json_value input) -> String
+      def validate_digest: (json_value input) -> String
 
-      # @rbs (untyped input, String name) -> Integer
-      def positive_integer: (untyped input, String name) -> Integer
+      # @rbs (json_value input, String name) -> Integer
+      def positive_integer: (json_value input, String name) -> Integer
 
-      # @rbs (untyped input, String name, minimum: Integer) -> Integer
-      def total_integer: (untyped input, String name, minimum: Integer) -> 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]
@@ -75,14 +77,14 @@ module Ibex
       # @rbs () -> void
       def validate_event_bounds: () -> void
 
-      # @rbs (untyped value, String source, String name) -> Hash[String, untyped]
-      private def self.string_hash: (untyped value, String source, String name) -> Hash[String, untyped]
+      # @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 (untyped value, untyped total, String source, String kind) -> Hash[Integer, Integer]
-      private def self.parse_hits: (untyped value, untyped total, String source, String kind) -> Hash[Integer, Integer]
+      # @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 (untyped entry, untyped total, Integer previous, String source, String kind) -> [Integer, Integer]
-      private def self.parse_hit: (untyped entry, untyped total, Integer previous, String source, String kind) -> [ 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

data/sig/ibex/coverage/runtime_event_validator.rbs

@@ -4,65 +4,67 @@ 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, untyped] document) -> bool
-      def self.valid?: (Hash[String, untyped] document) -> bool
+      # @rbs (Hash[String, json_value] document) -> bool
+      def self.valid?: (Hash[String, json_value] document) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_start?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_start?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_shift?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_shift?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_reduce?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_reduce?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data, reasons: Array[String]) -> bool
-      private def self.valid_token_event?: (Hash[String, untyped] data, reasons: Array[String]) -> 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, untyped] data) -> bool
-      private def self.valid_error?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_error?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_discard?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_discard?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_reject?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_reject?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_recover?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_recover?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_accept?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_accept?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (Hash[String, untyped] data) -> bool
-      private def self.valid_token_fields?: (Hash[String, untyped] data) -> bool
+      # @rbs (Hash[String, json_value] data) -> bool
+      private def self.valid_token_fields?: (Hash[String, json_value] data) -> bool
 
-      # @rbs (untyped value) -> bool
-      private def self.summary?: (untyped value) -> bool
+      # @rbs (json_value value) -> bool
+      private def self.summary?: (json_value value) -> bool
 
-      # @rbs (untyped value) -> bool
-      private def self.composite_summary?: (untyped value) -> bool
+      # @rbs (json_value value) -> bool
+      private def self.composite_summary?: (json_value value) -> bool
 
-      # @rbs (untyped value) -> bool
-      private def self.location?: (untyped value) -> bool
+      # @rbs (json_value value) -> bool
+      private def self.location?: (json_value value) -> bool
 
-      # @rbs (Hash[String, untyped] data, Array[String] keys) -> bool
-      private def self.exact_keys?: (Hash[String, untyped] data, Array[String] keys) -> 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 (untyped value) -> bool
-      private def self.integer?: (untyped value) -> bool
+      # @rbs (json_value value) -> bool
+      private def self.integer?: (json_value value) -> bool
 
-      # @rbs (untyped value) -> bool
-      private def self.optional_integer?: (untyped value) -> bool
+      # @rbs (json_value value) -> bool
+      private def self.optional_integer?: (json_value value) -> bool
 
-      # @rbs (untyped value) -> bool
-      private def self.optional_string?: (untyped value) -> bool
+      # @rbs (json_value value) -> bool
+      private def self.optional_string?: (json_value value) -> bool
     end
   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