Map contradictions as explicit requirement pairs ('X must…

Map contradictions as explicit requirement pairs ('X must be A' and 'X must be not-A') to convert vague tension into actionable design briefs.