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 constr