Zabrocki's superspace diagonal coinvariant conjecture

Let $\Omega_n[y_1,\dots,y_n]=\mathbb{C}[x_1,\dots,x_n]\otimes\mathbb{C}[y_1,\dots,y_n]\otimes\bigwedge\{\theta_1,\dots,\theta_n\}$, with $S_n$ acting triply diagonally, and let

$$SDR_n=\Omega_n[y_1,\dots,y_n]/\langle\Omega_n[y_1,\dots,y_n]^{S_n}_+\rangle$$

be the superspace diagonal coinvariant algebra. Let $\operatorname{grFrob}(-;q,t,z)$ denote the triply graded Frobenius image, where $q,t,z$ track $x$-, $y$-, and $\theta$-degrees. Zabrocki's conjecture.

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

This conjecture proposes $SDR_n$ as an algebraic model for the full, rather than $t=0$ specialized, Delta-operator expression. The source does not specify a resolution status.