code wiki / _hdl_build / nx_sni_router_gate.nx

nx_sni_router_gate.nx

buildroot/runtime/_hdl_build/nx_sni_router_gate.nx

5208 B97 linesdepth 6pulls 12 transitivereach 0 importersview sourcekind gate/prooftopic sni

docs dependencies structs consts functions

about

nx_sni_router_gate.nx -- e2e gate for the SNI router: fork an echo backend + the router, then as a client push [ClientHello + marker] through the router and verify the marker round-trips -> proves peek + route + replay + duplex splice on loopback (no live deploy, no reachability dependency). license_tier: ORIGINAL expect_exit: 0

dependencies 5 imports · 0 importers

imports: nx_syscalls.nxnx_http_server.nxnx_sni_extract.nxnx_tls13_ext.nxnx_sni_router.nx

imported by: nobody (leaf or entry point)

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

structs

none

consts

none

functions

10	func g_puts(s: *u8) -> i64 { var n: i64=0; while s[n]!=(0 as u8){n=n+1} sys_write(1,s,n); return 0 } called by 1: main calls 1: sys_write
11	func g_contains(buf: u8, n: i64, needle: u8) -> i64 called by 1: main
20	func build_ch(host: u8, host_len: i64, out: u8) -> i64 called by 1: main calls 2: sys_mmap tls13_ext_emit_server_name
40	func run_echo(port: i64) -> i64 called by 1: main calls 8: sys_mmap nx_http_server_addr_any nx_http_server_listen sys_exit sys_accept_with_addr sys_read+2
58	func main() -> i64 calls 17: g_puts sys_fork run_echo sys_exit sr_serve sys_sleep_ms+11