The stochastic six-vertex model speed process

For the stochastic six-vertex model on the quadrant $\mathbb Z_{\geq0}\times\mathbb Z_{\geq0}$ with step initial conditions and a single second-class particle at the origin, we show almost sure convergence of the speed of the second-class particle to a random limit. This allows us to define the stoc