evilution 1.1.0 → 1.2.0

data/lib/evilution/runner/mutation_executor/neutralizer/baseline_failed.rb

@@ -2,6 +2,7 @@
 
 require_relative "../neutralizer"
 require_relative "../../../result/mutation_result"
+require_relative "../../../result/neutral_reason"
 
 class Evilution::Runner::MutationExecutor::Neutralizer::BaselineFailed
   def initialize(config:, spec_resolver:, fallback_dir:)
@@ -15,25 +16,30 @@ class Evilution::Runner::MutationExecutor::Neutralizer::BaselineFailed
 
     if @config.spec_files.any?
       should_neutralize = true
+      spec_file = nil
     else
       spec_file = @spec_resolver.call(result.mutation.file_path) || @fallback_dir
       should_neutralize = baseline_result.failed_spec_files.include?(spec_file)
     end
     return result unless should_neutralize
 
-    neutralize(result)
+    neutralize(result, spec_file)
   end
 
   private
 
-  def neutralize(result)
+  # The spec that was already red is the fact a reader needs: it says what to
+  # fix before the run can say anything about these mutations
+  # (EV-5pob / GH #1606).
+  def neutralize(result, spec_file)
     Evilution::Result::MutationResult.new(
       mutation: result.mutation,
       status: :neutral,
       duration: result.duration,
       test_command: result.test_command,
       memory: result.memory,
-      error: result.error
+      error: result.error,
+      neutral_reason: Evilution::Result::NeutralReason.baseline_failure(spec_file)
     )
   end
 end

data/lib/evilution/runner/mutation_executor/neutralizer/infra_error.rb

@@ -2,6 +2,7 @@
 
 require_relative "../neutralizer"
 require_relative "../../../result/mutation_result"
+require_relative "../../../result/neutral_reason"
 
 # Reclassify results as :neutral when the failure was caused by test
 # infrastructure rather than by the mutation. Two independent paths:
@@ -33,6 +34,21 @@ class Evilution::Runner::MutationExecutor::Neutralizer::InfraError
   ].freeze
   private_constant :INFRA_ERROR_CLASSES, :INFRA_BACKTRACE_PATHS, :INFRA_CRASH_CLASSES
 
+  # Whether a crash class is one of the infrastructure failures that say
+  # nothing about the mutation. The parallel strategy asks this before the
+  # neutralisation pipeline has run, while the result is still a `:killed`
+  # crash (EV-j0bv / GH #1607).
+  def self.infra_crash_class?(error_class)
+    INFRA_CRASH_CLASSES.include?(error_class)
+  end
+
+  # Whether this result is a kill that was demoted because the test process
+  # crashed on infrastructure rather than on the mutation. Such a mutation got
+  # no verdict, so a parallel run can re-run it once the contention is over.
+  def self.infra_neutral?(result)
+    result.neutral? && infra_crash_class?(result.error_class)
+  end
+
   def call(result, **_ctx)
     return neutralize(result) if infra_crash?(result)
     return result unless result.error?
@@ -62,7 +78,8 @@ class Evilution::Runner::MutationExecutor::Neutralizer::InfraError
       duration: result.duration,
       test_command: result.test_command,
       memory: result.memory,
-      error: result.error
+      error: result.error,
+      neutral_reason: Evilution::Result::NeutralReason.infra_error(result.error_class)
     )
   end
 end

data/lib/evilution/runner/mutation_executor/result_cache.rb

@@ -2,6 +2,7 @@
 
 require_relative "../mutation_executor"
 require_relative "../../result/mutation_result"
+require_relative "neutralizer/infra_error"
 
 class Evilution::Runner::MutationExecutor::ResultCache
   CACHEABLE_STATUSES = %i[killed timeout].freeze
@@ -32,6 +33,7 @@ class Evilution::Runner::MutationExecutor::ResultCache
   def store(mutation, result)
     return unless @backend
     return unless result.killed? || result.timeout?
+    return if infra_crash?(result)
 
     @backend.store(mutation,
                    status: result.status,
@@ -40,6 +42,15 @@ class Evilution::Runner::MutationExecutor::ResultCache
                    test_command: result.test_command)
   end
 
+  # A kill that came from an infrastructure crash is not a verdict about the
+  # mutation, and the cache keeps no error class to tell them apart later. It
+  # is left out so the next fetch does not hand back a plain `:killed`, which
+  # would defeat both the demotion to neutral and the serial retry
+  # (EV-j0bv / GH #1607).
+  def infra_crash?(result)
+    Evilution::Runner::MutationExecutor::Neutralizer::InfraError.infra_crash_class?(result.error_class)
+  end
+
   def partition(batch, packer:)
     uncached_indices = []
     cached_results = {}

data/lib/evilution/runner/mutation_executor/strategy/parallel.rb

@@ -65,10 +65,28 @@ class Evilution::Runner::MutationExecutor::Strategy::Parallel
     compact_results = merge(batch, partition.uncached_indices, partition.cached_results, worker_results)
     batch_results = rebuild_results(batch, compact_results)
     cache_results(batch_results, partition.uncached_indices)
-    batch.each(&:strip_sources!)
+    release_sources(batch, batch_results)
     batch_results
   end
 
+  # Sources are dropped as soon as a mutation has been judged, to keep a long
+  # run's memory flat. A mutation the workers could not judge because of
+  # infrastructure contention is re-run serially once the pool is done
+  # (InfraRetry), which needs its sources, so it keeps them until then. The
+  # neutralisation pipeline has not run yet here, so the crash is still a kill.
+  def release_sources(batch, batch_results)
+    batch.each_with_index do |mutation, index|
+      result = batch_results[index]
+      next if result && infra_crash?(result)
+
+      mutation.strip_sources!
+    end
+  end
+
+  def infra_crash?(result)
+    Evilution::Runner::MutationExecutor::Neutralizer::InfraError.infra_crash_class?(result.error_class)
+  end
+
   def rebuild_results(batch, compact_results)
     batch.zip(compact_results).map { |m, h| @packer.rebuild(m, h) }
   end

data/lib/evilution/runner/mutation_executor.rb

@@ -3,13 +3,18 @@
 require_relative "../runner"
 
 class Evilution::Runner::MutationExecutor
-  ExecutionResult = Data.define(:results, :truncated)
+  ExecutionResult = Data.define(:results, :truncated, :infra_retried) do
+    def initialize(results:, truncated:, infra_retried: 0)
+      super
+    end
+  end
 
   autoload :ResultCache, File.expand_path("mutation_executor/result_cache", __dir__)
   autoload :ResultPacker, File.expand_path("mutation_executor/result_packer", __dir__)
   autoload :ResultNotifier, File.expand_path("mutation_executor/result_notifier", __dir__)
   autoload :MutationRunner, File.expand_path("mutation_executor/mutation_runner", __dir__)
   autoload :NeutralizationPipeline, File.expand_path("mutation_executor/neutralization_pipeline", __dir__)
+  autoload :InfraRetry, File.expand_path("mutation_executor/infra_retry", __dir__)
   autoload :Strategy, File.expand_path("mutation_executor/strategy", __dir__)
   autoload :Neutralizer, File.expand_path("mutation_executor/neutralizer", __dir__)
 
@@ -29,13 +34,36 @@ class Evilution::Runner::MutationExecutor
     spec_resolver = baseline_failed?(baseline_result) ? @baseline_runner.neutralization_resolver : nil
     notifier = build_notifier
     pipeline = build_pipeline(spec_resolver)
-    strategy = @config.jobs > 1 ? build_parallel(notifier, pipeline) : build_sequential(notifier, pipeline)
+    return sequential_run(notifier, pipeline, mutations, baseline_result, integration) if @config.jobs <= 1
 
-    strategy.call(mutations, baseline_result: baseline_result, integration: integration)
+    parallel_run(notifier, pipeline, mutations, baseline_result, integration)
   end
 
   private
 
+  def sequential_run(notifier, pipeline, mutations, baseline_result, integration)
+    build_sequential(notifier, pipeline)
+      .call(mutations, baseline_result: baseline_result, integration: integration)
+  end
+
+  # Infrastructure contention only exists while the pool is running, so the
+  # mutations it left without a verdict are re-run once it is done. Without
+  # this the neutral bucket swings with --jobs on identical input
+  # (EV-j0bv / GH #1607).
+  def parallel_run(notifier, pipeline, mutations, baseline_result, integration)
+    execution = build_parallel(notifier, pipeline)
+                .call(mutations, baseline_result: baseline_result, integration: integration)
+    retry_pass = InfraRetry.new(runner: build_mutation_runner, pipeline: pipeline)
+    results = retry_pass.call(execution.results, baseline_result: baseline_result, integration: integration)
+
+    ExecutionResult.new(results: results, truncated: execution.truncated,
+                        infra_retried: retry_pass.retried_count)
+  end
+
+  def build_mutation_runner
+    MutationRunner.new(config: @config, cache: @cache, isolator: @isolator)
+  end
+
   def baseline_failed?(baseline_result)
     baseline_result && baseline_result.failed?
   end
@@ -59,7 +87,7 @@ class Evilution::Runner::MutationExecutor
 
   def build_sequential(notifier, pipeline)
     Strategy::Sequential.new(
-      runner: MutationRunner.new(config: @config, cache: @cache, isolator: @isolator),
+      runner: build_mutation_runner,
       pipeline: pipeline,
       notifier: notifier
     )

data/lib/evilution/runner/report_publisher.rb

@@ -11,20 +11,42 @@ class Evilution::Runner::ReportPublisher
     @config = config
   end
 
-  def publish(summary)
+  def publish(summary, stdout: $stdout)
     reporter = build_reporter
     return unless reporter
 
     output = reporter.call(summary)
     return if config.quiet
 
-    if config.html?
-      path = "evilution-report.html"
-      File.write(path, output)
-      warn "HTML report written to #{path}"
-    else
-      $stdout.puts(output)
-    end
+    deliver(output, stdout)
+  end
+
+  def deliver(output, stdout)
+    return publish_html(output) if config.html?
+    return File.write(config.output, output) if config.output
+
+    stdout.puts(output)
+    claim_stdout(stdout) if config.json?
+  end
+
+  # `--preload` brings the project's at_exit hooks into this process, and
+  # SimpleCov's prints its coverage report on the way out. Once the document is
+  # written, stdout is pointed at stderr so nothing can append to it and leave a
+  # consumer with unparseable JSON (EV-g8ya / GH #1608). Text reports are read
+  # by people, not parsers, so they keep the stream as it was.
+  def claim_stdout(stdout)
+    stdout.flush
+    stdout.reopen($stderr)
+  rescue TypeError
+    # A harness that captures output swaps $stdout for a StringIO, which cannot
+    # be reopened onto an IO. There is no file descriptor to protect there.
+    nil
+  end
+
+  def publish_html(output)
+    path = "evilution-report.html"
+    File.write(path, output)
+    warn "HTML report written to #{path}"
   end
 
   def save_session(summary)
@@ -44,7 +66,7 @@ class Evilution::Runner::ReportPublisher
     when :json
       Evilution::Reporter::JSON.new(integration: config.integration)
     when :text
-      Evilution::Reporter::CLI.new
+      Evilution::Reporter::CLI.new(min_score: config.min_score)
     when :html
       Evilution::Reporter::HTML.new(baseline: load_baseline_session, integration: config.integration)
     end

data/lib/evilution/runner/target_spec_audit.rb

@@ -0,0 +1,43 @@
+# frozen_string_literal: true
+
+require_relative "../runner"
+
+# Answers, in the parent process and before any mutation runs, which of the
+# files evilution was pointed at resolve to no test file at all.
+#
+# The integrations resolve specs per mutation inside the worker, which is what
+# produces `:unresolved` results, but that is a per-mutation fact diluted by
+# every other file in the run: a target with no spec at all contributes a
+# handful of unresolved mutations and disappears behind a healthy score
+# (EV-p4sm / GH #1603). Asking the same selector once per file, up front, keeps
+# the stronger fact — "you named this file and it was never tested" — intact.
+#
+# Only files that produced a subject are audited: a file evilution found
+# nothing to mutate in — a constants-only file, say — has no untested behaviour
+# to report, and failing a run over one would be noise.
+#
+# With `fallback_to_full_suite` a file without its own spec is run against the
+# whole suite rather than skipped, so nothing goes untested and there is
+# nothing to report.
+class Evilution::Runner::TargetSpecAudit
+  def initialize(config)
+    @config = config
+  end
+
+  def call(file_paths)
+    return [] if @config.fallback_to_full_suite?
+
+    file_paths.uniq.sort.reject { |path| resolved?(path) }
+  end
+
+  private
+
+  # SpecSelector answers nil when nothing resolves; a custom resolver plugged
+  # in through it may answer an empty list instead.
+  def resolved?(path)
+    specs = @config.spec_selector.call(path)
+    return false if specs.nil?
+
+    !specs.empty?
+  end
+end

data/lib/evilution/runner.rb

@@ -46,9 +46,13 @@ class Evilution::Runner
 
     duration = Process.clock_gettime(Process::CLOCK_MONOTONIC) - start_time
 
+    audited_files = subjects.map(&:file_path).uniq.sort
     summary = Evilution::Result::Summary.new(results: results, duration: duration, truncated: execution.truncated,
                                              skipped: plan.skipped_count,
-                                             disabled_mutations: plan.disabled_mutations)
+                                             disabled_mutations: plan.disabled_mutations,
+                                             unresolved_target_files: target_spec_audit.call(audited_files),
+                                             target_file_count: audited_files.length,
+                                             infra_retried: execution.infra_retried)
     output_report(summary)
     save_session(summary)
 
@@ -71,6 +75,10 @@ class Evilution::Runner
     @mutation_planner ||= Evilution::Runner::MutationPlanner.new(config, registry: registry)
   end
 
+  def target_spec_audit
+    @target_spec_audit ||= Evilution::Runner::TargetSpecAudit.new(config)
+  end
+
   def isolation_resolver
     @isolation_resolver ||= Evilution::Runner::IsolationResolver.new(
       config,
@@ -240,6 +248,7 @@ require_relative "rails_detector"
 require_relative "parallel_db_warning"
 require_relative "child_output"
 require_relative "runner/subject_pipeline"
+require_relative "runner/target_spec_audit"
 require_relative "runner/mutation_planner"
 require_relative "runner/isolation_resolver"
 require_relative "runner/baseline_runner"

data/lib/evilution/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Evilution
-  VERSION = "1.1.0"
+  VERSION = "1.2.0"
 end

data/lib/evilution.rb

@@ -13,6 +13,7 @@ require_relative "evilution/ast/parser"
 require_relative "evilution/ast/inheritance_scanner"
 require_relative "evilution/ast/pattern"
 require_relative "evilution/ast/sorbet_sig_detector"
+require_relative "evilution/ast/local_reads"
 require_relative "evilution/ast/pattern/matcher"
 require_relative "evilution/ast/pattern/parser"
 require_relative "evilution/hooks"
@@ -89,6 +90,14 @@ require_relative "evilution/mutator/operator/defined_check"
 require_relative "evilution/mutator/operator/regex_capture"
 require_relative "evilution/mutator/operator/loop_flip"
 require_relative "evilution/mutator/operator/loop_body_to_raise"
+require_relative "evilution/mutator/operator/method_body_to_raise"
+require_relative "evilution/mutator/operator/method_body_to_super"
+require_relative "evilution/mutator/operator/typed_default_return"
+require_relative "evilution/mutator/operator/block_parameter_drop"
+require_relative "evilution/mutator/operator/optional_parameter_to_required"
+require_relative "evilution/mutator/operator/optional_default_injection"
+require_relative "evilution/mutator/operator/block_destructuring_expansion"
+require_relative "evilution/mutator/operator/forwarding_super_to_explicit"
 require_relative "evilution/mutator/operator/string_interpolation"
 require_relative "evilution/mutator/operator/retry_removal"
 require_relative "evilution/mutator/operator/case_when"
@@ -121,6 +130,9 @@ require_relative "evilution/integration/base"
 require_relative "evilution/integration/rspec"
 require_relative "evilution/integration/minitest"
 require_relative "evilution/result/mutation_result"
+require_relative "evilution/result/neutral_reason"
+require_relative "evilution/result/subject_score"
+require_relative "evilution/result/subject_scorer"
 require_relative "evilution/result/summary"
 require_relative "evilution/reporter"
 require_relative "evilution/reporter/json"

metadata

@@ -1,14 +1,14 @@
 --- !ruby/object:Gem::Specification
 name: evilution
 version: !ruby/object:Gem::Version
-  version: 1.1.0
+  version: 1.2.0
 platform: ruby
 authors:
 - Denis Kiselev
 autorequire:
 bindir: exe
 cert_chain: []
-date: 2026-08-23 00:00:00.000000000 Z
+date: 2026-09-21 00:00:00.000000000 Z
 dependencies:
 - !ruby/object:Gem::Dependency
   name: diff-lcs
@@ -123,6 +123,7 @@ files:
 - lib/evilution/ast/constant_names.rb
 - lib/evilution/ast/heredoc_span.rb
 - lib/evilution/ast/inheritance_scanner.rb
+- lib/evilution/ast/local_reads.rb
 - lib/evilution/ast/parser.rb
 - lib/evilution/ast/pattern.rb
 - lib/evilution/ast/pattern/filter.rb
@@ -150,6 +151,7 @@ files:
 - lib/evilution/cli/commands/util_mutation.rb
 - lib/evilution/cli/commands/version.rb
 - lib/evilution/cli/dispatcher.rb
+- lib/evilution/cli/exit_guard.rb
 - lib/evilution/cli/parsed_args.rb
 - lib/evilution/cli/parser.rb
 - lib/evilution/cli/parser/command_extractor.rb
@@ -206,6 +208,7 @@ files:
 - lib/evilution/coverage/map_store.rb
 - lib/evilution/coverage/recorder.rb
 - lib/evilution/coverage_example_filter.rb
+- lib/evilution/diagnostic.rb
 - lib/evilution/disable_comment.rb
 - lib/evilution/equivalent.rb
 - lib/evilution/equivalent/detector.rb
@@ -237,6 +240,7 @@ files:
 - lib/evilution/integration/loading/constant_pinner.rb
 - lib/evilution/integration/loading/mutation_applier.rb
 - lib/evilution/integration/loading/redefinition_recovery.rb
+- lib/evilution/integration/loading/reeval_warning_filter.rb
 - lib/evilution/integration/loading/source_evaluator.rb
 - lib/evilution/integration/loading/syntax_validator.rb
 - lib/evilution/integration/loading/test_load_path.rb
@@ -311,7 +315,9 @@ files:
 - lib/evilution/mutator/operator/begin_unwrap.rb
 - lib/evilution/mutator/operator/bitwise_complement.rb
 - lib/evilution/mutator/operator/bitwise_replacement.rb
+- lib/evilution/mutator/operator/block_destructuring_expansion.rb
 - lib/evilution/mutator/operator/block_param_removal.rb
+- lib/evilution/mutator/operator/block_parameter_drop.rb
 - lib/evilution/mutator/operator/block_pass_removal.rb
 - lib/evilution/mutator/operator/block_removal.rb
 - lib/evilution/mutator/operator/boolean_expression_to_nil.rb
@@ -334,6 +340,7 @@ files:
 - lib/evilution/mutator/operator/equality_to_identity.rb
 - lib/evilution/mutator/operator/explicit_super_mutation.rb
 - lib/evilution/mutator/operator/float_literal.rb
+- lib/evilution/mutator/operator/forwarding_super_to_explicit.rb
 - lib/evilution/mutator/operator/global_variable_write.rb
 - lib/evilution/mutator/operator/hash_literal.rb
 - lib/evilution/mutator/operator/if_branch_swap.rb
@@ -351,12 +358,16 @@ files:
 - lib/evilution/mutator/operator/loop_body_to_raise.rb
 - lib/evilution/mutator/operator/loop_flip.rb
 - lib/evilution/mutator/operator/method_body_replacement.rb
+- lib/evilution/mutator/operator/method_body_to_raise.rb
+- lib/evilution/mutator/operator/method_body_to_super.rb
 - lib/evilution/mutator/operator/method_call_removal.rb
 - lib/evilution/mutator/operator/mixin_removal.rb
 - lib/evilution/mutator/operator/multiple_assignment.rb
 - lib/evilution/mutator/operator/negation_insertion.rb
 - lib/evilution/mutator/operator/next_statement.rb
 - lib/evilution/mutator/operator/nil_replacement.rb
+- lib/evilution/mutator/operator/optional_default_injection.rb
+- lib/evilution/mutator/operator/optional_parameter_to_required.rb
 - lib/evilution/mutator/operator/pattern_matching_alternative.rb
 - lib/evilution/mutator/operator/pattern_matching_array.rb
 - lib/evilution/mutator/operator/pattern_matching_guard.rb
@@ -381,6 +392,7 @@ files:
 - lib/evilution/mutator/operator/string_literal.rb
 - lib/evilution/mutator/operator/superclass_removal.rb
 - lib/evilution/mutator/operator/symbol_literal.rb
+- lib/evilution/mutator/operator/typed_default_return.rb
 - lib/evilution/mutator/operator/yield_statement.rb
 - lib/evilution/mutator/operator/zsuper_removal.rb
 - lib/evilution/mutator/primitives.rb
@@ -411,19 +423,24 @@ files:
 - lib/evilution/reporter/cli/item_formatters/coverage_gap.rb
 - lib/evilution/reporter/cli/item_formatters/disabled.rb
 - lib/evilution/reporter/cli/item_formatters/error.rb
+- lib/evilution/reporter/cli/item_formatters/neutral_group.rb
 - lib/evilution/reporter/cli/item_formatters/result_location.rb
+- lib/evilution/reporter/cli/item_formatters/subject_score.rb
+- lib/evilution/reporter/cli/item_formatters/subject_score_group.rb
 - lib/evilution/reporter/cli/line_formatters.rb
 - lib/evilution/reporter/cli/line_formatters/duration.rb
 - lib/evilution/reporter/cli/line_formatters/efficiency.rb
 - lib/evilution/reporter/cli/line_formatters/error_rate_warning.rb
 - lib/evilution/reporter/cli/line_formatters/feedback_footer.rb
 - lib/evilution/reporter/cli/line_formatters/header.rb
+- lib/evilution/reporter/cli/line_formatters/infra_retry_notice.rb
 - lib/evilution/reporter/cli/line_formatters/mutations.rb
 - lib/evilution/reporter/cli/line_formatters/peak_memory.rb
 - lib/evilution/reporter/cli/line_formatters/result_line.rb
 - lib/evilution/reporter/cli/line_formatters/score.rb
 - lib/evilution/reporter/cli/line_formatters/truncation_notice.rb
 - lib/evilution/reporter/cli/line_formatters/unresolved_rate_warning.rb
+- lib/evilution/reporter/cli/line_formatters/unresolved_targets.rb
 - lib/evilution/reporter/cli/metrics_block.rb
 - lib/evilution/reporter/cli/pct.rb
 - lib/evilution/reporter/cli/section.rb
@@ -466,6 +483,7 @@ files:
 - lib/evilution/reporter/html/templates/unparseable_details.html.erb
 - lib/evilution/reporter/html/templates/unresolved_details.html.erb
 - lib/evilution/reporter/json.rb
+- lib/evilution/reporter/json/subjects.rb
 - lib/evilution/reporter/progress_bar.rb
 - lib/evilution/reporter/suggestion.rb
 - lib/evilution/reporter/suggestion/diff_helpers.rb
@@ -481,6 +499,9 @@ files:
 - lib/evilution/result/error_info.rb
 - lib/evilution/result/memory_stats.rb
 - lib/evilution/result/mutation_result.rb
+- lib/evilution/result/neutral_reason.rb
+- lib/evilution/result/subject_score.rb
+- lib/evilution/result/subject_scorer.rb
 - lib/evilution/result/summary.rb
 - lib/evilution/runner.rb
 - lib/evilution/runner/baseline_runner.rb
@@ -488,6 +509,7 @@ files:
 - lib/evilution/runner/diagnostics.rb
 - lib/evilution/runner/isolation_resolver.rb
 - lib/evilution/runner/mutation_executor.rb
+- lib/evilution/runner/mutation_executor/infra_retry.rb
 - lib/evilution/runner/mutation_executor/mutation_runner.rb
 - lib/evilution/runner/mutation_executor/neutralization_pipeline.rb
 - lib/evilution/runner/mutation_executor/neutralizer.rb
@@ -502,6 +524,7 @@ files:
 - lib/evilution/runner/mutation_planner.rb
 - lib/evilution/runner/report_publisher.rb
 - lib/evilution/runner/subject_pipeline.rb
+- lib/evilution/runner/target_spec_audit.rb
 - lib/evilution/session.rb
 - lib/evilution/session/diff.rb
 - lib/evilution/session/schema.rb