nx_modelprobe.nx
buildroot/runtime/nx_modelprobe.nx
about
nx_modelprobe.nx -- MEASURE /v1/models. NEVER BELIEVE IT.
swarm_nodes.conf states the rule for changing a worker address in its own words: "measure
/v1/models from the NAS, then uncomment with the address that actually answered -- never with one
that is merely believed." This organ IS that measurement, so a repoint is decided by bytes.
WHY IT EXISTS, measured 2026-09-05. nx_netprobe_ladder proved 192.168.8.192:7861 refuses TCP at
every bound from 500 ms to 15 s, with 192.168.8.193 UP as a positive control and 192.168.8.253 DOWN
as a neg-control -- so the probe is neither blind nor credulous. Against that, nx_worker_dispatch
reported HTTP 200 for .192 WHILE PRINTING ARENA-OVERRUN prev_alloc_size=256 in the same output. A
verdict from an instrument announcing memory corruption does not outrank a controlled one, so the
tie is broken by asking the application layer directly.
COMPOSES THE INCUMBENT: nx_http_client (nx_http_client_get + nx_http_client_sockaddr_ipv4) is the
sovereign HTTP/1.1 GET client and it already carries NAMED verdicts -- OK, SOCKET_FAIL,
CONNECT_FAIL, SEND_FAIL, RECV_FAIL. That is precisely what np_probe_up lacks, and the contrast is
the point: the estate solved name-which-negative here and the liveness probe never inherited it.
license_tier: ORIGINAL No hw writes (Rule 26).
dependencies 2 imports · 0 importers
imports: nx_syscalls.nxnx_http_client.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
| 22 | const MP_CAP: i64 = 65536 |
| 23 | const MP_PORT: i64 = 7861 |
| 24 | const MP_HEADLINE: i64 = 96 |
functions
| 26 | func mp_slen(s: *u8) -> i64 { var n: i64 = 0; while s[n] != (0 as u8) { n = n + 1 } return n } |
| 27 | func mp_puts(s: *u8) -> i64 { sys_write(1, s, mp_slen(s)); return 0 } |
| 28 | func mp_putn(v: i64) -> i64 |
| 42 | func mp_verdict_name(v: i64) -> i64 |
| 53 | func mp_head(buf: *u8, n: i64) -> i64 |
| 64 | func mp_one(a: i64, b: i64, c: i64, d: i64, label: *u8) -> i64 |
| 88 | func main(argc: i64, argv: *i64) -> i64 |