I believe there might be a few crucial steps missing in the "Communicating between OP Stack and Ethereum in Solidity" tutorial. The steps related to the relevant actions may be connected to the instructions found in https://viem.sh/op-stack/actions/proveWithdrawal. I am currently investigating this and will appreciate any guidance or clarification on this matter.