Say you want to send an action to a smart contract, and you know the WASM of the contract. You somehow obtained the original source code which was in C++, you compiled it to WASM, and you got the same binaries. At this moment, you know that the contract does what the C++ code does.
However, how do you know that the contract won't be updated to alter the code before you send your action? Is there any way to atomically verify the code and execute the transaction only if the code is as expected?