> Wasm doesn't make any memory safety guarantees about the usage of memory within the Wasm runtime
fyi, that was true for Wasm 1.0, but WasmGC defines managed memory structures (structs with typed fields, arrays with bounds checking, isorecursive subtyping, immutability, etc.) which provide fully verified memory safety.