  This is the first part of a series of papers studying categories defined over
the Novikov ring arising from microlocal sheaf theory. In this paper, we define
a family of categories associated with each cotangent bundle, which is an
enhanced version of the category first introduced by Tamarkin. Using our
categories, for any (possibly non-exact immersed) Lagrangian brane, we develop
a theory of sheaf quantization generalizing those of Tamarkin, Guillermou,
Jin--Treumann, and others. In particular, our theory involves the notion of a
sheaf-theoretic bounding cochain, which is a counterpart of the theory of
Fukaya--Oh--Ohta--Ono. We also study several structures and properties known in
the classical Tamarkin category; separation theorem, intersection points
estimates, interleaving distances, energy stability with respect to
Guillermou--Kashiwara--Schapira autoequivalence, and the completeness of the
distance. We conjecture that our category is equivalent to a Fukaya category
defined over the Novikov ring.
