kimera 0.1.0 → 0.1.2

checksums.yaml

@@ -1,7 +1,7 @@
 ---
 SHA256:
-  metadata.gz: 1a60ca56321e6bfd3e82903b80f1ad75fc16e0647fff5f88be9042424643e3f0
-  data.tar.gz: d204852e218e3707f920e9ab5b1efb422395c971b2fa69aecb5a571ac28b7d73
+  metadata.gz: 042a730e48edfef4744060425cd10f04e34006025af3f36db3ab17f0be59e0bc
+  data.tar.gz: 97a3914ca3f803f01e68564af89ee07667703aadfa6ec74269bbf37470add0fb
 SHA512:
-  metadata.gz: 63e971e4626da90289ad7b6f8a9483190820b6defa09f12d3e070639d3606fdde01cccaf73da24774de75b212764623747be187f3435b9e8cb7e4e50223e0d1f
-  data.tar.gz: be9614ecc3c6d9a89add30e5893a6ccbb5c934b0b06c5df518f19cd0483a9ade6eded8cfd15409c762cb147bf3f6c6803bf75607190e755977bdac0c2b2753a6
+  metadata.gz: 2c2d774a35384621bca26d92d5c9e77550f3b08ecf1304019b37e695eeacbbc5566622de50fbae65077f61035fa25e241817aa31e917c0455e8ad23b26c00f9b
+  data.tar.gz: 7ebd3017fd0edbd7a2abb3c585ee347dfe0b66a03111ffa9efb322b835b6661d29bd2554f863bc075035f242da3bf66f514f098ebaf2b64339b39b90f8dde558

data/CHANGELOG.md

@@ -1,5 +1,39 @@
 # Changelog
 
+## 0.1.2 (2026-09-26)
+
+- Kimera sets `KIMERA=1` in its own process before loading the suite, and in
+  the `kimera doctor` test commands. A coverage floor gated on
+  `ENV["KIMERA"]` no longer fails a passing warm run with exit 2 or blocks
+  doctor's dry run. (#6)
+- A string interpolating a local bound by a pattern (`in [:ok, chosen]`,
+  `=> chosen`), a `&block` parameter, or a regexp named capture no longer
+  sinks its file's mutants. unparser 0.9 could not round-trip it; Kimera now
+  teaches unparser those bindings. (#7)
+- The per-method splice fallback now claims mutants in an endless method
+  (`def big? = value > 10`), and reopens `Data.define` / `Struct.new`
+  constants instead of redefining them, so spliced guards are reached. (#7)
+- Mutants Kimera could not instrument are reported as `unmutatable`, with the
+  reason, instead of `no_coverage`. They never gate and stay out of the score,
+  so `--fail-on-no-coverage` again means "no test executes this". (#7)
+- `kimera run --since` no longer crashes with "invalid byte sequence in
+  US-ASCII" when the locale isn't UTF-8 (e.g. `LANG` unset) and the diff
+  contains non-ASCII text. Git's diff output is read as UTF-8, with invalid
+  bytes replaced. (#9)
+
+## 0.1.1 (2026-09-26)
+
+- Fix a boot crash on case-sensitive filesystems (Linux): `require "English"`
+  was spelled `require "english"`.
+- `--isolated` judges a mutant on failed tests, not the child's exit status.
+  A child that exits non-zero with zero failures (e.g. a SimpleCov
+  `minimum_coverage` floor tripped by the partial run) is now `harness_error`
+  instead of a false kill. Kills carry their failing tests. Children run with
+  `KIMERA=1`, and `kimera doctor` warns about an ungated coverage floor.
+- Skill: raising `max_ignored` is a judgment any triager may make when the
+  entry has earned it (isolated survival, a mechanism `reason:`, the raise in
+  the same diff), never a way to make a failing gate pass.
+
 ## 0.1.0 (2026-09-26)
 
 Initial public release.

data/README.md

@@ -218,6 +218,19 @@ process with the code under test. On ordinary code it reaches the same verdicts
 as the warm path. It can also test what the warm path can't: the runtime
 selector and Kimera's own harness-critical files (see below).
 
+An isolated child is judged on its failed tests, not its exit status. A child
+that exits non-zero with no failing test is `harness_error` (unjudged, gated
+by `--max-errors`), not a kill. The usual cause is a coverage floor such as
+SimpleCov's `minimum_coverage`, which a partial run always trips. Kimera sets
+`KIMERA=1` wherever it loads your suite (the warm process, `--isolated`
+children, and `kimera doctor`'s test commands), so skip the floor there:
+
+```ruby
+SimpleCov.start { minimum_coverage(line: 100, branch: 100) unless ENV["KIMERA"] }
+```
+
+`kimera doctor` warns when it finds an ungated `minimum_coverage`.
+
 ### Progress output
 
 During a run, a progress bar tracks each phase on stderr. It shows only when
@@ -260,7 +273,8 @@ fail_on_no_coverage: false
 
 # The gate fails when more than this many mutants are ignore-listed. Marking
 # one more mutant equivalent means raising this number in the same diff, so
-# the ignore list stays a reviewed decision, not a shortcut past a test.
+# the ignore list stays a justified decision, reviewed in the diff that makes
+# it, not a shortcut past a test.
 max_ignored: 1
 
 # Accepted pre-adoption survivors, merged with the ignore rules below.
@@ -491,8 +505,11 @@ source ──Prism──▶ registry (mutation points, JSON) ──┬─▶ syn
   baseline, or worse, as kills that are really collisions.
 - **Score definition.** `score = killed / evaluable`.
   - Killed includes timeouts and errors (observable misbehaviour).
-  - Evaluable excludes `no_coverage`, `ignored`, `isolated_only`, and
-    `harness_error` mutants. Each is reported separately.
+  - Evaluable excludes `no_coverage`, `ignored`, `isolated_only`,
+    `unmutatable`, and `harness_error` mutants. Each is reported separately.
+  - An `unmutatable` mutant is one Kimera could not instrument for the warm
+    run (its file or method failed to re-emit or load); the detail says why.
+    It never gates, and it is not `no_coverage`: a test may well run it.
   - A `harness_error` is a mutant Kimera could not judge: its worker died, or
     its reply was unreadable. It is not a kill. It gates via `--max-errors`
     (default 0). A pool that never produces a result aborts the run.

data/lib/kimera/cli/doctor.rb

@@ -1,10 +1,10 @@
 # frozen_string_literal: true
 
-require "open3"
 require_relative "../error"
 require_relative "../scope/config"
 require_relative "../scope/file_set"
 require_relative "flag"
+require_relative "test_command"
 
 class Kimera::CLI::Doctor
   OPTIONS = Kimera::FlagTable.new(
@@ -16,6 +16,8 @@ class Kimera::CLI::Doctor
 
   FRAMEWORK_FEATURES = { "rspec" => "rspec/core", "minitest" => "minitest" }.freeze
 
+  HELPERS = %w[.simplecov spec/spec_helper.rb spec/rails_helper.rb test/test_helper.rb].freeze
+
   def initialize(io: $stdout, errors: $stderr, root: ".")
     @io = io
     @errors = errors
@@ -38,7 +40,8 @@ class Kimera::CLI::Doctor
   end
 
   def checks(config, options)
-    all = [configuration(config), framework(config), sources(config), tests(config), git, rails]
+    all = [configuration(config), framework(config), sources(config), tests(config), loading(config), git, rails]
+    all.concat(floor)
     options[:check_baseline] ? all << baseline(config) : all
   end
 
@@ -76,7 +79,7 @@ class Kimera::CLI::Doctor
   def found(count, present, absent) = count.zero? ? ["✗", absent] : ["✓", present]
 
   def git
-    return ["✓", "Git: incremental runs are available"] if File.directory?(File.join(@root, ".git"))
+    return ["✓", "Git: incremental runs are available"] if File.exist?(File.join(@root, ".git"))
     ["!", "Git: not a repository; `kimera changed` is unavailable"]
   end
 
@@ -87,22 +90,28 @@ class Kimera::CLI::Doctor
 
   def rails? = File.file?(File.join(@root, "config", "application.rb"))
 
-  def baseline(config)
-    output, status = Open3.capture2e(*command(config), chdir: @root)
-    return ["✓", "Baseline: configured test suite is green"] if status.success?
-    ["✗", "Baseline: #{summary(output)} (fix it, then rerun `kimera doctor --check-baseline`)"]
-  rescue Errno::ENOENT
-    ["✗", "Baseline: Bundler is unavailable; run your test suite, then retry"]
+  def floor
+    helper = HELPERS.find { |path| floor?(File.join(@root, path)) }
+    helper ? [["!", floored(helper)]] : []
+  end
+
+  def floored(helper)
+    "Coverage floor: minimum_coverage in #{helper} fails Kimera's partial runs; " \
+      "skip it when ENV[\"KIMERA\"] is set (Kimera sets it)"
   end
 
-  def command(config)
-    files = test_files(config)
-    minitest?(config) ? ["bundle", "exec", "ruby", "-Itest", *files] : ["bundle", "exec", "rspec", *files]
+  def floor?(path)
+    return false unless File.file?(path)
+    source = File.read(path)
+    source.include?("minimum_coverage") && !source.include?("KIMERA")
   end
 
-  def summary(output)
-    output.lines.reverse.find { |line| line.match?(/\d+ failures?|\d+ examples?|failed/i) }&.strip ||
-      "test command failed"
+  def baseline(config) = test_command(config).baseline
+
+  def loading(config) = test_command(config).loading
+
+  def test_command(config)
+    Kimera::CLI::TestCommand.new(config.fetch(:framework, "rspec").to_s, test_files(config), root: @root)
   end
 
   def minitest?(config) = config.fetch(:framework, "rspec") == "minitest"

data/lib/kimera/cli/run/cycle.rb

@@ -1,5 +1,6 @@
 # frozen_string_literal: true
 
+require_relative "../../execution/suite_env"
 require_relative "../../incremental/selection"
 require_relative "../../incremental/session"
 require_relative "digest"
@@ -71,7 +72,8 @@ class Kimera::CLI::Run::Cycle
       .transform_keys(&:to_s)
   end
 
-  def harness(remaining, loaded)
+  def harness(remaining, loaded, env: ENV)
+    env.update(Kimera::Execution::SUITE_ENV)
     adapter = Kimera::Frameworks::Adapter.load(@options[:framework])
     Kimera::CLI::Run::Pass.new(@registry, @options, adapter).call(remaining, loaded)
   end

data/lib/kimera/cli/survivors.rb

@@ -15,7 +15,7 @@ class Kimera::CLI::Survivors
       Kimera::Flag.build(
         "--status NAME", :status,
         "List a different status (survived, no_coverage, " \
-          "timeout, error, killed, isolated_only)"
+          "timeout, error, killed, isolated_only, unmutatable)"
       )
     ]
   )

data/lib/kimera/cli/test_command.rb

@@ -0,0 +1,54 @@
+# frozen_string_literal: true
+
+require "open3"
+require_relative "../execution/suite_env"
+
+class Kimera::CLI::TestCommand
+  LOADER = "ARGV.map { |f| File.expand_path(f) }.tap { ARGV.clear }.each { |f| require(f) }"
+  DRY_RUN = "require 'minitest'; Minitest.class_variable_set(:@@installed_at_exit, true); #{LOADER}; exit!(0)".freeze
+
+  def initialize(framework, files, root:)
+    @framework = framework
+    @files = files
+    @root = root
+  end
+
+  def baseline
+    check(run, "Baseline: configured test suite is green") { |failure| ["✗", "Baseline: #{advice(failure)}"] }
+  end
+
+  def loading
+    check(dry_run, "Test loading: every test file loads") do |failure|
+      failure ? ["✗", "Test loading: #{failure}"] : ["!", "Test loading: Bundler is unavailable; not checked"]
+    end
+  end
+
+  private
+
+  def advice(failure)
+    return "Bundler is unavailable; run your test suite, then retry" unless failure
+    "#{failure} (fix it, then rerun `kimera doctor --check-baseline`)"
+  end
+
+  def check(command, passed)
+    output, status = Open3.capture2e(Kimera::Execution::SUITE_ENV, *command, chdir: @root)
+    status.success? ? ["✓", passed] : yield(summary(output))
+  rescue Errno::ENOENT
+    yield(nil)
+  end
+
+  def run = minitest? ? ruby(LOADER) : rspec
+
+  def dry_run = minitest? ? ruby(DRY_RUN) : rspec("--dry-run")
+
+  def summary(output)
+    output.lines.reverse.find { |line| line.match?(/\d+ failures?|\d+ examples?|failed|Error\b/i) }&.strip ||
+      "test command failed"
+  end
+
+  def ruby(script) = ["bundle", "exec", "ruby", "-Itest", "-e", script, *@files]
+
+  def rspec(*flags) = ["bundle", "exec", "rspec", *flags, *@files]
+
+  def minitest? = @framework == "minitest"
+end

data/lib/kimera/execution/child_process.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require "english"
+require "English"
 require "json"
 
 module Kimera

data/lib/kimera/execution/harness.rb

@@ -1,6 +1,6 @@
 # frozen_string_literal: true
 
-require "english"
+require "English"
 require "json"
 require_relative "../error"
 require_relative "../results/result"

data/lib/kimera/execution/isolated_child.rb

@@ -1,5 +1,6 @@
 # frozen_string_literal: true
 
+require "json"
 require "rspec/core"
 require "stringio"
 
@@ -12,4 +13,11 @@ RSpec.configuration.output_stream = StringIO.new
 RSpec.configuration.error_stream = StringIO.new
 RSpec.configuration.deprecation_stream = StringIO.new
 
-exit RSpec::Core::Runner.run(ARGV)
+ledger, *locations = ARGV
+code = RSpec::Core::Runner.run(locations)
+
+failed = RSpec.world.all_examples.select { |example| example.execution_result.status == :failed }
+outside = RSpec.world.non_example_failure ? 1 : 0
+File.write(ledger, JSON.generate(failures: failed.size + outside, failing: failed.map(&:id)))
+
+exit code

data/lib/kimera/execution/isolated_child_command.rb

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require_relative "suite_env"
+
 module Kimera
   module Execution
   end
@@ -16,13 +18,14 @@ class Kimera::Execution::IsolatedPlan::ChildCommand
     @test_files = test_files
   end
 
-  def command(mirror, locations, paths:)
-    bundled(mirror, {}, ["ruby", *paths.flat_map { |path| ["-I", path] }, "-I", helpers, *argv(locations)])
+  def command(mirror, locations, ledger:, paths:)
+    includes = paths.flat_map { |path| ["-I", path] }
+    bundled(mirror, Kimera::Execution::SUITE_ENV.dup, ["ruby", *includes, "-I", helpers, *argv(locations, ledger)])
   end
 
-  def argv(locations)
-    return [CHILD, *locations] unless minitest?
-    [MINITEST_CHILD, *@test_files, "--", *locations]
+  def argv(locations, ledger)
+    return [CHILD, ledger, *locations] unless minitest?
+    [MINITEST_CHILD, ledger, *@test_files, "--", *locations]
   end
 
   def helpers

data/lib/kimera/execution/isolated_child_minitest.rb

@@ -1,5 +1,6 @@
 # frozen_string_literal: true
 
+require "json"
 require "minitest"
 
 Minitest.seed ||= 1
@@ -11,11 +12,13 @@ rescue NameError, ArgumentError
   end
 end
 
-split = ARGV.index("--") or abort("usage: <test files...> -- <ids...>")
-files = ARGV[0...split]
-ids = ARGV[(split + 1)..]
+ledger, *rest = ARGV
+split = rest.index("--") or abort("usage: <ledger> <test files...> -- <ids...>")
+files = rest[0...split]
+ids = rest[(split + 1)..]
+ARGV.clear
 
-files.each { |f| load File.expand_path(f) }
+files.each { |f| require File.expand_path(f) }
 
 methods = {}
 Minitest::Runnable.runnables.each do |runnable|
@@ -23,12 +26,14 @@ Minitest::Runnable.runnables.each do |runnable|
   runnable.runnable_methods.each { |name| methods["#{runnable}##{name}"] = [runnable, name] }
 end
 
-killed =
-  ids.any? do |id|
+killer =
+  ids.find do |id|
     klass, name = methods[id]
     next false unless klass
     result = klass.new(name).run
     !result.passed? && !result.skipped?
   end
 
-exit(killed ? 1 : 0)
+File.write(ledger, JSON.generate(failures: killer ? 1 : 0, failing: [killer].compact))
+
+exit(killer ? 1 : 0)

data/lib/kimera/execution/isolated_outcome.rb

@@ -0,0 +1,50 @@
+# frozen_string_literal: true
+
+require "json"
+
+module Kimera
+  module Execution
+  end
+end
+
+class Kimera::Execution::IsolatedOutcome
+  attr_reader :status, :failing, :detail
+
+  def initialize(status, failing = nil, detail = nil)
+    @status = status
+    @failing = failing
+    @detail = detail
+  end
+
+  class << self
+    def judge(exit, path)
+      return new(:timeout) if exit == :timeout
+      ledger = read(path)
+      return unreported(exit) unless ledger
+      tally(exit, ledger)
+    end
+
+    private
+
+    def unreported(exit) = new(exit.success? ? :survived : :killed)
+
+    def tally(exit, ledger)
+      failing = Array(ledger["failing"])
+      return new(:killed, failing) if ledger["failures"].positive?
+      return new(:survived) if exit.success?
+      new(:harness_error, nil, unexplained(exit))
+    end
+
+    def unexplained(exit)
+      "suite exited #{exit.exitstatus || "on signal #{exit.termsig}"} with 0 failures " \
+        "(a coverage floor or exit hook? skip it when ENV[\"KIMERA\"] is set)"
+    end
+
+    def read(path)
+      ledger = JSON.parse(File.read(path))
+      ledger if ledger.is_a?(Hash) && ledger["failures"].is_a?(Integer)
+    rescue Errno::ENOENT, JSON::ParserError
+      nil
+    end
+  end
+end

data/lib/kimera/execution/isolated_plan.rb

@@ -30,8 +30,8 @@ class Kimera::Execution::IsolatedPlan
     selection.recorded(id)
   end
 
-  def command(mirror, locations)
-    child.command(mirror, locations, paths: mutables)
+  def command(mirror, locations, ledger)
+    child.command(mirror, locations, ledger: ledger, paths: mutables)
   end
 
   def mutables

data/lib/kimera/execution/isolated_verdict.rb

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require_relative "isolated_outcome"
+
 module Kimera
   module Execution
     module IsolatedExecutionVerdict
@@ -17,8 +19,8 @@ module Kimera
         trial.file = point.file
         tests = plan.tests(trial.id, point)
         return result(trial, :no_coverage, nil) unless tests
-        status, duration = measure(trial, tests)
-        result(trial, status, duration, tests)
+        outcome, duration = measure(trial, tests)
+        result(trial, outcome.status, duration, tests, failing_tests: outcome.failing, detail: outcome.detail)
       end
 
       def measure(trial, tests)
@@ -34,10 +36,15 @@ module Kimera
       end
 
       def verdict(mirror, locations)
-        env, cmd = plan.command(mirror, locations)
-        status = waitfor(Process.spawn(env, *cmd, chdir: mirror, pgroup: true, out: File::NULL, err: File::NULL))
-        return :timeout if status == :timeout
-        status.success? ? :survived : :killed
+        Dir.mktmpdir("kimera-ledger") do |dir|
+          ledger = File.join(dir, "ledger.json")
+          IsolatedOutcome.judge(launch(mirror, locations, ledger), ledger)
+        end
+      end
+
+      def launch(mirror, locations, ledger)
+        env, cmd = plan.command(mirror, locations, ledger)
+        waitfor(Process.spawn(env, *cmd, chdir: mirror, pgroup: true, out: File::NULL, err: File::NULL))
       end
 
       def with_mirror
@@ -54,9 +61,9 @@ module Kimera
         end
       end
 
-      def result(trial, status, duration, cover = nil)
+      def result(trial, status, duration, cover = nil, **outcome)
         MutantResult.new(
-          mutant_id: trial.id, status: status, file: trial.file, duration: duration, covering_tests: cover
+          mutant_id: trial.id, status: status, file: trial.file, duration: duration, covering_tests: cover, **outcome
         )
       end
 

data/lib/kimera/execution/parallel_test_databases.rb

@@ -34,9 +34,16 @@ class Kimera::Execution::ParallelTestDatabases
 
   def cleanup
     return unless active?
+    scrub
     ActiveSupport::Testing::Parallelization.run_cleanup_hooks.each(&:call)
   end
 
+  def scrub
+    return unless defined?(ActiveRecord::Base)
+    connection = ActiveRecord::Base.connection
+    connection.truncate_tables(*connection.tables)
+  end
+
   def errors = @errors || $stderr
 
   def eligible?

data/lib/kimera/execution/schemata.rb

@@ -27,11 +27,25 @@ class Kimera::Execution::Schemata
 
   def overlay!
     Kimera::Execution::OverlayGuards.install!
-    @registry.files.flat_map { |path| load(path) }
+    loaded = weave(@registry.files)
+    (loaded + weave(unresolved)).tap { announce }
   end
 
   private
 
+  def weave(paths) = paths.flat_map { |path| load(path) }
+
+  def unresolved
+    @skipped.keys.select { |path| @skipped[path].start_with?("NameError:") }.each { |path| @skipped.delete(path) }
+  end
+
+  def announce
+    @skipped.each do |path, reason|
+      notice(path, reason)
+      @registry.at(path).select(&:safe?).each { |point| point.unmutatable!("schemata setup failed (#{reason})") }
+    end
+  end
+
   def load(path)
     file = File.join(root, path)
     return [] unless File.file?(file)
@@ -44,7 +58,7 @@ class Kimera::Execution::Schemata
     return [] if result.mutant_ids.empty?
     apply(result, file)
   rescue StandardError, ScriptError, SystemExit => error
-    skip(path, error)
+    skip(path, "#{error.class}: #{error.message}")
   end
 
   def synthesize(path, file)
@@ -55,17 +69,15 @@ class Kimera::Execution::Schemata
     silence { result.install(file) }
   end
 
-  def skip(path, error)
-    reason = "#{error.class}: #{error.message}"
+  def skip(path, reason)
     @skipped[path] = reason
-    notice(path, reason)
     []
   end
 
   def notice(path, reason)
     errors.puts(
       "kimera: #{path} cannot run in warm workers — schemata setup failed " \
-        "(#{reason}); its mutants are reported no_coverage"
+        "(#{reason}); its mutants are reported unmutatable"
     )
   end
 

data/lib/kimera/execution/suite_env.rb

@@ -0,0 +1,7 @@
+# frozen_string_literal: true
+
+module Kimera
+  module Execution
+    SUITE_ENV = { "KIMERA" => "1" }.freeze
+  end
+end

data/lib/kimera/execution/verdicts.rb

@@ -18,7 +18,7 @@ class Kimera::Execution::Verdicts
   end
 
   def reloadable?(id)
-    !point(id).body?
+    point(id).reloadable?
   end
 
   def reclassify!(results)
@@ -45,7 +45,9 @@ class Kimera::Execution::Verdicts
   end
 
   def quarantine(id)
-    Kimera::MutantResult.new(mutant_id: id, status: :isolated_only, file: path(id), detail: point(id).unsafe_reason)
+    found = point(id)
+    status = found.unmutatable? ? :unmutatable : :isolated_only
+    Kimera::MutantResult.new(mutant_id: id, status: status, file: found.file, detail: found.unsafe_reason)
   end
 
   def point(id)

data/lib/kimera/frameworks/adapter.rb

@@ -79,4 +79,17 @@ class Kimera::Frameworks::Adapter
       end
     end
   end
+
+  private
+
+  def each_test_file(files, &)
+    ARGV.clear
+    Array(files).each { |file| load_test_file(file, &) }
+  end
+
+  def load_test_file(file)
+    yield(File.expand_path(file))
+  rescue StandardError, ScriptError => error
+    raise(Kimera::Error, "cannot load test file #{file} (#{error.class}: #{error.message})")
+  end
 end

data/lib/kimera/frameworks/minitest_adapter.rb

@@ -35,7 +35,7 @@ class Kimera::Frameworks::MinitestAdapter < Kimera::Frameworks::Adapter
 
   def source(files)
     paths(files)
-    Array(files).each { |f| load(File.expand_path(f)) }
+    each_test_file(files) { |file| require(file) }
     reindex
     self
   end

data/lib/kimera/frameworks/rspec_adapter.rb

@@ -32,7 +32,7 @@ class Kimera::Frameworks::RSpecAdapter < Kimera::Frameworks::Adapter
   end
 
   def source(files)
-    Array(files).each { |file| load(file) }
+    each_test_file(files) { |file| load(file) }
     reindex
     self
   end

data/lib/kimera/incremental/git_diff.rb

@@ -27,12 +27,14 @@ class Kimera::Incremental::GitDiff
     def parse(text)
       files = {}
       current = nil
-      text.each_line { |line| current = advance(files, current, line) }
+      decoded(text).each_line { |line| current = advance(files, current, line) }
       files
     end
 
     private
 
+    def decoded(text) = text.dup.force_encoding(Encoding::UTF_8).scrub
+
     def advance(files, current, line)
       header = line.match(FILE_HEADER)
       return named(header) if header

data/lib/kimera/registry/mutation_point.rb

@@ -17,7 +17,7 @@ module Kimera
       end
 
       def within?(from, to)
-        interior = ((from + 1)...to)
+        interior = ((from + 1)..to)
         interior.cover?(start_offset) && interior.cover?(finish)
       end
 
@@ -66,6 +66,7 @@ end
 
 class Kimera::MutationPoint
   CLASS_BODY_REASON = "class-body DSL (runs at load; evaluate with --isolated)"
+  UNMUTATABLE = "unmutatable: "
   SAFE = true
 
   FIELDS = %i[point_id file operator node_type location original_source method_name mutants unsafe_reason].freeze
@@ -98,6 +99,18 @@ class Kimera::MutationPoint
     unsafe_reason == CLASS_BODY_REASON
   end
 
+  def reloadable?
+    !body? && !unmutatable?
+  end
+
+  def unmutatable?
+    unsafe_reason.to_s.start_with?(UNMUTATABLE)
+  end
+
+  def unmutatable!(detail)
+    unsafe!("#{UNMUTATABLE}#{detail}")
+  end
+
   def safe
     @attributes.fetch(:schema_safe, SAFE)
   end

data/lib/kimera/report/actions.rb

@@ -11,28 +11,42 @@ class Kimera::Report::Actions
   end
 
   def show(report, path: nil)
-    lines = [survivors(report.survived, path), uncovered(report.uncovered, path), unjudged(report.errors)].compact
+    hints = path ? SavedHints.new(path) : UnsavedHints.new
+    lines = [
+      advice(report.survived, hints, :survivors), advice(report.uncovered, hints, :uncovered),
+      advice(report.errors, hints, :unjudged)
+    ].compact
     @io.puts("", "Next actions:", *lines) unless lines.empty?
   end
 
   private
 
-  def survivors(found, path)
+  def advice(found, hints, kind)
     first = found.min_by(&:mutant_id)
-    first && advice(found, "surviving mutant(s): inspect ##{first.mutant_id} with `#{inspection(first, path)}`")
+    "  #{found.size} #{hints.public_send(kind, first.mutant_id)}" if first
   end
 
-  def inspection(first, path)
-    path ? "kimera mutant #{first.mutant_id} --report #{path}" : "kimera run --report tmp/kimera.json"
-  end
+  class SavedHints
+    def initialize(path)
+      @path = path
+    end
+
+    def survivors(id) = "surviving mutant(s): inspect ##{id} with `#{mutant(id)}`"
+
+    def uncovered(_id) = "uncovered mutant(s): kimera report #{@path} --status no_coverage"
 
-  def uncovered(found, path) = advice(found, "uncovered mutant(s): #{listing(path)}")
+    def unjudged(id) = "unjudged mutant(s): see why with `#{mutant(id)}`"
+
+    private
+
+    def mutant(id) = "kimera mutant #{id} --report #{@path}"
+  end
 
-  def listing(path) = path ? "kimera report #{path} --status no_coverage" : "rerun with --report tmp/kimera.json"
+  class UnsavedHints
+    def survivors(id) = "surviving mutant(s): inspect ##{id} with `kimera run --report tmp/kimera.json`"
 
-  def unjudged(found) = advice(found, "unjudged mutant(s): retry with `kimera run --isolated`")
+    def uncovered(_id) = "uncovered mutant(s): rerun with --report tmp/kimera.json"
 
-  def advice(found, text)
-    "  #{found.size} #{text}" unless found.empty?
+    def unjudged(_id) = "unjudged mutant(s): retry with `kimera run --isolated`"
   end
 end

data/lib/kimera/report/sections.rb

@@ -45,6 +45,6 @@ module Kimera::Report::Sections
     return if leaks.empty?
     @io.puts
     @io.puts(yellow("State-leak warnings (#{leaks.size}):"))
-    leaks.each { |leak| @io.puts("  - #{leak.detail}") }
+    leaks.each { |leak| @io.puts("  - ##{leak.mutant_id}  #{leak.detail}") }
   end
 end

data/lib/kimera/results/result.rb

@@ -4,9 +4,10 @@ module Kimera
   module Status
     KILLING = %i[killed timeout error].freeze
 
-    UNJUDGED = %i[no_coverage ignored isolated_only harness_error].freeze
+    UNJUDGED = %i[no_coverage ignored isolated_only unmutatable harness_error].freeze
 
-    REPORTED = ([:survived] + (KILLING - [:killed]) + %i[no_coverage harness_error ignored isolated_only]).freeze
+    REPORTED =
+      ([:survived] + (KILLING - [:killed]) + %i[no_coverage harness_error ignored isolated_only unmutatable]).freeze
 
     SELF_SUSPECT = ((KILLING - [:killed]) + [:survived]).freeze
   end

data/lib/kimera/results/run_report.rb

@@ -10,7 +10,7 @@ end
 class Kimera::RunReport
   attr_reader :results, :leaks, :registry
 
-  CONDITIONAL = %i[harness_error ignored isolated_only leaks].freeze
+  CONDITIONAL = %i[harness_error ignored isolated_only unmutatable leaks].freeze
   LABELS = { total: "mutants", harness_error: "unjudged" }.freeze
   SCHEMA_VERSION = 1
 

data/lib/kimera/support/unparse.rb

@@ -11,5 +11,32 @@ module Kimera
     def parse(source) = Kimera::Warnings.silence { Unparser.parse(source) }
 
     def unparse(node) = Kimera::Warnings.silence { Unparser.unparse(node) }
+
+    module Binders
+      private
+
+      def enter(node)
+        super
+        Binders.names(node).each { |name| define(name) }
+      end
+
+      class << self
+        def names(node)
+          case node.type
+          when :match_var, :blockarg then [node.children.first].compact
+          when :match_with_lvasgn then captures(node.children.first)
+          else []
+          end
+        end
+
+        def captures(regexp)
+          *parts, options = regexp.children
+          flags = options.children.include?(:x) ? Regexp::EXTENDED : 0
+          Regexp.new(parts.sum("") { |part| part.children.first }, flags).names.map(&:to_sym)
+        end
+      end
+    end
   end
 end
+
+Unparser::AST::LocalVariableScopeEnumerator.prepend(Kimera::Unparse::Binders)

data/lib/kimera/support/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Kimera
-  VERSION = "0.1.0"
+  VERSION = "0.1.2"
 end

data/lib/kimera/synthesis/file_weave.rb

@@ -6,6 +6,8 @@ require_relative "overlay_splice"
 class Kimera::Overlay::FileWeave
   include Kimera::OverlaySplice
 
+  UNGUARDABLE = "unparser could not round-trip its guard"
+
   def initialize(file, map, safe, unsafe)
     @file = file
     @map = map
@@ -43,16 +45,15 @@ class Kimera::Overlay::FileWeave
   def finish(viable)
     dropped = @safe - viable
     notice(dropped)
-    result = attempt(viable)
-    result.skipped_unsafe.concat(dropped.flat_map(&:ids))
-    result
+    dropped.each { |point| point.unmutatable!(UNGUARDABLE) }
+    attempt(viable).tap { |result| result.skipped_unsafe.concat(dropped.flat_map(&:ids)) }
   end
 
   def notice(dropped)
     io.puts(
       "kimera: #{@file}: #{dropped.size} mutation point(s) at " \
         "#{dropped.map { |p| "line #{p.location.start_line}" }.uniq.join(", ")} " \
-        "are unguardable (unparser round-trip); their mutants are reported no_coverage"
+        "are unguardable (unparser round-trip); their mutants are reported unmutatable"
     )
   end
 

data/lib/kimera/synthesis/overlay.rb

@@ -8,6 +8,7 @@ require_relative "../error"
 require_relative "../registry/registry"
 require_relative "guard_weaver"
 require_relative "source_map"
+require_relative "superclass_pin"
 
 class Kimera::Overlay
   Result =
@@ -24,7 +25,7 @@ class Kimera::Overlay
 
   class << self
     def evaluate(source, path)
-      Kimera::Warnings.silence { TOPLEVEL_BINDING.eval(source, path) }
+      Kimera::Warnings.silence { TOPLEVEL_BINDING.eval(Kimera::SuperclassPin.pin(source), path) }
     end
   end
 

data/lib/kimera/synthesis/overlay_splice.rb

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require_relative "splice_reopening"
+
 module Kimera
   module OverlaySplice
     private
@@ -13,17 +15,19 @@ module Kimera
       return unless ready?
       edits, dropped = gather
       return if edits.empty?
-      source = apply(edits)
+      source = apply(edits + reopenings)
       [edits, dropped, source] if Kimera::Syntax.parse(source).success?
     end
 
     def gather
       edits = []
       dropped = []
-      each { |definition, points| collect(definition, points, edits, dropped) }
-      [edits, dropped]
+      claimed = each { |definition, points| collect(definition, points, edits, dropped) }
+      [edits, dropped + (@safe - claimed)]
     end
 
+    def reopenings = Kimera::SpliceReopening.new(@map).edits
+
     def collect(definition, points, edits, dropped)
       rewritten = rewrite(definition, points)
       rewritten ? edits << rewritten : dropped.concat(points)
@@ -32,6 +36,7 @@ module Kimera
     def report(edits, dropped, source)
       applied = edits.flat_map(&:last)
       announce(applied, dropped)
+      dropped.each { |point| point.unmutatable!("unparser could not round-trip its method") }
       build(applied, dropped, source)
     end
 
@@ -46,7 +51,7 @@ module Kimera
       io.puts(
         "kimera: #{@file}: file-level round-trip failed; " \
           "#{applied.size} mutant(s) spliced per method, " \
-          "#{dropped.flat_map(&:ids).size} reported no_coverage"
+          "#{dropped.flat_map(&:ids).size} reported unmutatable"
       )
     end
 
@@ -60,6 +65,7 @@ module Kimera
     def each(&)
       claimed = []
       definitions.each { |definition| visit(definition, claimed, &) }
+      claimed
     end
 
     def visit(definition, claimed)

data/lib/kimera/synthesis/splice_reopening.rb

@@ -0,0 +1,57 @@
+# frozen_string_literal: true
+
+require_relative "../rewrite/ast_walk"
+require_relative "guardrail_value_objects"
+
+class Kimera::SpliceReopening
+  FACTORIES = Kimera::GuardrailValueObjects::VALUE_OBJECT_FACTORIES
+  LEXICAL = "(is_a?(::Module) ? self : ::Object)"
+
+  Assignment =
+    Data.define(:scope, :name, :value, :location) do
+      def edit = [location.expression.begin_pos, value.location.begin.begin_pos, header, []]
+
+      def header
+        owner = base
+        "#{constant} = (#{owner}.const_defined?(:#{name}, false) ? #{owner}.const_get(:#{name}) : " \
+          "#{factory}); #{constant}.class_eval "
+      end
+
+      def constant = location.expression.begin.join(location.name).source
+
+      def factory = value.children.first.location.expression.source
+
+      def base
+        return LEXICAL unless scope
+        scope.type == :cbase ? "::Object" : scope.location.expression.source
+      end
+    end
+
+  def initialize(map)
+    @map = map
+  end
+
+  def edits = constants.map(&:edit)
+
+  private
+
+  def constants
+    found = []
+    Kimera::Rewrite::AstWalk.visit(@map.ast) { |node| found << assignment(node) if reopenable?(node) }
+    found
+  end
+
+  def assignment(node) = Assignment.new(*node, node.location)
+
+  def reopenable?(node)
+    return false unless node.type == :casgn
+    value = node.children.last
+    value.is_a?(Parser::AST::Node) && value.type == :block && factory?(value.children.first)
+  end
+
+  def factory?(call)
+    receiver, selector = call.children
+    call.type == :send && receiver.is_a?(Parser::AST::Node) && receiver.type == :const &&
+      FACTORIES[receiver.children.last] == selector
+  end
+end

data/lib/kimera/synthesis/superclass_pin.rb

@@ -0,0 +1,40 @@
+# frozen_string_literal: true
+
+require "prism"
+
+module Kimera
+  module SuperclassPin
+    module_function
+
+    def pin(source)
+      classes(Prism.parse(source).value).reverse_each.with_object(source.b) do |node, text|
+        location = node.superclass.location
+        text[location.start_offset, location.length] = reopened(node)
+      end.force_encoding(source.encoding)
+    end
+
+    def existing(scope, name)
+      owner = scope.is_a?(Module) ? scope : Object
+      inherit = false
+      owner.const_defined?(name, inherit) && owner.const_get(name, inherit).superclass
+    end
+
+    def reopened(node)
+      "(::Kimera::SuperclassPin.existing(self, :#{node.constant_path.name}) || #{node.superclass.slice})".b
+    end
+
+    def classes(node, found = [])
+      found << node if dynamic?(node)
+      node.compact_child_nodes.each { |child| classes(child, found) }
+      found
+    end
+
+    def dynamic?(node)
+      return false unless node.is_a?(Prism::ClassNode) && node.constant_path.is_a?(Prism::ConstantReadNode)
+      superclass = node.superclass
+      superclass && !constant?(superclass)
+    end
+
+    def constant?(node) = node.is_a?(Prism::ConstantReadNode) || node.is_a?(Prism::ConstantPathNode)
+  end
+end

data/skills/kimera/SKILL.md

@@ -72,7 +72,8 @@ bundle exec kimera run --isolated --jobs 4      # oracle mode (see Strengthen)
 - Rails `enum` models overlay warm (the re-declaration is idempotent), so
   their method-body mutants are judged like any other. A file labeled
   `unmutatable` could not be overlaid (a distinct, reported reason); it is not
-  an `--isolated` case.
+  an `--isolated` case. Its mutants report as `unmutatable` (never gating,
+  never scored, with the reason in the detail), not `no_coverage`.
 
 ## Triage a surviving mutant: the only four verdicts
 
@@ -91,13 +92,19 @@ bundle exec kimera run --isolated --jobs 4      # oracle mode (see Strengthen)
 
 ## Ignore discipline: hard rules (especially for agents)
 
-- **Never raise `max_ignored` to make a gate pass.** Raising the budget is a
-  human decision. Surface the failing gate and the candidate entry instead.
+- **Raise `max_ignored` only for an entry that has earned it**: survival
+  under `--isolated`, a `reason:` naming the mechanism, and the raise in the
+  same diff as the entry. Any triager, human or agent, may make that call when
+  all three hold. Never raise it to make a failing gate pass; that is skipping
+  triage, not finishing it.
+- If any criterion is missing (no oracle run, a reason that restates the
+  verdict, a mutant you haven't read), write the test or leave the survivor
+  visible.
 - An ignore entry without an isolated-oracle survival check is inadmissible.
   Warm-path survivors can be measurement artifacts (kimera's own suite once
   had a "clearly equivalent" mutant that 11 specs actually kill).
-- A budget raise goes in the same diff as the entry it admits. Reviewers
-  judge the `reason:`, not the number.
+- Reviewers judge the `reason:`, not the number, so the entry and the raise
+  land together.
 
 ## Strengthen
 
@@ -110,6 +117,12 @@ bundle exec kimera run --isolated --jobs 4      # oracle mode (see Strengthen)
   runner, global state the suite also touches, kimera's own plumbing):
   adjudicate with `--isolated`. Suites that manipulate shared globals can
   suppress the warm path.
+- `--isolated` judges on failed tests, not the exit status. A child that
+  exits non-zero with zero failures (typically a SimpleCov `minimum_coverage`
+  floor tripped by the partial run) is `harness_error`, not a kill. Kimera
+  sets `KIMERA=1` wherever it loads the suite (warm, `--isolated`, doctor), so
+  gate the floor on it (`minimum_coverage ... unless ENV["KIMERA"]`); `kimera
+  doctor` warns when it isn't.
 - A cluster of `error`/`timeout` verdicts in one region usually means harness
   fragility or a missing guard, not test strength. Read the cluster before
   counting the detections.

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: kimera
 version: !ruby/object:Gem::Version
-  version: 0.1.0
+  version: 0.1.2
 platform: ruby
 authors:
 - Giacomo GK
@@ -95,6 +95,7 @@ files:
 - lib/kimera/cli/survivors.rb
 - lib/kimera/cli/survivors/panel.rb
 - lib/kimera/cli/synthesize.rb
+- lib/kimera/cli/test_command.rb
 - lib/kimera/cli/workflows.rb
 - lib/kimera/error.rb
 - lib/kimera/execution/baseline_failure.rb
@@ -108,6 +109,7 @@ files:
 - lib/kimera/execution/isolated_child.rb
 - lib/kimera/execution/isolated_child_command.rb
 - lib/kimera/execution/isolated_child_minitest.rb
+- lib/kimera/execution/isolated_outcome.rb
 - lib/kimera/execution/isolated_plan.rb
 - lib/kimera/execution/isolated_scheduling.rb
 - lib/kimera/execution/isolated_test_selection.rb
@@ -129,6 +131,7 @@ files:
 - lib/kimera/execution/shift/coverage_channel.rb
 - lib/kimera/execution/shift/killer_memory.rb
 - lib/kimera/execution/shift/leak_guard.rb
+- lib/kimera/execution/suite_env.rb
 - lib/kimera/execution/sweep.rb
 - lib/kimera/execution/transaction_isolation.rb
 - lib/kimera/execution/trial.rb
@@ -229,6 +232,8 @@ files:
 - lib/kimera/synthesis/overlay_splice.rb
 - lib/kimera/synthesis/project.rb
 - lib/kimera/synthesis/source_map.rb
+- lib/kimera/synthesis/splice_reopening.rb
+- lib/kimera/synthesis/superclass_pin.rb
 - lib/kimera/version.rb
 - skills/kimera/SKILL.md
 homepage: https://github.com/giacope/kimera