The bijectivity conjecture for the third formal Galois group injection

Let $A$ be a commutative $L^{\natural}$-algebra, and let the injection in Proposition 6.8m be the functorial map from $\mathcal{CF}_{L/k}(A)$ to the formal group $\hat{G}_3(A)$. Bijectivity conjecture. If $q$ is not a root of unity, the injection in Proposition 6.8m is a bijection. The claim predicts that every element of $\hat{G}_3(A)$ satisfying the stated nilpotence conditions arises from a $q$-SI differential deformation; the supplied text gives no resolution status.