Wall singularity of spaces with an upper curvature bound

We study typical wall singularity of codimension one for locally compact geodesically complete metric spaces with an upper curvature bound. We provide a geometric structure theorem of codimension one singularity, and a geometric characterization of codimension two regularity. These give us necessary and sufficient conditions for singular sets to be of codimension at least two.