I believe that the answer is no, using some methods from my old paper: - <cite authors="Hamkins, Joel David">_Hamkins, Joel David_, [**Destruction or preservation as you like it**](https://doi.org/10.1016/S0168-0072(97)00044-4), Ann. Pure Appl. Logic 91, No. 2-3, 191-229 (1998). arXiv:[1607.00683](https://arxiv.org/abs/1607.00683), [ZBL0949.03047](https://zbmath.org/?q=an:0949.03047).</cite> The paper shows how to have a supercompact cardinal $\kappa$, say, that is indestructible by certain kinds of forcing but not others. For example, the methods show that we can have a supercompact cardinal $\kappa$ that is indestructible by any length strictly less than $\kappa$ iteration of adding Cohen subsets to $\kappa$, but not by the length $\kappa^+$-iteration, which will destroy even the $\kappa^+$-supercompactness of $\kappa$. Thus, we will have that $\kappa$ is $\kappa^+$-supercompact in all the partial extensions $V[G_\alpha]$, but not in the $\kappa^+$th extension $V[G]$. We can now proceed to pick a $\kappa$-complete fine measure $U_\alpha$ on $P_\kappa\kappa^+$ in $V[G_\alpha]$, extending the previous, if possible. If we can proceed through all stages $\alpha<\kappa^+$, then we get a counterexample at $\kappa^+$ since $\kappa$ is not $\kappa^+$-supercompact there. And if things go awry earlier, then this is simply a counterexample at that earlier stage $\delta$. I believe that one can make this work with measures on $\kappa$ instead of measures on $P_\kappa\kappa^+$, since I think my As You Like It methods will show that measurability also is destroyed by the $\kappa^+$ iteration but not the earlier ones. For this, the situation would be that one runs into a problem strictly before $\kappa^+$ since otherwise the union of the ultrafilters on $\kappa$ in $V[G_\alpha]$ would be an ultrafilter in $V[G]$. So we would have a model $V[G_\delta]$ in which $\kappa$ is actually fully supercompact, but there is a tower of measures on $\kappa$ whose union cannot be contained in any measure on $\kappa$.