Optimal transport conditional flow matching equals exact proximal operators via extended Brenier potentials without density assumptions, yields explicit vector fields, converges with batch size, and contracts exponentially normal to manifold-supported targets.