Almost equivalences between Tamarkin category and Novikov sheaves

We revisit the relationship between the Tamarkin's extra variable $t$ and Novikov rings. We prove that the equivariant version of Tamarkin category is almost equivalent (in the sense of almost mathematics) to the category of derived complete modules over the Novikov ring.