ibex 0.3.0 → 0.4.0

data/sig/ibex/impact/coverage_impact.rbs

@@ -0,0 +1,28 @@
+# Generated from lib/ibex/impact/coverage_impact.rb with RBS::Inline
+
+module Ibex
+  module Impact
+    # Selects separated runtime coverage reports for affected productions.
+    class CoverageImpact
+      attr_reader status: String
+
+      attr_reader reports: Array[Hash[Symbol, Object?]]
+
+      attr_reader warnings: Array[String]
+
+      # @rbs (IR::Automaton automaton, Array[Integer], Array[[String, Coverage::Report]]) -> void
+      def initialize: (IR::Automaton automaton, Array[Integer], Array[[ String, Coverage::Report ]]) -> void
+
+      # @rbs () -> Hash[Symbol, Object?]
+      def to_h: () -> Hash[Symbol, Object?]
+
+      private
+
+      # @rbs (Array[[String, Coverage::Report]]) -> Array[Hash[Symbol, Object?]]
+      def select_reports: (Array[[ String, Coverage::Report ]]) -> Array[Hash[Symbol, Object?]]
+
+      # @rbs (Array[[String, Coverage::Report]]) -> String
+      def coverage_status: (Array[[ String, Coverage::Report ]]) -> String
+    end
+  end
+end

data/sig/ibex/impact/graph.rbs

@@ -0,0 +1,67 @@
+# Generated from lib/ibex/impact/graph.rb with RBS::Inline
+
+module Ibex
+  module Impact
+    # A grammar dependency edge with enough origin information for a witness.
+    class Edge
+      attr_reader source: Integer
+
+      attr_reader target: Integer
+
+      attr_reader kind: Symbol
+
+      attr_reader production: Integer?
+
+      attr_reader position: Integer?
+
+      # @rbs (source: Integer, target: Integer, kind: Symbol, production: Integer?, position: Integer?) -> void
+      def initialize: (source: Integer, target: Integer, kind: Symbol, production: Integer?, position: Integer?) -> void
+
+      # @rbs () -> Array[Integer | Symbol | nil]
+      def sort_key: () -> Array[Integer | Symbol | nil]
+    end
+
+    # Combines reference, FIRST, and FOLLOW propagation dependencies.
+    class Graph
+      EDGE_KINDS: Array[Symbol]
+
+      KIND_ALIASES: Hash[Symbol, Array[Symbol]]
+
+      attr_reader grammar: IR::Grammar
+
+      attr_reader sets: Analysis::Sets
+
+      # @rbs (IR::Grammar grammar, ?sets: Analysis::Sets) -> void
+      def initialize: (IR::Grammar grammar, ?sets: Analysis::Sets) -> void
+
+      # @rbs (?Symbol kind) -> untyped
+      def edges: (?Symbol kind) -> untyped
+
+      # @rbs (Symbol kind) -> Array[Array[Integer]]
+      def adjacency: (Symbol kind) -> Array[Array[Integer]]
+
+      private
+
+      # @rbs () -> Hash[Symbol, Array[Edge]]
+      def build_edges: () -> Hash[Symbol, Array[Edge]]
+
+      # @rbs (Hash[Symbol, Array[Edge]], IR::Production) -> void
+      def add_production_edges: (Hash[Symbol, Array[Edge]], IR::Production) -> void
+
+      # @rbs (Hash[Symbol, Array[Edge]], IR::Production, Integer, Integer) -> void
+      def add_first_edge: (Hash[Symbol, Array[Edge]], IR::Production, Integer, Integer) -> void
+
+      # @rbs (Hash[Symbol, Array[Edge]], IR::Production, Integer, Integer) -> void
+      def add_follow_edges: (Hash[Symbol, Array[Edge]], IR::Production, Integer, Integer) -> void
+
+      # @rbs (Hash[Symbol, Array[Edge]], IR::Production, Integer, Integer) -> void
+      def add_follow_first_edges: (Hash[Symbol, Array[Edge]], IR::Production, Integer, Integer) -> void
+
+      # @rbs (Integer source, Integer target, Symbol kind, IR::Production production, Integer position) -> Edge
+      def edge: (Integer source, Integer target, Symbol kind, IR::Production production, Integer position) -> Edge
+
+      # @rbs () -> void
+      def freeze_edges: () -> void
+    end
+  end
+end

data/sig/ibex/impact/propagation.rbs

@@ -0,0 +1,56 @@
+# Generated from lib/ibex/impact/propagation.rb with RBS::Inline
+
+module Ibex
+  module Impact
+    # One shortest witness for a symbol reached by dependency propagation.
+    class Node
+      attr_reader symbol: Integer
+
+      attr_reader distance: Integer
+
+      attr_reader witness: Array[Edge]
+
+      attr_reader kind: Symbol
+
+      attr_reader component: Array[Integer]
+
+      # @rbs (symbol: Integer, distance: Integer, witness: Array[Edge], kind: Symbol, component: Array[Integer]) -> void
+      def initialize: (symbol: Integer, distance: Integer, witness: Array[Edge], kind: Symbol, component: Array[Integer]) -> void
+    end
+
+    # Performs deterministic forward propagation over a dependency graph.
+    class Propagation
+      # @rbs @graph: Graph
+      # @rbs (Graph graph) -> void
+      def initialize: (Graph graph) -> void
+
+      # @rbs (Array[Integer] seeds, Symbol kind, ?max_depth: Integer?) -> Hash[Integer, Node]
+      def propagate: (Array[Integer] seeds, Symbol kind, ?max_depth: Integer?) -> Hash[Integer, Node]
+
+      alias call propagate
+
+      private
+
+      # @rbs (Integer?) -> void
+      def validate_depth: (Integer?) -> void
+
+      # @rbs (Array[Integer]) -> Array[Integer]
+      def normalize_seeds: (Array[Integer]) -> Array[Integer]
+
+      # @rbs (Array[Array[Integer]], Integer) -> Array[Integer]
+      def component_index: (Array[Array[Integer]], Integer) -> Array[Integer]
+
+      # @rbs (Array[Array[Integer]], Array[Integer], Integer) -> Array[Array[Integer]]
+      def component_adjacency: (Array[Array[Integer]], Array[Integer], Integer) -> Array[Array[Integer]]
+
+      # @rbs (Array[Integer], Array[Integer], Array[Array[Integer]], Integer?) -> Hash[Integer, Integer]
+      def traverse_components: (Array[Integer], Array[Integer], Array[Array[Integer]], Integer?) -> Hash[Integer, Integer]
+
+      # @rbs (Array[Integer], Array[Array[Integer]], Symbol) -> Hash[Integer, Array[Edge]]
+      def symbol_witnesses: (Array[Integer], Array[Array[Integer]], Symbol) -> Hash[Integer, Array[Edge]]
+
+      # @rbs (Hash[Integer, Integer], Array[Array[Integer]], Symbol, Hash[Integer, Array[Edge]]) -> Hash[Integer, Node]
+      def build_nodes: (Hash[Integer, Integer], Array[Array[Integer]], Symbol, Hash[Integer, Array[Edge]]) -> Hash[Integer, Node]
+    end
+  end
+end

data/sig/ibex/impact/report.rbs

@@ -0,0 +1,107 @@
+# Generated from lib/ibex/impact/report.rb with RBS::Inline
+
+module Ibex
+  module Impact
+    # Builds the deterministic public impact-v1 document.
+    class Report
+      # @rbs @mode: String
+      # @rbs @algorithm: String
+      # @rbs @grammar: IR::Grammar
+      # @rbs @before: IR::Automaton?
+      # @rbs @after: IR::Automaton?
+      # @rbs @seeds: Array[Hash[Symbol, Object?]]
+      # @rbs @nodes: Hash[Integer, Node]
+      # @rbs @symbol_kinds: Hash[Integer, Array[String]]
+      # @rbs @set_changes: Hash[String, Hash[Symbol, Object?]]
+      # @rbs @metadata_names: Array[String]
+      # @rbs @automaton: Hash[Symbol, Object?]
+      # @rbs @actions: Array[Hash[Symbol, Object?]]
+      # @rbs @coverage: Hash[Symbol, Object?]
+      # @rbs @minimum: String
+      # @rbs @warnings: Array[String]
+      # @rbs (mode: String, algorithm: String, grammar: IR::Grammar, before: IR::Automaton?, after: IR::Automaton?,
+      #   seeds: Array[Hash[Symbol, Object?]], nodes: Hash[Integer, Node], symbol_kinds: Hash[Integer, Array[String]],
+      #   set_changes: Hash[String, Hash[Symbol, Object?]], automaton: Hash[Symbol, Object?],
+      #   actions: Array[Hash[Symbol, Object?]], coverage: Hash[Symbol, Object?], ?metadata_names: Array[String],
+      #   ?minimum: String,
+      #   ?warnings: Array[String]) -> void
+      # rubocop:disable Metrics/ParameterLists
+      def initialize: (mode: String, algorithm: String, grammar: IR::Grammar, before: IR::Automaton?, after: IR::Automaton?, seeds: Array[Hash[Symbol, Object?]], nodes: Hash[Integer, Node], symbol_kinds: Hash[Integer, Array[String]], set_changes: Hash[String, Hash[Symbol, Object?]], automaton: Hash[Symbol, Object?], actions: Array[Hash[Symbol, Object?]], coverage: Hash[Symbol, Object?], ?metadata_names: Array[String], ?minimum: String, ?warnings: Array[String]) -> void
+
+      # @rbs (?minimum: String) -> Hash[Symbol, Object?]
+      def to_h: (?minimum: String) -> Hash[Symbol, Object?]
+
+      private
+
+      # @rbs (String minimum) -> Array[Hash[Symbol, Object?]]
+      def symbol_documents: (String minimum) -> Array[Hash[Symbol, Object?]]
+
+      # @rbs (String) -> Hash[Symbol, Object?]?
+      def symbol_document: (String) -> Hash[Symbol, Object?]?
+
+      # @rbs (String) -> bool
+      def reportable_symbol?: (String) -> bool
+
+      # @rbs (String, Integer?) -> Array[String]
+      def symbol_kinds_for: (String, Integer?) -> Array[String]
+
+      # @rbs (String) -> Array[String]
+      def change_kinds: (String) -> Array[String]
+
+      # @rbs (String, Array[String]) -> String
+      def document_severity: (String, Array[String]) -> String
+
+      # @rbs (Node?, String) -> Array[String]
+      def component_names: (Node?, String) -> Array[String]
+
+      # @rbs (String kind) -> String
+      def kind_severity: (String kind) -> String
+
+      # @rbs (String name, String current) -> String
+      def action_severity: (String name, String current) -> String
+
+      # @rbs (Hash[Symbol, Object?] record) -> String
+      def severity_of: (Hash[Symbol, Object?] record) -> String
+
+      # @rbs () -> Hash[Symbol, Array[String]]
+      def empty_change: () -> Hash[Symbol, Array[String]]
+
+      # @rbs (Array[Edge]) -> Array[Hash[Symbol, Object?]]
+      def witness_documents: (Array[Edge]) -> Array[Hash[Symbol, Object?]]
+
+      # @rbs (Integer) -> String
+      def symbol_name: (Integer) -> String
+
+      # @rbs (IR::Production?) -> String?
+      def production_shape: (IR::Production?) -> String?
+
+      # @rbs (Array[Hash[Symbol, Object?]], Array[Hash[Symbol, Object?]],
+      #   Hash[Symbol, Object?]) -> Hash[Symbol, Integer]
+      def totals: (Array[Hash[Symbol, Object?]], Array[Hash[Symbol, Object?]], Hash[Symbol, Object?]) -> Hash[Symbol, Integer]
+
+      # @rbs (String minimum) -> Array[Hash[Symbol, Object?]]
+      def action_documents: (String minimum) -> Array[Hash[Symbol, Object?]]
+
+      # @rbs (Hash[Symbol, Object?] action) -> String
+      def action_production: (Hash[Symbol, Object?] action) -> String
+
+      # @rbs () -> Hash[Symbol, Object?]
+      def coverage_document: () -> Hash[Symbol, Object?]
+
+      # @rbs (Hash[Symbol, Object?] report) -> String
+      def coverage_report_path: (Hash[Symbol, Object?] report) -> String
+
+      # @rbs () -> Array[String]
+      def stable_warnings: () -> Array[String]
+
+      # @rbs (IR::location?) -> Hash[Symbol, Integer]?
+      def stable_location: (IR::location?) -> Hash[Symbol, Integer]?
+
+      # @rbs (IR::Automaton?) -> String?
+      def stable_grammar_digest: (IR::Automaton?) -> String?
+
+      # @rbs (String) -> String
+      def stable_path: (String) -> String
+    end
+  end
+end

data/sig/ibex/impact/seeds.rbs

@@ -0,0 +1,36 @@
+# Generated from lib/ibex/impact/seeds.rb with RBS::Inline
+
+module Ibex
+  module Impact
+    # Converts command-line symbols and Diff rule ids into analysis seeds.
+    class Seeds
+      # @rbs @grammar: IR::Grammar
+      # @rbs @sets: Analysis::Sets
+      # @rbs @records: Array[Hash[Symbol, Object?]]
+      # @rbs @ids: Array[Integer]
+      attr_reader ids: Array[Integer]
+
+      attr_reader records: Array[Hash[Symbol, Object?]]
+
+      # @rbs (IR::Grammar grammar, Array[String] names, ?origin: String) -> void
+      def initialize: (IR::Grammar grammar, Array[String] names, ?origin: String) -> void
+
+      # @rbs (IR::Grammar grammar, Hash[Symbol, Object?] diff, ?origin: String) -> Seeds
+      def self.from_diff: (IR::Grammar grammar, Hash[Symbol, Object?] diff, ?origin: String) -> Seeds
+
+      private
+
+      # @rbs (Hash[Symbol, Object?] record) -> String
+      def seed_symbol: (Hash[Symbol, Object?] record) -> String
+
+      # @rbs (Hash[Symbol, Object?] record) -> Integer
+      def seed_id: (Hash[Symbol, Object?] record) -> Integer
+
+      # @rbs (String name, String origin) -> Array[Hash[Symbol, Object?]]
+      def resolve: (String name, String origin) -> Array[Hash[Symbol, Object?]]
+
+      # @rbs (Integer) -> bool
+      def nullable_boundary?: (Integer) -> bool
+    end
+  end
+end

data/sig/ibex/impact/severity.rbs

@@ -0,0 +1,55 @@
+# Generated from lib/ibex/impact/severity.rb with RBS::Inline
+
+module Ibex
+  module Impact
+    # Stores only conflict identities so a baseline is stable across state ids.
+    class Baseline
+      # @rbs (String path) -> void
+      def initialize: (String path) -> void
+
+      # @rbs () -> Array[String]
+      def conflicts: () -> Array[String]
+
+      # @rbs (Object?) -> void
+      def validate_document: (Object?) -> void
+
+      # @rbs (Array[String] identities) -> void
+      def write: (Array[String] identities) -> void
+    end
+
+    # Severity ranking and CI gate evaluation for impact findings.
+    module Severity
+      LEVELS: Array[String]
+
+      FAIL_ON: Array[String]
+
+      RANK: Hash[String, Integer]
+
+      GATE_TO_KIND: Hash[String, String]
+
+      # @rbs (String left, String right) -> String
+      def self?.max: (String left, String right) -> String
+
+      # @rbs (Hash[String, Array[String]], Array[Hash[Symbol, String]]) -> Hash[String, String]
+      def self?.symbols: (Hash[String, Array[String]], Array[Hash[Symbol, String]]) -> Hash[String, String]
+
+      # @rbs (String) -> String
+      def self?.level_for_kind: (String) -> String
+
+      # @rbs (Hash[Symbol, Object?] report, Array[String] gates) -> bool
+      def self?.fails?: (Hash[Symbol, Object?] report, Array[String] gates) -> bool
+
+      # @rbs (Hash[Symbol, Object?], Array[String]) -> bool
+      def self?.conflict_gate?: (Hash[Symbol, Object?], Array[String]) -> bool
+
+      # @rbs (Hash[Symbol, Object?], Array[String]) -> bool
+      def self?.unreachable_gate?: (Hash[Symbol, Object?], Array[String]) -> bool
+
+      # @rbs (Hash[Symbol, Object?], Array[String]) -> bool
+      def self?.action_gate?: (Hash[Symbol, Object?], Array[String]) -> bool
+
+      # @rbs (Array[String] gates) -> Array[String]
+      def self?.validate_gates: (Array[String] gates) -> Array[String]
+    end
+  end
+end

data/sig/ibex/impact.rbs

@@ -0,0 +1,6 @@
+# Generated from lib/ibex/impact.rb with RBS::Inline
+
+module Ibex
+  module Impact
+  end
+end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: ibex
 version: !ruby/object:Gem::Version
-  version: 0.3.0
+  version: 0.4.0
 platform: ruby
 authors:
 - Yudai Takada
@@ -15,14 +15,14 @@ dependencies:
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.0
+        version: 0.4.0
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
     - - "~>"
       - !ruby/object:Gem::Version
-        version: 0.3.0
+        version: 0.4.0
 description: Ibex generates LR parsers from racc-compatible grammars without native
   extensions.
 email:
@@ -86,6 +86,7 @@ files:
 - docs/grammar-reference.md
 - docs/ielr-design.md
 - docs/ielr.md
+- docs/impact.md
 - docs/ja/bison-import.md
 - docs/ja/stable-api.md
 - docs/lexer-construction-profile.md
@@ -141,6 +142,7 @@ files:
 - lib/ibex/cli/generation_artifacts.rb
 - lib/ibex/cli/generation_error_messages.rb
 - lib/ibex/cli/grammar_tests.rb
+- lib/ibex/cli/impact.rb
 - lib/ibex/cli/ir_tools.rb
 - lib/ibex/cli/lsp.rb
 - lib/ibex/cli/outputs.rb
@@ -237,6 +239,15 @@ files:
 - lib/ibex/generation_transaction_recovery.rb
 - lib/ibex/generation_transaction_validation.rb
 - lib/ibex/grammar_tests.rb
+- lib/ibex/impact.rb
+- lib/ibex/impact/action_impact.rb
+- lib/ibex/impact/automaton_impact.rb
+- lib/ibex/impact/coverage_impact.rb
+- lib/ibex/impact/graph.rb
+- lib/ibex/impact/propagation.rb
+- lib/ibex/impact/report.rb
+- lib/ibex/impact/seeds.rb
+- lib/ibex/impact/severity.rb
 - lib/ibex/ir.rb
 - lib/ibex/ir/automaton_ir.rb
 - lib/ibex/ir/grammar_ir.rb
@@ -382,6 +393,7 @@ files:
 - schema/grammar-ir-foundation.schema.json
 - schema/grammar-ir.schema.json
 - schema/ielr-benchmark-v1.schema.json
+- schema/impact-v1.schema.json
 - schema/lexer-ir-v1.schema.json
 - schema/lexer-profile-v1.schema.json
 - schema/metrics-v1.schema.json
@@ -426,6 +438,7 @@ files:
 - sig/ibex/cli/generation_artifacts.rbs
 - sig/ibex/cli/generation_error_messages.rbs
 - sig/ibex/cli/grammar_tests.rbs
+- sig/ibex/cli/impact.rbs
 - sig/ibex/cli/ir_tools.rbs
 - sig/ibex/cli/lsp.rbs
 - sig/ibex/cli/outputs.rbs
@@ -522,6 +535,15 @@ files:
 - sig/ibex/generation_transaction_recovery.rbs
 - sig/ibex/generation_transaction_validation.rbs
 - sig/ibex/grammar_tests.rbs
+- sig/ibex/impact.rbs
+- sig/ibex/impact/action_impact.rbs
+- sig/ibex/impact/automaton_impact.rbs
+- sig/ibex/impact/coverage_impact.rbs
+- sig/ibex/impact/graph.rbs
+- sig/ibex/impact/propagation.rbs
+- sig/ibex/impact/report.rbs
+- sig/ibex/impact/seeds.rbs
+- sig/ibex/impact/severity.rbs
 - sig/ibex/ir.rbs
 - sig/ibex/ir/automaton_ir.rbs
 - sig/ibex/ir/grammar_ir.rbs