From a35fa82b71aa2f0790ac9428b2d79780a77261d7 Mon Sep 17 00:00:00 2001 From: N0zoM1z0 <161784452+N0zoM1z0@users.noreply.github.com> Date: Mon, 12 Oct 2026 01:40:58 +0800 Subject: [PATCH] test(contracts): audit static WASM and Harmony wording Account for two descriptions that explicitly disclaim target execution in the existing reasoned wording audit. Their provider effects and foreign-authority checks remain intact. Refs: #1904 Co-authored-by: Kaoru0822 <208281322+kaoru0822-kitauji@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 0fdcaf049..4fe7d052a 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: + "runs caller-selected WABT for static inspection, not target WASM execution", 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 projection", trace_web_source_location: "states there is no application execution", trace_web_module_imports: "runs only REA's resolver stub in operator-configured Chromium",