1: \begin{abstract}
2: Inspired by the theory of $p$-adic differential equations, this paper introduces
3: an analogous theory for $q$-difference equations over a local field, when $|q|=1$.
4: We define some basic concepts, for instance the \emph{generic radius of convergence},
5: introduce technical tools, such as
6: a \emph{twisted Taylor formula} for analytic functions, and prove some fundamental
7: statements, such as an \emph{effective bound theorem}, the \emph{existence of a weak Frobenius structure}
8: and a \emph{transfer theorem} in regular singular disks.
9: \end{abstract}
10: