  We demonstrate the existence of an open set of data which exhibits
\textit{reversal} and \textit{recirculation} for the stationary Prandtl
equations (data is taken in an appropriately defined product space due to the
simultaneous forward and backward causality in the problem). Reversal describes
the development of the solution beyond the Goldstein singularity, and is
characterized by the presence of (spatio-temporal) regions in which $u > 0$ and
$u < 0$. The classical point of view of regarding the system as an evolution in
the tangential direction completely breaks down past the Goldstein singularity.
Instead, to describe the development, we view the problem as a
\textit{mixed-type, non-local, quasilinear, free-boundary} problem across the
curve $\{ u = 0 \}$. In a well-chosen nonlinear and self-similar coordinate
system, we extract a coupled system for the bulk solution and several
modulation variables describing the free boundary. Our work combines and
introduces techniques from mixed-type problems, free-boundary problems,
modulation theory, harmonic analysis, and spectral theory. As a byproduct, we
obtain several new cancellations in the Prandtl equations, and develop several
new estimates tailored to singular integral operators with Airy type kernels.
