Solution (source code)

= Solution

In the completed-square equation, the right side is the squared radius of the <circle>. Taking its positive square root gives
$$
\boxed{r=\frac32.}
$$