code wiki / _hdl_build / nx_vroom_gate.nx

nx_vroom_gate.nx

buildroot/runtime/_hdl_build/nx_vroom_gate.nx

4644 B88 linesdepth 3pulls 6 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 5 imports · 0 importers

nx_syscalls.nx nx_gate_emit_lib.nx nx_room_relay.nx nx_vroom.nx nx_gate_verdict.nx nx_vroom_gate.nx

imports: nx_syscalls.nxnx_gate_emit_lib.nxnx_room_relay.nxnx_vroom.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

structs

none

consts

none

functions

12func 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 }
13func 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 }
15func main() -> i64