scry is a sound (over-approximating) static analyzer for WebAssembly core modules: it proves properties that hold on every run. It catches out-of-bounds / divide-by-zero / overflow traps (proven-safe vs potential), use-after-drop on component handles, and bounds on the shadow stack. A ⊤ ("top") or POTENTIAL-TRAP verdict means unknown — never "safe". These pages are a faithful projection of the analyzer's own output; nothing is re-derived.