Let $(X,d)$ be a metric space. $X$ is said to be a Busemann $G$-space provided it satisfies the following axioms:
(1) Menger Convexity: Given distinct points $x,y\in X$, there is a point $z\in X-\{x,y\}$, so that $d(x,z)+d(z,y)=d(x,y)$.
(2) Finite Compactness: Every $d$-bounded infinite set has at least one accumulation point.
(3) Local Extendibility: For each point $p\in X$, there is a positive radius $\delta$, such that for any pair of distinct points $x,y\in B_p(\delta)$, there is a point $z\in \operatorname{Int}B_p(\delta)-\{x,y\}$ such that $d(x,y)+d(y,z)=d(x,z)$, where $B_p(\delta)$ denotes a closed metric ball centered at $p$ with radius $\delta$ and $\operatorname{Int}B_p(\delta)$ denotes its interior.
(4) Uniqueness of the Extension: Given distinct points $x,y\in X$, if there are points $z_1,z_2\in X$ for which both $$d(x,y)+d(y,z_i)=d(x,z_i) \text{ for }i=1,2$$ and $$d(y,z_1)=d(y,z_2)$$ hold, then $z_1=z_2$.
Question: Is sufficiently small (closed) codimension 1 metric ball on $\operatorname{Bd}B_p(\delta)$ with induced metric from $X$ also a Busemann $G$-space? If not, how about with intrinsic metric?