code wiki / (root) / nx_wasm_memory_inspect_gate.nx

nx_wasm_memory_inspect_gate.nx

buildroot/runtime/nx_wasm_memory_inspect_gate.nx

2774 B39 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic wasm
docsdependenciesstructsconstsfunctions

about

Read-only whole-file observation through existing readcap and memory-contract owners. A successful descriptor decode is not full Wasm validation or runtime acceptance.

dependencies 3 imports · 0 importers

nx_readcap_lib.nx nx_wasm_memory_lib.nx nx_gate_verdict.nx nx_wasm_memory_inspect_gate.nx

imports: nx_readcap_lib.nxnx_wasm_memory_lib.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

6func wi_cap(s: *u8) -> i64
11func main(argc: i64,argv: **u8) -> i64