AIP: Activate Stylus and Enable Next-Gen WebAssembly Smart Contracts (ArbOS 30)

As I understand it, due to the difference in memory slots, when calling functions of the same contract (implemented in different languages), we can get different results.

I would like to clarify if this is enough for normal contract compatibility?
Is there another way to solve this problem other than to indicate that it is in the documentation.