branchproof 0.8.0 → 0.10.0

data/lib/branchproof/value_instrumentation.rb

@@ -0,0 +1,35 @@
+# frozen_string_literal: true
+
+module Branchproof
+  # Source rewrite for value observations; it preserves the wrapped value.
+  module ValueInstrumentation
+    private
+
+    def render_flow(bytes, decision, nested, encloses)
+      return render_value(bytes, decision, nested, encloses) if decision.dig(:instrumentation, :type) == "value"
+
+      super
+    end
+
+    # rubocop:disable-next Metrics/MethodLength -- success and exception traces differ.
+    def render_value(bytes, decision, nested, encloses)
+      expression = render_children(bytes, decision[:byte_start], decision[:byte_length], nested, encloses)
+      metadata = decision.fetch(:instrumentation)
+      runtime = self.class::RUNTIME
+      id = decision.fetch(:id).inspect
+      domain = metadata.fetch(:domain).to_sym.inspect
+      count = decision.fetch(:alternatives).length
+      enter = "#{runtime}.enter(#{id}); #{runtime}.set_alternative_count(#{id}, #{count})"
+      if metadata.fetch(:domain).to_sym == :dispatch
+        "(begin; #{enter}; begin; " \
+          "(begin; #{runtime}.dispatch_path(#{id}, (#{expression}), false); end); " \
+          "rescue ::Exception; #{runtime}.dispatch_path(#{id}, nil, true); raise; " \
+          "ensure; #{runtime}.leave(#{id}); end; end)"
+      else
+        "(begin; #{enter}; begin; " \
+          "#{runtime}.value_path(#{id}, (#{expression}), #{domain}); " \
+          "ensure; #{runtime}.leave(#{id}); end; end)"
+      end
+    end
+  end
+end

data/lib/branchproof/value_runtime.rb

@@ -0,0 +1,73 @@
+# frozen_string_literal: true
+
+module Branchproof
+  # Runtime mapping for value observations.
+  module ValueRuntime
+    # rubocop:disable Style/CaseEquality, Metrics/CyclomaticComplexity, Metrics/PerceivedComplexity
+    def comparison_index(value)
+      return 3 if nil.equal?(value)
+      return unless Integer === value || Float === value || Rational === value
+      return if Float === value && value.nan?
+      return 0 if value < 0 # rubocop:disable Style/NumericPredicate
+      return 1 if value == 0 # rubocop:disable Style/NumericPredicate
+      return 2 if value > 0 # rubocop:disable Style/NumericPredicate
+
+      nil
+    end
+    module_function :comparison_index
+    # rubocop:enable Style/CaseEquality, Metrics/CyclomaticComplexity, Metrics/PerceivedComplexity
+
+    def set_alternative_count(decision_id, count)
+      frame = current_frame(decision_id)
+      frame[:alternative_count] = count if frame
+      nil
+    end
+
+    # rubocop:disable-next Metrics/MethodLength -- trace state branches are explicit.
+    # rubocop:disable-next Metrics/AbcSize, Metrics/CyclomaticComplexity, Metrics/PerceivedComplexity -- domain dispatch mirrors the observable value contract.
+    def value_path(decision_id, value, domain)
+      frame = current_frame(decision_id)
+      return value unless frame
+      return value if frame[:finished]
+
+      index = case domain.to_sym
+              when :truthiness, :defined then value ? 1 : 0
+              when :lookup
+                if nil.equal?(value)
+                  2
+                elsif value
+                  0
+                else
+                  1
+                end
+              when :comparison then comparison_index(value)
+              when :dispatch then 0
+              end
+      if index
+        frame[:observations] = if frame.fetch(:alternative_count, index + 1) == 2
+                                 [[0, index.zero?], [1, index == 1]]
+                               else
+                                 (0..index).map { |position| [position, position == index] }
+                               end
+        frame[:outcome] = true
+        frame[:finished] = true
+      end
+      value
+    rescue NoMethodError, ArgumentError
+      # A user-defined <=> may return an incomparable object. Preserve it and
+      # leave the vector incomplete instead of inventing a domain bucket.
+      value
+    end
+
+    def dispatch_path(decision_id, value, raised)
+      frame = current_frame(decision_id)
+      return value unless frame
+
+      index = raised ? 1 : 0
+      frame[:observations] = [[0, index.zero?], [1, index == 1]]
+      frame[:outcome] = true
+      frame[:finished] = true
+      value
+    end
+  end
+end

data/lib/branchproof/value_syntax.rb

@@ -0,0 +1,116 @@
+# frozen_string_literal: true
+
+require "prism"
+
+module Branchproof
+  # Inventory for expressions whose result is itself the observable value.
+  # This deliberately excludes control-flow predicates already owned by Source.
+  module ValueSyntax
+    BOOLEAN_OPERATORS = %i[== != < <= > >= === =~ !~].freeze
+    DISPATCH_METHODS = %i[public_send send __send__].freeze
+
+    # rubocop:disable-next Metrics/ParameterLists -- source seam mirrors Source#decisions_for.
+    def additional_decisions_for(program, bytes, source_id, file_reasons, encoding, decisions:, collected:)
+      occupied = decisions.each_with_object({}) do |decision, ranges|
+        ranges[range_key(decision[:byte_start], decision[:byte_length])] = true
+        Array(decision[:conditions]).each do |condition|
+          ranges[range_key(condition[:byte_start], condition[:byte_length])] = true
+        end
+      end
+      value_decisions_for(
+        program, bytes, source_id, nodes: collected.fetch(:value_nodes), occupied_ranges: occupied,
+                                   file_reasons: file_reasons, encoding: encoding
+      )
+    end
+
+    # `nodes:` is supplied by Source's fused AST walk. It remains optional for
+    # the standalone discovery API used by focused syntax tests.
+    # rubocop:disable-next Metrics/MethodLength, Metrics/ParameterLists -- source seam mirrors Source#decisions_for.
+    def value_decisions_for(program, bytes, source_id, nodes: nil, occupied_ranges: {}, file_reasons: [],
+                            encoding: "UTF-8")
+      occupied = occupied_ranges.transform_keys do |range|
+        range.is_a?(Array) ? range_key(*range) : range
+      end
+      decisions = []
+      each_value_node(program, nodes) do |node|
+        spec = value_spec(node)
+        next unless spec
+
+        key = range_key(node.location.start_offset, node.location.length)
+        next if occupied[key]
+
+        decisions << build_value_decision(node, spec, bytes, source_id, file_reasons, encoding)
+        occupied[key] = true
+      end
+      decisions
+    end
+
+    private
+
+    def value_candidate_node?(node)
+      !value_spec(node).nil?
+    end
+
+    def each_value_node(program, nodes, &)
+      return nodes.each(&) if nodes
+
+      walker = respond_to?(:walk_skipping_defined_operands, true) ? :walk_skipping_defined_operands : :walk
+      send(walker, program, &)
+    end
+
+    def range_key(start_offset, length)
+      (start_offset << 32) | length
+    end
+
+    # rubocop:disable-next Metrics/CyclomaticComplexity, Metrics/MethodLength, Metrics/PerceivedComplexity
+    def value_spec(node)
+      if Prism.const_defined?(:MatchWriteNode) && node.is_a?(Prism::MatchWriteNode)
+        return { context: "match_capture", domain: :truthiness, alternatives: %w[false true], type: "value" }
+      end
+      return nil unless node.is_a?(Prism::CallNode)
+
+      name = node.name.to_sym
+      if name == :<=>
+        return { context: "comparison", domain: :comparison, alternatives: %w[negative zero positive nil],
+                 type: "value" }
+      end
+      return { context: "lookup", domain: :lookup, alternatives: %w[truthy false nil], type: "value" } if name == :[]
+      if DISPATCH_METHODS.include?(name)
+        return { context: "dispatch", domain: :dispatch, alternatives: %w[success exception],
+                 type: "value" }
+      end
+      if BOOLEAN_OPERATORS.include?(name) || name.to_s.end_with?("?")
+        return { context: "predicate", domain: :truthiness, alternatives: %w[false true],
+                 type: "value" }
+      end
+
+      nil
+    end
+
+    # rubocop:disable-next Metrics/AbcSize, Metrics/CyclomaticComplexity, Metrics/MethodLength, Metrics/ParameterLists, Metrics/PerceivedComplexity -- record assembly is intentionally explicit.
+    def build_value_decision(node, spec, bytes, source_id, file_reasons, encoding)
+      location = node.location
+      expression = text_value(bytes.byteslice(location.start_offset, location.length), encoding)
+      alternatives = spec.fetch(:alternatives).each_with_index.map do |label, index|
+        { index: index, id: nil, expression: label, byte_start: location.start_offset, byte_length: location.length }
+      end
+      id = Records.decision_id(source_id: source_id, context: spec.fetch(:context),
+                               byte_start: location.start_offset, byte_length: location.length,
+                               tree: nil)
+      alternatives = alternatives.map { |item| item.merge(id: Records.condition_id(id, item.fetch(:index))) }
+      kind = alternatives.length == 2 ? "implicit" : "multiway"
+      reasons = Array(file_reasons)
+      reasons += Array(unsupported_reasons(node, bytes)) if respond_to?(:unsupported_reasons, true)
+      limit = @limits[:conditions_per_decision] if defined?(@limits) && @limits.respond_to?(:[])
+      reasons << "alternative_limit_exceeded" if limit && alternatives.length > limit
+      Records.build(id: id, source_id: source_id, kind: kind, context: spec.fetch(:context),
+                    byte_start: location.start_offset, byte_length: location.length,
+                    line: location.start_line, column: location.start_column,
+                    expression: expression, tree: nil, conditions: [],
+                    alternatives: alternatives, discovered_condition_count: 0,
+                    support_status: reasons.empty? ? "SUPPORTED" : "UNSUPPORTED",
+                    support_reasons: reasons.uniq, opaque_ranges: [],
+                    instrumentation: { type: "value", domain: spec.fetch(:domain) })
+    end
+  end
+end

data/lib/branchproof/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Branchproof
-  VERSION = "0.8.0"
+  VERSION = "0.10.0"
 end

data/lib/branchproof/worker.rb

@@ -8,19 +8,18 @@ require "stringio"
 require "fileutils"
 
 module Branchproof
-  # Runs one isolated Minitest worker and atomically exports its result.
+  # Runs one isolated test worker and atomically exports its result.
   module Worker
     module_function
 
     def child_process(config_path)
+      $stdout.sync = true
+      $stderr.sync = true
       payload = JSON.parse(File.binread(config_path))
       project = symbolize(payload.fetch("project"))
       prepend_load_paths(project)
       inventory = symbolize(payload.fetch("inventory"))
       limits = symbolize(payload.fetch("limits"))
-      require "minitest"
-      require "minitest/test"
-      require_relative "minitest_adapter"
       evidence = Branchproof::Evidence.new(inventory: inventory, limits: limits, run_id: payload.fetch("run_id"))
       runtime = Branchproof::Runtime
       runtime.boot(evidence: evidence)
@@ -28,23 +27,38 @@ module Branchproof
       status = loader.install
       return write_failure(payload, "loader", status) unless status[:status].to_sym == :installed
 
-      adapter = Branchproof::MinitestAdapter.new(runtime: runtime)
+      adapter = adapter_for(project, runtime)
+      guard_late_rspec_execution(adapter, payload) if project[:framework].to_s == "rspec"
       rails_metadata = nil
       ARGV.replace(payload.fetch("runner_args"))
-      adapter.run(test_files: payload.fetch("test_files"), runner_args: payload.fetch("runner_args"),
-                  before_load: lambda {
-                    rails_metadata = boot_project(project)
-                  }, on_complete: lambda { |baseline|
-                    result = completion_result(baseline: baseline, project: project, rails_metadata: rails_metadata,
-                                               evidence: runtime.snapshot, tests: adapter.tests.values,
-                                               diagnostics: loader.diagnostics)
-                    write_completion(payload, result)
-                  })
+      callbacks = if project[:framework].to_s == "rspec"
+                    { test_selection_explicit: payload.fetch("test_selection_explicit", false), after_load: lambda {
+                      require_relative "rails_support"
+                      rails_metadata = Branchproof::RailsSupport.validate_rspec!(project: project)
+                    } }
+                  else
+                    {}
+                  end
+      before_load = lambda do
+        rails_metadata = boot_project(project) unless project[:framework].to_s == "rspec"
+      end
+      on_complete = lambda do |baseline|
+        result = completion_result(baseline: baseline, project: project, rails_metadata: rails_metadata,
+                                   evidence: runtime.snapshot, tests: adapter.tests.values,
+                                   diagnostics: loader.diagnostics)
+        write_completion(payload, result)
+      end
+      exit_status = adapter.run(test_files: payload.fetch("test_files"), runner_args: payload.fetch("runner_args"),
+                                before_load: before_load, on_complete: on_complete, **callbacks)
+      return exit_status if project[:framework].to_s == "rspec"
+
       adapter.validate_runner!
       Minitest.autorun
       nil
     rescue StandardError => e
-      code = if e.message.include?("parallel")
+      code = if e.respond_to?(:diagnostic_code)
+               e.diagnostic_code
+             elsif e.message.match?(/parallel|runner|bisect|DRb|dry.run/)
                "unsupported_runner"
              elsif defined?(Branchproof::RailsSupport::Error) && e.is_a?(Branchproof::RailsSupport::Error)
                "rails_boot"
@@ -55,6 +69,44 @@ module Branchproof
       2
     end
 
+    def adapter_for(project, runtime)
+      if project[:framework].to_s == "rspec"
+        begin
+          require "rspec/core"
+        rescue LoadError => e
+          raise unless e.path == "rspec/core"
+
+          error = ArgumentError.new("RSpec is not available; add rspec to the application's test bundle")
+          def error.diagnostic_code = "rspec_missing"
+          raise error
+        end
+        require_relative "rspec_adapter"
+        Branchproof::RSpecAdapter.new(runtime: runtime)
+      else
+        require "minitest"
+        require "minitest/test"
+        require_relative "minitest_adapter"
+        Branchproof::MinitestAdapter.new(runtime: runtime)
+      end
+    end
+
+    # Installed before application hooks, so this runs after their at_exit work.
+    # A rescued second runner must still invalidate the already-exported result.
+    def guard_late_rspec_execution(adapter, payload)
+      at_exit do
+        error = adapter.late_execution_error
+        if error
+          result = symbolize(JSON.parse(File.binread(payload.fetch("result_path"))))
+          diagnostic = { code: "unsupported_runner", severity: "error", message: error.message }
+          result.merge!(status: "ERROR", finalized: false, exit_status: 2,
+                        diagnostics: Array(result[:diagnostics]) + [diagnostic])
+          result[:evidence] = incomplete_evidence(result[:evidence], [diagnostic]) if result[:evidence]
+          write_completion(payload, result)
+          exit(2)
+        end
+      end
+    end
+
     def legacy_project
       { "kind" => "ruby", "root" => Dir.pwd,
         "load_paths" => [File.join(Dir.pwd, "lib"), File.join(Dir.pwd, "test")],
@@ -76,7 +128,14 @@ module Branchproof
     end
 
     def project_metadata(project, rails_metadata)
+      framework = project[:framework].to_s.empty? ? "minitest" : project[:framework].to_s
+      version = if framework == "rspec" && defined?(RSpec::Core::Version::STRING)
+                  RSpec::Core::Version::STRING
+                elsif framework == "minitest" && defined?(Minitest::VERSION)
+                  Minitest::VERSION
+                end
       metadata = { kind: project[:kind].to_s, root: project[:root].to_s,
+                   framework: framework, framework_version: version,
                    load_paths: Array(project[:load_paths]).map(&:to_s), serial_policy: { mode: "single_process", workers: 1 } }
       metadata.merge!(rails_metadata) if rails_metadata
       metadata
@@ -85,6 +144,7 @@ module Branchproof
     # This result boundary intentionally carries the complete worker payload.
     # rubocop:disable-next Metrics/ParameterLists
     def completion_result(baseline:, project:, rails_metadata:, evidence:, tests:, diagnostics:)
+      diagnostics = Array(baseline[:diagnostics]) + diagnostics
       result = baseline.merge(project: project_metadata(project, rails_metadata), evidence: evidence,
                               tests: tests, diagnostics: diagnostics)
       return result unless diagnostics.any? { |diagnostic| diagnostic[:severity].to_s == "error" }

data/lib/branchproof.rb

@@ -14,6 +14,7 @@ module Branchproof
   autoload :Loader, "branchproof/loader"
   autoload :Runtime, "branchproof/runtime"
   autoload :MinitestAdapter, "branchproof/minitest_adapter"
+  autoload :RSpecAdapter, "branchproof/rspec_adapter"
   autoload :Evidence, "branchproof/evidence"
   autoload :Analyzer, "branchproof/analyzer"
   autoload :Constraints, "branchproof/constraints"

data/llms.txt

@@ -2,10 +2,11 @@
 
 |  |  |
 | --- | --- |
-| **Defined in** | lib/branchproof.rb, lib/branchproof/cli.rb, lib/branchproof/limits.rb, lib/branchproof/loader.rb, lib/branchproof/report.rb, lib/branchproof/source.rb, lib/branchproof/worker.rb, lib/branchproof/project.rb, lib/branchproof/records.rb, lib/branchproof/runtime.rb, lib/branchproof/version.rb, lib/branchproof/analyzer.rb, lib/branchproof/evidence.rb, lib/branchproof/minimizer.rb, lib/branchproof/comparison.rb, lib/branchproof/constraints.rb, lib/branchproof/instrumenter.rb, lib/branchproof/runtime_flow.rb, lib/branchproof/saved_report.rb, lib/branchproof/rails_support.rb, lib/branchproof/coverage_index.rb, lib/branchproof/decision_table.rb, lib/branchproof/focused_report.rb, lib/branchproof/decision_syntax.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/comparison_report.rb, lib/branchproof/flow_instrumentation.rb |
+| **Defined in** | lib/branchproof.rb, lib/branchproof/cli.rb, lib/branchproof/limits.rb, lib/branchproof/loader.rb, lib/branchproof/report.rb, lib/branchproof/source.rb, lib/branchproof/worker.rb, lib/branchproof/project.rb, lib/branchproof/records.rb, lib/branchproof/runtime.rb, lib/branchproof/version.rb, lib/branchproof/analyzer.rb, lib/branchproof/evidence.rb, lib/branchproof/minimizer.rb, lib/branchproof/comparison.rb, lib/branchproof/constraints.rb, lib/branchproof/instrumenter.rb, lib/branchproof/runtime_flow.rb, lib/branchproof/saved_report.rb, lib/branchproof/value_syntax.rb, lib/branchproof/rails_support.rb, lib/branchproof/rspec_adapter.rb, lib/branchproof/value_runtime.rb, lib/branchproof/coverage_index.rb, lib/branchproof/decision_table.rb, lib/branchproof/default_syntax.rb, lib/branchproof/focused_report.rb, lib/branchproof/decision_syntax.rb, lib/branchproof/default_runtime.rb, lib/branchproof/exception_syntax.rb, lib/branchproof/iteration_syntax.rb, lib/branchproof/minitest_adapter.rb, lib/branchproof/comparison_report.rb, lib/branchproof/exception_runtime.rb, lib/branchproof/iteration_runtime.rb, lib/branchproof/flow_instrumentation.rb, lib/branchproof/value_instrumentation.rb, lib/branchproof/default_instrumentation.rb, lib/branchproof/exception_instrumentation.rb, lib/branchproof/iteration_instrumentation.rb, lib/branchproof/extended_alternative_runtime.rb |
 
-Keep each bounded source rewrite together so its evaluation order can be
-audited. rubocop:disable Metrics/AbcSize, Metrics/MethodLength
+Keep source-boundary and parameter-binding rules together for auditing.
+rubocop:disable Metrics/AbcSize, Metrics/CyclomaticComplexity,
+Metrics/MethodLength, Metrics/ModuleLength, Metrics/PerceivedComplexity
 
 ## Constants
 ### `VERSION` <a id="constant-VERSION"></a> <a id="VERSION-constant"></a>
@@ -22,16 +23,33 @@ Not documented.
 - [Branchproof/CoverageIndex.md](doc/Branchproof/CoverageIndex.md)
 - [Branchproof/DecisionSyntax.md](doc/Branchproof/DecisionSyntax.md)
 - [Branchproof/DecisionTable.md](doc/Branchproof/DecisionTable.md)
+- [Branchproof/DefaultInstrumentation.md](doc/Branchproof/DefaultInstrumentation.md)
+- [Branchproof/DefaultRuntime.md](doc/Branchproof/DefaultRuntime.md)
+- [Branchproof/DefaultSyntax.md](doc/Branchproof/DefaultSyntax.md)
 - [Branchproof/Error.md](doc/Branchproof/Error.md)
 - [Branchproof/Evidence.md](doc/Branchproof/Evidence.md)
+- [Branchproof/ExceptionInstrumentation.md](doc/Branchproof/ExceptionInstrumentation.md)
+- [Branchproof/ExceptionRuntime.md](doc/Branchproof/ExceptionRuntime.md)
+- [Branchproof/ExceptionSyntax.md](doc/Branchproof/ExceptionSyntax.md)
+- [Branchproof/ExtendedAlternativeRuntime.md](doc/Branchproof/ExtendedAlternativeRuntime.md)
 - [Branchproof/FlowInstrumentation.md](doc/Branchproof/FlowInstrumentation.md)
 - [Branchproof/FocusedReport.md](doc/Branchproof/FocusedReport.md)
 - [Branchproof/Instrumenter.md](doc/Branchproof/Instrumenter.md)
+- [Branchproof/IterationInstrumentation.md](doc/Branchproof/IterationInstrumentation.md)
+- [Branchproof/IterationRuntime.md](doc/Branchproof/IterationRuntime.md)
+- [Branchproof/IterationSyntax.md](doc/Branchproof/IterationSyntax.md)
 - [Branchproof/Limits.md](doc/Branchproof/Limits.md)
 - [Branchproof/Loader.md](doc/Branchproof/Loader.md)
 - [Branchproof/Minimizer.md](doc/Branchproof/Minimizer.md)
 - [Branchproof/MinitestAdapter.md](doc/Branchproof/MinitestAdapter.md)
 - [Branchproof/Project.md](doc/Branchproof/Project.md)
+- [Branchproof/RSpecAdapter/ClassRunnerGuard.md](doc/Branchproof/RSpecAdapter/ClassRunnerGuard.md)
+- [Branchproof/RSpecAdapter/ContextLifecycle.md](doc/Branchproof/RSpecAdapter/ContextLifecycle.md)
+- [Branchproof/RSpecAdapter/DefaultDiscovery.md](doc/Branchproof/RSpecAdapter/DefaultDiscovery.md)
+- [Branchproof/RSpecAdapter/ExampleLifecycle.md](doc/Branchproof/RSpecAdapter/ExampleLifecycle.md)
+- [Branchproof/RSpecAdapter/RunnerGuard.md](doc/Branchproof/RSpecAdapter/RunnerGuard.md)
+- [Branchproof/RSpecAdapter/UnsupportedRunner.md](doc/Branchproof/RSpecAdapter/UnsupportedRunner.md)
+- [Branchproof/RSpecAdapter.md](doc/Branchproof/RSpecAdapter.md)
 - [Branchproof/RailsSupport/Error.md](doc/Branchproof/RailsSupport/Error.md)
 - [Branchproof/RailsSupport.md](doc/Branchproof/RailsSupport.md)
 - [Branchproof/Records.md](doc/Branchproof/Records.md)
@@ -40,6 +58,9 @@ Not documented.
 - [Branchproof/RuntimeFlow.md](doc/Branchproof/RuntimeFlow.md)
 - [Branchproof/SavedReport.md](doc/Branchproof/SavedReport.md)
 - [Branchproof/Source.md](doc/Branchproof/Source.md)
+- [Branchproof/ValueInstrumentation.md](doc/Branchproof/ValueInstrumentation.md)
+- [Branchproof/ValueRuntime.md](doc/Branchproof/ValueRuntime.md)
+- [Branchproof/ValueSyntax.md](doc/Branchproof/ValueSyntax.md)
 - [Branchproof/Worker.md](doc/Branchproof/Worker.md)
 - [CHANGELOG.md](doc/CHANGELOG.md)
 - [README.md](doc/README.md)

data/sig/branchproof.rbs

@@ -34,13 +34,15 @@ module Branchproof
 
   class Project
     MODES: Array[String]
+    FRAMEWORKS: Array[String]
     RAILS_ENVIRONMENT: record
-    def initialize: (root: String, ?mode: String) -> void
+    def initialize: (root: String, ?mode: String, ?framework: String) -> void
     def to_h: () -> record
   end
 
   module RailsSupport
     def self.boot: (project: record) -> record
+    def self.validate_rspec!: (project: record) -> record?
   end
 
   class Instrumenter
@@ -57,6 +59,8 @@ module Branchproof
   end
 
   module Runtime
+    def self.register_test: (test: record) -> record?
+    def self.test_phase_counts: () -> Hash[String, Hash[String, Integer]]
     def self.boot: (evidence: Evidence) -> nil
     def self.enter: (String decision_id) -> nil
     def self.condition: (String decision_id, Integer index, untyped value) -> untyped
@@ -68,6 +72,23 @@ module Branchproof
     def self.flow_path: (String decision_id, Integer index) -> nil
     def self.flow_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
     def self.flow_receiver: (String decision_id, untyped receiver) -> untyped
+    def self.flow_assignment_receiver: (String decision_id, untyped receiver) -> untyped
+    def self.flow_assignment_path: (String decision_id, Integer index) -> nil
+    def self.flow_assignment_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
+    def self.exception_enter: (String decision_id, Integer unhandled_index) -> nil
+    def self.exception_path: (String decision_id, Integer index) -> nil
+    def self.exception_value: (String decision_id, untyped value, Integer index) -> untyped
+    def self.exception_finish: (String decision_id, untyped value) -> untyped
+    def self.exception_unhandled: (String decision_id) -> nil
+    def self.exception_leave: (String decision_id) -> nil
+    def self.default_binding: (String decision_id, Integer index) -> nil
+    def self.set_alternative_count: (String decision_id, Integer count) -> nil
+    def self.value_path: (String decision_id, untyped value, Symbol domain) -> untyped
+    def self.dispatch_path: (String decision_id, untyped value, bool raised) -> untyped
+    def self.flow_iteration_begin: (String decision_id, untyped receiver, ?Integer alternative_count) -> untyped
+    def self.flow_iteration_callback: (String decision_id, ?Integer alternative_count) -> nil
+    def self.flow_iteration_finish: (String decision_id, untyped value, ?Integer? default_path) -> untyped
+    def self.flow_iteration_leave: (String decision_id) -> nil
     def self.context: (?test_id: String?, ?phase: String?) -> nil
     def self.snapshot: () -> record
     def self.diagnostics: () -> Array[record]
@@ -83,6 +104,7 @@ module Branchproof
     def register_test: (test: record) -> record
     def record: (execution: record) -> record
     def diagnose: (diagnostic: record) -> nil
+    def test_phase_counts: () -> Hash[String, Hash[String, Integer]]
     def snapshot: () -> record
     def merge: (snapshot: record) -> record
   end
@@ -147,6 +169,27 @@ module Branchproof
     def run: (test_files: Array[String], runner_args: Array[String], on_complete: ^(record) -> untyped, ?before_load: ^() -> untyped?) -> nil
   end
 
+  class RSpecAdapter
+    class UnsupportedRunner < ArgumentError
+      def diagnostic_code: () -> String
+    end
+
+    FORBIDDEN_OPTIONS: Hash[Symbol, String]
+    attr_reader tests: Hash[String, record]
+    def self.active_adapter: () -> RSpecAdapter?
+    def self.active_adapter=: (RSpecAdapter?) -> RSpecAdapter?
+    def self.runner_adapter: () -> RSpecAdapter?
+    def self.runner_adapter=: (RSpecAdapter?) -> RSpecAdapter?
+    attr_reader late_execution_error: ArgumentError?
+    def initialize: (runtime: untyped) -> void
+    def reject_execution!: (String message) -> bot
+    def enter_runner!: (untyped runner) -> bool
+    def example_started: (untyped notification) -> untyped
+    def example_finished: (untyped notification) -> untyped
+    def run: (test_files: Array[String], runner_args: Array[String], on_complete: ^(record) -> untyped, ?before_load: ^() -> untyped?, ?after_load: ^() -> untyped?, ?test_selection_explicit: bool) -> untyped
+    def validate_runner!: () -> nil
+  end
+
   class Report
     SCHEMA_VERSION: String
     CRITERION_VERSION: String
@@ -158,6 +201,7 @@ module Branchproof
     def decision_table_requirement: (untyped value) -> String?
     def decision_table_reachability: (document rule) -> String
     def decision_table_expected_heading: (document decision) -> String
+    def rerun_command: (String test_id) -> String?
     def write: (io: _WriteIO, format: Symbol | String) -> nil
     def exit_code: () -> Integer
   end

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: branchproof
 version: !ruby/object:Gem::Version
-  version: 0.8.0
+  version: 0.10.0
 platform: ruby
 authors:
 - Lucian Ghinda
@@ -50,7 +50,7 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '2'
 description: Inventory Ruby decisions and report masking MC/DC evidence from Minitest
-  runs.
+  or RSpec runs.
 email:
 - lucianghinda@users.noreply.github.com
 executables:
@@ -75,16 +75,33 @@ files:
 - doc/Branchproof/CoverageIndex.md
 - doc/Branchproof/DecisionSyntax.md
 - doc/Branchproof/DecisionTable.md
+- doc/Branchproof/DefaultInstrumentation.md
+- doc/Branchproof/DefaultRuntime.md
+- doc/Branchproof/DefaultSyntax.md
 - doc/Branchproof/Error.md
 - doc/Branchproof/Evidence.md
+- doc/Branchproof/ExceptionInstrumentation.md
+- doc/Branchproof/ExceptionRuntime.md
+- doc/Branchproof/ExceptionSyntax.md
+- doc/Branchproof/ExtendedAlternativeRuntime.md
 - doc/Branchproof/FlowInstrumentation.md
 - doc/Branchproof/FocusedReport.md
 - doc/Branchproof/Instrumenter.md
+- doc/Branchproof/IterationInstrumentation.md
+- doc/Branchproof/IterationRuntime.md
+- doc/Branchproof/IterationSyntax.md
 - doc/Branchproof/Limits.md
 - doc/Branchproof/Loader.md
 - doc/Branchproof/Minimizer.md
 - doc/Branchproof/MinitestAdapter.md
 - doc/Branchproof/Project.md
+- doc/Branchproof/RSpecAdapter.md
+- doc/Branchproof/RSpecAdapter/ClassRunnerGuard.md
+- doc/Branchproof/RSpecAdapter/ContextLifecycle.md
+- doc/Branchproof/RSpecAdapter/DefaultDiscovery.md
+- doc/Branchproof/RSpecAdapter/ExampleLifecycle.md
+- doc/Branchproof/RSpecAdapter/RunnerGuard.md
+- doc/Branchproof/RSpecAdapter/UnsupportedRunner.md
 - doc/Branchproof/RailsSupport.md
 - doc/Branchproof/RailsSupport/Error.md
 - doc/Branchproof/Records.md
@@ -93,6 +110,9 @@ files:
 - doc/Branchproof/RuntimeFlow.md
 - doc/Branchproof/SavedReport.md
 - doc/Branchproof/Source.md
+- doc/Branchproof/ValueInstrumentation.md
+- doc/Branchproof/ValueRuntime.md
+- doc/Branchproof/ValueSyntax.md
 - doc/Branchproof/Worker.md
 - doc/CHANGELOG.md
 - doc/README.md
@@ -107,10 +127,20 @@ files:
 - lib/branchproof/coverage_index.rb
 - lib/branchproof/decision_syntax.rb
 - lib/branchproof/decision_table.rb
+- lib/branchproof/default_instrumentation.rb
+- lib/branchproof/default_runtime.rb
+- lib/branchproof/default_syntax.rb
 - lib/branchproof/evidence.rb
+- lib/branchproof/exception_instrumentation.rb
+- lib/branchproof/exception_runtime.rb
+- lib/branchproof/exception_syntax.rb
+- lib/branchproof/extended_alternative_runtime.rb
 - lib/branchproof/flow_instrumentation.rb
 - lib/branchproof/focused_report.rb
 - lib/branchproof/instrumenter.rb
+- lib/branchproof/iteration_instrumentation.rb
+- lib/branchproof/iteration_runtime.rb
+- lib/branchproof/iteration_syntax.rb
 - lib/branchproof/limits.rb
 - lib/branchproof/loader.rb
 - lib/branchproof/minimizer.rb
@@ -119,10 +149,14 @@ files:
 - lib/branchproof/rails_support.rb
 - lib/branchproof/records.rb
 - lib/branchproof/report.rb
+- lib/branchproof/rspec_adapter.rb
 - lib/branchproof/runtime.rb
 - lib/branchproof/runtime_flow.rb
 - lib/branchproof/saved_report.rb
 - lib/branchproof/source.rb
+- lib/branchproof/value_instrumentation.rb
+- lib/branchproof/value_runtime.rb
+- lib/branchproof/value_syntax.rb
 - lib/branchproof/version.rb
 - lib/branchproof/worker.rb
 - lib/mcdc.rb