Existence and weak–strong uniqueness of solutions to the Cahn–Hilliard–Navier–Stokes–Darcy system in superposed free flow and porous media. (October 2021)