An arXiv preprint builds arithmetic de Rham stacks and links them to rigid cohomology, isocrystals and D-modules under stated assumptions.