Pro-\'etale motives and solid rigidity

We introduce coefficient systems of pro-\'etale motives and pro-\'etale motivic spectra with coefficients in any condensed ring spectrum and show that they afford the six operations. Over locally \'etale bounded schemes, \'etale motivic spectra embed into pro-\'etale motivic spectra. We then use the framework of condensed category theory to define a solidification process for any $\widehat{\mathbb{Z}}$-linear condensed category. Pro-\'etale motives naturally enhance to a condensed category and we show that their solidification is very close to the category of solid sheaves defined by Fargues-Scholze, suitably modified to work on schemes: this is a rigidity result. As a consequence, we obtain that in contrast with the rigid-analytic setting, solid sheaves on schemes afford the six operations, and we obtain a solid realization functor of motives, extending the $\ell$-adic realization functor. The solid realization functor is compatible with change of coefficients, which allows one to recover the $\mathbb{Q}_\ell$-adic realization functor while remaining in a setting of presentable categories.