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

@@ -22,6 +22,8 @@ const EXECUTION_WORDING_EXCEPTIONS: Readonly<Record<string, string>> = {
   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<Record<string, string>> = {
   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",