Coordinate independence of q-connections

Let $R$ be a smooth $\mathbb Z$-algebra, and let a framing $\square$ define the category of finite projective $R[[q-1]]$-modules equipped with flat $q$-connections with respect to $\square$. The q-connection coordinate-independence conjecture. This symmetric monoidal category is canonically independent of the choice of framing. This would make the relative $q$-connection formalism intrinsic rather than coordinate-dependent.