Stable decategorification formula for spin link homology

Let $\beta\in\mathrm{Br}_m$ and let equation denote the paper's stated trace/decategorification equality between type $B$ spin link homology and the spin-colored $\mathfrak{so}_{2n+1}$ link polynomial. Stable decategorification conjecture. Equation also holds for every $n\geq4$; hence type $B$ spin link homology categorifies the spin-colored $\mathfrak{so}_{2n+1}$ link polynomial for all $n\geq1$. The equality is proved for $n=1,2,3$ and is conditional in higher rank on the additional conjectural relations and trace identity described in the paper.