Saxl's conjecture (2012) asserts that for the staircase partition ρₖ = (k, k-1, , 1), the tensor square of the corresponding irreducible representation of the symmetric group Sₓ䂵 contains every irreducible representation as a constituent, where Tₖ = k (k+1) /2 is the kth triangular number. We prove this conjecture unconditionally. Our proof introduces the Staircase Minimality Theorem: among all 2-regular partitions of Tₖ, the staircase ρₖ is the unique dominance-minimal element. Combined with Ikenmeyer's theorem on dominance and Kronecker positivity for staircases, this establishes that every 2-regular partition appears in the tensor square. Modular saturation then follows using only the diagonal entries d⏛⏛ = 1 of the decomposition matrix, and the Bessenrodt--Bowman--Sutton lifting theorem completes the proof. We further prove that at triangular numbers, staircases are the only Kronecker-universal self-conjugate partitions, providing a complete characterization.
Soong Kyum Lee (Wed,) studied this question.