code wiki / (root) / nx_site_monitor_gate.nx

nx_site_monitor_gate.nx

buildroot/runtime/nx_site_monitor_gate.nx

3187 B46 linesdepth 7pulls 8 transitivereach 0 importersview sourcekind gate/prooftopic site
docsdependenciesstructsconstsfunctions

about

nx_site_monitor_gate.nx -- KAT for uptime/alerting. Deterministically asserts the transition classifier (went-down / went-hung / recovered / steady / first-sight-baseline), the uptime% math, and the state-TSV parse round-trip. exit 0 = pass, N = assertion N failed.

dependencies 2 imports · 0 importers

nx_site_monitor.nx nx_assert.nx nx_site_monitor_gate.nx

imports: nx_site_monitor.nxnx_assert.nx

imported by: nobody (leaf or entry point)

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

main sm_alert sm_uptime_permil g_put sm_wri sm_find sm_streq_n sm_field_i nx_puts_err sys_write nx_puti_err sys_mmap sys_write ↻

structs

none

consts

none

functions

7func g_put(buf: *u8, off: i64, s: *u8) -> i64 { var o: i64=off; var i: i64=0; while s[i]!=(0 as u8){buf[o]=s[i];o=o+1;i=i+1} return o }
called by 1: main
9func main() -> i64
calls 7: sm_alertsm_uptime_permilg_putsm_wrism_findnx_puts_err+1