I just tested it. It appears that he is right. Although the HP damage is calculated after armor damage, the armor check is indeed before the armor damage. Basically it works like the following:
1. Does victim have armor? If so, use ignore damage for HP damage.
2. Armor damage calculated
3. HP damage calculated, use ignore damage if victim had armor during step 1
