3 problems

PFA-to-superstrong-cardinal conjecture. Under these hypotheses, there is a superstrong cardinal in $\operatorname{HOD}^{L({{\sf{uB}}}_g,\mathbb{R}_g)}$.

The short-extender-region covering conjecture. $\phi$-Minimality and $\neg$UB-Covering cannot both hold in the short extender region.

PFA-to-LST conjecture. Assume PFA. Then for every $\kappa\geq\omega_3$, there is $\Gamma\subseteq\mathbb K_\kappa$ such that