code wiki / (root) / nx_health_probe_gate.nx

nx_health_probe_gate.nx

buildroot/runtime/nx_health_probe_gate.nx

4786 B83 linesdepth 6pulls 7 transitivereach 0 importersview sourcekind gate/prooftopic health

docs dependencies structs consts functions

about

nx_health_probe_gate.nx -- loopback KAT for the serving health probe. Forks two mock servers (one that serves 200, one that ACCEPTS but never responds = hung) + probes an unused port. Proves the probe tells SERVING / HUNG / REFUSED apart -- crucially HUNG, which PID-liveness + a LISTEN check both miss. exit 0 = pass, N = assertion N failed.

dependencies 2 imports · 0 importers

imports: nx_health_probe.nxnx_assert.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

9	const HPG_PORT_BOUND: i64 = 19004
10	const HPG_PORT_DEAD: i64 = 19005
12	const HPG_HOLD_MS: i64 = 4000

functions

18	func hpg_mock(port: i64, mode: i64) -> i64 called by 1: main calls 9: sys_socket sys_setsockopt hp_sockaddr sys_bind sys_listen sys_fork+3
44	func main() -> i64 calls 10: hpg_mock sys_sleep_ms hp_probe nx_puts_err hp_name nx_kill+4