The Catalan triangle Laurent polynomial and positivity conjecture

Let $n_1,\ldots,n_m,n_{m+1}=n_1$ be positive integers. For an integer $j$ and non-negative integers $a,r$ with $a\leqslant n_1$, consider

$$\frac{1}{[n_m+a]}{n_1+n_m\brack n_1-a}^{-1}\sum_{k=a}^{n_1}[2k][k]^{2r}q^{jk^2-(r+1)k}\prod_{i=1}^{m}{n_i+n_{i+1}\brack n_i+k}.$$

Catalan triangle Laurent polynomial and positivity conjecture. This expression is a Laurent polynomial in $q$, and it has non-negative integer coefficients when $0\leqslant j\leqslant m$. This is presented as a stronger version of Theorem and as a generalization of a conjecture attributed to Guo and Wang; the supplied span does not state whether it has since been resolved.