Core–envelope miscibility in sub-Neptunes and super-Earths | Synapse