morluto/rea
1
0
Fork 0
mirror of https://github.com/morluto/rea.git synced 2026-10-12 02:19:24 +00:00
Code Issues Packages Projects Releases Wiki Activity

test(contracts): audit static WASM and Harmony wording

Browse Source 
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 <[email protected]>
This commit is contained in:
N0zoM1z0
2026-10-12 01:40:58 +08:00
co-authored by Kaoru0822
parent d28b41ea4e
commit a35fa82b71
1 changed files with 3 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/contracts/toolEffects.test.ts
+3
View File
@@ -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",