Extract State Machine Transitions From Code

Claude Code: Map the Implicit State Machine in a Stateful Module

Forces Claude to extract the hidden state machine from imperative code before you refactor or extend it.

CLAUDE.md: Enforce Explicit State Machine Transitions

Configure Claude Code to reject implicit state changes and require documented transition guards on every state-bearing object.

Extract Unvalidated User Input Paths From Code

Map every route, API endpoint, and function that accepts user input without explicit validation checks.

Extract Webhook Failure Recovery Gaps From Code

Find every webhook handler missing retry logic, dead-letter queues, or failure callbacks.