I'm only aware of ODE uniqueness on open subsets of $R^n$, which is useful when we want to prove uniqueness of integral curves on a smooth manifold.
Suppose we have an interal curve $f:[0,\delta]\to M$ that starts on the boundary, how can we show it is unique?