code wiki / _hdl_build / nx_mp_live_gate.nx

nx_mp_live_gate.nx

buildroot/runtime/_hdl_build/nx_mp_live_gate.nx

5716 B114 linesdepth 5pulls 6 transitivereach 0 importersview sourcekind gate/prooftopic mp

docs dependencies structs consts functions

about

nx_mp_live_gate.nx -- SOVEREIGN end-to-end LIVE proof of the running multiplayer daemon (no curl, no node): a pure-syscall HTTP client POSTs two players' snapshots to the LIVE nx_mp_serve on 127.0.0.1:7702, then GETs the roster and confirms the response body carries BOTH players' [len][frame] records. Proves the live relay works (shared-mmap rr_post across forked handlers), not just that a page serves. Run AFTER `nx_mp_up`: ./_offc/nx_sov_build_run.elf nx_mp_live_gate license_tier: ORIGINAL

dependencies 3 imports · 0 importers

imports: nx_syscalls.nxnx_connect.nxnx_gate_emit_lib.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

11	func slen(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} return n }
13	func conn(port: i64) -> i64 called by 3: post_pstate get_roster main calls 4: sys_mmap sys_socket nx_connect_bounded sys_close
25	func post_pstate(port: i64, rm: i64, pr: i64, frame: *u8, flen: i64) -> i64 called by 1: main calls 5: conn sys_mmap sys_write sys_read sys_close
45	func get_roster(port: i64, rm: i64, self_pr: i64, out: *u8) -> i64 called by 1: main calls 5: conn sys_mmap sys_write sys_read sys_close
64	func body_off(buf: *u8, n: i64) -> i64 called by 1: main
70	func rec_count(body: *u8, total: i64) -> i64 called by 1: main
76	func main() -> i64 calls 11: g_puts conn sys_exit sys_close sys_mmap post_pstate+5