WASM Validate
WASM検証は、バイトコードがWASM仕様（型、構造、メモリ境界）に準拠しているかを調べる処理である。検証済みモジュールは、未定義動作なしに実行できることが保証される。
目的
インスタンス化の前にWASMバイトコードの正当性を検証し、未定義動作のない安全な実行を保証する。
メカニズム
WebAssembly.validate(bytes)→bool：バイトコードの型整合性、制御フロー構造、メモリ/テーブル境界、関数シグネチャの一致を検査する。検証を通過すれば安全な実行が保証される（範囲外アクセスなし、型エラーなし）。失敗すればインスタンス化は拒否される。
ユースケース
- WASMの安全性検証
- バイトコード検査
- コンパイル前の検証