Let $R$ be a discrete valuation ring and $K$ its field of fraction. Let $X$ be a proper $K$-variety, $U$ a dense open and consider an $R$-model $\mathcal{U}$ of $U$. Can we embed $\mathcal{U}$ in a proper $R$-model of $X$?
Nagata's embedding theorem ensures the existence of a compactification for $\mathcal{U}$, but I don't see any way to force its generic fiber to be $X$.