Countability conjecture for Witt classes of strong-rational vertex operator algebras

A Witt class is the collection of strong-rational vertex operator algebras having the same Witt class data. Countability conjecture. Every Witt class of strong-rational vertex operator algebras is at most countably infinite. The claim is motivated by bulk-genus finiteness and rank finiteness results, but is not established in the paper.