Recently we have integrated the Harmony Email solution with a customer's Microsoft Exchange environment.
After applying a Prevent (Inline) policy to some users, we started experiencing some internal mails (between users of the same domain) showing up on the users mailboxs with an unverified tag, assumingly added by Exchange.

All of them are between users with Prevent policies applied to them in the Harmony Email config. Also when looking at the headers, all of them give an SPF:temperror DNS timeout.
Authentication-Results: spf=temperror (sender IP is 52.212.19.177)
smtp.mailfrom=<customer_domain>; dkim=none (message not signed)
header.d=none;dmarc=temperror action=none
header.from=<customer_domain>;compauth=fail reason=601
Received-SPF: TempError (protection.outlook.com: error in processing during
lookup of <customer_domain>: DNS Timeout)
The IP it's trying to check is from Check Point, included in the spfa.cpmails.com domain.
We added this domain to SPF a while before changing the policy to Prevent.
As the name temperror indicates, this behavior with the Unverified tag, and the SPF temperror that comes with it, are very volatile. The customer has a big email volume, so we see it every day, but it doesn't happen with the majority of internal mails of users included in the Prevent policy.
For the emails that don't have the unverified tag, the SPF passes with exactly the same IP.
One possible justification for this could be issues with the customer DNS, but before adding the Prevent Policies (and before the Harmony Email solution) to the customers infrastructure, they had never seen this kind of behavior with unverified tags, and they also had never had any SPF related issues.
One other possible justification is problems with the spfa.cpmails.com domain, sometimes timing out when the Exchange tries to check the IPs included in their DNS configuration.
I asked the customer to add ipv4:52.212.19.177, to try to avoid having to check the spfa.cpmails.com domain and see if the unverifieds stop happening.
If it is, this customer can't be the only one suffering with this issues.
For other customers that use Harmony Email in Prevent, have their data residency in the EU, and see the IP 52.212.19.177 on SPF (from what I have seen, in the EU, multiple IPs can be used but in this scenario I have only seen this one), has anyone been having this kind of issues with SPF?
Infinity Portal tenants residing in Europe
52.17.62.50
52.212.19.177
3.252.108.160/28
13.39.103.0/28
13.39.103.16/28
3.252.108.176/28
Thank you for your attention.
Regards,
Rafael Santiago