¿Cómo funciona Celer Inter-chain Messaging (IM)? Explicación del mecanismo de paso de mensajes cross-chain

We need to apply two fixes from the issue list to the translation. The translation is provided in the "Translation to fix" section. Issue 1: In the paragraph starting "Cuando reciben una solicitud verificada, el contrato realiza las operaciones correspondientes según su lógica predefinida; por ejemplo, actualizar el estado del usuario...". The fix: change the semicolon (;) after "predefinida" to a comma (,) to match the original's em-dash usage. The description says to change "predefinida; por ejemplo" to "predefinida, por ejemplo" (or use parentheses, but the suggested fix is a comma). So we replace "predefinida; por ejemplo" with "predefinida, por ejemplo". Issue 2: In the same sentence, change "Cuando reciben una solicitud verificada" to "Cuando se recibe una solicitud verificada". This fixes the subject-verb agreement issue where plural verb "reciben" with singular subject "el contrato". The suggested fix: "cambiar por «Cuando se recibe una solicitud verificada, el contrato realiza las operaciones correspondientes según su lógica predefinida;»" but note that the suggested_fix also includes the rest of the sentence. However, we must only apply the fixes as described. The fix is to change "reciben" to "se recibe". The rest of the sentence remains the same except for the semicolon correction. So the full sentence originally is: "Cuando reciben una solicitud verificada, el contrato realiza las operaciones correspondientes según su lógica predef