feat: add plasma ccip chain id

[sendra]

No description provided.

[github-actions]

Certora Run Started (Certora Prover Run)

• Group ID: e8a85e1a-b457-4018-b9a7-5a07cf395793

Config	Status	Link	Log File
verifyCrossChainControllerWithEmergency.conf	Submitted	link	security/certora/confs/verifyCrossChainControllerWithEmergency.conf-e339e51f2062.log
verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX	Submitted	link	security/certora/confs/verifyCrossChainForwarder-encode-decode-correct.conf-329cb2036a68.log
verifyCrossChainForwarder-envelopRetry.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-envelopRetry.conf-24e6e123425c.log
verifyCrossChainForwarder-invariants.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-invariants.conf-24d8dab9e7eb.log
verifyCrossChainForwarder-newEnvelope.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-newEnvelope.conf-3f17cae6348e.log
verifyCrossChainForwarder-sanity.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-sanity.conf-9331873eb327.log
verifyCrossChainForwarder-shuffle.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-shuffle.conf-8c55db7943dd.log
verifyCrossChainForwarder-simpleRules.conf	Submitted	link	security/certora/confs/verifyCrossChainForwarder-simpleRules.conf-a411dcbccce5.log
verifyCrossChainReceiver.conf	Submitted	link	security/certora/confs/verifyCrossChainReceiver.conf-54c4f54d9f2f.log

Certora Run Summary

• Started 9 jobs
• 0 jobs failed

Download Logs