henitai 0.2.0 → 0.3.0

data/sig/henitai.rbs

@@ -67,6 +67,9 @@ module Henitai
   class CoverageError < StandardError
   end
 
+  class ConcurrentRunError < StandardError
+  end
+
   class GitDiffError < StandardError
   end
 
@@ -76,14 +79,6 @@ module Henitai
   module Integration::ChildDebugSupport
     private
 
-    def run_rspec_runner: (Array[String]) -> untyped
-    def build_rspec_runner: () -> untyped
-    def configure_rspec_runner: (untyped) -> void
-    def load_rspec_spec_files: (Array[String]) -> void
-    def run_rspec_specs: (untyped) -> untyped
-    def debug_child_timeout_dump: (Integer) -> void
-    def install_debug_timeout_trap: () -> void
-    def debug_child_thread_dump: (String) -> void
     def debug_child_puts: (String) -> void
     def debug_child?: () -> bool
     def debug_child_rspec_trace: (
@@ -97,20 +92,66 @@ module Henitai
     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 suppress_simplecov!: () -> void
-    def suppress_coverage!: () -> void
     def loaded_feature_map: (Array[String]) -> Array[[String, bool]]
     def loaded_feature?: (String) -> bool
     def rspec_world_example_count: () -> Integer?
     def pause: (Float) -> void
   end
 
+  module Integration::ChildRuntimeControl
+    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
+  end
+
+  module Integration::RspecChildRunner
+    private
+
+    def run_rspec_runner: (Array[String]) -> untyped
+    def build_rspec_runner: () -> untyped
+    def configure_rspec_runner: (untyped) -> void
+    def load_rspec_spec_files: (Array[String]) -> void
+    def run_rspec_specs: (untyped) -> untyped
+  end
+
+  module Integration::RspecTestSelection
+    REQUIRE_DIRECTIVE_PATTERN: Regexp
+
+    def select_tests: (Subject) -> Array[String]
+
+    private
+
+    def spec_files: () -> Array[String]
+    def fallback_spec_files: (Subject) -> Array[String]
+    def excluded_spec_files: () -> Array[String]
+    def rspec_exclude_patterns: () -> Array[String]
+    def rspec_config_lines: () -> Array[String]
+    def rspec_config_path: () -> String
+    def selection_patterns: (Subject) -> Array[String]
+    def requires_source_file?: (String, String) -> bool
+    def requires_source_file_transitively?: (String, String, ?Array[String]) -> bool
+    def required_files: (String) -> Array[String]
+    def resolve_required_file: (String, String, String) -> String?
+    def relative_candidates: (String, String) -> Array[String]
+    def require_candidates: (String, String) -> Array[String]
+    def expand_candidates: (String, String) -> Array[String]
+  end
+
   class Configuration
     DEFAULT_TIMEOUT: Float
+    DEFAULT_TIMEOUT_MULTIPLIER: Float
     DEFAULT_OPERATORS: Symbol
     DEFAULT_JOBS: untyped
     DEFAULT_MAX_MUTANTS_PER_LINE: Integer
     DEFAULT_MAX_FLAKY_RETRIES: Integer
+    DEFAULT_MAX_LOG_BYTES: Integer
+    DEFAULT_MAX_TIMEOUT: Float
+    DEFAULT_CHECKPOINT_EVERY: Integer
+    DEFAULT_CHECKPOINT_INTERVAL: Float
     DEFAULT_REPORTS_DIR: String
     DEFAULT_COVERAGE_CRITERIA: Hash[Symbol, bool]
     DEFAULT_THRESHOLDS: Hash[Symbol, Integer]
@@ -118,22 +159,31 @@ module Henitai
 
     attr_reader integration: untyped
     attr_reader includes: Array[String]
+    attr_reader excludes: Array[String]
+    attr_reader test_excludes: Array[String]
     attr_reader operators: Symbol
     attr_reader timeout: Float
+    attr_reader timeout_multiplier: Float
     attr_reader ignore_patterns: Array[untyped]
     attr_reader max_mutants_per_line: Integer
     attr_reader max_flaky_retries: Integer
+    attr_reader max_log_bytes: Integer
+    attr_reader max_timeout: Float
     attr_reader sampling: untyped
     attr_reader jobs: untyped
     attr_reader coverage_criteria: Hash[Symbol, untyped]
     attr_reader thresholds: Hash[Symbol, Integer]
     attr_reader reporters: Array[String]
     attr_reader reports_dir: String
+    attr_reader checkpoint_enabled: bool
+    attr_reader checkpoint_every: Integer
+    attr_reader checkpoint_interval: Float
     attr_reader dashboard: Hash[Symbol, untyped]
     attr_reader all_logs: bool
 
     def self.load: (?path: String, ?overrides: Hash[Symbol, untyped]) -> Configuration
     def initialize: (?path: String, ?overrides: Hash[Symbol, untyped]) -> void
+    def timeout_configured?: () -> bool
 
     private
 
@@ -142,6 +192,8 @@ module Henitai
     def apply_defaults: (Hash[Symbol, untyped]) -> void
     def apply_general_defaults: (Hash[Symbol, untyped]) -> void
     def apply_mutation_defaults: (Hash[Symbol, untyped]) -> void
+    def apply_mutation_limit_defaults: (Hash[Symbol, untyped]) -> void
+    def apply_reports_defaults: (Hash[Symbol, untyped]) -> void
     def apply_analysis_defaults: (Hash[Symbol, untyped]) -> void
     def merge_defaults: (Hash[Symbol, untyped], Hash[Symbol, untyped]?) -> Hash[Symbol, untyped]
     def resolve_integration_default: (untyped) -> untyped
@@ -191,6 +243,8 @@ module Henitai
   end
 
   class Mutant
+    include UnparseHelper
+
     STATUSES: Array[Symbol]
 
     attr_reader id: String
@@ -206,11 +260,15 @@ module Henitai
     attr_accessor duration: Float?
     attr_accessor covered_by: Array[String]?
     attr_accessor tests_completed: Integer?
+    attr_accessor ignore_reason: String?
+    attr_accessor from_cache: bool
     attr_reader precomputed_stable_id: String?
     attr_reader precomputed_activation_source: String?
 
     def initialize: (subject: Subject, operator: String, nodes: Hash[Symbol, untyped], description: String, location: Hash[Symbol, untyped], ?precomputed_stable_id: String?, ?precomputed_activation_source: String?) -> void
     def stable_id: () -> String
+    def mutated_source: () -> String
+    def from_cache?: () -> bool
     def killed?: () -> bool
     def survived?: () -> bool
     def pending?: () -> bool
@@ -229,7 +287,7 @@ module Henitai
     REPORT_FILE_NAME: String
 
     def initialize: () -> void
-    def record_test: (String) -> void
+    def record_test: (String, ?duration: Float?) -> void
     def write_report: () -> void
 
     private
@@ -270,9 +328,26 @@ module Henitai
     def sample: (Array[Mutant], ratio: Float, ?strategy: Symbol) -> Array[Mutant]
   end
 
+  class TimeoutCalibrator
+    FLOOR_SECONDS: Float
+
+    def initialize: (timing_source: untyped, multiplier: untyped) -> void
+    def timeout_for: (untyped) -> Float?
+
+    private
+
+    def durations: () -> Hash[String, untyped]
+    def normalize: (untyped) -> String
+  end
+
   class TestPrioritizer
-    def initialize: () -> void
+    def initialize: (?timing_source: untyped?) -> void
     def sort: (Array[String], untyped, Hash[untyped, untyped]) -> Array[String]
+
+    private
+
+    def runtime: (untyped) -> Float
+    def timing_durations: () -> Hash[String, untyped]
   end
 
   class Operator
@@ -295,6 +370,7 @@ module Henitai
 
     class Base
       include ChildDebugSupport
+      include ChildRuntimeControl
 
       def select_tests: (Subject) -> Array[String]
       def test_files: () -> Array[String]
@@ -314,7 +390,6 @@ module Henitai
       def cleanup_child_process: (Integer) -> void
       def suppress_simplecov!: () -> void
       def suppress_coverage!: () -> void
-      def run_tests: (Array[String]) -> Integer
       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
@@ -327,13 +402,24 @@ module Henitai
       def loaded_feature_map: (Array[String]) -> Array[[String, bool]]
       def loaded_feature?: (String) -> bool
       def rspec_world_example_count: () -> Integer?
-      def run_child_activation_and_tests: (mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> Integer
       def with_non_interactive_stdin: () { () -> untyped } -> untyped
       def subprocess_env: () -> Hash[String, String]
       def scenario_log_support: () -> ScenarioLogSupport
       def with_subprocess_env: () { () -> untyped } -> untyped
       def restore_subprocess_env: (Hash[String, String?]) -> void
-      def spawn_suite_process: (Array[String], Hash[Symbol, String]) -> Integer
+    end
+
+    module MutantRunSupport
+      def spawn_mutant: (mutant: Mutant, test_files: Array[String]) -> ChildHandle
+      def run_mutant: (mutant: Mutant, test_files: Array[String], timeout: Float) -> ScenarioExecutionResult
+      def scenario_log_paths: (String) -> Hash[Symbol, String]
+      def build_result: (untyped, Hash[Symbol, String]) -> ScenarioExecutionResult
+      def run_in_child: (mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> Integer
+      def mutant_log_name: (Mutant) -> String
+
+      private
+
+      def run_child_activation_and_tests: (mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> Integer
     end
 
     class ScenarioLogSupport
@@ -374,58 +460,28 @@ module Henitai
     end
 
     class RspecProcessRunner
-      def run_mutant: (Rspec, mutant: Mutant, test_files: Array[String], timeout: Float) -> ScenarioExecutionResult
-      def run_suite: (Rspec, Array[String], timeout: Float) -> ScenarioExecutionResult
-      def spawn_mutant: (Rspec, mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> ChildHandle
+      def run_mutant: (Base, mutant: Mutant, test_files: Array[String], timeout: Float) -> ScenarioExecutionResult
+      def run_suite: (Base, Array[String], timeout: Float) -> ScenarioExecutionResult
+      def spawn_mutant: (Base, mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> ChildHandle
     end
 
     class Rspec < Base
-      REQUIRE_DIRECTIVE_PATTERN: Regexp
+      include MutantRunSupport
+      include RspecChildRunner
+      include RspecTestSelection
+
       DEFAULT_SUITE_TIMEOUT: Float
 
-      def select_tests: (Subject) -> Array[String]
       def test_files: () -> Array[String]
-      def run_mutant: (mutant: Mutant, test_files: Array[String], timeout: Float) -> ScenarioExecutionResult
-      def spawn_mutant: (mutant: Mutant, test_files: Array[String]) -> ChildHandle
       def run_suite: (Array[String], ?timeout: Float) -> ScenarioExecutionResult
       def per_test_coverage_supported?: () -> bool
+      def suite_command: (Array[String]) -> Array[String]
+      def rspec_suite_runner_script: () -> String
+      def spawn_suite_process: (Array[String], Hash[Symbol, String]) -> Integer
 
       private
 
-      def mutant_log_name: (Mutant) -> String
-      def run_in_child: (mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> Integer
-      def suppress_simplecov!: () -> void
-      def suppress_coverage!: () -> void
-      def install_debug_timeout_trap: () -> void
-      def debug_child_thread_dump: (String) -> void
-      def debug_child_example_count: (String) -> void
-      def suite_command: (Array[String]) -> Array[String]
-      def rspec_suite_runner_script: () -> String
-      def build_result: (untyped, Hash[Symbol, String]) -> ScenarioExecutionResult
-      def scenario_status: (untyped) -> Symbol
-      def exit_status_for: (untyped) -> Integer?
-      def read_log_file: (String) -> String
-      def write_combined_log: (String, String, String) -> void
-      def combined_log: (String, String) -> String
-      def scenario_log_paths: (String) -> Hash[Symbol, String]
       def run_tests: (Array[String]) -> Integer
-      def with_subprocess_env: () { () -> untyped } -> untyped
-      def spec_files: () -> Array[String]
-      def fallback_spec_files: (Subject) -> Array[String]
-      def excluded_spec_files: () -> Array[String]
-      def rspec_exclude_patterns: () -> Array[String]
-      def rspec_config_lines: () -> Array[String]
-      def rspec_config_path: () -> String
-      def selection_patterns: (Subject) -> Array[String]
-      def requires_source_file?: (String, String) -> bool
-      def requires_source_file_transitively?: (String, String, ?Array[String]) -> bool
-      def required_files: (String) -> Array[String]
-      def resolve_required_file: (String, String, String) -> String?
-      def loaded_feature_map: (Array[String]) -> Array[[String, bool]]
-      def loaded_feature?: (String) -> bool
-      def relative_candidates: (String, String) -> Array[String]
-      def require_candidates: (String, String) -> Array[String]
-      def expand_candidates: (String, String) -> Array[String]
     end
 
     module CoverageRuntimeSuppressors
@@ -441,20 +497,28 @@ module Henitai
       def start: (*untyped) -> nil
     end
 
-    class Minitest < Rspec
+    class Minitest < Base
+      include MutantRunSupport
+      include RspecTestSelection
+
+      DEFAULT_SUITE_TIMEOUT: Float
+
+      def test_files: () -> Array[String]
+      def per_test_coverage_supported?: () -> bool
       def run_mutant: (mutant: Mutant, test_files: Array[String], timeout: Float) -> ScenarioExecutionResult
       def spawn_mutant: (mutant: Mutant, test_files: Array[String]) -> ChildHandle
+      def run_in_child: (mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> Integer
       def run_suite: (Array[String], ?timeout: Float) -> ScenarioExecutionResult
 
       private
 
-      def run_in_child: (mutant: Mutant, test_files: Array[String], log_paths: Hash[Symbol, String]) -> Integer
       def run_tests: (Array[String]) -> Integer
       def preload_environment: () -> void
       def setup_load_path: () -> void
       def suppress_minitest_autorun!: () -> nil
       def suppress_simplecov!: () -> void
       def subprocess_env: () -> Hash[String, String]
+      def spawn_suite_process: (Array[String], Hash[Symbol, String]) -> Integer
       def cleanup_suite_process: (Integer?, untyped) -> void
       def spec_files: () -> Array[String]
     end
@@ -477,12 +541,30 @@ module Henitai
 
   module MutantIdentity
     def self.stable_id: (Mutant) -> String
+    def self.legacy_stable_id: (Mutant) -> String
   end
 
   class MutantHistoryStore
-    def initialize: (path: String) -> void
+    attr_reader path: String
+
+    def initialize: (path: String, ?per_test_coverage: PerTestCoverage?) -> void
     def record: (untyped, version: String, ?recorded_at: Time) -> void
+    def verdict_for: (String) -> Hash[Symbol, untyped]?
+    def killed_verdict_for: (String) -> Hash[Symbol, untyped]?
     def trend_report: () -> Hash[Symbol, untyped]
+
+    module Sql
+      RUNS_TABLE: String
+      MUTANTS_TABLE: String
+      MIGRATION_COLUMNS: Hash[String, String]
+      INSERT_RUN: String
+      UPSERT_MUTANT: String
+      VERDICT_LOOKUP: String
+    end
+
+    module VerdictCache
+      CACHEABLE_STATUSES: Array[String]
+    end
   end
 
   class EquivalenceDetector
@@ -514,34 +596,148 @@ module Henitai
   class CoverageReportReader
     def coverage_lines_by_file: (?String) -> Hash[String, Array[Integer]]
     def test_lines_by_file: (?String) -> Hash[String, Hash[String, Array[Integer]]]
+    def durations_by_test: (?String) -> Hash[String, Float]
   end
 
-  class ParallelExecutionRunner
-    def initialize: (worker_count: Integer) -> void
-    def run: (Array[Mutant], untyped, untyped, untyped, ?Hash[Symbol, untyped]) -> void
+  class ProcessWorkerRunner
+    attr_reader worker_count: Integer
+    attr_reader runtime: untyped
+    attr_reader wakeup: untyped
+
+    def initialize: (worker_count: Integer, ?runtime: untyped, ?wakeup: untyped) -> void
+    def flaky_retry_count: () -> Integer
+    def shutdown_requested?: () -> bool
+    def request_shutdown: () -> void
+    def run: (Array[Mutant], untyped, untyped, untyped?, ?Hash[Symbol, untyped]) -> Array[ScenarioExecutionResult]
   end
 
-  class ProcessWorkerRunner
-    SCHEDULER_POLL_INTERVAL: Float
+  class SlotScheduler
     PROCESS_DRAIN_WINDOW: Float
+    WORKER_SLOT_ENV: String
 
     Slot: untyped
 
-    def initialize: (worker_count: Integer) -> void
-    def run: (Array[Mutant], untyped, untyped, untyped?, ?Hash[Symbol, untyped]) -> Array[ScenarioExecutionResult]
+    attr_reader flaky_retry_count: Integer
+    attr_reader results: Array[ScenarioExecutionResult]
+
+    def initialize: (
+      integration: untyped,
+      config: untyped,
+      progress_reporter: untyped?,
+      options: Hash[Symbol, untyped],
+      host: untyped
+    ) -> void
+    def enqueue: (Array[Mutant]) -> Array[Mutant]
+    def done?: () -> bool
+    def fill_idle_slots: () -> void
+    def reap_all_completed_children: () -> void
+    def next_event_timeout: () -> Float?
+    def check_timeouts: () -> void
+    def draining_slots?: () -> bool
+    def drain_draining_slots: () -> void
+    def interrupt_active_slots: () -> void
+  end
+
+  class IncrementalFilter
+    def initialize: (history_store: untyped, ?per_test_coverage: PerTestCoverage?, ?dependency_fingerprint: String?) -> void
+    def apply: (Array[Mutant]) -> Array[Mutant]
+
+    private
+
+    def history_store: () -> untyped
+    def per_test_coverage: () -> PerTestCoverage?
+    def dependency_fingerprint: () -> String?
+    def ambiguous_stable_ids: (Array[Mutant]) -> Set[String]
+    def reusable_status: (Mutant) -> Symbol?
+    def killed_reusable?: (Mutant, Hash[Symbol, untyped]) -> bool
+    def survived_reusable?: (Mutant, Hash[Symbol, untyped]) -> bool
+    def subject_source_unchanged?: (Mutant, Hash[Symbol, untyped]) -> bool
+  end
+
+  module VerdictFingerprint
+    DEPENDENCY_GLOBS: Array[String]
+
+    def self?.subject_source_hash: (untyped) -> String?
+    def self?.tests_fingerprint: (untyped) -> String?
+    def self?.tests_fingerprint_current?: (String?) -> bool
+    def self?.dependency_fingerprint: (?String) -> String?
+    def self?.survivor_tests_fingerprint: (untyped, dependency_sha: String?) -> String?
+    def self?.survivor_fingerprint_current?: (String?, live_paths: Array[String], dependency_sha: String?) -> bool
+    def self?.survivor_fingerprint_matches?: (untyped, Array[String], String?) -> bool
+    def self?.combined_content_sha: (untyped) -> String?
+  end
+
+  module CanonicalReportMerger
+    def self.merge: (Hash[Symbol, untyped], String, ?prune_missing: bool) -> Hash[String, untyped]
+  end
+
+  module CanonicalReportWriter
+    def self.write: (Hash[Symbol, untyped], path: String, authoritative: bool) -> Hash[untyped, untyped]
+  end
+
+  class ReportsDirectoryLock
+    LOCK_FILENAME: String
+
+    def initialize: (reports_dir: String) -> void
+    def synchronize: () { () -> untyped } -> untyped
+
+    private
+
+    def lock_path: () -> String
+    def acquire: (File) -> void
+    def owner_pid: (File) -> (Integer | String)
+    def contention_message: (Integer | String) -> String
+    def write_owner: (File) -> untyped
+  end
+
+  class CheckpointReporter
+    def initialize: (config: untyped, source_provider: untyped, authoritative: bool, ?started_at: untyped, ?clock: untyped) -> void
+    def progress: (untyped, ?scenario_result: untyped) -> void
+  end
+
+  class CompositeProgressReporter
+    def self.for: (config: untyped, source_provider: untyped, full_run: bool) -> untyped?
+    def initialize: (Array[untyped]) -> void
+    def progress: (untyped, ?scenario_result: untyped) -> void
+  end
+
+  class MutationSkipDirectives
+    def skip?: (Mutant) -> bool
+    def directive_for: (Mutant) -> untyped
   end
 
   class StaticFilter
-    def initialize: (?coverage_report_reader: CoverageReportReader) -> void
+    def initialize: (?coverage_report_reader: CoverageReportReader, ?skip_directives: MutationSkipDirectives) -> void
     def apply: (Array[Mutant], untyped) -> Array[Mutant]
     def coverage_lines_for: (untyped) -> Hash[String, Array[Integer]]
     def coverage_lines_by_file: (?String) -> Hash[String, Array[Integer]]
     def test_lines_by_file: (?String) -> Hash[String, Hash[String, Array[Integer]]]
   end
 
+  class PerTestCoverage
+    def initialize: (reports_dir: String, ?coverage_report_reader: CoverageReportReader) -> void
+    def available?: () -> bool
+    def tests_covering: (untyped) -> Array[String]
+    def covers?: (String, untyped) -> bool
+
+    private
+
+    def reports_dir: () -> String
+    def coverage_report_reader: () -> CoverageReportReader
+    def location_available?: (untyped) -> bool
+    def coverage_lines_for: (String, untyped) -> Array[Integer]
+    def mutant_lines: (untyped) -> Array[Integer]
+    def map: () -> Hash[String, Hash[String, Array[Integer]]]
+  end
+
   class PerTestCoverageSelector
     def initialize: (?coverage_report_reader: CoverageReportReader) -> void
     def filter: (Array[String], Mutant, reports_dir: String) -> Array[String]
+
+    private
+
+    def per_test_coverage: (String) -> PerTestCoverage
+    def coverage_report_reader: () -> CoverageReportReader
   end
 
   class ExecutionEngine
@@ -549,13 +745,16 @@ module Henitai
 
     private
 
+    def execute: (Array[Mutant], untyped, untyped, untyped?) -> Array[Mutant]
+    def with_worker_slot: () { () -> untyped } -> untyped
     def parallel_execution?: (untyped, Array[Mutant]) -> bool
     def worker_count: (untyped) -> Integer
     def run_linear: (Array[Mutant], untyped, untyped, untyped?, untyped) -> void
     def run_parallel: (Array[Mutant], untyped, untyped, untyped?) -> void
     def process_mutant: (Mutant, untyped, untyped, untyped?, ?untyped) -> void
     def prioritized_tests_for: (Mutant, untyped, untyped) -> Array[String]
-    def test_prioritizer: () -> TestPrioritizer
+    def test_prioritizer: (untyped) -> TestPrioritizer
+    def timing_source: (untyped) -> untyped
     def test_history: (untyped) -> Hash[untyped, untyped]
     def run_with_flaky_retry: (Mutant, untyped, untyped, Array[String], ?untyped) -> ScenarioExecutionResult
     def warn_flaky_mutants: (Integer) -> void
@@ -563,8 +762,6 @@ module Henitai
   end
 
   class Mutant::Activator
-    SERIALIZER_METHODS: Hash[Symbol, Symbol]
-
     def self.activate!: (untyped) -> Symbol?
     def self.activation_source_for: (Mutant) -> String?
     def initialize: () -> void
@@ -578,6 +775,22 @@ module Henitai
     def method_source: (Mutant) -> String
     def body_source: (Mutant) -> String
     def parameter_source: (Mutant) -> String
+    def replace_node: (untyped, untyped, untyped) -> untyped
+    def same_node?: (untyped, untyped) -> bool
+    def replace_child: (untyped, untyped, untyped) -> untyped
+    def method_body: (untyped) -> untyped
+    def source_file_from_ast: (Subject) -> String?
+    def node_location_signature: (untyped) -> Array[untyped]?
+    def compile_safe_unparse: (untyped) -> String
+  end
+
+  class Mutant::ParameterSource
+    SERIALIZER_METHODS: Hash[Symbol, Symbol]
+
+    def build: (untyped) -> String
+
+    private
+
     def method_arguments: (untyped) -> untyped
     def parameter_fragment: (untyped) -> String?
     def argument_parameter_fragment: (untyped) -> String
@@ -589,26 +802,23 @@ module Henitai
     def block_parameter_fragment: (untyped) -> String
     def forward_parameter_fragment: (untyped) -> String
     def prefixed_parameter: (untyped, String) -> String
-    def replace_node: (untyped, untyped, untyped) -> untyped
-    def same_node?: (untyped, untyped) -> bool
-    def replace_child: (untyped, untyped, untyped) -> untyped
-    def method_body: (untyped) -> untyped
-    def source_file_from_ast: (Subject) -> String?
-    def node_location_signature: (untyped) -> Array[untyped]?
     def compile_safe_unparse: (untyped) -> String
   end
 
   module Reporter
-    def self.run_all: (names: Array[String], result: Result, config: Configuration) -> void
+    def self.run_all: (names: Array[String], result: Result, config: Configuration, ?history_store: MutantHistoryStore?) -> void
     def self.reporter_class: (String) -> untyped
 
     class Base
-      def initialize: (config: Configuration) -> void
+      def initialize: (config: Configuration, ?history_store: MutantHistoryStore?) -> void
       def report: (Result) -> void
 
       private
 
       def config: () -> Configuration
+      def history_store: () -> MutantHistoryStore?
+      def authoritative?: (untyped) -> bool
+      def canonical_path: () -> String
     end
 
     class Terminal < Base
@@ -616,11 +826,13 @@ module Henitai
 
       PROGRESS_GLYPHS: Hash[Symbol, String]
 
+      def initialize: (config: Configuration, ?history_store: MutantHistoryStore?, ?color_enabled: bool) -> void
       def report: (Result) -> void
       def progress: (untyped, ?scenario_result: ScenarioExecutionResult) -> void
 
       private
 
+      def color_enabled: () -> bool
       def report_lines: (Result) -> Array[String]
       def summary_lines: (untyped) -> Array[String]
       def full_summary_lines: (untyped) -> Array[String]
@@ -632,8 +844,14 @@ module Henitai
       def original_line: (Mutant) -> String
       def mutated_line: (Mutant) -> String
       def display_unparse: (untyped) -> String
+      def display_mutated_source: (untyped) -> String
+      def str_node?: (untyped) -> bool
+      def source_slice: (untyped) -> String?
       def score_line: (Result) -> String
       def format_row: (String, untyped) -> String
+      def reused_verdicts_line: (Result) -> String?
+      def reused_mutants: (Result) -> Array[Mutant]
+      def executed_only_score_line: (Result) -> String?
       def count_status: (Result, Symbol) -> Integer
       def format_duration: (Float) -> String
       def format_percent: (Float?) -> String
@@ -649,37 +867,87 @@ module Henitai
 
       private
 
-      def write_canonical: (Hash[Symbol, untyped]) -> void
+      def write_canonical: (Hash[Symbol, untyped], authoritative: bool) -> void
       def write_session_snapshot: (Hash[Symbol, untyped]) -> void
       def write_activation_recipes: (untyped) -> void
       def survived_mutants_for: (untyped) -> Array[Mutant]
       def session_snapshot_path: (String) -> String
       def session_recipe_path: (String) -> String
-      def canonical_path: () -> String
-      def report_path: () -> String
       def write_history_report: () -> void
-      def history_store_path: () -> String
+      def default_history_store: () -> MutantHistoryStore
       def history_report_path: () -> String
     end
 
     class Html < Base
       def report: (Result) -> void
+      def report_schema: (Hash[untyped, untyped]) -> void
 
       private
 
       def report_path: () -> String
-      def html_document: (Result) -> String
-      def escaped_report_json: (Result) -> String
+      def html_document: (Hash[untyped, untyped]) -> String
+      def schema_for: (Result) -> Hash[untyped, untyped]
+      def escaped_report_json: (Hash[untyped, untyped]) -> String
+    end
+
+    class DryRun < Base
+      def initialize: (config: Configuration, ?history_store: MutantHistoryStore?, ?io: untyped) -> void
+      def report: (untyped) -> void
+
+      private
+
+      def io: () -> untyped
+      def listing_lines: (untyped) -> Array[String]
+      def grouped_lines: (untyped) -> Array[String]
+      def subject_label: (untyped) -> String
+      def mutant_line: (untyped) -> String
+      def ignore_reason_for: (untyped) -> String?
+      def summary_line: (untyped) -> String
+    end
+
+    class Github < Base
+      def initialize: (config: Configuration, ?history_store: MutantHistoryStore?, ?io: untyped) -> void
+      def report: (Result) -> void
+
+      private
+
+      def io: () -> untyped
+      def annotation_line: (Mutant) -> String
+      def relative_path: (String) -> String
+      def escape_message: (String) -> String
+    end
+
+    class DashboardMetadataProvider
+      def initialize: (dashboard_config: Hash[Symbol, untyped]?, ?env: untyped, ?git_executor: untyped) -> void
+      def project: () -> String?
+      def version: () -> String?
+      def api_key: () -> String?
+
+      private
+
+      def env_version: () -> String?
+      def ref_without_prefix: (String?) -> String?
+      def project_from_git_remote: () -> String?
+      def blank?: (String?) -> bool
+      def git_remote_url: () -> String?
+      def git_branch_name: () -> String?
+
+      def self.project_from_git_url: (String?) -> String?
+      def self.normalize_git_url: (String?) -> String?
+      def self.project_from_uri_url: (String) -> String?
+      def self.project_from_ssh_url: (String) -> String?
     end
 
   class Dashboard < Base
       DEFAULT_BASE_URL: String
       HTTP_TIMEOUT_SECONDS: Integer
 
+      def initialize: (config: Configuration, ?history_store: MutantHistoryStore?, ?metadata_provider: DashboardMetadataProvider?) -> void
       def report: (Result) -> void
 
       private
 
+      def metadata_provider: () -> DashboardMetadataProvider
       def ready?: () -> bool
       def build_request: (Result, untyped) -> untyped
       def request_headers: () -> Hash[String, String]
@@ -688,20 +956,11 @@ module Henitai
       def base_url: () -> String
       def project: () -> String?
       def version: () -> String?
-      def env_version: () -> String?
-      def ref_without_prefix: (String?) -> String?
-      def project_from_git_remote: () -> String?
       def api_key: () -> String?
       def project_path: () -> String
       def encoded_version: () -> String
-      def blank?: (String?) -> bool
-      def git_remote_url: () -> String?
-      def git_branch_name: () -> String?
 
       def self.project_from_git_url: (String?) -> String?
-      def self.normalize_git_url: (String?) -> String?
-      def self.project_from_uri_url: (String) -> String?
-      def self.project_from_ssh_url: (String) -> String?
     end
   end
 
@@ -719,20 +978,25 @@ module Henitai
     attr_reader session_id: String
     attr_reader git_sha: String?
 
-    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?) -> 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) -> void
     def partial_rerun?: () -> bool
+    def authoritative?: () -> bool
     def killed: () -> Integer
     def survived: () -> Integer
     def equivalent: () -> Integer
     def detected: () -> Integer
     def mutation_score: () -> Float?
     def mutation_score_indicator: () -> Float?
+    def executed_scoring_summary: () -> Hash[Symbol, untyped]?
     def scoring_summary: () -> Hash[Symbol, untyped]
     def duration: () -> Float
     def to_stryker_schema: () -> Hash[Symbol, untyped]
 
     private
 
+    def detected_in: (Array[Mutant]) -> Integer
+    def mutation_score_for: (Array[Mutant]) -> Float?
+    def mutation_score_indicator_for: (Array[Mutant]) -> Float?
     def base_schema: () -> Hash[Symbol, untyped]
     def unmatched_survivor_ids: () -> Array[String]
     def build_files_section: () -> Hash[Symbol, untyped]
@@ -742,6 +1006,9 @@ module Henitai
     def location_for: (Mutant) -> Hash[Symbol, untyped]
     def line_column: (Mutant, Symbol) -> Hash[Symbol, Integer]
     def duration_for: (Mutant) -> Integer?
+    def status_reason_for: (Mutant) -> String?
+    def from_cache_for: (Mutant) -> bool?
+    def legacy_stable_id_for: (Mutant) -> String?
     def equivalence_uncertainty: () -> String?
     def stryker_status: (Symbol) -> String
   end
@@ -795,7 +1062,7 @@ module Henitai
     attr_reader config: Configuration
     attr_reader result: untyped
 
-    def initialize: (?config: Configuration, ?subjects: Array[Subject], ?since: String, ?survivors_from: String?) -> void
+    def initialize: (?config: Configuration, ?subjects: Array[Subject], ?since: String, ?survivors_from: String?, ?mode: Hash[Symbol, bool]) -> void
     def run: () -> Result
     def resolve_subjects: (?Array[String]) -> untyped
     def generate_mutants: (untyped) -> untyped
@@ -812,8 +1079,13 @@ module Henitai
     def operators: () -> untyped
     def progress_reporter: () -> untyped?
     def history_store: () -> untyped
+    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 pattern_subjects: () -> Array[Subject]
     def unique_subjects: (Array[Subject]) -> Array[Subject]
     def normalize_path: (String) -> String
@@ -821,6 +1093,11 @@ module Henitai
     private
 
     def build_result: (Array[Mutant], Time, Time) -> Result
+    def build_result_object: (Array[Mutant], Time, Time) -> Result
+    def pipeline_mutants: () -> Array[Mutant]
+    def apply_incremental_filter: (Array[Mutant]) -> Array[Mutant]
+    def dry_run_result: (Array[Mutant], Time, Time) -> Result
+    def source_provider: () -> ^(String) -> String
     def persist_history: (Result, Time) -> void
     def bootstrap_coverage: (Array[String], ?Array[String]?) -> void
     def bootstrap_mutants: (Array[String]) -> Thread
@@ -828,8 +1105,21 @@ module Henitai
     def with_reports_dir: () { () -> untyped } -> untyped
     def result_thresholds: () -> Hash[Symbol, Integer]?
     def survivor_rerun?: () -> bool
-    def apply_survivor_selection: (Array[Mutant]) -> Array[Mutant]
+    def full_run?: () -> bool
+    def survivor_strategy: () -> SurvivorRerunStrategy
+    def safe_head_sha: () -> String?
+  end
+
+  class SurvivorRerunStrategy
+    attr_reader survivor_stats: Hash[Symbol, untyped]?
+
+    def initialize: (survivors_from: String?, config: Configuration, git_diff_analyzer: untyped) -> void
+    def active?: () -> bool
     def try_recipe_run: () -> Array[Mutant]?
+    def apply_selection: (Array[Mutant]) -> Array[Mutant]
+
+    private
+
     def load_survivor_report: () -> SurvivorLoader::Report
     def run_from_recipes: (SurvivorLoader::Report, Array[String]?) -> Array[Mutant]?
     def recipe_fast_path_safe?: (SurvivorLoader::Report, Array[String]?) -> bool
@@ -843,10 +1133,10 @@ module Henitai
     def dirty_source_files?: (Array[String]?, ?git_sha: String?) -> bool
     def committed_changed_files: (String?) -> Array[String]
     def in_include_root?: (String, Array[String]) -> bool
+    def normalize_path: (String) -> String
     def warn_survivor_drift: (SurvivorSelector) -> void
     def build_survivor_stats: (SurvivorSelector, Array[Mutant], Hash[Symbol, Array[Mutant]]) -> Hash[Symbol, untyped]
     def test_filter: (SurvivorLoader::Report, ?dirty_source_files: bool) -> SurvivorTestFilter
-    def safe_head_sha: () -> String?
   end
 
   class CoverageBootstrapper