A BOUNDARY VERSION OF CARTAN–HADAMARD AND APPLICATIONS TO RIGIDITY