We consider the group of smooth increasing diffeomorphisms Diff on the unit interval endowed with the right-invariant H1 metric. We compute the metric completion of this space which appears to be the space of increasing maps of the unit interval with …