code wiki / _hdl_build / nx_video_client_live_verify.nx

nx_video_client_live_verify.nx

buildroot/runtime/_hdl_build/nx_video_client_live_verify.nx

4575 B79 linesdepth 7pulls 23 transitivereach 0 importersview sourcekind tooltopic video
docsdependenciesstructsconstsfunctions

about

nx_video_client_live_verify.nx -- SOVEREIGN end-to-end LIVE verify: take the raw HTTPS response fetched from https://nishifamily.com/video/nx_video_client.wasm (response = HTTP headers + body), locate the wasm magic (\0asm), and prove the BODY is exactly the rebuilt+VM-gated client wasm: body length == 12990, parses under the sovereign VM, all 15 app.js exports present, vc_ladder_floor VM==native. No curl/cmp/xxd -- all in-organ. expect_exit: 0 license_tier: ORIGINAL

dependencies 4 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_wasm_vm.nx nx_video_client_wasm.nx nx_video_client_live_verify.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_wasm_vm.nxnx_video_client_wasm.nx

imported by: nobody (leaf or entry point)

call flow from main pre-order; caps 40 nodes / depth 6 declared; ↻ = already shown

main g_puts sys_write sys_mmap sys_read_file sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close sys_exit g_pn sys_mmap ↻ sys_write ↻ g_check g_puts ↻ wm_new sys_mmap ↻ wm_parse sys_mmap ↻ wv_u8 wv_uleb wm_find_export wm_name_eq wm_run wm_find_export ↻ sys_mmap ↻ wm_call sys_mmap ↻ wv_u8 ↻ wm_memo_get wm_match_end sys_mmap ↻ sys_write ↻ sys_exit ↻ wv_u8 ↻ wm_skip_imm wv_u8 ↻ wv_uleb ↻ wv_sleb

structs

none

consts

12const LIVE_PATH: *u8 = "/mnt/c/Users/elder/AppData/Local/Temp/claude/C--Users-elder/35f4610b-08b2-4d75-94eb-2f2ef485113d/scratchpad/live_vcw.wasm"
13const EXPECT_BODY: i64 = 12990

functions

15func main() -> i64