The draft of the EIP for Cross-Chain Execution has now been opened as a PR. Once an EIP number is assigned I’ll create a fresh discussion thread for us to continue fine-tuning the spec.
I’ve added everyone in this thread as a contributor; but if you don’t wish to be included please dm me.