Necropsy combines static call-graph reachability, optional dynamic evidence, and CI guardrails for Ruby dead-code detection.