UPDATE: it’s the former. Google says: “When the recipient has S/MIME configured, Gmail sends an #E2EE email via #SMIME (just like it does today).” https://workspace.google.com/blog/identity-and-security/gmail-easy-end-to-end-encryption-all-businesses