code wiki / _hdl_build / nx_vroom_gate.nx

nx_vroom_gate.nx

buildroot/runtime/_hdl_build/nx_vroom_gate.nx

4205 B80 linesdepth 3pulls 5 transitivereach 0 importersview sourcekind gate/prooftopic vroom
docsdependenciesstructsconstsfunctions

about

nx_vroom_gate.nx -- proves the sovereign video-room handler (nx_vroom) end to end WITHOUT sockets/TLS: POST stores a peer's frame; GET /frames returns OTHER peers' frames as [id u64][len u32][bytes] records (not self); GET /roster returns JSON; rooms stay isolated. 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_room_relay.nx nx_vroom.nx nx_vroom_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_room_relay.nxnx_vroom.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 vr_room_hash vr_lower vr_strlen vr_handle vr_contains vr_room_hash ↻ vr_id vr_apps vr_app vr_strlen ↻ vr_body_start vr_content_length vr_lower ↻ rr_post rr_find rr_alloc rr_roster rr_live rr_find ↻ rr_flen vr_wdec vr_wu64 vr_wu32 vr_app ↻ vr_contains ↻ rr_live ↻ rr_flen ↻ g_check g_puts ↻ vr_body_start ↻ rd_u64 rd_u32 g_pn sys_mmap ↻ sys_write ↻

structs

none

consts

none

functions

11func rd_u64(b: *u8, o: i64) -> i64 { var v: i64=0; var i: i64=0; while i<8 { v = v | ((b[o+i] as i64) << (i*8)); i=i+1 } return v }
called by 1: main
12func rd_u32(b: *u8, o: i64) -> i64 { var v: i64=0; var i: i64=0; while i<4 { v = v | ((b[o+i] as i64) << (i*8)); i=i+1 } return v }
called by 1: main
14func main() -> i64