henitai 0.4.0 → 0.5.0

data/lib/henitai/subject_selection.rb

@@ -0,0 +1,33 @@
+# frozen_string_literal: true
+
+module Henitai
+  # Turns a list of source files into the subjects a run mutates, applying any
+  # CLI subject patterns.
+  #
+  # With no patterns every resolved subject is kept. With patterns, each is
+  # applied independently and the results concatenated, so overlapping patterns
+  # can name the same subject twice — hence the de-duplication on
+  # `[expression, source_file]` rather than on object identity. Expression alone
+  # is not enough: the same expression can legitimately appear in two files.
+  class SubjectSelection
+    def initialize(subject_resolver:, patterns:)
+      @subject_resolver = subject_resolver
+      @patterns = patterns
+    end
+
+    def resolve(source_files)
+      subjects = @subject_resolver.resolve_from_files(source_files)
+      return subjects if pattern_expressions.empty?
+
+      unique(pattern_expressions.flat_map { |expression| @subject_resolver.apply_pattern(subjects, expression) })
+    end
+
+    def unique(subjects)
+      subjects.uniq { |subject| [subject.expression, subject.source_file] }
+    end
+
+    private
+
+    def pattern_expressions = Array(@patterns).map(&:expression)
+  end
+end

data/lib/henitai/survivor_rerun_strategy.rb

@@ -1,5 +1,7 @@
 # frozen_string_literal: true
 
+require_relative "dirty_source_detector"
+
 module Henitai
   # Survivor-rerun fast path for {Runner}.
   #
@@ -154,27 +156,13 @@ module Henitai
     end
 
     def dirty_source_files?(dirty_worktree_files, git_sha: nil)
-      return true if dirty_worktree_files.nil?
-
-      all_changed = dirty_worktree_files + committed_changed_files(git_sha)
-      include_roots = Array(@config.includes).map { |path| normalize_path(path) }
-      all_changed.any? { |path| in_include_root?(normalize_path(path), include_roots) }
-    rescue StandardError
-      true
+      dirty_source_detector.dirty?(dirty_worktree_files, git_sha: git_sha)
     end
 
-    def committed_changed_files(git_sha)
-      return [] unless git_sha
-
-      @git_diff_analyzer.changed_files(from: git_sha, to: "HEAD")
-    end
-
-    def in_include_root?(path, include_roots)
-      include_roots.any? { |root| path == root || path.start_with?("#{root}/") }
-    end
-
-    def normalize_path(path)
-      File.expand_path(path)
+    def dirty_source_detector
+      @dirty_source_detector ||= DirtySourceDetector.new(
+        includes: @config.includes, git_diff_analyzer: @git_diff_analyzer
+      )
     end
 
     def warn_survivor_drift(selector)

data/lib/henitai/version.rb

@@ -1,5 +1,5 @@
 # frozen_string_literal: true
 
 module Henitai
-  VERSION = "0.4.0"
+  VERSION = "0.5.0"
 end

data/lib/henitai.rb

@@ -58,6 +58,9 @@ module Henitai
   autoload :SurvivorTestFilter,      "henitai/survivor_test_filter"
   autoload :SurvivorActivationCache, "henitai/survivor_activation_cache"
   autoload :SurvivorRerunStrategy, "henitai/survivor_rerun_strategy"
+  autoload :DirtySourceDetector, "henitai/dirty_source_detector"
+  autoload :SourceFileSelection, "henitai/source_file_selection"
+  autoload :SubjectSelection, "henitai/subject_selection"
   autoload :ScenarioExecutionResult, "henitai/scenario_execution_result"
   autoload :CoverageFormatter, "henitai/coverage_formatter"
   autoload :MinitestCoverageReporter, "henitai/minitest_coverage_reporter"
@@ -65,12 +68,17 @@ module Henitai
   autoload :SyntaxValidator, "henitai/syntax_validator"
   autoload :SamplingStrategy, "henitai/sampling_strategy"
   autoload :TestPrioritizer, "henitai/test_prioritizer"
+  autoload :ExcludedTestFilter, "henitai/excluded_test_filter"
   autoload :TimeoutCalibrator, "henitai/timeout_calibrator"
   autoload :ExecutionEngine, "henitai/execution_engine"
   autoload :ProcessWorkerRunner, "henitai/process_worker_runner"
   autoload :SlotScheduler, "henitai/slot_scheduler"
   autoload :ProcessWakeup, "henitai/process_wakeup"
+  autoload :ProcessLiveness, "henitai/process_liveness"
+  autoload :InheritedFdRegistry, "henitai/inherited_fd_registry"
+  autoload :OrphanWatchdog, "henitai/orphan_watchdog"
   autoload :Runner, "henitai/runner"
+  autoload :RunnerDependencies, "henitai/runner_dependencies"
   autoload :Reporter, "henitai/reporter"
   autoload :Integration, "henitai/integration"
   autoload :Result, "henitai/result"

data/sig/henitai.rbs

@@ -76,36 +76,56 @@ module Henitai
   module Operators
   end
 
-  module Integration::ChildDebugSupport
+  class Integration::LoadedFeatures
+    def include?: (String) -> bool
+    def map: (Array[String]) -> Array[[String, bool]]
+
     private
 
-    def debug_child_puts: (String) -> void
-    def debug_child?: () -> bool
-    def debug_child_rspec_trace: (
+    def candidates_for: (String) -> Array[String]
+    def normalize: (String) -> String
+  end
+
+  class Integration::ChildDebugLog
+    PREFIX: String
+
+    def initialize: (?io: IO?, ?loaded_features: Integration::LoadedFeatures) -> void
+    def enabled?: () -> bool
+    def write: (String) -> void
+    def rspec_trace: (
       test_files: Array[String],
       rspec_options: Array[String],
       rspec_argv: Array[String]
     ) -> void
-    def debug_child_rspec_exit: (untyped) -> void
-    def debug_child_example_count: (String) -> void
-    def debug_child_activation_start: (String) -> void
-    def debug_child_activation_end: (untyped, test_files: Array[String]) -> void
-    def debug_child_mutant_meta: (Mutant) -> void
-    def debug_child_activation_check: () -> void
-    def loaded_feature_map: (Array[String]) -> Array[[String, bool]]
-    def loaded_feature?: (String) -> bool
+    def rspec_exit: (untyped) -> void
+    def example_count: (String) -> void
+    def activation_start: (String) -> void
+    def activation_end: (untyped, test_files: Array[String]) -> void
+    def mutant_meta: (untyped) -> void
+    def activation_check: () -> void
+    def timeout_signal_sent: (Integer) -> void
+    def thread_dump: (String) -> void
     def rspec_world_example_count: () -> Integer?
-    def pause: (Float) -> void
+
+    private
+
+    def dump_thread: (Thread, Integer) -> void
+    def value_of: (untyped, Symbol) -> untyped
+    def location_of: (untyped) -> String?
+    def subject_expression_of: (untyped) -> String?
+    def io: () -> IO
   end
 
   module Integration::ChildRuntimeControl
+    def child_debug_log: () -> Integration::ChildDebugLog
+
     private
 
     def suppress_simplecov!: () -> void
     def suppress_coverage!: () -> void
     def debug_child_timeout_dump: (Integer) -> void
     def install_debug_timeout_trap: () -> void
-    def debug_child_thread_dump: (String) -> void
+    def pause: (Float) -> void
   end
 
   module Integration::RspecChildRunner
@@ -371,7 +391,6 @@ module Henitai
     def self.for: (String) -> untyped
 
     class Base
-      include ChildDebugSupport
       include ChildRuntimeControl
 
       def select_tests: (Subject) -> Array[String]
@@ -383,6 +402,7 @@ module Henitai
       def wait_with_timeout: (Integer, Float) -> untyped
       def reap_child: (Integer) -> void
       def cleanup_process_group: (Integer) -> void
+      def child_debug_log: () -> ChildDebugLog
 
       private
 
@@ -392,18 +412,6 @@ module Henitai
       def cleanup_child_process: (Integer) -> void
       def suppress_simplecov!: () -> void
       def suppress_coverage!: () -> void
-      def debug_child?: () -> bool
-      def debug_child_puts: (String) -> void
-      def debug_child_rspec_trace: (test_files: Array[String], rspec_options: Array[String], rspec_argv: Array[String]) -> void
-      def debug_child_rspec_exit: (untyped status) -> void
-      def debug_child_activation_start: (String mutant_id) -> void
-      def debug_child_activation_end: (untyped activation_result, test_files: Array[String]) -> void
-      def debug_child_mutant_meta: (Mutant) -> void
-      def debug_child_activation_check: () -> void
-      def debug_child_example_count: (String) -> void
-      def loaded_feature_map: (Array[String]) -> Array[[String, bool]]
-      def loaded_feature?: (String) -> bool
-      def rspec_world_example_count: () -> Integer?
       def with_non_interactive_stdin: () { () -> untyped } -> untyped
       def subprocess_env: () -> Hash[String, String]
       def scenario_log_support: () -> ScenarioLogSupport
@@ -973,6 +981,8 @@ module Henitai
 
     SCHEMA_VERSION: String
     DEFAULT_THRESHOLDS: Hash[Symbol, Integer]
+    DEFAULT_COVERAGE_CRITERIA: Hash[Symbol, bool]
+    CRITERION_STATUSES: Hash[Symbol, Symbol]
 
     attr_reader mutants: Array[Mutant]
     attr_reader started_at: Time
@@ -982,8 +992,9 @@ module Henitai
     attr_reader session_id: String
     attr_reader git_sha: String?
     attr_reader since: String?
+    attr_reader coverage_criteria: Hash[Symbol, bool]
 
-    def initialize: (mutants: Array[Mutant], started_at: Time, finished_at: Time, ?thresholds: Hash[Symbol, Integer]?, ?partial_rerun: bool, ?survivor_stats: Hash[Symbol, untyped]?, ?session_id: String, ?git_sha: String?, ?source_provider: ^(String) -> String, ?authoritative: bool, ?since: String?) -> void
+    def initialize: (mutants: Array[Mutant], started_at: Time, finished_at: Time, ?thresholds: Hash[Symbol, Integer]?, ?partial_rerun: bool, ?survivor_stats: Hash[Symbol, untyped]?, ?session_id: String, ?git_sha: String?, ?source_provider: ^(String) -> String, ?authoritative: bool, ?since: String?, ?coverage_criteria: Hash[Symbol, bool]?) -> void
     def partial_rerun?: () -> bool
     def authoritative?: () -> bool
     def killed: () -> Integer
@@ -1000,6 +1011,7 @@ module Henitai
     private
 
     def detected_in: (Array[Mutant]) -> Integer
+    def detected_statuses: () -> Array[Symbol]
     def mutation_score_for: (Array[Mutant]) -> Float?
     def mutation_score_indicator_for: (Array[Mutant]) -> Float?
     def base_schema: () -> Hash[Symbol, untyped]
@@ -1063,12 +1075,59 @@ module Henitai
     def self.write: (String, Hash[String, Hash[String, untyped]]) -> void
   end
 
+  class RunnerDependencies
+    def initialize: (config: untyped) -> void
+    def subject_resolver: () -> untyped
+    def git_diff_analyzer: () -> untyped
+    def mutant_generator: () -> untyped
+    def static_filter: () -> untyped
+    def execution_engine: () -> untyped
+    def coverage_bootstrapper: () -> CoverageBootstrapper
+    def integration: () -> untyped
+    def operators: () -> Array[Operator]
+    def per_test_coverage: () -> PerTestCoverage
+    def history_store: () -> untyped
+    def progress_reporter: (full_run: bool) -> untyped
+    def source_provider: () -> ^(String) -> String
+  end
+
+  class SourceFileSelection
+    def initialize: (
+      config: untyped,
+      since: String?,
+      git_diff_analyzer: untyped,
+      per_test_coverage: untyped
+    ) -> void
+    def call: () -> Array[String]
+    def included_source_files: () -> Array[String]
+    def reject_excluded: (Array[String]) -> Array[String]
+    def filter_changed: (Array[String]) -> Array[String]
+
+    private
+
+    def excluded_source_files: () -> Array[String]
+    def changed_paths_since: () -> Array[String]
+    def covered_sources_for_changed_tests: (Array[String]) -> Array[String]
+    def normalize_path: (String) -> String
+  end
+
+  class SubjectSelection
+    def initialize: (subject_resolver: untyped, patterns: Array[untyped]?) -> void
+    def resolve: (Array[String]) -> Array[Subject]
+    def unique: (Array[Subject]) -> Array[Subject]
+
+    private
+
+    def pattern_expressions: () -> Array[String]
+  end
+
   class Runner
     attr_reader config: Configuration
     attr_reader result: untyped
 
-    def initialize: (?config: Configuration, ?subjects: Array[Subject], ?since: String, ?survivors_from: String?, ?mode: Hash[Symbol, bool]) -> void
+    def initialize: (?config: Configuration, ?subjects: Array[Subject], ?since: String, ?survivors_from: String?, ?mode: Hash[Symbol, bool], ?deps: RunnerDependencies?) -> void
     def run: () -> Result
+    def deps: () -> RunnerDependencies
     def resolve_subjects: (?Array[String]) -> untyped
     def generate_mutants: (untyped) -> untyped
     def filter_mutants: (untyped) -> untyped
@@ -1087,15 +1146,8 @@ module Henitai
     def per_test_coverage: () -> PerTestCoverage
     def history_store_path: () -> String
     def source_files: () -> Array[String]
-    def included_source_files: () -> Array[String]
-    def reject_excluded: (Array[String]) -> Array[String]
-    def excluded_source_files: () -> Array[String]
-    def filter_changed: (Array[String]) -> Array[String]
-    def changed_paths_since: () -> Array[String]
-    def covered_sources_for_changed_tests: (Array[String]) -> Array[String]
-    def pattern_subjects: () -> Array[Subject]
-    def unique_subjects: (Array[Subject]) -> Array[Subject]
-    def normalize_path: (String) -> String
+    def source_file_selection: () -> SourceFileSelection
+    def subject_selection: () -> SubjectSelection
 
     private
 
@@ -1111,6 +1163,8 @@ module Henitai
     def mutants_for: (Array[Subject], Array[String]) -> Array[Mutant]
     def with_reports_dir: () { () -> untyped } -> untyped
     def result_thresholds: () -> Hash[Symbol, Integer]?
+    def result_coverage_criteria: () -> Hash[Symbol, bool]?
+    def optional_config: (Symbol) -> untyped
     def survivor_rerun?: () -> bool
     def full_run?: () -> bool
     def survivor_strategy: () -> SurvivorRerunStrategy

metadata

@@ -1,7 +1,7 @@
 --- !ruby/object:Gem::Specification
 name: henitai
 version: !ruby/object:Gem::Version
-  version: 0.4.0
+  version: 0.5.0
 platform: ruby
 authors:
 - Martin Otten
@@ -55,16 +55,22 @@ dependencies:
   name: sqlite3
   requirement: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 2.9.5
+    - - "<"
       - !ruby/object:Gem::Version
-        version: '1.7'
+        version: '3'
   type: :runtime
   prerelease: false
   version_requirements: !ruby/object:Gem::Requirement
     requirements:
-    - - "~>"
+    - - ">="
+      - !ruby/object:Gem::Version
+        version: 2.9.5
+    - - "<"
       - !ruby/object:Gem::Version
-        version: '1.7'
+        version: '3'
 - !ruby/object:Gem::Dependency
   name: unparser
   requirement: !ruby/object:Gem::Requirement
@@ -80,7 +86,7 @@ dependencies:
       - !ruby/object:Gem::Version
         version: '0.6'
 description: |
-  Hen'i-tai (変異体) is a mutation testing framework for Ruby 4+.
+  Hen'i-tai (変異体) is a mutation testing framework for Ruby 3.3.6+.
   It produces Stryker-compatible mutation-testing-report-schema JSON,
   integrates with the Stryker Dashboard, and ships with a standalone
   HTML report powered by mutation-testing-elements.
@@ -122,18 +128,24 @@ files:
 - lib/henitai/coverage_bootstrapper.rb
 - lib/henitai/coverage_formatter.rb
 - lib/henitai/coverage_report_reader.rb
+- lib/henitai/dirty_source_detector.rb
 - lib/henitai/eager_load.rb
 - lib/henitai/equivalence_detector.rb
+- lib/henitai/equivalence_detector/operand_predicates.rb
+- lib/henitai/excluded_test_filter.rb
 - lib/henitai/execution_engine.rb
 - lib/henitai/execution_engine/env_scope.rb
 - lib/henitai/generated_artifacts.rb
 - lib/henitai/git_diff_analyzer.rb
 - lib/henitai/incremental_filter.rb
+- lib/henitai/inherited_fd_registry.rb
 - lib/henitai/integration.rb
 - lib/henitai/integration/base.rb
-- lib/henitai/integration/child_debug_support.rb
+- lib/henitai/integration/child_bootstrap.rb
+- lib/henitai/integration/child_debug_log.rb
 - lib/henitai/integration/child_runtime_control.rb
 - lib/henitai/integration/coverage_suppression.rb
+- lib/henitai/integration/loaded_features.rb
 - lib/henitai/integration/minitest.rb
 - lib/henitai/integration/minitest_load_path.rb
 - lib/henitai/integration/minitest_suite_command.rb
@@ -179,10 +191,12 @@ files:
 - lib/henitai/operators/string_literal.rb
 - lib/henitai/operators/unary_operator.rb
 - lib/henitai/operators/update_operator.rb
+- lib/henitai/orphan_watchdog.rb
 - lib/henitai/parser_current.rb
 - lib/henitai/per_test_coverage.rb
 - lib/henitai/per_test_coverage_collector.rb
 - lib/henitai/per_test_coverage_selector.rb
+- lib/henitai/process_liveness.rb
 - lib/henitai/process_wakeup.rb
 - lib/henitai/process_worker_runner.rb
 - lib/henitai/reporter.rb
@@ -191,16 +205,24 @@ files:
 - lib/henitai/result.rb
 - lib/henitai/rspec_coverage_formatter.rb
 - lib/henitai/runner.rb
+- lib/henitai/runner_dependencies.rb
 - lib/henitai/sampling_strategy.rb
 - lib/henitai/scenario_execution_result.rb
 - lib/henitai/slot_scheduler.rb
+- lib/henitai/slot_scheduler/drain_verdict.rb
 - lib/henitai/slot_scheduler/draining.rb
 - lib/henitai/slot_scheduler/process_control.rb
+- lib/henitai/slot_scheduler/retry_policy.rb
+- lib/henitai/slot_scheduler/slot_deadline.rb
+- lib/henitai/slot_scheduler/slot_table.rb
+- lib/henitai/slot_scheduler/test_file_selection.rb
+- lib/henitai/source_file_selection.rb
 - lib/henitai/source_parser.rb
 - lib/henitai/static_filter.rb
 - lib/henitai/stillborn_filter.rb
 - lib/henitai/subject.rb
 - lib/henitai/subject_resolver.rb
+- lib/henitai/subject_selection.rb
 - lib/henitai/survivor_activation_cache.rb
 - lib/henitai/survivor_loader.rb
 - lib/henitai/survivor_rerun_strategy.rb
@@ -224,7 +246,7 @@ metadata:
   changelog_uri: https://github.com/martinotten/henitai/blob/main/CHANGELOG.md
   documentation_uri: https://github.com/martinotten/henitai/blob/main/README.md
   homepage_uri: https://github.com/martinotten/henitai
-  source_code_uri: https://github.com/martinotten/henitai/tree/v0.4.0
+  source_code_uri: https://github.com/martinotten/henitai/tree/v0.5.0
   rubygems_mfa_required: 'true'
 rdoc_options: []
 require_paths:
@@ -233,7 +255,7 @@ required_ruby_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="
     - !ruby/object:Gem::Version
-      version: 4.0.0
+      version: 3.3.6
 required_rubygems_version: !ruby/object:Gem::Requirement
   requirements:
   - - ">="

data/lib/henitai/integration/child_debug_support.rb

@@ -1,119 +0,0 @@
-# frozen_string_literal: true
-
-module Henitai
-  module Integration
-    # Shared debug helpers for child-run diagnostics.
-    # Debug helpers are intentionally grouped here so the child-run diagnostics
-    # stay isolated from the main integration flow.
-    module ChildDebugSupport
-      private
-
-      def debug_child? = ENV["HENITAI_DEBUG_CHILD"] == "1"
-
-      # Gated here (not only at call sites) so no unguarded caller can leak
-      # debug lines into every child log by default.
-      def debug_child_puts(message)
-        return unless debug_child?
-
-        $stdout.puts(message)
-        $stdout.flush
-      end
-
-      def debug_child_rspec_trace(test_files:, rspec_options:, rspec_argv:)
-        return unless debug_child?
-
-        files_exist = test_files.map { |f| [f, File.exist?(f)] }.inspect
-        loaded_features = loaded_feature_map(test_files).inspect # steep:ignore Ruby::NoMethod
-
-        debug_child_puts(
-          "[henitai-debug-child] cwd=#{Dir.pwd}\n" \
-          "[henitai-debug-child] files_exist=#{files_exist}\n" \
-          "[henitai-debug-child] loaded_features_check=#{loaded_features}\n" \
-          "[henitai-debug-child] test_files=#{test_files.inspect}\n" \
-          "[henitai-debug-child] rspec_options=#{rspec_options.inspect}\n" \
-          "[henitai-debug-child] rspec_argv=#{rspec_argv.inspect}"
-        )
-      end
-
-      def debug_child_rspec_exit(status)
-        return unless debug_child?
-
-        debug_child_puts("[henitai-debug-child] RSpec result=#{status.inspect}")
-      end
-
-      def debug_child_example_count(stage) # steep:ignore Ruby::UndeclaredMethodDefinition
-        return unless debug_child?
-
-        count = rspec_world_example_count
-        debug_child_puts(
-          "[henitai-debug-child] rspec_world_example_count_#{stage}=#{count.inspect}"
-        )
-      end
-
-      def debug_child_activation_start(mutant_id)
-        return unless debug_child?
-
-        debug_child_puts("[henitai-debug-child] activate_start mutant=#{mutant_id}")
-      end
-
-      def debug_child_activation_end(activation_result, test_files:)
-        return unless debug_child?
-
-        debug_child_puts(
-          "[henitai-debug-child] activate_end result=#{activation_result.inspect}\n" \
-          "[henitai-debug-child] run_tests_start test_files=#{test_files.inspect}"
-        )
-      end
-
-      def debug_child_mutant_meta(mutant)
-        stable_id = mutant.respond_to?(:stable_id) ? mutant.stable_id : nil
-        operator = mutant.respond_to?(:operator) ? mutant.operator : nil
-        has_subject_expression =
-          mutant.respond_to?(:subject) && mutant.subject.respond_to?(:expression)
-        subject_expression = has_subject_expression ? mutant.subject.expression : nil
-        location = mutant.respond_to?(:location) ? mutant.location.inspect : nil
-
-        debug_child_puts(
-          "[henitai-debug-child] mutant_meta stableId=#{stable_id}\n" \
-          "[henitai-debug-child] mutant_meta operator=#{operator}\n" \
-          "[henitai-debug-child] mutant_meta subject=#{subject_expression}\n" \
-          "[henitai-debug-child] mutant_meta location=#{location}\n"
-        )
-      end
-
-      def debug_child_activation_check
-        location = begin
-          Henitai::Runner.instance_method(:resolve_subjects).source_location&.join(":") # henitai:disable
-        rescue StandardError
-          nil
-        end
-
-        debug_child_puts(
-          "[henitai-debug-child] activation_check resolve_subjects_location=#{location}\n"
-        )
-      end
-
-      def loaded_feature_map(test_files) = test_files.map { |file| [file, loaded_feature?(file)] } # steep:ignore Ruby::UndeclaredMethodDefinition
-
-      def loaded_feature?(file) # steep:ignore Ruby::UndeclaredMethodDefinition
-        expanded = File.expand_path(file)
-        candidates = [expanded, "#{expanded}.rb", file, "#{file}.rb"].uniq
-        $LOADED_FEATURES.any? do |feature|
-          normalized = begin
-            File.expand_path(feature)
-          rescue StandardError
-            feature
-          end
-          candidates.include?(feature) || candidates.include?(normalized)
-        end
-      end
-
-      def rspec_world_example_count # steep:ignore Ruby::UndeclaredMethodDefinition
-        world = ::RSpec.world
-        world.example_count
-      rescue StandardError
-        nil
-      end
-    end
-  end
-end