code wiki / _hdl_build / nx_mp_relay_gate.nx

nx_mp_relay_gate.nx

buildroot/runtime/_hdl_build/nx_mp_relay_gate.nx

4462 B86 linesdepth 3pulls 6 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 4 imports · 0 importers

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

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_mp_relay.nxnx_gate_verdict.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 nxa_die sys_write ↻ sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ 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 ↻ gv_ctr sys_mmap ↻ gv_verdict gv_note_bare_rate gv_bare_rate

structs

none

consts

none

functions

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