code wiki / _hdl_build / nx_raidwatch_gate.nx

nx_raidwatch_gate.nx

buildroot/runtime/_hdl_build/nx_raidwatch_gate.nx

4483 B55 linesdepth 3pulls 4 transitivereach 0 importersview sourcekind gate/proof
docsdependenciesstructsconstsfunctions

about

nx_raidwatch_gate.nx -- teeth for the ARRAY HEALTH BEAT's verdict ladder. WHY IT EXISTS (2026-09-03). nx_organ_ship shipped nx_raidwatch and printed prove=NO-GATE-FOUND UNPROVEN -- a NAMED absence, which is the only reason anyone noticed. This organ is the estate's only disk-health monitor, it has been correctly reporting RED for 25 days, and nothing had ever proven that its verdict ladder returns what it claims. A monitor nobody has bite-proven is a monitor whose GREEN nobody should trust, and this one's GREEN would mean "the arrays are fine". SUBJECT: rw_verdict_code, the ladder the durable status file reads. It is PURE, so these teeth drive it in-process -- no fork, no /sys, no fixture tree, and nothing here can touch a disk. license_tier: ORIGINAL expect_exit: 0

dependencies 2 imports · 0 importers

nx_raidwatch.nx nx_gate_verdict.nx nx_raidwatch_gate.nx

imports: nx_raidwatch.nxnx_gate_verdict.nx

imported by: nobody (leaf or entry point)

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

main gv_ctr sys_mmap nxa_die sys_write sys_exit nxa_lock_take nxa_lock_addr sys_write ↻ nxa_lock_give nxa_lock_addr ↻ nxa_report_overrun sys_write ↻ nxa_dump_printable sys_write ↻ nxa_dump_sizes sys_write ↻ gv_check gv_puts sys_write ↻ rw_verdict_code gv_verdict gv_note_bare_rate gv_bare_rate gv_at gv_obj_has_n gv_at ↻ gv_puts ↻ gv_num sys_mmap ↻ sys_write ↻ sys_munmap gv_puts ↻ gv_num ↻ gv_journal sys_openat_append sys_mmap ↻ gv_catn sys_mmap ↻ sys_munmap ↻

structs

none

consts

none

functions

15func main(argc: i64, argv: *i64) -> i64