Definable twist-and-tensor conjecture for modules of algebraic groups

Let $(G,V)$ be a faithful, irreducible module of finite Morley rank, where $G=\mathbb{G}(\mathbb{K})$ is the group of $\mathbb{K}$-points of a simple algebraic group. Definable twist-and-tensor conjecture. There are a compatible definable $\mathbb{K}$-vector-space structure on $V$, irreducible algebraic modules $W_1,\ldots,W_d$, and $(G\ltimes V)$-definable field automorphisms $\varphi_1,\ldots,\varphi_d$ such that

$$V\simeq\bigotimes_{i=1}^d W_i^{\varphi_i}$$

as $\mathbb{K}[G]$-modules; equivalently, $V$ lies in the definable twist-and-tensor category. This is intended as a finite-Morley-rank analogue of Steinberg's tensor-product theorem, and the general classification of such modules remains open.