nx_health_probe_gate.nx
buildroot/runtime/nx_health_probe_gate.nx
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 |
| 44 | func main() -> i64 |