Rigidity for positively curved Alexandrov spaces with boundary

Inspired by a recent work of Grove-Petersen in [GP18], where the authors studied Alexandrov spaces with largest possible boundary. We study Alexandrov spaces with lower curvature bound 1 and with small boundary. When the radius of X is π/2, and the boundary has diameter π/2, we classify the total space X.