The equality conjecture for the first formal Galois group injection

Let $q$ be a parameter and let the inclusion in Proposition 5.24i be the inclusion of the corresponding formal Galois functors. Equality conjecture. If $q$ is not a root of unity, the inclusion in Proposition 5.24i is the equality. This asserts that the formal Galois transformations described by the target are all induced by the source when $q$ is not a root of unity; the supplied text gives no resolution status.