nx_diora_live_reach_guarded.nx
buildroot/runtime/nx_diora_live_reach_guarded.nx
about
nx_diora_live_reach_guarded.nx -- SREACH R1, HANG-PROOF. The own-crawl ->
own-index reach run, but every per-URL fetch is a CHILD bounded by
nx_guarded_run: a host that hangs the validated-HTTPS read loop (e.g.
wikipedia) is SIGKILLed at the deadline and recorded BLOCKED-TIMEOUT, and the
crawl CONTINUES to the next seed -- the operator cardinal "the team handles
issues like this hang" made operational in the reach pipeline. Reach is then
measured over whatever OUR engine actually fetched + indexed (never faked).
build child first: nx_sov_build_run _dlr_fetch_one (-> /tmp/_dlr_fetch_one.sov.elf)
dependencies 5 imports · 0 importers
imports: nx_str.nxnx_syscalls.nxnx_guarded_run.nxnx_bm25.nxnx_search_inverted.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
| 14 | const NX_MAGIC_524288: i64 = 524288 |
| 16 | const NX_DLRG_SEEDS: i64 = 4 |
| 17 | const NX_DLRG_DEADLINE: i64 = 18000 // ms per fetch; a hung host is reaped here, not wedged |
| 18 | const NX_DLRG_GATE_MIN: i64 = 1 // honest floor: prove >=1 real source reached without any wedge |
functions
| 20 | func gp(s: *u8) -> i64 { sys_write(1, s, nx_str_len(s)); return 0 } |
| 21 | func gn(v: i64) -> i64 |
| 29 | func dlrg_seed(e: i64) -> *u8 called by 1: main |
| 36 | func dlrg_out(e: i64) -> *u8 |
| 44 | func read_all(path: *u8, buf: *u8, cap: i64) -> i64 |
| 58 | func main() -> i64 |