Zabrocki's Frobenius-characteristic conjecture for the super-diagonal coinvariant ring

Let $n\geq1$. Let $\operatorname{SDR}_n$ be the super-diagonal coinvariant ring in commuting variables $x_1,\ldots,x_n$, $y_1,\ldots,y_n$ and Grassmann variables $\theta_1,\ldots,\theta_n$, with the symmetric group acting diagonally. Associate the $\theta$-degree with the parameter $z$, and let $\operatorname{Frob}(\operatorname{SDR}_n;q,t,z)$ denote its graded Frobenius characteristic. Zabrocki's conjecture.

$$\operatorname{Frob}(\operatorname{SDR}_n;q,t,z)=\sum_{k=0}^{n}z^k\Delta'_{e_{n-k-1}}e_n.$$

The conjecture gives a representation-theoretic interpretation of the symmetric functions in the Delta Conjecture. Its status is not resolved in the supplied text.