haveapi 0.30.0 → 0.30.2

data/benchmarks/performance_compare.rb

@@ -0,0 +1,579 @@
+# All entry points share the calibrated native JSON version. Unbundled
+# workers must activate it before require selects a newer gem in GEM_PATH.
+module HaveAPI
+  module Performance
+    JSON_VERSION = '2.21.2'.freeze
+    gem 'json', "= #{JSON_VERSION}"
+  end
+end
+require 'digest'
+require 'json'
+
+module HaveAPI
+  module Performance
+    REFERENCE = 'b85ec364057f536940d689b09e612512ffffaf82'.freeze
+    SAMPLE_SCHEMA = 2
+    PROFILES = { 'quick' => { self_pairs: 3, pairs: 5, agreement: 4, target: 1.0, adequate: 0.75, relative: 0.20 },
+                 'weekly' => { self_pairs: 3, pairs: 7, agreement: 6, target: 2.0, adequate: 1.5, relative: 0.10 } }.freeze
+    MAX_ITERATIONS = 100_000
+    REQUEST_LIMIT_SECONDS = 30.0
+    SETUP_LIMIT_SECONDS = 120.0
+
+    def self.complex_cases(profile)
+      sizes = profile == 'weekly' ? [32] : [16]
+      sizes.product(%w[admin member]).map do |resources, user|
+        { 'id' => 'docs.html_rust', 'dimensions' => { 'resources' => resources, 'actions' => 4, 'samples' => 2, 'parameters' => 4, 'user' => user } }
+      end
+    end
+    METRICS = %w[wall_seconds cpu_seconds allocated_objects].freeze
+    COUNTERS = %w[queries authorizations executions].freeze
+    RUNTIME_POLICY = { 'rack_env' => 'test', 'locale' => 'C.UTF-8', 'timezone' => 'UTC', 'yjit' => false, 'rjit' => false }.freeze
+    class ContractError < StandardError; end
+
+    # One reviewed maintenance mapping, not a general cherry-pick certificate.
+    # Both live entry points verify Git; replay verifies the retained raw delta.
+    module Release
+      MAPPED = '8b7abc097db49893da9cc8fa4395648901fec71d'.freeze
+      METADATA = '1c3c98f0d77e0b23c8da1a8937f25c5799864a3b'.freeze
+      DELTA = '0a008acbb46434a0914421064149ce154ea41a6e82a29022c53e666eb2066fd5'.freeze
+      DIFF = %w[-c diff.suppressBlankEmpty=false -c core.quotePath=true diff --binary --full-index
+                --no-ext-diff --no-textconv --no-color --no-renames --diff-algorithm=myers
+                --no-indent-heuristic --unified=3 --inter-hunk-context=0 --src-prefix=a/ --dst-prefix=b/
+                --line-prefix= --no-relative -O/dev/null].freeze
+      TREES = %w[aaa082cae86f0a24559333213ab959729fb37494 e5a3896cad997648eaa08ff1c1865deca5de9a43
+                 32a09190e05a89f6312e07f20a9e4585335e468c d42a0638dc93a40ef08718ae2bf6897df966d980].freeze
+      JSON_GEMFILES = %w[Gemfile servers/ruby/Gemfile clients/rust/Gemfile].freeze
+      VERSIONS = { 'servers/ruby/lib/haveapi/version.rb' => 'haveapi',
+                   'clients/ruby/lib/haveapi/client/version.rb' => 'haveapi-client',
+                   'clients/rust/lib/haveapi/rust_client/version.rb' => 'haveapi-rust-client' }.freeze
+
+      def self.lineage(git:, ancestor:, candidate:)
+        # Ordinary master ancestry needs no maintenance objects, including in a
+        # single-branch clone. Probe the exceptional mapping only when needed.
+        return if ancestor.call(REFERENCE, candidate)
+        return unless ancestor.call(MAPPED, candidate)
+
+        proof = { 'candidate_sha' => candidate, 'reference_sha' => REFERENCE, 'mapped_sha' => MAPPED,
+                  'metadata_sha' => METADATA,
+                  'trees' => [REFERENCE, MAPPED, "#{METADATA}^", METADATA].map { |sha| git.call('rev-parse', "#{sha}^{tree}").strip },
+                  'reference_delta' => git.call(*DIFF, REFERENCE, MAPPED),
+                  'metadata_delta' => git.call(*DIFF, "#{METADATA}^", METADATA) }
+        validate_lineage(proof, candidate)
+        proof
+      end
+
+      def self.validate_lineage(proof, candidate)
+        unless proof.fetch('candidate_sha') == candidate && proof.fetch('reference_sha') == REFERENCE &&
+               proof.fetch('mapped_sha') == MAPPED && proof.fetch('metadata_sha') == METADATA && proof.fetch('trees') == TREES &&
+               proof.fetch('reference_delta') == proof.fetch('metadata_delta') &&
+               Digest::SHA256.hexdigest(proof.fetch('reference_delta')) == DELTA
+          raise ContractError, 'Invalid published release lineage proof'
+        end
+      end
+
+      def self.version(contents)
+        value = contents.fetch('VERSION').strip
+        unless value.match?(/\A0\.30\.(?:0|[1-9][0-9]*)\z/) && contents.fetch('VERSION') == "#{value}\n"
+          raise ContractError, 'Expected own 0.30 patch version'
+        end
+
+        value
+      end
+
+      def self.paths(profile)
+        PROFILES.fetch(profile)
+        versions = VERSIONS.keys
+        %w[VERSION .ruby-version flake.nix flake.lock Gemfile servers/ruby/Gemfile clients/ruby/Gemfile] +
+          versions + versions.map { |path| "#{path.split('/lib/').first}/#{VERSIONS.fetch(path)}.gemspec" } +
+          ['clients/rust/Gemfile']
+      end
+
+      # Normalize only the exact JSON preparation declaration and validated own
+      # VERSION/internal dependency identities. Keep raw and normalized hashes.
+      def self.normalize(contents)
+        own = version(contents)
+        normalized = contents.merge(json_preparation(contents).fetch('normalized_contents'))
+        normalized['VERSION'] = "0.30.PATCH\n"
+        VERSIONS.each do |path, name|
+          next unless contents.has_key?(path)
+
+          source = contents.fetch(path)
+          raise ContractError, "Mismatched local #{name} version" unless source.scan(/^\s*VERSION = '([^']+)'/).flatten == [own]
+
+          normalized[path] = source.sub(/^(\s*VERSION = )'#{Regexp.escape(own)}'/, "\\1'0.30.PATCH'")
+          spec_path = "#{path.split('/lib/').first}/#{name}.gemspec"
+          spec = contents.fetch(spec_path)
+          raise ContractError, 'Mismatched local package identity' unless spec.match?(/\.name\s*= '#{Regexp.escape(name)}'/)
+          next if name == 'haveapi-client'
+
+          requirement = /(?<=\.add_dependency )'haveapi-client', '~> ([^']+)'/
+          raise ContractError, 'Unsynchronized internal client constraint' unless spec.scan(requirement).flatten == [own]
+
+          normalized[spec_path] = spec.sub(requirement, "'haveapi-client', '~> 0.30.PATCH'")
+        end
+        normalized
+      end
+
+      def self.capture(contents)
+        { 'contents' => contents, 'own_version' => version(contents),
+          'raw_sha256' => contents.transform_values { |value| Digest::SHA256.hexdigest(value) },
+          'normalized_sha256' => normalize(contents).transform_values { |value| Digest::SHA256.hexdigest(value) },
+          'json_preparation' => json_preparation(contents).fetch('declarations') }
+      end
+
+      # A reviewed preparation-only delta: no declaration, the old unversioned
+      # declaration, or this exact development pin. Every other byte is retained.
+      def self.json_preparation(contents)
+        selected = contents.slice(*JSON_GEMFILES)
+        raise ContractError, 'Missing JSON preparation Gemfile' unless selected.keys.sort == JSON_GEMFILES.sort
+
+        declarations = {}
+        normalized = selected.to_h do |path, text|
+          lines = text.lines.grep(/^\s*gem ['"]json['"]/)
+          pin = "  gem 'json', '= #{JSON_VERSION}'\n"
+          old = "  gem 'json'\n"
+          unless lines.empty? || lines == [pin] || lines == [old]
+            raise ContractError, "Unexpected JSON preparation declaration in #{path}"
+          end
+
+          declarations[path] = if lines.empty?
+                                 'absent'
+                               elsif lines == [pin]
+                                 'exact-development-pin'
+                               else
+                                 'old-unversioned'
+                               end
+          [path, lines.empty? ? text : text.sub(lines.first, '')]
+        end
+        { 'contents' => selected, 'normalized_contents' => normalized,
+          'raw_sha256' => selected.transform_values { |text| Digest::SHA256.hexdigest(text) },
+          'normalized_sha256' => normalized.transform_values { |text| Digest::SHA256.hexdigest(text) },
+          'declarations' => declarations, 'version' => JSON_VERSION }
+      end
+
+      def self.validate_json_preparation(inputs, source)
+        receipt = inputs.fetch('json_preparation')
+        raise ContractError, 'JSON preparation normalization mismatch' unless receipt == json_preparation(receipt.fetch('contents'))
+
+        receipt.fetch('raw_sha256').each do |path, digest|
+          unless source.fetch('files_sha256').fetch(path) == digest && inputs.fetch('manifests').fetch(path) == receipt.fetch('normalized_sha256').fetch(path)
+            raise ContractError, 'JSON preparation escaped verified source'
+          end
+        end
+      end
+
+      def self.validate_inputs(inputs, source, profile)
+        receipt = inputs.fetch('release_versions')
+        raise ContractError, 'Incomplete release input graph' unless receipt.fetch('contents').keys.sort == paths(profile).sort
+        raise ContractError, 'Release input normalization mismatch' unless receipt == capture(receipt.fetch('contents'))
+        raise ContractError, 'Release normalized graph mismatch' unless inputs.fetch('manifests') == receipt.fetch('normalized_sha256')
+
+        receipt.fetch('raw_sha256').each do |path, digest|
+          raise ContractError, 'Release input escaped verified source' unless source.fetch('files_sha256').fetch(path) == digest
+        end
+        receipt.fetch('own_version')
+      end
+
+      def self.graph(inputs)
+        inputs.except('release_versions', 'json_preparation')
+      end
+
+      def self.html(body, own)
+        raise ContractError, 'Expected own 0.30 patch version' unless own.match?(/\A0\.30\.(?:0|[1-9][0-9]*)\z/)
+
+        # Only the exact framework footer and emitted WebUI hrefs may change.
+        # Opaque content and complete quoted tag attributes remain byte-exact.
+        footer = '<p class="text-right">Generated by <a href="https://github.com/vpsfreecz/haveapi">HaveAPI</a> v'
+        pattern = %r{<!--.*?-->|(?i:<(?<opaque>script|style|pre|code|textarea)\b[^>]*>.*?</\k<opaque>\s*>)|(?<footer>#{Regexp.escape(footer)})(?<footer_version>[^<]*)</p>|(?<link><a\s+href=")https://webui\.haveapi\.org/v#{Regexp.escape(own)}/(?=#[^"<>]*")|<(?:"[^"]*"|'[^']*'|[^'">])*>}m
+        footers = 0
+        normalized = body.gsub(pattern) do |match|
+          if Regexp.last_match[:footer]
+            footers += 1
+            raise ContractError, 'Documentation footer differs from own source VERSION' unless Regexp.last_match[:footer_version] == own
+
+            "#{Regexp.last_match[:footer]}0.30.PATCH</p>"
+          elsif Regexp.last_match[:link]
+            "#{Regexp.last_match[:link]}https://webui.haveapi.org/v0.30.PATCH/"
+          else
+            match
+          end
+        end
+        raise ContractError, 'Expected one framework documentation footer' unless footers == 1
+
+        normalized
+      end
+    end
+
+    def self.validate_source_pair(profile:, baseline_sha:, candidate_sha:)
+      raise ContractError, 'Baseline and candidate must differ' if baseline_sha == candidate_sha
+      return unless profile == 'weekly' && baseline_sha != REFERENCE
+
+      raise ContractError, 'Weekly baseline must be the fixed reference'
+    end
+
+    # Canonicalization ignores map order only. Arrays and scalar types retain
+    # their meaning; duplicate JSON or symbol/string-normalized keys fail closed.
+    module Identity
+      # A sample owns this snapshot; later response/fixture mutations cannot
+      # change the body proof retained for another operation in that sample.
+      def self.snapshot(value)
+        case value
+        when Hash then value.to_h { |key, item| [snapshot(key), snapshot(item)] }.freeze
+        when Array then value.map { |item| snapshot(item) }.freeze
+        when String then value.dup.freeze
+        else value.freeze
+        end
+      end
+
+      def self.canonical(value)
+        case value
+        when Hash
+          normalized = {}
+          value.each do |key, item|
+            raise ContractError, 'Non-string JSON map key' unless key.is_a?(String) || key.is_a?(Symbol)
+            raise ContractError, "Duplicate normalized key #{key}" if normalized.has_key?(key.to_s)
+
+            normalized[key.to_s] = canonical(item)
+          end
+          normalized.sort.to_h
+        when Array then value.map { |item| canonical(item) }
+        when String, Integer, TrueClass, FalseClass, NilClass then value
+        when Float
+          raise ContractError, 'Non-finite JSON number' unless value.finite?
+
+          value
+        else raise ContractError, "Non-JSON value #{value.class}"
+        end
+      end
+
+      def self.digest(value)
+        Digest::SHA256.hexdigest(JSON.generate(canonical(value)))
+      end
+
+      def self.json(response)
+        body = parse(response.body)
+        canonical = canonical(body)
+        { http_status: response.status, envelope_status: body.fetch('status'),
+          body_bytes: response.body.bytesize, body_sha256: Digest::SHA256.hexdigest(response.body),
+          canonical_sha256: Digest::SHA256.hexdigest(JSON.generate(canonical)), canonical_body: canonical }
+      end
+
+      def self.parse(string)
+        JSON.parse(string, allow_duplicate_key: false)
+      rescue JSON::ParserError => e
+        raise ContractError, "Duplicate key or invalid JSON: #{e.message}"
+      end
+
+      def self.key(spec)
+        JSON.generate(canonical('id' => spec.fetch('id'), 'dimensions' => spec.fetch('dimensions')))
+      end
+    end
+
+    class Comparator
+      def initialize(samples, budgets, budget_sha256:)
+        @samples = samples
+        @budgets = budgets
+        @budget_sha256 = budget_sha256
+      end
+
+      def compare
+        validate_header
+        inventory = @samples.fetch('inventory').map { |spec| Identity.key(spec) }
+        cases = @samples.fetch('cases')
+        budget_cases = @budgets.fetch('profiles').fetch(@samples.fetch('profile'))
+        unless inventory.uniq == inventory && inventory.sort == cases.map { |item| Identity.key(item) }.sort &&
+               inventory.sort == (budget_cases + Performance.complex_cases(@samples.fetch('profile'))).map { |item| Identity.key(item) }.sort
+          raise ContractError, 'Missing, duplicate or unexpected workload'
+        end
+
+        results = cases.map do |item|
+          budget = budget_cases.find { |entry| Identity.key(entry) == Identity.key(item) }
+          compare_case(item, budget)
+        end
+        status = if results.any? { |item| item['classification'] == 'regression' }
+                   'regression'
+                 elsif results.any? { |item| item['classification'] == 'inconclusive' }
+                   'inconclusive'
+                 else
+                   'pass'
+                 end
+        @samples.slice('schema_version', 'profile', 'baseline_sha', 'candidate_sha', 'harness_sha256', 'budget_sha256')
+                .merge('status' => status, 'cases' => results, 'calibration_environment' => 'weekly')
+      rescue KeyError, TypeError, NoMethodError, ArgumentError => e
+        raise ContractError, "Invalid comparison input: #{e.message}"
+      end
+
+      private
+
+      def validate_header
+        raise ContractError, "Unsupported samples schema; expected #{SAMPLE_SCHEMA}" unless @samples.fetch('schema_version').eql?(SAMPLE_SCHEMA)
+        raise ContractError, 'Unsupported budget schema' unless @budgets.fetch('schema_version') == 1
+        raise ContractError, 'Wrong fixed reference' unless @budgets.fetch('reference_sha') == REFERENCE
+        raise ContractError, 'Budget digest mismatch' unless @samples.fetch('budget_sha256') == @budget_sha256
+
+        @policy = PROFILES.fetch(@samples.fetch('profile'))
+        calibration = @budgets.fetch('calibration').fetch(@samples.fetch('profile'))
+        unless calibration.fetch('source_sha') == REFERENCE && calibration.fetch('raw_sha256').match?(/\A[0-9a-f]{64}\z/) &&
+               calibration.fetch('warmup_batches') == 2 && calibration.fetch('iterations').is_a?(Integer) && calibration['iterations'] > 0 &&
+               !calibration.fetch('fixture_sha256').empty? && !calibration.fetch('inputs').empty?
+          raise ContractError, 'Missing calibrated reference evidence'
+        end
+
+        %w[baseline_sha candidate_sha harness_sha256].each do |field|
+          length = field.end_with?('_sha256') ? 64 : 40
+          raise ContractError, "Missing #{field}" unless @samples.fetch(field).match?(/\A[0-9a-f]{#{length}}\z/)
+        end
+        Performance.validate_source_pair(profile: @samples.fetch('profile'), baseline_sha: @samples.fetch('baseline_sha'),
+                                         candidate_sha: @samples.fetch('candidate_sha'))
+        raise ContractError, 'Missing fixture provenance' if @samples.fetch('fixture_sha256').empty?
+        raise ContractError, 'Missing source provenance' unless @samples.fetch('sources').keys.sort == %w[baseline candidate]
+        raise ContractError, 'Missing environment' if @samples.fetch('environment').empty?
+        unless @samples.fetch('environment') == @budgets.fetch('environment').fetch('weekly')
+          raise ContractError, 'Calibration environment mismatch'
+        end
+
+        sources = @samples.fetch('sources')
+        lineage = @samples['release_lineage']
+        Release.validate_lineage(lineage, @samples.fetch('candidate_sha')) if lineage
+        %w[baseline candidate].each do |role|
+          source = sources.fetch(role)
+          unless source.fetch('sha') == @samples.fetch("#{role}_sha") && source.fetch('root').start_with?('/') &&
+                 source.fetch('tree').match?(/\A[0-9a-f]{40}\z/) && source.fetch('tracked_files').is_a?(Integer) && source['tracked_files'] > 0
+            raise ContractError, 'Invalid source proof'
+          end
+        end
+        observations = @samples.fetch('observations')
+        raise ContractError, 'Missing worker provenance' if observations.empty?
+
+        observations.each_value do |observation|
+          source = observation.fetch('source')
+          raise ContractError, 'Worker root/SHA absent from source proof' unless sources.values.any? { |entry| entry['root'] == source['root'] && entry['sha'] == source['sha'] }
+          raise ContractError, 'Missing loaded sources' if source.fetch('loaded_sources').empty?
+          raise ContractError, 'Runtime policy mismatch' unless observation.fetch('runtime_policy') == RUNTIME_POLICY
+          raise ContractError, 'Missing host diagnostics' unless %w[hostname os cpu].all? { |key| observation.fetch('host').fetch(key).is_a?(String) }
+
+          selected = sources.values.find { |entry| entry['root'] == source['root'] && entry['sha'] == source['sha'] }
+          source.fetch('loaded_sources').each do |path, sha256|
+            raise ContractError, 'Loaded runtime not in verified source tree' unless selected.fetch('files_sha256').fetch(path) == sha256
+          end
+          inputs = observation.fetch('inputs')
+          if lineage
+            Release.validate_inputs(inputs, selected, @samples.fetch('profile'))
+          elsif inputs.has_key?('release_versions')
+            raise ContractError, 'Unproven own-version normalization'
+          else
+            Release.validate_json_preparation(inputs, selected)
+          end
+          unless observation.fetch('environment') == @samples['environment'] && Release.graph(inputs) == @samples.fetch('inputs') &&
+                 observation.fetch('fixture_sha256') == @samples['fixture_sha256']
+            raise ContractError, 'Worker provenance mismatch'
+          end
+        end
+        return if @samples.fetch('inputs').fetch('locks').any? && @samples['inputs'].fetch('manifests').any?
+
+        raise ContractError, 'Missing dependency graph'
+      end
+
+      def number(value)
+        raise ContractError, 'Invalid nonnegative finite metric' unless value.is_a?(Numeric) && value.finite? && value >= 0
+
+        value
+      end
+
+      def median(values)
+        sorted = values.sort
+        middle = sorted.length / 2
+        sorted.length.odd? ? sorted[middle] : (sorted[middle - 1] + sorted[middle]) / 2.0
+      end
+
+      def validate_sample(sample, iterations, budget, spec)
+        workload = spec.fetch('id')
+        METRICS.each { |metric| number(sample.fetch(metric)) }
+        if sample.fetch('wall_seconds') * iterations > REQUEST_LIMIT_SECONDS
+          raise ContractError, "Request batch exceeds #{REQUEST_LIMIT_SECONDS}s: #{workload}"
+        end
+        raise ContractError, 'Operation count mismatch' unless sample.fetch('operations').is_a?(Integer) && sample.fetch('operations') == iterations
+
+        outputs = sample.fetch('outputs')
+        counts = outputs.map do |output|
+          count = output.fetch('count')
+          raise ContractError, 'Invalid response occurrence count' unless count.is_a?(Integer) && count.between?(1, iterations)
+
+          count
+        end
+        raise ContractError, 'Response occurrence count mismatch' unless counts.sum == iterations
+
+        counters = sample.fetch('counters')
+        unless counters.fetch('operations').is_a?(Integer) && counters.fetch('operations') == iterations
+          raise ContractError, 'Validated counter operation count mismatch'
+        end
+
+        proof = @samples.fetch('observations').fetch(sample.fetch('observation'))
+        raise ContractError, 'Sample source provenance missing' unless proof
+
+        bodies = sample.fetch('bodies')
+        unless bodies.keys.sort == outputs.map { |output| output.fetch('body_sha256') }.sort
+          raise ContractError, 'Missing, duplicate or unreferenced response example'
+        end
+
+        body_proofs = bodies.to_h do |digest, value|
+          raise ContractError, 'Invalid raw output digest' unless digest.match?(/\A[0-9a-f]{64}\z/)
+          raise ContractError, 'Raw output digest mismatch' unless Digest::SHA256.hexdigest(value.fetch('body')) == digest
+
+          canonical = value['canonical_body']
+          canonical_digest = canonical.nil? ? digest : Identity.digest(canonical)
+          if !canonical.nil? && Identity.digest(Identity.parse(value.fetch('body'))) != canonical_digest
+            raise ContractError, 'Raw/canonical output values differ'
+          end
+
+          envelope = canonical.nil? || workload.start_with?('rust.') ? nil : canonical.fetch('status')
+          [digest, { body: value.fetch('body').dup.freeze, bytes: value.fetch('body').bytesize, canonical_sha256: canonical_digest.dup.freeze,
+                     canonical_nil: canonical.nil?, envelope: Identity.snapshot(envelope) }.freeze]
+        end
+        outputs.each do |output|
+          raise ContractError, 'Invalid output status' unless output.fetch('http_status') == 200
+          raise ContractError, 'Missing envelope status' unless output.has_key?('envelope_status')
+          raise ContractError, 'Empty output' unless number(output.fetch('body_bytes')) > 0
+
+          %w[body_sha256 canonical_sha256].each do |field|
+            raise ContractError, "Missing #{field}" unless output.fetch(field).match?(/\A[0-9a-f]{64}\z/)
+          end
+          body_digest = output.fetch('body_sha256')
+          body_proof = body_proofs.fetch(body_digest)
+          raise ContractError, 'Raw body byte count mismatch' unless body_proof.fetch(:bytes) == output['body_bytes']
+          raise ContractError, 'Raw body envelope status mismatch' unless body_proof.fetch(:envelope) == output.fetch('envelope_status')
+
+          comparison = output['comparison']
+          if output.has_key?('comparison') && !(@samples['release_lineage'] && %w[docs.html_resources docs.html_actions docs.html_rust].include?(workload) && body_proof.fetch(:canonical_nil) &&
+                   comparison == { 'kind' => 'own-webui-href', 'own_version' => proof.fetch('inputs').fetch('release_versions').fetch('own_version') })
+            raise ContractError, 'Invalid own-version HTML comparison'
+          end
+
+          digest = if comparison
+                     Digest::SHA256.hexdigest(Release.html(body_proof.fetch(:body), comparison.fetch('own_version')))
+                   else
+                     body_proof.fetch(:canonical_sha256)
+                   end
+          if digest != output['canonical_sha256']
+            raise ContractError, 'Canonical output digest mismatch'
+          end
+        end
+        expected = budget ? budget.fetch('counters') : { 'queries' => 0, 'authorizations' => (spec.fetch('dimensions').fetch('resources') * spec.fetch('dimensions').fetch('actions')) + 1, 'executions' => 0 }
+        raise ContractError, 'Missing complex documentation authorization' if !budget && expected['authorizations'] <= 0
+        raise ContractError, 'Uncalibrated counter budget' unless (COUNTERS - expected.keys).empty?
+        unless expected.values.all? { |value| value.is_a?(Integer) && value >= 0 }
+          raise ContractError, 'Invalid calibrated counter budget'
+        end
+
+        record = counters.fetch('record')
+        raise ContractError, 'Counter keys mismatch' unless record.keys.sort == expected.keys.sort
+
+        record.each do |key, value|
+          raise ContractError, 'Invalid counter' unless value.is_a?(Integer) && value >= 0
+          raise ContractError, "Counter contract #{key}: #{value}, expected #{expected[key]}" unless value == expected[key]
+        end
+      end
+
+      def same_outputs(left, right)
+        summaries = [left, right].map do |outputs|
+          outputs.each_with_object(Hash.new(0)) do |output, counts|
+            identity = JSON.generate(output.values_at('http_status', 'envelope_status', 'canonical_sha256'))
+            counts[identity] += output.fetch('count')
+          end
+        end
+        summaries.first == summaries.last
+      end
+
+      def compare_case(item, budget)
+        iterations = item.fetch('iterations')
+        raise ContractError, 'Invalid batch size' unless iterations.is_a?(Integer) && iterations.between?(1, MAX_ITERATIONS)
+
+        self_pairs = item.fetch('self_pairs')
+        pairs = item.fetch('pairs')
+        raise ContractError, 'Incomplete pair inventory' unless self_pairs.length == @policy[:self_pairs] && pairs.length == @policy[:pairs]
+
+        ceiling = nil
+        if budget
+          reference = number(budget.fetch('reference_allocations'))
+          ceiling = number(budget.fetch('allocation_ceiling'))
+          raise ContractError, 'Uncalibrated allocation ceiling' unless reference > 0 && ceiling == (reference * 1.25).ceil + 32
+        end
+
+        canonical_outputs = canonical_counters = nil
+        (self_pairs + pairs).each_with_index do |pair, index|
+          expected_order = if index < self_pairs.length
+                             %w[baseline baseline]
+                           elsif (index - self_pairs.length).even?
+                             %w[baseline candidate]
+                           else
+                             %w[candidate baseline]
+                           end
+          raise ContractError, 'Wrong comparison order' unless pair.fetch('order') == expected_order
+
+          pair_index = index < self_pairs.length ? index : index - self_pairs.length
+          expected_workload_order = pair_index.even? ? 'forward' : 'reverse'
+          raise ContractError, 'Wrong workload order' unless pair.fetch('workload_order') == expected_workload_order
+
+          %w[baseline candidate].each do |role|
+            sample = pair.fetch(role)
+            validate_sample(sample, iterations, budget, item)
+            unless budget
+              canonical_counters ||= sample.fetch('counters')
+              unless sample.fetch('counters') == canonical_counters
+                raise ContractError, 'Complex documentation authorization counts differ'
+              end
+            end
+            expected_sha = index < self_pairs.length ? @samples['baseline_sha'] : @samples["#{role}_sha"]
+            actual_sha = @samples['observations'].fetch(sample['observation']).fetch('source').fetch('sha')
+            raise ContractError, 'Sample belongs to wrong revision' unless actual_sha == expected_sha
+            if @samples['observations'].fetch(sample['observation']).fetch('workload_order') != expected_workload_order
+              raise ContractError, 'Worker workload order mismatch'
+            end
+
+            canonical_outputs ||= sample.fetch('outputs')
+            raise ContractError, 'Response identity differs between operations/revisions' unless same_outputs(canonical_outputs, sample['outputs'])
+          end
+        end
+        classifications = %w[wall_seconds cpu_seconds].to_h do |metric|
+          baseline = pairs.map { |pair| pair['baseline'][metric] }
+          noise = [self_pairs.map { |pair| (pair['baseline'][metric] - pair['candidate'][metric]).abs }.max,
+                   0.00005 / iterations].max
+          excess = pairs.map do |pair|
+            b = pair['baseline'][metric]
+            pair['candidate'][metric] - b - [@policy[:relative] * b, 0.050 / iterations].max
+          end
+          failed = excess.count { |value| value > noise }
+          passed = excess.count { |value| value < -noise }
+          signal = median(baseline) * iterations >= @policy[:adequate]
+          classification = 'inconclusive'
+          if signal
+            classification = 'regression' if failed >= @policy[:agreement]
+            classification = 'pass' if passed >= @policy[:agreement]
+          end
+          [metric, { 'classification' => classification, 'noise' => noise,
+                     'baseline_batch_seconds' => median(baseline) * iterations, 'adequate_signal' => signal,
+                     'relative_budget' => @policy[:relative], 'minimum_batch_increase_seconds' => 0.050,
+                     'excess' => excess, 'regression_agreement' => failed, 'pass_agreement' => passed }]
+        end
+        base_allocations = median(pairs.map { |pair| pair['baseline']['allocated_objects'] })
+        candidate_allocations = median(pairs.map { |pair| pair['candidate']['allocated_objects'] })
+        allocations_failed = candidate_allocations > base_allocations + [0.10 * base_allocations, 32].max || (ceiling && candidate_allocations > ceiling)
+        classification = if allocations_failed || classifications.values.any? { |result| result['classification'] == 'regression' }
+                           'regression'
+                         elsif classifications.values.any? { |result| result['classification'] == 'inconclusive' }
+                           'inconclusive'
+                         else
+                           'pass'
+                         end
+        item.slice('id', 'dimensions', 'iterations')
+            .merge('classification' => classification, 'timing' => classifications,
+                   'correctness' => { 'status' => 'pass', 'validated_samples' => 2 * (self_pairs.length + pairs.length),
+                                      'operations_per_sample' => iterations, 'distinct_responses' => canonical_outputs.length },
+                   'pilot' => item.fetch('pilot', {}).slice('selected_iterations', 'warmup_iterations', 'target_seconds',
+                                                            'baseline_batch_seconds', 'adequate_signal', 'capped', 'calibration_adjusted'),
+                   'allocations' => { 'baseline_median' => base_allocations, 'candidate_median' => candidate_allocations,
+                                      'reference_ceiling' => ceiling, 'calibrated' => !budget.nil?, 'classification' => allocations_failed ? 'regression' : 'pass' })
+      end
+    end
+  end
+end