The tree property at first and double successors of singular cardinals with an arbitrary gap

Let $\mathrm{c}\mathrm{o}\mathrm{f}(\mu )=\mu$ and $\kappa$ be a supercompact cardinal with $\mu <\kappa$. Assume that there is an increasing and continuous sequence of cardinals $⟨{\kappa }_{\xi }\mid \xi <\mu ⟩$ with ${\kappa }_0:=\kappa$ and such that, for each $\xi <\mu$, ${\kappa }_{\xi +1}$ is supercompact. Besides, assume that $\lambda$ is a weakly compact cardinal with ${\sup }_{\xi <\mu }{\kappa }_{\xi }<\lambda$. Let $\mathrm{\Theta }\ge \lambda$ be a cardinal with $\mathrm{c}\mathrm{o}\mathrm{f}(\mathrm{\Theta })>\kappa$. Assuming the ${\mathrm{G}\mathrm{C}\mathrm{H}}_{\ge \kappa }$, we construct a generic extension where $\kappa$ is strong limit, $\mathrm{c}\mathrm{o}\mathrm{f}(\kappa )=\mu$, $2^{\kappa }=\mathrm{\Theta }$ and both $\mathrm{T}\mathrm{P}({\kappa }^{+})$ and $\mathrm{T}\mathrm{P}({\kappa }^{++})$ hold. Further, in this model there is a very good and a bad scale at $\kappa$. This generalizes the main results of [Sin16a] and [FHS18].