Do DMARC report tools like opendmarc-reports [0] comply with that section? Which tool have you seen that complies?
Major hosts (Google, Zoho, Yahoo, Microsoft) are checking for sure. Japanese hosts are the worst offenders. I will try to do a proper data extraction and report back.