At the end of the day, "Matching contributions are not treated as forfeitable merely because the contributions to which they relate are excess employee contributions, excess aggregate contributions, or excess deferrals". You are not forfeiting match merely because of an ADP failure, but to correct a discriminatory rate of match after all corrective distributions have been made.
The document "may" prescribe a forfeit of attributable match prior to the ACP test, but even that would not appear as an authority to forfeit on the first payrolls.
So, to prove your case another way, I'd challenge them to show me where match is to be forfeited merely due to ADP failure. If that language isn't there, then they have no basis for forfeiting the match; as they would be hard-press to prove there remains a discriminatory rate of match after the ADP refund.
Just more fuel for your fire :-)
Good Luck!