The characteristic $p$ Mumford–Tate conjecture for products of GSpin Shimura varieties

Let $(X,x)$, $X_0$, and $f$ be as in the source, let $u\in\operatorname{fpl}(\Q)$, and let $G(\L_{\mathbf{I},u,X_0},x)$ and $\operatorname{Lg}(f)_{\Q_u}$ be the groups defined there. The characteristic $p$ Mumford–Tate conjecture for products of GSpin Shimura varieties. For every $u\in\operatorname{fpl}(\Q)$, the inclusion

$$G(\mathbb{L}_{\mathbf{I},u,X_0},x)^\circ\subseteq\operatorname{Lg}(f)_{\mathbb{Q}_u}$$

is an equality.

This asserts that the relevant crystalline or $u$-adic monodromy group reaches the expected Mumford–Tate-type group in every permitted realization. The supplied context does not state whether the conjecture is resolved.