Smirnov's convergence conjecture for the Potts parafermionic observable

Fix $q\le 4$ and $p=p_c$. Let $(\Omega_\delta,a_\delta,b_\delta)$ be Dobrushin domains approximating a simply connected domain ${\bf \Omega}$ with marked boundary points ${\bf a}$ and ${\bf b}$, and let $f_\delta$ be the vertex parafermionic observable obtained by averaging the edge fermionic observable over neighboring edges. Let $\sigma$ be the parameter used in the source, and let $\phi$ be a conformal map from ${\bf \Omega}$ to the strip $\mathbb{R}\times(0,1)$ mapping ${\bf a}$ to $-\infty$ and ${\bf b}$ to $\infty$. Smirnov's observable convergence conjecture.

$$\lim_{\delta\to0}(2\delta)^{-\sigma}f_\delta=(\phi')^\sigma.$$

The source explains that this convergence would imply the preceding conformal-invariance conjecture, but does not state that it has been proved in the full range $q\le4$.