> A setup where company.example sends email from companymailings.example but sets a reply-to for support@company.example is perfectly valid

So shouldn’t this be done explicitly by setting a policy at _dmarc.companymailings.example instead of implicitly by setting at otherwise entirely useless record (of type A? some unused TXT variant?) at companymailings.example?