RubyGems - necropsy - Versions diffs - 0.2.0 → 0.3.0 - Mend

necropsy 0.2.0 → 0.3.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.

Files changed (126) hide show

checksums.yaml +4 -4
data/CHANGELOG.md +26 -0
data/MEASUREMENTS.md +27 -0
data/README.md +182 -17
data/bench/README.md +92 -0
data/bench/audit.rb +113 -0
data/bench/audits/0.2.1/audit.json +501 -0
data/bench/audits/0.2.1/audit.md +55 -0
data/bench/audits/0.2.1/baseline_performance.yml +16 -0
data/bench/audits/0.2.1/config.yml +42 -0
data/bench/audits/0.2.1/review.yml +56 -0
data/bench/audits/0.2.1/review_queue.yml +3651 -0
data/bench/corpora/v1/README.md +30 -0
data/bench/corpora/v1/labels.yml +37 -0
data/bench/corpora/v1/manifest.yml +63 -0
data/bench/corpora/v1/rubocop.necropsy.yml +7 -0
data/bench/corpora/v1/self.necropsy.yml +8 -0
data/bench/corpora/v1/tools/debride.yml +42 -0
data/bench/corpora/v1/tools/spoom.yml +12 -0
data/bench/corpora/v1/tools/type_aware.yml +11 -0
data/bench/golden/v1/candidate_union.json +21918 -0
data/bench/golden/v1/metadata.json +12 -0
data/bench/golden/v1/reports/dynamic_evidence.json +146 -0
data/bench/golden/v1/reports/plain_ruby.json +135 -0
data/bench/golden/v1/reports/rails.json +176 -0
data/bench/golden/v1/reports/rubocop_1_75_0.json +26848 -0
data/bench/golden/v1/reports/self.json +3449 -0
data/bench/review_queue.rb +35 -0
data/bench/run.rb +31 -0
data/bench/schema/candidate-union-v1.schema.json +70 -0
data/docs/impv_implementation_matrix.md +179 -0
data/docs/migrations/0.2.1.md +57 -0
data/docs/migrations/0.3.0.md +207 -0
data/docs/migrations/0.4.0.md +13 -0
data/docs/necropsy_performance_adr.md +43 -0
data/docs/necropsy_scope_decisions.md +58 -0
data/docs/necropsy_type_facts_adr.md +22 -0
data/gemfiles/prism_min.gemfile +9 -0
data/gemfiles/prism_min.gemfile.lock +50 -0
data/lib/necropsy/analyzer.rb +121 -2
data/lib/necropsy/analyzers/dynamic/coverage_collector.rb +69 -17
data/lib/necropsy/analyzers/dynamic/coverage_importer.rb +99 -9
data/lib/necropsy/analyzers/dynamic/coverband_importer.rb +69 -299
data/lib/necropsy/analyzers/dynamic/coverband_payload_set.rb +149 -0
data/lib/necropsy/analyzers/dynamic/observation_policy.rb +96 -0
data/lib/necropsy/analyzers/dynamic/redis_input_limits.rb +121 -0
data/lib/necropsy/analyzers/dynamic/redis_nonblocking_io.rb +94 -0
data/lib/necropsy/analyzers/dynamic/redis_payload_loader.rb +165 -0
data/lib/necropsy/analyzers/dynamic/redis_transport.rb +217 -0
data/lib/necropsy/analyzers/dynamic/runtime_reference.rb +96 -0
data/lib/necropsy/analyzers/dynamic/trace_point_collector.rb +133 -23
data/lib/necropsy/analyzers/dynamic/trace_point_importer.rb +3 -1
data/lib/necropsy/analyzers/legacy_result_adapter.rb +226 -0
data/lib/necropsy/analyzers/static/cha.rb +33 -73
data/lib/necropsy/analyzers/static/name_resolution.rb +133 -12
data/lib/necropsy/analyzers/static/rta.rb +237 -29
data/lib/necropsy/ast_scanner/call_recording.rb +149 -30
data/lib/necropsy/ast_scanner/call_site_creation.rb +54 -0
data/lib/necropsy/ast_scanner/definition_creation.rb +43 -0
data/lib/necropsy/ast_scanner/dsl_macros.rb +431 -41
data/lib/necropsy/ast_scanner/method_definitions.rb +232 -50
data/lib/necropsy/ast_scanner/references.rb +43 -9
data/lib/necropsy/ast_scanner/ruby_semantics.rb +101 -15
data/lib/necropsy/ast_scanner/traversal.rb +234 -71
data/lib/necropsy/ast_scanner/value_definitions.rb +23 -13
data/lib/necropsy/ast_scanner.rb +67 -6
data/lib/necropsy/bench/candidate_union.rb +555 -0
data/lib/necropsy/bench/claim_gate.rb +112 -0
data/lib/necropsy/bench/evaluator.rb +329 -16
data/lib/necropsy/bench/finding_facts.rb +152 -0
data/lib/necropsy/bench/precision_gate.rb +144 -0
data/lib/necropsy/bench/release_audit/adversarial_runner.rb +56 -0
data/lib/necropsy/bench/release_audit/artifact_writer.rb +112 -0
data/lib/necropsy/bench/release_audit/config_validator.rb +112 -0
data/lib/necropsy/bench/release_audit/git_snapshot.rb +36 -0
data/lib/necropsy/bench/release_audit/performance_gate.rb +165 -0
data/lib/necropsy/bench/release_audit/run_provenance.rb +133 -0
data/lib/necropsy/bench/release_audit.rb +360 -0
data/lib/necropsy/bench/report_normalizer.rb +140 -0
data/lib/necropsy/bench/review_queue.rb +154 -0
data/lib/necropsy/bench/safety_mutation_harness.rb +59 -0
data/lib/necropsy/bench/seed_runner.rb +408 -0
data/lib/necropsy/bounded_canonicalizer.rb +218 -0
data/lib/necropsy/cache/scan_cache.rb +85 -17
data/lib/necropsy/call_site_identity.rb +54 -0
data/lib/necropsy/cli.rb +220 -33
data/lib/necropsy/clock.rb +40 -0
data/lib/necropsy/confidence/scorer.rb +103 -58
data/lib/necropsy/configuration.rb +224 -21
data/lib/necropsy/convention_rules.rb +138 -0
data/lib/necropsy/definition_identity/canonical_digest.rb +278 -0
data/lib/necropsy/definition_identity.rb +37 -0
data/lib/necropsy/diagnostics.rb +176 -36
data/lib/necropsy/embedded_ruby.rb +55 -0
data/lib/necropsy/entry_points/plain.rb +111 -10
data/lib/necropsy/entry_points/rails.rb +322 -41
data/lib/necropsy/entry_points/test.rb +6 -1
data/lib/necropsy/flow_interpreter.rb +460 -0
data/lib/necropsy/graph/blocker_matching.rb +338 -0
data/lib/necropsy/graph/call_graph.rb +1099 -109
data/lib/necropsy/graph/definition_index.rb +149 -0
data/lib/necropsy/graph/dynamic_evidence_tracking.rb +206 -0
data/lib/necropsy/graph/evidence_store.rb +213 -0
data/lib/necropsy/graph/resolution_store.rb +497 -0
data/lib/necropsy/graph_self_check.rb +79 -0
data/lib/necropsy/guardrail/baseline.rb +350 -13
data/lib/necropsy/guardrail/quarantine.rb +94 -9
data/lib/necropsy/load_graph.rb +206 -0
data/lib/necropsy/models.rb +878 -13
data/lib/necropsy/performance_profiler.rb +108 -0
data/lib/necropsy/project.rb +327 -25
data/lib/necropsy/reachability/engine.rb +54 -13
data/lib/necropsy/reference_barrier.rb +458 -0
data/lib/necropsy/report.rb +113 -4
data/lib/necropsy/reporter.rb +431 -15
data/lib/necropsy/runner.rb +233 -18
data/lib/necropsy/runtime_feedback.rb +136 -0
data/lib/necropsy/semantics_matrix.rb +153 -0
data/lib/necropsy/type_facts.rb +53 -0
data/lib/necropsy/version.rb +1 -1
data/lib/necropsy/why_not_explanation.rb +436 -0
data/lib/necropsy/why_not_renderer.rb +197 -0
data/lib/necropsy/world_policy.rb +90 -0
data/lib/necropsy.rb +35 -2
data/schema/necropsy-report-v2.schema.json +366 -0
metadata +85 -1

data/bench/audits/0.2.1/audit.json ADDED Viewed

@@ -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 ADDED Viewed

@@ -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 ADDED Viewed

@@ -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 }

data/bench/audits/0.2.1/config.yml ADDED Viewed

@@ -0,0 +1,42 @@
+schema_version: 1
+release: 0.2.1
+corpora: [dynamic_evidence, plain_ruby, rails, rubocop_1_75_0, self]
+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.
+labels_path: bench/corpora/v1/labels.yml
+review:
+  path: bench/audits/0.2.1/review.yml
+  corpora:
+    rails: { strategy: all }
+    rubocop_1_75_0: { strategy: stratified, minimum_per_stratum: 5 }
+performance:
+  baseline_path: bench/audits/0.2.1/baseline_performance.yml
+  wall_time_ratio: 1.5
+  wall_time_allowance_seconds: 0.75
+  max_wall_time_seconds:
+    dynamic_evidence: 1.0
+    plain_ruby: 1.0
+    rails: 2.0
+    rubocop_1_75_0: 10.0
+    self: 30.0
+  rss_ratio: 1.25
+  rss_allowance_kb: 65536
+  max_rss_kb: 1300000
+adversarial_suites:
+  ambiguity:
+    command: [bundle, exec, rspec, spec/necropsy/safety_invariants_spec.rb, spec/necropsy/reflective_blocker_visibility_spec.rb]
+  dynamic:
+    command: [bundle, exec, rspec, spec/necropsy/analyzers/dynamic/coverage_importer_spec.rb, spec/necropsy/confidence/scorer_spec.rb]
+  parse:
+    command: [bundle, exec, rspec, spec/necropsy/parse_incompleteness_spec.rb, spec/necropsy/safety_mutation_spec.rb]
+  remote_input:
+    command: [bundle, exec, rspec, spec/necropsy/analyzers/dynamic/coverband_importer_spec.rb]

data/bench/audits/0.2.1/review.yml ADDED Viewed

@@ -0,0 +1,56 @@
+schema_version: 1
+reviews:
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::Cop::Force#cops"
+    outcome: expected_safety_change
+    rationale: "A runtime unknown-dispatch blocker now conservatively overrides test-only status, so this finding cannot remain a deletion candidate."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::Cop::Force#name"
+    outcome: expected_safety_change
+    rationale: "Runtime dispatch by name is incomplete; blocked correctly takes precedence over the prior test-only conclusion."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::DirectiveComment#range"
+    outcome: expected_safety_change
+    rationale: "The new unresolved runtime call scope matches range, making blocked safer than the legacy test-only state."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::Formatter::SimpleTextFormatter#message"
+    outcome: expected_safety_change
+    rationale: "An unresolved runtime message call can target this method, so the blocked transition withdraws the candidate conservatively."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::CLI::Command::AutoGenerateConfig#run"
+    outcome: expected_safety_change
+    rationale: "CLI command classes are registry-selected; the run blocker removes a known dynamic-registry false positive from candidates."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::CLI::Command::ExecuteRunner#run"
+    outcome: expected_safety_change
+    rationale: "CLI command classes are registry-selected; the run blocker removes a known dynamic-registry false positive from candidates."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::CLI::Command::InitDotfile#run"
+    outcome: expected_safety_change
+    rationale: "CLI command classes are registry-selected; the run blocker removes a known dynamic-registry false positive from candidates."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::CLI::Command::LSP#run"
+    outcome: expected_safety_change
+    rationale: "CLI command classes are registry-selected; the run blocker removes a known dynamic-registry false positive from candidates."
+    reviewer: maintainer
+  - corpus: rubocop_1_75_0
+    change_type: state_changed
+    id: "RuboCop::CLI::Command::ShowCops#run"
+    outcome: expected_safety_change
+    rationale: "CLI command classes are registry-selected; the run blocker removes a known dynamic-registry false positive from candidates."
+    reviewer: maintainer