Certified Mechanistic Edits: Behavioral Guarantees for Skill Removal and Preservation · Bharat Hunt