CRP20265
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 ImporteP que corresponde a Retención, no es igual a la suma de los importes de los impuestos retenidos registrados en el documento relacionado donde el impuesto sea igual al campo ImpuestoP de este elemento (falta la RetencionP del impuesto …).
pago20:Pagos/pago20:Pago
every $r in $docs/pago20:ImpuestosDR/pago20:RetencionesDR/pago20:RetencionDR satisfies pago20:ImpuestosP/pago20:RetencionesP/pago20:RetencionP[@ImpuestoP = $r/@ImpuestoDR]
Checked with CFDI 4.0
El campo ImporteP que corresponde a Retención, no es igual a la suma de los importes de los impuestos retenidos registrados en el documento relacionado donde el impuesto sea igual al campo ImpuestoP de este elemento (…, documentos …).
pago20:ImpuestosP/pago20:RetencionesP/pago20:RetencionP
abs(mx:dec(@ImporteP) - $docs) le mx:unit(mx:currency($pago/@MonedaP))
Checked with CFDI 4.0