State rounding convention for shared random disaster minutes
In arti!987 (merged) @nickm implements it this way. Given the (IMO inexplicable) decision to convert seconds to minutes for encoding in a uint64, I think this is the most plausible interpretation. I haven't checked C Tor.
The difference seems largely academic since presumably we won't have hsdir periods which aren't a whole number of minutes.