ibex 0.1.0 → 0.2.0

data/sig/ibex/coverage/report.rbs

@@ -0,0 +1,100 @@
+# Generated from lib/ibex/coverage/report.rb with RBS::Inline
+
+module Ibex
+  module Coverage
+    # Versioned, mergeable runtime coverage result.
+    class Report
+      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, untyped]
+      def to_h: () -> Hash[String, untyped]
+
+      # @rbs (*untyped) -> String
+      def to_json: (*untyped) -> 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 (Array[Report] reports) -> Report
+      def self.merge: (Array[Report] reports) -> Report
+
+      private
+
+      # @rbs (untyped input) -> String
+      def validate_digest: (untyped input) -> String
+
+      # @rbs (untyped input, String name) -> Integer
+      def positive_integer: (untyped input, String name) -> Integer
+
+      # @rbs (untyped input, String name, minimum: Integer) -> Integer
+      def total_integer: (untyped 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 (untyped value, String source, String name) -> Hash[String, untyped]
+      private def self.string_hash: (untyped value, String source, String name) -> Hash[String, untyped]
+
+      # @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 (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 (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,68 @@
+# 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
+      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, untyped] data) -> bool
+      private def self.valid_start?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (Hash[String, untyped] data) -> bool
+      private def self.valid_shift?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (Hash[String, untyped] data) -> bool
+      private def self.valid_reduce?: (Hash[String, untyped] 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, untyped] data) -> bool
+      private def self.valid_error?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (Hash[String, untyped] data) -> bool
+      private def self.valid_discard?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (Hash[String, untyped] data) -> bool
+      private def self.valid_reject?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (Hash[String, untyped] data) -> bool
+      private def self.valid_recover?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (Hash[String, untyped] data) -> bool
+      private def self.valid_accept?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (Hash[String, untyped] data) -> bool
+      private def self.valid_token_fields?: (Hash[String, untyped] data) -> bool
+
+      # @rbs (untyped value) -> bool
+      private def self.summary?: (untyped value) -> bool
+
+      # @rbs (untyped value) -> bool
+      private def self.composite_summary?: (untyped value) -> bool
+
+      # @rbs (untyped value) -> bool
+      private def self.location?: (untyped 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 (untyped value) -> bool
+      private def self.integer?: (untyped value) -> bool
+
+      # @rbs (untyped value) -> bool
+      private def self.optional_integer?: (untyped value) -> bool
+
+      # @rbs (untyped value) -> bool
+      private def self.optional_string?: (untyped 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/error_messages/parser.rbs

@@ -0,0 +1,58 @@
+# Generated from lib/ibex/error_messages/parser.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # Strict line-oriented parser for the ibex-messages v1 and v2 formats.
+    class Parser
+      include ParserV2
+
+      ESCAPES: untyped
+
+      @lines: Array[String]
+
+      @file: String
+
+      # @rbs (String source, file: String) -> void
+      def initialize: (String source, file: String) -> void
+
+      # @rbs () -> Document
+      def parse: () -> Document
+
+      private
+
+      # @rbs () -> Document
+      def parse_v1: () -> Document
+
+      # @rbs () -> Integer
+      def validate_header: () -> Integer
+
+      # @rbs (Hash[Integer, Integer] declarations, Integer state, Integer index, String line) -> void
+      def reject_duplicate: (Hash[Integer, Integer] declarations, Integer state, Integer index, String line) -> void
+
+      # @rbs (Integer opening_index, Integer state, :active | :removed status) -> [Entry, Integer]
+      def parse_entry: (Integer opening_index, Integer state, :active | :removed status) -> [ Entry, Integer ]
+
+      # @rbs (Array[String] message_lines, Integer opening_index, Integer index, Integer state,
+      #   :active | :removed status) -> [Entry, Integer]
+      def close_entry: (Array[String] message_lines, Integer opening_index, Integer index, Integer state, :active | :removed status) -> [ Entry, Integer ]
+
+      # @rbs (Array[String] message_lines, String line, Integer index) -> void
+      def read_entry_line: (Array[String] message_lines, String line, Integer index) -> void
+
+      # @rbs (String content, Integer line, Integer content_column) -> String
+      def decode_line: (String content, Integer line, Integer content_column) -> String
+
+      # @rbs (String line) -> bool
+      def ignorable?: (String line) -> bool
+
+      # @rbs () -> String
+      def top_level_expectation: () -> String
+
+      # @rbs (String line) -> Integer
+      def column: (String line) -> Integer
+
+      # @rbs (Integer line, Integer column, String message) -> bot
+      def fail_at: (Integer line, Integer column, String message) -> bot
+    end
+  end
+end

data/sig/ibex/error_messages/parser_v2.rbs

@@ -0,0 +1,67 @@
+# Generated from lib/ibex/error_messages/parser_v2.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # Sentence-keyed ibex-messages v2 parsing, mixed into Parser so both
+    # versions share UTF-8, escape, and positioned-diagnostic helpers.
+    module ParserV2
+      private def ignorable?: (String) -> bool
+
+      private def column: (String) -> Integer
+
+      private def fail_at: (Integer, Integer, String) -> bot
+
+      private def decode_line: (String, Integer, Integer) -> String
+
+      private
+
+      # @rbs () -> Document
+      def parse_v2: () -> Document
+
+      # @rbs (Entry entry, Array[Entry] entries, Hash[String, Integer] identifiers,
+      #   Hash[String, Integer] keys) -> void
+      def record_v2_entry: (Entry entry, Array[Entry] entries, Hash[String, Integer] identifiers, Hash[String, Integer] keys) -> void
+
+      # @rbs (Integer opening_index) -> [Entry, Integer]
+      def parse_v2_entry: (Integer opening_index) -> [ Entry, Integer ]
+
+      # @rbs (Integer opening_index) ->
+      #   [:active | :unreachable | :removed, Array[String]?, Integer?]
+      def parse_v2_opening: (Integer opening_index) -> [ :active | :unreachable | :removed, Array[String]?, Integer? ]
+
+      # @rbs (Integer opening_index, :active | :unreachable | :removed status, Array[String]? sentence,
+      #   Integer? state) -> [Entry, Integer]
+      def read_v2_entry_body: (Integer opening_index, :active | :unreachable | :removed status, Array[String]? sentence, Integer? state) -> [ Entry, Integer ]
+
+      # @rbs (Integer opening_index, Integer index, :active | :unreachable | :removed status,
+      #   Array[String]? sentence, Integer? state, String? error_id, String? entry_name,
+      #   Array[String] message_lines) -> [Entry, Integer]
+      def close_v2_entry: (Integer opening_index, Integer index, :active | :unreachable | :removed status, Array[String]? sentence, Integer? state, String? error_id, String? entry_name, Array[String] message_lines) -> [ Entry, Integer ]
+
+      # @rbs (String line, Integer index, String? error_id, Integer? state, String? entry_name,
+      #   Array[String] message_lines) -> [String?, Integer?, String?]
+      def read_v2_metadata: (String line, Integer index, String? error_id, Integer? state, String? entry_name, Array[String] message_lines) -> [ String?, Integer?, String? ]
+
+      # @rbs (Array[String] message_lines, String line, Integer index) -> void
+      def append_v2_message_line: (Array[String] message_lines, String line, Integer index) -> void
+
+      # @rbs (String source, Integer line) -> Array[String]
+      def parse_sentence: (String source, Integer line) -> Array[String]
+
+      # @rbs (String source, Integer index) -> Integer
+      def skip_sentence_space: (String source, Integer index) -> Integer
+
+      # @rbs (String source, Integer index, Integer line) -> [String, Integer]
+      def read_sentence_token: (String source, Integer index, Integer line) -> [ String, Integer ]
+
+      # @rbs (String source, Integer index, String quote, Integer line) -> Integer
+      def quoted_token_end: (String source, Integer index, String quote, Integer line) -> Integer
+
+      # @rbs (String source, Integer index, String quote, Integer line) -> Integer
+      def scan_quoted_token: (String source, Integer index, String quote, Integer line) -> Integer
+
+      # @rbs (Hash[String, Integer] declarations, String key, Integer line, String label) -> void
+      def reject_v2_duplicate: (Hash[String, Integer] declarations, String key, Integer line, String label) -> void
+    end
+  end
+end

data/sig/ibex/error_messages/renderer.rbs

@@ -0,0 +1,23 @@
+# Generated from lib/ibex/error_messages/renderer.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # @rbs (IR::Automaton automaton, Array[Entry] entries) -> String
+    def self?.render_entries: (IR::Automaton automaton, Array[Entry] entries) -> String
+
+    # @rbs (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+    def append_entry: (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+
+    # @rbs (Entry entry) -> String
+    def entry_heading: (Entry entry) -> String
+
+    # @rbs (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+    def append_expected_tokens: (Array[String] lines, IR::Automaton automaton, Entry entry) -> void
+
+    # @rbs (String line) -> String
+    def encode_line: (String line) -> String
+
+    # @rbs (IR::Automaton automaton, IR::AutomatonState state) -> Array[String]
+    def expected_tokens: (IR::Automaton automaton, IR::AutomatonState state) -> Array[String]
+  end
+end

data/sig/ibex/error_messages/sentence_search.rbs

@@ -0,0 +1,80 @@
+# Generated from lib/ibex/error_messages/sentence_search.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # Finds deterministic shortest token sentences that reach each syntax
+    # error state without running semantic actions.
+    class SentenceSearch
+      DEFAULT_MAX_TOKENS: Integer
+
+      DEFAULT_MAX_CONFIGURATIONS: Integer
+
+      class Witness < Struct[String | Array[String] | Integer]
+        attr_accessor entry(): String
+
+        attr_accessor tokens(): Array[String]
+
+        attr_accessor state(): Integer
+
+        def self.new: (?entry: String, ?tokens: Array[String], ?state: Integer) -> instance
+                    | ({ ?entry: String, ?tokens: Array[String], ?state: Integer }) -> instance
+      end
+
+      @explored: Integer
+
+      @input_candidates: Array[IR::GrammarSymbol]
+
+      @candidates: Array[IR::GrammarSymbol]
+
+      @max_configurations: Integer
+
+      @max_tokens: Integer
+
+      @grammar: IR::Grammar
+
+      @automaton: IR::Automaton
+
+      # @rbs (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> void
+      def initialize: (IR::Automaton automaton, ?max_tokens: Integer, ?max_configurations: Integer) -> void
+
+      # @rbs () -> Hash[Integer, Witness]
+      def all: () -> Hash[Integer, Witness]
+
+      # @rbs (Array[String] tokens, ?entry: String?) -> Integer?
+      def state_for: (Array[String] tokens, ?entry: String?) -> Integer?
+
+      private
+
+      # @rbs (Array[Integer] states, String name, bool final) ->
+      #   [Symbol, Array[Integer] | Integer | nil]
+      def consume_sentence_token: (Array[Integer] states, String name, bool final) -> [ Symbol, Array[Integer] | Integer | nil ]
+
+      # @rbs (String name, bool final) -> IR::GrammarSymbol?
+      def sentence_symbol: (String name, bool final) -> IR::GrammarSymbol?
+
+      # @rbs () -> Array[IR::GrammarSymbol]
+      def grammar_terminals: () -> Array[IR::GrammarSymbol]
+
+      # @rbs (String entry, Integer initial_state, Hash[Integer, bool] targets,
+      #   Hash[Integer, Witness] witnesses) -> void
+      def search_entry: (String entry, Integer initial_state, Hash[Integer, bool] targets, Hash[Integer, Witness] witnesses) -> void
+
+      # @rbs (String entry, Array[Integer] states, Array[String] prefix, Hash[Integer, bool] targets,
+      #   Hash[Integer, Witness] witnesses) -> void
+      def collect_errors: (String entry, Array[Integer] states, Array[String] prefix, Hash[Integer, bool] targets, Hash[Integer, Witness] witnesses) -> void
+
+      # @rbs (Array[[Array[Integer], Array[String]]] queue, Hash[Array[Integer], bool] visited,
+      #   Array[Integer] states, Array[String] prefix) -> void
+      def enqueue_shifts: (Array[[ Array[Integer], Array[String] ]] queue, Hash[Array[Integer], bool] visited, Array[Integer] states, Array[String] prefix) -> void
+
+      # @rbs (Array[Integer] initial, Integer token_id) -> [Symbol, Array[Integer] | Integer | nil]
+      def advance: (Array[Integer] initial, Integer token_id) -> [ Symbol, Array[Integer] | Integer | nil ]
+
+      # @rbs (Array[Integer] states, Integer production_id) -> Array[Integer]?
+      def reduce_stack: (Array[Integer] states, Integer production_id) -> Array[Integer]?
+
+      # @rbs () -> void
+      def count_configuration!: () -> void
+    end
+  end
+end

data/sig/ibex/error_messages/update.rbs

@@ -0,0 +1,43 @@
+# Generated from lib/ibex/error_messages/update.rb with RBS::Inline
+
+module Ibex
+  module ErrorMessages
+    # @rbs (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer,
+    #   ?max_configurations: Integer) -> String
+    def self?.render: (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer, ?max_configurations: Integer) -> String
+
+    # @rbs (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer,
+    #   ?max_configurations: Integer) -> Update
+    def self?.update: (IR::Automaton automaton, ?existing: Document?, ?max_tokens: Integer, ?max_configurations: Integer) -> Update
+
+    # @rbs (Array[Entry] entries, Hash[Integer, bool] covered,
+    #   Hash[Integer, SentenceSearch::Witness] witnesses, Array[String] uncovered, Integer next_id) -> void
+    def self?.add_uncovered_entries: (Array[Entry] entries, Hash[Integer, bool] covered, Hash[Integer, SentenceSearch::Witness] witnesses, Array[String] uncovered, Integer next_id) -> void
+
+    # @rbs (Document document, SentenceSearch search, Hash[Integer, SentenceSearch::Witness] witnesses,
+    #   Hash[Symbol, Array[String]] classifications, Integer next_id) ->
+    #   [Array[Entry], Hash[Integer, bool], Integer]
+    def update_existing_entries: (Document document, SentenceSearch search, Hash[Integer, SentenceSearch::Witness] witnesses, Hash[Symbol, Array[String]] classifications, Integer next_id) -> [ Array[Entry], Hash[Integer, bool], Integer ]
+
+    # @rbs (Entry entry, SentenceSearch search, Array[Entry] entries, Hash[Integer, bool] covered,
+    #   Hash[Symbol, Array[String]] classifications, Integer next_id) -> Integer
+    def update_sentence_entry: (Entry entry, SentenceSearch search, Array[Entry] entries, Hash[Integer, bool] covered, Hash[Symbol, Array[String]] classifications, Integer next_id) -> Integer
+
+    # @rbs (Document document, Hash[Integer, SentenceSearch::Witness] witnesses,
+    #   Hash[Symbol, Array[String]] classifications, Integer next_id) ->
+    #   [Array[Entry], Hash[Integer, bool], Integer]
+    def migrate_legacy_entries: (Document document, Hash[Integer, SentenceSearch::Witness] witnesses, Hash[Symbol, Array[String]] classifications, Integer next_id) -> [ Array[Entry], Hash[Integer, bool], Integer ]
+
+    # @rbs (Entry entry, Integer next_id) -> Entry
+    def with_error_id: (Entry entry, Integer next_id) -> Entry
+
+    # @rbs (Document document) -> Integer
+    def next_error_id: (Document document) -> Integer
+
+    # @rbs (Integer number) -> String
+    def format_error_id: (Integer number) -> String
+
+    # @rbs (Entry entry) -> [Integer, Integer, String]
+    def entry_sort_key: (Entry entry) -> [ Integer, Integer, String ]
+  end
+end

data/sig/ibex/error_messages.rbs

@@ -0,0 +1,85 @@
+# Generated from lib/ibex/error_messages.rb with RBS::Inline
+
+module Ibex
+  # Parses, validates, and deterministically updates example-keyed syntax
+  # error messages.
+  module ErrorMessages
+    HEADER_V1: ::String
+
+    HEADER: ::String
+
+    # One active or archived error-sentence entry with its source line.
+    class Entry
+      attr_reader state: Integer?
+
+      attr_reader status: :active | :unreachable | :removed
+
+      attr_reader message: String?
+
+      attr_reader line: Integer
+
+      attr_reader sentence: Array[String]?
+
+      attr_reader error_id: String?
+
+      attr_reader entry: String?
+
+      # @rbs (state: Integer?, status: :active | :unreachable | :removed, message: String?, line: Integer,
+      #   ?sentence: Array[String]?, ?error_id: String?, ?entry: String?) -> void
+      def initialize: (state: Integer?, status: :active | :unreachable | :removed, message: String?, line: Integer, ?sentence: Array[String]?, ?error_id: String?, ?entry: String?) -> void
+    end
+
+    # Immutable parsed messages document.
+    class Document
+      attr_reader version: Integer
+
+      attr_reader entries: Array[Entry]
+
+      # @rbs (entries: Array[Entry], ?version: Integer) -> void
+      def initialize: (entries: Array[Entry], ?version: Integer) -> void
+    end
+
+    # Deterministic update output and review classifications.
+    class Update
+      attr_reader source: String
+
+      attr_reader uncovered: Array[String]
+
+      attr_reader unreachable: Array[String]
+
+      attr_reader moved: Array[String]
+
+      # @rbs (source: String, uncovered: Array[String], unreachable: Array[String], moved: Array[String]) -> void
+      def initialize: (source: String, uncovered: Array[String], unreachable: Array[String], moved: Array[String]) -> void
+    end
+
+    # @rbs (String source, file: String) -> Document
+    def self?.parse: (String source, file: String) -> Document
+
+    # @rbs (String path) -> Document
+    def self?.load: (String path) -> Document
+
+    # @rbs (IR::Automaton automaton) -> Array[IR::AutomatonState]
+    def self?.error_states: (IR::Automaton automaton) -> Array[IR::AutomatonState]
+
+    # @rbs (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, String]
+    def self?.messages_for: (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, String]
+
+    # @rbs (Document document, IR::Automaton automaton, file: String) ->
+    #   Hash[Integer, { id: String, message: String }]
+    def self?.records_for: (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, { id: String, message: String }]
+
+    # @rbs (Document document, IR::Automaton automaton, file: String) ->
+    #   Hash[Integer, { id: String, message: String }]
+    def self?.legacy_records_for: (Document document, IR::Automaton automaton, file: String) -> Hash[Integer, { id: String, message: String }]
+
+    # @rbs (IR::Automaton automaton) -> Array[IR::GrammarSymbol]
+    def ordinary_terminals: (IR::Automaton automaton) -> Array[IR::GrammarSymbol]
+
+    # @rbs (IR::parser_action? action) -> bool
+    def error_action?: (IR::parser_action? action) -> bool
+
+    # @rbs (String file, Integer line, Integer column, String message) -> bot
+    def fail_at: (String file, Integer line, Integer column, String message) -> bot
+  end
+end