What problem does it solve? Complex, deeply nested logic makes code hard to read and maintain, but simplifying it by hand 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, including empty, null, boundary, and concurrency edge cases. - Safety-Net Enforcement: Requires characterization tests covering the target before any change; without coverage, it creates green characterization tests first. - Gated Changes with Diffs: Every code modification passes through an approval gate showing a before/after diff, and reverts automatically if tests go red. - Use Case: You have a function with five nested conditionals and redundant branches. The Skill documents why the complexity is accidental, proposes a flat equivalent version, proves equivalence with a case table, and applies the change only after your approval. ## Quick Start Ask the agent to run /reversa-simplify on the complex function you want simplified and approve the proposed diff after reviewing the equivalence proof.
