Solving an interesting problem with Sender Policy Framework records

I wrote this for my (previous) employer. I thought you might find it interesting. SPF is a complex beast.