code wiki / _hdl_build / nx_mp_relay_gate.nx

nx_mp_relay_gate.nx

buildroot/runtime/_hdl_build/nx_mp_relay_gate.nx

4020 B78 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic mp
docsdependenciesstructsconstsfunctions

about

nx_mp_relay_gate.nx -- proves the sovereign daemon roster serializer (nx_mp_relay) over nx_room_relay. NO JS, NO curl: a pure-nx gate. The daemon serializes OTHER live players into [len][frame] records that the wasm parses with gi_net_ingest_roster. This is the /roster GET body, proven sovereignly. 1) serialize 2 peers in a room -> 2 records, frame bytes byte-EXACT, in slot order 2) room isolation (neg): a peer in another room is not in the body 3) self excluded (neg): the requesting player never sees itself 4) staleness (neg): a peer past TTL is dropped from the body Built nx_cc_sovereign -> nxasm_x86 (no gcc, no .sh). license_tier: ORIGINAL

dependencies 3 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_mp_relay.nx nx_mp_relay_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_mp_relay.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 rr_init rr_post rr_find rr_alloc mp_roster_body rr_nslots rr_room rr_peer rr_seen rr_flen mp_roster_count g_pn sys_mmap ↻ sys_write ↻ rec_eq g_check g_puts ↻ sys_exit

structs

none

consts

none

functions

13func rec_eq(body: *u8, o: i64, expect: *u8, n: i64) -> i64
called by 1: main
20func main() -> i64