Tensor-ideal classification for the oriented Brauer–Clifford category

The oriented Brauer–Clifford category is the strict monoidal supercategory $\mathcal{OBC}$ equipped with full monoidal superfunctors

$$\mathcal{OBC}\to \operatorname{Rep}_{\Bbbk}\mathrm{Q}(n)$$

for $n\in\mathbb{N}$, and let $\underline{\operatorname{Rep}}\,Q=\mathcal{OBC}^{\oplus\sharp}$. A tensor ideal is a collection of morphism spaces closed under tensoring and composition, and a thick tensor $\mathrm{Ob}$-ideal is the corresponding ideal notion in $\underline{\operatorname{Rep}}\,Q$. Tensor-ideal classification conjecture. The tensor ideals in $\mathcal{OBC}$ are precisely the kernels of the superfunctors

$$\mathcal{OBC}\to \operatorname{Rep}_{\Bbbk}\mathrm{Q}(n).$$

These are in natural bijection with the thick tensor $\mathrm{Ob}$-ideals in $\underline{\operatorname{Rep}}\,Q$. The claim proposes a classification of tensor ideals for the oriented Brauer–Clifford category and their relationship with ideals in the associated Deligne-type category; the supplied text does not state whether it has been proved or disproved.