Rigidity of effective motives in equal characteristic case [rigidity_in_p]

We use a motivic tame twist inspired by [Lüd24] to construct a spectrum representing $\mathbb{G}_{m}$ in tame motives. As a consequence, we prove a rigidity result for tame motivic homotopy theory after passing to the logarithmic motivic homotopy category. This allows us in particular to construct a synthetic theory of spectra in $p$-adic setting.