Converts vague, conflicting, or underspecified requests into precise, testable requirements by surfacing hidden assumptions and edge cases. Use when a request is ambiguous, stakeholders disagree, scope is unclear, or before building anything where "done" isn't yet definable.
