Tropicalization and Polyhedral Completions of Weyl Algebras

We construct weighted and polyhedral completions of the Weyl algebra over a complete nonarchimedean field and organize them into a structure sheaf on a polyhedral $G$-site. For discretely valued fields, we prove two-sided flatness for $Γ$-rational polyhedral completions, yielding exact base change f