What problem does it solve? Complex, deeply nested logic makes code hard to read and maintain, but simplifying it risks silently changing behavior. This Skill replaces convoluted 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 empty, null, boundary, and concurrency edge cases. - Safety-Net Enforcement: Requires characterization tests before touching code; without coverage, it creates green characterization tests first or downgrades the risk level. - 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. - Use Case: A legacy function with five nested conditionals and redundant branches needs cleanup. The Skill documents why the complexity is accidental, proposes a flat equivalent, proves equivalence with a case table, and applies the change only after approval. ## Quick Start Run /reversa-simplify with an opportunity ID or a target function to simplify its logic with an equivalence proof.
