hecks 3.4.2 → 3.6.0

data/lib/hecks/quality_control/cli/qa_sweep/checks/boundary.rb

@@ -0,0 +1,92 @@
+# frozen_string_literal: true
+
+module Hecks
+  module QualityControlCli
+    class QaSweep
+      module Checks
+        # The two checks a sweep makes once rather than per seed: the verbs the Rust generator
+        # skipped, and the ancestor eras' unmerged writes.
+        module Boundary
+          private
+
+          # Once-per-sweep report of verbs skipped as not generated: held with the full list,
+          # surprised if any skipped verb's construct is outside the documented boundary.
+          def structural_skip_check(differ, binary, boundary)
+            skipped = differ.structural_skips.to_a.sort
+            gaps = Hecks::Fuzzing::RustGapManifest.for_binary(binary)
+            attributed = Hecks::Fuzzing::StructuralSkips.attribute(gaps, skipped)
+            outside = Hecks::Fuzzing::StructuralSkips.outside_boundary(attributed, boundary)
+            structural_skip_report(skipped, attributed, outside.map { |e| structural_divergence(e) })
+          end
+
+          def structural_divergence(entry)
+            declares = entry[:constructs].empty? ? "nothing" : entry[:constructs].join(",")
+            { field: "structural_skip", verb: entry[:verb], constructs: entry[:constructs],
+              detail: "#{entry[:verb]} was skipped as not generated (construct: #{declares}), outside " \
+                      "STRUCTURAL_REFUSAL_BOUNDARY — a codegen regression or a new gap, not a documented boundary" }
+          end
+
+          def structural_skip_report(skipped, attributed, divergences)
+            listing = attributed.map { |e| "#{e[:verb]} [#{e[:constructs].join(",")}]" }.join("; ")
+            { mode: :structural_skip_report,
+              subject: "[structural_skip_report] structurally skipped #{skipped.size} verb(s): [#{listing}]",
+              expectation: "every named query/read model skipped because manifest.json declares it not " \
+                           "generated names a construct inside QualityControlDials::STRUCTURAL_REFUSAL_BOUNDARY",
+              divergences: divergences, clean: divergences.empty?,
+              observation: structural_observation(skipped, divergences) }
+          end
+
+          def structural_observation(skipped, divergences)
+            return "all #{skipped.size} inside the documented boundary" if divergences.empty?
+
+            "#{divergences.size} outside the boundary"
+          end
+
+          # Seedless, once per sweep: audits the target's own persisted lineage. Nothing to audit
+          # is a note, not a finding.
+          def era_boundary_check(domain_path)
+            result = Hecks::Fuzzing::EraBoundary.diverged_ancestor_writes(domain_path)
+            return unchecked_era_boundary(domain_path, result) unless result[:checked]
+
+            divergences = era_boundary_divergences(result)
+            { mode: :era_boundary, subject: "[era_boundary] #{File.basename(domain_path)} — ancestor-era audit " \
+                                            "(#{result[:era_count]} era(s) on record)",
+              expectation: MODE_EXPECTATIONS.fetch(:era_boundary), divergences: divergences,
+              clean: divergences.empty?,
+              observation: era_observation(divergences, result) }
+          end
+
+          def era_observation(divergences, result)
+            return "no ancestor era holds an unmerged write" if divergences.empty?
+
+            "#{result[:diverged_total]} diverged"
+          end
+
+          def era_boundary_divergences(result)
+            return [] unless result[:diverged_total].positive?
+
+            [{ field: "era_boundary", breakdown: result[:breakdown],
+               detail: "#{result[:diverged_total]} post-cut write(s) across #{result[:era_count]} era(s) " \
+                       "that nothing has ever merged forward — hecks merge_tail <this target's own domain " \
+                       "path> is the fix; see this script's own header on `era_boundary` for the class of " \
+                       "bug this is" }]
+          end
+
+          # Nothing to audit and could not audit stay apart: `not_applicable` logs no `Check`, while
+          # an error is a finding, so an unreachable database never counts as a held `Check` toward
+          # the streak.
+          def unchecked_era_boundary(domain_path, result)
+            if result[:kind] == :not_applicable
+              return { mode: :era_boundary, skip: true, observation: "not applicable — #{result[:reason]}" }
+            end
+
+            { mode: :era_boundary, subject: "[era_boundary] #{File.basename(domain_path)} — ancestor-era audit",
+              expectation: MODE_EXPECTATIONS.fetch(:era_boundary),
+              divergences: [{ field: "era_boundary_unchecked", detail: result[:reason] }], clean: false,
+              observation: "could not audit — #{result[:reason]}" }
+          end
+        end
+      end
+    end
+  end
+end

data/lib/hecks/quality_control/cli/qa_sweep/checks/engines.rb

@@ -0,0 +1,92 @@
+# frozen_string_literal: true
+
+module Hecks
+  module QualityControlCli
+    class QaSweep
+      module Checks
+        # What each comparison engine says about one step list: the Ruby-vs-Rust diff, the
+        # Ruby-only fallback, and the Memory-vs-Postgres, Memory-vs-SQLite and concurrent-dispatch
+        # comparisons.
+        module Engines
+          private
+
+          # Flattens Replay's `:self_consistency` results into the same `{field:, detail:}` shape as
+          # every finding.
+          def self_consistency_divergences(history) = Hecks::Fuzzing::Differential.self_consistency_divergences(history)
+
+          def property_divergences(history) = Hecks::Fuzzing::Differential.property_divergences(history)
+
+          # The Ruby-vs-Rust diff from `spec/rust_conformance_fuzz_spec.rb`, one divergence list per
+          # active mode so `run_one_seed` logs a `Check` per mode.
+          def diff_ruby_vs_rust(differ, domain_path, steps, binary, modes:)
+            Hecks::Fuzzing::Differential.diff(
+              differ, domain_path, steps, binary,
+              modes: modes, adapter_parity_sqlite: -> { adapter_parity_sqlite_divergences(domain_path, steps) }
+            )
+          end
+
+          # Single-runtime fallback (`hecks fuzz`'s `outcome`) for domains with no compiled Rust
+          # binary: a violated property, or an exception escaping `Replay.call`.
+          def ruby_only_outcome(domain_path, steps, modes:)
+            self_consistency = modes.include?(:self_consistency)
+            history = Hecks::Fuzzing::Replay.call(domain_path, steps, self_consistency: self_consistency)
+            outcomes = { ruby_only: property_divergences(history) }
+            outcomes[:self_consistency] = self_consistency_divergences(history) if self_consistency
+            outcomes.merge(sqlite_outcome(domain_path, steps, modes))
+          rescue StandardError => e
+            crashed_outcomes(modes, e)
+          end
+
+          def sqlite_outcome(domain_path, steps, modes)
+            return {} unless modes.include?(:adapter_parity_sqlite)
+
+            { adapter_parity_sqlite: adapter_parity_sqlite_divergences(domain_path, steps) }
+          end
+
+          # A crash is one mode's finding, not the absence of the others: each other enabled mode
+          # gets an explicit not_checked entry so the ledger still holds one Check per resolved
+          # mode.
+          def crashed_outcomes(modes, error)
+            crashed = { ruby_only: [{ field: "crash", detail: "#{error.class}: #{error.message}" }] }
+            %i[self_consistency adapter_parity_sqlite].each do |mode|
+              next unless modes.include?(mode)
+
+              crashed[mode] = [{ field:  "not_checked",
+                                 detail: "the Ruby replay crashed before #{mode} ran — #{error.class}: #{error.message}" }]
+            end
+            crashed
+          end
+
+          # One `PersistenceParity.diff` per seed against this sweep's disposable schema. A
+          # `PG::Error` or `WiringError` escaping it is a crash finding, never swallowed.
+          def persistence_parity_outcome(domain_path, steps, database, schema)
+            pair = @adapter_parity_pairs.fetch(:persistence_parity)
+            divergences = Hecks::Fuzzing::PersistenceParity.diff(domain_path, steps, left: pair.fetch(:left),
+                                                                                     right: pair.fetch(:right),
+                                                                                     database: database, schema: schema)
+            [divergences.empty? ? :clean : :divergence, divergences]
+          rescue StandardError => e
+            [:crash, [{ field: "process", detail: "#{e.class}: #{e.message}" }]]
+          end
+
+          # Memory vs SQLite through the same `PersistenceParity.diff`, run inside the primary
+          # seat's loop; an operational failure surfaces as a `process` finding.
+          def adapter_parity_sqlite_divergences(domain_path, steps)
+            pair = @adapter_parity_pairs.fetch(:adapter_parity_sqlite)
+            Hecks::Fuzzing::PersistenceParity.diff(domain_path, steps, left: pair.fetch(:left), right: pair.fetch(:right))
+          rescue StandardError => e
+            [{ field: "process", detail: "#{e.class}: #{e.message}" }]
+          end
+
+          # `ConcurrentDispatch.check` already returns the flat divergence shape and rescues to a
+          # `process` finding; `[]` means the sequence had no command step to race.
+          def concurrency_outcome(domain_path, steps, database, race_schema, reference_schema)
+            Hecks::Fuzzing::ConcurrentDispatch.check(domain_path, steps, database:         database,
+                                                                         race_schema:      race_schema,
+                                                                         reference_schema: reference_schema)
+          end
+        end
+      end
+    end
+  end
+end

data/lib/hecks/quality_control/cli/qa_sweep/checks/seeds.rb

@@ -0,0 +1,86 @@
+# frozen_string_literal: true
+
+module Hecks
+  module QualityControlCli
+    class QaSweep
+      module Checks
+        # One seed of a sweep: the generated step list, and a check per active mode over it.
+        module Seeds
+          private
+
+          def check_for(mode, feature, seed, shape, divergences)
+            { mode:        mode,
+              subject:     "[#{mode}] #{feature} fuzz seed #{seed} (#{shape})",
+              expectation: MODE_EXPECTATIONS.fetch(mode),
+              divergences: divergences,
+              clean:       divergences.empty?,
+              observation: divergences.empty? ? "held" : "diverged on: #{divergences.map { |d| d[:field] }.join(", ")}" }
+          end
+
+          # Extra `generate` arguments a guided seed needs in its `reproduce:` line; empty when
+          # unguided.
+          def plan_arguments(plan)
+            return "" unless plan
+
+            parts = []
+            parts << "prefix: #{plan.prefix.inspect}" if plan.prefix
+            parts << "favor: #{plan.favor.inspect}" unless plan.favor.empty?
+            parts.empty? ? "" : ", #{parts.join(", ")}"
+          end
+
+          # Runs one seed under every active mode: `{ steps:, trace:, checks: }`, one check per
+          # mode; logging is the loop's job. A generator crash is a finding too: a step broke the
+          # interpreter before replay.
+          def run_one_seed(seat, seed)
+            plan = @campaign&.plan(seed)
+            shape = seed_shape(plan)
+            trace = generate_trace(seed, plan)
+            return { plan: plan, steps: [], checks: [generator_crash_check(seed, shape, trace)] } if trace.is_a?(StandardError)
+
+            outcomes = seed_outcomes(seat, trace.steps)
+            { plan: plan, steps: trace.steps, trace: trace,
+              checks: outcomes.map { |mode_key, divergences| check_for(mode_key, @feature, seed, shape, divergences) } }
+          end
+
+          def seed_shape(plan)
+            shape = "#{@steps_per_sequence} steps, adversarial #{@adversarial}, role_draw #{@role_draw}, " \
+                    "dry_run #{@dry_run}"
+            plan&.spliced? ? "#{shape}, spliced" : shape
+          end
+
+          # @return [Object, StandardError] the generated trace, or the error the generator raised
+          def generate_trace(seed, plan)
+            Hecks::Fuzzing::SequenceGenerator.trace(
+              @domain_path, seed: seed, steps: @steps_per_sequence, adversarial: @adversarial,
+                            role_draw: @role_draw, dry_run: @dry_run, **(plan ? plan.generator_options : {})
+            )
+          rescue StandardError => e
+            e
+          end
+
+          def generator_crash_check(seed, shape, error)
+            { mode: :generator, subject: "[generator] #{@feature} fuzz seed #{seed} (#{shape}) — sequence generation",
+              expectation: "SequenceGenerator builds every step without anything but a domain refusal escaping " \
+                           "its own inline dispatch",
+              divergences: [{ field:  "generator_crash",
+                              detail: "#{error.class}: #{error.message}\n#{error.backtrace.first(6).join("\n")}" }],
+              clean: false, observation: "generator crashed: #{error.class}: #{error.message}" }
+          end
+
+          def seed_outcomes(seat, steps)
+            case seat
+            when :differential then diff_ruby_vs_rust(@differ, @domain_path, steps, @binary, modes: @active_modes)
+            when :persistence_parity
+              { persistence_parity: persistence_parity_outcome(@domain_path, steps, @parity_database,
+                                                               @parity_schema).last }
+            when :concurrency
+              { concurrency: concurrency_outcome(@domain_path, steps, @concurrency_database, @race_schema,
+                                                 @reference_schema) }
+            else ruby_only_outcome(@domain_path, steps, modes: @active_modes)
+            end
+          end
+        end
+      end
+    end
+  end
+end

data/lib/hecks/quality_control/cli/qa_sweep/checks/shrinking.rb

@@ -0,0 +1,69 @@
+# frozen_string_literal: true
+
+module Hecks
+  module QualityControlCli
+    class QaSweep
+      module Checks
+        # The shrinking of a surprising step list to a smaller one that still surprises, and the
+        # file the shrunk steps are written to.
+        module Shrinking
+          private
+
+          # Re-runs only the comparison that surprised; `seat` matters only for `self_consistency`,
+          # which reads the Rust binary's rehydration door under a differential seat.
+          def candidate_divergences(check_mode, seat, steps)
+            case check_mode
+            when :differential
+              diff_ruby_vs_rust(@differ, @domain_path, steps, @binary, modes: [:differential])[:differential]
+            when :properties_in_differential, :ruby_only
+              ruby_only_outcome(@domain_path, steps, modes: [])[:ruby_only]
+            when :self_consistency then self_consistency_candidate(seat, steps)
+            when :adapter_parity_sqlite then adapter_parity_sqlite_divergences(@domain_path, steps)
+            when :persistence_parity
+              persistence_parity_outcome(@domain_path, steps, @parity_database, @parity_schema).last
+            end || []
+          end
+
+          def self_consistency_candidate(seat, steps)
+            if seat == :differential
+              diff_ruby_vs_rust(@differ, @domain_path, steps, @binary, modes: [:self_consistency])[:self_consistency]
+            else
+              ruby_only_outcome(@domain_path, steps, modes: [:self_consistency])[:self_consistency]
+            end
+          end
+
+          # Keeps a candidate only while its `Shrinker.signature` still contains the original's; a
+          # raising candidate is a different finding, so it is rejected.
+          def shrink_check(check, seat, steps)
+            original = Hecks::Fuzzing::Shrinker.signature(check[:divergences])
+            result = Hecks::Fuzzing::Shrinker.call(steps, budget: @shrink_budget) do |candidate|
+              divergences = candidate_divergences(check[:mode], seat, candidate)
+              Hecks::Fuzzing::Shrinker.reproduces?(original, divergences)
+            rescue StandardError
+              false
+            end
+            { mode: check[:mode], steps: result.steps, attempts: result.attempts, exhausted: result.exhausted,
+              original_size: steps.size }
+          end
+
+          # Writes the shrunk steps in `hecks fuzz`'s `{name, note, steps}` shape so `hecks run` and
+          # `hecks check_conformance` replay it unchanged.
+          def write_shrunk!(shrunk, seed)
+            dir = File.join(@root, "tmp/qa-shrunk")
+            FileUtils.mkdir_p(dir)
+            path = File.join(dir, "#{filesystem_safe_component(@sweep_reference)}-#{shrunk[:mode]}.json")
+            File.write(path, JSON.pretty_generate(shrunk_document(shrunk, seed)))
+            path
+          end
+
+          def shrunk_document(shrunk, seed)
+            { name:  "#{@feature}-#{shrunk[:mode]}-shrunk",
+              note:  "hecks quality_control ask run #{@sweep_reference} seed #{seed}, shrunk " \
+                     "from #{shrunk[:original_size]} steps",
+              steps: shrunk[:steps] }
+          end
+        end
+      end
+    end
+  end
+end

data/lib/hecks/quality_control/cli/qa_sweep/checks.rb

@@ -1,5 +1,10 @@
 # frozen_string_literal: true
 
+require_relative "checks/engines"
+require_relative "checks/seeds"
+require_relative "checks/boundary"
+require_relative "checks/shrinking"
+
 module Hecks
   module QualityControlCli
     class QaSweep
@@ -7,6 +12,11 @@ module Hecks
       # `Check` per mode per seed; the `[mode]` subject prefix tells the ledger which axis held or
       # surprised, and each expectation is written before looking.
       module Checks
+        include Engines
+        include Seeds
+        include Boundary
+        include Shrinking
+
         MODE_EXPECTATIONS = {
           differential:               "Ruby and the compiled Rust conformance binary agree on instances, events, refusals, " \
                                       "reactions, sagas, queries and dry runs across every generated step",
@@ -34,96 +44,10 @@ module Hecks
 
         private
 
-        # Flattens Replay's `:self_consistency` results into the same `{field:, detail:}` shape as
-        # every finding.
-        def self_consistency_divergences(history) = Hecks::Fuzzing::Differential.self_consistency_divergences(history)
-
-        def property_divergences(history) = Hecks::Fuzzing::Differential.property_divergences(history)
-
-        # The Ruby-vs-Rust diff from `spec/rust_conformance_fuzz_spec.rb`, one divergence list per
-        # active mode so `run_one_seed` logs a `Check` per mode.
-        def diff_ruby_vs_rust(differ, domain_path, steps, binary, modes:)
-          Hecks::Fuzzing::Differential.diff(
-            differ, domain_path, steps, binary,
-            modes: modes, adapter_parity_sqlite: -> { adapter_parity_sqlite_divergences(domain_path, steps) }
-          )
-        end
-
-        # Single-runtime fallback (`hecks fuzz`'s `outcome`) for domains with no compiled Rust
-        # binary: a violated property, or an exception escaping `Replay.call`.
-        def ruby_only_outcome(domain_path, steps, modes:)
-          self_consistency = modes.include?(:self_consistency)
-          history = Hecks::Fuzzing::Replay.call(domain_path, steps, self_consistency: self_consistency)
-          outcomes = { ruby_only: property_divergences(history) }
-          outcomes[:self_consistency] = self_consistency_divergences(history) if self_consistency
-          if modes.include?(:adapter_parity_sqlite)
-            outcomes[:adapter_parity_sqlite] = adapter_parity_sqlite_divergences(domain_path, steps)
-          end
-          outcomes
-        rescue StandardError => e
-          # A crash is one mode's finding, not the absence of the others: each other enabled mode
-          # gets an explicit not_checked entry so the ledger still holds one Check per resolved
-          # mode.
-          crashed = { ruby_only: [{ field: "crash", detail: "#{e.class}: #{e.message}" }] }
-          %i[self_consistency adapter_parity_sqlite].each do |mode|
-            next unless modes.include?(mode)
-
-            crashed[mode] = [{ field:  "not_checked",
-                               detail: "the Ruby replay crashed before #{mode} ran — #{e.class}: #{e.message}" }]
-          end
-          crashed
-        end
-
         def log_check!(sweep, subject:, expectation:)
           sweep.check!(subject: { value: subject }, expectation: { value: expectation })
         end
 
-        def check_for(mode, feature, seed, shape, divergences)
-          { mode:        mode,
-            subject:     "[#{mode}] #{feature} fuzz seed #{seed} (#{shape})",
-            expectation: MODE_EXPECTATIONS.fetch(mode),
-            divergences: divergences,
-            clean:       divergences.empty?,
-            observation: divergences.empty? ? "held" : "diverged on: #{divergences.map { |d| d[:field] }.join(', ')}" }
-        end
-
-        # Extra `generate` arguments a guided seed needs in its `reproduce:` line; empty when
-        # unguided.
-        def plan_arguments(plan)
-          return "" unless plan
-
-          parts = []
-          parts << "prefix: #{plan.prefix.inspect}" if plan.prefix
-          parts << "favor: #{plan.favor.inspect}" unless plan.favor.empty?
-          parts.empty? ? "" : ", #{parts.join(', ')}"
-        end
-
-        # Once-per-sweep report of verbs skipped as not generated: held with the full list,
-        # surprised if any skipped verb's construct is outside the documented boundary.
-        def structural_skip_check(differ, binary, boundary)
-          skipped = differ.structural_skips.to_a.sort
-          gaps = Hecks::Fuzzing::RustGapManifest.for_binary(binary)
-          attributed = Hecks::Fuzzing::StructuralSkips.attribute(gaps, skipped)
-          outside = Hecks::Fuzzing::StructuralSkips.outside_boundary(attributed, boundary)
-          listing = attributed.map { |e| "#{e[:verb]} [#{e[:constructs].join(',')}]" }.join("; ")
-          divergences = outside.map do |e|
-            declares = e[:constructs].empty? ? "nothing" : e[:constructs].join(",")
-            { field: "structural_skip", verb: e[:verb], constructs: e[:constructs],
-              detail: "#{e[:verb]} was skipped as not generated (construct: #{declares}), outside " \
-                      "STRUCTURAL_REFUSAL_BOUNDARY — a codegen regression or a new gap, not a documented boundary" }
-          end
-          observation = if divergences.empty?
-                          "all #{skipped.size} inside the documented boundary"
-                        else
-                          "#{divergences.size} outside the boundary"
-                        end
-          { mode: :structural_skip_report,
-            subject: "[structural_skip_report] structurally skipped #{skipped.size} verb(s): [#{listing}]",
-            expectation: "every named query/read model skipped because manifest.json declares it not " \
-                         "generated names a construct inside QualityControlDials::STRUCTURAL_REFUSAL_BOUNDARY",
-            divergences: divergences, clean: divergences.empty?, observation: observation }
-        end
-
         # `id:` addresses the Sweep; `sequence:` is the Check's own identity. The CLI's
         # to.aggregate=/to.entity= split is a CLI-layer translation, not what in-process dispatch
         # takes.
@@ -140,168 +64,6 @@ module Hecks
                                    target: { value: target_reference } })
         end
 
-        # One `PersistenceParity.diff` per seed against this sweep's disposable schema. A
-        # `PG::Error` or `WiringError` escaping it is a crash finding, never swallowed.
-        def persistence_parity_outcome(domain_path, steps, database, schema)
-          pair = @adapter_parity_pairs.fetch(:persistence_parity)
-          divergences = Hecks::Fuzzing::PersistenceParity.diff(domain_path, steps, left: pair.fetch(:left),
-                                                                                   right: pair.fetch(:right),
-                                                                                   database: database, schema: schema)
-          [divergences.empty? ? :clean : :divergence, divergences]
-        rescue StandardError => e
-          [:crash, [{ field: "process", detail: "#{e.class}: #{e.message}" }]]
-        end
-
-        # Memory vs SQLite through the same `PersistenceParity.diff`, run inside the primary seat's
-        # loop; an operational failure surfaces as a `process` finding.
-        def adapter_parity_sqlite_divergences(domain_path, steps)
-          pair = @adapter_parity_pairs.fetch(:adapter_parity_sqlite)
-          Hecks::Fuzzing::PersistenceParity.diff(domain_path, steps, left: pair.fetch(:left), right: pair.fetch(:right))
-        rescue StandardError => e
-          [{ field: "process", detail: "#{e.class}: #{e.message}" }]
-        end
-
-        # `ConcurrentDispatch.check` already returns the flat divergence shape and rescues to a
-        # `process` finding; `[]` means the sequence had no command step to race.
-        def concurrency_outcome(domain_path, steps, database, race_schema, reference_schema)
-          Hecks::Fuzzing::ConcurrentDispatch.check(domain_path, steps, database:         database,
-                                                                       race_schema:      race_schema,
-                                                                       reference_schema: reference_schema)
-        end
-
-        # Seedless, once per sweep: audits the target's own persisted lineage. Nothing to audit is a
-        # note, not a finding.
-        def era_boundary_check(domain_path)
-          result = Hecks::Fuzzing::EraBoundary.diverged_ancestor_writes(domain_path)
-          return unchecked_era_boundary(domain_path, result) unless result[:checked]
-
-          divergences =
-            if result[:diverged_total].positive?
-              [{ field: "era_boundary", breakdown: result[:breakdown],
-                 detail: "#{result[:diverged_total]} post-cut write(s) across #{result[:era_count]} era(s) " \
-                         "that nothing has ever merged forward — hecks merge_tail <this target's own domain " \
-                         "path> is the fix; see this script's own header on `era_boundary` for the class of " \
-                         "bug this is" }]
-            else
-              []
-            end
-
-          { mode: :era_boundary, subject: "[era_boundary] #{File.basename(domain_path)} — ancestor-era audit " \
-                                          "(#{result[:era_count]} era(s) on record)",
-            expectation: MODE_EXPECTATIONS.fetch(:era_boundary), divergences: divergences,
-            clean: divergences.empty?,
-            observation: divergences.empty? ? "no ancestor era holds an unmerged write" : "#{result[:diverged_total]} diverged" }
-        end
-
-        # Nothing to audit and could not audit stay apart: `not_applicable` logs no `Check`, while
-        # an error is a finding, so an unreachable database never counts as a held `Check` toward
-        # the streak.
-        def unchecked_era_boundary(domain_path, result)
-          if result[:kind] == :not_applicable
-            return { mode: :era_boundary, skip: true, observation: "not applicable — #{result[:reason]}" }
-          end
-
-          { mode: :era_boundary, subject: "[era_boundary] #{File.basename(domain_path)} — ancestor-era audit",
-            expectation: MODE_EXPECTATIONS.fetch(:era_boundary),
-            divergences: [{ field: "era_boundary_unchecked", detail: result[:reason] }], clean: false,
-            observation: "could not audit — #{result[:reason]}" }
-        end
-
-        # Runs one seed under every active mode: `{ steps:, trace:, checks: }`, one check per mode;
-        # logging is the loop's job. A generator crash is a finding too: a step broke the
-        # interpreter before replay.
-        def run_one_seed(seat, seed)
-          shape = "#{@steps_per_sequence} steps, adversarial #{@adversarial}, role_draw #{@role_draw}, " \
-                  "dry_run #{@dry_run}"
-          plan = @campaign&.plan(seed)
-          shape += ", spliced" if plan&.spliced?
-          begin
-            trace = Hecks::Fuzzing::SequenceGenerator.trace(
-              @domain_path, seed: seed, steps: @steps_per_sequence, adversarial: @adversarial,
-                            role_draw: @role_draw, dry_run: @dry_run, **(plan ? plan.generator_options : {})
-            )
-            steps = trace.steps
-          rescue StandardError => e
-            return { plan: plan, steps: [], checks: [generator_crash_check(seed, shape, e)] }
-          end
-
-          outcomes = seed_outcomes(seat, steps)
-          { plan: plan, steps: steps, trace: trace,
-            checks: outcomes.map { |mode_key, divergences| check_for(mode_key, @feature, seed, shape, divergences) } }
-        end
-
-        def generator_crash_check(seed, shape, error)
-          { mode: :generator, subject: "[generator] #{@feature} fuzz seed #{seed} (#{shape}) — sequence generation",
-            expectation: "SequenceGenerator builds every step without anything but a domain refusal escaping " \
-                         "its own inline dispatch",
-            divergences: [{ field:  "generator_crash",
-                            detail: "#{error.class}: #{error.message}\n#{error.backtrace.first(6).join("\n")}" }],
-            clean: false, observation: "generator crashed: #{error.class}: #{error.message}" }
-        end
-
-        def seed_outcomes(seat, steps)
-          case seat
-          when :differential then diff_ruby_vs_rust(@differ, @domain_path, steps, @binary, modes: @active_modes)
-          when :persistence_parity
-            { persistence_parity: persistence_parity_outcome(@domain_path, steps, @parity_database,
-                                                             @parity_schema).last }
-          when :concurrency
-            { concurrency: concurrency_outcome(@domain_path, steps, @concurrency_database, @race_schema,
-                                               @reference_schema) }
-          else ruby_only_outcome(@domain_path, steps, modes: @active_modes)
-          end
-        end
-
-        # Re-runs only the comparison that surprised; `seat` matters only for `self_consistency`,
-        # which reads the Rust binary's rehydration door under a differential seat.
-        def candidate_divergences(check_mode, seat, steps)
-          case check_mode
-          when :differential
-            diff_ruby_vs_rust(@differ, @domain_path, steps, @binary, modes: [:differential])[:differential]
-          when :properties_in_differential, :ruby_only
-            ruby_only_outcome(@domain_path, steps, modes: [])[:ruby_only]
-          when :self_consistency then self_consistency_candidate(seat, steps)
-          when :adapter_parity_sqlite then adapter_parity_sqlite_divergences(@domain_path, steps)
-          when :persistence_parity
-            persistence_parity_outcome(@domain_path, steps, @parity_database, @parity_schema).last
-          end || []
-        end
-
-        def self_consistency_candidate(seat, steps)
-          if seat == :differential
-            diff_ruby_vs_rust(@differ, @domain_path, steps, @binary, modes: [:self_consistency])[:self_consistency]
-          else
-            ruby_only_outcome(@domain_path, steps, modes: [:self_consistency])[:self_consistency]
-          end
-        end
-
-        # Keeps a candidate only while its `Shrinker.signature` still contains the original's; a
-        # raising candidate is a different finding, so it is rejected.
-        def shrink_check(check, seat, steps)
-          original = Hecks::Fuzzing::Shrinker.signature(check[:divergences])
-          result = Hecks::Fuzzing::Shrinker.call(steps, budget: @shrink_budget) do |candidate|
-            divergences = candidate_divergences(check[:mode], seat, candidate)
-            Hecks::Fuzzing::Shrinker.reproduces?(original, divergences)
-          rescue StandardError
-            false
-          end
-          { mode: check[:mode], steps: result.steps, attempts: result.attempts, exhausted: result.exhausted,
-            original_size: steps.size }
-        end
-
-        # Writes the shrunk steps in `hecks fuzz`'s `{name, note, steps}` shape so `hecks run` and
-        # `hecks check_conformance` replay it unchanged.
-        def write_shrunk!(shrunk, seed)
-          dir = File.join(@root, "tmp/qa-shrunk")
-          FileUtils.mkdir_p(dir)
-          path = File.join(dir, "#{filesystem_safe_component(@sweep_reference)}-#{shrunk[:mode]}.json")
-          File.write(path, JSON.pretty_generate(name:  "#{@feature}-#{shrunk[:mode]}-shrunk",
-                                                note:  "hecks quality_control ask run #{@sweep_reference} seed #{seed}, shrunk " \
-                                                       "from #{shrunk[:original_size]} steps",
-                                                steps: shrunk[:steps]))
-          path
-        end
-
         # Coverage-guided generation's corpus, one JSON file per (target, mode): `--all`'s waves can
         # run a target's primary sweep and its persistence-parity/concurrency variants as separate
         # `hecks quality_control query sweep.run` processes within the same tick, and each explores