An agent skill that helps coding assistants prove and safely remove accidental complexity while preserving behavior and compatibility.