ibex 0.2.0 → 0.4.0

data/sig/ibex/configuration/explanation.rbs

@@ -0,0 +1,195 @@
+# Generated from lib/ibex/configuration/explanation.rb with RBS::Inline
+
+module Ibex
+  module Configuration
+    # One observed configuration source and how it participated in selection.
+    class Evidence
+      STATUSES: Array[Symbol]
+
+      SOURCES: Array[Symbol]
+
+      attr_reader key: Key
+
+      attr_reader source: Symbol
+
+      attr_reader value: config_value
+
+      attr_reader status: Symbol
+
+      attr_reader location: Location?
+
+      attr_reader reason: String
+
+      # @rbs (Key key, source: Symbol, value: config_value, status: Symbol, reason: String,
+      #   ?location: Location?) -> void
+      def initialize: (Key key, source: Symbol, value: config_value, status: Symbol, reason: String, ?location: Location?) -> void
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+
+      private
+
+      # @rbs (config_value value) -> (String | Integer | bool | nil)
+      def json_value: (config_value value) -> (String | Integer | bool | nil)
+    end
+
+    # Whether an input can prove the historical source of a selected setting.
+    class Recording
+      STATES: Array[Symbol]
+
+      attr_reader state: Symbol
+
+      attr_reader reason: String
+
+      # @rbs (Symbol state, String reason) -> void
+      def initialize: (Symbol state, String reason) -> void
+
+      # @rbs () -> Hash[String, String]
+      def to_h: () -> Hash[String, String]
+    end
+
+    # Canonical, static input facts used to build a configuration report.
+    class Input
+      KINDS: Array[Symbol]
+
+      attr_reader kind: Symbol
+
+      attr_reader path: String
+
+      attr_reader files: Array[String]
+
+      attr_reader schema_version: Integer?
+
+      attr_reader grammar_values: Hash[String, config_value]
+
+      attr_reader grammar_locations: Hash[String, Location]
+
+      attr_reader evidence: Hash[String, Array[Evidence]]
+
+      attr_reader recordings: Hash[String, Recording]
+
+      # @rbs (kind: Symbol, path: String, ?files: Array[String], ?schema_version: Integer?,
+      #   ?grammar_values: Hash[String, config_value], ?grammar_locations: Hash[String, Location],
+      #   ?evidence: Hash[String, Array[Evidence]], ?recordings: Hash[String, Recording]) -> void
+      def initialize: (kind: Symbol, path: String, ?files: Array[String], ?schema_version: Integer?, ?grammar_values: Hash[String, config_value], ?grammar_locations: Hash[String, Location], ?evidence: Hash[String, Array[Evidence]], ?recordings: Hash[String, Recording]) -> void
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+
+      private
+
+      # @rbs (Symbol kind, String path, Array[String] files, Integer? schema_version,
+      #   Hash[String, config_value] grammar_values, Hash[String, Location] grammar_locations,
+      #   Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings) -> void
+      def assign_input: (Symbol kind, String path, Array[String] files, Integer? schema_version, Hash[String, config_value] grammar_values, Hash[String, Location] grammar_locations, Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings) -> void
+
+      # @rbs (Array[String] files, String path) -> void
+      def validate_files!: (Array[String] files, String path) -> void
+
+      # @rbs (Symbol kind, Integer? schema_version) -> void
+      def validate_schema_version!: (Symbol kind, Integer? schema_version) -> void
+
+      # @rbs (Hash[String, config_value] values, Hash[String, Location] locations,
+      #   Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings) -> void
+      def validate_entries!: (Hash[String, config_value] values, Hash[String, Location] locations, Hash[String, Array[Evidence]] evidence, Hash[String, Recording] recordings) -> void
+
+      # @rbs (*Hash[Object?, Object?] values) -> void
+      def validate_fact_hashes!: (*Hash[Object?, Object?] values) -> void
+
+      # @rbs (Hash[String, config_value] values, Hash[String, Location] locations) -> void
+      def validate_locations!: (Hash[String, config_value] values, Hash[String, Location] locations) -> void
+
+      # @rbs (Hash[String, Array[Evidence]] evidence) -> void
+      def validate_evidence!: (Hash[String, Array[Evidence]] evidence) -> void
+
+      # @rbs (Hash[String, Recording] recordings) -> void
+      def validate_recordings!: (Hash[String, Recording] recordings) -> void
+
+      # @rbs (Hash[String, config_value] values) -> Hash[String, config_value]
+      def immutable_values: (Hash[String, config_value] values) -> Hash[String, config_value]
+    end
+
+    # A fixed-contract mismatch retained as structured report data.
+    class ConflictRecord
+      attr_reader key: Key
+
+      attr_reader declared: Value
+
+      attr_reader requested: Value
+
+      # @rbs (Conflict conflict) -> void
+      def initialize: (Conflict conflict) -> void
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+
+      # @rbs () -> String
+      def message: () -> String
+
+      private
+
+      # @rbs (Value value) -> Hash[String, json_value]
+      def selection: (Value value) -> Hash[String, json_value]
+    end
+
+    # The effective value and all accepted or rejected evidence for one key.
+    class Explanation
+      attr_reader value: Value
+
+      attr_reader evidence: Array[Evidence]
+
+      attr_reader recording: Recording
+
+      # @rbs (Value value, evidence: Array[Evidence], recording: Recording) -> void
+      def initialize: (Value value, evidence: Array[Evidence], recording: Recording) -> void
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+    end
+
+    # Deterministic, static-no-user-code explanation of every registered setting.
+    class Report
+      attr_reader input: Input
+
+      attr_reader explanations: Array[Explanation]
+
+      attr_reader conflicts: Array[ConflictRecord]
+
+      # @rbs (Input input, ?cli: Hash[String, config_value]) -> void
+      def initialize: (Input input, ?cli: Hash[String, config_value]) -> void
+
+      # @rbs () -> bool
+      def success?: () -> bool
+
+      # @rbs () -> Hash[String, json_value]
+      def to_h: () -> Hash[String, json_value]
+
+      # Deterministic JSON independent of caller hash insertion order.
+      # @rbs () -> String
+      def dump: () -> String
+
+      # @rbs () -> String
+      def render_text: () -> String
+
+      private
+
+      # @rbs (Key key, Hash[String, config_value] cli) -> Value
+      def resolve_key: (Key key, Hash[String, config_value] cli) -> Value
+
+      # @rbs (Value value, Hash[String, config_value] cli, ?conflict: ConflictRecord?) -> Explanation
+      def explanation: (Value value, Hash[String, config_value] cli, ?conflict: ConflictRecord?) -> Explanation
+
+      # @rbs (Key key, config_value raw, conflicting: bool) -> Evidence
+      def cli_evidence: (Key key, config_value raw, conflicting: bool) -> Evidence
+
+      # @rbs (config_value value) -> String
+      def display: (config_value value) -> String
+
+      # @rbs (Location location) -> String
+      def location_label: (Location location) -> String
+
+      # @rbs (Explanation entry) -> Array[String]
+      def render_explanation: (Explanation entry) -> Array[String]
+    end
+  end
+end

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