nx_wasm_vm_verify.nx

nx_wasm_vm_verify.nx -- RUN ANY SHIPPED WASM MODULE IN THE MEMORY IT DECLARES. WHY THIS IS GENERIC AND NOT A SEVENTEENTH COPY. On 2026-08-14 /craft shipped black TWICE. Every stage of its emit pipeline was GREEN and its NATIVE gate reported 59/59, because a native gate sys_mmaps its own arena and therefore never meets the wasm memory bound at all. The browser did, and trapped on the first frame with "index out of bounds". Measured the same day: the estate has ELEVEN *_wasm_vm_gate organs and NOT ONE of them is for a game. They cover the sims and some crypto/codec modules. Every browser-playable wasm game ships a module that byte-checks pass and nobody ever executes -- the identical blind spot, ~17 times over. ★SO THE RULER IS PARAMETERISED, NOT DUPLICATED. One organ, a path argument, no per-module constants anywhere in it. The declared memory is NOT mirrored from the module's source either -- wm_parse already reads the wasm memory section and sizes mod.mem from it, so this asks the ARTIFACT what it declares rather than trusting a number typed in a second file. A mirrored page count is exactly the kind of constant that goes stale in one place and takes a page down. WHAT IT PROVES, and only this: PARSES -- the image is a real module DECLARES -- it names a linear memory, and the VM allocates exactly that much RUNS -- the exported entry points execute without leaving that memory (the VM bounds-checks) PAINTS -- for a FRAMEBUFFER module (ww/hh/fb_off exported) the frame carries >1 colour A module with no framebuffer surface is not a renderer, and this says NOT-A-RENDERER and abstains rather than inventing a verdict about a subject it cannot see. usage: nx_wasm_vm_verify <path.wasm> [noinit] noinit -- skip init(), for modules whose world generation cannot finish in an interpreter. nx_wasm_craft is the measured case: 786,432 voxels of noise, >120s. Its own gate (nx_wasm_craft_vm_gate) seeds a minimal scene instead; this flag is the generic escape so a slow init cannot be mistaken for a broken module. exit: 0 GREEN | 1 RED | 3 the file could not be read license_tier: ORIGINAL