necropsy 0.1.0 → 0.3.0

data/bench/audit.rb

@@ -0,0 +1,113 @@
+# frozen_string_literal: true
+
+require 'json'
+require 'optparse'
+require 'yaml'
+require_relative '../lib/necropsy'
+require_relative '../lib/necropsy/bench/seed_runner'
+require_relative '../lib/necropsy/bench/release_audit'
+require_relative '../lib/necropsy/bench/release_audit/adversarial_runner'
+require_relative '../lib/necropsy/bench/release_audit/artifact_writer'
+require_relative '../lib/necropsy/bench/release_audit/config_validator'
+require_relative '../lib/necropsy/bench/release_audit/git_snapshot'
+require_relative '../lib/necropsy/bench/release_audit/run_provenance'
+
+root = File.expand_path('..', __dir__)
+options = {
+  config: File.join(__dir__, 'audits/0.2.1/config.yml'),
+  benchmark_output: File.join(root, 'tmp/necropsy-benchmark/v1'),
+  audit_output: File.join(__dir__, 'audits/0.2.1'),
+  run_benchmark: true,
+  run_adversarial: true
+}
+
+OptionParser.new do |parser|
+  parser.banner = 'Usage: bundle exec ruby bench/audit.rb [options]'
+  parser.on('--config PATH', 'Audit configuration') { |path| options[:config] = path }
+  parser.on('--benchmark-output DIR', 'Current benchmark output') { |path| options[:benchmark_output] = path }
+  parser.on('--output DIR', 'Audit artifact output') { |path| options[:audit_output] = path }
+  parser.on('--skip-benchmark', 'Use an existing current benchmark run') { options[:run_benchmark] = false }
+  parser.on('--skip-adversarial', 'Do not execute adversarial suites') { options[:run_adversarial] = false }
+end.parse!
+
+config_path = File.expand_path(options.fetch(:config), root)
+config = YAML.safe_load_file(config_path, aliases: false)
+Necropsy::Bench::ReleaseAudit::ConfigValidator.new(config).validate!
+
+manifest_path = File.join(root, 'bench/corpora/v1/manifest.yml')
+benchmark_output = File.expand_path(options.fetch(:benchmark_output), root)
+provenance_path = File.join(benchmark_output, 'run_metadata.json')
+rubocop_corpus = ENV.fetch('NECROPSY_RUBOCOP_CORPUS', '<unset>')
+measurement_command = "NECROPSY_RUBOCOP_CORPUS=#{rubocop_corpus} bundle exec ruby bench/run.rb"
+provenance = Necropsy::Bench::ReleaseAudit::RunProvenance.new(
+  root: root,
+  manifest_path: manifest_path,
+  config_path: config_path,
+  output_dir: benchmark_output,
+  command: measurement_command
+)
+
+current_provenance = if options[:run_benchmark]
+                       source = provenance.capture_source!
+                       summary = Necropsy::Bench::SeedRunner.new(
+                         manifest_path: manifest_path,
+                         output_dir: benchmark_output
+                       ).call
+                       provenance.complete(source, summary).tap do |payload|
+                         provenance.write(provenance_path, payload)
+                       end
+                     else
+                       provenance.load_and_validate!(provenance_path)
+                     end
+
+corpora = config.fetch('corpora')
+current_reports = corpora.to_h do |corpus|
+  path = File.join(benchmark_output, 'reports', "#{corpus}.json")
+  [corpus, JSON.parse(File.read(path))]
+end
+current_summary = JSON.parse(File.read(File.join(benchmark_output, 'summary.json')))
+baseline = config.fetch('baseline')
+baseline_reports = Necropsy::Bench::ReleaseAudit::GitSnapshot.new(
+  root: root,
+  git_ref: baseline.fetch('git_ref'),
+  reports_path: baseline.fetch('reports_path')
+).reports(corpora)
+
+load_yaml = lambda do |relative|
+  YAML.safe_load_file(File.expand_path(relative, root), aliases: false) || {}
+end
+label_entries = Array(load_yaml.call(config.fetch('labels_path'))['labels'])
+labels = label_entries.to_h { |entry| [[entry.fetch('corpus'), entry.fetch('id')], entry] }
+reviews = Array(load_yaml.call(config.dig('review', 'path'))['reviews'])
+baseline_performance = load_yaml.call(config.dig('performance', 'baseline_path'))
+adversarial_results = if options[:run_adversarial]
+                        Necropsy::Bench::ReleaseAudit::AdversarialRunner.new(
+                          root: root,
+                          suites: config.fetch('adversarial_suites')
+                        ).call
+                      else
+                        config.fetch('adversarial_suites').sort.map do |name, definition|
+                          { 'name' => name, 'command' => definition.fetch('command'), 'passed' => false,
+                            'exit_status' => nil, 'duration_seconds' => 0.0, 'summary' => 'not run' }
+                        end
+                      end
+
+audit = Necropsy::Bench::ReleaseAudit.new(
+  config: config,
+  baseline_reports: baseline_reports,
+  current_reports: current_reports,
+  current_summary: current_summary,
+  labels: labels,
+  reviews: reviews,
+  baseline_performance: baseline_performance,
+  adversarial_results: adversarial_results,
+  current_provenance: current_provenance
+).call
+paths = Necropsy::Bench::ReleaseAudit::ArtifactWriter.new(
+  audit: audit,
+  output_dir: File.expand_path(options.fetch(:audit_output), root)
+).call
+puts "release audit: #{audit.fetch('status')}"
+puts "machine artifact: #{paths.fetch(:json)}"
+puts "human artifact: #{paths.fetch(:markdown)}"
+exit(audit.fetch('status') == 'pass' ? 0 : 1)

data/bench/audits/0.2.1/audit.json

@@ -0,0 +1,501 @@
+{
+  "schema_version": 1,
+  "release": "0.2.1",
+  "baseline": {
+    "git_ref": "d0168e881120320d28dc2f42e10f9947330fdcb7",
+    "reports_path": "bench/golden/v1/reports",
+    "reason": "d0168e881120320d28dc2f42e10f9947330fdcb7 is the first commit with the bounded evidence identity path and artifact-independent production scopes for all five required corpora."
+  },
+  "corpora": {
+    "dynamic_evidence": {
+      "baseline_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 6,
+          "definitions": 5,
+          "call_sites": 4,
+          "edges": 2
+        },
+        "findings": 4,
+        "actionable_candidates": 4,
+        "candidate_loc": 12,
+        "diagnostic_findings": 0
+      },
+      "current_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 6,
+          "definitions": 5,
+          "call_sites": 4,
+          "edges": 2
+        },
+        "findings": 4,
+        "actionable_candidates": 4,
+        "candidate_loc": 12,
+        "diagnostic_findings": 0
+      },
+      "added": [],
+      "removed": [],
+      "state_changed": [],
+      "confidence_changed": []
+    },
+    "plain_ruby": {
+      "baseline_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 8,
+          "definitions": 6,
+          "call_sites": 7,
+          "edges": 3
+        },
+        "findings": 3,
+        "actionable_candidates": 0,
+        "candidate_loc": 0,
+        "diagnostic_findings": 3
+      },
+      "current_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 8,
+          "definitions": 6,
+          "call_sites": 7,
+          "edges": 3
+        },
+        "findings": 3,
+        "actionable_candidates": 0,
+        "candidate_loc": 0,
+        "diagnostic_findings": 3
+      },
+      "added": [],
+      "removed": [],
+      "state_changed": [],
+      "confidence_changed": []
+    },
+    "rails": {
+      "baseline_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 32,
+          "definitions": 23,
+          "call_sites": 49,
+          "edges": 17
+        },
+        "findings": 4,
+        "actionable_candidates": 3,
+        "candidate_loc": 7,
+        "diagnostic_findings": 1
+      },
+      "current_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 32,
+          "definitions": 23,
+          "call_sites": 49,
+          "edges": 17
+        },
+        "findings": 4,
+        "actionable_candidates": 3,
+        "candidate_loc": 7,
+        "diagnostic_findings": 1
+      },
+      "added": [],
+      "removed": [],
+      "state_changed": [],
+      "confidence_changed": []
+    },
+    "rubocop_1_75_0": {
+      "baseline_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 1223,
+          "definitions": 1122,
+          "call_sites": 6199,
+          "edges": 1946
+        },
+        "findings": 1122,
+        "actionable_candidates": 547,
+        "candidate_loc": 3632,
+        "diagnostic_findings": 575
+      },
+      "current_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 1223,
+          "definitions": 1122,
+          "call_sites": 6199,
+          "edges": 1946
+        },
+        "findings": 1122,
+        "actionable_candidates": 547,
+        "candidate_loc": 3632,
+        "diagnostic_findings": 575
+      },
+      "added": [],
+      "removed": [],
+      "state_changed": [],
+      "confidence_changed": []
+    },
+    "self": {
+      "baseline_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 1975,
+          "definitions": 1886,
+          "call_sites": 15170,
+          "edges": 15283
+        },
+        "findings": 145,
+        "actionable_candidates": 82,
+        "candidate_loc": 621,
+        "diagnostic_findings": 63
+      },
+      "current_metrics": {
+        "analysis_graph": {
+          "scope": "analysis",
+          "nodes": 1993,
+          "definitions": 1902,
+          "call_sites": 15348,
+          "edges": 15519
+        },
+        "findings": 147,
+        "actionable_candidates": 82,
+        "candidate_loc": 622,
+        "diagnostic_findings": 65
+      },
+      "added": [
+        {
+          "id": "Necropsy::Bench::ReviewQueue#validate_options!",
+          "definition_id": "def:v1:0ae44a8f731da2b338b26914945b6a338b41d5eee6622efac32e93f38e10494f",
+          "identity": "def:v1:0ae44a8f731da2b338b26914945b6a338b41d5eee6622efac32e93f38e10494f",
+          "after": {
+            "id": "Necropsy::Bench::ReviewQueue#validate_options!",
+            "definition_id": "def:v1:0ae44a8f731da2b338b26914945b6a338b41d5eee6622efac32e93f38e10494f",
+            "path": "lib/necropsy/bench/review_queue.rb",
+            "line": 54,
+            "end_line": 57,
+            "loc": 4,
+            "state": "unreachable",
+            "confidence": "low",
+            "candidate": true,
+            "diagnostic": false,
+            "category": "unreachable",
+            "unknown": false,
+            "rule_hits": [],
+            "risk_flags": [],
+            "blocker_kinds": [],
+            "reasons": [
+              "Lowered because this node is near unresolved metaprogramming."
+            ]
+          }
+        },
+        {
+          "id": "Necropsy::Bench::ReviewQueue#initialize",
+          "definition_id": "def:v1:8bbd2d0801726c9c679a6d4936dc427c01c6b9f9ebf5dfb24c69c0185f2b90c8",
+          "identity": "def:v1:8bbd2d0801726c9c679a6d4936dc427c01c6b9f9ebf5dfb24c69c0185f2b90c8",
+          "after": {
+            "id": "Necropsy::Bench::ReviewQueue#initialize",
+            "definition_id": "def:v1:8bbd2d0801726c9c679a6d4936dc427c01c6b9f9ebf5dfb24c69c0185f2b90c8",
+            "path": "lib/necropsy/bench/review_queue.rb",
+            "line": 17,
+            "end_line": 24,
+            "loc": 8,
+            "state": "blocked",
+            "confidence": "low",
+            "candidate": false,
+            "diagnostic": true,
+            "category": "unknown_dispatch",
+            "unknown": true,
+            "rule_hits": [],
+            "risk_flags": [
+              "analysis_incomplete",
+              "public_or_protected_visibility"
+            ],
+            "blocker_kinds": [
+              "partial_dispatch",
+              "unknown_dispatch"
+            ],
+            "reasons": [
+              "Blocked by 552 unresolved runtime dispatches.",
+              "Lowered because this node is near unresolved metaprogramming."
+            ]
+          }
+        }
+      ],
+      "removed": [],
+      "state_changed": [
+        {
+          "id": "Necropsy::Bench::FindingFacts#actionable?",
+          "definition_id": "def:v1:2493c12409215905a9578963febb90a105e39e32b71558d9453813098d80f6c8",
+          "identity": "def:v1:2493c12409215905a9578963febb90a105e39e32b71558d9453813098d80f6c8",
+          "before": {
+            "id": "Necropsy::Bench::FindingFacts#actionable?",
+            "definition_id": "def:v1:2493c12409215905a9578963febb90a105e39e32b71558d9453813098d80f6c8",
+            "path": "lib/necropsy/bench/finding_facts.rb",
+            "line": 21,
+            "end_line": 23,
+            "loc": 3,
+            "state": "unreachable",
+            "confidence": "low",
+            "candidate": true,
+            "diagnostic": false,
+            "category": "unreachable",
+            "unknown": false,
+            "rule_hits": [],
+            "risk_flags": [],
+            "blocker_kinds": [],
+            "reasons": [
+              "Lowered because this node is near unresolved metaprogramming."
+            ]
+          },
+          "after": {
+            "id": "Necropsy::Bench::FindingFacts#actionable?",
+            "definition_id": "def:v1:2493c12409215905a9578963febb90a105e39e32b71558d9453813098d80f6c8",
+            "path": "lib/necropsy/bench/finding_facts.rb",
+            "line": 21,
+            "end_line": 23,
+            "loc": 3,
+            "state": "blocked",
+            "confidence": "low",
+            "candidate": false,
+            "diagnostic": true,
+            "category": "partial_dispatch",
+            "unknown": true,
+            "rule_hits": [],
+            "risk_flags": [
+              "analysis_incomplete"
+            ],
+            "blocker_kinds": [
+              "partial_dispatch"
+            ],
+            "reasons": [
+              "Blocked by 1 unresolved runtime dispatch.",
+              "Lowered because this node is near unresolved metaprogramming."
+            ]
+          }
+        }
+      ],
+      "confidence_changed": []
+    }
+  },
+  "new_high_candidates": [],
+  "review": {
+    "required": [],
+    "completed": [],
+    "missing": [],
+    "invalid": [],
+    "coverage": {
+      "rails": {
+        "strategy": "all",
+        "changes": 0,
+        "required": 0,
+        "completed": 0,
+        "zero_difference": true
+      },
+      "rubocop_1_75_0": {
+        "strategy": "stratified",
+        "changes": 0,
+        "required": 0,
+        "completed": 0,
+        "zero_difference": true
+      }
+    },
+    "confirmed_false_positives": []
+  },
+  "performance": {
+    "dynamic_evidence": {
+      "available": true,
+      "baseline_wall_time_seconds": 0.3476,
+      "current_wall_time_seconds": 0.146051,
+      "wall_time_limit_seconds": 1.0,
+      "baseline_rss_kb": 57728,
+      "current_rss_kb": 57696,
+      "rss_limit_kb": 123264,
+      "rss_kind": "current_process_rss_after_corpus",
+      "rss_scope": "benchmark_runner_process",
+      "passed": true
+    },
+    "plain_ruby": {
+      "available": true,
+      "baseline_wall_time_seconds": 0.381025,
+      "current_wall_time_seconds": 0.122945,
+      "wall_time_limit_seconds": 1.0,
+      "baseline_rss_kb": 59360,
+      "current_rss_kb": 62944,
+      "rss_limit_kb": 124896,
+      "rss_kind": "current_process_rss_after_corpus",
+      "rss_scope": "benchmark_runner_process",
+      "passed": true
+    },
+    "rails": {
+      "available": true,
+      "baseline_wall_time_seconds": 0.369907,
+      "current_wall_time_seconds": 0.149768,
+      "wall_time_limit_seconds": 1.119907,
+      "baseline_rss_kb": 63168,
+      "current_rss_kb": 65904,
+      "rss_limit_kb": 128704,
+      "rss_kind": "current_process_rss_after_corpus",
+      "rss_scope": "benchmark_runner_process",
+      "passed": true
+    },
+    "rubocop_1_75_0": {
+      "available": true,
+      "baseline_wall_time_seconds": 5.559264,
+      "current_wall_time_seconds": 5.50558,
+      "wall_time_limit_seconds": 8.338896,
+      "baseline_rss_kb": 349136,
+      "current_rss_kb": 355920,
+      "rss_limit_kb": 436420,
+      "rss_kind": "current_process_rss_after_corpus",
+      "rss_scope": "benchmark_runner_process",
+      "passed": true
+    },
+    "self": {
+      "available": true,
+      "baseline_wall_time_seconds": 22.508282,
+      "current_wall_time_seconds": 24.104173,
+      "wall_time_limit_seconds": 30.0,
+      "baseline_rss_kb": 1136080,
+      "current_rss_kb": 1175248,
+      "rss_limit_kb": 1300000,
+      "rss_kind": "current_process_rss_after_corpus",
+      "rss_scope": "benchmark_runner_process",
+      "passed": true
+    }
+  },
+  "precision_gate": {
+    "schema_version": 1,
+    "enforced": false,
+    "compatibility": "releases before 0.4 retain the safety-only release policy",
+    "passed": true
+  },
+  "claim_gate": {
+    "schema_version": 1,
+    "enforced": false,
+    "passed": true
+  },
+  "performance_provenance": {
+    "baseline": {
+      "schema_version": 1,
+      "captured_at": "2026-08-08T18:10:00+09:00",
+      "git_ref": "d0168e881120320d28dc2f42e10f9947330fdcb7",
+      "environment": {
+        "ruby": "ruby 4.0.0 (2025-12-25 revision 553f1675f3) +PRISM [arm64-darwin24]",
+        "os": "macOS 26.3 (25D125), Darwin 25.3.0 arm64",
+        "command": "NECROPSY_RUBOCOP_CORPUS=/private/tmp/necropsy-rubocop-1.75.0 bundle exec ruby bench/run.rb",
+        "execution": "clean worktree; escalated run so ps-based RSS measurement was available",
+        "rss_kind": "current_process_rss_after_corpus",
+        "rss_scope": "benchmark_runner_process"
+      }
+    },
+    "current": {
+      "schema_version": 1,
+      "git_ref": "9698ce9551f0df9a18fa09bfc0020d880fd89dc4",
+      "clean": true,
+      "manifest_sha256": "228a46b3c73635b420d5135b4b2d485e38e827fd0ae33bf5c07bf1da2ef831ac",
+      "audit_config_sha256": "b19a243d918b663419e7e5a671733ef41eb061ddc52eaf75658996ba3607e91e",
+      "environment": {
+        "ruby": "ruby 4.0.0 (2025-12-25 revision 553f1675f3) +PRISM [arm64-darwin24]",
+        "os": "macOS 26.3 (25D125), Darwin 25.3.0 arm64",
+        "command": "NECROPSY_RUBOCOP_CORPUS=/private/tmp/necropsy-rubocop-1.75.0 bundle exec ruby bench/run.rb",
+        "rss_kind": "current_process_rss_after_corpus",
+        "rss_scope": "benchmark_runner_process"
+      },
+      "artifacts": {
+        "reports/dynamic_evidence.json": "bd82a2b9fb2fae3777d81743917f2df59744798c5f58747219565436134de7ed",
+        "reports/plain_ruby.json": "fc939ec706e35ada3c59428856b9f8408ffc3f7468265a3c322c26c65c138169",
+        "reports/rails.json": "c0d2195364260ff955ae933acfb57d4e3e9697185e619d79635f70ca0f4b01fb",
+        "reports/rubocop_1_75_0.json": "48a136417c6b5802282720cad1f9a608a709b7a8b6e712de2ae228edd79413b5",
+        "reports/self.json": "dab9b43f2e78c3b35075768b953bec8a2cb79d3625bc0ad9d71005d1c3950fab",
+        "summary.json": "81d2e80f04dd9618ca1aaff27707a0818ec235d083dacf13c185d063eb103d5d"
+      }
+    }
+  },
+  "adversarial_suites": [
+    {
+      "name": "ambiguity",
+      "command": [
+        "bundle",
+        "exec",
+        "rspec",
+        "spec/necropsy/safety_invariants_spec.rb",
+        "spec/necropsy/reflective_blocker_visibility_spec.rb"
+      ],
+      "passed": true,
+      "exit_status": 0,
+      "duration_seconds": 0.554484,
+      "summary": "17 examples, 0 failures"
+    },
+    {
+      "name": "dynamic",
+      "command": [
+        "bundle",
+        "exec",
+        "rspec",
+        "spec/necropsy/analyzers/dynamic/coverage_importer_spec.rb",
+        "spec/necropsy/confidence/scorer_spec.rb"
+      ],
+      "passed": true,
+      "exit_status": 0,
+      "duration_seconds": 0.446656,
+      "summary": "24 examples, 0 failures"
+    },
+    {
+      "name": "parse",
+      "command": [
+        "bundle",
+        "exec",
+        "rspec",
+        "spec/necropsy/parse_incompleteness_spec.rb"
+      ],
+      "passed": true,
+      "exit_status": 0,
+      "duration_seconds": 0.468912,
+      "summary": "10 examples, 0 failures"
+    },
+    {
+      "name": "remote_input",
+      "command": [
+        "bundle",
+        "exec",
+        "rspec",
+        "spec/necropsy/analyzers/dynamic/coverband_importer_spec.rb"
+      ],
+      "passed": true,
+      "exit_status": 0,
+      "duration_seconds": 0.759857,
+      "summary": "28 examples, 0 failures"
+    }
+  ],
+  "gates": {
+    "new_high_reviewed": {
+      "passed": true,
+      "failures": 0
+    },
+    "new_high_false_positives": {
+      "passed": true,
+      "failures": 0
+    },
+    "new_high_unresolved": {
+      "passed": true,
+      "failures": 0
+    },
+    "difference_review": {
+      "passed": true,
+      "failures": 0
+    },
+    "review_false_positives": {
+      "passed": true,
+      "failures": 0
+    },
+    "performance": {
+      "passed": true,
+      "failures": 0
+    },
+    "adversarial": {
+      "passed": true,
+      "failures": 0
+    }
+  },
+  "status": "pass"
+}

data/bench/audits/0.2.1/audit.md

@@ -0,0 +1,55 @@
+# 0.2.1 safety release audit
+
+Status: **PASS**
+
+Baseline: `d0168e881120320d28dc2f42e10f9947330fdcb7` — d0168e881120320d28dc2f42e10f9947330fdcb7 is the first commit with the bounded evidence identity path and artifact-independent production scopes for all five required corpora.
+
+## Candidate changes
+
+| corpus | baseline | current | added | removed | state changed | newly high |
+|---|---:|---:|---:|---:|---:|---:|
+| dynamic_evidence | 4 | 4 | 0 | 0 | 0 | 0 |
+| plain_ruby | 3 | 3 | 0 | 0 | 0 | 0 |
+| rails | 4 | 4 | 0 | 0 | 0 | 0 |
+| rubocop_1_75_0 | 1122 | 1122 | 0 | 0 | 0 | 0 |
+| self | 145 | 147 | 2 | 0 | 1 | 0 |
+
+## Difference review
+
+| corpus | strategy | changes | required | completed | zero difference |
+|---|---|---:|---:|---:|:---:|
+| rails | all | 0 | 0 | 0 | yes |
+| rubocop_1_75_0 | stratified | 0 | 0 | 0 | yes |
+
+## Performance
+
+| corpus | wall baseline/current/limit (s) | RSS baseline/current/limit (KiB) | pass |
+|---|---:|---:|:---:|
+| dynamic_evidence | 0.3476 / 0.146051 / 1.0 | 57728 / 57696 / 123264 | yes |
+| plain_ruby | 0.381025 / 0.122945 / 1.0 | 59360 / 62944 / 124896 | yes |
+| rails | 0.369907 / 0.149768 / 1.119907 | 63168 / 65904 / 128704 | yes |
+| rubocop_1_75_0 | 5.559264 / 5.50558 / 8.338896 | 349136 / 355920 / 436420 | yes |
+| self | 22.508282 / 24.104173 / 30.0 | 1136080 / 1175248 / 1300000 | yes |
+
+## Adversarial suites
+
+| suite | result | summary |
+|---|:---:|---|
+| ambiguity | pass | 17 examples, 0 failures |
+| dynamic | pass | 24 examples, 0 failures |
+| parse | pass | 10 examples, 0 failures |
+| remote_input | pass | 28 examples, 0 failures |
+
+## Release gates
+
+| gate | result | failures |
+|---|:---:|---:|
+| adversarial | pass | 0 |
+| difference_review | pass | 0 |
+| new_high_false_positives | pass | 0 |
+| new_high_reviewed | pass | 0 |
+| new_high_unresolved | pass | 0 |
+| performance | pass | 0 |
+| review_false_positives | pass | 0 |
+
+Reviewed RuboCop/Rails changes: 0; missing: 0.

data/bench/audits/0.2.1/baseline_performance.yml

@@ -0,0 +1,16 @@
+schema_version: 1
+captured_at: "2026-08-08T18:10:00+09:00"
+git_ref: d0168e881120320d28dc2f42e10f9947330fdcb7
+environment:
+  ruby: "ruby 4.0.0 (2025-12-25 revision 553f1675f3) +PRISM [arm64-darwin24]"
+  os: "macOS 26.3 (25D125), Darwin 25.3.0 arm64"
+  command: "NECROPSY_RUBOCOP_CORPUS=/private/tmp/necropsy-rubocop-1.75.0 bundle exec ruby bench/run.rb"
+  execution: "clean worktree; escalated run so ps-based RSS measurement was available"
+  rss_kind: current_process_rss_after_corpus
+  rss_scope: benchmark_runner_process
+corpora:
+  dynamic_evidence: { wall_time_seconds: 0.347600, rss_kb: 57728 }
+  plain_ruby: { wall_time_seconds: 0.381025, rss_kb: 59360 }
+  rails: { wall_time_seconds: 0.369907, rss_kb: 63168 }
+  rubocop_1_75_0: { wall_time_seconds: 5.559264, rss_kb: 349136 }
+  self: { wall_time_seconds: 22.508282, rss_kb: 1136080 }