Stationary Reflection and the Failure OF SCH at ${\mathrm{\aleph }}_{{\omega }_1}$

Combining stationary reflection (a compactness property) with the failure of SCH (an instance of non-compactness) has been a long-standing theme. We obtain this at ${\mathrm{\aleph }}_{{\omega }_1}$, answering a question of Ben-Neria, Hayut, and Unger: We prove from the existence of uncountably many supercompact cardinals the consistency of ${\mathrm{\aleph }}_{{\omega }_1}$ is strong limit together with $2^{{\mathrm{\aleph }}_{{\omega }_1}}>{\mathrm{\aleph }}_{{\omega }_1+1}$ and every stationary set of ${\mathrm{\aleph }}_{{\omega }_1+1}$ reflects.