RW:
I believe he was referring to policy, so DMARC would override the distinction between hard and soft failure in SPF.
Correct. And same goes for DKIM. Once a receiver decide to use DMARC it *must* no longer reject a message only based on SPF or DKIM results. You have always to check both mechanisms and calculate a DMARC result after that. Andreas