Actual results of testsuite runs, anyone?

Hi,
some folks at the spfbis mailing list are wondering about how do
existing implementations treat the ambiguity of invalid-domain, when
there is no syntax error in an SPF record, but the domain is made
invalid by a macro expansion.

There are three relevant cases in the testsuite:

   invalid-domain-empty-label,
   invalid-domain-long, and
   invalid-domain-long-via-macro.

Those tests pass with either "permerror" or "fail".  Unfortunately,
only the success is usually reported, not the actual result.  If you
have such result for your product handy, would you please post it?

TIA

P.S.  I take this occasion to recall that RFC 6652 allows to request
reports of SPF evaluations, and limiting that to only errors is one of
its options.  For example, one can append to an SPF record the
modifiers "ra=spf-report rr=e", and see what spf-report@%{d} will get.