code wiki / (root) / nx_wat_data_artifact_gate.nx

nx_wat_data_artifact_gate.nx

buildroot/runtime/nx_wat_data_artifact_gate.nx

6290 B95 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic wat
docsdependenciesstructsconstsfunctions

about

Actual assembler output -> existing native WASM VM. Private fixtures only. The counted data suffix is a fixed fixture oracle, not a second WASM parser.

dependencies 3 imports · 0 importers

nx_wat_refuse_gate.nx nx_wasm_vm.nx nx_gate_verdict.nx nx_wat_data_artifact_gate.nx

imports: nx_wat_refuse_gate.nxnx_wasm_vm.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

6const WD_PAGE_BYTES: i64=65536
7const WD_PRIVATE: i64=448
8const WD_DATA_BYTES: i64=12

functions

9func wd_run(subject: *u8, input: *u8, output: *u8, log: *u8, count: *i64) -> i64
18func wd_artifact(path: *u8, out: *u8, cap: i64) -> i64
29func wd_suffix(bytes: *u8, n: i64) -> i64
41func main(argc: i64, argv: **u8) -> i64