Gravitational lensing beyond geometric optics: I. Formalism and observables [CL] arXiver, 21 Aug 2018 http://arxiv.org/abs/1808.06203 The laws of geometric optics and their corrections are derived for…