Models of set theory in which the separation theorem fails

We use a finite-support product of Jensen-minimal forcings to define a model of set theory in which the separation theorem fails for the projective classes $\mathbf{\Sigma}^1_n$ and $\mathbf{\Pi}^1_n$, for a given $n\geqslant3$.