From dfe31172ca0a090be3f40bc134f54d69c08e31d8 Mon Sep 17 00:00:00 2001 From: Ysopwnable <161784452+N0zoM1z0@users.noreply.github.com> Date: Mon, 12 Oct 2026 01:49:33 +0800 Subject: [PATCH] fix(test): audit static Wasm and Harmony tool wording (#1917) Account for explicit nonexecution wording in the existing tool-effects audit. WABT validates and decompiles the module; Harmony projects inventory Evidence. Retain declared effects and stale-exception checks. Co-authored-by: factory-droid[bot] <138933559+factory-droid[bot]@users.noreply.github.com> Co-authored-by: Kaoru0822 <208281322+kaoru0822-kitauji@users.noreply.github.com> Co-authored-by: morluto <76467478+morluto@users.noreply.github.com> --- src/contracts/toolEffects.test.ts | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/contracts/toolEffects.test.ts b/src/contracts/toolEffects.test.ts index 0fdcaf0498..f5043d2408 100644 --- a/src/contracts/toolEffects.test.ts +++ b/src/contracts/toolEffects.test.ts @@ -22,6 +22,8 @@ const EXECUTION_WORDING_EXCEPTIONS: Readonly> = { inspect_macho: "runs host Mach-O inspection tools, not the target", inspect_evm_interface: "decodes bytecode in REA's bundled worker without executing it", + inspect_wasm_artifact: + "WABT validates and decompiles the module without executing it", inspect_managed_artifact: "reads metadata without executing target code", inspect_managed_members: "reads metadata without executing target code", inspect_managed_native_boundaries: @@ -47,6 +49,7 @@ const EXECUTION_WORDING_EXCEPTIONS: Readonly> = { compare_javascript_export_shapes: "states it does not execute JavaScript", project_android_application_graph: "execution-free inventory", project_apple_application_graph: "execution-free inventory", + project_harmony_application_graph: "execution-free inventory", trace_web_source_location: "states there is no application execution", trace_web_module_imports: "runs only REA's resolver stub in operator-configured Chromium",