Looking for any updates on this as well. Ran into this today with a domain that is falling into this bucket.
https://tools.ietf.org/html/rfc4408#section-4.7
SmarterMail is showing a perm error on this spf record:
v=spf1 include:_spf-a.domain.com include:_spf-b.domain.com
Note the missing "all" at the end. Every spf tool passes this record but SM is setting this to permfail. I'd like to know why it is perm failing.