CFDI40211
The rule sets below word this rule differently; each wording is shown with its rule set.
What the rule checks
As the rule set's publisher wrote it. The rule runs on every element the context matches, and fails where the test is false; the validator reports the line of that element.
El campo Importe correspondiente a Retención no es igual al redondeo de la suma de los importes de los impuestos retenidos registrados en los conceptos donde el impuesto sea igual al campo impuesto de este elemento (falta la Retención del impuesto … en el resumen).
/cfdi:Comprobante
$type = ('T', 'P') or (every $r in $concepts/cfdi:Impuestos/cfdi:Retenciones/cfdi:Retencion satisfies $taxes/cfdi:Retenciones/cfdi:Retencion[@Impuesto = $r/@Impuesto])
Checked with CFDI 4.0
El campo Importe correspondiente a Retención no es igual al redondeo de la suma de los importes de los impuestos retenidos registrados en los conceptos donde el impuesto sea igual al campo impuesto de este elemento (…, conceptos …).
/cfdi:Comprobante/cfdi:Impuestos/cfdi:Retenciones/cfdi:Retencion
abs(mx:dec(@Importe) - $lines) le mx:unit($d) div 2
Checked with CFDI 4.0