This question is about 6 operations formalism for 'crystalline' cohomology theories - more specifically the infinitesimal cohomology of smooth $\mathbb{C}$-varieties, and the overconvergent cohomology of varieties in positive characteristic. I'm not really sure of a good reference for the former, for the latter I'm talking about le Stum's site theoretic approach to rigid cohomology, as developed in his paper "The Overconvergent Site".

In particular, I'm interested in whether or not one might hope for a 6 operations formalism for the cohomology of the overconvergent site. One thing that suggests to me that this is not the 'right' set-up to get 6 operations is that I think I can convince myself that for any Cartesian square of $k$-varieties ($k$ a perfect field of characteristic $p>0$) $$ \begin{matrix} X' & \overset{g'}\rightarrow &X \\ f'\downarrow &&\downarrow f \\ Y' & \overset{g}{\rightarrow} &Y\end{matrix}$$ the induced base change morphism $$ g^*_{\mathrm{An}^\dagger} \mathbb{R}f_{\mathrm{An}^\dagger*}E \rightarrow \mathbb{R}f'_{\mathrm{An}^\dagger*}g'_{\mathrm{An}^\dagger}^*E$$ is an isomorphism. This seems 'wrong' to me - one should only expect such a base change for a proper morphism $f$. My question is whether or not this should be taken seriously as a reason why 6 operations with good 'topological' properties won't exist in this context, or is there something I've missed?

I'd also be interested to know whether or not 6 operations has been worked out for the infinitesimal site of $\mathbb{C}$-varieties (or varieties over any alg. closed char $0$ field). In the introduction to another paper of his, "Constructible $\nabla$-modules on curves", le Stum says that constructible sheaves have a definition in terms of the infinitesimal site (due to Deligne, but unpublished), but what about complexes and six operations? Is there anything known in this direction?

Also, just for reference, the argument that we have base change for any Cartesian square is basically just combining the paragraph before 1.4.2 of http://perso.univ-rennes1.fr/bernard.le-stum/Publications_files/OverconvergentSite.pdf with 7.28.1 of http://stacks.math.columbia.edu/tag/04IT. One can also see it in terms of realisations.

EDIT: It may be worth making clear that I am familiar with both Caro's theory of 6 operations for overholonomic $F\text{-}\mathcal{D}^\dagger$-modules, and the theory of algebraic $\mathcal{D}$-modules in char $0$. I am more interested in whether or not, for example in char $0$, one can do all this purely in terms of the infinitesimal site.