Models of set theory with the same reals and the same cardinals, but which disagree on the continuum hypothesis

I’d like to describe a certain interesting and surprising situation that can happen with models of set theory. Theorem. If $\newcommand\ZFC{\text{ZFC}}\ZFC$ set theory is consistent, then the…