saboteur 0.12.0 → 0.12.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 7e61c3755190680c12faf62b3a0bcad5f74750da7ff3e3716736e8b9aa733c46
-  data.tar.gz: 85dc6bbddcc174034da44607b55c5c438c883bc5e0c5954a68d8115abb4b5984
+  metadata.gz: ce718289117e022594f50dfb13bfaf3feacf03f99dc1a5b73c7c2463581d24f2
+  data.tar.gz: f99866dbeacb50607ac66ee9f15582b49b1596b318cba1598afdb7bac89a9133
 SHA512:
-  metadata.gz: eceece31e29ceb03758b67aaa4ecfddcf1f6ca1f864358706fabcb8c9fed1f725da5548cd4f810684ac85250651f234b182452dd0525309711b616b997bf8026
-  data.tar.gz: f62d86ac983b24a550ba5696372fee7f9883be0103e823997f5fdd64c7150b42a8d88aae38881cd65ecd3b2141b39c22c9b7513552506a6499dddceb30128a69
+  metadata.gz: 2ef5f5dc4d8d441d35558569bd5649bc4d7bbece07bde9172bd6d660a8d54e0274cc02b36f2968f4e129080cc3ccc3c5bdb3a091c0fbe55341a67d53bf967540
+  data.tar.gz: 9f6d1c79c63abc5d314f79f699bb9ccfa9de5bdb2a8c7d4240d311854774c4eb4c3c40950234f206bb62872008b5525181bd20b13325b080f680ebc4227ad6e5

data/CHANGELOG.md

@@ -6,6 +6,103 @@ All notable changes are documented here. The format follows
 
 ## [Unreleased]
 
+## [0.12.2] - 2026-10-22
+
+### Added
+
+- A scoped run (`--since`, `--subject`, or the default spec inference)
+  confirms its survivors against the whole-suite coverage map when one
+  exists. Each survivor gets one budgeted confirmation run of the covering
+  specs the run did not load. A mutant those specs kill becomes killed,
+  credited to the killing test in the JSON report, and counts in the score
+  and exit code. A survivor whose covering specs could not be run is listed
+  as unconfirmed, left out of the score and exit code, and ranked below
+  confirmed survivors. A map that is older than the tree and says nothing
+  about a survivor's lines keeps that survivor counted, with one line
+  naming how many. A covering spec outside the project root is never
+  loaded (#1286, #1304).
+- `--color` and `--no-color` work on every text command, and a usage error
+  names the command that failed instead of showing `saboteur run` usage
+  (#1288, #1301).
+
+### Changed
+
+- Only `saboteur run --all` records the whole-suite coverage map. A run
+  built from inferred specs no longer claims to be whole-suite. Without a
+  whole-suite map a scoped run prints one line saying survivors are
+  unconfirmed and how to build the map, and each survivor block says its
+  covering list is this run's selection only (#1286, #1300).
+- A statement's gap label comes from all of its surviving mutants with a
+  fixed precedence: result unchecked, error path, branch, boundary,
+  effect, number, instead of from the first mutant (#1289, #1297).
+- `baseline propose` records a mutant on a line no test runs as a gap
+  instead of an unexecuted blocker, so a tested method with one untested
+  line can still be proposed (#1287, #1299).
+- A config-less Rails app's default `app/**/*.rb` include counts as a
+  full run, so the stale ignore entry warning fires there (#1255, #1296).
+- `--quiet` no longer prints the missing-config notice, the coverage cache
+  miss or the map-build lines (#1264, #1293).
+- Output polish: the run header names the `--subject` scope, the
+  no-spec note reads in the singular, untested subjects are named once
+  under "Not scored", and the replay example uses the top-ranked
+  survivor (#1291, #1298).
+- Report test ids in `killedBy`, `coveredBy` and `testFiles` are numbered
+  by sorted test name, so the same tests keep the same ids across runs
+  (#1282, #1295). Covering tests are ordered by millisecond buckets, so
+  kill attribution is stable (#1274, #1283).
+
+### Fixed
+
+- An empty `--since` diff whose mutants all failed generation no longer
+  exits 0 under `--threshold`, and `--ignore-empty` no longer fails a run
+  without `--since` (#1265, #1266, #1284).
+- `saboteur survivors` no longer drops an unknown keyword silently
+  (#1267, #1285).
+
+### Corrected
+
+- 0.12.0 said uncovered survivors are labeled `input_gap`, "separate from
+  assertion gaps" (#1254, #1157). Only `input_gap` exists, meaning no test
+  ran the mutant. There is no assertion-gap label yet (#1064).
+- 0.11.2 said survivor blocks consult the whole-suite coverage map,
+  "ending false survivors from diff-scoped runs" (#1252). That change
+  only affects which covering tests a block lists. A survivor whose real
+  test sits in a spec file saboteur did not select can still be reported
+  as a survivor; see "Know the limits" in the README.
+
+### Tests
+
+- The worker pool and supervisor specs assert concurrency with a barrier
+  instead of a wall-clock bound (#1302, #1303).
+
+## [0.12.1] - 2026-10-22
+
+### Changed
+
+- `--quiet` now stays quiet from startup: the start header, baseline
+  line, inference detail and progress bar no longer print. A `--since`
+  diff that selects no mutants exits 0 with a plain "nothing to gate"
+  note instead of failing a score threshold, and `--ignore-empty` is a
+  deprecated no-op. A diff with suppressed, omitted or undiscovered
+  mutants, or with an unverifiable scope, still gates (#1268, #1142,
+  #1149).
+- `saboteur survivors` lists survivors ranked by default, matching
+  `run`, and owns its own command surface and help (#1269, #1150).
+
+### Fixed
+
+- An error-dominated run no longer prints a bare score: the terminal
+  closing line and the HTML report headline and summary say `n/a`, like
+  the terminal headline already did (#1275, #1271, #1276, #1272).
+
+### Tests
+
+- New end-to-end pins for per-path score gates, the `Score: n/a`
+  headline, the README get-started flow, parallel coverage parts and
+  the trace recorder, survivor triage labels, kills split by cause and
+  a docs-only `--since` diff under a threshold (#1270, #1273, #1278,
+  #1279, #1280, #1281, #1277, #1159, #1158).
+
 ## [0.12.0] - 2026-10-22
 
 ### Added

data/README.md

@@ -80,15 +80,19 @@ tree refuses with exit 2 and points at the generator. Engine gem with
   assertion, 1 by a crash`), and an error-dominated run prints
   `Score: n/a` instead of a number you would misread.
 - 🔍 **Survivors you can act on.** Survivors group per statement with a
-  triage label (`likely_equivalent`, `arid`, `tool_limit`, or a gap kind) and their
+  triage label (`likely_equivalent`, `arid`, `tool_limit`, `input_gap` when no test
+  ran the mutant, or a gap kind) and their
   covering tests - split into the tests that ran against the mutant and
   the ones that never did. `saboteur survivors` browses them read-only:
   one digest shows the full diff and the exact replay command.
 - 🧪 **Flakiness contained.** `--flaky-check survivors` re-runs each new
   survivor in a reordered confirmation pass; a verdict the rerun disagrees
   with becomes `unverified` and stays out of the score. With
-  `partial_coverage = "use"`, open survivors get one budgeted confirmation
-  run against the covering specs that never ran them.
+  `partial_coverage = "use"`, open
+  survivors get one budgeted confirmation run against the covering specs
+  that never ran them when the map is built from every spec (`--all`, no
+  `--test`, one coverage part, cache on). Default inferred-spec runs, `pr`
+  included, skip it.
 - 📊 **Reports for people and tools.** Terminal, HTML, a Stryker-compatible
   JSON report, and a stable agent JSON API with a deprecation policy. The
   GitHub Action posts survivors as review comments on your PR diff lines.
@@ -127,6 +131,15 @@ tree refuses with exit 2 and points at the generator. Engine gem with
 - A survivor is review evidence, not proof of a bug in your tests. It can
   be a missing test, an equivalent change, a flaky test, or a limit of
   the tool. Read it before you write a test for it.
+- A survivor can be false when the test that kills it lives in a spec
+  file saboteur did not select. Runs without `--test` pick specs by file
+  name and by the constants they read, so a test in a differently named
+  spec (say `spec/integration/flow_spec.rb` for `lib/ledger/router.rb`)
+  may never run against the mutant, and the "covered by ... ran, still
+  passed" lines list the specs that ran, plus any others marked "not run
+  here". If you know
+  another spec exercises the code, run again with `--test` naming it
+  before you trust the survivor.
 - `--since` and `--incremental` are iteration aids. Run the whole project
   on main and before a release.
 - Sandboxing varies by platform and network access is never restricted.

data/lib/saboteur/baseline/command.rb

@@ -21,6 +21,7 @@ module Saboteur
           opts.on("--subject EXPR", "Whole subject filter; repeatable") { |value| add_subject(value) }
           opts.on("--seed N", Integer, "Repeatable run seed") { |value| set(:seed, value) }
           opts.on("--format FORMAT", "propose: terminal (default) or json") { |value| @format = value }
+          define_color_options(opts)
         end
       end
 
@@ -86,7 +87,11 @@ module Saboteur
         survivors = payload.fetch("survivors")
         @out.puts("  matched mutants: #{payload.fetch('candidates')} " \
                   "(#{plural(survivors, 'survivor')} to reason about)")
-        gaps = payload.fetch("gaps", [])
+        uncovered, gaps = payload.fetch("gaps", []).partition { |gap| gap.start_with?("no_coverage:") }
+        unless uncovered.empty?
+          @out.puts("  proposed with #{plural(uncovered.size, 'mutant')} on lines no test runs - " \
+                    "the baseline cannot speak for them")
+        end
         unless gaps.empty?
           names = gaps.map { |gap| gap.sub(/\A(subject_skipped|omitted):/, "") }
           @out.puts("  proposed with #{plural(names.size, 'untested subject')}: #{names.join(', ')} - " \

data/lib/saboteur/baseline/comparison.rb

@@ -38,7 +38,10 @@ module Saboteur
       def classify(baseline, current)
         categories = CATEGORY_NAMES.to_h { |name| [name, []] }
         previous = baseline.fetch("accepted").to_h { |entry| [entry.fetch("id"), entry] }
+        uncovered = uncovered_ids(current)
         current.fetch("candidates").each do |entry|
+          next if uncovered.include?(entry.fetch("id"))
+
           accepted = previous.delete(entry.fetch("id"))
           name = category(entry, accepted)
           categories.fetch(name) << entry if name
@@ -48,6 +51,11 @@ module Saboteur
         categories
       end
 
+      # Mutants on lines no test runs are listed as gaps, never as errors.
+      def uncovered_ids(current)
+        Completeness.uncovered_ids(current.fetch("gaps", []))
+      end
+
       def category(entry, accepted)
         case entry.fetch("status")
         when "survived"

data/lib/saboteur/baseline/completeness.rb

@@ -7,17 +7,24 @@ module Saboteur
     class Completeness
       EXECUTED = %w[killed survived timeout].freeze
       # Soft gaps limit what the baseline can speak for; they never refuse a
-      # proposal. Everything else is a hard blocker.
-      SOFT_PREFIXES = %w[subject_skipped: omitted:].freeze
+      # proposal. Everything else is a hard blocker. no_coverage: is a mutant
+      # on a line no test runs inside a tested subject (#1287).
+      SOFT_PREFIXES = %w[subject_skipped: omitted: no_coverage:].freeze
       attr_reader :issues
 
+      # The mutant ids named by no_coverage: gaps.
+      def self.uncovered_ids(gaps)
+        gaps.filter_map { |gap| gap.delete_prefix("no_coverage:") if gap.start_with?("no_coverage:") }
+      end
+
       def self.soft_gap?(issue)
         SOFT_PREFIXES.any? { |prefix| issue.start_with?(prefix) }
       end
 
       def initialize(planned:, results:, subjects:, stable_suite:, stable_inputs:, skipped_subjects:, omitted:,
-                     generation_issues:)
+                     generation_issues:, uncovered: [])
         @issues = []
+        @uncovered = uncovered
         issues << "unchanged_suite_incomplete" unless stable_suite
         issues << "inputs_unverified" unless stable_inputs
         validate_inventory(planned, subjects)
@@ -66,7 +73,10 @@ module Saboteur
       def validate_results(results)
         results.each do |entry|
           status = entry.fetch("status")
-          issues << "unexecuted:#{entry.fetch('id')}:#{status}" unless EXECUTED.include?(status)
+          next if EXECUTED.include?(status)
+
+          id = entry.fetch("id")
+          issues << (@uncovered.include?(id) ? "no_coverage:#{id}" : "unexecuted:#{id}:#{status}")
         end
       end
     end

data/lib/saboteur/baseline/evidence.rb

@@ -47,11 +47,18 @@ module Saboteur
           entry.slice("id", "context").merge("reason" => reasons)
         end
         { "format" => Manifest::FORMAT, "identity_version" => Identity::VERSION,
-          "metadata" => metadata, "candidates" => document.fetch("candidates"), "accepted" => accepted }
+          "metadata" => metadata, "candidates" => executed_candidates, "accepted" => accepted }
       end
 
       private
 
+      # A mutant on a line no test runs is a gap in the proposal's issues,
+      # not a candidate: the baseline has no verdict to compare it against.
+      def executed_candidates
+        uncovered = Completeness.uncovered_ids(document.fetch("gaps"))
+        document.fetch("candidates").reject { |entry| uncovered.include?(entry.fetch("id")) }
+      end
+
       def array!(value, name)
         raise ConfigError, "baseline #{name}" unless value.is_a?(Array)
       end

data/lib/saboteur/baseline/run_evidence.rb

@@ -43,6 +43,7 @@ module Saboteur
         errors = generation_issues(generation, results) + context_issues(observed) + discovery_issues(discovery)
         suppressions = suppression_scope(inline_suppressions)
         errors += suppression_issues(suppressions)
+        @uncovered = uncovered_ids(results)
         completeness = assess(observed, stable_suite, skipped_subjects, omissions, errors)
         document = { "compatibility" => compatibility, "snapshot" => @snapshot.to_h, "subjects" => @subjects,
                      "candidates" => observed, "planned" => @planned,
@@ -83,13 +84,21 @@ module Saboteur
         end
       end
 
+      # Mutants skipped only because no test runs their line.
+      def uncovered_ids(results)
+        uncovered = results.select { |result| result.reason&.start_with?("no coverage") }
+        uncovered.map do |result|
+          Identity.new(subject: result.subject, mutation: result.mutation, root: @root).entry.fetch("id")
+        end
+      end
+
       def assess(observed, stable_suite, skipped_subjects, omissions, errors)
         skipped = skipped_subjects.map { |subject, reason| "#{subject.id}:#{reason}" }
         Completeness.new(planned: @planned.map { |entry| entry.fetch("id") }, results: observed,
                          subjects: @subjects, stable_suite: stable_suite,
                          stable_inputs: @fingerprint.verify(@snapshot).unchanged, skipped_subjects: skipped,
                          omitted: omissions.map { |entry| "#{entry.subject}:#{entry.count}" },
-                         generation_issues: errors)
+                         generation_issues: errors, uncovered: @uncovered)
       end
 
       def compatibility

data/lib/saboteur/baseline/workflow.rb

@@ -13,6 +13,8 @@ module Saboteur
     # Opt-in orchestration: every check/proposal runs fresh; acceptance only
     # edits reasons after verifying private execution evidence and current inputs.
     class Workflow
+      UNEXECUTED = /\Aunexecuted:([0-9a-f]{64}):(\w+)\z/
+
       def initialize(config:, err: $stderr)
         @config = config
         @err = err
@@ -50,20 +52,30 @@ module Saboteur
           [Identity.new(subject: result.subject, mutation: result.mutation, root: @root).entry.fetch("id"), result]
         end
         blockers.each { |issue| @err.puts("saboteur: baseline proposal blocker: #{describe_blocker(issue, by_id)}") }
-        if blockers.any? { |issue| issue.start_with?("unexecuted:") }
-          @err.puts("saboteur: cover the skipped code with specs or narrow include, then propose again")
-        end
+        advise_unexecuted(blockers, by_id)
         raise Error, "baseline proposal needs a proposable run"
       end
 
+      # Narrowing include cannot add line coverage, so a blocker whose only
+      # cause is no coverage gets the specs advice alone.
+      def advise_unexecuted(blockers, by_id)
+        unexecuted = blockers.grep(/\Aunexecuted:/)
+        return if unexecuted.empty?
+
+        results = unexecuted.map { |issue| by_id[UNEXECUTED.match(issue)&.[](1)] }
+        coverage_only = results.all? { |result| result&.reason&.start_with?("no coverage") }
+        advice = coverage_only ? "specs" : "specs or narrow include"
+        @err.puts("saboteur: cover the skipped code with #{advice}, then propose again")
+      end
+
       def describe_blocker(issue, by_id)
-        match = /\Aunexecuted:([0-9a-f]{64}):(\w+)\z/.match(issue)
+        match = UNEXECUTED.match(issue)
         result = match && by_id[match[1]]
         return issue unless result
 
         detail = "#{result.subject.id} #{result.mutation.operator}"
         detail += " - #{result.reason}" if result.reason
-        "#{issue} (#{detail})"
+        "unexecuted:#{result.digest}:#{match[2]} (#{detail})"
       end
 
       def propose(proposal:, destination:, previous: nil)

data/lib/saboteur/cli/color_option.rb

@@ -0,0 +1,26 @@
+# SPDX-License-Identifier: MIT
+# frozen_string_literal: true
+
+module Saboteur
+  class CLI
+    # The colour switches every command that prints text accepts (#1288).
+    # --no-color stays as a deprecated alias for --color=never.
+    module ColorOption
+      private
+
+      def define_color_options(opts)
+        opts.on("--color [MODE]", %w[always never auto],
+                "Colour the text report: always, never or auto (default: auto)") do |value|
+          @color = (value || :always).to_sym
+        end
+        opts.on("--no-color", "Deprecated alias for --color=never") { @color = :never }
+      end
+
+      # Consume leading colour switches for commands that otherwise take
+      # positional arguments only (help, explain).
+      def consume_color_options
+        OptionParser.new { |opts| define_color_options(opts) }.order!(@argv)
+      end
+    end
+  end
+end

data/lib/saboteur/cli/doctor_command.rb

@@ -15,6 +15,7 @@ module Saboteur
           opts.on("--test PATH", "Spec file or directory for the suite runs; repeatable. Implies --suite") do |value|
             (options[:tests] ||= []) << value
           end
+          define_color_options(opts)
         end
       end
 

data/lib/saboteur/cli/exit_status.rb

@@ -15,7 +15,7 @@ module Saboteur
       def exit_code(report)
         return EXIT_BUDGET if budget_exhausted?(report)
 
-        return EXIT_OK if ignore_empty_diff?(report)
+        return EXIT_OK if empty_clean_diff?(report)
 
         return EXIT_TOOL if untested_partial?(report)
 
@@ -29,14 +29,19 @@ module Saboteur
         gates.failed?(report, @err, record_cause: !quality_failed) || quality_failed ? EXIT_SURVIVORS : EXIT_OK
       end
 
-      # --ignore-empty: a --since diff that selected no mutants exits 0 with
-      # a note; suppressed, omitted or undiscovered mutants still gate.
-      def ignore_empty_diff?(report)
-        return false unless config["ignore_empty"] && config["since"] && report.results.empty?
+      # A --since diff that selected no mutants exits 0 with a plain note,
+      # with or without --ignore-empty: a docs-only change has no score, so a
+      # threshold must not fail it (#1142). Suppressed, omitted or
+      # undiscovered mutants still gate, and so do mutants dropped because they
+      # did not parse (#1265) - the selection must be honestly empty, not just
+      # empty-handed.
+      def empty_clean_diff?(report)
+        return false unless config["since"] && report.results.empty?
+        return false if unverifiable_scope?(report)
         return false unless report.omissions.empty? && report.inline_suppressions.empty? &&
-                            report.discovery_failures.empty?
+                            report.discovery_failures.empty? && report.invalid_mutations.zero?
 
-        @err.puts("saboteur: no mutants in the diff - nothing to gate (--ignore-empty)")
+        @err.puts("saboteur: no mutants in the diff - nothing to gate")
         true
       end
 

data/lib/saboteur/cli/explain_command.rb

@@ -15,6 +15,7 @@ module Saboteur
       private
 
       def explain_command
+        consume_color_options
         name = @argv.shift
         raise UsageError, "usage: saboteur explain <operator>" if name.nil?
 
@@ -27,7 +28,7 @@ module Saboteur
           return EXIT_USAGE
         end
 
-        @out.puts(render_explain(entry, palette: Reporter::Palette.for(@out, mode: :auto)))
+        @out.puts(render_explain(entry, palette: Reporter::Palette.for(@out, mode: @color || :auto)))
         EXIT_OK
       rescue UsageError => e
         @err.puts("saboteur: #{e.message}")

data/lib/saboteur/cli/failure_output.rb

@@ -26,8 +26,19 @@ module Saboteur
 
       def usage_error(message = nil)
         @err.puts(Reporter::Palette.for(@err, mode: @color || :auto).paint(:fail, message)) if message
-        @err.puts(USAGE)
-        agent_failure(message || USAGE, EXIT_USAGE)
+        usage = command_usage
+        @err.puts(usage)
+        agent_failure(message || usage, EXIT_USAGE)
+      end
+
+      # The usage line of the command that failed, never run's for another
+      # command (#1288).
+      def command_usage
+        banner = { "doctor" => :doctor_parser, "baseline" => :baseline_parser, "badge" => :badge_parser,
+                   "trend" => :trend_parser }[@command]
+        return USAGE unless banner
+
+        "#{send(banner).banner}\nRun 'saboteur help #{@command}' for every option."
       end
 
       def agent? = @format == "agent"

data/lib/saboteur/cli/help_command.rb

@@ -8,6 +8,11 @@ module Saboteur
     module HelpCommand
       private
 
+      def help_command
+        consume_color_options
+        show_help(@argv.shift)
+      end
+
       def help_requested? = @argv.intersect?(%w[--help -h])
 
       def show_help(command_name)

data/lib/saboteur/cli/history_command.rb

@@ -20,6 +20,7 @@ module Saboteur
           opts.on("--mark-partial", "Badge an incomplete run, labeled as partial") { @mark_partial = true }
           opts.on("--high PERCENT", Float, "brightgreen at or above (default #{DEFAULT_HIGH.to_i})") { |v| @high = v }
           opts.on("--low PERCENT", Float, "yellow at or above (default #{DEFAULT_LOW.to_i})") { |v| @low = v }
+          define_color_options(opts)
         end
       end
 
@@ -27,6 +28,7 @@ module Saboteur
         OptionParser.new do |opts|
           opts.banner = "Usage: saboteur trend [--history PATH]"
           opts.on("--history PATH", "Score history JSONL (default: c.score_history)") { |v| @history_path = v }
+          define_color_options(opts)
         end
       end
 

data/lib/saboteur/cli/output_options.rb

@@ -29,10 +29,7 @@ module Saboteur
           @verbose = true
           set(:verbose, true)
         end
-        opts.on("--color [MODE]", %w[always never auto],
-                "Colour the text report: always, never or auto (default: auto)") do |v|
-          @color = (v || :always).to_sym
-        end
+        define_color_options(opts)
 
         # PR6: CI and pre-push output - the findings and the verdict only.
         opts.on("--quiet", "Text report: print only the findings and the verdict;",
@@ -46,7 +43,6 @@ module Saboteur
         # top three; --details restores a block for every finding.
         opts.on("--details", "Text report: full blocks for every finding;",
                 "default: one-line list plus the top 3 blocks") { set(:details, true) }
-        opts.on("--no-color", "Deprecated alias for --color=never") { @color = :never }
       end
     end
   end

data/lib/saboteur/cli/run_command.rb

@@ -22,7 +22,7 @@ module Saboteur
       # there is no init command - the Rails generator writes the config.
       def announce_missing_config_file(palette)
         # @format, not agent_requested?: parse! has already eaten --format.
-        return if @format == "agent" || config.config_file_present
+        return if @format == "agent" || options[:quiet] || config.config_file_present
 
         path = options[:config] || Config::FILE
         notice =

data/lib/saboteur/cli/run_reporting.rb

@@ -23,7 +23,7 @@ module Saboteur
                                      replay_command: survivor_replay_command(report, engine),
                                      all_mutants: options[:all_mutants] || false, details: options[:details] || false,
                                      exit_code: code, previous_score: previous_score, scope: scope_label,
-                                     whole_suite_map: whole_suite_map_for(engine),
+                                     whole_suite_map: whole_suite_map_for(engine, report),
                                      run_map: engine&.run_coverage_map,
                                      baseline_gate: (baseline_gate(report) if config["baseline"])).call(report)
         Reporter::Replay.new(@out).call(report) if options[:id]
@@ -40,14 +40,6 @@ module Saboteur
         code
       end
 
-      # No engine or no cache: no whole-suite map can exist, so the survivor
-      # block keeps its legacy covered-by line over an impossible build (review C1).
-      def whole_suite_map_for(engine)
-        return engine.whole_suite_coverage_map if engine&.whole_suite_map_lookup?
-
-        Reporter::SurvivorList::NO_WHOLE_SUITE_LOOKUP
-      end
-
       def agent_run(arguments)
         tree = WorkingTree.new(config.root, ignored: config.ignored_tree_paths).state
         # The machine path is exempt from the noise diet: quiet_start: false
@@ -81,7 +73,7 @@ module Saboteur
 
         # Text mode only: the engine prints a per-subject marks line when
         # --verbose is on (#262); --agent output stays as it is.
-        engine = Engine.new(config, **arguments, verbose: @verbose || false)
+        engine = Engine.new(config, **arguments, verbose: @verbose || false, quiet: @quiet || false)
         text_run(engine.call, engine)
       end
 

data/lib/saboteur/cli/run_validation.rb

@@ -36,7 +36,6 @@ module Saboteur
       def validate_run_options
         reject_format_conflicts
         validate_shard_options
-        raise UsageError, "--ignore-empty applies to --since runs" if config["ignore_empty"] && !config["since"]
 
         validate_baseline_options
 

data/lib/saboteur/cli/selection_options.rb

@@ -22,8 +22,9 @@ module Saboteur
         opts.on("--id DIGEST", "Replay exactly one current mutant by its full digest") { |v| set(:id, v) }
         opts.on("--shard K/N", "Run one of N deterministic candidate shards (for example 1/4)") { |v| set(:shard, v) }
         opts.on("--since REF", "Only mutate subjects changed since git REF") { |v| options[:since] = v }
-        opts.on("--ignore-empty", "A --since diff that selects no mutants exits 0 with a note instead of " \
-                                  "failing a score gate") { set(:ignore_empty, true) }
+        opts.on("--ignore-empty", "Deprecated no-op: the no-mutant diff case always exits 0 (#1142)") do
+          set(:ignore_empty, true)
+        end
         flaky_desc = "Confirm a fresh verdict (survivors, decisive) with one reordered rerun"
         opts.on("--flaky-check MODE", %w[off survivors decisive], flaky_desc) { |v| set(:flaky_check, v) }
         opts.on("--subject EXPR", "Klass#meth, Klass.meth or a namespace; repeatable") { |v| add_subject(v) }