What problem does it solve? Code reviews often miss boundary conditions and implicit branches that only surface as production bugs. This Skill mechanically enumerates every control-flow path and domain boundary in a diff, file, or function, and reports only the paths lacking explicit handling. ## Core Features & Use Cases - Exhaustive Path Enumeration: Walks conditionals, loops, error handlers, early returns, and implicit branches such as unhandled enum members or sentinel values. - Diff-Aware Scoping: When given a diff, analyzes only changed hunks and boundaries directly reachable from them; a secondary deletion check flags removed behavior that was never re-established. - Structured JSON Output: Returns findings as a JSON array with location, trigger condition, guard snippet, and potential consequence, with no editorializing or severity rankings. - Use Case: Paste a pull request diff and receive a list like an unguarded null input on line 42 or a missing default case in a status-code switch, each with a minimal fix sketch. ## Quick Start Ask the AI to run an edge-case review on a pasted diff or function and return the unhandled boundary conditions as JSON.