Scalar curvature rigidity of domains in a warped product | Synapse