Merge pull request #145 from pulseengine/fix/wast-validation-improvements-v3

fix: WAST validation improvements v3 — SIMD, GC refs, section ordering, const exprs

Author: avrabe

kiln-build-core/src/wast.rs

@@ -478,7 +478,7 @@ impl WastTestRunner {
                                     modifies_engine_state: true,
                                     result: TestResult::Failed,
                                     error_message: Some(format!(
-                                        "Module instantiation failed: {}",
+                                        "Module instantiation failed: {:#}",
                                         e
                                     )),
                                 })
@@ -597,7 +597,7 @@ impl WastTestRunner {
                             requires_module_state: false,
                             modifies_engine_state: true,
                             result: TestResult::Failed,
-                            error_message: Some(format!("Module instantiation failed: {}", e)),
+                            error_message: Some(format!("Module instantiation failed: {:#}", e)),
                         })
                     },
                 }

kiln-build-core/src/wast_execution.rs

@@ -63,7 +63,7 @@ impl WastEngine {
 
         // Validate the module before proceeding (Phase 1 of WAST conformance)
         crate::wast_validator::WastModuleValidator::validate(&kiln_module)
-            .map_err(|e| anyhow::anyhow!("Module validation failed: {:?}", e))?;
+            .map_err(|e| anyhow::anyhow!("Module validation failed: {:#}", e))?;
 
         // Convert KilnModule to RuntimeModule
         // Wrap in Arc immediately to avoid clone() which loses BoundedMap data
@@ -436,6 +436,7 @@ impl WastEngine {
                     let spectest_table_type = TableType {
                         element_type: RefType::Funcref,
                         limits: Limits { min: 10, max: Some(20) },
+                        table64: false,
                     };
                     let table = Table::new(spectest_table_type).map_err(|e| {
                         anyhow::anyhow!("Failed to create spectest table: {:?}", e)