Solution (source code)

= Solution
{c}

The full-<rank> <constraint qualification> gives a multiplier vector $\lambda\in\mathbb R^2$ such that
$$
\boxed{\nabla g(x_0)=Df(x_0)^T\lambda.}
$$
Equivalently the <gradient> of the objective lies in the span of the two constraint gradients. The point also satisfies $f(x_0)=0$.