Lagrangian metric geometry with Riemannian bounds | Synapse