Zi's classification conjecture for simple transitive 2-representations

Let $\sc\text{B}\hspace{1.0pt}_{n}^{\operatorname{str}}$ be the finitary bicategory under consideration, and let simple transitive $2$-representations of it be considered up to equivalence. Zi's classification conjecture. Equivalence classes of simple transitive $2$-representations of $\sc\text{B}\hspace{1.0pt}_{n}^{\operatorname{str}}$ are in bijection with set partitions of $\left\{ 1,\ldots,n \right\}$. The conjecture is the classification problem for simple transitive $2$-representations of this bicategory; the paper states that its main theorem confirms it, so the conjecture is solved.