Orbifold rationality conjecture for strongly rational vertex operator algebras

Let $V$ be a strongly rational vertex operator algebra, and let $G$ be a finite group of automorphisms of $V$. The conformal subalgebra $V^G$ consists of the $G$-invariant states.

Orbifold rationality conjecture. The conformal subalgebra $V^G$ is also strongly rational.

This is a widely believed conjecture concerning orbifolds of vertex operator algebras. Its status is not specified in the source.