On the global uniqueness for the Einstein–Maxwell-scalar field system with a cosmological constant: I. Well posedness and breakdown criterion