code wiki / (root) / nx_heal_gate.nx

nx_heal_gate.nx

buildroot/runtime/nx_heal_gate.nx

4203 B69 linesdepth 6pulls 10 transitivereach 0 importersview sourcekind gate/prooftopic heal
docsdependenciesstructsconstsfunctions

about

nx_heal_gate.nx -- gates the consolidated heal-plane tool on SYNTHETIC fixtures (asserts the lib's RETURN VALUES, not stdout): a DOWN service is detected + counted; an all-UP snap is GREEN; log tail counts lines; an ABSENT plane log is graceful; remediation events are counted across planes. Runner must clean /tmp/healgate first. Exit 0 only on all-PASS. license_tier: ORIGINAL expect_exit: 0

dependencies 1 imports · 0 importers

nx_heal_lib.nx nx_heal_gate.nx

imports: nx_heal_lib.nx

imported by: nobody (leaf or entry point)

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

main sys_mkdir hg_write nh_path nh_cat ss_writefile sys_openat_wr sys_write sys_close sys_fsync hg_check nh_puts sys_write ↻ nh_status nh_puts ↻ sys_mmap nh_read sys_mmap ↻ nh_path ↻ ss_readall sys_openat_rd sys_lseek sys_mmap ↻ sys_read sys_close ↻ nh_is_svc nh_match nh_line_has_up nh_match ↻ sys_write ↻ nh_putn nxi_out nxi_fd sys_mmap ↻ ccz_cat_num sys_write ↻ sys_munmap nh_lastline nh_puts ↻ sys_write ↻

structs

none

consts

7const GATE_CHECKS: i64 = 9
8const OLD_AGE: i64 = 100000 // classifier fixture: clearly a long-lived parent
9const YOUNG_AGE: i64 = 45 // classifier fixture: clearly a fresh restart
10const SOME_REMED: i64 = 3 // classifier fixture: recent heal-plane remediations
11const DIR_MODE: i64 = 0x1ed // 0755
12const FIX_LOG_LINES: i64 = 3 // fixture tools_selfheal.log line count
13const FIX_EVENTS: i64 = 3 // fixture remediation event count

functions

15func hg_check(name: *u8, ok: i64, pass: *i64) -> i64
called by 1: main calls 1: nh_puts
20func hg_write(dir: *u8, name: *u8, body: *u8) -> i64
called by 1: main calls 2: nh_pathss_writefile
28func main(argc: i64, argv: *i64) -> i64