4.3 Initial Processing
If the <domain> is not an FQDN, the check_host() immediately returns
the result "Fail" and a reason of "Malformed Domain".
What is a FQDN? A domain name with at least one dot?
4.5 Selecting Records
...
version = "v=spf1"
Is "v=spf1" case-sensitive?
4.6.1 Term Evaluation
...
A given modifier may appear at most once per record.
That is true only for the modifiers "exp=" and "redirect". Unknown (future)
modifiers may appear more than once.
What should be done if the "exp=" or "redirect=" modifier appears more than
once?
Should the processing abort and return "PermError"?
Should the first modifier be taken?
Should the last modifier be taken?
4.6.3 Modifiers
...
The same key MUST NOT appear in more than one modifier in a record.
See above.
8.1 Macro definitions
...
t = current timestamp in UTC epoch seconds notation
What means "UTC epoch seconds notation"?
Better would be:
The "t" macro expands to the textual decimal notation (without any
leading zero) of the number of seconds elapsed since 00:00:00 UTC,
January 1, 1970 (without counting the leap seconds).
Roger