The ADO radial-limit formula for nice knots

Let $K$ be a nice knot, let $F_K(x,q)$ be its $F_K$ series, let $N_p(K,x)$ be its ADO polynomial, let $\Delta_K(x)$ be its Alexander polynomial, and let $\zeta_p=e^{2\pi i/p}$ be a root of unity. ADO radial-limit conjecture.

$$\left.\frac{F_K(x,q)}{x^{1/2}-x^{-1/2}}\right|_{q=\zeta_p}=\frac{N_p(K,x)}{\Delta_K(x^p)}.$$

This is the precise nice-knot version of the radial-limit relationship attributed to Gukov and Nakajima. The source notes that the relationship may fail for knots that are not nice, so the general case remains open.