Extending partial isometries of generalized metric spaces

We consider generalized metric spaces taking distances in an arbitrary ordered commutative monoid, and investigate when a class $\mathcal {K}$ of finite generalized metric spaces satisfies the Hrushovski extension property: for any $A\in \mathcal {K}$ the