What problem does it solve? Complex, convoluted code logic accumulates over time and becomes hard to read and maintain, but rewriting it risks silently changing behavior. This Skill replaces complex logic with a simpler, clearer solution while proving the output stays identical, including edge cases. ## Core Features & Use Cases - Equivalence-Proof Simplification: Proposes a simpler algorithm and proves it produces the same output for the same inputs, covering edge cases like empty, null, boundary, and concurrency scenarios. - Safety-Net Enforcement: Requires characterization tests that pin current behavior before any code change; without coverage, it creates green characterization tests first. - Gated Changes with Diffs: Every code modification goes through an approval gate showing before/after diffs, with automatic revert if the safety net turns red. - Essential vs Accidental Complexity: Distinguishes complexity required by confirmed business rules (documented, not removed) from accidental complexity (safe to simplify). - Use Case: You find a deeply nested function with redundant branches. Invoke the Skill on it; it documents why the logic is complex, proposes a simpler version with a case table proving equivalence, and applies the change only after your approval. ## Quick Start Ask the agent to run /reversa-simplify on a specific function or opportunity ID to get a simplification plan with an equivalence proof before any code is touched.
