The irs ignores divorce and custody agreements and just follows its own rules as you have posted. If neither can provide convincing evidence of nights at home the IRS will give the dependence to the parent with the higher AGI.
Often parents in your situation will agree to claiming the kids every other year to avoid the situation that you are dealing with.
