Function verify_wasm_host_abi_bytes 

pub fn verify_wasm_host_abi_bytes(
    wasm_bytes: &[u8],
    abi_version: &str,
) -> Result<HostAbiValidation, ExecutorError>

Validate a WASM binary against the declared Traverse Host ABI import whitelist.

Errors

Returns ExecutorError when the binary is malformed, the ABI version is unsupported, or a module imports a host function outside the whitelist.