Hello,
as I understand it, the double-tagging indeed takes place at the service provider edge switch. Depending on wether the native VLAN is tagged (the Cisco command would be ´vlan dot1q tag native) at the edge switch, it is either transmitted or dropped there.
Regards,
GP