code wiki / (root) / nx_embed_live_gate.nx

nx_embed_live_gate.nx

buildroot/runtime/nx_embed_live_gate.nx

5693 B159 linesdepth 6pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic embed
docsdependenciesstructsconstsfunctions

about

nx_embed_live_gate.nx -- LIVE probe of the RUNNING no-float serve (E-arc e1): proves the /embed capability is API-reachable on a real socket, not just in-process. argv[1]=port (default 8033 = the coder no-float serve; registry: 8031 survey, 8032 instruct app, 11434/11438 f32 seats). T1 GET /health -> 200 + "ok":1 T2 POST /embed -> 200 + "ok":1 + "dim":896 (nl2code query through the live daemon) Sovereign client = nx_http_client primitives (the proven of_llm_complete loopback pattern). license_tier: ORIGINAL No hw writes (Rule 26). expect_exit: 0

dependencies 2 imports · 0 importers

nx_http_client.nx nx_connect.nx nx_embed_live_gate.nx

imports: nx_http_client.nxnx_connect.nx

imported by: nobody (leaf or entry point)

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

main el_ws el_wdec el_ws ↻ el_rt nx_http_client_sockaddr_ip sys_socket nx_connect_bounded nx_fcntl sys_connect sys_mmap sys_poll sys_set_socket_timeout sys_mmap ↻ sys_setsockopt sys_munmap sys_read el_find el_cat sys_now_ms sys_mmap ↻ sys_clock_gettime_mono

structs

none

consts

none

functions

11func el_ws(s: *u8) -> i64
called by 2: el_wdecmain
18func el_wdec(v: i64) -> i64
called by 1: main calls 1: el_ws
32func el_find(hay: *u8, hn: i64, needle: *u8) -> i64
called by 1: main
48func el_rt(port: i64, req: *u8, rn: i64, resp: *u8, cap: i64) -> i64
73func el_cat(dst: *u8, off: i64, s: *u8) -> i64
called by 1: main
79func main(argc: i64, argv: *i64) -> i64