A fully faithful p-adic Riemann--Hilbert functor for filtered coherent D-modules

We prove that the solution functor from bounded good filtered complexes of coherent D-modules on a smooth rigid-analytic variety to modules over the positive almost de Rham period sheaf is fully faithful. On filtered vector bundles with flat connection satisfying Griffiths transversality, the construction recovers, up to duality and extension of scalars, Scholze’s horizontal sections functor. As an application, we obtain a notion of de Rham Zariski-constructible sheaves, generalising the classical notion of de Rham local systems.